Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

 contract RewardMimas *    - function allowance(address account, a ...    - function approve(address spender, uin ...    - function permit(    - function balanceOf(address account)    - function transfer(address dst, uint25 ...    - function transferFrom(    - function delegate(address delegatee)    - function delegateBySig(    - function getCurrentVotes(address acco ...    - function getPriorVotes(address accoun ...    - function _delegate(address delegator, ...    - function _transferTokens(    - function _moveDelegates(    - function _writeCheckpoint(    - function safe32(uint256 n, string mem ...    - function safe96(uint256 n, string mem ...    - function add96(    - function sub96(    - function getChainId()

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at cronoscan.com on 2022-03-09
*/

// Sources flattened with hardhat v2.7.0 https://hardhat.org

// File contracts/Governance/RewardMimas.sol

pragma solidity ^0.5.16;
pragma experimental ABIEncoderV2;

contract RewardMimas {
    /// @notice EIP-20 token name for this token
    string public constant name = "Reward Mimas";

    /// @notice EIP-20 token symbol for this token
    string public constant symbol = "rMIMAS";

    /// @notice EIP-20 token decimals for this token
    uint8 public constant decimals = 18;

    /// @notice Total number of tokens in circulation
    uint256 public constant totalSupply = 1_000_000_000e18; // 1 billion rMIMAS

    /// @notice Allowance amounts on behalf of others
    mapping(address => mapping(address => uint96)) internal allowances;

    /// @notice Official record of token balances for each account
    mapping(address => uint96) internal balances;

    /// @notice A record of each accounts delegate
    mapping(address => address) public delegates;

    /// @notice A checkpoint for marking number of votes from a given block
    struct Checkpoint {
        uint32 fromBlock;
        uint96 votes;
    }

    /// @notice A record of votes checkpoints for each account, by index
    mapping(address => mapping(uint32 => Checkpoint)) public checkpoints;

    /// @notice The number of checkpoints for each account
    mapping(address => uint32) public numCheckpoints;

    /// @notice The EIP-712 typehash for the contract's domain
    bytes32 public constant DOMAIN_TYPEHASH =
        keccak256(
            "EIP712Domain(string name,uint256 chainId,address verifyingContract)"
        );

    /// @notice The EIP-712 typehash for the delegation struct used by the contract
    bytes32 public constant DELEGATION_TYPEHASH =
        keccak256("Delegation(address delegatee,uint256 nonce,uint256 expiry)");

    /// @notice The EIP-712 typehash for the permit struct used by the contract
    bytes32 public constant PERMIT_TYPEHASH =
        keccak256(
            "Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)"
        );

    /// @notice A record of states for signing / validating signatures
    mapping(address => uint256) public nonces;

    /// @notice An event thats emitted when an account changes its delegate
    event DelegateChanged(
        address indexed delegator,
        address indexed fromDelegate,
        address indexed toDelegate
    );

    /// @notice An event thats emitted when a delegate account's vote balance changes
    event DelegateVotesChanged(
        address indexed delegate,
        uint256 previousBalance,
        uint256 newBalance
    );

    /// @notice The standard EIP-20 transfer event
    event Transfer(address indexed from, address indexed to, uint256 amount);

    /// @notice The standard EIP-20 approval event
    event Approval(
        address indexed owner,
        address indexed spender,
        uint256 amount
    );

    /**
     * @notice Construct a new MIMAS token
     * @param account The initial account to grant all the tokens
     */
    constructor(address account) public {
        balances[account] = uint96(totalSupply);
        emit Transfer(address(0), account, totalSupply);
    }

    /**
     * @notice Get the number of tokens `spender` is approved to spend on behalf of `account`
     * @param account The address of the account holding the funds
     * @param spender The address of the account spending the funds
     * @return The number of tokens approved
     */
    function allowance(address account, address spender)
        external
        view
        returns (uint256)
    {
        return allowances[account][spender];
    }

    /**
     * @notice Approve `spender` to transfer up to `amount` from `src`
     * @dev This will overwrite the approval amount for `spender`
     *  and is subject to issues noted [here](https://eips.ethereum.org/EIPS/eip-20#approve)
     * @param spender The address of the account which may transfer tokens
     * @param rawAmount The number of tokens that are approved (2^256-1 means infinite)
     * @return Whether or not the approval succeeded
     */
    function approve(address spender, uint256 rawAmount)
        external
        returns (bool)
    {
        uint96 amount;
        if (rawAmount == uint256(-1)) {
            amount = uint96(-1);
        } else {
            amount = safe96(
                rawAmount,
                "Mimas::approve: amount exceeds 96 bits"
            );
        }

        allowances[msg.sender][spender] = amount;

        emit Approval(msg.sender, spender, amount);
        return true;
    }

    /**
     * @notice Triggers an approval from owner to spends
     * @param owner The address to approve from
     * @param spender The address to be approved
     * @param rawAmount The number of tokens that are approved (2^256-1 means infinite)
     * @param deadline The time at which to expire the signature
     * @param v The recovery byte of the signature
     * @param r Half of the ECDSA signature pair
     * @param s Half of the ECDSA signature pair
     */
    function permit(
        address owner,
        address spender,
        uint256 rawAmount,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) external {
        uint96 amount;
        if (rawAmount == uint256(-1)) {
            amount = uint96(-1);
        } else {
            amount = safe96(rawAmount, "Mimas::permit: amount exceeds 96 bits");
        }

        bytes32 domainSeparator = keccak256(
            abi.encode(
                DOMAIN_TYPEHASH,
                keccak256(bytes(name)),
                getChainId(),
                address(this)
            )
        );
        bytes32 structHash = keccak256(
            abi.encode(
                PERMIT_TYPEHASH,
                owner,
                spender,
                rawAmount,
                nonces[owner]++,
                deadline
            )
        );
        bytes32 digest = keccak256(
            abi.encodePacked("\x19\x01", domainSeparator, structHash)
        );
        address signatory = ecrecover(digest, v, r, s);
        require(signatory != address(0), "Mimas::permit: invalid signature");
        require(signatory == owner, "Mimas::permit: unauthorized");
        require(now <= deadline, "Mimas::permit: signature expired");

        allowances[owner][spender] = amount;

        emit Approval(owner, spender, amount);
    }

    /**
     * @notice Get the number of tokens held by the `account`
     * @param account The address of the account to get the balance of
     * @return The number of tokens held
     */
    function balanceOf(address account) external view returns (uint256) {
        return balances[account];
    }

    /**
     * @notice Transfer `amount` tokens from `msg.sender` to `dst`
     * @param dst The address of the destination account
     * @param rawAmount The number of tokens to transfer
     * @return Whether or not the transfer succeeded
     */
    function transfer(address dst, uint256 rawAmount) external returns (bool) {
        uint96 amount = safe96(
            rawAmount,
            "Mimas::transfer: amount exceeds 96 bits"
        );
        _transferTokens(msg.sender, dst, amount);
        return true;
    }

    /**
     * @notice Transfer `amount` tokens from `src` to `dst`
     * @param src The address of the source account
     * @param dst The address of the destination account
     * @param rawAmount The number of tokens to transfer
     * @return Whether or not the transfer succeeded
     */
    function transferFrom(
        address src,
        address dst,
        uint256 rawAmount
    ) external returns (bool) {
        address spender = msg.sender;
        uint96 spenderAllowance = allowances[src][spender];
        uint96 amount = safe96(
            rawAmount,
            "Mimas::approve: amount exceeds 96 bits"
        );

        if (spender != src && spenderAllowance != uint96(-1)) {
            uint96 newAllowance = sub96(
                spenderAllowance,
                amount,
                "Mimas::transferFrom: transfer amount exceeds spender allowance"
            );
            allowances[src][spender] = newAllowance;

            emit Approval(src, spender, newAllowance);
        }

        _transferTokens(src, dst, amount);
        return true;
    }

    /**
     * @notice Delegate votes from `msg.sender` to `delegatee`
     * @param delegatee The address to delegate votes to
     */
    function delegate(address delegatee) public {
        return _delegate(msg.sender, delegatee);
    }

    /**
     * @notice Delegates votes from signatory to `delegatee`
     * @param delegatee The address to delegate votes to
     * @param nonce The contract state required to match the signature
     * @param expiry The time at which to expire the signature
     * @param v The recovery byte of the signature
     * @param r Half of the ECDSA signature pair
     * @param s Half of the ECDSA signature pair
     */
    function delegateBySig(
        address delegatee,
        uint256 nonce,
        uint256 expiry,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) public {
        bytes32 domainSeparator = keccak256(
            abi.encode(
                DOMAIN_TYPEHASH,
                keccak256(bytes(name)),
                getChainId(),
                address(this)
            )
        );
        bytes32 structHash = keccak256(
            abi.encode(DELEGATION_TYPEHASH, delegatee, nonce, expiry)
        );
        bytes32 digest = keccak256(
            abi.encodePacked("\x19\x01", domainSeparator, structHash)
        );
        address signatory = ecrecover(digest, v, r, s);
        require(
            signatory != address(0),
            "Mimas::delegateBySig: invalid signature"
        );
        require(
            nonce == nonces[signatory]++,
            "Mimas::delegateBySig: invalid nonce"
        );
        require(now <= expiry, "Mimas::delegateBySig: signature expired");
        return _delegate(signatory, delegatee);
    }

    /**
     * @notice Gets the current votes balance for `account`
     * @param account The address to get votes balance
     * @return The number of current votes for `account`
     */
    function getCurrentVotes(address account) external view returns (uint96) {
        uint32 nCheckpoints = numCheckpoints[account];
        return
            nCheckpoints > 0 ? checkpoints[account][nCheckpoints - 1].votes : 0;
    }

    /**
     * @notice Determine the prior number of votes for an account as of a block number
     * @dev Block number must be a finalized block or else this function will revert to prevent misinformation.
     * @param account The address of the account to check
     * @param blockNumber The block number to get the vote balance at
     * @return The number of votes the account had as of the given block
     */
    function getPriorVotes(address account, uint256 blockNumber)
        public
        view
        returns (uint96)
    {
        require(
            blockNumber < block.number,
            "Mimas::getPriorVotes: not yet determined"
        );

        uint32 nCheckpoints = numCheckpoints[account];
        if (nCheckpoints == 0) {
            return 0;
        }

        // First check most recent balance
        if (checkpoints[account][nCheckpoints - 1].fromBlock <= blockNumber) {
            return checkpoints[account][nCheckpoints - 1].votes;
        }

        // Next check implicit zero balance
        if (checkpoints[account][0].fromBlock > blockNumber) {
            return 0;
        }

        uint32 lower = 0;
        uint32 upper = nCheckpoints - 1;
        while (upper > lower) {
            uint32 center = upper - (upper - lower) / 2; // ceil, avoiding overflow
            Checkpoint memory cp = checkpoints[account][center];
            if (cp.fromBlock == blockNumber) {
                return cp.votes;
            } else if (cp.fromBlock < blockNumber) {
                lower = center;
            } else {
                upper = center - 1;
            }
        }
        return checkpoints[account][lower].votes;
    }

    function _delegate(address delegator, address delegatee) internal {
        address currentDelegate = delegates[delegator];
        uint96 delegatorBalance = balances[delegator];
        delegates[delegator] = delegatee;

        emit DelegateChanged(delegator, currentDelegate, delegatee);

        _moveDelegates(currentDelegate, delegatee, delegatorBalance);
    }

    function _transferTokens(
        address src,
        address dst,
        uint96 amount
    ) internal {
        require(
            src != address(0),
            "Mimas::_transferTokens: cannot transfer from the zero address"
        );
        require(
            dst != address(0),
            "Mimas::_transferTokens: cannot transfer to the zero address"
        );

        balances[src] = sub96(
            balances[src],
            amount,
            "Mimas::_transferTokens: transfer amount exceeds balance"
        );
        balances[dst] = add96(
            balances[dst],
            amount,
            "Mimas::_transferTokens: transfer amount overflows"
        );
        emit Transfer(src, dst, amount);

        _moveDelegates(delegates[src], delegates[dst], amount);
    }

    function _moveDelegates(
        address srcRep,
        address dstRep,
        uint96 amount
    ) internal {
        if (srcRep != dstRep && amount > 0) {
            if (srcRep != address(0)) {
                uint32 srcRepNum = numCheckpoints[srcRep];
                uint96 srcRepOld = srcRepNum > 0
                    ? checkpoints[srcRep][srcRepNum - 1].votes
                    : 0;
                uint96 srcRepNew = sub96(
                    srcRepOld,
                    amount,
                    "Mimas::_moveVotes: vote amount underflows"
                );
                _writeCheckpoint(srcRep, srcRepNum, srcRepOld, srcRepNew);
            }

            if (dstRep != address(0)) {
                uint32 dstRepNum = numCheckpoints[dstRep];
                uint96 dstRepOld = dstRepNum > 0
                    ? checkpoints[dstRep][dstRepNum - 1].votes
                    : 0;
                uint96 dstRepNew = add96(
                    dstRepOld,
                    amount,
                    "Mimas::_moveVotes: vote amount overflows"
                );
                _writeCheckpoint(dstRep, dstRepNum, dstRepOld, dstRepNew);
            }
        }
    }

    function _writeCheckpoint(
        address delegatee,
        uint32 nCheckpoints,
        uint96 oldVotes,
        uint96 newVotes
    ) internal {
        uint32 blockNumber = safe32(
            block.number,
            "Mimas::_writeCheckpoint: block number exceeds 32 bits"
        );

        if (
            nCheckpoints > 0 &&
            checkpoints[delegatee][nCheckpoints - 1].fromBlock == blockNumber
        ) {
            checkpoints[delegatee][nCheckpoints - 1].votes = newVotes;
        } else {
            checkpoints[delegatee][nCheckpoints] = Checkpoint(
                blockNumber,
                newVotes
            );
            numCheckpoints[delegatee] = nCheckpoints + 1;
        }

        emit DelegateVotesChanged(delegatee, oldVotes, newVotes);
    }

    function safe32(uint256 n, string memory errorMessage)
        internal
        pure
        returns (uint32)
    {
        require(n < 2**32, errorMessage);
        return uint32(n);
    }

    function safe96(uint256 n, string memory errorMessage)
        internal
        pure
        returns (uint96)
    {
        require(n < 2**96, errorMessage);
        return uint96(n);
    }

    function add96(
        uint96 a,
        uint96 b,
        string memory errorMessage
    ) internal pure returns (uint96) {
        uint96 c = a + b;
        require(c >= a, errorMessage);
        return c;
    }

    function sub96(
        uint96 a,
        uint96 b,
        string memory errorMessage
    ) internal pure returns (uint96) {
        require(b <= a, errorMessage);
        return a - b;
    }

    function getChainId() internal pure returns (uint256) {
        uint256 chainId;
        assembly {
            chainId := chainid()
        }
        return chainId;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"account","type":"address"}],"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":"amount","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"delegator","type":"address"},{"indexed":true,"internalType":"address","name":"fromDelegate","type":"address"},{"indexed":true,"internalType":"address","name":"toDelegate","type":"address"}],"name":"DelegateChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"delegate","type":"address"},{"indexed":false,"internalType":"uint256","name":"previousBalance","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"newBalance","type":"uint256"}],"name":"DelegateVotesChanged","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":"amount","type":"uint256"}],"name":"Transfer","type":"event"},{"constant":true,"inputs":[],"name":"DELEGATION_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"DOMAIN_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"PERMIT_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","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":"rawAmount","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":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint32","name":"","type":"uint32"}],"name":"checkpoints","outputs":[{"internalType":"uint32","name":"fromBlock","type":"uint32"},{"internalType":"uint96","name":"votes","type":"uint96"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"delegatee","type":"address"}],"name":"delegate","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"delegatee","type":"address"},{"internalType":"uint256","name":"nonce","type":"uint256"},{"internalType":"uint256","name":"expiry","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"delegateBySig","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"delegates","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"getCurrentVotes","outputs":[{"internalType":"uint96","name":"","type":"uint96"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"blockNumber","type":"uint256"}],"name":"getPriorVotes","outputs":[{"internalType":"uint96","name":"","type":"uint96"}],"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":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"numCheckpoints","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"rawAmount","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","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":false,"inputs":[{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"rawAmount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"src","type":"address"},{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"rawAmount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b506040516200218f3803806200218f8339810160408190526200003491620000bd565b6001600160a01b03811660008181526001602052604080822080546001600160601b0319166b033b2e3c9fd0803ce800000090811790915590517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef916200009b91620000f7565b60405180910390a35062000136565b8051620000b7816200011c565b92915050565b600060208284031215620000d057600080fd5b6000620000de8484620000aa565b949350505050565b620000f18162000119565b82525050565b60208101620000b78284620000e6565b60006001600160a01b038216620000b7565b90565b620001278162000107565b81146200013357600080fd5b50565b61204980620001466000396000f3fe608060405234801561001057600080fd5b50600436106101375760003560e01c806370a08231116100b8578063b4b5ea571161007c578063b4b5ea571461027d578063c3cda52014610290578063d505accf146102a3578063dd62ed3e146102b6578063e7a324dc146102c9578063f1127ed8146102d157610137565b806370a082311461021c578063782d6fe11461022f5780637ecebe001461024f57806395d89b4114610262578063a9059cbb1461026a57610137565b806330adf81f116100ff57806330adf81f146101aa578063313ce567146101b2578063587cde1e146101c75780635c19a95c146101e75780636fcfff45146101fc57610137565b806306fdde031461013c578063095ea7b31461015a57806318160ddd1461017a57806320606b701461018f57806323b872dd14610197575b600080fd5b6101446102f2565b6040516101519190611c9d565b60405180910390f35b61016d6101683660046115d8565b61031a565b6040516101519190611b99565b6101826103d7565b6040516101519190611ba7565b6101826103e7565b61016d6101a53660046114ef565b6103fe565b610182610543565b6101ba61054f565b6040516101519190611d67565b6101da6101d536600461148f565b610554565b6040516101519190611b8b565b6101fa6101f536600461148f565b61056f565b005b61020f61020a36600461148f565b61057c565b6040516101519190611d3e565b61018261022a36600461148f565b610594565b61024261023d3660046115d8565b6105b8565b6040516101519190611d83565b61018261025d36600461148f565b6107cf565b6101446107e1565b61016d6102783660046115d8565b610803565b61024261028b36600461148f565b61083f565b6101fa61029e366004611608565b6108af565b6101fa6102b136600461153c565b610a9d565b6101826102c43660046114b5565b610d8c565b610182610dbe565b6102e46102df36600461168f565b610dca565b604051610151929190611d4c565b6040518060400160405280600c81526020016b526577617264204d696d617360a01b81525081565b6000806000198314156103305750600019610355565b61035283604051806060016040528060268152602001611ec660269139610dff565b90505b336000818152602081815260408083206001600160a01b03891680855292529182902080546001600160601b0319166001600160601b03861617905590519091907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906103c3908590611d75565b60405180910390a360019150505b92915050565b6b033b2e3c9fd0803ce800000081565b6040516103f390611b75565b604051809103902081565b6001600160a01b0383166000908152602081815260408083203380855290835281842054825160608101909352602680845291936001600160601b039091169285926104549288929190611ec690830139610dff565b9050866001600160a01b0316836001600160a01b03161415801561048157506001600160601b0382811614155b156105295760006104ab83836040518060600160405280603e8152602001611eec603e9139610e2e565b6001600160a01b03898116600081815260208181526040808320948a16808452949091529081902080546001600160601b0319166001600160601b0386161790555192935090917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061051f908590611d75565b60405180910390a3505b610534878783610e6d565b600193505050505b9392505050565b6040516103f390611b6a565b601281565b6002602052600090815260409020546001600160a01b031681565b6105793382611018565b50565b60046020526000908152604090205463ffffffff1681565b6001600160a01b03166000908152600160205260409020546001600160601b031690565b60004382106105e25760405162461bcd60e51b81526004016105d990611cae565b60405180910390fd5b6001600160a01b03831660009081526004602052604090205463ffffffff16806106105760009150506103d1565b6001600160a01b038416600090815260036020908152604080832063ffffffff60001986018116855292529091205416831061068c576001600160a01b03841660009081526003602090815260408083206000199490940163ffffffff1683529290522054600160201b90046001600160601b031690506103d1565b6001600160a01b038416600090815260036020908152604080832083805290915290205463ffffffff168310156106c75760009150506103d1565b600060001982015b8163ffffffff168163ffffffff16111561078a57600282820363ffffffff160481036106f961144c565b506001600160a01b038716600090815260036020908152604080832063ffffffff858116855290835292819020815180830190925254928316808252600160201b9093046001600160601b03169181019190915290871415610765576020015194506103d19350505050565b805163ffffffff1687111561077c57819350610783565b6001820392505b50506106cf565b506001600160a01b038516600090815260036020908152604080832063ffffffff909416835292905220546001600160601b03600160201b9091041691505092915050565b60056020526000908152604090205481565b60405180604001604052806006815260200165724d494d415360d01b81525081565b60008061082883604051806060016040528060278152602001611f7860279139610dff565b9050610835338583610e6d565b5060019392505050565b6001600160a01b03811660009081526004602052604081205463ffffffff168061086a57600061053c565b6001600160a01b0383166000908152600360209081526040808320600019850163ffffffff168452909152902054600160201b90046001600160601b03169392505050565b60006040516108bd90611b75565b60408051918290038220828201909152600c82526b526577617264204d696d617360a01b6020909201919091527f6f7ff29fa2c73dee0ea8bf728c6e654dd1a2dca37d9aacd421d6eab6043f641d6109136110a2565b306040516020016109279493929190611c4d565b604051602081830303815290604052805190602001209050600060405161094d90611b80565b604051908190038120610968918a908a908a90602001611c0f565b60405160208183030381529060405280519060200120905060008282604051602001610995929190611b39565b6040516020818303038152906040528051906020012090506000600182888888604051600081526020016040526040516109d29493929190611c82565b6020604051602081039080840390855afa1580156109f4573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116610a275760405162461bcd60e51b81526004016105d990611cce565b6001600160a01b03811660009081526005602052604090208054600181019091558914610a665760405162461bcd60e51b81526004016105d990611d0e565b87421115610a865760405162461bcd60e51b81526004016105d990611cfe565b610a90818b611018565b505050505b505050505050565b6000600019861415610ab25750600019610ad7565b610ad486604051806060016040528060258152602001611f2a60259139610dff565b90505b6000604051610ae590611b75565b60408051918290038220828201909152600c82526b526577617264204d696d617360a01b6020909201919091527f6f7ff29fa2c73dee0ea8bf728c6e654dd1a2dca37d9aacd421d6eab6043f641d610b3b6110a2565b30604051602001610b4f9493929190611c4d565b6040516020818303038152906040528051906020012090506000604051610b7590611b6a565b604080519182900382206001600160a01b038d16600090815260056020908152929020805460018101909155610bb79391928e928e928e9290918e9101611bb5565b60405160208183030381529060405280519060200120905060008282604051602001610be4929190611b39565b604051602081830303815290604052805190602001209050600060018289898960405160008152602001604052604051610c219493929190611c82565b6020604051602081039080840390855afa158015610c43573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116610c765760405162461bcd60e51b81526004016105d990611d1e565b8b6001600160a01b0316816001600160a01b031614610ca75760405162461bcd60e51b81526004016105d990611cee565b88421115610cc75760405162461bcd60e51b81526004016105d990611cbe565b846000808e6001600160a01b03166001600160a01b0316815260200190815260200160002060008d6001600160a01b03166001600160a01b0316815260200190815260200160002060006101000a8154816001600160601b0302191690836001600160601b031602179055508a6001600160a01b03168c6001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610d769190611d75565b60405180910390a3505050505050505050505050565b6001600160a01b039182166000908152602081815260408083209390941682529190915220546001600160601b031690565b6040516103f390611b80565b600360209081526000928352604080842090915290825290205463ffffffff811690600160201b90046001600160601b031682565b600081600160601b8410610e265760405162461bcd60e51b81526004016105d99190611c9d565b509192915050565b6000836001600160601b0316836001600160601b031611158290610e655760405162461bcd60e51b81526004016105d99190611c9d565b505050900390565b6001600160a01b038316610e935760405162461bcd60e51b81526004016105d990611cde565b6001600160a01b038216610eb95760405162461bcd60e51b81526004016105d990611d2e565b6001600160a01b038316600090815260016020908152604091829020548251606081019093526037808452610f04936001600160601b039092169285929190611fd090830139610e2e565b6001600160a01b03848116600090815260016020908152604080832080546001600160601b0319166001600160601b03968716179055928616825290829020548251606081019093526031808452610f6c9491909116928592909190611f9f908301396110a6565b6001600160a01b038381166000818152600160205260409081902080546001600160601b0319166001600160601b0395909516949094179093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fd9908590611d75565b60405180910390a36001600160a01b03808416600090815260026020526040808220548584168352912054611013929182169116836110e2565b505050565b6001600160a01b03808316600081815260026020818152604080842080546001845282862054949093528787166001600160a01b031984168117909155905191909516946001600160601b039092169391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a461109c8284836110e2565b50505050565b4690565b6000838301826001600160601b0380871690831610156110d95760405162461bcd60e51b81526004016105d99190611c9d565b50949350505050565b816001600160a01b0316836001600160a01b03161415801561110d57506000816001600160601b0316115b15611013576001600160a01b038316156111c5576001600160a01b03831660009081526004602052604081205463ffffffff16908161114d57600061118c565b6001600160a01b0385166000908152600360209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b905060006111b38285604051806060016040528060298152602001611f4f60299139610e2e565b90506111c186848484611270565b5050505b6001600160a01b03821615611013576001600160a01b03821660009081526004602052604081205463ffffffff16908161120057600061123f565b6001600160a01b0384166000908152600360209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b905060006112668285604051806060016040528060288152602001611e9e602891396110a6565b9050610a95858484845b600061129443604051806060016040528060358152602001611e6960359139611425565b905060008463ffffffff161180156112dd57506001600160a01b038516600090815260036020908152604080832063ffffffff6000198901811685529252909120548282169116145b1561133c576001600160a01b0385166000908152600360209081526040808320600019880163ffffffff168452909152902080546fffffffffffffffffffffffff000000001916600160201b6001600160601b038516021790556113db565b60408051808201825263ffffffff80841682526001600160601b0380861660208085019182526001600160a01b038b166000818152600383528781208c871682528352878120965187549451909516600160201b026fffffffffffffffffffffffff000000001995871663ffffffff19958616179590951694909417909555938252600490935292909220805460018801909316929091169190911790555b846001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248484604051611416929190611d91565b60405180910390a25050505050565b600081600160201b8410610e265760405162461bcd60e51b81526004016105d99190611c9d565b604080518082019091526000808252602082015290565b80356103d181611e39565b80356103d181611e4d565b80356103d181611e56565b80356103d181611e5f565b6000602082840312156114a157600080fd5b60006114ad8484611463565b949350505050565b600080604083850312156114c857600080fd5b60006114d48585611463565b92505060206114e585828601611463565b9150509250929050565b60008060006060848603121561150457600080fd5b60006115108686611463565b935050602061152186828701611463565b92505060406115328682870161146e565b9150509250925092565b600080600080600080600060e0888a03121561155757600080fd5b60006115638a8a611463565b97505060206115748a828b01611463565b96505060406115858a828b0161146e565b95505060606115968a828b0161146e565b94505060806115a78a828b01611484565b93505060a06115b88a828b0161146e565b92505060c06115c98a828b0161146e565b91505092959891949750929550565b600080604083850312156115eb57600080fd5b60006115f78585611463565b92505060206114e58582860161146e565b60008060008060008060c0878903121561162157600080fd5b600061162d8989611463565b965050602061163e89828a0161146e565b955050604061164f89828a0161146e565b945050606061166089828a01611484565b935050608061167189828a0161146e565b92505060a061168289828a0161146e565b9150509295509295509295565b600080604083850312156116a257600080fd5b60006116ae8585611463565b92505060206114e585828601611479565b6116c881611dbe565b82525050565b6116c881611dc9565b6116c881611dce565b6116c86116ec82611dce565b611dce565b60006116fc82611dac565b6117068185611db0565b9350611716818560208601611e03565b61171f81611e2f565b9093019392505050565b6000611736602883611db0565b7f4d696d61733a3a6765745072696f72566f7465733a206e6f74207965742064658152671d195c9b5a5b995960c21b602082015260400192915050565b6000611780600283611db9565b61190160f01b815260020192915050565b600061179e602083611db0565b7f4d696d61733a3a7065726d69743a207369676e61747572652065787069726564815260200192915050565b60006117d7602783611db0565b7f4d696d61733a3a64656c656761746542795369673a20696e76616c6964207369815266676e617475726560c81b602082015260400192915050565b6000611820605283611db9565b7f5065726d69742861646472657373206f776e65722c616464726573732073706581527f6e6465722c75696e743235362076616c75652c75696e74323536206e6f6e63656020820152712c75696e7432353620646561646c696e652960701b604082015260520192915050565b600061189a603d83611db0565b7f4d696d61733a3a5f7472616e73666572546f6b656e733a2063616e6e6f74207481527f72616e736665722066726f6d20746865207a65726f2061646472657373000000602082015260400192915050565b60006118f9604383611db9565b7f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353681527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208201526263742960e81b604082015260430192915050565b6000611964601b83611db0565b7f4d696d61733a3a7065726d69743a20756e617574686f72697a65640000000000815260200192915050565b600061199d602783611db0565b7f4d696d61733a3a64656c656761746542795369673a207369676e617475726520815266195e1c1a5c995960ca1b602082015260400192915050565b60006119e6603a83611db9565b7f44656c65676174696f6e28616464726573732064656c6567617465652c75696e81527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020820152603a0192915050565b6000611a45602383611db0565b7f4d696d61733a3a64656c656761746542795369673a20696e76616c6964206e6f8152626e636560e81b602082015260400192915050565b6000611a8a602083611db0565b7f4d696d61733a3a7065726d69743a20696e76616c6964207369676e6174757265815260200192915050565b6000611ac3603b83611db0565b7f4d696d61733a3a5f7472616e73666572546f6b656e733a2063616e6e6f74207481527f72616e7366657220746f20746865207a65726f20616464726573730000000000602082015260400192915050565b6116c881611ddd565b6116c881611de6565b6116c881611df8565b6116c881611dec565b6000611b4482611773565b9150611b5082856116e0565b602082019150611b6082846116e0565b5060200192915050565b60006103d182611813565b60006103d1826118ec565b60006103d1826119d9565b602081016103d182846116bf565b602081016103d182846116ce565b602081016103d182846116d7565b60c08101611bc382896116d7565b611bd060208301886116bf565b611bdd60408301876116bf565b611bea60608301866116d7565b611bf760808301856116d7565b611c0460a08301846116d7565b979650505050505050565b60808101611c1d82876116d7565b611c2a60208301866116bf565b611c3760408301856116d7565b611c4460608301846116d7565b95945050505050565b60808101611c5b82876116d7565b611c6860208301866116d7565b611c7560408301856116d7565b611c4460608301846116bf565b60808101611c9082876116d7565b611c2a6020830186611b1e565b6020808252810161053c81846116f1565b602080825281016103d181611729565b602080825281016103d181611791565b602080825281016103d1816117ca565b602080825281016103d18161188d565b602080825281016103d181611957565b602080825281016103d181611990565b602080825281016103d181611a38565b602080825281016103d181611a7d565b602080825281016103d181611ab6565b602081016103d18284611b15565b60408101611d5a8285611b15565b61053c6020830184611b30565b602081016103d18284611b1e565b602081016103d18284611b27565b602081016103d18284611b30565b60408101611d9f8285611b27565b61053c6020830184611b27565b5190565b90815260200190565b919050565b60006103d182611dd1565b151590565b90565b6001600160a01b031690565b63ffffffff1690565b60ff1690565b6001600160601b031690565b60006103d182611dec565b60005b83811015611e1e578181015183820152602001611e06565b8381111561109c5750506000910152565b601f01601f191690565b611e4281611dbe565b811461057957600080fd5b611e4281611dce565b611e4281611ddd565b611e4281611de656fe4d696d61733a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d626572206578636565647320333220626974734d696d61733a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f77734d696d61733a3a617070726f76653a20616d6f756e74206578636565647320393620626974734d696d61733a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e63654d696d61733a3a7065726d69743a20616d6f756e74206578636565647320393620626974734d696d61733a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f77734d696d61733a3a7472616e736665723a20616d6f756e74206578636565647320393620626974734d696d61733a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f77734d696d61733a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e6365a365627a7a72315820f69d79e759ae0803fb1e833de9f2df7e21926fa47d7f345652b056850818c5b76c6578706572696d656e74616cf564736f6c634300051100400000000000000000000000006a13f1700e97535a6b6bc5c0d5b3266290583c92

0x608060405234801561001057600080fd5b50600436106101375760003560e01c806370a08231116100b8578063b4b5ea571161007c578063b4b5ea571461027d578063c3cda52014610290578063d505accf146102a3578063dd62ed3e146102b6578063e7a324dc146102c9578063f1127ed8146102d157610137565b806370a082311461021c578063782d6fe11461022f5780637ecebe001461024f57806395d89b4114610262578063a9059cbb1461026a57610137565b806330adf81f116100ff57806330adf81f146101aa578063313ce567146101b2578063587cde1e146101c75780635c19a95c146101e75780636fcfff45146101fc57610137565b806306fdde031461013c578063095ea7b31461015a57806318160ddd1461017a57806320606b701461018f57806323b872dd14610197575b600080fd5b6101446102f2565b6040516101519190611c9d565b60405180910390f35b61016d6101683660046115d8565b61031a565b6040516101519190611b99565b6101826103d7565b6040516101519190611ba7565b6101826103e7565b61016d6101a53660046114ef565b6103fe565b610182610543565b6101ba61054f565b6040516101519190611d67565b6101da6101d536600461148f565b610554565b6040516101519190611b8b565b6101fa6101f536600461148f565b61056f565b005b61020f61020a36600461148f565b61057c565b6040516101519190611d3e565b61018261022a36600461148f565b610594565b61024261023d3660046115d8565b6105b8565b6040516101519190611d83565b61018261025d36600461148f565b6107cf565b6101446107e1565b61016d6102783660046115d8565b610803565b61024261028b36600461148f565b61083f565b6101fa61029e366004611608565b6108af565b6101fa6102b136600461153c565b610a9d565b6101826102c43660046114b5565b610d8c565b610182610dbe565b6102e46102df36600461168f565b610dca565b604051610151929190611d4c565b6040518060400160405280600c81526020016b526577617264204d696d617360a01b81525081565b6000806000198314156103305750600019610355565b61035283604051806060016040528060268152602001611ec660269139610dff565b90505b336000818152602081815260408083206001600160a01b03891680855292529182902080546001600160601b0319166001600160601b03861617905590519091907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906103c3908590611d75565b60405180910390a360019150505b92915050565b6b033b2e3c9fd0803ce800000081565b6040516103f390611b75565b604051809103902081565b6001600160a01b0383166000908152602081815260408083203380855290835281842054825160608101909352602680845291936001600160601b039091169285926104549288929190611ec690830139610dff565b9050866001600160a01b0316836001600160a01b03161415801561048157506001600160601b0382811614155b156105295760006104ab83836040518060600160405280603e8152602001611eec603e9139610e2e565b6001600160a01b03898116600081815260208181526040808320948a16808452949091529081902080546001600160601b0319166001600160601b0386161790555192935090917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061051f908590611d75565b60405180910390a3505b610534878783610e6d565b600193505050505b9392505050565b6040516103f390611b6a565b601281565b6002602052600090815260409020546001600160a01b031681565b6105793382611018565b50565b60046020526000908152604090205463ffffffff1681565b6001600160a01b03166000908152600160205260409020546001600160601b031690565b60004382106105e25760405162461bcd60e51b81526004016105d990611cae565b60405180910390fd5b6001600160a01b03831660009081526004602052604090205463ffffffff16806106105760009150506103d1565b6001600160a01b038416600090815260036020908152604080832063ffffffff60001986018116855292529091205416831061068c576001600160a01b03841660009081526003602090815260408083206000199490940163ffffffff1683529290522054600160201b90046001600160601b031690506103d1565b6001600160a01b038416600090815260036020908152604080832083805290915290205463ffffffff168310156106c75760009150506103d1565b600060001982015b8163ffffffff168163ffffffff16111561078a57600282820363ffffffff160481036106f961144c565b506001600160a01b038716600090815260036020908152604080832063ffffffff858116855290835292819020815180830190925254928316808252600160201b9093046001600160601b03169181019190915290871415610765576020015194506103d19350505050565b805163ffffffff1687111561077c57819350610783565b6001820392505b50506106cf565b506001600160a01b038516600090815260036020908152604080832063ffffffff909416835292905220546001600160601b03600160201b9091041691505092915050565b60056020526000908152604090205481565b60405180604001604052806006815260200165724d494d415360d01b81525081565b60008061082883604051806060016040528060278152602001611f7860279139610dff565b9050610835338583610e6d565b5060019392505050565b6001600160a01b03811660009081526004602052604081205463ffffffff168061086a57600061053c565b6001600160a01b0383166000908152600360209081526040808320600019850163ffffffff168452909152902054600160201b90046001600160601b03169392505050565b60006040516108bd90611b75565b60408051918290038220828201909152600c82526b526577617264204d696d617360a01b6020909201919091527f6f7ff29fa2c73dee0ea8bf728c6e654dd1a2dca37d9aacd421d6eab6043f641d6109136110a2565b306040516020016109279493929190611c4d565b604051602081830303815290604052805190602001209050600060405161094d90611b80565b604051908190038120610968918a908a908a90602001611c0f565b60405160208183030381529060405280519060200120905060008282604051602001610995929190611b39565b6040516020818303038152906040528051906020012090506000600182888888604051600081526020016040526040516109d29493929190611c82565b6020604051602081039080840390855afa1580156109f4573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116610a275760405162461bcd60e51b81526004016105d990611cce565b6001600160a01b03811660009081526005602052604090208054600181019091558914610a665760405162461bcd60e51b81526004016105d990611d0e565b87421115610a865760405162461bcd60e51b81526004016105d990611cfe565b610a90818b611018565b505050505b505050505050565b6000600019861415610ab25750600019610ad7565b610ad486604051806060016040528060258152602001611f2a60259139610dff565b90505b6000604051610ae590611b75565b60408051918290038220828201909152600c82526b526577617264204d696d617360a01b6020909201919091527f6f7ff29fa2c73dee0ea8bf728c6e654dd1a2dca37d9aacd421d6eab6043f641d610b3b6110a2565b30604051602001610b4f9493929190611c4d565b6040516020818303038152906040528051906020012090506000604051610b7590611b6a565b604080519182900382206001600160a01b038d16600090815260056020908152929020805460018101909155610bb79391928e928e928e9290918e9101611bb5565b60405160208183030381529060405280519060200120905060008282604051602001610be4929190611b39565b604051602081830303815290604052805190602001209050600060018289898960405160008152602001604052604051610c219493929190611c82565b6020604051602081039080840390855afa158015610c43573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116610c765760405162461bcd60e51b81526004016105d990611d1e565b8b6001600160a01b0316816001600160a01b031614610ca75760405162461bcd60e51b81526004016105d990611cee565b88421115610cc75760405162461bcd60e51b81526004016105d990611cbe565b846000808e6001600160a01b03166001600160a01b0316815260200190815260200160002060008d6001600160a01b03166001600160a01b0316815260200190815260200160002060006101000a8154816001600160601b0302191690836001600160601b031602179055508a6001600160a01b03168c6001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610d769190611d75565b60405180910390a3505050505050505050505050565b6001600160a01b039182166000908152602081815260408083209390941682529190915220546001600160601b031690565b6040516103f390611b80565b600360209081526000928352604080842090915290825290205463ffffffff811690600160201b90046001600160601b031682565b600081600160601b8410610e265760405162461bcd60e51b81526004016105d99190611c9d565b509192915050565b6000836001600160601b0316836001600160601b031611158290610e655760405162461bcd60e51b81526004016105d99190611c9d565b505050900390565b6001600160a01b038316610e935760405162461bcd60e51b81526004016105d990611cde565b6001600160a01b038216610eb95760405162461bcd60e51b81526004016105d990611d2e565b6001600160a01b038316600090815260016020908152604091829020548251606081019093526037808452610f04936001600160601b039092169285929190611fd090830139610e2e565b6001600160a01b03848116600090815260016020908152604080832080546001600160601b0319166001600160601b03968716179055928616825290829020548251606081019093526031808452610f6c9491909116928592909190611f9f908301396110a6565b6001600160a01b038381166000818152600160205260409081902080546001600160601b0319166001600160601b0395909516949094179093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fd9908590611d75565b60405180910390a36001600160a01b03808416600090815260026020526040808220548584168352912054611013929182169116836110e2565b505050565b6001600160a01b03808316600081815260026020818152604080842080546001845282862054949093528787166001600160a01b031984168117909155905191909516946001600160601b039092169391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a461109c8284836110e2565b50505050565b4690565b6000838301826001600160601b0380871690831610156110d95760405162461bcd60e51b81526004016105d99190611c9d565b50949350505050565b816001600160a01b0316836001600160a01b03161415801561110d57506000816001600160601b0316115b15611013576001600160a01b038316156111c5576001600160a01b03831660009081526004602052604081205463ffffffff16908161114d57600061118c565b6001600160a01b0385166000908152600360209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b905060006111b38285604051806060016040528060298152602001611f4f60299139610e2e565b90506111c186848484611270565b5050505b6001600160a01b03821615611013576001600160a01b03821660009081526004602052604081205463ffffffff16908161120057600061123f565b6001600160a01b0384166000908152600360209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b905060006112668285604051806060016040528060288152602001611e9e602891396110a6565b9050610a95858484845b600061129443604051806060016040528060358152602001611e6960359139611425565b905060008463ffffffff161180156112dd57506001600160a01b038516600090815260036020908152604080832063ffffffff6000198901811685529252909120548282169116145b1561133c576001600160a01b0385166000908152600360209081526040808320600019880163ffffffff168452909152902080546fffffffffffffffffffffffff000000001916600160201b6001600160601b038516021790556113db565b60408051808201825263ffffffff80841682526001600160601b0380861660208085019182526001600160a01b038b166000818152600383528781208c871682528352878120965187549451909516600160201b026fffffffffffffffffffffffff000000001995871663ffffffff19958616179590951694909417909555938252600490935292909220805460018801909316929091169190911790555b846001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248484604051611416929190611d91565b60405180910390a25050505050565b600081600160201b8410610e265760405162461bcd60e51b81526004016105d99190611c9d565b604080518082019091526000808252602082015290565b80356103d181611e39565b80356103d181611e4d565b80356103d181611e56565b80356103d181611e5f565b6000602082840312156114a157600080fd5b60006114ad8484611463565b949350505050565b600080604083850312156114c857600080fd5b60006114d48585611463565b92505060206114e585828601611463565b9150509250929050565b60008060006060848603121561150457600080fd5b60006115108686611463565b935050602061152186828701611463565b92505060406115328682870161146e565b9150509250925092565b600080600080600080600060e0888a03121561155757600080fd5b60006115638a8a611463565b97505060206115748a828b01611463565b96505060406115858a828b0161146e565b95505060606115968a828b0161146e565b94505060806115a78a828b01611484565b93505060a06115b88a828b0161146e565b92505060c06115c98a828b0161146e565b91505092959891949750929550565b600080604083850312156115eb57600080fd5b60006115f78585611463565b92505060206114e58582860161146e565b60008060008060008060c0878903121561162157600080fd5b600061162d8989611463565b965050602061163e89828a0161146e565b955050604061164f89828a0161146e565b945050606061166089828a01611484565b935050608061167189828a0161146e565b92505060a061168289828a0161146e565b9150509295509295509295565b600080604083850312156116a257600080fd5b60006116ae8585611463565b92505060206114e585828601611479565b6116c881611dbe565b82525050565b6116c881611dc9565b6116c881611dce565b6116c86116ec82611dce565b611dce565b60006116fc82611dac565b6117068185611db0565b9350611716818560208601611e03565b61171f81611e2f565b9093019392505050565b6000611736602883611db0565b7f4d696d61733a3a6765745072696f72566f7465733a206e6f74207965742064658152671d195c9b5a5b995960c21b602082015260400192915050565b6000611780600283611db9565b61190160f01b815260020192915050565b600061179e602083611db0565b7f4d696d61733a3a7065726d69743a207369676e61747572652065787069726564815260200192915050565b60006117d7602783611db0565b7f4d696d61733a3a64656c656761746542795369673a20696e76616c6964207369815266676e617475726560c81b602082015260400192915050565b6000611820605283611db9565b7f5065726d69742861646472657373206f776e65722c616464726573732073706581527f6e6465722c75696e743235362076616c75652c75696e74323536206e6f6e63656020820152712c75696e7432353620646561646c696e652960701b604082015260520192915050565b600061189a603d83611db0565b7f4d696d61733a3a5f7472616e73666572546f6b656e733a2063616e6e6f74207481527f72616e736665722066726f6d20746865207a65726f2061646472657373000000602082015260400192915050565b60006118f9604383611db9565b7f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353681527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208201526263742960e81b604082015260430192915050565b6000611964601b83611db0565b7f4d696d61733a3a7065726d69743a20756e617574686f72697a65640000000000815260200192915050565b600061199d602783611db0565b7f4d696d61733a3a64656c656761746542795369673a207369676e617475726520815266195e1c1a5c995960ca1b602082015260400192915050565b60006119e6603a83611db9565b7f44656c65676174696f6e28616464726573732064656c6567617465652c75696e81527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020820152603a0192915050565b6000611a45602383611db0565b7f4d696d61733a3a64656c656761746542795369673a20696e76616c6964206e6f8152626e636560e81b602082015260400192915050565b6000611a8a602083611db0565b7f4d696d61733a3a7065726d69743a20696e76616c6964207369676e6174757265815260200192915050565b6000611ac3603b83611db0565b7f4d696d61733a3a5f7472616e73666572546f6b656e733a2063616e6e6f74207481527f72616e7366657220746f20746865207a65726f20616464726573730000000000602082015260400192915050565b6116c881611ddd565b6116c881611de6565b6116c881611df8565b6116c881611dec565b6000611b4482611773565b9150611b5082856116e0565b602082019150611b6082846116e0565b5060200192915050565b60006103d182611813565b60006103d1826118ec565b60006103d1826119d9565b602081016103d182846116bf565b602081016103d182846116ce565b602081016103d182846116d7565b60c08101611bc382896116d7565b611bd060208301886116bf565b611bdd60408301876116bf565b611bea60608301866116d7565b611bf760808301856116d7565b611c0460a08301846116d7565b979650505050505050565b60808101611c1d82876116d7565b611c2a60208301866116bf565b611c3760408301856116d7565b611c4460608301846116d7565b95945050505050565b60808101611c5b82876116d7565b611c6860208301866116d7565b611c7560408301856116d7565b611c4460608301846116bf565b60808101611c9082876116d7565b611c2a6020830186611b1e565b6020808252810161053c81846116f1565b602080825281016103d181611729565b602080825281016103d181611791565b602080825281016103d1816117ca565b602080825281016103d18161188d565b602080825281016103d181611957565b602080825281016103d181611990565b602080825281016103d181611a38565b602080825281016103d181611a7d565b602080825281016103d181611ab6565b602081016103d18284611b15565b60408101611d5a8285611b15565b61053c6020830184611b30565b602081016103d18284611b1e565b602081016103d18284611b27565b602081016103d18284611b30565b60408101611d9f8285611b27565b61053c6020830184611b27565b5190565b90815260200190565b919050565b60006103d182611dd1565b151590565b90565b6001600160a01b031690565b63ffffffff1690565b60ff1690565b6001600160601b031690565b60006103d182611dec565b60005b83811015611e1e578181015183820152602001611e06565b8381111561109c5750506000910152565b601f01601f191690565b611e4281611dbe565b811461057957600080fd5b611e4281611dce565b611e4281611ddd565b611e4281611de656fe4d696d61733a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d626572206578636565647320333220626974734d696d61733a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f77734d696d61733a3a617070726f76653a20616d6f756e74206578636565647320393620626974734d696d61733a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e63654d696d61733a3a7065726d69743a20616d6f756e74206578636565647320393620626974734d696d61733a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f77734d696d61733a3a7472616e736665723a20616d6f756e74206578636565647320393620626974734d696d61733a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f77734d696d61733a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e6365a365627a7a72315820f69d79e759ae0803fb1e833de9f2df7e21926fa47d7f345652b056850818c5b76c6578706572696d656e74616cf564736f6c63430005110040

0000000000000000000000006a13f1700e97535a6b6bc5c0d5b3266290583c92

-----Decoded View---------------
Arg [0] : account (address): 0x6A13F1700e97535a6B6BC5c0D5B3266290583C92

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 0000000000000000000000006a13f1700e97535a6b6bc5c0d5b3266290583c92

175:16686:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;175:16686:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;253:44;;;:::i;:::-;;;;;;;;;;;;;;;;4251:498;;;;;;;;;:::i;:::-;;;;;;;;560:54;;;:::i;:::-;;;;;;;;1492:155;;;:::i;7815:814::-;;;;;;;;;:::i;1957:170::-;;;:::i;461:35::-;;;:::i;:::-;;;;;;;;946:44;;;;;;;;;:::i;:::-;;;;;;;;8777:102;;;;;;;;;:::i;:::-;;1371:48;;;;;;;;;:::i;:::-;;;;;;;;6851:111;;;;;;;;;:::i;11268:1291::-;;;;;;;;;:::i;:::-;;;;;;;;2208:41;;;;;;;;;:::i;358:40::-;;;:::i;7226:279::-;;;;;;;;;:::i;10602:235::-;;;;;;;;;:::i;9313:1088::-;;;;;;;;;:::i;5239:1409::-;;;;;;;;;:::i;3602:171::-;;;;;;;;;:::i;1741:126::-;;;:::i;1234:68::-;;;;;;;;;:::i;:::-;;;;;;;;;253:44;;;;;;;;;;;;;;-1:-1:-1;;;253:44:0;;;;:::o;4251:498::-;4340:4;4362:13;-1:-1:-1;;4390:9:0;:24;4386:226;;;-1:-1:-1;;;4386:226:0;;;4492:108;4517:9;4492:108;;;;;;;;;;;;;;;;;:6;:108::i;:::-;4483:117;;4386:226;4635:10;4624;:22;;;;;;;;;;;-1:-1:-1;;;;;4624:31:0;;;;;;;;;;;:40;;-1:-1:-1;;;;;;4624:40:0;-1:-1:-1;;;;;4624:40:0;;;;;4682:37;;4624:31;;4635:10;4682:37;;;;4624:40;;4682:37;;;;;;;;;;4737:4;4730:11;;;4251:498;;;;;:::o;560:54::-;598:16;560:54;:::o;1492:155::-;1543:104;;;;;;;;;;;;;;1492:155;:::o;7815:814::-;-1:-1:-1;;;;;8016:15:0;;7934:4;8016:15;;;;;;;;;;;7969:10;8016:24;;;;;;;;;;8067:96;;;;;;;;;;;;7969:10;;-1:-1:-1;;;;;8016:24:0;;;;7934:4;;8067:96;;8088:9;;8067:96;;;;;;;:6;:96::i;:::-;8051:112;;8191:3;-1:-1:-1;;;;;8180:14:0;:7;-1:-1:-1;;;;;8180:14:0;;;:48;;;;-1:-1:-1;;;;;;8198:30:0;;;;;8180:48;8176:378;;;8245:19;8267:163;8291:16;8326:6;8267:163;;;;;;;;;;;;;;;;;:5;:163::i;:::-;-1:-1:-1;;;;;8445:15:0;;;:10;:15;;;;;;;;;;;:24;;;;;;;;;;;;;;:39;;-1:-1:-1;;;;;;8445:39:0;-1:-1:-1;;;;;8445:39:0;;;;;8506:36;8445:39;;-1:-1:-1;8445:24:0;;8506:36;;;;8445:39;;8506:36;;;;;;;;;;8176:378;;8566:33;8582:3;8587;8592:6;8566:15;:33::i;:::-;8617:4;8610:11;;;;;7815:814;;;;;;:::o;1957:170::-;2008:119;;;;;;461:35;494:2;461:35;:::o;946:44::-;;;;;;;;;;;;-1:-1:-1;;;;;946:44:0;;:::o;8777:102::-;8839:32;8849:10;8861:9;8839;:32::i;:::-;8777:102;:::o;1371:48::-;;;;;;;;;;;;;;;:::o;6851:111::-;-1:-1:-1;;;;;6937:17:0;6910:7;6937:17;;;:8;:17;;;;;;-1:-1:-1;;;;;6937:17:0;;6851:111::o;11268:1291::-;11377:6;11437:12;11423:11;:26;11401:116;;;;-1:-1:-1;;;11401:116:0;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;11552:23:0;;11530:19;11552:23;;;:14;:23;;;;;;;;11590:17;11586:58;;11631:1;11624:8;;;;;11586:58;-1:-1:-1;;;;;11704:20:0;;;;;;:11;:20;;;;;;;;:38;-1:-1:-1;;11725:16:0;;11704:38;;;;;;;;;:48;;:63;-1:-1:-1;11700:147:0;;-1:-1:-1;;;;;11791:20:0;;;;;;:11;:20;;;;;;;;-1:-1:-1;;11812:16:0;;;;11791:38;;;;;;;;:44;-1:-1:-1;;;11791:44:0;;-1:-1:-1;;;;;11791:44:0;;-1:-1:-1;11784:51:0;;11700:147;-1:-1:-1;;;;;11908:20:0;;;;;;:11;:20;;;;;;;;:23;;;;;;;;:33;:23;:33;:47;-1:-1:-1;11904:88:0;;;11979:1;11972:8;;;;;11904:88;12004:12;-1:-1:-1;;12046:16:0;;12073:428;12088:5;12080:13;;:5;:13;;;12073:428;;;12152:1;12135:13;;;12134:19;;;12126:27;;12195:20;;:::i;:::-;-1:-1:-1;;;;;;12218:20:0;;;;;;:11;:20;;;;;;;;:28;;;;;;;;;;;;;12195:51;;;;;;;;;;;;;;;-1:-1:-1;;;12195:51:0;;;-1:-1:-1;;;;;12195:51:0;;;;;;;;;12265:27;;12261:229;;;12320:8;;;;-1:-1:-1;12313:15:0;;-1:-1:-1;;;;12313:15:0;12261:229;12354:12;;:26;;;-1:-1:-1;12350:140:0;;;12409:6;12401:14;;12350:140;;;12473:1;12464:6;:10;12456:18;;12350:140;12073:428;;;;;-1:-1:-1;;;;;;12518:20:0;;;;;;:11;:20;;;;;;;;:27;;;;;;;;;;:33;-1:-1:-1;;;;;;;;12518:33:0;;;;;-1:-1:-1;;11268:1291:0;;;;:::o;2208:41::-;;;;;;;;;;;;;:::o;358:40::-;;;;;;;;;;;;;;-1:-1:-1;;;358:40:0;;;;:::o;7226:279::-;7294:4;7311:13;7327:97;7348:9;7327:97;;;;;;;;;;;;;;;;;:6;:97::i;:::-;7311:113;;7435:40;7451:10;7463:3;7468:6;7435:15;:40::i;:::-;-1:-1:-1;7493:4:0;;7226:279;-1:-1:-1;;;7226:279:0:o;10602:235::-;-1:-1:-1;;;;;10708:23:0;;10667:6;10708:23;;;:14;:23;;;;;;;;10762:16;:67;;10828:1;10762:67;;;-1:-1:-1;;;;;10781:20:0;;;;;;:11;:20;;;;;;;;-1:-1:-1;;10802:16:0;;10781:38;;;;;;;;;:44;-1:-1:-1;;;10781:44:0;;-1:-1:-1;;;;;10781:44:0;10742:87;10602:235;-1:-1:-1;;;10602:235:0:o;9313:1088::-;9496:23;1543:104;;;;;;;;;;;;;;;;9625:4;;;;;;;;;-1:-1:-1;;;9625:4:0;;;;;;;;9609:22;9650:12;:10;:12::i;:::-;9689:4;9546:163;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;9546:163:0;;;9522:198;;;;;;9496:224;;9731:18;1796:71;;;;;;;;;;;;;;;9776:57;;9808:9;;9819:5;;9826:6;;9776:57;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;9776:57:0;;;9752:92;;;;;;9731:113;;9855:14;9925:15;9942:10;9896:57;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;9896:57:0;;;9872:92;;;;;;9855:109;;9975:17;9995:26;10005:6;10013:1;10016;10019;9995:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;9995:26:0;;-1:-1:-1;;9995:26:0;;;-1:-1:-1;;;;;;;10054:23:0;;10032:112;;;;-1:-1:-1;;;10032:112:0;;;;;;;;;-1:-1:-1;;;;;10186:17:0;;;;;;:6;:17;;;;;:19;;;;;;;;10177:28;;10155:113;;;;-1:-1:-1;;;10155:113:0;;;;;;;;;10294:6;10287:3;:13;;10279:65;;;;-1:-1:-1;;;10279:65:0;;;;;;;;;10362:31;10372:9;10383;10362;:31::i;:::-;10355:38;;;;9313:1088;;;;;;;:::o;5239:1409::-;5445:13;-1:-1:-1;;5473:9:0;:24;5469:176;;;-1:-1:-1;;;5469:176:0;;;5575:58;5582:9;5575:58;;;;;;;;;;;;;;;;;:6;:58::i;:::-;5566:67;;5469:176;5657:23;1543:104;;;;;;;;;;;;;;;;5786:4;;;;;;;;;-1:-1:-1;;;5786:4:0;;;;;;;;5770:22;5811:12;:10;:12::i;:::-;5850:4;5707:163;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;5707:163:0;;;5683:198;;;;;;5657:224;;5892:18;2008:119;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6078:13:0;;;;;;:6;:13;;;;;;;:15;;;;;;;;5937:198;;2008:119;;6000:5;;6024:7;;6050:9;;6078:15;;6112:8;;5937:198;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;5937:198:0;;;5913:233;;;;;;5892:254;;6157:14;6227:15;6244:10;6198:57;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6198:57:0;;;6174:92;;;;;;6157:109;;6277:17;6297:26;6307:6;6315:1;6318;6321;6297:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;6297:26:0;;-1:-1:-1;;6297:26:0;;;-1:-1:-1;;;;;;;6342:23:0;;6334:68;;;;-1:-1:-1;;;6334:68:0;;;;;;;;;6434:5;-1:-1:-1;;;;;6421:18:0;:9;-1:-1:-1;;;;;6421:18:0;;6413:58;;;;-1:-1:-1;;;6413:58:0;;;;;;;;;6497:8;6490:3;:15;;6482:60;;;;-1:-1:-1;;;6482:60:0;;;;;;;;;6584:6;6555:10;:17;6566:5;-1:-1:-1;;;;;6555:17:0;-1:-1:-1;;;;;6555:17:0;;;;;;;;;;;;:26;6573:7;-1:-1:-1;;;;;6555:26:0;-1:-1:-1;;;;;6555:26:0;;;;;;;;;;;;;:35;;;;;-1:-1:-1;;;;;6555:35:0;;;;;-1:-1:-1;;;;;6555:35:0;;;;;;6624:7;-1:-1:-1;;;;;6608:32:0;6617:5;-1:-1:-1;;;;;6608:32:0;;6633:6;6608:32;;;;;;;;;;;;;;;5239:1409;;;;;;;;;;;;:::o;3602:171::-;-1:-1:-1;;;;;3737:19:0;;;3705:7;3737:19;;;;;;;;;;;:28;;;;;;;;;;;;-1:-1:-1;;;;;3737:28:0;;3602:171::o;1741:126::-;1796:71;;;;;;1234:68;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;1234:68:0;;-1:-1:-1;;;;;1234:68:0;;:::o;16039:196::-;16144:6;16187:12;-1:-1:-1;;;16176:9:0;;16168:32;;;;-1:-1:-1;;;16168:32:0;;;;;;;;;;-1:-1:-1;16225:1:0;;16039:196;-1:-1:-1;;16039:196:0:o;16473:199::-;16593:6;16625:1;-1:-1:-1;;;;;16620:6:0;:1;-1:-1:-1;;;;;16620:6:0;;;16628:12;16612:29;;;;;-1:-1:-1;;;16612:29:0;;;;;;;;;;-1:-1:-1;;;16659:5:0;;;16473:199::o;12950:826::-;-1:-1:-1;;;;;13092:17:0;;13070:128;;;;-1:-1:-1;;;13070:128:0;;;;;;;;;-1:-1:-1;;;;;13231:17:0;;13209:126;;;;-1:-1:-1;;;13209:126:0;;;;;;;;;-1:-1:-1;;;;;13384:13:0;;;;;;:8;:13;;;;;;;;;;13364:137;;;;;;;;;;;;;;-1:-1:-1;;;;;13384:13:0;;;;13412:6;;13364:137;;;;;;;:5;:137::i;:::-;-1:-1:-1;;;;;13348:13:0;;;;;;;:8;:13;;;;;;;;:153;;-1:-1:-1;;;;;;13348:153:0;-1:-1:-1;;;;;13348:153:0;;;;;;13548:13;;;;;;;;;;13528:131;;;;;;;;;;;;;;13548:13;;;;;13576:6;;13528:131;;;;;;;;:5;:131::i;:::-;-1:-1:-1;;;;;13512:13:0;;;;;;;:8;:13;;;;;;;:147;;-1:-1:-1;;;;;;13512:147:0;-1:-1:-1;;;;;13512:147:0;;;;;;;;;;;13675:26;;;;;;;;;;13694:6;;13675:26;;;;;;;;;;-1:-1:-1;;;;;13729:14:0;;;;;;;:9;:14;;;;;;;13745;;;;;;;;13714:54;;13729:14;;;;13745;13761:6;13714:14;:54::i;:::-;12950:826;;;:::o;12567:375::-;-1:-1:-1;;;;;12670:20:0;;;12644:23;12670:20;;;:9;:20;;;;;;;;;;;12727:19;;;;;;12757:20;;;;:32;;;-1:-1:-1;;;;;;12757:32:0;;;;;;;12807:54;;12670:20;;;;;-1:-1:-1;;;;;12727:19:0;;;;12757:32;;12670:20;;;12807:54;;12644:23;12807:54;12874:60;12889:15;12906:9;12917:16;12874:14;:60::i;:::-;12567:375;;;;:::o;16680:178::-;16806:9;16680:178;:::o;16243:222::-;16363:6;16393:5;;;16425:12;-1:-1:-1;;;;;16417:6:0;;;;;;;;16409:29;;;;-1:-1:-1;;;16409:29:0;;;;;;;;;;-1:-1:-1;16456:1:0;16243:222;-1:-1:-1;;;;16243:222:0:o;13784:1223::-;13923:6;-1:-1:-1;;;;;13913:16:0;:6;-1:-1:-1;;;;;13913:16:0;;;:30;;;;;13942:1;13933:6;-1:-1:-1;;;;;13933:10:0;;13913:30;13909:1091;;;-1:-1:-1;;;;;13964:20:0;;;13960:507;;-1:-1:-1;;;;;14024:22:0;;14005:16;14024:22;;;:14;:22;;;;;;;;;14084:13;:102;;14185:1;14084:102;;;-1:-1:-1;;;;;14121:19:0;;;;;;:11;:19;;;;;;;;-1:-1:-1;;14141:13:0;;14121:34;;;;;;;;;:40;-1:-1:-1;;;14121:40:0;;-1:-1:-1;;;;;14121:40:0;14084:102;14065:121;;14205:16;14224:151;14252:9;14284:6;14224:151;;;;;;;;;;;;;;;;;:5;:151::i;:::-;14205:170;;14394:57;14411:6;14419:9;14430;14441;14394:16;:57::i;:::-;13960:507;;;;-1:-1:-1;;;;;14487:20:0;;;14483:506;;-1:-1:-1;;;;;14547:22:0;;14528:16;14547:22;;;:14;:22;;;;;;;;;14607:13;:102;;14708:1;14607:102;;;-1:-1:-1;;;;;14644:19:0;;;;;;:11;:19;;;;;;;;-1:-1:-1;;14664:13:0;;14644:34;;;;;;;;;:40;-1:-1:-1;;;14644:40:0;;-1:-1:-1;;;;;14644:40:0;14607:102;14588:121;;14728:16;14747:150;14775:9;14807:6;14747:150;;;;;;;;;;;;;;;;;:5;:150::i;:::-;14728:169;;14916:57;14933:6;14941:9;14952;14963;15015:812;15178:18;15199:114;15220:12;15199:114;;;;;;;;;;;;;;;;;:6;:114::i;:::-;15178:135;;15359:1;15344:12;:16;;;:98;;;;-1:-1:-1;;;;;;15377:22:0;;;;;;:11;:22;;;;;;;;:65;-1:-1:-1;;15400:16:0;;15377:40;;;;;;;;;:50;:65;;;:50;;:65;15344:98;15326:425;;;-1:-1:-1;;;;;15469:22:0;;;;;;:11;:22;;;;;;;;-1:-1:-1;;15492:16:0;;15469:40;;;;;;;;;:57;;-1:-1:-1;;15469:57:0;-1:-1:-1;;;;;;;;15469:57:0;;;;;;15326:425;;;15598:82;;;;;;;;;;;;;;-1:-1:-1;;;;;15598:82:0;;;;;;;;;;-1:-1:-1;;;;;15559:22:0;;-1:-1:-1;15559:22:0;;;:11;:22;;;;;:36;;;;;;;;;;:121;;;;;;;;;-1:-1:-1;;;15559:121:0;-1:-1:-1;;15559:121:0;;;-1:-1:-1;;15559:121:0;;;;;;;;;;;;;;;15695:25;;;15559:121;15695:25;;;;;;;:44;;15559:121;15723:16;;15695:44;;;;;;;;;;;;;15326:425;15789:9;-1:-1:-1;;;;;15768:51:0;;15800:8;15810;15768:51;;;;;;;;;;;;;;;;15015:812;;;;;:::o;15835:196::-;15940:6;15983:12;-1:-1:-1;;;15972:9:0;;15964:32;;;;-1:-1:-1;;;15964:32:0;;;;;;;;;175:16686;;;;;;;;;;-1:-1:-1;175:16686:0;;;;;;;;:::o;5:130:-1:-;72:20;;97:33;72:20;97:33;;142:130;209:20;;234:33;209:20;234:33;;416:128;482:20;;507:32;482:20;507:32;;551:126;616:20;;641:31;616:20;641:31;;684:241;;788:2;776:9;767:7;763:23;759:32;756:2;;;804:1;801;794:12;756:2;839:1;856:53;901:7;881:9;856:53;;;846:63;750:175;-1:-1;;;;750:175;932:366;;;1053:2;1041:9;1032:7;1028:23;1024:32;1021:2;;;1069:1;1066;1059:12;1021:2;1104:1;1121:53;1166:7;1146:9;1121:53;;;1111:63;;1083:97;1211:2;1229:53;1274:7;1265:6;1254:9;1250:22;1229:53;;;1219:63;;1190:98;1015:283;;;;;;1305:491;;;;1443:2;1431:9;1422:7;1418:23;1414:32;1411:2;;;1459:1;1456;1449:12;1411:2;1494:1;1511:53;1556:7;1536:9;1511:53;;;1501:63;;1473:97;1601:2;1619:53;1664:7;1655:6;1644:9;1640:22;1619:53;;;1609:63;;1580:98;1709:2;1727:53;1772:7;1763:6;1752:9;1748:22;1727:53;;;1717:63;;1688:98;1405:391;;;;;;1803:991;;;;;;;;2007:3;1995:9;1986:7;1982:23;1978:33;1975:2;;;2024:1;2021;2014:12;1975:2;2059:1;2076:53;2121:7;2101:9;2076:53;;;2066:63;;2038:97;2166:2;2184:53;2229:7;2220:6;2209:9;2205:22;2184:53;;;2174:63;;2145:98;2274:2;2292:53;2337:7;2328:6;2317:9;2313:22;2292:53;;;2282:63;;2253:98;2382:2;2400:53;2445:7;2436:6;2425:9;2421:22;2400:53;;;2390:63;;2361:98;2490:3;2509:51;2552:7;2543:6;2532:9;2528:22;2509:51;;;2499:61;;2469:97;2597:3;2616:53;2661:7;2652:6;2641:9;2637:22;2616:53;;;2606:63;;2576:99;2706:3;2725:53;2770:7;2761:6;2750:9;2746:22;2725:53;;;2715:63;;2685:99;1969:825;;;;;;;;;;;2801:366;;;2922:2;2910:9;2901:7;2897:23;2893:32;2890:2;;;2938:1;2935;2928:12;2890:2;2973:1;2990:53;3035:7;3015:9;2990:53;;;2980:63;;2952:97;3080:2;3098:53;3143:7;3134:6;3123:9;3119:22;3098:53;;3174:865;;;;;;;3361:3;3349:9;3340:7;3336:23;3332:33;3329:2;;;3378:1;3375;3368:12;3329:2;3413:1;3430:53;3475:7;3455:9;3430:53;;;3420:63;;3392:97;3520:2;3538:53;3583:7;3574:6;3563:9;3559:22;3538:53;;;3528:63;;3499:98;3628:2;3646:53;3691:7;3682:6;3671:9;3667:22;3646:53;;;3636:63;;3607:98;3736:2;3754:51;3797:7;3788:6;3777:9;3773:22;3754:51;;;3744:61;;3715:96;3842:3;3861:53;3906:7;3897:6;3886:9;3882:22;3861:53;;;3851:63;;3821:99;3951:3;3970:53;4015:7;4006:6;3995:9;3991:22;3970:53;;;3960:63;;3930:99;3323:716;;;;;;;;;4046:364;;;4166:2;4154:9;4145:7;4141:23;4137:32;4134:2;;;4182:1;4179;4172:12;4134:2;4217:1;4234:53;4279:7;4259:9;4234:53;;;4224:63;;4196:97;4324:2;4342:52;4386:7;4377:6;4366:9;4362:22;4342:52;;4417:113;4500:24;4518:5;4500:24;;;4495:3;4488:37;4482:48;;;4537:104;4614:21;4629:5;4614:21;;4648:113;4731:24;4749:5;4731:24;;4768:152;4869:45;4889:24;4907:5;4889:24;;;4869:45;;4927:347;;5039:39;5072:5;5039:39;;;5090:71;5154:6;5149:3;5090:71;;;5083:78;;5166:52;5211:6;5206:3;5199:4;5192:5;5188:16;5166:52;;;5239:29;5261:6;5239:29;;;5230:39;;;;5019:255;-1:-1;;;5019:255;5628:377;;5788:67;5852:2;5847:3;5788:67;;;5888:34;5868:55;;-1:-1;;;5952:2;5943:12;;5936:32;5996:2;5987:12;;5774:231;-1:-1;;5774:231;6014:398;;6192:84;6274:1;6269:3;6192:84;;;-1:-1;;;6289:87;;6404:1;6395:11;;6178:234;-1:-1;;6178:234;6421:332;;6581:67;6645:2;6640:3;6581:67;;;6681:34;6661:55;;6744:2;6735:12;;6567:186;-1:-1;;6567:186;6762:376;;6922:67;6986:2;6981:3;6922:67;;;7022:34;7002:55;;-1:-1;;;7086:2;7077:12;;7070:31;7129:2;7120:12;;6908:230;-1:-1;;6908:230;7147:492;;7325:85;7407:2;7402:3;7325:85;;;7443:34;7423:55;;7512:34;7507:2;7498:12;;7491:56;-1:-1;;;7576:2;7567:12;;7560:42;7630:2;7621:12;;7311:328;-1:-1;;7311:328;7648:398;;7808:67;7872:2;7867:3;7808:67;;;7908:34;7888:55;;7977:31;7972:2;7963:12;;7956:53;8037:2;8028:12;;7794:252;-1:-1;;7794:252;8055:477;;8233:85;8315:2;8310:3;8233:85;;;8351:34;8331:55;;8420:34;8415:2;8406:12;;8399:56;-1:-1;;;8484:2;8475:12;;8468:27;8523:2;8514:12;;8219:313;-1:-1;;8219:313;8541:327;;8701:67;8765:2;8760:3;8701:67;;;8801:29;8781:50;;8859:2;8850:12;;8687:181;-1:-1;;8687:181;8877:376;;9037:67;9101:2;9096:3;9037:67;;;9137:34;9117:55;;-1:-1;;;9201:2;9192:12;;9185:31;9244:2;9235:12;;9023:230;-1:-1;;9023:230;9262:431;;9440:85;9522:2;9517:3;9440:85;;;9558:34;9538:55;;9627:28;9622:2;9613:12;;9606:50;9684:2;9675:12;;9426:267;-1:-1;;9426:267;9702:372;;9862:67;9926:2;9921:3;9862:67;;;9962:34;9942:55;;-1:-1;;;10026:2;10017:12;;10010:27;10065:2;10056:12;;9848:226;-1:-1;;9848:226;10083:332;;10243:67;10307:2;10302:3;10243:67;;;10343:34;10323:55;;10406:2;10397:12;;10229:186;-1:-1;;10229:186;10424:396;;10584:67;10648:2;10643:3;10584:67;;;10684:34;10664:55;;10753:29;10748:2;10739:12;;10732:51;10811:2;10802:12;;10570:250;-1:-1;;10570:250;10948:110;11029:23;11046:5;11029:23;;11065:107;11144:22;11160:5;11144:22;;11179:124;11261:36;11291:5;11261:36;;11310:110;11391:23;11408:5;11391:23;;11427:650;;11682:148;11826:3;11682:148;;;11675:155;;11841:75;11912:3;11903:6;11841:75;;;11938:2;11933:3;11929:12;11922:19;;11952:75;12023:3;12014:6;11952:75;;;-1:-1;12049:2;12040:12;;11663:414;-1:-1;;11663:414;12084:372;;12283:148;12427:3;12283:148;;12463:372;;12662:148;12806:3;12662:148;;12842:372;;13041:148;13185:3;13041:148;;13221:213;13339:2;13324:18;;13353:71;13328:9;13397:6;13353:71;;13441:201;13553:2;13538:18;;13567:65;13542:9;13605:6;13567:65;;13649:213;13767:2;13752:18;;13781:71;13756:9;13825:6;13781:71;;13869:771;14127:3;14112:19;;14142:71;14116:9;14186:6;14142:71;;;14224:72;14292:2;14281:9;14277:18;14268:6;14224:72;;;14307;14375:2;14364:9;14360:18;14351:6;14307:72;;;14390;14458:2;14447:9;14443:18;14434:6;14390:72;;;14473:73;14541:3;14530:9;14526:19;14517:6;14473:73;;;14557;14625:3;14614:9;14610:19;14601:6;14557:73;;;14098:542;;;;;;;;;;14647:547;14849:3;14834:19;;14864:71;14838:9;14908:6;14864:71;;;14946:72;15014:2;15003:9;14999:18;14990:6;14946:72;;;15029;15097:2;15086:9;15082:18;15073:6;15029:72;;;15112;15180:2;15169:9;15165:18;15156:6;15112:72;;;14820:374;;;;;;;;15201:547;15403:3;15388:19;;15418:71;15392:9;15462:6;15418:71;;;15500:72;15568:2;15557:9;15553:18;15544:6;15500:72;;;15583;15651:2;15640:9;15636:18;15627:6;15583:72;;;15666;15734:2;15723:9;15719:18;15710:6;15666:72;;15755:539;15953:3;15938:19;;15968:71;15942:9;16012:6;15968:71;;;16050:68;16114:2;16103:9;16099:18;16090:6;16050:68;;16301:293;16435:2;16449:47;;;16420:18;;16510:74;16420:18;16570:6;16510:74;;16909:407;17100:2;17114:47;;;17085:18;;17175:131;17085:18;17175:131;;17323:407;17514:2;17528:47;;;17499:18;;17589:131;17499:18;17589:131;;17737:407;17928:2;17942:47;;;17913:18;;18003:131;17913:18;18003:131;;18151:407;18342:2;18356:47;;;18327:18;;18417:131;18327:18;18417:131;;18565:407;18756:2;18770:47;;;18741:18;;18831:131;18741:18;18831:131;;18979:407;19170:2;19184:47;;;19155:18;;19245:131;19155:18;19245:131;;19393:407;19584:2;19598:47;;;19569:18;;19659:131;19569:18;19659:131;;19807:407;19998:2;20012:47;;;19983:18;;20073:131;19983:18;20073:131;;20221:407;20412:2;20426:47;;;20397:18;;20487:131;20397:18;20487:131;;20855:209;20971:2;20956:18;;20985:69;20960:9;21027:6;20985:69;;21071:316;21213:2;21198:18;;21227:69;21202:9;21269:6;21227:69;;;21307:70;21373:2;21362:9;21358:18;21349:6;21307:70;;21394:205;21508:2;21493:18;;21522:67;21497:9;21562:6;21522:67;;21606:211;21723:2;21708:18;;21737:70;21712:9;21780:6;21737:70;;21824:209;21940:2;21925:18;;21954:69;21929:9;21996:6;21954:69;;22040:320;22184:2;22169:18;;22198:70;22173:9;22241:6;22198:70;;;22279:71;22346:2;22335:9;22331:18;22322:6;22279:71;;22367:118;22451:12;;22422:63;22622:163;22725:19;;;22774:4;22765:14;;22718:67;22794:145;22930:3;22908:31;-1:-1;22908:31;22947:91;;23009:24;23027:5;23009:24;;23045:85;23111:13;23104:21;;23087:43;23137:72;23199:5;23182:27;23216:121;-1:-1;;;;;23278:54;;23261:76;23423:88;23495:10;23484:22;;23467:44;23518:81;23589:4;23578:16;;23561:38;23606:104;-1:-1;;;;;23667:38;;23650:60;23717:106;;23795:23;23812:5;23795:23;;23831:268;23896:1;23903:101;23917:6;23914:1;23911:13;23903:101;;;23984:11;;;23978:18;23965:11;;;23958:39;23939:2;23932:10;23903:101;;;24019:6;24016:1;24013:13;24010:2;;;-1:-1;;24084:1;24066:16;;24059:27;23880:219;24188:97;24276:2;24256:14;-1:-1;;24252:28;;24236:49;24293:117;24362:24;24380:5;24362:24;;;24355:5;24352:35;24342:2;;24401:1;24398;24391:12;24417:117;24486:24;24504:5;24486:24;;24665:115;24733:23;24750:5;24733:23;;24787:113;24854:22;24870:5;24854:22;

bzzr://f69d79e759ae0803fb1e833de9f2df7e21926fa47d7f345652b056850818c5b7