Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-11-02
*/

pragma solidity ^0.5.16;
pragma experimental ABIEncoderV2;

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

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

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

    /// @notice Total number of tokens in circulation
    uint public constant totalSupply = 2000000000e18; // 2 billion MUSIC

    /// @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 that's emitted when an account changes its delegate
    event DelegateChanged(address indexed delegator, address indexed fromDelegate, address indexed toDelegate);

    /// @notice An event that's 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 Music 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, "Music::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, "Music::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, "Music::approve: amount exceeds 96 bits");

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

        balances[src] = sub96(balances[src], amount, "Music::_transferTokens: transfer amount exceeds balance");
        balances[dst] = add96(balances[dst], amount, "Music::_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, "Music::_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, "Music::_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, "Music::_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"}]

60806040523480156200001157600080fd5b5060405162002f9138038062002f91833981810160405262000037919081019062000143565b6b06765c793fa10079d0000000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6b06765c793fa10079d00000006040516200011d919062000180565b60405180910390a350620001f5565b6000815190506200013d81620001db565b92915050565b6000602082840312156200015657600080fd5b600062000166848285016200012c565b91505092915050565b6200017a81620001d1565b82525050565b60006020820190506200019760008301846200016f565b92915050565b6000620001aa82620001b1565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b620001e6816200019d565b8114620001f257600080fd5b50565b612d8c80620002056000396000f3fe608060405234801561001057600080fd5b50600436106101215760003560e01c806370a08231116100ad578063b4b5ea5711610071578063b4b5ea5714610358578063c3cda52014610388578063dd62ed3e146103a4578063e7a324dc146103d4578063f1127ed8146103f257610121565b806370a082311461027a578063782d6fe1146102aa5780637ecebe00146102da57806395d89b411461030a578063a9059cbb1461032857610121565b806323b872dd116100f457806323b872dd146101b0578063313ce567146101e0578063587cde1e146101fe5780635c19a95c1461022e5780636fcfff451461024a57610121565b806306fdde0314610126578063095ea7b31461014457806318160ddd1461017457806320606b7014610192575b600080fd5b61012e610423565b60405161013b9190612867565b60405180910390f35b61015e6004803603610159919081019061214e565b61045c565b60405161016b9190612762565b60405180910390f35b61017c6105ee565b604051610189919061296b565b60405180910390f35b61019a6105fe565b6040516101a7919061277d565b60405180910390f35b6101ca60048036036101c591908101906120ff565b610615565b6040516101d79190612762565b60405180910390f35b6101e86108a7565b6040516101f591906129ca565b60405180910390f35b6102186004803603610213919081019061209a565b6108ac565b6040516102259190612747565b60405180910390f35b6102486004803603610243919081019061209a565b6108df565b005b610264600480360361025f919081019061209a565b6108ec565b6040516102719190612986565b60405180910390f35b610294600480360361028f919081019061209a565b61090f565b6040516102a1919061296b565b60405180910390f35b6102c460048036036102bf919081019061214e565b61097e565b6040516102d19190612a00565b60405180910390f35b6102f460048036036102ef919081019061209a565b610d91565b604051610301919061296b565b60405180910390f35b610312610da9565b60405161031f9190612867565b60405180910390f35b610342600480360361033d919081019061214e565b610de2565b60405161034f9190612762565b60405180910390f35b610372600480360361036d919081019061209a565b610e1f565b60405161037f9190612a00565b60405180910390f35b6103a2600480360361039d919081019061218a565b610f0d565b005b6103be60048036036103b991908101906120c3565b6111b0565b6040516103cb919061296b565b60405180910390f35b6103dc61125c565b6040516103e9919061277d565b60405180910390f35b61040c60048036036104079190810190612213565b611273565b60405161041a9291906129a1565b60405180910390f35b6040518060400160405280600881526020017f4d757369636f696e00000000000000000000000000000000000000000000000081525081565b6000807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8314156104af577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90506104d4565b6104d183604051806060016040528060268152602001612bd1602691396112cc565b90505b806000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516105db91906129e5565b60405180910390a3600191505092915050565b6b06765c793fa10079d000000081565b60405161060a9061271d565b604051809103902081565b60008033905060008060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905060006106d785604051806060016040528060268152602001612bd1602691396112cc565b90508673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561075157507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6bffffffffffffffffffffffff16826bffffffffffffffffffffffff1614155b1561088e57600061077b83836040518060600160405280603e8152602001612bf7603e913961132a565b9050806000808a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161088491906129e5565b60405180910390a3505b61089987878361139b565b600193505050509392505050565b601281565b60026020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6108e9338261177c565b50565b60046020528060005260406000206000915054906101000a900463ffffffff1681565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff169050919050565b60004382106109c2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109b9906128eb565b60405180910390fd5b6000600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff161415610a2f576000915050610d8b565b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff1611610b3157600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff16915050610d8b565b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008063ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff161115610bb2576000915050610d8b565b600080905060006001830390505b8163ffffffff168163ffffffff161115610d0d576000600283830363ffffffff1681610be857fe5b0482039050610bf5612003565b600360008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff1681526020019081526020016000206040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff1681525050905086816000015163ffffffff161415610ce557806020015195505050505050610d8b565b86816000015163ffffffff161015610cff57819350610d06565b6001820392505b5050610bc0565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff1693505050505b92915050565b60056020528060005260406000206000915090505481565b6040518060400160405280600581526020017f4d5553494300000000000000000000000000000000000000000000000000000081525081565b600080610e0783604051806060016040528060278152602001612c35602791396112cc565b9050610e1433858361139b565b600191505092915050565b600080600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff1611610e89576000610f05565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b915050919050565b6000604051610f1b9061271d565b60405180910390206040518060400160405280600881526020017f4d757369636f696e00000000000000000000000000000000000000000000000081525080519060200120610f6861193c565b30604051602001610f7c94939291906127dd565b6040516020818303038152906040528051906020012090506000604051610fa290612732565b6040518091039020888888604051602001610fc09493929190612798565b60405160208183030381529060405280519060200120905060008282604051602001610fed9291906126e6565b60405160208183030381529060405280519060200120905060006001828888886040516000815260200160405260405161102a9493929190612822565b6020604051602081039080840390855afa15801561104c573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156110c8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110bf9061290b565b60405180910390fd5b600560008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558914611157576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161114e906128cb565b60405180910390fd5b8742111561119a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111919061294b565b60405180910390fd5b6111a4818b61177c565b50505050505050505050565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff16905092915050565b60405161126890612732565b604051809103902081565b6003602052816000526040600020602052806000526040600020600091509150508060000160009054906101000a900463ffffffff16908060000160049054906101000a90046bffffffffffffffffffffffff16905082565b60006c0100000000000000000000000083108290611320576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113179190612889565b60405180910390fd5b5082905092915050565b6000836bffffffffffffffffffffffff16836bffffffffffffffffffffffff161115829061138e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113859190612889565b60405180910390fd5b5082840390509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561140b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114029061292b565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561147b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611472906128ab565b60405180910390fd5b6114f5600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff1682604051806060016040528060378152602001612d136037913961132a565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506115dc600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff1682604051806060016040528060318152602001612cad60319139611949565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516116a691906129e5565b60405180910390a3611777600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836119bf565b505050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905082600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f60405160405180910390a46119368284836119bf565b50505050565b6000804690508091505090565b6000808385019050846bffffffffffffffffffffffff16816bffffffffffffffffffffffff16101583906119b3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119aa9190612889565b60405180910390fd5b50809150509392505050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015611a0957506000816bffffffffffffffffffffffff16115b15611cb557600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614611b61576000600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611611aac576000611b28565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000611b4f8285604051806060016040528060298152602001612c5c6029913961132a565b9050611b5d86848484611cba565b5050505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614611cb4576000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611611bff576000611c7b565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000611ca28285604051806060016040528060288152602001612c8560289139611949565b9050611cb085848484611cba565b5050505b5b505050565b6000611cde43604051806060016040528060358152602001612cde60359139611fad565b905060008463ffffffff16118015611d7357508063ffffffff16600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff16145b15611e0e5781600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff160217905550611f56565b60405180604001604052808263ffffffff168152602001836bffffffffffffffffffffffff16815250600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008663ffffffff1663ffffffff16815260200190815260200160002060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff16021790555090505060018401600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548163ffffffff021916908363ffffffff1602179055505b8473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248484604051611f9e929190612a1b565b60405180910390a25050505050565b600064010000000083108290611ff9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ff09190612889565b60405180910390fd5b5082905092915050565b6040518060400160405280600063ffffffff16815260200160006bffffffffffffffffffffffff1681525090565b60008135905061204081612b5d565b92915050565b60008135905061205581612b74565b92915050565b60008135905061206a81612b8b565b92915050565b60008135905061207f81612ba2565b92915050565b60008135905061209481612bb9565b92915050565b6000602082840312156120ac57600080fd5b60006120ba84828501612031565b91505092915050565b600080604083850312156120d657600080fd5b60006120e485828601612031565b92505060206120f585828601612031565b9150509250929050565b60008060006060848603121561211457600080fd5b600061212286828701612031565b935050602061213386828701612031565b92505060406121448682870161205b565b9150509250925092565b6000806040838503121561216157600080fd5b600061216f85828601612031565b92505060206121808582860161205b565b9150509250929050565b60008060008060008060c087890312156121a357600080fd5b60006121b189828a01612031565b96505060206121c289828a0161205b565b95505060406121d389828a0161205b565b94505060606121e489828a01612085565b93505060806121f589828a01612046565b92505060a061220689828a01612046565b9150509295509295509295565b6000806040838503121561222657600080fd5b600061223485828601612031565b925050602061224585828601612070565b9150509250929050565b61225881612a76565b82525050565b61226781612a88565b82525050565b61227681612a94565b82525050565b61228d61228882612a94565b612b42565b82525050565b600061229e82612a4f565b6122a88185612a5a565b93506122b8818560208601612b0f565b6122c181612b4c565b840191505092915050565b60006122d782612a44565b6122e18185612a5a565b93506122f1818560208601612b0f565b6122fa81612b4c565b840191505092915050565b6000612312603b83612a5a565b91507f4d757369633a3a5f7472616e73666572546f6b656e733a2063616e6e6f74207460008301527f72616e7366657220746f20746865207a65726f206164647265737300000000006020830152604082019050919050565b6000612378600283612a6b565b91507f19010000000000000000000000000000000000000000000000000000000000006000830152600282019050919050565b60006123b8602383612a5a565b91507f4d757369633a3a64656c656761746542795369673a20696e76616c6964206e6f60008301527f6e636500000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b600061241e602883612a5a565b91507f3a4d757369633a6765745072696f72566f7465733a206e6f742079657420646560008301527f7465726d696e65640000000000000000000000000000000000000000000000006020830152604082019050919050565b6000612484604383612a6b565b91507f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353660008301527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208301527f63742900000000000000000000000000000000000000000000000000000000006040830152604382019050919050565b6000612510602783612a5a565b91507f4d757369633a3a64656c656761746542795369673a20696e76616c696420736960008301527f676e6174757265000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000612576603a83612a6b565b91507f44656c65676174696f6e28616464726573732064656c6567617465652c75696e60008301527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020830152603a82019050919050565b60006125dc603d83612a5a565b91507f4d757369633a3a5f7472616e73666572546f6b656e733a2063616e6e6f74207460008301527f72616e736665722066726f6d20746865207a65726f20616464726573730000006020830152604082019050919050565b6000612642602783612a5a565b91507f4d757369633a3a64656c656761746542795369673a207369676e61747572652060008301527f65787069726564000000000000000000000000000000000000000000000000006020830152604082019050919050565b6126a481612abe565b82525050565b6126b381612ac8565b82525050565b6126c281612ad8565b82525050565b6126d181612afd565b82525050565b6126e081612ae5565b82525050565b60006126f18261236b565b91506126fd828561227c565b60208201915061270d828461227c565b6020820191508190509392505050565b600061272882612477565b9150819050919050565b600061273d82612569565b9150819050919050565b600060208201905061275c600083018461224f565b92915050565b6000602082019050612777600083018461225e565b92915050565b6000602082019050612792600083018461226d565b92915050565b60006080820190506127ad600083018761226d565b6127ba602083018661224f565b6127c7604083018561269b565b6127d4606083018461269b565b95945050505050565b60006080820190506127f2600083018761226d565b6127ff602083018661226d565b61280c604083018561269b565b612819606083018461224f565b95945050505050565b6000608082019050612837600083018761226d565b61284460208301866126b9565b612851604083018561226d565b61285e606083018461226d565b95945050505050565b6000602082019050818103600083015261288181846122cc565b905092915050565b600060208201905081810360008301526128a38184612293565b905092915050565b600060208201905081810360008301526128c481612305565b9050919050565b600060208201905081810360008301526128e4816123ab565b9050919050565b6000602082019050818103600083015261290481612411565b9050919050565b6000602082019050818103600083015261292481612503565b9050919050565b60006020820190508181036000830152612944816125cf565b9050919050565b6000602082019050818103600083015261296481612635565b9050919050565b6000602082019050612980600083018461269b565b92915050565b600060208201905061299b60008301846126aa565b92915050565b60006040820190506129b660008301856126aa565b6129c360208301846126d7565b9392505050565b60006020820190506129df60008301846126b9565b92915050565b60006020820190506129fa60008301846126c8565b92915050565b6000602082019050612a1560008301846126d7565b92915050565b6000604082019050612a3060008301856126c8565b612a3d60208301846126c8565b9392505050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b600081905092915050565b6000612a8182612a9e565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600063ffffffff82169050919050565b600060ff82169050919050565b60006bffffffffffffffffffffffff82169050919050565b6000612b0882612ae5565b9050919050565b60005b83811015612b2d578082015181840152602081019050612b12565b83811115612b3c576000848401525b50505050565b6000819050919050565b6000601f19601f8301169050919050565b612b6681612a76565b8114612b7157600080fd5b50565b612b7d81612a94565b8114612b8857600080fd5b50565b612b9481612abe565b8114612b9f57600080fd5b50565b612bab81612ac8565b8114612bb657600080fd5b50565b612bc281612ad8565b8114612bcd57600080fd5b5056fe4d757369633a3a617070726f76653a20616d6f756e74206578636565647320393620626974734d757369633a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e63654d757369633a3a7472616e736665723a20616d6f756e74206578636565647320393620626974734d757369633a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f77734d757369633a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f77734d757369633a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f77734d757369633a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d626572206578636565647320333220626974734d757369633a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e6365a365627a7a723158208ed7b2ffb712de2de1c55b3a8af9214730a29d12aab2ace815d70a2abce084b96c6578706572696d656e74616cf564736f6c63430005100040000000000000000000000000a8b6f436ab01edd6fb0a7696a58c8f80806490e5

0x608060405234801561001057600080fd5b50600436106101215760003560e01c806370a08231116100ad578063b4b5ea5711610071578063b4b5ea5714610358578063c3cda52014610388578063dd62ed3e146103a4578063e7a324dc146103d4578063f1127ed8146103f257610121565b806370a082311461027a578063782d6fe1146102aa5780637ecebe00146102da57806395d89b411461030a578063a9059cbb1461032857610121565b806323b872dd116100f457806323b872dd146101b0578063313ce567146101e0578063587cde1e146101fe5780635c19a95c1461022e5780636fcfff451461024a57610121565b806306fdde0314610126578063095ea7b31461014457806318160ddd1461017457806320606b7014610192575b600080fd5b61012e610423565b60405161013b9190612867565b60405180910390f35b61015e6004803603610159919081019061214e565b61045c565b60405161016b9190612762565b60405180910390f35b61017c6105ee565b604051610189919061296b565b60405180910390f35b61019a6105fe565b6040516101a7919061277d565b60405180910390f35b6101ca60048036036101c591908101906120ff565b610615565b6040516101d79190612762565b60405180910390f35b6101e86108a7565b6040516101f591906129ca565b60405180910390f35b6102186004803603610213919081019061209a565b6108ac565b6040516102259190612747565b60405180910390f35b6102486004803603610243919081019061209a565b6108df565b005b610264600480360361025f919081019061209a565b6108ec565b6040516102719190612986565b60405180910390f35b610294600480360361028f919081019061209a565b61090f565b6040516102a1919061296b565b60405180910390f35b6102c460048036036102bf919081019061214e565b61097e565b6040516102d19190612a00565b60405180910390f35b6102f460048036036102ef919081019061209a565b610d91565b604051610301919061296b565b60405180910390f35b610312610da9565b60405161031f9190612867565b60405180910390f35b610342600480360361033d919081019061214e565b610de2565b60405161034f9190612762565b60405180910390f35b610372600480360361036d919081019061209a565b610e1f565b60405161037f9190612a00565b60405180910390f35b6103a2600480360361039d919081019061218a565b610f0d565b005b6103be60048036036103b991908101906120c3565b6111b0565b6040516103cb919061296b565b60405180910390f35b6103dc61125c565b6040516103e9919061277d565b60405180910390f35b61040c60048036036104079190810190612213565b611273565b60405161041a9291906129a1565b60405180910390f35b6040518060400160405280600881526020017f4d757369636f696e00000000000000000000000000000000000000000000000081525081565b6000807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8314156104af577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90506104d4565b6104d183604051806060016040528060268152602001612bd1602691396112cc565b90505b806000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516105db91906129e5565b60405180910390a3600191505092915050565b6b06765c793fa10079d000000081565b60405161060a9061271d565b604051809103902081565b60008033905060008060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905060006106d785604051806060016040528060268152602001612bd1602691396112cc565b90508673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561075157507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6bffffffffffffffffffffffff16826bffffffffffffffffffffffff1614155b1561088e57600061077b83836040518060600160405280603e8152602001612bf7603e913961132a565b9050806000808a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161088491906129e5565b60405180910390a3505b61089987878361139b565b600193505050509392505050565b601281565b60026020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6108e9338261177c565b50565b60046020528060005260406000206000915054906101000a900463ffffffff1681565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff169050919050565b60004382106109c2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109b9906128eb565b60405180910390fd5b6000600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff161415610a2f576000915050610d8b565b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff1611610b3157600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff16915050610d8b565b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008063ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff161115610bb2576000915050610d8b565b600080905060006001830390505b8163ffffffff168163ffffffff161115610d0d576000600283830363ffffffff1681610be857fe5b0482039050610bf5612003565b600360008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff1681526020019081526020016000206040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff1681525050905086816000015163ffffffff161415610ce557806020015195505050505050610d8b565b86816000015163ffffffff161015610cff57819350610d06565b6001820392505b5050610bc0565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff1693505050505b92915050565b60056020528060005260406000206000915090505481565b6040518060400160405280600581526020017f4d5553494300000000000000000000000000000000000000000000000000000081525081565b600080610e0783604051806060016040528060278152602001612c35602791396112cc565b9050610e1433858361139b565b600191505092915050565b600080600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff1611610e89576000610f05565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b915050919050565b6000604051610f1b9061271d565b60405180910390206040518060400160405280600881526020017f4d757369636f696e00000000000000000000000000000000000000000000000081525080519060200120610f6861193c565b30604051602001610f7c94939291906127dd565b6040516020818303038152906040528051906020012090506000604051610fa290612732565b6040518091039020888888604051602001610fc09493929190612798565b60405160208183030381529060405280519060200120905060008282604051602001610fed9291906126e6565b60405160208183030381529060405280519060200120905060006001828888886040516000815260200160405260405161102a9493929190612822565b6020604051602081039080840390855afa15801561104c573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156110c8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110bf9061290b565b60405180910390fd5b600560008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558914611157576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161114e906128cb565b60405180910390fd5b8742111561119a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111919061294b565b60405180910390fd5b6111a4818b61177c565b50505050505050505050565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff16905092915050565b60405161126890612732565b604051809103902081565b6003602052816000526040600020602052806000526040600020600091509150508060000160009054906101000a900463ffffffff16908060000160049054906101000a90046bffffffffffffffffffffffff16905082565b60006c0100000000000000000000000083108290611320576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113179190612889565b60405180910390fd5b5082905092915050565b6000836bffffffffffffffffffffffff16836bffffffffffffffffffffffff161115829061138e576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113859190612889565b60405180910390fd5b5082840390509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561140b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114029061292b565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561147b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611472906128ab565b60405180910390fd5b6114f5600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff1682604051806060016040528060378152602001612d136037913961132a565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506115dc600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff1682604051806060016040528060318152602001612cad60319139611949565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516116a691906129e5565b60405180910390a3611777600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836119bf565b505050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905082600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f60405160405180910390a46119368284836119bf565b50505050565b6000804690508091505090565b6000808385019050846bffffffffffffffffffffffff16816bffffffffffffffffffffffff16101583906119b3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119aa9190612889565b60405180910390fd5b50809150509392505050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015611a0957506000816bffffffffffffffffffffffff16115b15611cb557600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614611b61576000600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611611aac576000611b28565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000611b4f8285604051806060016040528060298152602001612c5c6029913961132a565b9050611b5d86848484611cba565b5050505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614611cb4576000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611611bff576000611c7b565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000611ca28285604051806060016040528060288152602001612c8560289139611949565b9050611cb085848484611cba565b5050505b5b505050565b6000611cde43604051806060016040528060358152602001612cde60359139611fad565b905060008463ffffffff16118015611d7357508063ffffffff16600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff16145b15611e0e5781600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff160217905550611f56565b60405180604001604052808263ffffffff168152602001836bffffffffffffffffffffffff16815250600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008663ffffffff1663ffffffff16815260200190815260200160002060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff16021790555090505060018401600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548163ffffffff021916908363ffffffff1602179055505b8473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248484604051611f9e929190612a1b565b60405180910390a25050505050565b600064010000000083108290611ff9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ff09190612889565b60405180910390fd5b5082905092915050565b6040518060400160405280600063ffffffff16815260200160006bffffffffffffffffffffffff1681525090565b60008135905061204081612b5d565b92915050565b60008135905061205581612b74565b92915050565b60008135905061206a81612b8b565b92915050565b60008135905061207f81612ba2565b92915050565b60008135905061209481612bb9565b92915050565b6000602082840312156120ac57600080fd5b60006120ba84828501612031565b91505092915050565b600080604083850312156120d657600080fd5b60006120e485828601612031565b92505060206120f585828601612031565b9150509250929050565b60008060006060848603121561211457600080fd5b600061212286828701612031565b935050602061213386828701612031565b92505060406121448682870161205b565b9150509250925092565b6000806040838503121561216157600080fd5b600061216f85828601612031565b92505060206121808582860161205b565b9150509250929050565b60008060008060008060c087890312156121a357600080fd5b60006121b189828a01612031565b96505060206121c289828a0161205b565b95505060406121d389828a0161205b565b94505060606121e489828a01612085565b93505060806121f589828a01612046565b92505060a061220689828a01612046565b9150509295509295509295565b6000806040838503121561222657600080fd5b600061223485828601612031565b925050602061224585828601612070565b9150509250929050565b61225881612a76565b82525050565b61226781612a88565b82525050565b61227681612a94565b82525050565b61228d61228882612a94565b612b42565b82525050565b600061229e82612a4f565b6122a88185612a5a565b93506122b8818560208601612b0f565b6122c181612b4c565b840191505092915050565b60006122d782612a44565b6122e18185612a5a565b93506122f1818560208601612b0f565b6122fa81612b4c565b840191505092915050565b6000612312603b83612a5a565b91507f4d757369633a3a5f7472616e73666572546f6b656e733a2063616e6e6f74207460008301527f72616e7366657220746f20746865207a65726f206164647265737300000000006020830152604082019050919050565b6000612378600283612a6b565b91507f19010000000000000000000000000000000000000000000000000000000000006000830152600282019050919050565b60006123b8602383612a5a565b91507f4d757369633a3a64656c656761746542795369673a20696e76616c6964206e6f60008301527f6e636500000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b600061241e602883612a5a565b91507f3a4d757369633a6765745072696f72566f7465733a206e6f742079657420646560008301527f7465726d696e65640000000000000000000000000000000000000000000000006020830152604082019050919050565b6000612484604383612a6b565b91507f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353660008301527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208301527f63742900000000000000000000000000000000000000000000000000000000006040830152604382019050919050565b6000612510602783612a5a565b91507f4d757369633a3a64656c656761746542795369673a20696e76616c696420736960008301527f676e6174757265000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000612576603a83612a6b565b91507f44656c65676174696f6e28616464726573732064656c6567617465652c75696e60008301527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020830152603a82019050919050565b60006125dc603d83612a5a565b91507f4d757369633a3a5f7472616e73666572546f6b656e733a2063616e6e6f74207460008301527f72616e736665722066726f6d20746865207a65726f20616464726573730000006020830152604082019050919050565b6000612642602783612a5a565b91507f4d757369633a3a64656c656761746542795369673a207369676e61747572652060008301527f65787069726564000000000000000000000000000000000000000000000000006020830152604082019050919050565b6126a481612abe565b82525050565b6126b381612ac8565b82525050565b6126c281612ad8565b82525050565b6126d181612afd565b82525050565b6126e081612ae5565b82525050565b60006126f18261236b565b91506126fd828561227c565b60208201915061270d828461227c565b6020820191508190509392505050565b600061272882612477565b9150819050919050565b600061273d82612569565b9150819050919050565b600060208201905061275c600083018461224f565b92915050565b6000602082019050612777600083018461225e565b92915050565b6000602082019050612792600083018461226d565b92915050565b60006080820190506127ad600083018761226d565b6127ba602083018661224f565b6127c7604083018561269b565b6127d4606083018461269b565b95945050505050565b60006080820190506127f2600083018761226d565b6127ff602083018661226d565b61280c604083018561269b565b612819606083018461224f565b95945050505050565b6000608082019050612837600083018761226d565b61284460208301866126b9565b612851604083018561226d565b61285e606083018461226d565b95945050505050565b6000602082019050818103600083015261288181846122cc565b905092915050565b600060208201905081810360008301526128a38184612293565b905092915050565b600060208201905081810360008301526128c481612305565b9050919050565b600060208201905081810360008301526128e4816123ab565b9050919050565b6000602082019050818103600083015261290481612411565b9050919050565b6000602082019050818103600083015261292481612503565b9050919050565b60006020820190508181036000830152612944816125cf565b9050919050565b6000602082019050818103600083015261296481612635565b9050919050565b6000602082019050612980600083018461269b565b92915050565b600060208201905061299b60008301846126aa565b92915050565b60006040820190506129b660008301856126aa565b6129c360208301846126d7565b9392505050565b60006020820190506129df60008301846126b9565b92915050565b60006020820190506129fa60008301846126c8565b92915050565b6000602082019050612a1560008301846126d7565b92915050565b6000604082019050612a3060008301856126c8565b612a3d60208301846126c8565b9392505050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b600081905092915050565b6000612a8182612a9e565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600063ffffffff82169050919050565b600060ff82169050919050565b60006bffffffffffffffffffffffff82169050919050565b6000612b0882612ae5565b9050919050565b60005b83811015612b2d578082015181840152602081019050612b12565b83811115612b3c576000848401525b50505050565b6000819050919050565b6000601f19601f8301169050919050565b612b6681612a76565b8114612b7157600080fd5b50565b612b7d81612a94565b8114612b8857600080fd5b50565b612b9481612abe565b8114612b9f57600080fd5b50565b612bab81612ac8565b8114612bb657600080fd5b50565b612bc281612ad8565b8114612bcd57600080fd5b5056fe4d757369633a3a617070726f76653a20616d6f756e74206578636565647320393620626974734d757369633a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e63654d757369633a3a7472616e736665723a20616d6f756e74206578636565647320393620626974734d757369633a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f77734d757369633a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f77734d757369633a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f77734d757369633a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d626572206578636565647320333220626974734d757369633a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e6365a365627a7a723158208ed7b2ffb712de2de1c55b3a8af9214730a29d12aab2ace815d70a2abce084b96c6578706572696d656e74616cf564736f6c63430005100040

000000000000000000000000a8b6f436ab01edd6fb0a7696a58c8f80806490e5

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

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000a8b6f436ab01edd6fb0a7696a58c8f80806490e5

63:12870:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;63:12870:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;135:40;;;:::i;:::-;;;;;;;;;;;;;;;;3683:420;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;437:48;;;:::i;:::-;;;;;;;;;;;;;;;;1369:122;;;:::i;:::-;;;;;;;;;;;;;;;;5227:674;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;338:35;;;:::i;:::-;;;;;;;;;;;;;;;;819:45;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;6049:102;;;;;;;;;;;;;;;;:::i;:::-;;1247:49;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;4306:108;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;8231:1219;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1783:39;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;236;;;:::i;:::-;;;;;;;;;;;;;;;;4678:239;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;7578:222;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;6585:792;;;;;;;;;;;;;;;;:::i;:::-;;3069:136;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1585:117;;;:::i;:::-;;;;;;;;;;;;;;;;1108:70;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;135:40;;;;;;;;;;;;;;;;;;;:::o;3683:420::-;3751:4;3768:13;3814:2;3796:9;:21;3792:174;;;3850:2;3834:19;;3792:174;;;3895:59;3902:9;3895:59;;;;;;;;;;;;;;;;;:6;:59::i;:::-;3886:68;;3792:174;4012:6;3978:10;:22;3989:10;3978:22;;;;;;;;;;;;;;;:31;4001:7;3978:31;;;;;;;;;;;;;;;;:40;;;;;;;;;;;;;;;;;;4057:7;4036:37;;4045:10;4036:37;;;4066:6;4036:37;;;;;;;;;;;;;;;4091:4;4084:11;;;3683:420;;;;:::o;437:48::-;472:13;437:48;:::o;1369:122::-;1411:80;;;;;;;;;;;;;;1369:122;:::o;5227:674::-;5309:4;5326:15;5344:10;5326:28;;5365:23;5391:10;:15;5402:3;5391:15;;;;;;;;;;;;;;;:24;5407:7;5391:24;;;;;;;;;;;;;;;;;;;;;;;;;5365:50;;5426:13;5442:59;5449:9;5442:59;;;;;;;;;;;;;;;;;:6;:59::i;:::-;5426:75;;5529:3;5518:14;;:7;:14;;;;:48;;;;;5563:2;5536:30;;:16;:30;;;;5518:48;5514:312;;;5583:19;5605:97;5611:16;5629:6;5605:97;;;;;;;;;;;;;;;;;:5;:97::i;:::-;5583:119;;5744:12;5717:10;:15;5728:3;5717:15;;;;;;;;;;;;;;;:24;5733:7;5717:24;;;;;;;;;;;;;;;;:39;;;;;;;;;;;;;;;;;;5792:7;5778:36;;5787:3;5778:36;;;5801:12;5778:36;;;;;;;;;;;;;;;5514:312;;5838:33;5854:3;5859;5864:6;5838:15;:33::i;:::-;5889:4;5882:11;;;;;5227:674;;;;;:::o;338:35::-;371:2;338:35;:::o;819:45::-;;;;;;;;;;;;;;;;;;;;;;:::o;6049:102::-;6111:32;6121:10;6133:9;6111;:32::i;:::-;6049:102;:::o;1247:49::-;;;;;;;;;;;;;;;;;;;;;;:::o;4306:108::-;4365:4;4389:8;:17;4398:7;4389:17;;;;;;;;;;;;;;;;;;;;;;;;;4382:24;;;;4306:108;;;:::o;8231:1219::-;8310:6;8351:12;8337:11;:26;8329:79;;;;;;;;;;;;;;;;;;;;;;8421:19;8443:14;:23;8458:7;8443:23;;;;;;;;;;;;;;;;;;;;;;;;;8421:45;;8497:1;8481:12;:17;;;8477:58;;;8522:1;8515:8;;;;;8477:58;8647:11;8595;:20;8607:7;8595:20;;;;;;;;;;;;;;;:38;8631:1;8616:12;:16;8595:38;;;;;;;;;;;;;;;:48;;;;;;;;;;;;:63;;;8591:147;;8682:11;:20;8694:7;8682:20;;;;;;;;;;;;;;;:38;8718:1;8703:12;:16;8682:38;;;;;;;;;;;;;;;:44;;;;;;;;;;;;8675:51;;;;;8591:147;8835:11;8799;:20;8811:7;8799:20;;;;;;;;;;;;;;;:23;8820:1;8799:23;;;;;;;;;;;;;:33;;;;;;;;;;;;:47;;;8795:88;;;8870:1;8863:8;;;;;8795:88;8895:12;8910:1;8895:16;;8922:12;8952:1;8937:12;:16;8922:31;;8964:428;8979:5;8971:13;;:5;:13;;;8964:428;;;9001:13;9043:1;9034:5;9026;:13;9025:19;;;;;;;;9017:5;:27;9001:43;;9086:20;;:::i;:::-;9109:11;:20;9121:7;9109:20;;;;;;;;;;;;;;;:28;9130:6;9109:28;;;;;;;;;;;;;;;9086:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9172:11;9156:2;:12;;;:27;;;9152:229;;;9211:2;:8;;;9204:15;;;;;;;;;9152:229;9260:11;9245:2;:12;;;:26;;;9241:140;;;9300:6;9292:14;;9241:140;;;9364:1;9355:6;:10;9347:18;;9241:140;8964:428;;;;;9409:11;:20;9421:7;9409:20;;;;;;;;;;;;;;;:27;9430:5;9409:27;;;;;;;;;;;;;;;:33;;;;;;;;;;;;9402:40;;;;;8231:1219;;;;;:::o;1783:39::-;;;;;;;;;;;;;;;;;:::o;236:::-;;;;;;;;;;;;;;;;;;;:::o;4678:239::-;4743:4;4760:13;4776:60;4783:9;4776:60;;;;;;;;;;;;;;;;;:6;:60::i;:::-;4760:76;;4847:40;4863:10;4875:3;4880:6;4847:15;:40::i;:::-;4905:4;4898:11;;;4678:239;;;;:::o;7578:222::-;7643:6;7662:19;7684:14;:23;7699:7;7684:23;;;;;;;;;;;;;;;;;;;;;;;;;7662:45;;7740:1;7725:12;:16;;;:67;;7791:1;7725:67;;;7744:11;:20;7756:7;7744:20;;;;;;;;;;;;;;;:38;7780:1;7765:12;:16;7744:38;;;;;;;;;;;;;;;:44;;;;;;;;;;;;7725:67;7718:74;;;7578:222;;;:::o;6585:792::-;6701:23;1411:80;;;;;;;;;;;;;;6781:4;;;;;;;;;;;;;;;;;6765:22;;;;;;6789:12;:10;:12::i;:::-;6811:4;6737:80;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6737:80:0;;;6727:91;;;;;;6701:117;;6829:18;1631:71;;;;;;;;;;;;;;6892:9;6903:5;6910:6;6860:57;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6860:57:0;;;6850:68;;;;;;6829:89;;6929:14;6985:15;7002:10;6956:57;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6956:57:0;;;6946:68;;;;;;6929:85;;7025:17;7045:26;7055:6;7063:1;7066;7069;7045:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7045:26:0;;;;;;;;7025:46;;7111:1;7090:23;;:9;:23;;;;7082:75;;;;;;;;;;;;;;;;;;;;;;7185:6;:17;7192:9;7185:17;;;;;;;;;;;;;;;;:19;;;;;;;;;;;;7176:5;:28;7168:76;;;;;;;;;;;;;;;;;;;;;;7270:6;7263:3;:13;;7255:65;;;;;;;;;;;;;;;;;;;;;;7338:31;7348:9;7359;7338;:31::i;:::-;7331:38;;;;6585:792;;;;;;:::o;3069:136::-;3145:4;3169:10;:19;3180:7;3169:19;;;;;;;;;;;;;;;:28;3189:7;3169:28;;;;;;;;;;;;;;;;;;;;;;;;;3162:35;;;;3069:136;;;;:::o;1585:117::-;1631:71;;;;;;;;;;;;;;1585:117;:::o;1108:70::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;12239:161::-;12314:6;12345:5;12341:1;:9;12352:12;12333:32;;;;;;;;;;;;;;;;;;;;;;;;;12390:1;12376:16;;12239:161;;;;:::o;12604:165::-;12690:6;12722:1;12717:6;;:1;:6;;;;12725:12;12709:29;;;;;;;;;;;;;;;;;;;;;;;;;12760:1;12756;:5;12749:12;;12604:165;;;;;:::o;9841:618::-;9950:1;9935:17;;:3;:17;;;;9927:91;;;;;;;;;;;;;;;;;;;;;;10052:1;10037:17;;:3;:17;;;;10029:89;;;;;;;;;;;;;;;;;;;;;;10147:87;10153:8;:13;10162:3;10153:13;;;;;;;;;;;;;;;;;;;;;;;;;10168:6;10147:87;;;;;;;;;;;;;;;;;:5;:87::i;:::-;10131:8;:13;10140:3;10131:13;;;;;;;;;;;;;;;;:103;;;;;;;;;;;;;;;;;;10261:81;10267:8;:13;10276:3;10267:13;;;;;;;;;;;;;;;;;;;;;;;;;10282:6;10261:81;;;;;;;;;;;;;;;;;:5;:81::i;:::-;10245:8;:13;10254:3;10245:13;;;;;;;;;;;;;;;;:97;;;;;;;;;;;;;;;;;;10372:3;10358:26;;10367:3;10358:26;;;10377:6;10358:26;;;;;;;;;;;;;;;10397:54;10412:9;:14;10422:3;10412:14;;;;;;;;;;;;;;;;;;;;;;;;;10428:9;:14;10438:3;10428:14;;;;;;;;;;;;;;;;;;;;;;;;;10444:6;10397:14;:54::i;:::-;9841:618;;;:::o;9458:375::-;9535:23;9561:9;:20;9571:9;9561:20;;;;;;;;;;;;;;;;;;;;;;;;;9535:46;;9592:23;9618:8;:19;9627:9;9618:19;;;;;;;;;;;;;;;;;;;;;;;;;9592:45;;9671:9;9648;:20;9658:9;9648:20;;;;;;;;;;;;;;;;:32;;;;;;;;;;;;;;;;;;9742:9;9698:54;;9725:15;9698:54;;9714:9;9698:54;;;;;;;;;;;;9765:60;9780:15;9797:9;9808:16;9765:14;:60::i;:::-;9458:375;;;;:::o;12777:153::-;12822:4;12839:15;12887:9;12876:20;;12915:7;12908:14;;;12777:153;:::o;12408:188::-;12494:6;12513:8;12528:1;12524;:5;12513:16;;12553:1;12548:6;;:1;:6;;;;12556:12;12540:29;;;;;;;;;;;;;;;;;;;;;;;;;12587:1;12580:8;;;12408:188;;;;;:::o;10467:941::-;10572:6;10562:16;;:6;:16;;;;:30;;;;;10591:1;10582:6;:10;;;10562:30;10558:843;;;10631:1;10613:20;;:6;:20;;;10609:383;;10654:16;10673:14;:22;10688:6;10673:22;;;;;;;;;;;;;;;;;;;;;;;;;10654:41;;10714:16;10745:1;10733:9;:13;;;:60;;10792:1;10733:60;;;10749:11;:19;10761:6;10749:19;;;;;;;;;;;;;;;:34;10781:1;10769:9;:13;10749:34;;;;;;;;;;;;;;;:40;;;;;;;;;;;;10733:60;10714:79;;10812:16;10831:69;10837:9;10848:6;10831:69;;;;;;;;;;;;;;;;;:5;:69::i;:::-;10812:88;;10919:57;10936:6;10944:9;10955;10966;10919:16;:57::i;:::-;10609:383;;;;11030:1;11012:20;;:6;:20;;;11008:382;;11053:16;11072:14;:22;11087:6;11072:22;;;;;;;;;;;;;;;;;;;;;;;;;11053:41;;11113:16;11144:1;11132:9;:13;;;:60;;11191:1;11132:60;;;11148:11;:19;11160:6;11148:19;;;;;;;;;;;;;;;:34;11180:1;11168:9;:13;11148:34;;;;;;;;;;;;;;;:40;;;;;;;;;;;;11132:60;11113:79;;11211:16;11230:68;11236:9;11247:6;11230:68;;;;;;;;;;;;;;;;;:5;:68::i;:::-;11211:87;;11317:57;11334:6;11342:9;11353;11364;11317:16;:57::i;:::-;11008:382;;;;10558:843;10467:941;;;:::o;11416:646::-;11536:18;11557:77;11564:12;11557:77;;;;;;;;;;;;;;;;;:6;:77::i;:::-;11536:98;;11666:1;11651:12;:16;;;:85;;;;;11725:11;11671:65;;:11;:22;11683:9;11671:22;;;;;;;;;;;;;;;:40;11709:1;11694:12;:16;11671:40;;;;;;;;;;;;;;;:50;;;;;;;;;;;;:65;;;11651:85;11647:339;;;11802:8;11753:11;:22;11765:9;11753:22;;;;;;;;;;;;;;;:40;11791:1;11776:12;:16;11753:40;;;;;;;;;;;;;;;:46;;;:57;;;;;;;;;;;;;;;;;;11647:339;;;11882:33;;;;;;;;11893:11;11882:33;;;;;;11906:8;11882:33;;;;;11843:11;:22;11855:9;11843:22;;;;;;;;;;;;;;;:36;11866:12;11843:36;;;;;;;;;;;;;;;:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11973:1;11958:12;:16;11930:14;:25;11945:9;11930:25;;;;;;;;;;;;;;;;:44;;;;;;;;;;;;;;;;;;11647:339;12024:9;12003:51;;;12035:8;12045;12003:51;;;;;;;;;;;;;;;;11416:646;;;;;:::o;12070:161::-;12145:6;12176:5;12172:1;:9;12183:12;12164:32;;;;;;;;;;;;;;;;;;;;;;;;;12221:1;12207:16;;12070:161;;;;:::o;63:12870::-;;;;;;;;;;;;;;;;;;;;;;;:::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:396;;4790:67;4854:2;4849:3;4790:67;;;4783:74;;4890:34;4886:1;4881:3;4877:11;4870:55;4959:29;4954:2;4949:3;4945:12;4938:51;5017:2;5012:3;5008:12;5001:19;;4776:250;;;;5035:398;;5213:84;5295:1;5290:3;5213:84;;;5206:91;;5330:66;5326:1;5321:3;5317:11;5310:87;5425:1;5420:3;5416:11;5409:18;;5199:234;;;;5442:372;;5602:67;5666:2;5661:3;5602:67;;;5595:74;;5702:34;5698:1;5693:3;5689:11;5682:55;5771:5;5766:2;5761:3;5757:12;5750:27;5805:2;5800:3;5796:12;5789:19;;5588:226;;;;5823:377;;5983:67;6047:2;6042:3;5983:67;;;5976:74;;6083:34;6079:1;6074:3;6070:11;6063:55;6152:10;6147:2;6142:3;6138:12;6131:32;6191:2;6186:3;6182:12;6175:19;;5969:231;;;;6209:477;;6387:85;6469:2;6464:3;6387:85;;;6380:92;;6505:34;6501:1;6496:3;6492:11;6485:55;6574:34;6569:2;6564:3;6560:12;6553:56;6643:5;6638:2;6633:3;6629:12;6622:27;6677:2;6672:3;6668:12;6661:19;;6373:313;;;;6695:376;;6855:67;6919:2;6914:3;6855:67;;;6848:74;;6955:34;6951:1;6946:3;6942:11;6935:55;7024:9;7019:2;7014:3;7010:12;7003:31;7062:2;7057:3;7053:12;7046:19;;6841:230;;;;7080:431;;7258:85;7340:2;7335:3;7258:85;;;7251:92;;7376:34;7372:1;7367:3;7363:11;7356:55;7445:28;7440:2;7435:3;7431:12;7424:50;7502:2;7497:3;7493:12;7486:19;;7244:267;;;;7520:398;;7680:67;7744:2;7739:3;7680:67;;;7673:74;;7780:34;7776:1;7771:3;7767:11;7760:55;7849:31;7844:2;7839:3;7835:12;7828:53;7909:2;7904:3;7900:12;7893:19;;7666:252;;;;7927:376;;8087:67;8151:2;8146:3;8087:67;;;8080:74;;8187:34;8183:1;8178:3;8174:11;8167:55;8256:9;8251:2;8246:3;8242:12;8235:31;8294:2;8289:3;8285:12;8278:19;;8073:230;;;;8311:113;8394:24;8412:5;8394:24;;;8389:3;8382:37;8376:48;;;8431:110;8512:23;8529:5;8512:23;;;8507:3;8500:36;8494:47;;;8548:107;8627:22;8643:5;8627:22;;;8622:3;8615:35;8609:46;;;8662:124;8744:36;8774:5;8744:36;;;8739:3;8732:49;8726:60;;;8793:110;8874:23;8891:5;8874:23;;;8869:3;8862:36;8856:47;;;8910:650;;9165:148;9309:3;9165:148;;;9158:155;;9324:75;9395:3;9386:6;9324:75;;;9421:2;9416:3;9412:12;9405:19;;9435:75;9506:3;9497:6;9435:75;;;9532:2;9527:3;9523:12;9516:19;;9552:3;9545:10;;9146:414;;;;;;9567:372;;9766:148;9910:3;9766:148;;;9759:155;;9931:3;9924:10;;9747:192;;;;9946:372;;10145:148;10289:3;10145:148;;;10138:155;;10310:3;10303:10;;10126:192;;;;10325:213;;10443:2;10432:9;10428:18;10420:26;;10457:71;10525:1;10514:9;10510:17;10501:6;10457:71;;;10414:124;;;;;10545:201;;10657:2;10646:9;10642:18;10634:26;;10671:65;10733:1;10722:9;10718:17;10709:6;10671:65;;;10628:118;;;;;10753:213;;10871:2;10860:9;10856:18;10848:26;;10885:71;10953:1;10942:9;10938:17;10929:6;10885:71;;;10842:124;;;;;10973:547;;11175:3;11164:9;11160:19;11152:27;;11190:71;11258:1;11247:9;11243:17;11234:6;11190:71;;;11272:72;11340:2;11329:9;11325:18;11316:6;11272:72;;;11355;11423:2;11412:9;11408:18;11399:6;11355:72;;;11438;11506:2;11495:9;11491:18;11482:6;11438:72;;;11146:374;;;;;;;;11527:547;;11729:3;11718:9;11714:19;11706:27;;11744:71;11812:1;11801:9;11797:17;11788:6;11744:71;;;11826:72;11894:2;11883:9;11879:18;11870:6;11826:72;;;11909;11977:2;11966:9;11962:18;11953:6;11909:72;;;11992;12060:2;12049:9;12045:18;12036:6;11992:72;;;11700:374;;;;;;;;12081:539;;12279:3;12268:9;12264:19;12256:27;;12294:71;12362:1;12351:9;12347:17;12338:6;12294:71;;;12376:68;12440:2;12429:9;12425:18;12416:6;12376:68;;;12455:72;12523:2;12512:9;12508:18;12499:6;12455:72;;;12538;12606:2;12595:9;12591:18;12582:6;12538:72;;;12250:370;;;;;;;;12627:293;;12761:2;12750:9;12746:18;12738:26;;12811:9;12805:4;12801:20;12797:1;12786:9;12782:17;12775:47;12836:74;12905:4;12896:6;12836:74;;;12828:82;;12732:188;;;;;12927:301;;13065:2;13054:9;13050:18;13042:26;;13115:9;13109:4;13105:20;13101:1;13090:9;13086:17;13079:47;13140:78;13213:4;13204:6;13140:78;;;13132:86;;13036:192;;;;;13235:407;;13426:2;13415:9;13411:18;13403:26;;13476:9;13470:4;13466:20;13462:1;13451:9;13447:17;13440:47;13501:131;13627:4;13501:131;;;13493:139;;13397:245;;;;13649:407;;13840:2;13829:9;13825:18;13817:26;;13890:9;13884:4;13880:20;13876:1;13865:9;13861:17;13854:47;13915:131;14041:4;13915:131;;;13907:139;;13811:245;;;;14063:407;;14254:2;14243:9;14239:18;14231:26;;14304:9;14298:4;14294:20;14290:1;14279:9;14275:17;14268:47;14329:131;14455:4;14329:131;;;14321:139;;14225:245;;;;14477:407;;14668:2;14657:9;14653:18;14645:26;;14718:9;14712:4;14708:20;14704:1;14693:9;14689:17;14682:47;14743:131;14869:4;14743:131;;;14735:139;;14639:245;;;;14891:407;;15082:2;15071:9;15067:18;15059:26;;15132:9;15126:4;15122:20;15118:1;15107:9;15103:17;15096:47;15157:131;15283:4;15157:131;;;15149:139;;15053:245;;;;15305:407;;15496:2;15485:9;15481:18;15473:26;;15546:9;15540:4;15536:20;15532:1;15521:9;15517:17;15510:47;15571:131;15697:4;15571:131;;;15563:139;;15467:245;;;;15719:213;;15837:2;15826:9;15822:18;15814:26;;15851:71;15919:1;15908:9;15904:17;15895:6;15851:71;;;15808:124;;;;;15939:209;;16055:2;16044:9;16040:18;16032:26;;16069:69;16135:1;16124:9;16120:17;16111:6;16069:69;;;16026:122;;;;;16155:316;;16297:2;16286:9;16282:18;16274:26;;16311:69;16377:1;16366:9;16362:17;16353:6;16311:69;;;16391:70;16457:2;16446:9;16442:18;16433:6;16391:70;;;16268:203;;;;;;16478:205;;16592:2;16581:9;16577:18;16569:26;;16606:67;16670:1;16659:9;16655:17;16646:6;16606:67;;;16563:120;;;;;16690:211;;16807:2;16796:9;16792:18;16784:26;;16821:70;16888:1;16877:9;16873:17;16864:6;16821:70;;;16778:123;;;;;16908:209;;17024:2;17013:9;17009:18;17001:26;;17038:69;17104:1;17093:9;17089:17;17080:6;17038:69;;;16995:122;;;;;17124:320;;17268:2;17257:9;17253:18;17245:26;;17282:70;17349:1;17338:9;17334:17;17325:6;17282:70;;;17363:71;17430:2;17419:9;17415:18;17406:6;17363:71;;;17239:205;;;;;;17451:118;;17541:5;17535:12;17525:22;;17506:63;;;;17576:122;;17670:5;17664:12;17654:22;;17635:63;;;;17706:163;;17821:6;17816:3;17809:19;17858:4;17853:3;17849:14;17834:29;;17802:67;;;;;17878:145;;18014:3;17999:18;;17992:31;;;;;18031:91;;18093:24;18111:5;18093:24;;;18082:35;;18076:46;;;;18129:85;;18202:5;18195:13;18188:21;18177:32;;18171:43;;;;18221:72;;18283:5;18272:16;;18266:27;;;;18300:121;;18373:42;18366:5;18362:54;18351:65;;18345:76;;;;18428:72;;18490:5;18479:16;;18473:27;;;;18507:88;;18579:10;18572:5;18568:22;18557:33;;18551:44;;;;18602:81;;18673:4;18666:5;18662:16;18651:27;;18645:38;;;;18690:104;;18762:26;18755:5;18751:38;18740:49;;18734:60;;;;18801:106;;18879:23;18896:5;18879:23;;;18866:36;;18860:47;;;;18915:268;18980:1;18987:101;19001:6;18998:1;18995:13;18987:101;;;19077:1;19072:3;19068:11;19062:18;19058:1;19053:3;19049:11;19042:39;19023:2;19020:1;19016:10;19011:15;;18987:101;;;19103:6;19100:1;19097:13;19094:2;;;19168:1;19159:6;19154:3;19150:16;19143:27;19094:2;18964:219;;;;;19191:74;;19255:5;19244:16;;19238:27;;;;19272:97;;19360:2;19356:7;19351:2;19344:5;19340:14;19336:28;19326:38;;19320:49;;;;19377:117;19446:24;19464:5;19446:24;;;19439:5;19436:35;19426:2;;19485:1;19482;19475:12;19426:2;19420:74;;19501:117;19570:24;19588:5;19570:24;;;19563:5;19560:35;19550:2;;19609:1;19606;19599:12;19550:2;19544:74;;19625:117;19694:24;19712:5;19694:24;;;19687:5;19684:35;19674:2;;19733:1;19730;19723:12;19674:2;19668:74;;19749:115;19817:23;19834:5;19817:23;;;19810:5;19807:34;19797:2;;19855:1;19852;19845:12;19797:2;19791:73;;19871:113;19938:22;19954:5;19938:22;;;19931:5;19928:33;19918:2;;19975:1;19972;19965:12;19918:2;19912:72;

bzzr://8ed7b2ffb712de2de1c55b3a8af9214730a29d12aab2ace815d70a2abce084b9