Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•  contract OlyToken is IERC20 *
•    - function initialize(
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _transfer(address sender, ad ...
•    - function _mint(address account, uint2 ...
•    - function _burn(address account, uint2 ...
•    - function _approve(address owner, addr ...
•    - function _burnFrom(address account, u ...
•    - function publishMessages(
•    - function executeMessage(

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-09-26
*/

pragma solidity ^0.5.8;

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) {
        require(b <= a, "SafeMath: subtraction overflow");
        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) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, "SafeMath: division by zero");
        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) {
        require(b != 0, "SafeMath: modulo by zero");
        return a % b;
    }
}

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

    /**
     * @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.
     *
     * > 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);
}

contract OlyToken is IERC20 {
    using SafeMath for uint256;

    string private _name;

    string private _symbol;

    uint8 private _decimals;

    bool private _initialized = false;

    mapping(address => uint256) private _balances;

    mapping(address => mapping(address => uint256)) private _allowances;

    uint256 private _totalSupply;

    mapping(address => mapping(uint256 => bool)) private usedNonces;

    event DeferredTransfer(
        address paymentSigner,
        uint256 nonce,
        uint256 paymentAmount,
        address paymentCollector,
        uint256 paymentFee,
        address feeCollector,
        bool statusSuccessful
    );

    /**
    * @dev Initializes the token contract
    *
    * Called by the proxy contract instead of the standard constructor
    *
    * @param name Name of the token
    * @param symbol Symbol of the token
    * @param decimals Decimals of the token
    * @param totalSupply Total supply of tokens
    * @param tokenHolder Who will receive the total supply
    */
    function initialize(
        string memory name,
        string memory symbol,
        uint8 decimals,
        uint256 totalSupply,
        address tokenHolder
    ) public {
        require(!_initialized, "This contract is already initialized");
        require(totalSupply > 0, "Total supply must be greater than 0");

        _name = name;
        _symbol = symbol;
        _decimals = decimals;
        _mint(tokenHolder, totalSupply);
        _initialized = true;
    }

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

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5,05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei.
     *
     * > Note that this information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * `IERC20.balanceOf` and `IERC20.transfer`.
     */
    function decimals() public view returns (uint8) {
        return _decimals;
    }

    /**
     * @dev See `IERC20.totalSupply`.
     */
    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See `IERC20.balanceOf`.
     */
    function balanceOf(address account) public view returns (uint256) {
        return _balances[account];
    }

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

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

    /**
     * @dev See `IERC20.approve`.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 value) public returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }

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

    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to `approve` that can be used as a mitigation for
     * problems described in `IERC20.approve`.
     *
     * Emits an `Approval` event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].add(addedValue));
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to `approve` that can be used as a mitigation for
     * problems described in `IERC20.approve`.
     *
     * Emits an `Approval` event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].sub(subtractedValue));
        return true;
    }

    /**
     * @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), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _balances[sender] = _balances[sender].sub(amount);
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }

    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     *
     * Emits a `Transfer` event with `from` set to the zero address.
     *
     * Requirements
     *
     * - `to` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: mint to the zero address");

        _totalSupply = _totalSupply.add(amount);
        _balances[account] = _balances[account].add(amount);
        emit Transfer(address(0), account, amount);
    }

    /**
     * @dev Destoys `amount` tokens from `account`, reducing the
     * total supply.
     *
     * Emits a `Transfer` event with `to` set to the zero address.
     *
     * Requirements
     *
     * - `account` cannot be the zero address.
     * - `account` must have at least `amount` tokens.
     */
    function _burn(address account, uint256 value) internal {
        require(account != address(0), "ERC20: burn from the zero address");

        _totalSupply = _totalSupply.sub(value);
        _balances[account] = _balances[account].sub(value);
        emit Transfer(account, address(0), value);
    }

    /**
     * @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 value) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

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

    /**
     * @dev Destoys `amount` tokens from `account`.`amount` is then deducted
     * from the caller's allowance.
     *
     * See `_burn` and `_approve`.
     */
    function _burnFrom(address account, uint256 amount) internal {
        _burn(account, amount);
        _approve(account, msg.sender, _allowances[account][msg.sender].sub(amount));
    }

    /**
    * @dev Publishes messages signed off the chain by the user wallet.
    *
    * The transfer-message mechanism was designed to provide the wallet user a seamless
    * experience when using tokens to pay or transfer, by letting the Olyseum platform
    * to provide gas fees and executing token transactions on behalf of the user.
    *
    * Nonces are consumed always, even if the execution of a message is unsuccessful.
    * This avoids unintended replays of the message.
    *
    * @param nonces The list of nonces uniquely identifying each message in sequence.
    * @param paymentAmounts The list of payment amounts for each message.
    * @param paymentCollectors The list of payment collectors (destinations) of each message.
    * @param paymentFees The list of fees of each message.
    * @param feeCollectors The list of fee collectors of each message.
    * @param sigsR The list of r-components of the signature for each signed user message.
    * @param sigsS The list of s-components of the signature for each signed user message.
    * @param sigsV The list of v-components of the signature for each signed user message.
    */
    function publishMessages(
        uint256[] memory nonces,
        uint256[] memory paymentAmounts,
        address[] memory paymentCollectors,
        uint256[] memory paymentFees,
        address[] memory feeCollectors,
        bytes32[] memory sigsR,
        bytes32[] memory sigsS,
        uint8[] memory sigsV
    ) public {
        require(
            nonces.length == paymentAmounts.length &&
                paymentAmounts.length == paymentCollectors.length &&
                paymentCollectors.length == paymentFees.length &&
                paymentFees.length == feeCollectors.length &&
                feeCollectors.length == sigsR.length &&
                sigsR.length == sigsS.length &&
                sigsS.length == sigsV.length,
            "Inconsistent message data received"
        );

        for (uint256 i = 0; i < nonces.length; i++) {
            executeMessage(
                nonces[i],
                paymentAmounts[i],
                paymentCollectors[i],
                paymentFees[i],
                feeCollectors[i],
                sigsR[i],
                sigsS[i],
                sigsV[i]
            );
        }
    }

    /**
    * @dev Publishes a message signed off the chain by the user wallet.
    *
    * @param nonce The nonce
    * @param paymentAmount The payment amount
    * @param paymentCollector The payment collector
    * @param paymentFee The payment fee
    * @param feeCollector The fee collector
    * @param sigR The the r-value of the signature
    * @param sigS The the s-value of the signature
    * @param sigV The the v-value of the signature
    */
    function executeMessage(
        uint256 nonce,
        uint256 paymentAmount,
        address paymentCollector,
        uint256 paymentFee,
        address feeCollector,
        bytes32 sigR,
        bytes32 sigS,
        uint8 sigV
    ) private {
        bytes32 hash = keccak256(
            abi.encodePacked(
                string("\x19Ethereum Signed Message:\n164Olyseum v1 Transfer Message:"),
                nonce,
                paymentAmount,
                paymentCollector,
                paymentFee,
                msg.sender
            )
        );

        address user = ecrecover(hash, sigV, sigR, sigS);
        uint256 balance = _balances[user];
        bool success = false;
        uint256 totalExpenditure = paymentAmount.add(paymentFee);

        if (
            balance >= totalExpenditure &&
            !usedNonces[user][nonce] &&
            paymentCollector != address(0) &&
            feeCollector != address(0)
        ) {
            success = true;
            usedNonces[user][nonce] = true;

            // Execute transfer
            _balances[user] = balance.sub(totalExpenditure);
            _balances[paymentCollector] = _balances[paymentCollector].add(paymentAmount);
            _balances[feeCollector] = _balances[feeCollector].add(paymentFee);

            emit Transfer(user, paymentCollector, paymentAmount);
            emit Transfer(user, feeCollector, paymentFee);
        }

        emit DeferredTransfer(
            user,
            nonce,
            paymentAmount,
            paymentCollector,
            paymentFee,
            feeCollector,
            success
        );
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"sender","type":"address"},{"name":"recipient","type":"address"},{"name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"recipient","type":"address"},{"name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"nonces","type":"uint256[]"},{"name":"paymentAmounts","type":"uint256[]"},{"name":"paymentCollectors","type":"address[]"},{"name":"paymentFees","type":"uint256[]"},{"name":"feeCollectors","type":"address[]"},{"name":"sigsR","type":"bytes32[]"},{"name":"sigsS","type":"bytes32[]"},{"name":"sigsV","type":"uint8[]"}],"name":"publishMessages","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"name","type":"string"},{"name":"symbol","type":"string"},{"name":"decimals","type":"uint8"},{"name":"totalSupply","type":"uint256"},{"name":"tokenHolder","type":"address"}],"name":"initialize","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"anonymous":false,"inputs":[{"indexed":false,"name":"paymentSigner","type":"address"},{"indexed":false,"name":"nonce","type":"uint256"},{"indexed":false,"name":"paymentAmount","type":"uint256"},{"indexed":false,"name":"paymentCollector","type":"address"},{"indexed":false,"name":"paymentFee","type":"uint256"},{"indexed":false,"name":"feeCollector","type":"address"},{"indexed":false,"name":"statusSuccessful","type":"bool"}],"name":"DeferredTransfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"}]

60806040526002805461ff001916905534801561001b57600080fd5b506116628061002b6000396000f3fe608060405234801561001057600080fd5b50600436106100af5760003560e01c806306fdde03146100b4578063095ea7b31461013157806318160ddd1461017157806323b872dd1461018b578063313ce567146101c157806339509351146101df57806370a082311461020b57806395d89b4114610231578063a457c2d714610239578063a9059cbb14610265578063dd62ed3e14610291578063e95f2f6e146102bf578063f3571819146106f1575b600080fd5b6100bc610831565b6040805160208082528351818301528351919283929083019185019080838360005b838110156100f65781810151838201526020016100de565b50505050905090810190601f1680156101235780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61015d6004803603604081101561014757600080fd5b506001600160a01b0381351690602001356108c8565b604080519115158252519081900360200190f35b6101796108de565b60408051918252519081900360200190f35b61015d600480360360608110156101a157600080fd5b506001600160a01b038135811691602081013590911690604001356108e4565b6101c961093b565b6040805160ff9092168252519081900360200190f35b61015d600480360360408110156101f557600080fd5b506001600160a01b038135169060200135610944565b6101796004803603602081101561022157600080fd5b50356001600160a01b0316610980565b6100bc61099b565b61015d6004803603604081101561024f57600080fd5b506001600160a01b0381351690602001356109fb565b61015d6004803603604081101561027b57600080fd5b506001600160a01b038135169060200135610a37565b610179600480360360408110156102a757600080fd5b506001600160a01b0381358116916020013516610a44565b6106ef60048036036101008110156102d657600080fd5b810190602081018135600160201b8111156102f057600080fd5b82018360208201111561030257600080fd5b803590602001918460208302840111600160201b8311171561032357600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b81111561037257600080fd5b82018360208201111561038457600080fd5b803590602001918460208302840111600160201b831117156103a557600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b8111156103f457600080fd5b82018360208201111561040657600080fd5b803590602001918460208302840111600160201b8311171561042757600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b81111561047657600080fd5b82018360208201111561048857600080fd5b803590602001918460208302840111600160201b831117156104a957600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b8111156104f857600080fd5b82018360208201111561050a57600080fd5b803590602001918460208302840111600160201b8311171561052b57600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b81111561057a57600080fd5b82018360208201111561058c57600080fd5b803590602001918460208302840111600160201b831117156105ad57600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b8111156105fc57600080fd5b82018360208201111561060e57600080fd5b803590602001918460208302840111600160201b8311171561062f57600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b81111561067e57600080fd5b82018360208201111561069057600080fd5b803590602001918460208302840111600160201b831117156106b157600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600092019190915250929550610a6f945050505050565b005b6106ef600480360360a081101561070757600080fd5b810190602081018135600160201b81111561072157600080fd5b82018360208201111561073357600080fd5b803590602001918460018302840111600160201b8311171561075457600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295949360208101935035915050600160201b8111156107a657600080fd5b8201836020820111156107b857600080fd5b803590602001918460018302840111600160201b831117156107d957600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295505050813560ff16925050602081013590604001356001600160a01b0316610bc7565b60008054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156108bd5780601f10610892576101008083540402835291602001916108bd565b820191906000526020600020905b8154815290600101906020018083116108a057829003601f168201915b505050505090505b90565b60006108d5338484610caa565b50600192915050565b60055490565b60006108f1848484610d9c565b6001600160a01b03841660009081526004602090815260408083203380855292529091205461093191869161092c908663ffffffff610ed416565b610caa565b5060019392505050565b60025460ff1690565b3360008181526004602090815260408083206001600160a01b038716845290915281205490916108d591859061092c908663ffffffff610f3416565b6001600160a01b031660009081526003602052604090205490565b60018054604080516020601f600260001961010087891615020190951694909404938401819004810282018101909252828152606093909290918301828280156108bd5780601f10610892576101008083540402835291602001916108bd565b3360008181526004602090815260408083206001600160a01b038716845290915281205490916108d591859061092c908663ffffffff610ed416565b60006108d5338484610d9c565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b86518851148015610a81575085518751145b8015610a8e575084518651145b8015610a9b575083518551145b8015610aa8575082518451145b8015610ab5575081518351145b8015610ac2575080518251145b610b0057604051600160e51b62461bcd0281526004018080602001828103825260228152602001806115886022913960400191505060405180910390fd5b60005b8851811015610bbc57610bb4898281518110610b1b57fe5b6020026020010151898381518110610b2f57fe5b6020026020010151898481518110610b4357fe5b6020026020010151898581518110610b5757fe5b6020026020010151898681518110610b6b57fe5b6020026020010151898781518110610b7f57fe5b6020026020010151898881518110610b9357fe5b6020026020010151898981518110610ba757fe5b6020026020010151610f98565b600101610b03565b505050505050505050565b600254610100900460ff1615610c1157604051600160e51b62461bcd0281526004018080602001828103825260248152602001806115aa6024913960400191505060405180910390fd5b60008211610c5357604051600160e51b62461bcd02815260040180806020018281038252602381526020018061150a6023913960400191505060405180910390fd5b8451610c6690600090602088019061144e565b508351610c7a90600190602087019061144e565b506002805460ff191660ff8516179055610c94818361136b565b50506002805461ff001916610100179055505050565b6001600160a01b038316610cf257604051600160e51b62461bcd0281526004018080602001828103825260248152602001806116136024913960400191505060405180910390fd5b6001600160a01b038216610d3a57604051600160e51b62461bcd02815260040180806020018281038252602281526020018061152d6022913960400191505060405180910390fd5b6001600160a01b03808416600081815260046020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b038316610de457604051600160e51b62461bcd0281526004018080602001828103825260258152602001806115ee6025913960400191505060405180910390fd5b6001600160a01b038216610e2c57604051600160e51b62461bcd0281526004018080602001828103825260238152602001806114e76023913960400191505060405180910390fd5b6001600160a01b038316600090815260036020526040902054610e55908263ffffffff610ed416565b6001600160a01b038085166000908152600360205260408082209390935590841681522054610e8a908263ffffffff610f3416565b6001600160a01b0380841660008181526003602090815260409182902094909455805185815290519193928716926000805160206115ce83398151915292918290030190a3505050565b600082821115610f2e5760408051600160e51b62461bcd02815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b600082820183811015610f915760408051600160e51b62461bcd02815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b600060405180606001604052806039815260200161154f6039913989898989336040516020018087805190602001908083835b60208310610fea5780518252601f199092019160209182019101610fcb565b51815160209384036101000a600019018019909216911617905292019788525086810195909552506001600160a01b03928316606090811b6040808801919091526054870193909352921690911b6074840152805180840360680181526088840180835281519184019190912060009182905260a8850180845281905260ff881660c886015260e885018a90526101088501899052915191955093506001926101288082019392601f1981019281900390910190855afa1580156110b2573d6000803e3d6000fd5b505060408051601f1901516001600160a01b03811660009081526003602052918220549093509150806110eb8c8b63ffffffff610f3416565b905080831015801561113e575060066000856001600160a01b03166001600160a01b0316815260200190815260200160002060008e815260200190815260200160002060009054906101000a900460ff16155b801561115257506001600160a01b038b1615155b801561116657506001600160a01b03891615155b156112bb5760019150600160066000866001600160a01b03166001600160a01b0316815260200190815260200160002060008f815260200190815260200160002060006101000a81548160ff0219169083151502179055506111d18184610ed490919063ffffffff16565b6001600160a01b0380861660009081526003602052604080822093909355908d1681522054611206908d63ffffffff610f3416565b6001600160a01b03808d1660009081526003602052604080822093909355908b168152205461123b908b63ffffffff610f3416565b6001600160a01b03808b166000908152600360209081526040918290209390935580518f815290518e831693928816926000805160206115ce833981519152928290030190a3886001600160a01b0316846001600160a01b03166000805160206115ce8339815191528c6040518082815260200191505060405180910390a35b7ffba715006510b7bad5e3fa1bef4a240cddf8790021fb2def7a46e984889281f8848e8e8e8e8e8860405180886001600160a01b03166001600160a01b03168152602001878152602001868152602001856001600160a01b03166001600160a01b03168152602001848152602001836001600160a01b03166001600160a01b031681526020018215151515815260200197505050505050505060405180910390a150505050505050505050505050565b6001600160a01b0382166113c95760408051600160e51b62461bcd02815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b6005546113dc908263ffffffff610f3416565b6005556001600160a01b038216600090815260036020526040902054611408908263ffffffff610f3416565b6001600160a01b03831660008181526003602090815260408083209490945583518581529351929391926000805160206115ce8339815191529281900390910190a35050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061148f57805160ff19168380011785556114bc565b828001600101855582156114bc579182015b828111156114bc5782518255916020019190600101906114a1565b506114c89291506114cc565b5090565b6108c591905b808211156114c857600081556001016114d256fe45524332303a207472616e7366657220746f20746865207a65726f2061646472657373546f74616c20737570706c79206d7573742062652067726561746572207468616e203045524332303a20617070726f766520746f20746865207a65726f206164647265737319457468657265756d205369676e6564204d6573736167653a0a3136344f6c797365756d207631205472616e73666572204d6573736167653a496e636f6e73697374656e74206d65737361676520646174612072656365697665645468697320636f6e747261637420697320616c726561647920696e697469616c697a6564ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef45524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373a165627a7a72305820d2fea4c581fbdde0d83dc9bcd5cfcb88d4e21a9ac265f0d8d92a867d472dba410029

0x608060405234801561001057600080fd5b50600436106100af5760003560e01c806306fdde03146100b4578063095ea7b31461013157806318160ddd1461017157806323b872dd1461018b578063313ce567146101c157806339509351146101df57806370a082311461020b57806395d89b4114610231578063a457c2d714610239578063a9059cbb14610265578063dd62ed3e14610291578063e95f2f6e146102bf578063f3571819146106f1575b600080fd5b6100bc610831565b6040805160208082528351818301528351919283929083019185019080838360005b838110156100f65781810151838201526020016100de565b50505050905090810190601f1680156101235780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61015d6004803603604081101561014757600080fd5b506001600160a01b0381351690602001356108c8565b604080519115158252519081900360200190f35b6101796108de565b60408051918252519081900360200190f35b61015d600480360360608110156101a157600080fd5b506001600160a01b038135811691602081013590911690604001356108e4565b6101c961093b565b6040805160ff9092168252519081900360200190f35b61015d600480360360408110156101f557600080fd5b506001600160a01b038135169060200135610944565b6101796004803603602081101561022157600080fd5b50356001600160a01b0316610980565b6100bc61099b565b61015d6004803603604081101561024f57600080fd5b506001600160a01b0381351690602001356109fb565b61015d6004803603604081101561027b57600080fd5b506001600160a01b038135169060200135610a37565b610179600480360360408110156102a757600080fd5b506001600160a01b0381358116916020013516610a44565b6106ef60048036036101008110156102d657600080fd5b810190602081018135600160201b8111156102f057600080fd5b82018360208201111561030257600080fd5b803590602001918460208302840111600160201b8311171561032357600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b81111561037257600080fd5b82018360208201111561038457600080fd5b803590602001918460208302840111600160201b831117156103a557600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b8111156103f457600080fd5b82018360208201111561040657600080fd5b803590602001918460208302840111600160201b8311171561042757600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b81111561047657600080fd5b82018360208201111561048857600080fd5b803590602001918460208302840111600160201b831117156104a957600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b8111156104f857600080fd5b82018360208201111561050a57600080fd5b803590602001918460208302840111600160201b8311171561052b57600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b81111561057a57600080fd5b82018360208201111561058c57600080fd5b803590602001918460208302840111600160201b831117156105ad57600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b8111156105fc57600080fd5b82018360208201111561060e57600080fd5b803590602001918460208302840111600160201b8311171561062f57600080fd5b9190808060200260200160405190810160405280939291908181526020018383602002808284376000920191909152509295949360208101935035915050600160201b81111561067e57600080fd5b82018360208201111561069057600080fd5b803590602001918460208302840111600160201b831117156106b157600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600092019190915250929550610a6f945050505050565b005b6106ef600480360360a081101561070757600080fd5b810190602081018135600160201b81111561072157600080fd5b82018360208201111561073357600080fd5b803590602001918460018302840111600160201b8311171561075457600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295949360208101935035915050600160201b8111156107a657600080fd5b8201836020820111156107b857600080fd5b803590602001918460018302840111600160201b831117156107d957600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295505050813560ff16925050602081013590604001356001600160a01b0316610bc7565b60008054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156108bd5780601f10610892576101008083540402835291602001916108bd565b820191906000526020600020905b8154815290600101906020018083116108a057829003601f168201915b505050505090505b90565b60006108d5338484610caa565b50600192915050565b60055490565b60006108f1848484610d9c565b6001600160a01b03841660009081526004602090815260408083203380855292529091205461093191869161092c908663ffffffff610ed416565b610caa565b5060019392505050565b60025460ff1690565b3360008181526004602090815260408083206001600160a01b038716845290915281205490916108d591859061092c908663ffffffff610f3416565b6001600160a01b031660009081526003602052604090205490565b60018054604080516020601f600260001961010087891615020190951694909404938401819004810282018101909252828152606093909290918301828280156108bd5780601f10610892576101008083540402835291602001916108bd565b3360008181526004602090815260408083206001600160a01b038716845290915281205490916108d591859061092c908663ffffffff610ed416565b60006108d5338484610d9c565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b86518851148015610a81575085518751145b8015610a8e575084518651145b8015610a9b575083518551145b8015610aa8575082518451145b8015610ab5575081518351145b8015610ac2575080518251145b610b0057604051600160e51b62461bcd0281526004018080602001828103825260228152602001806115886022913960400191505060405180910390fd5b60005b8851811015610bbc57610bb4898281518110610b1b57fe5b6020026020010151898381518110610b2f57fe5b6020026020010151898481518110610b4357fe5b6020026020010151898581518110610b5757fe5b6020026020010151898681518110610b6b57fe5b6020026020010151898781518110610b7f57fe5b6020026020010151898881518110610b9357fe5b6020026020010151898981518110610ba757fe5b6020026020010151610f98565b600101610b03565b505050505050505050565b600254610100900460ff1615610c1157604051600160e51b62461bcd0281526004018080602001828103825260248152602001806115aa6024913960400191505060405180910390fd5b60008211610c5357604051600160e51b62461bcd02815260040180806020018281038252602381526020018061150a6023913960400191505060405180910390fd5b8451610c6690600090602088019061144e565b508351610c7a90600190602087019061144e565b506002805460ff191660ff8516179055610c94818361136b565b50506002805461ff001916610100179055505050565b6001600160a01b038316610cf257604051600160e51b62461bcd0281526004018080602001828103825260248152602001806116136024913960400191505060405180910390fd5b6001600160a01b038216610d3a57604051600160e51b62461bcd02815260040180806020018281038252602281526020018061152d6022913960400191505060405180910390fd5b6001600160a01b03808416600081815260046020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b038316610de457604051600160e51b62461bcd0281526004018080602001828103825260258152602001806115ee6025913960400191505060405180910390fd5b6001600160a01b038216610e2c57604051600160e51b62461bcd0281526004018080602001828103825260238152602001806114e76023913960400191505060405180910390fd5b6001600160a01b038316600090815260036020526040902054610e55908263ffffffff610ed416565b6001600160a01b038085166000908152600360205260408082209390935590841681522054610e8a908263ffffffff610f3416565b6001600160a01b0380841660008181526003602090815260409182902094909455805185815290519193928716926000805160206115ce83398151915292918290030190a3505050565b600082821115610f2e5760408051600160e51b62461bcd02815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b600082820183811015610f915760408051600160e51b62461bcd02815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b600060405180606001604052806039815260200161154f6039913989898989336040516020018087805190602001908083835b60208310610fea5780518252601f199092019160209182019101610fcb565b51815160209384036101000a600019018019909216911617905292019788525086810195909552506001600160a01b03928316606090811b6040808801919091526054870193909352921690911b6074840152805180840360680181526088840180835281519184019190912060009182905260a8850180845281905260ff881660c886015260e885018a90526101088501899052915191955093506001926101288082019392601f1981019281900390910190855afa1580156110b2573d6000803e3d6000fd5b505060408051601f1901516001600160a01b03811660009081526003602052918220549093509150806110eb8c8b63ffffffff610f3416565b905080831015801561113e575060066000856001600160a01b03166001600160a01b0316815260200190815260200160002060008e815260200190815260200160002060009054906101000a900460ff16155b801561115257506001600160a01b038b1615155b801561116657506001600160a01b03891615155b156112bb5760019150600160066000866001600160a01b03166001600160a01b0316815260200190815260200160002060008f815260200190815260200160002060006101000a81548160ff0219169083151502179055506111d18184610ed490919063ffffffff16565b6001600160a01b0380861660009081526003602052604080822093909355908d1681522054611206908d63ffffffff610f3416565b6001600160a01b03808d1660009081526003602052604080822093909355908b168152205461123b908b63ffffffff610f3416565b6001600160a01b03808b166000908152600360209081526040918290209390935580518f815290518e831693928816926000805160206115ce833981519152928290030190a3886001600160a01b0316846001600160a01b03166000805160206115ce8339815191528c6040518082815260200191505060405180910390a35b7ffba715006510b7bad5e3fa1bef4a240cddf8790021fb2def7a46e984889281f8848e8e8e8e8e8860405180886001600160a01b03166001600160a01b03168152602001878152602001868152602001856001600160a01b03166001600160a01b03168152602001848152602001836001600160a01b03166001600160a01b031681526020018215151515815260200197505050505050505060405180910390a150505050505050505050505050565b6001600160a01b0382166113c95760408051600160e51b62461bcd02815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b6005546113dc908263ffffffff610f3416565b6005556001600160a01b038216600090815260036020526040902054611408908263ffffffff610f3416565b6001600160a01b03831660008181526003602090815260408083209490945583518581529351929391926000805160206115ce8339815191529281900390910190a35050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f1061148f57805160ff19168380011785556114bc565b828001600101855582156114bc579182015b828111156114bc5782518255916020019190600101906114a1565b506114c89291506114cc565b5090565b6108c591905b808211156114c857600081556001016114d256fe45524332303a207472616e7366657220746f20746865207a65726f2061646472657373546f74616c20737570706c79206d7573742062652067726561746572207468616e203045524332303a20617070726f766520746f20746865207a65726f206164647265737319457468657265756d205369676e6564204d6573736167653a0a3136344f6c797365756d207631205472616e73666572204d6573736167653a496e636f6e73697374656e74206d65737361676520646174612072656365697665645468697320636f6e747261637420697320616c726561647920696e697469616c697a6564ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef45524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373a165627a7a72305820d2fea4c581fbdde0d83dc9bcd5cfcb88d4e21a9ac265f0d8d92a867d472dba410029

5691:13678:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5691:13678:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7324:83;;;:::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;7324:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9307:148;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;9307:148:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;8330:91;;;:::i;:::-;;;;;;;;;;;;;;;;9926:256;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;9926:256:0;;;;;;;;;;;;;;;;;:::i;8182:83::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10591:206;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;10591:206:0;;;;;;;;:::i;8484:110::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8484:110:0;-1:-1:-1;;;;;8484:110:0;;:::i;7526:87::-;;;:::i;11300:216::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;11300:216:0;;;;;;;;:::i;8807:156::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8807:156:0;;;;;;;;:::i;9026:134::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;9026:134:0;;;;;;;;;;:::i;15993:1197::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;15993:1197:0;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;15993:1197:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;15993:1197:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;15993:1197:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;15993:1197:0;;;;;;;;-1:-1:-1;15993:1197:0;;-1:-1:-1;;;;;5:28;;2:2;;;46:1;43;36:12;2:2;15993:1197:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;15993:1197:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;15993:1197:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;15993:1197:0;;;;;;;;-1:-1:-1;15993:1197:0;;-1:-1:-1;;;;;5:28;;2:2;;;46:1;43;36:12;2:2;15993:1197:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;15993:1197:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;15993:1197:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;15993:1197:0;;;;;;;;-1:-1:-1;15993:1197:0;;-1:-1:-1;;;;;5:28;;2:2;;;46:1;43;36:12;2:2;15993:1197:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;15993:1197:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;15993:1197:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;15993:1197:0;;;;;;;;-1:-1:-1;15993:1197:0;;-1:-1:-1;;;;;5:28;;2:2;;;46:1;43;36:12;2:2;15993:1197:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;15993:1197:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;15993:1197:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;15993:1197:0;;;;;;;;-1:-1:-1;15993:1197:0;;-1:-1:-1;;;;;5:28;;2:2;;;46:1;43;36:12;2:2;15993:1197:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;15993:1197:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;15993:1197:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;15993:1197:0;;;;;;;;-1:-1:-1;15993:1197:0;;-1:-1:-1;;;;;5:28;;2:2;;;46:1;43;36:12;2:2;15993:1197:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;15993:1197:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;15993:1197:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;15993:1197:0;;;;;;;;-1:-1:-1;15993:1197:0;;-1:-1:-1;;;;;5:28;;2:2;;;46:1;43;36:12;2:2;15993:1197:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;15993:1197:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;-1:-1;;;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;15993:1197:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;15993:1197:0;;-1:-1:-1;15993:1197:0;;-1:-1:-1;;;;;15993:1197:0:i;:::-;;6765:489;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;6765:489:0;;;;;;;;-1:-1:-1;;;5:28;;2:2;;;46:1;43;36:12;2:2;6765:489:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;6765:489:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;6765:489:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;6765:489:0;;;;;;;;-1:-1:-1;6765:489:0;;-1:-1:-1;;;;;5:28;;2:2;;;46:1;43;36:12;2:2;6765:489:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;6765:489:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;-1:-1;;;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;6765:489:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;6765:489:0;;-1:-1:-1;;;6765:489:0;;;;;-1:-1:-1;;6765:489:0;;;;;;;;-1:-1:-1;;;;;6765:489:0;;:::i;7324:83::-;7394:5;7387:12;;;;;;;;-1:-1:-1;;7387:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7361:13;;7387:12;;7394:5;;7387:12;;7394:5;7387:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7324:83;;:::o;9307:148::-;9372:4;9389:36;9398:10;9410:7;9419:5;9389:8;:36::i;:::-;-1:-1:-1;9443:4:0;9307:148;;;;:::o;8330:91::-;8401:12;;8330:91;:::o;9926:256::-;10015:4;10032:36;10042:6;10050:9;10061:6;10032:9;:36::i;:::-;-1:-1:-1;;;;;10108:19:0;;;;;;:11;:19;;;;;;;;10096:10;10108:31;;;;;;;;;10079:73;;10088:6;;10108:43;;10144:6;10108:43;:35;:43;:::i;:::-;10079:8;:73::i;:::-;-1:-1:-1;10170:4:0;9926:256;;;;;:::o;8182:83::-;8248:9;;;;8182:83;:::o;10591:206::-;10697:10;10671:4;10718:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;10718:32:0;;;;;;;;;;10671:4;;10688:79;;10709:7;;10718:48;;10755:10;10718:48;:36;:48;:::i;8484:110::-;-1:-1:-1;;;;;8568:18:0;8541:7;8568:18;;;:9;:18;;;;;;;8484:110::o;7526:87::-;7598:7;7591:14;;;;;;;;-1:-1:-1;;7591:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7565:13;;7591:14;;7598:7;;7591:14;;7598:7;7591:14;;;;;;;;;;;;;;;;;;;;;;;;11300:216;11411:10;11385:4;11432:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;11432:32:0;;;;;;;;;;11385:4;;11402:84;;11423:7;;11432:53;;11469:15;11432:53;:36;:53;:::i;8807:156::-;8876:4;8893:40;8903:10;8915:9;8926:6;8893:9;:40::i;9026:134::-;-1:-1:-1;;;;;9125:18:0;;;9098:7;9125:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;9026:134::o;15993:1197::-;16380:14;:21;16363:6;:13;:38;:108;;;;;16447:17;:24;16422:14;:21;:49;16363:108;:175;;;;;16520:11;:18;16492:17;:24;:46;16363:175;:238;;;;;16581:13;:20;16559:11;:18;:42;16363:238;:295;;;;;16646:5;:12;16622:13;:20;:36;16363:295;:344;;;;;16695:5;:12;16679:5;:12;:28;16363:344;:393;;;;;16744:5;:12;16728:5;:12;:28;16363:393;16341:477;;;;-1:-1:-1;;;;;16341:477:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16836:9;16831:352;16855:6;:13;16851:1;:17;16831:352;;;16890:281;16923:6;16930:1;16923:9;;;;;;;;;;;;;;16951:14;16966:1;16951:17;;;;;;;;;;;;;;16987;17005:1;16987:20;;;;;;;;;;;;;;17026:11;17038:1;17026:14;;;;;;;;;;;;;;17059:13;17073:1;17059:16;;;;;;;;;;;;;;17094:5;17100:1;17094:8;;;;;;;;;;;;;;17121:5;17127:1;17121:8;;;;;;;;;;;;;;17148:5;17154:1;17148:8;;;;;;;;;;;;;;16890:14;:281::i;:::-;16870:3;;16831:352;;;;15993:1197;;;;;;;;:::o;6765:489::-;6964:12;;;;;;;6963:13;6955:62;;;;-1:-1:-1;;;;;6955:62:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7050:1;7036:11;:15;7028:63;;;;-1:-1:-1;;;;;7028:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7104:12;;;;:5;;:12;;;;;:::i;:::-;-1:-1:-1;7127:16:0;;;;:7;;:16;;;;;:::i;:::-;-1:-1:-1;7154:9:0;:20;;-1:-1:-1;;7154:20:0;;;;;;;7185:31;7191:11;7204;7185:5;:31::i;:::-;-1:-1:-1;;7227:12:0;:19;;-1:-1:-1;;7227:19:0;;;;;-1:-1:-1;;;6765:489:0:o;14101:335::-;-1:-1:-1;;;;;14194:19:0;;14186:68;;;;-1:-1:-1;;;;;14186:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;14273:21:0;;14265:68;;;;-1:-1:-1;;;;;14265:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;14346:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:35;;;14397:31;;;;;;;;;;;;;;;;;14101:335;;;:::o;12006:429::-;-1:-1:-1;;;;;12104:20:0;;12096:70;;;;-1:-1:-1;;;;;12096:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;12185:23:0;;12177:71;;;;-1:-1:-1;;;;;12177:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;12281:17:0;;;;;;:9;:17;;;;;;:29;;12303:6;12281:29;:21;:29;:::i;:::-;-1:-1:-1;;;;;12261:17:0;;;;;;;:9;:17;;;;;;:49;;;;12344:20;;;;;;;:32;;12369:6;12344:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;12321:20:0;;;;;;;:9;:20;;;;;;;;;:55;;;;12392:35;;;;;;;12321:20;;12392:35;;;;-1:-1:-1;;;;;;;;;;;12392:35:0;;;;;;;;12006:429;;;:::o;738:184::-;796:7;829:1;824;:6;;816:49;;;;;-1:-1:-1;;;;;816:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;888:5:0;;;738:184::o;282:181::-;340:7;372:5;;;396:6;;;;388:46;;;;;-1:-1:-1;;;;;388:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;454:1;282:181;-1:-1:-1;;;282:181:0:o;17667:1699::-;17935:12;18009:71;;;;;;;;;;;;;;;;;18099:5;18123:13;18155:16;18190:10;18219;17974:270;;;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;299:10;344;;263:2;259:12;;;254:3;250:22;-1:-1;;246:30;311:9;;295:26;;;340:21;;377:20;365:33;;17974:270:0;;;;;-1:-1:-1;17974:270:0;;;;;;;-1:-1:-1;;;;;;17974:270:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;6:49;;17974:270:0;;;;;;17950:305;;;;;;;;;-1:-1:-1;18283:33:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17950:305;;-1:-1:-1;;;274:1;;18283:33:0;;;;;263:2:-1;-1:-1;;18283:33:0;;;;;;;;;;274:1:-1;18283:33:0;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;18283:33:0;;;-1:-1:-1;;18283:33:0;;-1:-1:-1;;;;;18345:15:0;;18327;18345;;;:9;18283:33;18345:15;;;;;18283:33;;-1:-1:-1;18345:15:0;-1:-1:-1;18327:15:0;18429:29;:13;18447:10;18429:29;:17;:29;:::i;:::-;18402:56;;18500:16;18489:7;:27;;:68;;;;;18534:10;:16;18545:4;-1:-1:-1;;;;;18534:16:0;-1:-1:-1;;;;;18534:16:0;;;;;;;;;;;;:23;18551:5;18534:23;;;;;;;;;;;;;;;;;;;;;18533:24;18489:68;:115;;;;-1:-1:-1;;;;;;18574:30:0;;;;18489:115;:158;;;;-1:-1:-1;;;;;;18621:26:0;;;;18489:158;18471:671;;;18684:4;18674:14;;18729:4;18703:10;:16;18714:4;-1:-1:-1;;;;;18703:16:0;-1:-1:-1;;;;;18703:16:0;;;;;;;;;;;;:23;18720:5;18703:23;;;;;;;;;;;;:30;;;;;;;;;;;;;;;;;;18801:29;18813:16;18801:7;:11;;:29;;;;:::i;:::-;-1:-1:-1;;;;;18783:15:0;;;;;;;:9;:15;;;;;;:47;;;;18875:27;;;;;;;:46;;18907:13;18875:46;:31;:46;:::i;:::-;-1:-1:-1;;;;;18845:27:0;;;;;;;:9;:27;;;;;;:76;;;;18962:23;;;;;;;:39;;18990:10;18962:39;:27;:39;:::i;:::-;-1:-1:-1;;;;;18936:23:0;;;;;;;:9;:23;;;;;;;;;:65;;;;19023:47;;;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;19023:47:0;;;;;;;19105:12;-1:-1:-1;;;;;19090:40:0;19099:4;-1:-1:-1;;;;;19090:40:0;-1:-1:-1;;;;;;;;;;;19119:10:0;19090:40;;;;;;;;;;;;;;;;;;18471:671;19159:199;19190:4;19209:5;19229:13;19257:16;19288:10;19313:12;19340:7;19159:199;;;;-1:-1:-1;;;;;19159:199:0;-1:-1:-1;;;;;19159:199:0;;;;;;;;;;;;;;;;-1:-1:-1;;;;;19159:199:0;-1:-1:-1;;;;;19159:199:0;;;;;;;;;;;-1:-1:-1;;;;;19159:199:0;-1:-1:-1;;;;;19159:199:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17667:1699;;;;;;;;;;;;;:::o;12716:308::-;-1:-1:-1;;;;;12792:21:0;;12784:65;;;;;-1:-1:-1;;;;;12784:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;12877:12;;:24;;12894:6;12877:24;:16;:24;:::i;:::-;12862:12;:39;-1:-1:-1;;;;;12933:18:0;;;;;;:9;:18;;;;;;:30;;12956:6;12933:30;:22;:30;:::i;:::-;-1:-1:-1;;;;;12912:18:0;;;;;;:9;:18;;;;;;;;:51;;;;12979:37;;;;;;;12912:18;;;;-1:-1:-1;;;;;;;;;;;12979:37:0;;;;;;;;;12716:308;;:::o;5691:13678::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;5691:13678:0;;;-1:-1:-1;5691:13678:0;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;

bzzr://d2fea4c581fbdde0d83dc9bcd5cfcb88d4e21a9ac265f0d8d92a867d472dba41