Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract USF *
•    - 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 2021-03-03
*/

pragma solidity ^0.5.16;
pragma experimental ABIEncoderV2;

contract USF {
    /// @notice EIP-20 token name for this token
    string public constant name = "Unslashed Finance Governance Token";

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

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

    /// @notice Total number of tokens in circulation
    uint public constant totalSupply = 86000000e18; // 86 million USF

    /// @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 USF 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, "USF::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, "USF::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, "USF::approve: amount exceeds 96 bits");

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

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

60806040523480156200001157600080fd5b5060405162002f6638038062002f66833981810160405262000037919081019062000141565b6a4723355778d7d416000000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6a4723355778d7d4160000006040516200011b91906200017e565b60405180910390a350620001f3565b6000815190506200013b81620001d9565b92915050565b6000602082840312156200015457600080fd5b600062000164848285016200012a565b91505092915050565b6200017881620001cf565b82525050565b60006020820190506200019560008301846200016d565b92915050565b6000620001a882620001af565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b620001e4816200019b565b8114620001f057600080fd5b50565b612d6380620002036000396000f3fe608060405234801561001057600080fd5b50600436106101215760003560e01c806370a08231116100ad578063b4b5ea5711610071578063b4b5ea5714610358578063c3cda52014610388578063dd62ed3e146103a4578063e7a324dc146103d4578063f1127ed8146103f257610121565b806370a082311461027a578063782d6fe1146102aa5780637ecebe00146102da57806395d89b411461030a578063a9059cbb1461032857610121565b806323b872dd116100f457806323b872dd146101b0578063313ce567146101e0578063587cde1e146101fe5780635c19a95c1461022e5780636fcfff451461024a57610121565b806306fdde0314610126578063095ea7b31461014457806318160ddd1461017457806320606b7014610192575b600080fd5b61012e610423565b60405161013b919061282c565b60405180910390f35b61015e60048036036101599190810190612113565b61043f565b60405161016b9190612727565b60405180910390f35b61017c6105d1565b6040516101899190612930565b60405180910390f35b61019a6105e0565b6040516101a79190612742565b60405180910390f35b6101ca60048036036101c591908101906120c4565b6105f7565b6040516101d79190612727565b60405180910390f35b6101e8610889565b6040516101f5919061298f565b60405180910390f35b6102186004803603610213919081019061205f565b61088e565b604051610225919061270c565b60405180910390f35b6102486004803603610243919081019061205f565b6108c1565b005b610264600480360361025f919081019061205f565b6108ce565b604051610271919061294b565b60405180910390f35b610294600480360361028f919081019061205f565b6108f1565b6040516102a19190612930565b60405180910390f35b6102c460048036036102bf9190810190612113565b610960565b6040516102d191906129c5565b60405180910390f35b6102f460048036036102ef919081019061205f565b610d73565b6040516103019190612930565b60405180910390f35b610312610d8b565b60405161031f919061282c565b60405180910390f35b610342600480360361033d9190810190612113565b610dc4565b60405161034f9190612727565b60405180910390f35b610372600480360361036d919081019061205f565b610e01565b60405161037f91906129c5565b60405180910390f35b6103a2600480360361039d919081019061214f565b610eef565b005b6103be60048036036103b99190810190612088565b611175565b6040516103cb9190612930565b60405180910390f35b6103dc611221565b6040516103e99190612742565b60405180910390f35b61040c600480360361040791908101906121d8565b611238565b60405161041a929190612966565b60405180910390f35b604051806060016040528060228152602001612b966022913981565b6000807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff831415610492577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90506104b7565b6104b483604051806060016040528060248152602001612c9b60249139611291565b90505b806000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516105be91906129aa565b60405180910390a3600191505092915050565b6a4723355778d7d41600000081565b6040516105ec906126e2565b604051809103902081565b60008033905060008060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905060006106b985604051806060016040528060248152602001612c9b60249139611291565b90508673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561073357507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6bffffffffffffffffffffffff16826bffffffffffffffffffffffff1614155b1561087057600061075d83836040518060600160405280603c8152602001612c5f603c91396112ef565b9050806000808a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161086691906129aa565b60405180910390a3505b61087b878783611360565b600193505050509392505050565b601281565b60026020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6108cb3382611741565b50565b60046020528060005260406000206000915054906101000a900463ffffffff1681565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff169050919050565b60004382106109a4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099b906128d0565b60405180910390fd5b6000600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff161415610a11576000915050610d6d565b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff1611610b1357600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff16915050610d6d565b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008063ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff161115610b94576000915050610d6d565b600080905060006001830390505b8163ffffffff168163ffffffff161115610cef576000600283830363ffffffff1681610bca57fe5b0482039050610bd7611fc8565b600360008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff1681526020019081526020016000206040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff1681525050905086816000015163ffffffff161415610cc757806020015195505050505050610d6d565b86816000015163ffffffff161015610ce157819350610ce8565b6001820392505b5050610ba2565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff1693505050505b92915050565b60056020528060005260406000206000915090505481565b6040518060400160405280600381526020017f555346000000000000000000000000000000000000000000000000000000000081525081565b600080610de983604051806060016040528060258152602001612c1460259139611291565b9050610df6338583611360565b600191505092915050565b600080600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff1611610e6b576000610ee7565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b915050919050565b6000604051610efd906126e2565b6040518091039020604051806060016040528060228152602001612b966022913980519060200120610f2d611901565b30604051602001610f4194939291906127a2565b6040516020818303038152906040528051906020012090506000604051610f67906126f7565b6040518091039020888888604051602001610f85949392919061275d565b60405160208183030381529060405280519060200120905060008282604051602001610fb29291906126ab565b604051602081830303815290604052805190602001209050600060018288888860405160008152602001604052604051610fef94939291906127e7565b6020604051602081039080840390855afa158015611011573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561108d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611084906128b0565b60405180910390fd5b600560008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600081548092919060010191905055891461111c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161111390612890565b60405180910390fd5b8742111561115f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611156906128f0565b60405180910390fd5b611169818b611741565b50505050505050505050565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff16905092915050565b60405161122d906126f7565b604051809103902081565b6003602052816000526040600020602052806000526040600020600091509150508060000160009054906101000a900463ffffffff16908060000160049054906101000a90046bffffffffffffffffffffffff16905082565b60006c01000000000000000000000000831082906112e5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112dc919061284e565b60405180910390fd5b5082905092915050565b6000836bffffffffffffffffffffffff16836bffffffffffffffffffffffff1611158290611353576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161134a919061284e565b60405180910390fd5b5082840390509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156113d0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113c790612910565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611440576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161143790612870565b60405180910390fd5b6114ba600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff1682604051806060016040528060358152602001612bdf603591396112ef565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506115a1600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16826040518060600160405280602f8152602001612cf2602f913961190e565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161166b91906129aa565b60405180910390a361173c600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1683611984565b505050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905082600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f60405160405180910390a46118fb828483611984565b50505050565b6000804690508091505090565b6000808385019050846bffffffffffffffffffffffff16816bffffffffffffffffffffffff1610158390611978576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161196f919061284e565b60405180910390fd5b50809150509392505050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141580156119ce57506000816bffffffffffffffffffffffff16115b15611c7a57600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614611b26576000600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611611a71576000611aed565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000611b148285604051806060016040528060278152602001612bb8602791396112ef565b9050611b2286848484611c7f565b5050505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614611c79576000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611611bc4576000611c40565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000611c678285604051806060016040528060268152602001612c396026913961190e565b9050611c7585848484611c7f565b5050505b5b505050565b6000611ca343604051806060016040528060338152602001612cbf60339139611f72565b905060008463ffffffff16118015611d3857508063ffffffff16600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff16145b15611dd35781600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff160217905550611f1b565b60405180604001604052808263ffffffff168152602001836bffffffffffffffffffffffff16815250600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008663ffffffff1663ffffffff16815260200190815260200160002060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff16021790555090505060018401600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548163ffffffff021916908363ffffffff1602179055505b8473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248484604051611f639291906129e0565b60405180910390a25050505050565b600064010000000083108290611fbe576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611fb5919061284e565b60405180910390fd5b5082905092915050565b6040518060400160405280600063ffffffff16815260200160006bffffffffffffffffffffffff1681525090565b60008135905061200581612b22565b92915050565b60008135905061201a81612b39565b92915050565b60008135905061202f81612b50565b92915050565b60008135905061204481612b67565b92915050565b60008135905061205981612b7e565b92915050565b60006020828403121561207157600080fd5b600061207f84828501611ff6565b91505092915050565b6000806040838503121561209b57600080fd5b60006120a985828601611ff6565b92505060206120ba85828601611ff6565b9150509250929050565b6000806000606084860312156120d957600080fd5b60006120e786828701611ff6565b93505060206120f886828701611ff6565b925050604061210986828701612020565b9150509250925092565b6000806040838503121561212657600080fd5b600061213485828601611ff6565b925050602061214585828601612020565b9150509250929050565b60008060008060008060c0878903121561216857600080fd5b600061217689828a01611ff6565b965050602061218789828a01612020565b955050604061219889828a01612020565b94505060606121a989828a0161204a565b93505060806121ba89828a0161200b565b92505060a06121cb89828a0161200b565b9150509295509295509295565b600080604083850312156121eb57600080fd5b60006121f985828601611ff6565b925050602061220a85828601612035565b9150509250929050565b61221d81612a3b565b82525050565b61222c81612a4d565b82525050565b61223b81612a59565b82525050565b61225261224d82612a59565b612b07565b82525050565b600061226382612a14565b61226d8185612a1f565b935061227d818560208601612ad4565b61228681612b11565b840191505092915050565b600061229c82612a09565b6122a68185612a1f565b93506122b6818560208601612ad4565b6122bf81612b11565b840191505092915050565b60006122d7603983612a1f565b91507f5553463a3a5f7472616e73666572546f6b656e733a2063616e6e6f742074726160008301527f6e7366657220746f20746865207a65726f2061646472657373000000000000006020830152604082019050919050565b600061233d602183612a1f565b91507f5553463a3a64656c656761746542795369673a20696e76616c6964206e6f6e6360008301527f65000000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006123a3600283612a30565b91507f19010000000000000000000000000000000000000000000000000000000000006000830152600282019050919050565b60006123e3602583612a1f565b91507f5553463a3a64656c656761746542795369673a20696e76616c6964207369676e60008301527f61747572650000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000612449602683612a1f565b91507f5553463a3a6765745072696f72566f7465733a206e6f7420796574206465746560008301527f726d696e656400000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006124af604383612a30565b91507f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353660008301527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208301527f63742900000000000000000000000000000000000000000000000000000000006040830152604382019050919050565b600061253b602583612a1f565b91507f5553463a3a64656c656761746542795369673a207369676e617475726520657860008301527f70697265640000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006125a1603b83612a1f565b91507f5553463a3a5f7472616e73666572546f6b656e733a2063616e6e6f742074726160008301527f6e736665722066726f6d20746865207a65726f206164647265737300000000006020830152604082019050919050565b6000612607603a83612a30565b91507f44656c65676174696f6e28616464726573732064656c6567617465652c75696e60008301527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020830152603a82019050919050565b61266981612a83565b82525050565b61267881612a8d565b82525050565b61268781612a9d565b82525050565b61269681612ac2565b82525050565b6126a581612aaa565b82525050565b60006126b682612396565b91506126c28285612241565b6020820191506126d28284612241565b6020820191508190509392505050565b60006126ed826124a2565b9150819050919050565b6000612702826125fa565b9150819050919050565b60006020820190506127216000830184612214565b92915050565b600060208201905061273c6000830184612223565b92915050565b60006020820190506127576000830184612232565b92915050565b60006080820190506127726000830187612232565b61277f6020830186612214565b61278c6040830185612660565b6127996060830184612660565b95945050505050565b60006080820190506127b76000830187612232565b6127c46020830186612232565b6127d16040830185612660565b6127de6060830184612214565b95945050505050565b60006080820190506127fc6000830187612232565b612809602083018661267e565b6128166040830185612232565b6128236060830184612232565b95945050505050565b600060208201905081810360008301526128468184612291565b905092915050565b600060208201905081810360008301526128688184612258565b905092915050565b60006020820190508181036000830152612889816122ca565b9050919050565b600060208201905081810360008301526128a981612330565b9050919050565b600060208201905081810360008301526128c9816123d6565b9050919050565b600060208201905081810360008301526128e98161243c565b9050919050565b600060208201905081810360008301526129098161252e565b9050919050565b6000602082019050818103600083015261292981612594565b9050919050565b60006020820190506129456000830184612660565b92915050565b6000602082019050612960600083018461266f565b92915050565b600060408201905061297b600083018561266f565b612988602083018461269c565b9392505050565b60006020820190506129a4600083018461267e565b92915050565b60006020820190506129bf600083018461268d565b92915050565b60006020820190506129da600083018461269c565b92915050565b60006040820190506129f5600083018561268d565b612a02602083018461268d565b9392505050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b600081905092915050565b6000612a4682612a63565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600063ffffffff82169050919050565b600060ff82169050919050565b60006bffffffffffffffffffffffff82169050919050565b6000612acd82612aaa565b9050919050565b60005b83811015612af2578082015181840152602081019050612ad7565b83811115612b01576000848401525b50505050565b6000819050919050565b6000601f19601f8301169050919050565b612b2b81612a3b565b8114612b3657600080fd5b50565b612b4281612a59565b8114612b4d57600080fd5b50565b612b5981612a83565b8114612b6457600080fd5b50565b612b7081612a8d565b8114612b7b57600080fd5b50565b612b8781612a9d565b8114612b9257600080fd5b5056fe556e736c61736865642046696e616e636520476f7665726e616e636520546f6b656e5553463a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f77735553463a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e63655553463a3a7472616e736665723a20616d6f756e74206578636565647320393620626974735553463a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f77735553463a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e63655553463a3a617070726f76653a20616d6f756e74206578636565647320393620626974735553463a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d626572206578636565647320333220626974735553463a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f7773a365627a7a7231582062e1c5fbaddbcd31320f4dfb4a2e0892437ffdd1889aa305dcbe1601ae1ad4c46c6578706572696d656e74616cf564736f6c6343000510004000000000000000000000000038c1dcf5542898300088dca06a68beafe75be264

0x608060405234801561001057600080fd5b50600436106101215760003560e01c806370a08231116100ad578063b4b5ea5711610071578063b4b5ea5714610358578063c3cda52014610388578063dd62ed3e146103a4578063e7a324dc146103d4578063f1127ed8146103f257610121565b806370a082311461027a578063782d6fe1146102aa5780637ecebe00146102da57806395d89b411461030a578063a9059cbb1461032857610121565b806323b872dd116100f457806323b872dd146101b0578063313ce567146101e0578063587cde1e146101fe5780635c19a95c1461022e5780636fcfff451461024a57610121565b806306fdde0314610126578063095ea7b31461014457806318160ddd1461017457806320606b7014610192575b600080fd5b61012e610423565b60405161013b919061282c565b60405180910390f35b61015e60048036036101599190810190612113565b61043f565b60405161016b9190612727565b60405180910390f35b61017c6105d1565b6040516101899190612930565b60405180910390f35b61019a6105e0565b6040516101a79190612742565b60405180910390f35b6101ca60048036036101c591908101906120c4565b6105f7565b6040516101d79190612727565b60405180910390f35b6101e8610889565b6040516101f5919061298f565b60405180910390f35b6102186004803603610213919081019061205f565b61088e565b604051610225919061270c565b60405180910390f35b6102486004803603610243919081019061205f565b6108c1565b005b610264600480360361025f919081019061205f565b6108ce565b604051610271919061294b565b60405180910390f35b610294600480360361028f919081019061205f565b6108f1565b6040516102a19190612930565b60405180910390f35b6102c460048036036102bf9190810190612113565b610960565b6040516102d191906129c5565b60405180910390f35b6102f460048036036102ef919081019061205f565b610d73565b6040516103019190612930565b60405180910390f35b610312610d8b565b60405161031f919061282c565b60405180910390f35b610342600480360361033d9190810190612113565b610dc4565b60405161034f9190612727565b60405180910390f35b610372600480360361036d919081019061205f565b610e01565b60405161037f91906129c5565b60405180910390f35b6103a2600480360361039d919081019061214f565b610eef565b005b6103be60048036036103b99190810190612088565b611175565b6040516103cb9190612930565b60405180910390f35b6103dc611221565b6040516103e99190612742565b60405180910390f35b61040c600480360361040791908101906121d8565b611238565b60405161041a929190612966565b60405180910390f35b604051806060016040528060228152602001612b966022913981565b6000807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff831415610492577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90506104b7565b6104b483604051806060016040528060248152602001612c9b60249139611291565b90505b806000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516105be91906129aa565b60405180910390a3600191505092915050565b6a4723355778d7d41600000081565b6040516105ec906126e2565b604051809103902081565b60008033905060008060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905060006106b985604051806060016040528060248152602001612c9b60249139611291565b90508673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561073357507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6bffffffffffffffffffffffff16826bffffffffffffffffffffffff1614155b1561087057600061075d83836040518060600160405280603c8152602001612c5f603c91396112ef565b9050806000808a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161086691906129aa565b60405180910390a3505b61087b878783611360565b600193505050509392505050565b601281565b60026020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6108cb3382611741565b50565b60046020528060005260406000206000915054906101000a900463ffffffff1681565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff169050919050565b60004382106109a4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099b906128d0565b60405180910390fd5b6000600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff161415610a11576000915050610d6d565b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff1611610b1357600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff16915050610d6d565b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008063ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff161115610b94576000915050610d6d565b600080905060006001830390505b8163ffffffff168163ffffffff161115610cef576000600283830363ffffffff1681610bca57fe5b0482039050610bd7611fc8565b600360008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff1681526020019081526020016000206040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff1681525050905086816000015163ffffffff161415610cc757806020015195505050505050610d6d565b86816000015163ffffffff161015610ce157819350610ce8565b6001820392505b5050610ba2565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff1693505050505b92915050565b60056020528060005260406000206000915090505481565b6040518060400160405280600381526020017f555346000000000000000000000000000000000000000000000000000000000081525081565b600080610de983604051806060016040528060258152602001612c1460259139611291565b9050610df6338583611360565b600191505092915050565b600080600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff1611610e6b576000610ee7565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b915050919050565b6000604051610efd906126e2565b6040518091039020604051806060016040528060228152602001612b966022913980519060200120610f2d611901565b30604051602001610f4194939291906127a2565b6040516020818303038152906040528051906020012090506000604051610f67906126f7565b6040518091039020888888604051602001610f85949392919061275d565b60405160208183030381529060405280519060200120905060008282604051602001610fb29291906126ab565b604051602081830303815290604052805190602001209050600060018288888860405160008152602001604052604051610fef94939291906127e7565b6020604051602081039080840390855afa158015611011573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141561108d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611084906128b0565b60405180910390fd5b600560008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600081548092919060010191905055891461111c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161111390612890565b60405180910390fd5b8742111561115f576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611156906128f0565b60405180910390fd5b611169818b611741565b50505050505050505050565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff16905092915050565b60405161122d906126f7565b604051809103902081565b6003602052816000526040600020602052806000526040600020600091509150508060000160009054906101000a900463ffffffff16908060000160049054906101000a90046bffffffffffffffffffffffff16905082565b60006c01000000000000000000000000831082906112e5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112dc919061284e565b60405180910390fd5b5082905092915050565b6000836bffffffffffffffffffffffff16836bffffffffffffffffffffffff1611158290611353576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161134a919061284e565b60405180910390fd5b5082840390509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156113d0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113c790612910565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611440576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161143790612870565b60405180910390fd5b6114ba600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff1682604051806060016040528060358152602001612bdf603591396112ef565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506115a1600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16826040518060600160405280602f8152602001612cf2602f913961190e565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161166b91906129aa565b60405180910390a361173c600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1683611984565b505050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905082600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f60405160405180910390a46118fb828483611984565b50505050565b6000804690508091505090565b6000808385019050846bffffffffffffffffffffffff16816bffffffffffffffffffffffff1610158390611978576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161196f919061284e565b60405180910390fd5b50809150509392505050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141580156119ce57506000816bffffffffffffffffffffffff16115b15611c7a57600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614611b26576000600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611611a71576000611aed565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000611b148285604051806060016040528060278152602001612bb8602791396112ef565b9050611b2286848484611c7f565b5050505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614611c79576000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611611bc4576000611c40565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000611c678285604051806060016040528060268152602001612c396026913961190e565b9050611c7585848484611c7f565b5050505b5b505050565b6000611ca343604051806060016040528060338152602001612cbf60339139611f72565b905060008463ffffffff16118015611d3857508063ffffffff16600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff16145b15611dd35781600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff160217905550611f1b565b60405180604001604052808263ffffffff168152602001836bffffffffffffffffffffffff16815250600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008663ffffffff1663ffffffff16815260200190815260200160002060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff16021790555090505060018401600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548163ffffffff021916908363ffffffff1602179055505b8473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248484604051611f639291906129e0565b60405180910390a25050505050565b600064010000000083108290611fbe576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611fb5919061284e565b60405180910390fd5b5082905092915050565b6040518060400160405280600063ffffffff16815260200160006bffffffffffffffffffffffff1681525090565b60008135905061200581612b22565b92915050565b60008135905061201a81612b39565b92915050565b60008135905061202f81612b50565b92915050565b60008135905061204481612b67565b92915050565b60008135905061205981612b7e565b92915050565b60006020828403121561207157600080fd5b600061207f84828501611ff6565b91505092915050565b6000806040838503121561209b57600080fd5b60006120a985828601611ff6565b92505060206120ba85828601611ff6565b9150509250929050565b6000806000606084860312156120d957600080fd5b60006120e786828701611ff6565b93505060206120f886828701611ff6565b925050604061210986828701612020565b9150509250925092565b6000806040838503121561212657600080fd5b600061213485828601611ff6565b925050602061214585828601612020565b9150509250929050565b60008060008060008060c0878903121561216857600080fd5b600061217689828a01611ff6565b965050602061218789828a01612020565b955050604061219889828a01612020565b94505060606121a989828a0161204a565b93505060806121ba89828a0161200b565b92505060a06121cb89828a0161200b565b9150509295509295509295565b600080604083850312156121eb57600080fd5b60006121f985828601611ff6565b925050602061220a85828601612035565b9150509250929050565b61221d81612a3b565b82525050565b61222c81612a4d565b82525050565b61223b81612a59565b82525050565b61225261224d82612a59565b612b07565b82525050565b600061226382612a14565b61226d8185612a1f565b935061227d818560208601612ad4565b61228681612b11565b840191505092915050565b600061229c82612a09565b6122a68185612a1f565b93506122b6818560208601612ad4565b6122bf81612b11565b840191505092915050565b60006122d7603983612a1f565b91507f5553463a3a5f7472616e73666572546f6b656e733a2063616e6e6f742074726160008301527f6e7366657220746f20746865207a65726f2061646472657373000000000000006020830152604082019050919050565b600061233d602183612a1f565b91507f5553463a3a64656c656761746542795369673a20696e76616c6964206e6f6e6360008301527f65000000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006123a3600283612a30565b91507f19010000000000000000000000000000000000000000000000000000000000006000830152600282019050919050565b60006123e3602583612a1f565b91507f5553463a3a64656c656761746542795369673a20696e76616c6964207369676e60008301527f61747572650000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000612449602683612a1f565b91507f5553463a3a6765745072696f72566f7465733a206e6f7420796574206465746560008301527f726d696e656400000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006124af604383612a30565b91507f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353660008301527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208301527f63742900000000000000000000000000000000000000000000000000000000006040830152604382019050919050565b600061253b602583612a1f565b91507f5553463a3a64656c656761746542795369673a207369676e617475726520657860008301527f70697265640000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006125a1603b83612a1f565b91507f5553463a3a5f7472616e73666572546f6b656e733a2063616e6e6f742074726160008301527f6e736665722066726f6d20746865207a65726f206164647265737300000000006020830152604082019050919050565b6000612607603a83612a30565b91507f44656c65676174696f6e28616464726573732064656c6567617465652c75696e60008301527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020830152603a82019050919050565b61266981612a83565b82525050565b61267881612a8d565b82525050565b61268781612a9d565b82525050565b61269681612ac2565b82525050565b6126a581612aaa565b82525050565b60006126b682612396565b91506126c28285612241565b6020820191506126d28284612241565b6020820191508190509392505050565b60006126ed826124a2565b9150819050919050565b6000612702826125fa565b9150819050919050565b60006020820190506127216000830184612214565b92915050565b600060208201905061273c6000830184612223565b92915050565b60006020820190506127576000830184612232565b92915050565b60006080820190506127726000830187612232565b61277f6020830186612214565b61278c6040830185612660565b6127996060830184612660565b95945050505050565b60006080820190506127b76000830187612232565b6127c46020830186612232565b6127d16040830185612660565b6127de6060830184612214565b95945050505050565b60006080820190506127fc6000830187612232565b612809602083018661267e565b6128166040830185612232565b6128236060830184612232565b95945050505050565b600060208201905081810360008301526128468184612291565b905092915050565b600060208201905081810360008301526128688184612258565b905092915050565b60006020820190508181036000830152612889816122ca565b9050919050565b600060208201905081810360008301526128a981612330565b9050919050565b600060208201905081810360008301526128c9816123d6565b9050919050565b600060208201905081810360008301526128e98161243c565b9050919050565b600060208201905081810360008301526129098161252e565b9050919050565b6000602082019050818103600083015261292981612594565b9050919050565b60006020820190506129456000830184612660565b92915050565b6000602082019050612960600083018461266f565b92915050565b600060408201905061297b600083018561266f565b612988602083018461269c565b9392505050565b60006020820190506129a4600083018461267e565b92915050565b60006020820190506129bf600083018461268d565b92915050565b60006020820190506129da600083018461269c565b92915050565b60006040820190506129f5600083018561268d565b612a02602083018461268d565b9392505050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b600081905092915050565b6000612a4682612a63565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600063ffffffff82169050919050565b600060ff82169050919050565b60006bffffffffffffffffffffffff82169050919050565b6000612acd82612aaa565b9050919050565b60005b83811015612af2578082015181840152602081019050612ad7565b83811115612b01576000848401525b50505050565b6000819050919050565b6000601f19601f8301169050919050565b612b2b81612a3b565b8114612b3657600080fd5b50565b612b4281612a59565b8114612b4d57600080fd5b50565b612b5981612a83565b8114612b6457600080fd5b50565b612b7081612a8d565b8114612b7b57600080fd5b50565b612b8781612a9d565b8114612b9257600080fd5b5056fe556e736c61736865642046696e616e636520476f7665726e616e636520546f6b656e5553463a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f77735553463a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e63655553463a3a7472616e736665723a20616d6f756e74206578636565647320393620626974735553463a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f77735553463a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e63655553463a3a617070726f76653a20616d6f756e74206578636565647320393620626974735553463a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d626572206578636565647320333220626974735553463a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f7773a365627a7a7231582062e1c5fbaddbcd31320f4dfb4a2e0892437ffdd1889aa305dcbe1601ae1ad4c46c6578706572696d656e74616cf564736f6c63430005100040

00000000000000000000000038c1dcf5542898300088dca06a68beafe75be264

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

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 00000000000000000000000038c1dcf5542898300088dca06a68beafe75be264

63:12839:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;63:12839:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;133:66;;;:::i;:::-;;;;;;;;;;;;;;;;3698:418;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;459:46;;;:::i;:::-;;;;;;;;;;;;;;;;1388:122;;;:::i;:::-;;;;;;;;;;;;;;;;5238:670;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;360:35;;;:::i;:::-;;;;;;;;;;;;;;;;838:45;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;6056:102;;;;;;;;;;;;;;;;:::i;:::-;;1266:49;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;4319:108;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;8232:1217;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1802:39;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;260:37;;;:::i;:::-;;;;;;;;;;;;;;;;4691:237;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;7579:222;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;6592:786;;;;;;;;;;;;;;;;:::i;:::-;;3084:136;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1604:117;;;:::i;:::-;;;;;;;;;;;;;;;;1127:70;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;133:66;;;;;;;;;;;;;;;;;;;:::o;3698:418::-;3766:4;3783:13;3829:2;3811:9;:21;3807:172;;;3865:2;3849:19;;3807:172;;;3910:57;3917:9;3910:57;;;;;;;;;;;;;;;;;:6;:57::i;:::-;3901:66;;3807:172;4025:6;3991:10;:22;4002:10;3991:22;;;;;;;;;;;;;;;:31;4014:7;3991:31;;;;;;;;;;;;;;;;:40;;;;;;;;;;;;;;;;;;4070:7;4049:37;;4058:10;4049:37;;;4079:6;4049:37;;;;;;;;;;;;;;;4104:4;4097:11;;;3698:418;;;;:::o;459:46::-;494:11;459:46;:::o;1388:122::-;1430:80;;;;;;;;;;;;;;1388:122;:::o;5238:670::-;5320:4;5337:15;5355:10;5337:28;;5376:23;5402:10;:15;5413:3;5402:15;;;;;;;;;;;;;;;:24;5418:7;5402:24;;;;;;;;;;;;;;;;;;;;;;;;;5376:50;;5437:13;5453:57;5460:9;5453:57;;;;;;;;;;;;;;;;;:6;:57::i;:::-;5437:73;;5538:3;5527:14;;:7;:14;;;;:48;;;;;5572:2;5545:30;;:16;:30;;;;5527:48;5523:310;;;5592:19;5614:95;5620:16;5638:6;5614:95;;;;;;;;;;;;;;;;;:5;:95::i;:::-;5592:117;;5751:12;5724:10;:15;5735:3;5724:15;;;;;;;;;;;;;;;:24;5740:7;5724:24;;;;;;;;;;;;;;;;:39;;;;;;;;;;;;;;;;;;5799:7;5785:36;;5794:3;5785:36;;;5808:12;5785:36;;;;;;;;;;;;;;;5523:310;;5845:33;5861:3;5866;5871:6;5845:15;:33::i;:::-;5896:4;5889:11;;;;;5238:670;;;;;:::o;360:35::-;393:2;360:35;:::o;838:45::-;;;;;;;;;;;;;;;;;;;;;;:::o;6056:102::-;6118:32;6128:10;6140:9;6118;:32::i;:::-;6056:102;:::o;1266:49::-;;;;;;;;;;;;;;;;;;;;;;:::o;4319:108::-;4378:4;4402:8;:17;4411:7;4402:17;;;;;;;;;;;;;;;;;;;;;;;;;4395:24;;;;4319:108;;;:::o;8232:1217::-;8311:6;8352:12;8338:11;:26;8330:77;;;;;;;;;;;;;;;;;;;;;;8420:19;8442:14;:23;8457:7;8442:23;;;;;;;;;;;;;;;;;;;;;;;;;8420:45;;8496:1;8480:12;:17;;;8476:58;;;8521:1;8514:8;;;;;8476:58;8646:11;8594;:20;8606:7;8594:20;;;;;;;;;;;;;;;:38;8630:1;8615:12;:16;8594:38;;;;;;;;;;;;;;;:48;;;;;;;;;;;;:63;;;8590:147;;8681:11;:20;8693:7;8681:20;;;;;;;;;;;;;;;:38;8717:1;8702:12;:16;8681:38;;;;;;;;;;;;;;;:44;;;;;;;;;;;;8674:51;;;;;8590:147;8834:11;8798;:20;8810:7;8798:20;;;;;;;;;;;;;;;:23;8819:1;8798:23;;;;;;;;;;;;;:33;;;;;;;;;;;;:47;;;8794:88;;;8869:1;8862:8;;;;;8794:88;8894:12;8909:1;8894:16;;8921:12;8951:1;8936:12;:16;8921:31;;8963:428;8978:5;8970:13;;:5;:13;;;8963:428;;;9000:13;9042:1;9033:5;9025;:13;9024:19;;;;;;;;9016:5;:27;9000:43;;9085:20;;:::i;:::-;9108:11;:20;9120:7;9108:20;;;;;;;;;;;;;;;:28;9129:6;9108:28;;;;;;;;;;;;;;;9085:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9171:11;9155:2;:12;;;:27;;;9151:229;;;9210:2;:8;;;9203:15;;;;;;;;;9151:229;9259:11;9244:2;:12;;;:26;;;9240:140;;;9299:6;9291:14;;9240:140;;;9363:1;9354:6;:10;9346:18;;9240:140;8963:428;;;;;9408:11;:20;9420:7;9408:20;;;;;;;;;;;;;;;:27;9429:5;9408:27;;;;;;;;;;;;;;;:33;;;;;;;;;;;;9401:40;;;;;8232:1217;;;;;:::o;1802:39::-;;;;;;;;;;;;;;;;;:::o;260:37::-;;;;;;;;;;;;;;;;;;;:::o;4691:237::-;4756:4;4773:13;4789:58;4796:9;4789:58;;;;;;;;;;;;;;;;;:6;:58::i;:::-;4773:74;;4858:40;4874:10;4886:3;4891:6;4858:15;:40::i;:::-;4916:4;4909:11;;;4691:237;;;;:::o;7579:222::-;7644:6;7663:19;7685:14;:23;7700:7;7685:23;;;;;;;;;;;;;;;;;;;;;;;;;7663:45;;7741:1;7726:12;:16;;;:67;;7792:1;7726:67;;;7745:11;:20;7757:7;7745:20;;;;;;;;;;;;;;;:38;7781:1;7766:12;:16;7745:38;;;;;;;;;;;;;;;:44;;;;;;;;;;;;7726:67;7719:74;;;7579:222;;;:::o;6592:786::-;6708:23;1430:80;;;;;;;;;;;;;;6788:4;;;;;;;;;;;;;;;;;6772:22;;;;;;6796:12;:10;:12::i;:::-;6818:4;6744:80;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6744:80:0;;;6734:91;;;;;;6708:117;;6836:18;1650:71;;;;;;;;;;;;;;6899:9;6910:5;6917:6;6867:57;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6867:57:0;;;6857:68;;;;;;6836:89;;6936:14;6992:15;7009:10;6963:57;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6963:57:0;;;6953:68;;;;;;6936:85;;7032:17;7052:26;7062:6;7070:1;7073;7076;7052:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7052:26:0;;;;;;;;7032:46;;7118:1;7097:23;;:9;:23;;;;7089:73;;;;;;;;;;;;;;;;;;;;;;7190:6;:17;7197:9;7190:17;;;;;;;;;;;;;;;;:19;;;;;;;;;;;;7181:5;:28;7173:74;;;;;;;;;;;;;;;;;;;;;;7273:6;7266:3;:13;;7258:63;;;;;;;;;;;;;;;;;;;;;;7339:31;7349:9;7360;7339;:31::i;:::-;7332:38;;;;6592:786;;;;;;:::o;3084:136::-;3160:4;3184:10;:19;3195:7;3184:19;;;;;;;;;;;;;;;:28;3204:7;3184:28;;;;;;;;;;;;;;;;;;;;;;;;;3177:35;;;;3084:136;;;;:::o;1604:117::-;1650:71;;;;;;;;;;;;;;1604:117;:::o;1127:70::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;12208:161::-;12283:6;12314:5;12310:1;:9;12321:12;12302:32;;;;;;;;;;;;;;;;;;;;;;;;;12359:1;12345:16;;12208:161;;;;:::o;12573:165::-;12659:6;12691:1;12686:6;;:1;:6;;;;12694:12;12678:29;;;;;;;;;;;;;;;;;;;;;;;;;12729:1;12725;:5;12718:12;;12573:165;;;;;:::o;9840:610::-;9949:1;9934:17;;:3;:17;;;;9926:89;;;;;;;;;;;;;;;;;;;;;;10049:1;10034:17;;:3;:17;;;;10026:87;;;;;;;;;;;;;;;;;;;;;;10142:85;10148:8;:13;10157:3;10148:13;;;;;;;;;;;;;;;;;;;;;;;;;10163:6;10142:85;;;;;;;;;;;;;;;;;:5;:85::i;:::-;10126:8;:13;10135:3;10126:13;;;;;;;;;;;;;;;;:101;;;;;;;;;;;;;;;;;;10254:79;10260:8;:13;10269:3;10260:13;;;;;;;;;;;;;;;;;;;;;;;;;10275:6;10254:79;;;;;;;;;;;;;;;;;:5;:79::i;:::-;10238:8;:13;10247:3;10238:13;;;;;;;;;;;;;;;;:95;;;;;;;;;;;;;;;;;;10363:3;10349:26;;10358:3;10349:26;;;10368:6;10349:26;;;;;;;;;;;;;;;10388:54;10403:9;:14;10413:3;10403:14;;;;;;;;;;;;;;;;;;;;;;;;;10419:9;:14;10429:3;10419:14;;;;;;;;;;;;;;;;;;;;;;;;;10435:6;10388:14;:54::i;:::-;9840:610;;;:::o;9457:375::-;9534:23;9560:9;:20;9570:9;9560:20;;;;;;;;;;;;;;;;;;;;;;;;;9534:46;;9591:23;9617:8;:19;9626:9;9617:19;;;;;;;;;;;;;;;;;;;;;;;;;9591:45;;9670:9;9647;:20;9657:9;9647:20;;;;;;;;;;;;;;;;:32;;;;;;;;;;;;;;;;;;9741:9;9697:54;;9724:15;9697:54;;9713:9;9697:54;;;;;;;;;;;;9764:60;9779:15;9796:9;9807:16;9764:14;:60::i;:::-;9457:375;;;;:::o;12746:153::-;12791:4;12808:15;12856:9;12845:20;;12884:7;12877:14;;;12746:153;:::o;12377:188::-;12463:6;12482:8;12497:1;12493;:5;12482:16;;12522:1;12517:6;;:1;:6;;;;12525:12;12509:29;;;;;;;;;;;;;;;;;;;;;;;;;12556:1;12549:8;;;12377:188;;;;;:::o;10458:937::-;10563:6;10553:16;;:6;:16;;;;:30;;;;;10582:1;10573:6;:10;;;10553:30;10549:839;;;10622:1;10604:20;;:6;:20;;;10600:381;;10645:16;10664:14;:22;10679:6;10664:22;;;;;;;;;;;;;;;;;;;;;;;;;10645:41;;10705:16;10736:1;10724:9;:13;;;:60;;10783:1;10724:60;;;10740:11;:19;10752:6;10740:19;;;;;;;;;;;;;;;:34;10772:1;10760:9;:13;10740:34;;;;;;;;;;;;;;;:40;;;;;;;;;;;;10724:60;10705:79;;10803:16;10822:67;10828:9;10839:6;10822:67;;;;;;;;;;;;;;;;;:5;:67::i;:::-;10803:86;;10908:57;10925:6;10933:9;10944;10955;10908:16;:57::i;:::-;10600:381;;;;11019:1;11001:20;;:6;:20;;;10997:380;;11042:16;11061:14;:22;11076:6;11061:22;;;;;;;;;;;;;;;;;;;;;;;;;11042:41;;11102:16;11133:1;11121:9;:13;;;:60;;11180:1;11121:60;;;11137:11;:19;11149:6;11137:19;;;;;;;;;;;;;;;:34;11169:1;11157:9;:13;11137:34;;;;;;;;;;;;;;;:40;;;;;;;;;;;;11121:60;11102:79;;11200:16;11219:66;11225:9;11236:6;11219:66;;;;;;;;;;;;;;;;;:5;:66::i;:::-;11200:85;;11304:57;11321:6;11329:9;11340;11351;11304:16;:57::i;:::-;10997:380;;;;10549:839;10458:937;;;:::o;11403:628::-;11521:18;11542:75;11549:12;11542:75;;;;;;;;;;;;;;;;;:6;:75::i;:::-;11521:96;;11647:1;11632:12;:16;;;:85;;;;;11706:11;11652:65;;:11;:22;11664:9;11652:22;;;;;;;;;;;;;;;:40;11690:1;11675:12;:16;11652:40;;;;;;;;;;;;;;;:50;;;;;;;;;;;;:65;;;11632:85;11628:329;;;11781:8;11732:11;:22;11744:9;11732:22;;;;;;;;;;;;;;;:40;11770:1;11755:12;:16;11732:40;;;;;;;;;;;;;;;:46;;;:57;;;;;;;;;;;;;;;;;;11628:329;;;11857:33;;;;;;;;11868:11;11857:33;;;;;;11881:8;11857:33;;;;;11818:11;:22;11830:9;11818:22;;;;;;;;;;;;;;;:36;11841:12;11818:36;;;;;;;;;;;;;;;:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11946:1;11931:12;:16;11903:14;:25;11918:9;11903:25;;;;;;;;;;;;;;;;:44;;;;;;;;;;;;;;;;;;11628:329;11993:9;11972:51;;;12004:8;12014;11972:51;;;;;;;;;;;;;;;;11403:628;;;;;:::o;12039:161::-;12114:6;12145:5;12141:1;:9;12152:12;12133:32;;;;;;;;;;;;;;;;;;;;;;;;;12190:1;12176:16;;12039:161;;;;:::o;63:12839::-;;;;;;;;;;;;;;;;;;;;;;;:::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:394;;4790:67;4854:2;4849:3;4790:67;;;4783:74;;4890:34;4886:1;4881:3;4877:11;4870:55;4959:27;4954:2;4949:3;4945:12;4938:49;5015:2;5010:3;5006:12;4999:19;;4776:248;;;;5033:370;;5193:67;5257:2;5252:3;5193:67;;;5186:74;;5293:34;5289:1;5284:3;5280:11;5273:55;5362:3;5357:2;5352:3;5348:12;5341:25;5394:2;5389:3;5385:12;5378:19;;5179:224;;;;5412:398;;5590:84;5672:1;5667:3;5590:84;;;5583:91;;5707:66;5703:1;5698:3;5694:11;5687:87;5802:1;5797:3;5793:11;5786:18;;5576:234;;;;5819:374;;5979:67;6043:2;6038:3;5979:67;;;5972:74;;6079:34;6075:1;6070:3;6066:11;6059:55;6148:7;6143:2;6138:3;6134:12;6127:29;6184:2;6179:3;6175:12;6168:19;;5965:228;;;;6202:375;;6362:67;6426:2;6421:3;6362:67;;;6355:74;;6462:34;6458:1;6453:3;6449:11;6442:55;6531:8;6526:2;6521:3;6517:12;6510:30;6568:2;6563:3;6559:12;6552:19;;6348:229;;;;6586:477;;6764:85;6846:2;6841:3;6764:85;;;6757:92;;6882:34;6878:1;6873:3;6869:11;6862:55;6951:34;6946:2;6941:3;6937:12;6930:56;7020:5;7015:2;7010:3;7006:12;6999:27;7054:2;7049:3;7045:12;7038:19;;6750:313;;;;7072:374;;7232:67;7296:2;7291:3;7232:67;;;7225:74;;7332:34;7328:1;7323:3;7319:11;7312:55;7401:7;7396:2;7391:3;7387:12;7380:29;7437:2;7432:3;7428:12;7421:19;;7218:228;;;;7455:396;;7615:67;7679:2;7674:3;7615:67;;;7608:74;;7715:34;7711:1;7706:3;7702:11;7695:55;7784:29;7779:2;7774:3;7770:12;7763:51;7842:2;7837:3;7833:12;7826:19;;7601:250;;;;7860:431;;8038:85;8120:2;8115:3;8038:85;;;8031:92;;8156:34;8152:1;8147:3;8143:11;8136:55;8225:28;8220:2;8215:3;8211:12;8204:50;8282:2;8277:3;8273:12;8266:19;;8024:267;;;;8299:113;8382:24;8400:5;8382:24;;;8377:3;8370:37;8364:48;;;8419:110;8500:23;8517:5;8500:23;;;8495:3;8488:36;8482:47;;;8536:107;8615:22;8631:5;8615:22;;;8610:3;8603:35;8597:46;;;8650:124;8732:36;8762:5;8732:36;;;8727:3;8720:49;8714:60;;;8781:110;8862:23;8879:5;8862:23;;;8857:3;8850:36;8844:47;;;8898:650;;9153:148;9297:3;9153:148;;;9146:155;;9312:75;9383:3;9374:6;9312:75;;;9409:2;9404:3;9400:12;9393:19;;9423:75;9494:3;9485:6;9423:75;;;9520:2;9515:3;9511:12;9504:19;;9540:3;9533:10;;9134:414;;;;;;9555:372;;9754:148;9898:3;9754:148;;;9747:155;;9919:3;9912:10;;9735:192;;;;9934:372;;10133:148;10277:3;10133:148;;;10126:155;;10298:3;10291:10;;10114:192;;;;10313:213;;10431:2;10420:9;10416:18;10408:26;;10445:71;10513:1;10502:9;10498:17;10489:6;10445:71;;;10402:124;;;;;10533:201;;10645:2;10634:9;10630:18;10622:26;;10659:65;10721:1;10710:9;10706:17;10697:6;10659:65;;;10616:118;;;;;10741:213;;10859:2;10848:9;10844:18;10836:26;;10873:71;10941:1;10930:9;10926:17;10917:6;10873:71;;;10830:124;;;;;10961:547;;11163:3;11152:9;11148:19;11140:27;;11178:71;11246:1;11235:9;11231:17;11222:6;11178:71;;;11260:72;11328:2;11317:9;11313:18;11304:6;11260:72;;;11343;11411:2;11400:9;11396:18;11387:6;11343:72;;;11426;11494:2;11483:9;11479:18;11470:6;11426:72;;;11134:374;;;;;;;;11515:547;;11717:3;11706:9;11702:19;11694:27;;11732:71;11800:1;11789:9;11785:17;11776:6;11732:71;;;11814:72;11882:2;11871:9;11867:18;11858:6;11814:72;;;11897;11965:2;11954:9;11950:18;11941:6;11897:72;;;11980;12048:2;12037:9;12033:18;12024:6;11980:72;;;11688:374;;;;;;;;12069:539;;12267:3;12256:9;12252:19;12244:27;;12282:71;12350:1;12339:9;12335:17;12326:6;12282:71;;;12364:68;12428:2;12417:9;12413:18;12404:6;12364:68;;;12443:72;12511:2;12500:9;12496:18;12487:6;12443:72;;;12526;12594:2;12583:9;12579:18;12570:6;12526:72;;;12238:370;;;;;;;;12615:293;;12749:2;12738:9;12734:18;12726:26;;12799:9;12793:4;12789:20;12785:1;12774:9;12770:17;12763:47;12824:74;12893:4;12884:6;12824:74;;;12816:82;;12720:188;;;;;12915:301;;13053:2;13042:9;13038:18;13030:26;;13103:9;13097:4;13093:20;13089:1;13078:9;13074:17;13067:47;13128:78;13201:4;13192:6;13128:78;;;13120:86;;13024:192;;;;;13223:407;;13414:2;13403:9;13399:18;13391:26;;13464:9;13458:4;13454:20;13450:1;13439:9;13435:17;13428:47;13489:131;13615:4;13489:131;;;13481:139;;13385:245;;;;13637:407;;13828:2;13817:9;13813:18;13805:26;;13878:9;13872:4;13868:20;13864:1;13853:9;13849:17;13842:47;13903:131;14029:4;13903:131;;;13895:139;;13799:245;;;;14051:407;;14242:2;14231:9;14227:18;14219:26;;14292:9;14286:4;14282:20;14278:1;14267:9;14263:17;14256:47;14317:131;14443:4;14317:131;;;14309:139;;14213:245;;;;14465:407;;14656:2;14645:9;14641:18;14633:26;;14706:9;14700:4;14696:20;14692:1;14681:9;14677:17;14670:47;14731:131;14857:4;14731:131;;;14723:139;;14627:245;;;;14879:407;;15070:2;15059:9;15055:18;15047:26;;15120:9;15114:4;15110:20;15106:1;15095:9;15091:17;15084:47;15145:131;15271:4;15145:131;;;15137:139;;15041:245;;;;15293:407;;15484:2;15473:9;15469:18;15461:26;;15534:9;15528:4;15524:20;15520:1;15509:9;15505:17;15498:47;15559:131;15685:4;15559:131;;;15551:139;;15455:245;;;;15707:213;;15825:2;15814:9;15810:18;15802:26;;15839:71;15907:1;15896:9;15892:17;15883:6;15839:71;;;15796:124;;;;;15927:209;;16043:2;16032:9;16028:18;16020:26;;16057:69;16123:1;16112:9;16108:17;16099:6;16057:69;;;16014:122;;;;;16143:316;;16285:2;16274:9;16270:18;16262:26;;16299:69;16365:1;16354:9;16350:17;16341:6;16299:69;;;16379:70;16445:2;16434:9;16430:18;16421:6;16379:70;;;16256:203;;;;;;16466:205;;16580:2;16569:9;16565:18;16557:26;;16594:67;16658:1;16647:9;16643:17;16634:6;16594:67;;;16551:120;;;;;16678:211;;16795:2;16784:9;16780:18;16772:26;;16809:70;16876:1;16865:9;16861:17;16852:6;16809:70;;;16766:123;;;;;16896:209;;17012:2;17001:9;16997:18;16989:26;;17026:69;17092:1;17081:9;17077:17;17068:6;17026:69;;;16983:122;;;;;17112:320;;17256:2;17245:9;17241:18;17233:26;;17270:70;17337:1;17326:9;17322:17;17313:6;17270:70;;;17351:71;17418:2;17407:9;17403:18;17394:6;17351:71;;;17227:205;;;;;;17439:118;;17529:5;17523:12;17513:22;;17494:63;;;;17564:122;;17658:5;17652:12;17642:22;;17623:63;;;;17694:163;;17809:6;17804:3;17797:19;17846:4;17841:3;17837:14;17822:29;;17790:67;;;;;17866:145;;18002:3;17987:18;;17980:31;;;;;18019:91;;18081:24;18099:5;18081:24;;;18070:35;;18064:46;;;;18117:85;;18190:5;18183:13;18176:21;18165:32;;18159:43;;;;18209:72;;18271:5;18260:16;;18254:27;;;;18288:121;;18361:42;18354:5;18350:54;18339:65;;18333:76;;;;18416:72;;18478:5;18467:16;;18461:27;;;;18495:88;;18567:10;18560:5;18556:22;18545:33;;18539:44;;;;18590:81;;18661:4;18654:5;18650:16;18639:27;;18633:38;;;;18678:104;;18750:26;18743:5;18739:38;18728:49;;18722:60;;;;18789:106;;18867:23;18884:5;18867:23;;;18854:36;;18848:47;;;;18903:268;18968:1;18975:101;18989:6;18986:1;18983:13;18975:101;;;19065:1;19060:3;19056:11;19050:18;19046:1;19041:3;19037:11;19030:39;19011:2;19008:1;19004:10;18999:15;;18975:101;;;19091:6;19088:1;19085:13;19082:2;;;19156:1;19147:6;19142:3;19138:16;19131:27;19082:2;18952:219;;;;;19179:74;;19243:5;19232:16;;19226:27;;;;19260:97;;19348:2;19344:7;19339:2;19332:5;19328:14;19324:28;19314:38;;19308:49;;;;19365:117;19434:24;19452:5;19434:24;;;19427:5;19424:35;19414:2;;19473:1;19470;19463:12;19414:2;19408:74;;19489:117;19558:24;19576:5;19558:24;;;19551:5;19548:35;19538:2;;19597:1;19594;19587:12;19538:2;19532:74;;19613:117;19682:24;19700:5;19682:24;;;19675:5;19672:35;19662:2;;19721:1;19718;19711:12;19662:2;19656:74;;19737:115;19805:23;19822:5;19805:23;;;19798:5;19795:34;19785:2;;19843:1;19840;19833:12;19785:2;19779:73;;19859:113;19926:22;19942:5;19926:22;;;19919:5;19916:33;19906:2;;19963:1;19960;19953:12;19906:2;19900:72;

bzzr://62e1c5fbaddbcd31320f4dfb4a2e0892437ffdd1889aa305dcbe1601ae1ad4c4