Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract Tad *
•    - function allowance(address account, a ...
•    - function approve(address spender, uin ...
•    - function balanceOf(address account)
•    - function transfer(address dst, uint r ...
•    - function transferFrom(address src, ad ...
•    - function delegate(address delegatee)
•    - function delegateBySig(address delega ...
•    - function getCurrentVotes(address acco ...
•    - function getPriorVotes(address accoun ...
•    - function _delegate(address delegator, ...
•    - function _transferTokens(address src, ...
•    - function _moveDelegates(address srcRe ...
•    - function _writeCheckpoint(address del ...
•    - function safe32(uint n, string memory ...
•    - function safe96(uint n, string memory ...
•    - function add96(uint96 a, uint96 b, st ...
•    - function sub96(uint96 a, uint96 b, st ...
•    - function getChainId()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-10-12
*/

pragma solidity ^0.5.16;
pragma experimental ABIEncoderV2;

contract Tad {
    /// @notice EIP-20 token name for this token
    string public constant name = "Tadpole";

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

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

    /// @notice Total number of tokens in circulation
    uint public totalSupply = 1000000e18; // 1 million TAD

    /// @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 A record of states for signing / validating signatures
    mapping (address => uint) 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, uint previousBalance, uint 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 Comp 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 (uint) {
        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, uint rawAmount) external returns (bool) {
        uint96 amount;
        if (rawAmount == uint(-1)) {
            amount = uint96(-1);
        } else {
            amount = safe96(rawAmount, "Comp::approve: amount exceeds 96 bits");
        }

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

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

    /**
     * @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 (uint) {
        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, uint rawAmount) external returns (bool) {
        uint96 amount = safe96(rawAmount, "Comp::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, uint rawAmount) external returns (bool) {
        address spender = msg.sender;
        uint96 spenderAllowance = allowances[src][spender];
        uint96 amount = safe96(rawAmount, "Comp::approve: amount exceeds 96 bits");

        if (spender != src && spenderAllowance != uint96(-1)) {
            uint96 newAllowance = sub96(spenderAllowance, amount, "Comp::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, uint nonce, uint 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), "Comp::delegateBySig: invalid signature");
        require(nonce == nonces[signatory]++, "Comp::delegateBySig: invalid nonce");
        require(now <= expiry, "Comp::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, uint blockNumber) public view returns (uint96) {
        require(blockNumber < block.number, "Comp::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), "Comp::_transferTokens: cannot transfer from the zero address");
        //require(dst != address(0), "Comp::_transferTokens: cannot transfer to the zero address");

        balances[src] = sub96(balances[src], amount, "Comp::_transferTokens: transfer amount exceeds balance");
        if(dst != address(0)) balances[dst] = add96(balances[dst], amount, "Comp::_transferTokens: transfer amount overflows");
        else totalSupply -= amount;
        
        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, "Comp::_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, "Comp::_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, "Comp::_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(uint n, string memory errorMessage) internal pure returns (uint32) {
        require(n < 2**32, errorMessage);
        return uint32(n);
    }

    function safe96(uint 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 (uint) {
        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":[{"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":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"}]

608060405269d3c21bcecceda10000006000553480156200001f57600080fd5b5060405162002ede38038062002ede83398181016040526200004591908101906200013d565b600054600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6000546040516200011791906200017a565b60405180910390a350620001ef565b6000815190506200013781620001d5565b92915050565b6000602082840312156200015057600080fd5b6000620001608482850162000126565b91505092915050565b6200017481620001cb565b82525050565b600060208201905062000191600083018462000169565b92915050565b6000620001a482620001ab565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b620001e08162000197565b8114620001ec57600080fd5b50565b612cdf80620001ff6000396000f3fe608060405234801561001057600080fd5b50600436106101215760003560e01c806370a08231116100ad578063b4b5ea5711610071578063b4b5ea5714610358578063c3cda52014610388578063dd62ed3e146103a4578063e7a324dc146103d4578063f1127ed8146103f257610121565b806370a082311461027a578063782d6fe1146102aa5780637ecebe00146102da57806395d89b411461030a578063a9059cbb1461032857610121565b806323b872dd116100f457806323b872dd146101b0578063313ce567146101e0578063587cde1e146101fe5780635c19a95c1461022e5780636fcfff451461024a57610121565b806306fdde0314610126578063095ea7b31461014457806318160ddd1461017457806320606b7014610192575b600080fd5b61012e610423565b60405161013b91906127e2565b60405180910390f35b61015e6004803603610159919081019061212f565b61045c565b60405161016b91906126dd565b60405180910390f35b61017c6105ef565b60405161018991906128c6565b60405180910390f35b61019a6105f5565b6040516101a791906126f8565b60405180910390f35b6101ca60048036036101c591908101906120e0565b61060c565b6040516101d791906126dd565b60405180910390f35b6101e86108a0565b6040516101f59190612925565b60405180910390f35b6102186004803603610213919081019061207b565b6108a5565b60405161022591906126c2565b60405180910390f35b6102486004803603610243919081019061207b565b6108d8565b005b610264600480360361025f919081019061207b565b6108e5565b60405161027191906128e1565b60405180910390f35b610294600480360361028f919081019061207b565b610908565b6040516102a191906128c6565b60405180910390f35b6102c460048036036102bf919081019061212f565b610977565b6040516102d1919061295b565b60405180910390f35b6102f460048036036102ef919081019061207b565b610d8a565b60405161030191906128c6565b60405180910390f35b610312610da2565b60405161031f91906127e2565b60405180910390f35b610342600480360361033d919081019061212f565b610ddb565b60405161034f91906126dd565b60405180910390f35b610372600480360361036d919081019061207b565b610e18565b60405161037f919061295b565b60405180910390f35b6103a2600480360361039d919081019061216b565b610f06565b005b6103be60048036036103b991908101906120a4565b6111a9565b6040516103cb91906128c6565b60405180910390f35b6103dc611256565b6040516103e991906126f8565b60405180910390f35b61040c600480360361040791908101906121f4565b61126d565b60405161041a9291906128fc565b60405180910390f35b6040518060400160405280600781526020017f546164706f6c650000000000000000000000000000000000000000000000000081525081565b6000807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8314156104af577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90506104d4565b6104d183604051806060016040528060258152602001612b62602591396112c6565b90505b80600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516105dc9190612940565b60405180910390a3600191505092915050565b60005481565b60405161060190612698565b604051809103902081565b6000803390506000600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905060006106cf85604051806060016040528060258152602001612b62602591396112c6565b90508673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561074957507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6bffffffffffffffffffffffff16826bffffffffffffffffffffffff1614155b1561088757600061077383836040518060600160405280603d8152602001612c39603d9139611324565b905080600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161087d9190612940565b60405180910390a3505b610892878783611395565b600193505050509392505050565b601281565b60036020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6108e2338261175d565b50565b60056020528060005260406000206000915054906101000a900463ffffffff1681565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff169050919050565b60004382106109bb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109b290612866565b60405180910390fd5b6000600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff161415610a28576000915050610d84565b82600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff1611610b2a57600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff16915050610d84565b82600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008063ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff161115610bab576000915050610d84565b600080905060006001830390505b8163ffffffff168163ffffffff161115610d06576000600283830363ffffffff1681610be157fe5b0482039050610bee611fe4565b600460008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff1681526020019081526020016000206040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff1681525050905086816000015163ffffffff161415610cde57806020015195505050505050610d84565b86816000015163ffffffff161015610cf857819350610cff565b6001820392505b5050610bb9565b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff1693505050505b92915050565b60066020528060005260406000206000915090505481565b6040518060400160405280600381526020017f544144000000000000000000000000000000000000000000000000000000000081525081565b600080610e0083604051806060016040528060268152602001612b87602691396112c6565b9050610e0d338583611395565b600191505092915050565b600080600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff1611610e82576000610efe565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b915050919050565b6000604051610f1490612698565b60405180910390206040518060400160405280600781526020017f546164706f6c650000000000000000000000000000000000000000000000000081525080519060200120610f6161191d565b30604051602001610f759493929190612758565b6040516020818303038152906040528051906020012090506000604051610f9b906126ad565b6040518091039020888888604051602001610fb99493929190612713565b60405160208183030381529060405280519060200120905060008282604051602001610fe6929190612661565b604051602081830303815290604052805190602001209050600060018288888860405160008152602001604052604051611023949392919061279d565b6020604051602081039080840390855afa158015611045573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156110c1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110b890612826565b60405180910390fd5b600660008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558914611150576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161114790612886565b60405180910390fd5b87421115611193576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161118a90612846565b60405180910390fd5b61119d818b61175d565b50505050505050505050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff16905092915050565b604051611262906126ad565b604051809103902081565b6004602052816000526040600020602052806000526040600020600091509150508060000160009054906101000a900463ffffffff16908060000160049054906101000a90046bffffffffffffffffffffffff16905082565b60006c010000000000000000000000008310829061131a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113119190612804565b60405180910390fd5b5082905092915050565b6000836bffffffffffffffffffffffff16836bffffffffffffffffffffffff1611158290611388576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161137f9190612804565b60405180910390fd5b5082840390509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611405576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113fc906128a6565b60405180910390fd5b61147f600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff1682604051806060016040528060368152602001612b2c60369139611324565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff160217905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161461160c5761159a600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff1682604051806060016040528060308152602001612c096030913961192a565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff16021790555061162a565b806bffffffffffffffffffffffff1660008082825403925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516116879190612940565b60405180910390a3611758600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836119a0565b505050565b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905082600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f60405160405180910390a46119178284836119a0565b50505050565b6000804690508091505090565b6000808385019050846bffffffffffffffffffffffff16816bffffffffffffffffffffffff1610158390611994576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161198b9190612804565b60405180910390fd5b50809150509392505050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141580156119ea57506000816bffffffffffffffffffffffff16115b15611c9657600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614611b42576000600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611611a8d576000611b09565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000611b308285604051806060016040528060288152602001612be160289139611324565b9050611b3e86848484611c9b565b5050505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614611c95576000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611611be0576000611c5c565b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000611c838285604051806060016040528060278152602001612c766027913961192a565b9050611c9185848484611c9b565b5050505b5b505050565b6000611cbf43604051806060016040528060348152602001612bad60349139611f8e565b905060008463ffffffff16118015611d5457508063ffffffff16600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff16145b15611def5781600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff160217905550611f37565b60405180604001604052808263ffffffff168152602001836bffffffffffffffffffffffff16815250600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008663ffffffff1663ffffffff16815260200190815260200160002060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff16021790555090505060018401600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548163ffffffff021916908363ffffffff1602179055505b8473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248484604051611f7f929190612976565b60405180910390a25050505050565b600064010000000083108290611fda576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611fd19190612804565b60405180910390fd5b5082905092915050565b6040518060400160405280600063ffffffff16815260200160006bffffffffffffffffffffffff1681525090565b60008135905061202181612ab8565b92915050565b60008135905061203681612acf565b92915050565b60008135905061204b81612ae6565b92915050565b60008135905061206081612afd565b92915050565b60008135905061207581612b14565b92915050565b60006020828403121561208d57600080fd5b600061209b84828501612012565b91505092915050565b600080604083850312156120b757600080fd5b60006120c585828601612012565b92505060206120d685828601612012565b9150509250929050565b6000806000606084860312156120f557600080fd5b600061210386828701612012565b935050602061211486828701612012565b92505060406121258682870161203c565b9150509250925092565b6000806040838503121561214257600080fd5b600061215085828601612012565b92505060206121618582860161203c565b9150509250929050565b60008060008060008060c0878903121561218457600080fd5b600061219289828a01612012565b96505060206121a389828a0161203c565b95505060406121b489828a0161203c565b94505060606121c589828a01612066565b93505060806121d689828a01612027565b92505060a06121e789828a01612027565b9150509295509295509295565b6000806040838503121561220757600080fd5b600061221585828601612012565b925050602061222685828601612051565b9150509250929050565b612239816129d1565b82525050565b612248816129e3565b82525050565b612257816129ef565b82525050565b61226e612269826129ef565b612a9d565b82525050565b600061227f826129aa565b61228981856129b5565b9350612299818560208601612a6a565b6122a281612aa7565b840191505092915050565b60006122b88261299f565b6122c281856129b5565b93506122d2818560208601612a6a565b6122db81612aa7565b840191505092915050565b60006122f36026836129b5565b91507f436f6d703a3a64656c656761746542795369673a20696e76616c69642073696760008301527f6e617475726500000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006123596026836129b5565b91507f436f6d703a3a64656c656761746542795369673a207369676e6174757265206560008301527f78706972656400000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006123bf6002836129c6565b91507f19010000000000000000000000000000000000000000000000000000000000006000830152600282019050919050565b60006123ff6027836129b5565b91507f436f6d703a3a6765745072696f72566f7465733a206e6f74207965742064657460008301527f65726d696e6564000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006124656022836129b5565b91507f436f6d703a3a64656c656761746542795369673a20696e76616c6964206e6f6e60008301527f63650000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006124cb6043836129c6565b91507f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353660008301527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208301527f63742900000000000000000000000000000000000000000000000000000000006040830152604382019050919050565b6000612557603c836129b5565b91507f436f6d703a3a5f7472616e73666572546f6b656e733a2063616e6e6f7420747260008301527f616e736665722066726f6d20746865207a65726f2061646472657373000000006020830152604082019050919050565b60006125bd603a836129c6565b91507f44656c65676174696f6e28616464726573732064656c6567617465652c75696e60008301527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020830152603a82019050919050565b61261f81612a19565b82525050565b61262e81612a23565b82525050565b61263d81612a33565b82525050565b61264c81612a58565b82525050565b61265b81612a40565b82525050565b600061266c826123b2565b9150612678828561225d565b602082019150612688828461225d565b6020820191508190509392505050565b60006126a3826124be565b9150819050919050565b60006126b8826125b0565b9150819050919050565b60006020820190506126d76000830184612230565b92915050565b60006020820190506126f2600083018461223f565b92915050565b600060208201905061270d600083018461224e565b92915050565b6000608082019050612728600083018761224e565b6127356020830186612230565b6127426040830185612616565b61274f6060830184612616565b95945050505050565b600060808201905061276d600083018761224e565b61277a602083018661224e565b6127876040830185612616565b6127946060830184612230565b95945050505050565b60006080820190506127b2600083018761224e565b6127bf6020830186612634565b6127cc604083018561224e565b6127d9606083018461224e565b95945050505050565b600060208201905081810360008301526127fc81846122ad565b905092915050565b6000602082019050818103600083015261281e8184612274565b905092915050565b6000602082019050818103600083015261283f816122e6565b9050919050565b6000602082019050818103600083015261285f8161234c565b9050919050565b6000602082019050818103600083015261287f816123f2565b9050919050565b6000602082019050818103600083015261289f81612458565b9050919050565b600060208201905081810360008301526128bf8161254a565b9050919050565b60006020820190506128db6000830184612616565b92915050565b60006020820190506128f66000830184612625565b92915050565b60006040820190506129116000830185612625565b61291e6020830184612652565b9392505050565b600060208201905061293a6000830184612634565b92915050565b60006020820190506129556000830184612643565b92915050565b60006020820190506129706000830184612652565b92915050565b600060408201905061298b6000830185612643565b6129986020830184612643565b9392505050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b600081905092915050565b60006129dc826129f9565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600063ffffffff82169050919050565b600060ff82169050919050565b60006bffffffffffffffffffffffff82169050919050565b6000612a6382612a40565b9050919050565b60005b83811015612a88578082015181840152602081019050612a6d565b83811115612a97576000848401525b50505050565b6000819050919050565b6000601f19601f8301169050919050565b612ac1816129d1565b8114612acc57600080fd5b50565b612ad8816129ef565b8114612ae357600080fd5b50565b612aef81612a19565b8114612afa57600080fd5b50565b612b0681612a23565b8114612b1157600080fd5b50565b612b1d81612a33565b8114612b2857600080fd5b5056fe436f6d703a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e6365436f6d703a3a617070726f76653a20616d6f756e7420657863656564732039362062697473436f6d703a3a7472616e736665723a20616d6f756e7420657863656564732039362062697473436f6d703a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d62657220657863656564732033322062697473436f6d703a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f7773436f6d703a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f7773436f6d703a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e6365436f6d703a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f7773a365627a7a7231582039e38f9ff733f85dea39999fcb995b2806247abcc9f28d01a69bd6bc735c52d06c6578706572696d656e74616cf564736f6c6343000511004000000000000000000000000058305c26337b7ad714e1deb9bb4a94c288b77ec2

0x608060405234801561001057600080fd5b50600436106101215760003560e01c806370a08231116100ad578063b4b5ea5711610071578063b4b5ea5714610358578063c3cda52014610388578063dd62ed3e146103a4578063e7a324dc146103d4578063f1127ed8146103f257610121565b806370a082311461027a578063782d6fe1146102aa5780637ecebe00146102da57806395d89b411461030a578063a9059cbb1461032857610121565b806323b872dd116100f457806323b872dd146101b0578063313ce567146101e0578063587cde1e146101fe5780635c19a95c1461022e5780636fcfff451461024a57610121565b806306fdde0314610126578063095ea7b31461014457806318160ddd1461017457806320606b7014610192575b600080fd5b61012e610423565b60405161013b91906127e2565b60405180910390f35b61015e6004803603610159919081019061212f565b61045c565b60405161016b91906126dd565b60405180910390f35b61017c6105ef565b60405161018991906128c6565b60405180910390f35b61019a6105f5565b6040516101a791906126f8565b60405180910390f35b6101ca60048036036101c591908101906120e0565b61060c565b6040516101d791906126dd565b60405180910390f35b6101e86108a0565b6040516101f59190612925565b60405180910390f35b6102186004803603610213919081019061207b565b6108a5565b60405161022591906126c2565b60405180910390f35b6102486004803603610243919081019061207b565b6108d8565b005b610264600480360361025f919081019061207b565b6108e5565b60405161027191906128e1565b60405180910390f35b610294600480360361028f919081019061207b565b610908565b6040516102a191906128c6565b60405180910390f35b6102c460048036036102bf919081019061212f565b610977565b6040516102d1919061295b565b60405180910390f35b6102f460048036036102ef919081019061207b565b610d8a565b60405161030191906128c6565b60405180910390f35b610312610da2565b60405161031f91906127e2565b60405180910390f35b610342600480360361033d919081019061212f565b610ddb565b60405161034f91906126dd565b60405180910390f35b610372600480360361036d919081019061207b565b610e18565b60405161037f919061295b565b60405180910390f35b6103a2600480360361039d919081019061216b565b610f06565b005b6103be60048036036103b991908101906120a4565b6111a9565b6040516103cb91906128c6565b60405180910390f35b6103dc611256565b6040516103e991906126f8565b60405180910390f35b61040c600480360361040791908101906121f4565b61126d565b60405161041a9291906128fc565b60405180910390f35b6040518060400160405280600781526020017f546164706f6c650000000000000000000000000000000000000000000000000081525081565b6000807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8314156104af577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90506104d4565b6104d183604051806060016040528060258152602001612b62602591396112c6565b90505b80600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516105dc9190612940565b60405180910390a3600191505092915050565b60005481565b60405161060190612698565b604051809103902081565b6000803390506000600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905060006106cf85604051806060016040528060258152602001612b62602591396112c6565b90508673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561074957507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6bffffffffffffffffffffffff16826bffffffffffffffffffffffff1614155b1561088757600061077383836040518060600160405280603d8152602001612c39603d9139611324565b905080600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161087d9190612940565b60405180910390a3505b610892878783611395565b600193505050509392505050565b601281565b60036020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6108e2338261175d565b50565b60056020528060005260406000206000915054906101000a900463ffffffff1681565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff169050919050565b60004382106109bb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109b290612866565b60405180910390fd5b6000600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff161415610a28576000915050610d84565b82600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff1611610b2a57600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff16915050610d84565b82600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008063ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff161115610bab576000915050610d84565b600080905060006001830390505b8163ffffffff168163ffffffff161115610d06576000600283830363ffffffff1681610be157fe5b0482039050610bee611fe4565b600460008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff1681526020019081526020016000206040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff1681525050905086816000015163ffffffff161415610cde57806020015195505050505050610d84565b86816000015163ffffffff161015610cf857819350610cff565b6001820392505b5050610bb9565b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff1693505050505b92915050565b60066020528060005260406000206000915090505481565b6040518060400160405280600381526020017f544144000000000000000000000000000000000000000000000000000000000081525081565b600080610e0083604051806060016040528060268152602001612b87602691396112c6565b9050610e0d338583611395565b600191505092915050565b600080600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff1611610e82576000610efe565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b915050919050565b6000604051610f1490612698565b60405180910390206040518060400160405280600781526020017f546164706f6c650000000000000000000000000000000000000000000000000081525080519060200120610f6161191d565b30604051602001610f759493929190612758565b6040516020818303038152906040528051906020012090506000604051610f9b906126ad565b6040518091039020888888604051602001610fb99493929190612713565b60405160208183030381529060405280519060200120905060008282604051602001610fe6929190612661565b604051602081830303815290604052805190602001209050600060018288888860405160008152602001604052604051611023949392919061279d565b6020604051602081039080840390855afa158015611045573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156110c1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110b890612826565b60405180910390fd5b600660008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558914611150576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161114790612886565b60405180910390fd5b87421115611193576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161118a90612846565b60405180910390fd5b61119d818b61175d565b50505050505050505050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff16905092915050565b604051611262906126ad565b604051809103902081565b6004602052816000526040600020602052806000526040600020600091509150508060000160009054906101000a900463ffffffff16908060000160049054906101000a90046bffffffffffffffffffffffff16905082565b60006c010000000000000000000000008310829061131a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113119190612804565b60405180910390fd5b5082905092915050565b6000836bffffffffffffffffffffffff16836bffffffffffffffffffffffff1611158290611388576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161137f9190612804565b60405180910390fd5b5082840390509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611405576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113fc906128a6565b60405180910390fd5b61147f600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff1682604051806060016040528060368152602001612b2c60369139611324565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff160217905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161461160c5761159a600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff1682604051806060016040528060308152602001612c096030913961192a565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff16021790555061162a565b806bffffffffffffffffffffffff1660008082825403925050819055505b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516116879190612940565b60405180910390a3611758600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836119a0565b505050565b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905082600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f60405160405180910390a46119178284836119a0565b50505050565b6000804690508091505090565b6000808385019050846bffffffffffffffffffffffff16816bffffffffffffffffffffffff1610158390611994576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161198b9190612804565b60405180910390fd5b50809150509392505050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141580156119ea57506000816bffffffffffffffffffffffff16115b15611c9657600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614611b42576000600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611611a8d576000611b09565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000611b308285604051806060016040528060288152602001612be160289139611324565b9050611b3e86848484611c9b565b5050505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614611c95576000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611611be0576000611c5c565b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000611c838285604051806060016040528060278152602001612c766027913961192a565b9050611c9185848484611c9b565b5050505b5b505050565b6000611cbf43604051806060016040528060348152602001612bad60349139611f8e565b905060008463ffffffff16118015611d5457508063ffffffff16600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff16145b15611def5781600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff160217905550611f37565b60405180604001604052808263ffffffff168152602001836bffffffffffffffffffffffff16815250600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008663ffffffff1663ffffffff16815260200190815260200160002060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff16021790555090505060018401600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548163ffffffff021916908363ffffffff1602179055505b8473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248484604051611f7f929190612976565b60405180910390a25050505050565b600064010000000083108290611fda576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611fd19190612804565b60405180910390fd5b5082905092915050565b6040518060400160405280600063ffffffff16815260200160006bffffffffffffffffffffffff1681525090565b60008135905061202181612ab8565b92915050565b60008135905061203681612acf565b92915050565b60008135905061204b81612ae6565b92915050565b60008135905061206081612afd565b92915050565b60008135905061207581612b14565b92915050565b60006020828403121561208d57600080fd5b600061209b84828501612012565b91505092915050565b600080604083850312156120b757600080fd5b60006120c585828601612012565b92505060206120d685828601612012565b9150509250929050565b6000806000606084860312156120f557600080fd5b600061210386828701612012565b935050602061211486828701612012565b92505060406121258682870161203c565b9150509250925092565b6000806040838503121561214257600080fd5b600061215085828601612012565b92505060206121618582860161203c565b9150509250929050565b60008060008060008060c0878903121561218457600080fd5b600061219289828a01612012565b96505060206121a389828a0161203c565b95505060406121b489828a0161203c565b94505060606121c589828a01612066565b93505060806121d689828a01612027565b92505060a06121e789828a01612027565b9150509295509295509295565b6000806040838503121561220757600080fd5b600061221585828601612012565b925050602061222685828601612051565b9150509250929050565b612239816129d1565b82525050565b612248816129e3565b82525050565b612257816129ef565b82525050565b61226e612269826129ef565b612a9d565b82525050565b600061227f826129aa565b61228981856129b5565b9350612299818560208601612a6a565b6122a281612aa7565b840191505092915050565b60006122b88261299f565b6122c281856129b5565b93506122d2818560208601612a6a565b6122db81612aa7565b840191505092915050565b60006122f36026836129b5565b91507f436f6d703a3a64656c656761746542795369673a20696e76616c69642073696760008301527f6e617475726500000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006123596026836129b5565b91507f436f6d703a3a64656c656761746542795369673a207369676e6174757265206560008301527f78706972656400000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006123bf6002836129c6565b91507f19010000000000000000000000000000000000000000000000000000000000006000830152600282019050919050565b60006123ff6027836129b5565b91507f436f6d703a3a6765745072696f72566f7465733a206e6f74207965742064657460008301527f65726d696e6564000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006124656022836129b5565b91507f436f6d703a3a64656c656761746542795369673a20696e76616c6964206e6f6e60008301527f63650000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006124cb6043836129c6565b91507f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353660008301527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208301527f63742900000000000000000000000000000000000000000000000000000000006040830152604382019050919050565b6000612557603c836129b5565b91507f436f6d703a3a5f7472616e73666572546f6b656e733a2063616e6e6f7420747260008301527f616e736665722066726f6d20746865207a65726f2061646472657373000000006020830152604082019050919050565b60006125bd603a836129c6565b91507f44656c65676174696f6e28616464726573732064656c6567617465652c75696e60008301527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020830152603a82019050919050565b61261f81612a19565b82525050565b61262e81612a23565b82525050565b61263d81612a33565b82525050565b61264c81612a58565b82525050565b61265b81612a40565b82525050565b600061266c826123b2565b9150612678828561225d565b602082019150612688828461225d565b6020820191508190509392505050565b60006126a3826124be565b9150819050919050565b60006126b8826125b0565b9150819050919050565b60006020820190506126d76000830184612230565b92915050565b60006020820190506126f2600083018461223f565b92915050565b600060208201905061270d600083018461224e565b92915050565b6000608082019050612728600083018761224e565b6127356020830186612230565b6127426040830185612616565b61274f6060830184612616565b95945050505050565b600060808201905061276d600083018761224e565b61277a602083018661224e565b6127876040830185612616565b6127946060830184612230565b95945050505050565b60006080820190506127b2600083018761224e565b6127bf6020830186612634565b6127cc604083018561224e565b6127d9606083018461224e565b95945050505050565b600060208201905081810360008301526127fc81846122ad565b905092915050565b6000602082019050818103600083015261281e8184612274565b905092915050565b6000602082019050818103600083015261283f816122e6565b9050919050565b6000602082019050818103600083015261285f8161234c565b9050919050565b6000602082019050818103600083015261287f816123f2565b9050919050565b6000602082019050818103600083015261289f81612458565b9050919050565b600060208201905081810360008301526128bf8161254a565b9050919050565b60006020820190506128db6000830184612616565b92915050565b60006020820190506128f66000830184612625565b92915050565b60006040820190506129116000830185612625565b61291e6020830184612652565b9392505050565b600060208201905061293a6000830184612634565b92915050565b60006020820190506129556000830184612643565b92915050565b60006020820190506129706000830184612652565b92915050565b600060408201905061298b6000830185612643565b6129986020830184612643565b9392505050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b600081905092915050565b60006129dc826129f9565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600063ffffffff82169050919050565b600060ff82169050919050565b60006bffffffffffffffffffffffff82169050919050565b6000612a6382612a40565b9050919050565b60005b83811015612a88578082015181840152602081019050612a6d565b83811115612a97576000848401525b50505050565b6000819050919050565b6000601f19601f8301169050919050565b612ac1816129d1565b8114612acc57600080fd5b50565b612ad8816129ef565b8114612ae357600080fd5b50565b612aef81612a19565b8114612afa57600080fd5b50565b612b0681612a23565b8114612b1157600080fd5b50565b612b1d81612a33565b8114612b2857600080fd5b5056fe436f6d703a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e6365436f6d703a3a617070726f76653a20616d6f756e7420657863656564732039362062697473436f6d703a3a7472616e736665723a20616d6f756e7420657863656564732039362062697473436f6d703a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d62657220657863656564732033322062697473436f6d703a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f7773436f6d703a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f7773436f6d703a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e6365436f6d703a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f7773a365627a7a7231582039e38f9ff733f85dea39999fcb995b2806247abcc9f28d01a69bd6bc735c52d06c6578706572696d656e74616cf564736f6c63430005110040

00000000000000000000000058305c26337b7ad714e1deb9bb4a94c288b77ec2

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

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 00000000000000000000000058305c26337b7ad714e1deb9bb4a94c288b77ec2

63:12888:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;63:12888:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;133:39;;;:::i;:::-;;;;;;;;;;;;;;;;3661:419;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;432:36;;;:::i;:::-;;;;;;;;;;;;;;;;1350:122;;;:::i;:::-;;;;;;;;;;;;;;;;5203:672;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;333:35;;;:::i;:::-;;;;;;;;;;;;;;;;800:45;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;6023:102;;;;;;;;;;;;;;;;:::i;:::-;;1228:49;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;4283:108;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;8202:1218;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1764:39;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;233:37;;;:::i;:::-;;;;;;;;;;;;;;;;4655:238;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;7549:222;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;6559:789;;;;;;;;;;;;;;;;:::i;:::-;;3047:136;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1566:117;;;:::i;:::-;;;;;;;;;;;;;;;;1089:70;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;133:39;;;;;;;;;;;;;;;;;;;:::o;3661:419::-;3729:4;3746:13;3792:2;3774:9;:21;3770:173;;;3828:2;3812:19;;3770:173;;;3873:58;3880:9;3873:58;;;;;;;;;;;;;;;;;:6;:58::i;:::-;3864:67;;3770:173;3989:6;3955:10;:22;3966:10;3955:22;;;;;;;;;;;;;;;:31;3978:7;3955:31;;;;;;;;;;;;;;;;:40;;;;;;;;;;;;;;;;;;4034:7;4013:37;;4022:10;4013:37;;;4043:6;4013:37;;;;;;;;;;;;;;;4068:4;4061:11;;;3661:419;;;;:::o;432:36::-;;;;:::o;1350:122::-;1392:80;;;;;;;;;;;;;;1350:122;:::o;5203:672::-;5285:4;5302:15;5320:10;5302:28;;5341:23;5367:10;:15;5378:3;5367:15;;;;;;;;;;;;;;;:24;5383:7;5367:24;;;;;;;;;;;;;;;;;;;;;;;;;5341:50;;5402:13;5418:58;5425:9;5418:58;;;;;;;;;;;;;;;;;:6;:58::i;:::-;5402:74;;5504:3;5493:14;;:7;:14;;;;:48;;;;;5538:2;5511:30;;:16;:30;;;;5493:48;5489:311;;;5558:19;5580:96;5586:16;5604:6;5580:96;;;;;;;;;;;;;;;;;:5;:96::i;:::-;5558:118;;5718:12;5691:10;:15;5702:3;5691:15;;;;;;;;;;;;;;;:24;5707:7;5691:24;;;;;;;;;;;;;;;;:39;;;;;;;;;;;;;;;;;;5766:7;5752:36;;5761:3;5752:36;;;5775:12;5752:36;;;;;;;;;;;;;;;5489:311;;5812:33;5828:3;5833;5838:6;5812:15;:33::i;:::-;5863:4;5856:11;;;;;5203:672;;;;;:::o;333:35::-;366:2;333:35;:::o;800:45::-;;;;;;;;;;;;;;;;;;;;;;:::o;6023:102::-;6085:32;6095:10;6107:9;6085;:32::i;:::-;6023:102;:::o;1228:49::-;;;;;;;;;;;;;;;;;;;;;;:::o;4283:108::-;4342:4;4366:8;:17;4375:7;4366:17;;;;;;;;;;;;;;;;;;;;;;;;;4359:24;;;;4283:108;;;:::o;8202:1218::-;8281:6;8322:12;8308:11;:26;8300:78;;;;;;;;;;;;;;;;;;;;;;8391:19;8413:14;:23;8428:7;8413:23;;;;;;;;;;;;;;;;;;;;;;;;;8391:45;;8467:1;8451:12;:17;;;8447:58;;;8492:1;8485:8;;;;;8447:58;8617:11;8565;:20;8577:7;8565:20;;;;;;;;;;;;;;;:38;8601:1;8586:12;:16;8565:38;;;;;;;;;;;;;;;:48;;;;;;;;;;;;:63;;;8561:147;;8652:11;:20;8664:7;8652:20;;;;;;;;;;;;;;;:38;8688:1;8673:12;:16;8652:38;;;;;;;;;;;;;;;:44;;;;;;;;;;;;8645:51;;;;;8561:147;8805:11;8769;:20;8781:7;8769:20;;;;;;;;;;;;;;;:23;8790:1;8769:23;;;;;;;;;;;;;:33;;;;;;;;;;;;:47;;;8765:88;;;8840:1;8833:8;;;;;8765:88;8865:12;8880:1;8865:16;;8892:12;8922:1;8907:12;:16;8892:31;;8934:428;8949:5;8941:13;;:5;:13;;;8934:428;;;8971:13;9013:1;9004:5;8996;:13;8995:19;;;;;;;;8987:5;:27;8971:43;;9056:20;;:::i;:::-;9079:11;:20;9091:7;9079:20;;;;;;;;;;;;;;;:28;9100:6;9079:28;;;;;;;;;;;;;;;9056:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9142:11;9126:2;:12;;;:27;;;9122:229;;;9181:2;:8;;;9174:15;;;;;;;;;9122:229;9230:11;9215:2;:12;;;:26;;;9211:140;;;9270:6;9262:14;;9211:140;;;9334:1;9325:6;:10;9317:18;;9211:140;8934:428;;;;;9379:11;:20;9391:7;9379:20;;;;;;;;;;;;;;;:27;9400:5;9379:27;;;;;;;;;;;;;;;:33;;;;;;;;;;;;9372:40;;;;;8202:1218;;;;;:::o;1764:39::-;;;;;;;;;;;;;;;;;:::o;233:37::-;;;;;;;;;;;;;;;;;;;:::o;4655:238::-;4720:4;4737:13;4753:59;4760:9;4753:59;;;;;;;;;;;;;;;;;:6;:59::i;:::-;4737:75;;4823:40;4839:10;4851:3;4856:6;4823:15;:40::i;:::-;4881:4;4874:11;;;4655:238;;;;:::o;7549:222::-;7614:6;7633:19;7655:14;:23;7670:7;7655:23;;;;;;;;;;;;;;;;;;;;;;;;;7633:45;;7711:1;7696:12;:16;;;:67;;7762:1;7696:67;;;7715:11;:20;7727:7;7715:20;;;;;;;;;;;;;;;:38;7751:1;7736:12;:16;7715:38;;;;;;;;;;;;;;;:44;;;;;;;;;;;;7696:67;7689:74;;;7549:222;;;:::o;6559:789::-;6675:23;1392:80;;;;;;;;;;;;;;6755:4;;;;;;;;;;;;;;;;;6739:22;;;;;;6763:12;:10;:12::i;:::-;6785:4;6711:80;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6711:80:0;;;6701:91;;;;;;6675:117;;6803:18;1612:71;;;;;;;;;;;;;;6866:9;6877:5;6884:6;6834:57;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6834:57:0;;;6824:68;;;;;;6803:89;;6903:14;6959:15;6976:10;6930:57;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6930:57:0;;;6920:68;;;;;;6903:85;;6999:17;7019:26;7029:6;7037:1;7040;7043;7019:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7019:26:0;;;;;;;;6999:46;;7085:1;7064:23;;:9;:23;;;;7056:74;;;;;;;;;;;;;;;;;;;;;;7158:6;:17;7165:9;7158:17;;;;;;;;;;;;;;;;:19;;;;;;;;;;;;7149:5;:28;7141:75;;;;;;;;;;;;;;;;;;;;;;7242:6;7235:3;:13;;7227:64;;;;;;;;;;;;;;;;;;;;;;7309:31;7319:9;7330;7309;:31::i;:::-;7302:38;;;;6559:789;;;;;;:::o;3047:136::-;3123:4;3147:10;:19;3158:7;3147:19;;;;;;;;;;;;;;;:28;3167:7;3147:28;;;;;;;;;;;;;;;;;;;;;;;;;3140:35;;;;3047:136;;;;:::o;1566:117::-;1612:71;;;;;;;;;;;;;;1566:117;:::o;1089:70::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;12257:161::-;12332:6;12363:5;12359:1;:9;12370:12;12351:32;;;;;;;;;;;;;;;;;;;;;;;;;12408:1;12394:16;;12257:161;;;;:::o;12622:165::-;12708:6;12740:1;12735:6;;:1;:6;;;;12743:12;12727:29;;;;;;;;;;;;;;;;;;;;;;;;;12778:1;12774;:5;12767:12;;12622:165;;;;;:::o;9811:685::-;9920:1;9905:17;;:3;:17;;;;9897:90;;;;;;;;;;;;;;;;;;;;;;10117:86;10123:8;:13;10132:3;10123:13;;;;;;;;;;;;;;;;;;;;;;;;;10138:6;10117:86;;;;;;;;;;;;;;;;;:5;:86::i;:::-;10101:8;:13;10110:3;10101:13;;;;;;;;;;;;;;;;:102;;;;;;;;;;;;;;;;;;10232:1;10217:17;;:3;:17;;;10214:155;;10252:80;10258:8;:13;10267:3;10258:13;;;;;;;;;;;;;;;;;;;;;;;;;10273:6;10252:80;;;;;;;;;;;;;;;;;:5;:80::i;:::-;10236:8;:13;10245:3;10236:13;;;;;;;;;;;;;;;;:96;;;;;;;;;;;;;;;;;;10214:155;;;10363:6;10348:21;;:11;;:21;;;;;;;;;;;10214:155;10409:3;10395:26;;10404:3;10395:26;;;10414:6;10395:26;;;;;;;;;;;;;;;10434:54;10449:9;:14;10459:3;10449:14;;;;;;;;;;;;;;;;;;;;;;;;;10465:9;:14;10475:3;10465:14;;;;;;;;;;;;;;;;;;;;;;;;;10481:6;10434:14;:54::i;:::-;9811:685;;;:::o;9428:375::-;9505:23;9531:9;:20;9541:9;9531:20;;;;;;;;;;;;;;;;;;;;;;;;;9505:46;;9562:23;9588:8;:19;9597:9;9588:19;;;;;;;;;;;;;;;;;;;;;;;;;9562:45;;9641:9;9618;:20;9628:9;9618:20;;;;;;;;;;;;;;;;:32;;;;;;;;;;;;;;;;;;9712:9;9668:54;;9695:15;9668:54;;9684:9;9668:54;;;;;;;;;;;;9735:60;9750:15;9767:9;9778:16;9735:14;:60::i;:::-;9428:375;;;;:::o;12795:153::-;12840:4;12857:15;12905:9;12894:20;;12933:7;12926:14;;;12795:153;:::o;12426:188::-;12512:6;12531:8;12546:1;12542;:5;12531:16;;12571:1;12566:6;;:1;:6;;;;12574:12;12558:29;;;;;;;;;;;;;;;;;;;;;;;;;12605:1;12598:8;;;12426:188;;;;;:::o;10504:939::-;10609:6;10599:16;;:6;:16;;;;:30;;;;;10628:1;10619:6;:10;;;10599:30;10595:841;;;10668:1;10650:20;;:6;:20;;;10646:382;;10691:16;10710:14;:22;10725:6;10710:22;;;;;;;;;;;;;;;;;;;;;;;;;10691:41;;10751:16;10782:1;10770:9;:13;;;:60;;10829:1;10770:60;;;10786:11;:19;10798:6;10786:19;;;;;;;;;;;;;;;:34;10818:1;10806:9;:13;10786:34;;;;;;;;;;;;;;;:40;;;;;;;;;;;;10770:60;10751:79;;10849:16;10868:68;10874:9;10885:6;10868:68;;;;;;;;;;;;;;;;;:5;:68::i;:::-;10849:87;;10955:57;10972:6;10980:9;10991;11002;10955:16;:57::i;:::-;10646:382;;;;11066:1;11048:20;;:6;:20;;;11044:381;;11089:16;11108:14;:22;11123:6;11108:22;;;;;;;;;;;;;;;;;;;;;;;;;11089:41;;11149:16;11180:1;11168:9;:13;;;:60;;11227:1;11168:60;;;11184:11;:19;11196:6;11184:19;;;;;;;;;;;;;;;:34;11216:1;11204:9;:13;11184:34;;;;;;;;;;;;;;;:40;;;;;;;;;;;;11168:60;11149:79;;11247:16;11266:67;11272:9;11283:6;11266:67;;;;;;;;;;;;;;;;;:5;:67::i;:::-;11247:86;;11352:57;11369:6;11377:9;11388;11399;11352:16;:57::i;:::-;11044:381;;;;10595:841;10504:939;;;:::o;11451:629::-;11569:18;11590:76;11597:12;11590:76;;;;;;;;;;;;;;;;;:6;:76::i;:::-;11569:97;;11696:1;11681:12;:16;;;:85;;;;;11755:11;11701:65;;:11;:22;11713:9;11701:22;;;;;;;;;;;;;;;:40;11739:1;11724:12;:16;11701:40;;;;;;;;;;;;;;;:50;;;;;;;;;;;;:65;;;11681:85;11677:329;;;11830:8;11781:11;:22;11793:9;11781:22;;;;;;;;;;;;;;;:40;11819:1;11804:12;:16;11781:40;;;;;;;;;;;;;;;:46;;;:57;;;;;;;;;;;;;;;;;;11677:329;;;11906:33;;;;;;;;11917:11;11906:33;;;;;;11930:8;11906:33;;;;;11867:11;:22;11879:9;11867:22;;;;;;;;;;;;;;;:36;11890:12;11867:36;;;;;;;;;;;;;;;:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11995:1;11980:12;:16;11952:14;:25;11967:9;11952:25;;;;;;;;;;;;;;;;:44;;;;;;;;;;;;;;;;;;11677:329;12042:9;12021:51;;;12053:8;12063;12021:51;;;;;;;;;;;;;;;;11451:629;;;;;:::o;12088:161::-;12163:6;12194:5;12190:1;:9;12201:12;12182:32;;;;;;;;;;;;;;;;;;;;;;;;;12239:1;12225:16;;12088:161;;;;:::o;63:12888::-;;;;;;;;;;;;;;;;;;;;;;;:::o;5:130:-1:-;;85:6;72:20;63:29;;97:33;124:5;97:33;;;57:78;;;;;142:130;;222:6;209:20;200:29;;234:33;261:5;234:33;;;194:78;;;;;279:130;;359:6;346:20;337:29;;371:33;398:5;371:33;;;331:78;;;;;416:128;;495:6;482:20;473:29;;507:32;533:5;507:32;;;467:77;;;;;551:126;;629:6;616:20;607:29;;641:31;666:5;641:31;;;601:76;;;;;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;892:6;881:9;877:22;856:53;;;846:63;;818:97;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;1157:6;1146:9;1142:22;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;1547:6;1536:9;1532:22;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:366;;;1924:2;1912:9;1903:7;1899:23;1895:32;1892:2;;;1940:1;1937;1930:12;1892:2;1975:1;1992:53;2037:7;2028:6;2017:9;2013:22;1992:53;;;1982:63;;1954:97;2082:2;2100:53;2145:7;2136:6;2125:9;2121:22;2100:53;;;2090:63;;2061:98;1886:283;;;;;;2176:865;;;;;;;2363:3;2351:9;2342:7;2338:23;2334:33;2331:2;;;2380:1;2377;2370:12;2331:2;2415:1;2432:53;2477:7;2468:6;2457:9;2453:22;2432:53;;;2422:63;;2394:97;2522:2;2540:53;2585:7;2576:6;2565:9;2561:22;2540:53;;;2530:63;;2501:98;2630:2;2648:53;2693:7;2684:6;2673:9;2669:22;2648:53;;;2638:63;;2609:98;2738:2;2756:51;2799:7;2790:6;2779:9;2775:22;2756:51;;;2746:61;;2717:96;2844:3;2863:53;2908:7;2899:6;2888:9;2884:22;2863:53;;;2853:63;;2823:99;2953:3;2972:53;3017:7;3008:6;2997:9;2993:22;2972:53;;;2962:63;;2932:99;2325:716;;;;;;;;;3048:364;;;3168:2;3156:9;3147:7;3143:23;3139:32;3136:2;;;3184:1;3181;3174:12;3136:2;3219:1;3236:53;3281:7;3272:6;3261:9;3257:22;3236:53;;;3226:63;;3198:97;3326:2;3344:52;3388:7;3379:6;3368:9;3364:22;3344:52;;;3334:62;;3305:97;3130:282;;;;;;3419:113;3502:24;3520:5;3502:24;;;3497:3;3490:37;3484:48;;;3539:104;3616:21;3631:5;3616:21;;;3611:3;3604:34;3598:45;;;3650:113;3733:24;3751:5;3733:24;;;3728:3;3721:37;3715:48;;;3770:152;3871:45;3891:24;3909:5;3891:24;;;3871:45;;;3866:3;3859:58;3853:69;;;3929:347;;4041:39;4074:5;4041:39;;;4092:71;4156:6;4151:3;4092:71;;;4085:78;;4168:52;4213:6;4208:3;4201:4;4194:5;4190:16;4168:52;;;4241:29;4263:6;4241:29;;;4236:3;4232:39;4225:46;;4021:255;;;;;;4283:339;;4391:35;4420:5;4391:35;;;4438:71;4502:6;4497:3;4438:71;;;4431:78;;4514:52;4559:6;4554:3;4547:4;4540:5;4536:16;4514:52;;;4587:29;4609:6;4587:29;;;4582:3;4578:39;4571:46;;4371:251;;;;;;4630:375;;4790:67;4854:2;4849:3;4790:67;;;4783:74;;4890:34;4886:1;4881:3;4877:11;4870:55;4959:8;4954:2;4949:3;4945:12;4938:30;4996:2;4991:3;4987:12;4980:19;;4776:229;;;;5014:375;;5174:67;5238:2;5233:3;5174:67;;;5167:74;;5274:34;5270:1;5265:3;5261:11;5254:55;5343:8;5338:2;5333:3;5329:12;5322:30;5380:2;5375:3;5371:12;5364:19;;5160:229;;;;5398:398;;5576:84;5658:1;5653:3;5576:84;;;5569:91;;5693:66;5689:1;5684:3;5680:11;5673:87;5788:1;5783:3;5779:11;5772:18;;5562:234;;;;5805:376;;5965:67;6029:2;6024:3;5965:67;;;5958:74;;6065:34;6061:1;6056:3;6052:11;6045:55;6134:9;6129:2;6124:3;6120:12;6113:31;6172:2;6167:3;6163:12;6156:19;;5951:230;;;;6190:371;;6350:67;6414:2;6409:3;6350:67;;;6343:74;;6450:34;6446:1;6441:3;6437:11;6430:55;6519:4;6514:2;6509:3;6505:12;6498:26;6552:2;6547:3;6543:12;6536:19;;6336:225;;;;6570:477;;6748:85;6830:2;6825:3;6748:85;;;6741:92;;6866:34;6862:1;6857:3;6853:11;6846:55;6935:34;6930:2;6925:3;6921:12;6914:56;7004:5;6999:2;6994:3;6990:12;6983:27;7038:2;7033:3;7029:12;7022:19;;6734:313;;;;7056:397;;7216:67;7280:2;7275:3;7216:67;;;7209:74;;7316:34;7312:1;7307:3;7303:11;7296:55;7385:30;7380:2;7375:3;7371:12;7364:52;7444:2;7439:3;7435:12;7428:19;;7202:251;;;;7462:431;;7640:85;7722:2;7717:3;7640:85;;;7633:92;;7758:34;7754:1;7749:3;7745:11;7738:55;7827:28;7822:2;7817:3;7813:12;7806:50;7884:2;7879:3;7875:12;7868:19;;7626:267;;;;7901:113;7984:24;8002:5;7984:24;;;7979:3;7972:37;7966:48;;;8021:110;8102:23;8119:5;8102:23;;;8097:3;8090:36;8084:47;;;8138:107;8217:22;8233:5;8217:22;;;8212:3;8205:35;8199:46;;;8252:124;8334:36;8364:5;8334:36;;;8329:3;8322:49;8316:60;;;8383:110;8464:23;8481:5;8464:23;;;8459:3;8452:36;8446:47;;;8500:650;;8755:148;8899:3;8755:148;;;8748:155;;8914:75;8985:3;8976:6;8914:75;;;9011:2;9006:3;9002:12;8995:19;;9025:75;9096:3;9087:6;9025:75;;;9122:2;9117:3;9113:12;9106:19;;9142:3;9135:10;;8736:414;;;;;;9157:372;;9356:148;9500:3;9356:148;;;9349:155;;9521:3;9514:10;;9337:192;;;;9536:372;;9735:148;9879:3;9735:148;;;9728:155;;9900:3;9893:10;;9716:192;;;;9915:213;;10033:2;10022:9;10018:18;10010:26;;10047:71;10115:1;10104:9;10100:17;10091:6;10047:71;;;10004:124;;;;;10135:201;;10247:2;10236:9;10232:18;10224:26;;10261:65;10323:1;10312:9;10308:17;10299:6;10261:65;;;10218:118;;;;;10343:213;;10461:2;10450:9;10446:18;10438:26;;10475:71;10543:1;10532:9;10528:17;10519:6;10475:71;;;10432:124;;;;;10563:547;;10765:3;10754:9;10750:19;10742:27;;10780:71;10848:1;10837:9;10833:17;10824:6;10780:71;;;10862:72;10930:2;10919:9;10915:18;10906:6;10862:72;;;10945;11013:2;11002:9;10998:18;10989:6;10945:72;;;11028;11096:2;11085:9;11081:18;11072:6;11028:72;;;10736:374;;;;;;;;11117:547;;11319:3;11308:9;11304:19;11296:27;;11334:71;11402:1;11391:9;11387:17;11378:6;11334:71;;;11416:72;11484:2;11473:9;11469:18;11460:6;11416:72;;;11499;11567:2;11556:9;11552:18;11543:6;11499:72;;;11582;11650:2;11639:9;11635:18;11626:6;11582:72;;;11290:374;;;;;;;;11671:539;;11869:3;11858:9;11854:19;11846:27;;11884:71;11952:1;11941:9;11937:17;11928:6;11884:71;;;11966:68;12030:2;12019:9;12015:18;12006:6;11966:68;;;12045:72;12113:2;12102:9;12098:18;12089:6;12045:72;;;12128;12196:2;12185:9;12181:18;12172:6;12128:72;;;11840:370;;;;;;;;12217:293;;12351:2;12340:9;12336:18;12328:26;;12401:9;12395:4;12391:20;12387:1;12376:9;12372:17;12365:47;12426:74;12495:4;12486:6;12426:74;;;12418:82;;12322:188;;;;;12517:301;;12655:2;12644:9;12640:18;12632:26;;12705:9;12699:4;12695:20;12691:1;12680:9;12676:17;12669:47;12730:78;12803:4;12794:6;12730:78;;;12722:86;;12626:192;;;;;12825:407;;13016:2;13005:9;13001:18;12993:26;;13066:9;13060:4;13056:20;13052:1;13041:9;13037:17;13030:47;13091:131;13217:4;13091:131;;;13083:139;;12987:245;;;;13239:407;;13430:2;13419:9;13415:18;13407:26;;13480:9;13474:4;13470:20;13466:1;13455:9;13451:17;13444:47;13505:131;13631:4;13505:131;;;13497:139;;13401:245;;;;13653:407;;13844:2;13833:9;13829:18;13821:26;;13894:9;13888:4;13884:20;13880:1;13869:9;13865:17;13858:47;13919:131;14045:4;13919:131;;;13911:139;;13815:245;;;;14067:407;;14258:2;14247:9;14243:18;14235:26;;14308:9;14302:4;14298:20;14294:1;14283:9;14279:17;14272:47;14333:131;14459:4;14333:131;;;14325:139;;14229:245;;;;14481:407;;14672:2;14661:9;14657:18;14649:26;;14722:9;14716:4;14712:20;14708:1;14697:9;14693:17;14686:47;14747:131;14873:4;14747:131;;;14739:139;;14643:245;;;;14895:213;;15013:2;15002:9;14998:18;14990:26;;15027:71;15095:1;15084:9;15080:17;15071:6;15027:71;;;14984:124;;;;;15115:209;;15231:2;15220:9;15216:18;15208:26;;15245:69;15311:1;15300:9;15296:17;15287:6;15245:69;;;15202:122;;;;;15331:316;;15473:2;15462:9;15458:18;15450:26;;15487:69;15553:1;15542:9;15538:17;15529:6;15487:69;;;15567:70;15633:2;15622:9;15618:18;15609:6;15567:70;;;15444:203;;;;;;15654:205;;15768:2;15757:9;15753:18;15745:26;;15782:67;15846:1;15835:9;15831:17;15822:6;15782:67;;;15739:120;;;;;15866:211;;15983:2;15972:9;15968:18;15960:26;;15997:70;16064:1;16053:9;16049:17;16040:6;15997:70;;;15954:123;;;;;16084:209;;16200:2;16189:9;16185:18;16177:26;;16214:69;16280:1;16269:9;16265:17;16256:6;16214:69;;;16171:122;;;;;16300:320;;16444:2;16433:9;16429:18;16421:26;;16458:70;16525:1;16514:9;16510:17;16501:6;16458:70;;;16539:71;16606:2;16595:9;16591:18;16582:6;16539:71;;;16415:205;;;;;;16627:118;;16717:5;16711:12;16701:22;;16682:63;;;;16752:122;;16846:5;16840:12;16830:22;;16811:63;;;;16882:163;;16997:6;16992:3;16985:19;17034:4;17029:3;17025:14;17010:29;;16978:67;;;;;17054:145;;17190:3;17175:18;;17168:31;;;;;17207:91;;17269:24;17287:5;17269:24;;;17258:35;;17252:46;;;;17305:85;;17378:5;17371:13;17364:21;17353:32;;17347:43;;;;17397:72;;17459:5;17448:16;;17442:27;;;;17476:121;;17549:42;17542:5;17538:54;17527:65;;17521:76;;;;17604:72;;17666:5;17655:16;;17649:27;;;;17683:88;;17755:10;17748:5;17744:22;17733:33;;17727:44;;;;17778:81;;17849:4;17842:5;17838:16;17827:27;;17821:38;;;;17866:104;;17938:26;17931:5;17927:38;17916:49;;17910:60;;;;17977:106;;18055:23;18072:5;18055:23;;;18042:36;;18036:47;;;;18091:268;18156:1;18163:101;18177:6;18174:1;18171:13;18163:101;;;18253:1;18248:3;18244:11;18238:18;18234:1;18229:3;18225:11;18218:39;18199:2;18196:1;18192:10;18187:15;;18163:101;;;18279:6;18276:1;18273:13;18270:2;;;18344:1;18335:6;18330:3;18326:16;18319:27;18270:2;18140:219;;;;;18367:74;;18431:5;18420:16;;18414:27;;;;18448:97;;18536:2;18532:7;18527:2;18520:5;18516:14;18512:28;18502:38;;18496:49;;;;18553:117;18622:24;18640:5;18622:24;;;18615:5;18612:35;18602:2;;18661:1;18658;18651:12;18602:2;18596:74;;18677:117;18746:24;18764:5;18746:24;;;18739:5;18736:35;18726:2;;18785:1;18782;18775:12;18726:2;18720:74;;18801:117;18870:24;18888:5;18870:24;;;18863:5;18860:35;18850:2;;18909:1;18906;18899:12;18850:2;18844:74;;18925:115;18993:23;19010:5;18993:23;;;18986:5;18983:34;18973:2;;19031:1;19028;19021:12;18973:2;18967:73;;19047:113;19114:22;19130:5;19114:22;;;19107:5;19104:33;19094:2;;19151:1;19148;19141:12;19094:2;19088:72;

bzzr://39e38f9ff733f85dea39999fcb995b2806247abcc9f28d01a69bd6bc735c52d0