Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract STRK *
•    - 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-11
*/

pragma solidity ^0.5.16;
pragma experimental ABIEncoderV2;

contract STRK {
    /// @notice EIP-20 token name for this token
    string public constant name = "Strike Token";

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

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

    /// @notice Total number of tokens in circulation
    uint public constant totalSupply = 6540888e18; // 6540888 STRK

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

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

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

60806040523480156200001157600080fd5b5060405162002f8638038062002f86833981810160405262000037919081019062000141565b6a0569163fbd1a2002600000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6a0569163fbd1a20026000006040516200011b91906200017e565b60405180910390a350620001f3565b6000815190506200013b81620001d9565b92915050565b6000602082840312156200015457600080fd5b600062000164848285016200012a565b91505092915050565b6200017881620001cf565b82525050565b60006020820190506200019560008301846200016d565b92915050565b6000620001a882620001af565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b620001e4816200019b565b8114620001f057600080fd5b50565b612d8380620002036000396000f3fe608060405234801561001057600080fd5b50600436106101215760003560e01c806370a08231116100ad578063b4b5ea5711610071578063b4b5ea5714610358578063c3cda52014610388578063dd62ed3e146103a4578063e7a324dc146103d4578063f1127ed8146103f257610121565b806370a082311461027a578063782d6fe1146102aa5780637ecebe00146102da57806395d89b411461030a578063a9059cbb1461032857610121565b806323b872dd116100f457806323b872dd146101b0578063313ce567146101e0578063587cde1e146101fe5780635c19a95c1461022e5780636fcfff451461024a57610121565b806306fdde0314610126578063095ea7b31461014457806318160ddd1461017457806320606b7014610192575b600080fd5b61012e610423565b60405161013b9190612866565b60405180910390f35b61015e6004803603610159919081019061214d565b61045c565b60405161016b9190612761565b60405180910390f35b61017c6105ee565b604051610189919061296a565b60405180910390f35b61019a6105fd565b6040516101a7919061277c565b60405180910390f35b6101ca60048036036101c591908101906120fe565b610614565b6040516101d79190612761565b60405180910390f35b6101e86108a6565b6040516101f591906129c9565b60405180910390f35b61021860048036036102139190810190612099565b6108ab565b6040516102259190612746565b60405180910390f35b61024860048036036102439190810190612099565b6108de565b005b610264600480360361025f9190810190612099565b6108eb565b6040516102719190612985565b60405180910390f35b610294600480360361028f9190810190612099565b61090e565b6040516102a1919061296a565b60405180910390f35b6102c460048036036102bf919081019061214d565b61097d565b6040516102d191906129ff565b60405180910390f35b6102f460048036036102ef9190810190612099565b610d90565b604051610301919061296a565b60405180910390f35b610312610da8565b60405161031f9190612866565b60405180910390f35b610342600480360361033d919081019061214d565b610de1565b60405161034f9190612761565b60405180910390f35b610372600480360361036d9190810190612099565b610e1e565b60405161037f91906129ff565b60405180910390f35b6103a2600480360361039d9190810190612189565b610f0c565b005b6103be60048036036103b991908101906120c2565b6111af565b6040516103cb919061296a565b60405180910390f35b6103dc61125b565b6040516103e9919061277c565b60405180910390f35b61040c60048036036104079190810190612212565b611272565b60405161041a9291906129a0565b60405180910390f35b6040518060400160405280600c81526020017f537472696b6520546f6b656e000000000000000000000000000000000000000081525081565b6000807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8314156104af577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90506104d4565b6104d183604051806060016040528060258152602001612ccd602591396112cb565b90505b806000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516105db91906129e4565b60405180910390a3600191505092915050565b6a0569163fbd1a200260000081565b6040516106099061271c565b604051809103902081565b60008033905060008060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905060006106d685604051806060016040528060258152602001612ccd602591396112cb565b90508673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561075057507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6bffffffffffffffffffffffff16826bffffffffffffffffffffffff1614155b1561088d57600061077a83836040518060600160405280603d8152602001612bd0603d9139611329565b9050806000808a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161088391906129e4565b60405180910390a3505b61089887878361139a565b600193505050509392505050565b601281565b60026020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6108e8338261177b565b50565b60046020528060005260406000206000915054906101000a900463ffffffff1681565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff169050919050565b60004382106109c1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109b89061292a565b60405180910390fd5b6000600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff161415610a2e576000915050610d8a565b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff1611610b3057600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff16915050610d8a565b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008063ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff161115610bb1576000915050610d8a565b600080905060006001830390505b8163ffffffff168163ffffffff161115610d0c576000600283830363ffffffff1681610be757fe5b0482039050610bf4612002565b600360008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff1681526020019081526020016000206040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff1681525050905086816000015163ffffffff161415610ce457806020015195505050505050610d8a565b86816000015163ffffffff161015610cfe57819350610d05565b6001820392505b5050610bbf565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff1693505050505b92915050565b60056020528060005260406000206000915090505481565b6040518060400160405280600481526020017f5354524b0000000000000000000000000000000000000000000000000000000081525081565b600080610e0683604051806060016040528060268152602001612c73602691396112cb565b9050610e1333858361139a565b600191505092915050565b600080600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff1611610e88576000610f04565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b915050919050565b6000604051610f1a9061271c565b60405180910390206040518060400160405280600c81526020017f537472696b6520546f6b656e000000000000000000000000000000000000000081525080519060200120610f6761193b565b30604051602001610f7b94939291906127dc565b6040516020818303038152906040528051906020012090506000604051610fa190612731565b6040518091039020888888604051602001610fbf9493929190612797565b60405160208183030381529060405280519060200120905060008282604051602001610fec9291906126e5565b6040516020818303038152906040528051906020012090506000600182888888604051600081526020016040526040516110299493929190612821565b6020604051602081039080840390855afa15801561104b573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156110c7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110be906128ca565b60405180910390fd5b600560008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558914611156576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161114d9061294a565b60405180910390fd5b87421115611199576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611190906128aa565b60405180910390fd5b6111a3818b61177b565b50505050505050505050565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff16905092915050565b60405161126790612731565b604051809103902081565b6003602052816000526040600020602052806000526040600020600091509150508060000160009054906101000a900463ffffffff16908060000160049054906101000a90046bffffffffffffffffffffffff16905082565b60006c010000000000000000000000008310829061131f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113169190612888565b60405180910390fd5b5082905092915050565b6000836bffffffffffffffffffffffff16836bffffffffffffffffffffffff161115829061138d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113849190612888565b60405180910390fd5b5082840390509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561140a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611401906128ea565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561147a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114719061290a565b60405180910390fd5b6114f4600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff1682604051806060016040528060368152602001612c3d60369139611329565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506115db600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff1682604051806060016040528060308152602001612c0d60309139611948565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516116a591906129e4565b60405180910390a3611776600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836119be565b505050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905082600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f60405160405180910390a46119358284836119be565b50505050565b6000804690508091505090565b6000808385019050846bffffffffffffffffffffffff16816bffffffffffffffffffffffff16101583906119b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119a99190612888565b60405180910390fd5b50809150509392505050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015611a0857506000816bffffffffffffffffffffffff16115b15611cb457600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614611b60576000600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611611aab576000611b27565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000611b4e8285604051806060016040528060288152602001612d1960289139611329565b9050611b5c86848484611cb9565b5050505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614611cb3576000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611611bfe576000611c7a565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000611ca18285604051806060016040528060278152602001612cf260279139611948565b9050611caf85848484611cb9565b5050505b5b505050565b6000611cdd43604051806060016040528060348152602001612c9960349139611fac565b905060008463ffffffff16118015611d7257508063ffffffff16600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff16145b15611e0d5781600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff160217905550611f55565b60405180604001604052808263ffffffff168152602001836bffffffffffffffffffffffff16815250600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008663ffffffff1663ffffffff16815260200190815260200160002060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff16021790555090505060018401600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548163ffffffff021916908363ffffffff1602179055505b8473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248484604051611f9d929190612a1a565b60405180910390a25050505050565b600064010000000083108290611ff8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611fef9190612888565b60405180910390fd5b5082905092915050565b6040518060400160405280600063ffffffff16815260200160006bffffffffffffffffffffffff1681525090565b60008135905061203f81612b5c565b92915050565b60008135905061205481612b73565b92915050565b60008135905061206981612b8a565b92915050565b60008135905061207e81612ba1565b92915050565b60008135905061209381612bb8565b92915050565b6000602082840312156120ab57600080fd5b60006120b984828501612030565b91505092915050565b600080604083850312156120d557600080fd5b60006120e385828601612030565b92505060206120f485828601612030565b9150509250929050565b60008060006060848603121561211357600080fd5b600061212186828701612030565b935050602061213286828701612030565b92505060406121438682870161205a565b9150509250925092565b6000806040838503121561216057600080fd5b600061216e85828601612030565b925050602061217f8582860161205a565b9150509250929050565b60008060008060008060c087890312156121a257600080fd5b60006121b089828a01612030565b96505060206121c189828a0161205a565b95505060406121d289828a0161205a565b94505060606121e389828a01612084565b93505060806121f489828a01612045565b92505060a061220589828a01612045565b9150509295509295509295565b6000806040838503121561222557600080fd5b600061223385828601612030565b92505060206122448582860161206f565b9150509250929050565b61225781612a75565b82525050565b61226681612a87565b82525050565b61227581612a93565b82525050565b61228c61228782612a93565b612b41565b82525050565b600061229d82612a4e565b6122a78185612a59565b93506122b7818560208601612b0e565b6122c081612b4b565b840191505092915050565b60006122d682612a43565b6122e08185612a59565b93506122f0818560208601612b0e565b6122f981612b4b565b840191505092915050565b6000612311602683612a59565b91507f5374726b3a3a64656c656761746542795369673a207369676e6174757265206560008301527f78706972656400000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000612377600283612a6a565b91507f19010000000000000000000000000000000000000000000000000000000000006000830152600282019050919050565b60006123b7602683612a59565b91507f5374726b3a3a64656c656761746542795369673a20696e76616c69642073696760008301527f6e617475726500000000000000000000000000000000000000000000000000006020830152604082019050919050565b600061241d603c83612a59565b91507f5374726b3a3a5f7472616e73666572546f6b656e733a2063616e6e6f7420747260008301527f616e736665722066726f6d20746865207a65726f2061646472657373000000006020830152604082019050919050565b6000612483604383612a6a565b91507f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353660008301527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208301527f63742900000000000000000000000000000000000000000000000000000000006040830152604382019050919050565b600061250f603a83612a59565b91507f5374726b3a3a5f7472616e73666572546f6b656e733a2063616e6e6f7420747260008301527f616e7366657220746f20746865207a65726f20616464726573730000000000006020830152604082019050919050565b6000612575602783612a59565b91507f5374726b3a3a6765745072696f72566f7465733a206e6f74207965742064657460008301527f65726d696e6564000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006125db603a83612a6a565b91507f44656c65676174696f6e28616464726573732064656c6567617465652c75696e60008301527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020830152603a82019050919050565b6000612641602283612a59565b91507f5374726b3a3a64656c656761746542795369673a20696e76616c6964206e6f6e60008301527f63650000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6126a381612abd565b82525050565b6126b281612ac7565b82525050565b6126c181612ad7565b82525050565b6126d081612afc565b82525050565b6126df81612ae4565b82525050565b60006126f08261236a565b91506126fc828561227b565b60208201915061270c828461227b565b6020820191508190509392505050565b600061272782612476565b9150819050919050565b600061273c826125ce565b9150819050919050565b600060208201905061275b600083018461224e565b92915050565b6000602082019050612776600083018461225d565b92915050565b6000602082019050612791600083018461226c565b92915050565b60006080820190506127ac600083018761226c565b6127b9602083018661224e565b6127c6604083018561269a565b6127d3606083018461269a565b95945050505050565b60006080820190506127f1600083018761226c565b6127fe602083018661226c565b61280b604083018561269a565b612818606083018461224e565b95945050505050565b6000608082019050612836600083018761226c565b61284360208301866126b8565b612850604083018561226c565b61285d606083018461226c565b95945050505050565b6000602082019050818103600083015261288081846122cb565b905092915050565b600060208201905081810360008301526128a28184612292565b905092915050565b600060208201905081810360008301526128c381612304565b9050919050565b600060208201905081810360008301526128e3816123aa565b9050919050565b6000602082019050818103600083015261290381612410565b9050919050565b6000602082019050818103600083015261292381612502565b9050919050565b6000602082019050818103600083015261294381612568565b9050919050565b6000602082019050818103600083015261296381612634565b9050919050565b600060208201905061297f600083018461269a565b92915050565b600060208201905061299a60008301846126a9565b92915050565b60006040820190506129b560008301856126a9565b6129c260208301846126d6565b9392505050565b60006020820190506129de60008301846126b8565b92915050565b60006020820190506129f960008301846126c7565b92915050565b6000602082019050612a1460008301846126d6565b92915050565b6000604082019050612a2f60008301856126c7565b612a3c60208301846126c7565b9392505050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b600081905092915050565b6000612a8082612a9d565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600063ffffffff82169050919050565b600060ff82169050919050565b60006bffffffffffffffffffffffff82169050919050565b6000612b0782612ae4565b9050919050565b60005b83811015612b2c578082015181840152602081019050612b11565b83811115612b3b576000848401525b50505050565b6000819050919050565b6000601f19601f8301169050919050565b612b6581612a75565b8114612b7057600080fd5b50565b612b7c81612a93565b8114612b8757600080fd5b50565b612b9381612abd565b8114612b9e57600080fd5b50565b612baa81612ac7565b8114612bb557600080fd5b50565b612bc181612ad7565b8114612bcc57600080fd5b5056fe5374726b3a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e63655374726b3a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f77735374726b3a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e63655374726b3a3a7472616e736665723a20616d6f756e74206578636565647320393620626974735374726b3a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d626572206578636565647320333220626974735374726b3a3a617070726f76653a20616d6f756e74206578636565647320393620626974735374726b3a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f77735374726b3a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f7773a365627a7a7231582023251a27d99881d2c0556fffd9fd269e2ab12f654951b9e58ac687b4ec199e6c6c6578706572696d656e74616cf564736f6c63430005110040000000000000000000000000135f03f89c6b2d8d1bd0181526ef18258b5e5516

0x608060405234801561001057600080fd5b50600436106101215760003560e01c806370a08231116100ad578063b4b5ea5711610071578063b4b5ea5714610358578063c3cda52014610388578063dd62ed3e146103a4578063e7a324dc146103d4578063f1127ed8146103f257610121565b806370a082311461027a578063782d6fe1146102aa5780637ecebe00146102da57806395d89b411461030a578063a9059cbb1461032857610121565b806323b872dd116100f457806323b872dd146101b0578063313ce567146101e0578063587cde1e146101fe5780635c19a95c1461022e5780636fcfff451461024a57610121565b806306fdde0314610126578063095ea7b31461014457806318160ddd1461017457806320606b7014610192575b600080fd5b61012e610423565b60405161013b9190612866565b60405180910390f35b61015e6004803603610159919081019061214d565b61045c565b60405161016b9190612761565b60405180910390f35b61017c6105ee565b604051610189919061296a565b60405180910390f35b61019a6105fd565b6040516101a7919061277c565b60405180910390f35b6101ca60048036036101c591908101906120fe565b610614565b6040516101d79190612761565b60405180910390f35b6101e86108a6565b6040516101f591906129c9565b60405180910390f35b61021860048036036102139190810190612099565b6108ab565b6040516102259190612746565b60405180910390f35b61024860048036036102439190810190612099565b6108de565b005b610264600480360361025f9190810190612099565b6108eb565b6040516102719190612985565b60405180910390f35b610294600480360361028f9190810190612099565b61090e565b6040516102a1919061296a565b60405180910390f35b6102c460048036036102bf919081019061214d565b61097d565b6040516102d191906129ff565b60405180910390f35b6102f460048036036102ef9190810190612099565b610d90565b604051610301919061296a565b60405180910390f35b610312610da8565b60405161031f9190612866565b60405180910390f35b610342600480360361033d919081019061214d565b610de1565b60405161034f9190612761565b60405180910390f35b610372600480360361036d9190810190612099565b610e1e565b60405161037f91906129ff565b60405180910390f35b6103a2600480360361039d9190810190612189565b610f0c565b005b6103be60048036036103b991908101906120c2565b6111af565b6040516103cb919061296a565b60405180910390f35b6103dc61125b565b6040516103e9919061277c565b60405180910390f35b61040c60048036036104079190810190612212565b611272565b60405161041a9291906129a0565b60405180910390f35b6040518060400160405280600c81526020017f537472696b6520546f6b656e000000000000000000000000000000000000000081525081565b6000807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8314156104af577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90506104d4565b6104d183604051806060016040528060258152602001612ccd602591396112cb565b90505b806000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516105db91906129e4565b60405180910390a3600191505092915050565b6a0569163fbd1a200260000081565b6040516106099061271c565b604051809103902081565b60008033905060008060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905060006106d685604051806060016040528060258152602001612ccd602591396112cb565b90508673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561075057507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6bffffffffffffffffffffffff16826bffffffffffffffffffffffff1614155b1561088d57600061077a83836040518060600160405280603d8152602001612bd0603d9139611329565b9050806000808a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161088391906129e4565b60405180910390a3505b61089887878361139a565b600193505050509392505050565b601281565b60026020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6108e8338261177b565b50565b60046020528060005260406000206000915054906101000a900463ffffffff1681565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff169050919050565b60004382106109c1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109b89061292a565b60405180910390fd5b6000600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff161415610a2e576000915050610d8a565b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff1611610b3057600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff16915050610d8a565b82600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008063ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff161115610bb1576000915050610d8a565b600080905060006001830390505b8163ffffffff168163ffffffff161115610d0c576000600283830363ffffffff1681610be757fe5b0482039050610bf4612002565b600360008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff1681526020019081526020016000206040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff1681525050905086816000015163ffffffff161415610ce457806020015195505050505050610d8a565b86816000015163ffffffff161015610cfe57819350610d05565b6001820392505b5050610bbf565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff1693505050505b92915050565b60056020528060005260406000206000915090505481565b6040518060400160405280600481526020017f5354524b0000000000000000000000000000000000000000000000000000000081525081565b600080610e0683604051806060016040528060268152602001612c73602691396112cb565b9050610e1333858361139a565b600191505092915050565b600080600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff1611610e88576000610f04565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b915050919050565b6000604051610f1a9061271c565b60405180910390206040518060400160405280600c81526020017f537472696b6520546f6b656e000000000000000000000000000000000000000081525080519060200120610f6761193b565b30604051602001610f7b94939291906127dc565b6040516020818303038152906040528051906020012090506000604051610fa190612731565b6040518091039020888888604051602001610fbf9493929190612797565b60405160208183030381529060405280519060200120905060008282604051602001610fec9291906126e5565b6040516020818303038152906040528051906020012090506000600182888888604051600081526020016040526040516110299493929190612821565b6020604051602081039080840390855afa15801561104b573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156110c7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110be906128ca565b60405180910390fd5b600560008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558914611156576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161114d9061294a565b60405180910390fd5b87421115611199576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611190906128aa565b60405180910390fd5b6111a3818b61177b565b50505050505050505050565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff16905092915050565b60405161126790612731565b604051809103902081565b6003602052816000526040600020602052806000526040600020600091509150508060000160009054906101000a900463ffffffff16908060000160049054906101000a90046bffffffffffffffffffffffff16905082565b60006c010000000000000000000000008310829061131f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113169190612888565b60405180910390fd5b5082905092915050565b6000836bffffffffffffffffffffffff16836bffffffffffffffffffffffff161115829061138d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113849190612888565b60405180910390fd5b5082840390509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561140a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611401906128ea565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561147a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114719061290a565b60405180910390fd5b6114f4600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff1682604051806060016040528060368152602001612c3d60369139611329565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506115db600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff1682604051806060016040528060308152602001612c0d60309139611948565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516116a591906129e4565b60405180910390a3611776600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836119be565b505050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905082600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f60405160405180910390a46119358284836119be565b50505050565b6000804690508091505090565b6000808385019050846bffffffffffffffffffffffff16816bffffffffffffffffffffffff16101583906119b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119a99190612888565b60405180910390fd5b50809150509392505050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015611a0857506000816bffffffffffffffffffffffff16115b15611cb457600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614611b60576000600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611611aab576000611b27565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000611b4e8285604051806060016040528060288152602001612d1960289139611329565b9050611b5c86848484611cb9565b5050505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614611cb3576000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611611bfe576000611c7a565b600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000611ca18285604051806060016040528060278152602001612cf260279139611948565b9050611caf85848484611cb9565b5050505b5b505050565b6000611cdd43604051806060016040528060348152602001612c9960349139611fac565b905060008463ffffffff16118015611d7257508063ffffffff16600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff16145b15611e0d5781600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff160217905550611f55565b60405180604001604052808263ffffffff168152602001836bffffffffffffffffffffffff16815250600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008663ffffffff1663ffffffff16815260200190815260200160002060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff16021790555090505060018401600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548163ffffffff021916908363ffffffff1602179055505b8473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248484604051611f9d929190612a1a565b60405180910390a25050505050565b600064010000000083108290611ff8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611fef9190612888565b60405180910390fd5b5082905092915050565b6040518060400160405280600063ffffffff16815260200160006bffffffffffffffffffffffff1681525090565b60008135905061203f81612b5c565b92915050565b60008135905061205481612b73565b92915050565b60008135905061206981612b8a565b92915050565b60008135905061207e81612ba1565b92915050565b60008135905061209381612bb8565b92915050565b6000602082840312156120ab57600080fd5b60006120b984828501612030565b91505092915050565b600080604083850312156120d557600080fd5b60006120e385828601612030565b92505060206120f485828601612030565b9150509250929050565b60008060006060848603121561211357600080fd5b600061212186828701612030565b935050602061213286828701612030565b92505060406121438682870161205a565b9150509250925092565b6000806040838503121561216057600080fd5b600061216e85828601612030565b925050602061217f8582860161205a565b9150509250929050565b60008060008060008060c087890312156121a257600080fd5b60006121b089828a01612030565b96505060206121c189828a0161205a565b95505060406121d289828a0161205a565b94505060606121e389828a01612084565b93505060806121f489828a01612045565b92505060a061220589828a01612045565b9150509295509295509295565b6000806040838503121561222557600080fd5b600061223385828601612030565b92505060206122448582860161206f565b9150509250929050565b61225781612a75565b82525050565b61226681612a87565b82525050565b61227581612a93565b82525050565b61228c61228782612a93565b612b41565b82525050565b600061229d82612a4e565b6122a78185612a59565b93506122b7818560208601612b0e565b6122c081612b4b565b840191505092915050565b60006122d682612a43565b6122e08185612a59565b93506122f0818560208601612b0e565b6122f981612b4b565b840191505092915050565b6000612311602683612a59565b91507f5374726b3a3a64656c656761746542795369673a207369676e6174757265206560008301527f78706972656400000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000612377600283612a6a565b91507f19010000000000000000000000000000000000000000000000000000000000006000830152600282019050919050565b60006123b7602683612a59565b91507f5374726b3a3a64656c656761746542795369673a20696e76616c69642073696760008301527f6e617475726500000000000000000000000000000000000000000000000000006020830152604082019050919050565b600061241d603c83612a59565b91507f5374726b3a3a5f7472616e73666572546f6b656e733a2063616e6e6f7420747260008301527f616e736665722066726f6d20746865207a65726f2061646472657373000000006020830152604082019050919050565b6000612483604383612a6a565b91507f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353660008301527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208301527f63742900000000000000000000000000000000000000000000000000000000006040830152604382019050919050565b600061250f603a83612a59565b91507f5374726b3a3a5f7472616e73666572546f6b656e733a2063616e6e6f7420747260008301527f616e7366657220746f20746865207a65726f20616464726573730000000000006020830152604082019050919050565b6000612575602783612a59565b91507f5374726b3a3a6765745072696f72566f7465733a206e6f74207965742064657460008301527f65726d696e6564000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006125db603a83612a6a565b91507f44656c65676174696f6e28616464726573732064656c6567617465652c75696e60008301527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020830152603a82019050919050565b6000612641602283612a59565b91507f5374726b3a3a64656c656761746542795369673a20696e76616c6964206e6f6e60008301527f63650000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6126a381612abd565b82525050565b6126b281612ac7565b82525050565b6126c181612ad7565b82525050565b6126d081612afc565b82525050565b6126df81612ae4565b82525050565b60006126f08261236a565b91506126fc828561227b565b60208201915061270c828461227b565b6020820191508190509392505050565b600061272782612476565b9150819050919050565b600061273c826125ce565b9150819050919050565b600060208201905061275b600083018461224e565b92915050565b6000602082019050612776600083018461225d565b92915050565b6000602082019050612791600083018461226c565b92915050565b60006080820190506127ac600083018761226c565b6127b9602083018661224e565b6127c6604083018561269a565b6127d3606083018461269a565b95945050505050565b60006080820190506127f1600083018761226c565b6127fe602083018661226c565b61280b604083018561269a565b612818606083018461224e565b95945050505050565b6000608082019050612836600083018761226c565b61284360208301866126b8565b612850604083018561226c565b61285d606083018461226c565b95945050505050565b6000602082019050818103600083015261288081846122cb565b905092915050565b600060208201905081810360008301526128a28184612292565b905092915050565b600060208201905081810360008301526128c381612304565b9050919050565b600060208201905081810360008301526128e3816123aa565b9050919050565b6000602082019050818103600083015261290381612410565b9050919050565b6000602082019050818103600083015261292381612502565b9050919050565b6000602082019050818103600083015261294381612568565b9050919050565b6000602082019050818103600083015261296381612634565b9050919050565b600060208201905061297f600083018461269a565b92915050565b600060208201905061299a60008301846126a9565b92915050565b60006040820190506129b560008301856126a9565b6129c260208301846126d6565b9392505050565b60006020820190506129de60008301846126b8565b92915050565b60006020820190506129f960008301846126c7565b92915050565b6000602082019050612a1460008301846126d6565b92915050565b6000604082019050612a2f60008301856126c7565b612a3c60208301846126c7565b9392505050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b600081905092915050565b6000612a8082612a9d565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600063ffffffff82169050919050565b600060ff82169050919050565b60006bffffffffffffffffffffffff82169050919050565b6000612b0782612ae4565b9050919050565b60005b83811015612b2c578082015181840152602081019050612b11565b83811115612b3b576000848401525b50505050565b6000819050919050565b6000601f19601f8301169050919050565b612b6581612a75565b8114612b7057600080fd5b50565b612b7c81612a93565b8114612b8757600080fd5b50565b612b9381612abd565b8114612b9e57600080fd5b50565b612baa81612ac7565b8114612bb557600080fd5b50565b612bc181612ad7565b8114612bcc57600080fd5b5056fe5374726b3a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e63655374726b3a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f77735374726b3a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e63655374726b3a3a7472616e736665723a20616d6f756e74206578636565647320393620626974735374726b3a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d626572206578636565647320333220626974735374726b3a3a617070726f76653a20616d6f756e74206578636565647320393620626974735374726b3a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f77735374726b3a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f7773a365627a7a7231582023251a27d99881d2c0556fffd9fd269e2ab12f654951b9e58ac687b4ec199e6c6c6578706572696d656e74616cf564736f6c63430005110040

000000000000000000000000135f03f89c6b2d8d1bd0181526ef18258b5e5516

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

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000135f03f89c6b2d8d1bd0181526ef18258b5e5516

63:12832:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;63:12832:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;134:44;;;:::i;:::-;;;;;;;;;;;;;;;;3676:419;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;439:45;;;:::i;:::-;;;;;;;;;;;;;;;;1365:122;;;:::i;:::-;;;;;;;;;;;;;;;;5218:672;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;340:35;;;:::i;:::-;;;;;;;;;;;;;;;;815:45;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;6038:102;;;;;;;;;;;;;;;;:::i;:::-;;1243:49;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;4298:108;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;8217:1218;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1779:39;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;239:38;;;:::i;:::-;;;;;;;;;;;;;;;;4670:238;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;7564:222;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;6574:789;;;;;;;;;;;;;;;;:::i;:::-;;3062:136;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1581:117;;;:::i;:::-;;;;;;;;;;;;;;;;1104:70;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;134:44;;;;;;;;;;;;;;;;;;;:::o;3676:419::-;3744:4;3761:13;3807:2;3789:9;:21;3785:173;;;3843:2;3827:19;;3785:173;;;3888:58;3895:9;3888:58;;;;;;;;;;;;;;;;;:6;:58::i;:::-;3879:67;;3785:173;4004:6;3970:10;:22;3981:10;3970:22;;;;;;;;;;;;;;;:31;3993:7;3970:31;;;;;;;;;;;;;;;;:40;;;;;;;;;;;;;;;;;;4049:7;4028:37;;4037:10;4028:37;;;4058:6;4028:37;;;;;;;;;;;;;;;4083:4;4076:11;;;3676:419;;;;:::o;439:45::-;474:10;439:45;:::o;1365:122::-;1407:80;;;;;;;;;;;;;;1365:122;:::o;5218:672::-;5300:4;5317:15;5335:10;5317:28;;5356:23;5382:10;:15;5393:3;5382:15;;;;;;;;;;;;;;;:24;5398:7;5382:24;;;;;;;;;;;;;;;;;;;;;;;;;5356:50;;5417:13;5433:58;5440:9;5433:58;;;;;;;;;;;;;;;;;:6;:58::i;:::-;5417:74;;5519:3;5508:14;;:7;:14;;;;:48;;;;;5553:2;5526:30;;:16;:30;;;;5508:48;5504:311;;;5573:19;5595:96;5601:16;5619:6;5595:96;;;;;;;;;;;;;;;;;:5;:96::i;:::-;5573:118;;5733:12;5706:10;:15;5717:3;5706:15;;;;;;;;;;;;;;;:24;5722:7;5706:24;;;;;;;;;;;;;;;;:39;;;;;;;;;;;;;;;;;;5781:7;5767:36;;5776:3;5767:36;;;5790:12;5767:36;;;;;;;;;;;;;;;5504:311;;5827:33;5843:3;5848;5853:6;5827:15;:33::i;:::-;5878:4;5871:11;;;;;5218:672;;;;;:::o;340:35::-;373:2;340:35;:::o;815:45::-;;;;;;;;;;;;;;;;;;;;;;:::o;6038:102::-;6100:32;6110:10;6122:9;6100;:32::i;:::-;6038:102;:::o;1243:49::-;;;;;;;;;;;;;;;;;;;;;;:::o;4298:108::-;4357:4;4381:8;:17;4390:7;4381:17;;;;;;;;;;;;;;;;;;;;;;;;;4374:24;;;;4298:108;;;:::o;8217:1218::-;8296:6;8337:12;8323:11;:26;8315:78;;;;;;;;;;;;;;;;;;;;;;8406:19;8428:14;:23;8443:7;8428:23;;;;;;;;;;;;;;;;;;;;;;;;;8406:45;;8482:1;8466:12;:17;;;8462:58;;;8507:1;8500:8;;;;;8462:58;8632:11;8580;:20;8592:7;8580:20;;;;;;;;;;;;;;;:38;8616:1;8601:12;:16;8580:38;;;;;;;;;;;;;;;:48;;;;;;;;;;;;:63;;;8576:147;;8667:11;:20;8679:7;8667:20;;;;;;;;;;;;;;;:38;8703:1;8688:12;:16;8667:38;;;;;;;;;;;;;;;:44;;;;;;;;;;;;8660:51;;;;;8576:147;8820:11;8784;:20;8796:7;8784:20;;;;;;;;;;;;;;;:23;8805:1;8784:23;;;;;;;;;;;;;:33;;;;;;;;;;;;:47;;;8780:88;;;8855:1;8848:8;;;;;8780:88;8880:12;8895:1;8880:16;;8907:12;8937:1;8922:12;:16;8907:31;;8949:428;8964:5;8956:13;;:5;:13;;;8949:428;;;8986:13;9028:1;9019:5;9011;:13;9010:19;;;;;;;;9002:5;:27;8986:43;;9071:20;;:::i;:::-;9094:11;:20;9106:7;9094:20;;;;;;;;;;;;;;;:28;9115:6;9094:28;;;;;;;;;;;;;;;9071:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9157:11;9141:2;:12;;;:27;;;9137:229;;;9196:2;:8;;;9189:15;;;;;;;;;9137:229;9245:11;9230:2;:12;;;:26;;;9226:140;;;9285:6;9277:14;;9226:140;;;9349:1;9340:6;:10;9332:18;;9226:140;8949:428;;;;;9394:11;:20;9406:7;9394:20;;;;;;;;;;;;;;;:27;9415:5;9394:27;;;;;;;;;;;;;;;:33;;;;;;;;;;;;9387:40;;;;;8217:1218;;;;;:::o;1779:39::-;;;;;;;;;;;;;;;;;:::o;239:38::-;;;;;;;;;;;;;;;;;;;:::o;4670:238::-;4735:4;4752:13;4768:59;4775:9;4768:59;;;;;;;;;;;;;;;;;:6;:59::i;:::-;4752:75;;4838:40;4854:10;4866:3;4871:6;4838:15;:40::i;:::-;4896:4;4889:11;;;4670:238;;;;:::o;7564:222::-;7629:6;7648:19;7670:14;:23;7685:7;7670:23;;;;;;;;;;;;;;;;;;;;;;;;;7648:45;;7726:1;7711:12;:16;;;:67;;7777:1;7711:67;;;7730:11;:20;7742:7;7730:20;;;;;;;;;;;;;;;:38;7766:1;7751:12;:16;7730:38;;;;;;;;;;;;;;;:44;;;;;;;;;;;;7711:67;7704:74;;;7564:222;;;:::o;6574:789::-;6690:23;1407:80;;;;;;;;;;;;;;6770:4;;;;;;;;;;;;;;;;;6754:22;;;;;;6778:12;:10;:12::i;:::-;6800:4;6726:80;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6726:80:0;;;6716:91;;;;;;6690:117;;6818:18;1627:71;;;;;;;;;;;;;;6881:9;6892:5;6899:6;6849:57;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6849:57:0;;;6839:68;;;;;;6818:89;;6918:14;6974:15;6991:10;6945:57;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6945:57:0;;;6935:68;;;;;;6918:85;;7014:17;7034:26;7044:6;7052:1;7055;7058;7034:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7034:26:0;;;;;;;;7014:46;;7100:1;7079:23;;:9;:23;;;;7071:74;;;;;;;;;;;;;;;;;;;;;;7173:6;:17;7180:9;7173:17;;;;;;;;;;;;;;;;:19;;;;;;;;;;;;7164:5;:28;7156:75;;;;;;;;;;;;;;;;;;;;;;7257:6;7250:3;:13;;7242:64;;;;;;;;;;;;;;;;;;;;;;7324:31;7334:9;7345;7324;:31::i;:::-;7317:38;;;;6574:789;;;;;;:::o;3062:136::-;3138:4;3162:10;:19;3173:7;3162:19;;;;;;;;;;;;;;;:28;3182:7;3162:28;;;;;;;;;;;;;;;;;;;;;;;;;3155:35;;;;3062:136;;;;:::o;1581:117::-;1627:71;;;;;;;;;;;;;;1581:117;:::o;1104:70::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;12201:161::-;12276:6;12307:5;12303:1;:9;12314:12;12295:32;;;;;;;;;;;;;;;;;;;;;;;;;12352:1;12338:16;;12201:161;;;;:::o;12566:165::-;12652:6;12684:1;12679:6;;:1;:6;;;;12687:12;12671:29;;;;;;;;;;;;;;;;;;;;;;;;;12722:1;12718;:5;12711:12;;12566:165;;;;;:::o;9826:614::-;9935:1;9920:17;;:3;:17;;;;9912:90;;;;;;;;;;;;;;;;;;;;;;10036:1;10021:17;;:3;:17;;;;10013:88;;;;;;;;;;;;;;;;;;;;;;10130:86;10136:8;:13;10145:3;10136:13;;;;;;;;;;;;;;;;;;;;;;;;;10151:6;10130:86;;;;;;;;;;;;;;;;;:5;:86::i;:::-;10114:8;:13;10123:3;10114:13;;;;;;;;;;;;;;;;:102;;;;;;;;;;;;;;;;;;10243:80;10249:8;:13;10258:3;10249:13;;;;;;;;;;;;;;;;;;;;;;;;;10264:6;10243:80;;;;;;;;;;;;;;;;;:5;:80::i;:::-;10227:8;:13;10236:3;10227:13;;;;;;;;;;;;;;;;:96;;;;;;;;;;;;;;;;;;10353:3;10339:26;;10348:3;10339:26;;;10358:6;10339:26;;;;;;;;;;;;;;;10378:54;10393:9;:14;10403:3;10393:14;;;;;;;;;;;;;;;;;;;;;;;;;10409:9;:14;10419:3;10409:14;;;;;;;;;;;;;;;;;;;;;;;;;10425:6;10378:14;:54::i;:::-;9826:614;;;:::o;9443:375::-;9520:23;9546:9;:20;9556:9;9546:20;;;;;;;;;;;;;;;;;;;;;;;;;9520:46;;9577:23;9603:8;:19;9612:9;9603:19;;;;;;;;;;;;;;;;;;;;;;;;;9577:45;;9656:9;9633;:20;9643:9;9633:20;;;;;;;;;;;;;;;;:32;;;;;;;;;;;;;;;;;;9727:9;9683:54;;9710:15;9683:54;;9699:9;9683:54;;;;;;;;;;;;9750:60;9765:15;9782:9;9793:16;9750:14;:60::i;:::-;9443:375;;;;:::o;12739:153::-;12784:4;12801:15;12849:9;12838:20;;12877:7;12870:14;;;12739:153;:::o;12370:188::-;12456:6;12475:8;12490:1;12486;:5;12475:16;;12515:1;12510:6;;:1;:6;;;;12518:12;12502:29;;;;;;;;;;;;;;;;;;;;;;;;;12549:1;12542:8;;;12370:188;;;;;:::o;10448:939::-;10553:6;10543:16;;:6;:16;;;;:30;;;;;10572:1;10563:6;:10;;;10543:30;10539:841;;;10612:1;10594:20;;:6;:20;;;10590:382;;10635:16;10654:14;:22;10669:6;10654:22;;;;;;;;;;;;;;;;;;;;;;;;;10635:41;;10695:16;10726:1;10714:9;:13;;;:60;;10773:1;10714:60;;;10730:11;:19;10742:6;10730:19;;;;;;;;;;;;;;;:34;10762:1;10750:9;:13;10730:34;;;;;;;;;;;;;;;:40;;;;;;;;;;;;10714:60;10695:79;;10793:16;10812:68;10818:9;10829:6;10812:68;;;;;;;;;;;;;;;;;:5;:68::i;:::-;10793:87;;10899:57;10916:6;10924:9;10935;10946;10899:16;:57::i;:::-;10590:382;;;;11010:1;10992:20;;:6;:20;;;10988:381;;11033:16;11052:14;:22;11067:6;11052:22;;;;;;;;;;;;;;;;;;;;;;;;;11033:41;;11093:16;11124:1;11112:9;:13;;;:60;;11171:1;11112:60;;;11128:11;:19;11140:6;11128:19;;;;;;;;;;;;;;;:34;11160:1;11148:9;:13;11128:34;;;;;;;;;;;;;;;:40;;;;;;;;;;;;11112:60;11093:79;;11191:16;11210:67;11216:9;11227:6;11210:67;;;;;;;;;;;;;;;;;:5;:67::i;:::-;11191:86;;11296:57;11313:6;11321:9;11332;11343;11296:16;:57::i;:::-;10988:381;;;;10539:841;10448:939;;;:::o;11395:629::-;11513:18;11534:76;11541:12;11534:76;;;;;;;;;;;;;;;;;:6;:76::i;:::-;11513:97;;11640:1;11625:12;:16;;;:85;;;;;11699:11;11645:65;;:11;:22;11657:9;11645:22;;;;;;;;;;;;;;;:40;11683:1;11668:12;:16;11645:40;;;;;;;;;;;;;;;:50;;;;;;;;;;;;:65;;;11625:85;11621:329;;;11774:8;11725:11;:22;11737:9;11725:22;;;;;;;;;;;;;;;:40;11763:1;11748:12;:16;11725:40;;;;;;;;;;;;;;;:46;;;:57;;;;;;;;;;;;;;;;;;11621:329;;;11850:33;;;;;;;;11861:11;11850:33;;;;;;11874:8;11850:33;;;;;11811:11;:22;11823:9;11811:22;;;;;;;;;;;;;;;:36;11834:12;11811:36;;;;;;;;;;;;;;;:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11939:1;11924:12;:16;11896:14;:25;11911:9;11896:25;;;;;;;;;;;;;;;;:44;;;;;;;;;;;;;;;;;;11621:329;11986:9;11965:51;;;11997:8;12007;11965:51;;;;;;;;;;;;;;;;11395:629;;;;;:::o;12032:161::-;12107:6;12138:5;12134:1;:9;12145:12;12126:32;;;;;;;;;;;;;;;;;;;;;;;;;12183:1;12169:16;;12032:161;;;;:::o;63:12832::-;;;;;;;;;;;;;;;;;;;;;;;:::o;5:130:-1:-;;85:6;72:20;63:29;;97:33;124:5;97:33;;;57:78;;;;;142:130;;222:6;209:20;200:29;;234:33;261:5;234:33;;;194:78;;;;;279:130;;359:6;346:20;337:29;;371:33;398:5;371:33;;;331:78;;;;;416:128;;495:6;482:20;473:29;;507:32;533:5;507:32;;;467:77;;;;;551:126;;629:6;616:20;607:29;;641:31;666:5;641:31;;;601:76;;;;;684:241;;788:2;776:9;767:7;763:23;759:32;756:2;;;804:1;801;794:12;756:2;839:1;856:53;901:7;892:6;881:9;877:22;856:53;;;846:63;;818:97;750:175;;;;;932:366;;;1053:2;1041:9;1032:7;1028:23;1024:32;1021:2;;;1069:1;1066;1059:12;1021:2;1104:1;1121:53;1166:7;1157:6;1146:9;1142:22;1121:53;;;1111:63;;1083:97;1211:2;1229:53;1274:7;1265:6;1254:9;1250:22;1229:53;;;1219:63;;1190:98;1015:283;;;;;;1305:491;;;;1443:2;1431:9;1422:7;1418:23;1414:32;1411:2;;;1459:1;1456;1449:12;1411:2;1494:1;1511:53;1556:7;1547:6;1536:9;1532:22;1511:53;;;1501:63;;1473:97;1601:2;1619:53;1664:7;1655:6;1644:9;1640:22;1619:53;;;1609:63;;1580:98;1709:2;1727:53;1772:7;1763:6;1752:9;1748:22;1727:53;;;1717:63;;1688:98;1405:391;;;;;;1803:366;;;1924:2;1912:9;1903:7;1899:23;1895:32;1892:2;;;1940:1;1937;1930:12;1892:2;1975:1;1992:53;2037:7;2028:6;2017:9;2013:22;1992:53;;;1982:63;;1954:97;2082:2;2100:53;2145:7;2136:6;2125:9;2121:22;2100:53;;;2090:63;;2061:98;1886:283;;;;;;2176:865;;;;;;;2363:3;2351:9;2342:7;2338:23;2334:33;2331:2;;;2380:1;2377;2370:12;2331:2;2415:1;2432:53;2477:7;2468:6;2457:9;2453:22;2432:53;;;2422:63;;2394:97;2522:2;2540:53;2585:7;2576:6;2565:9;2561:22;2540:53;;;2530:63;;2501:98;2630:2;2648:53;2693:7;2684:6;2673:9;2669:22;2648:53;;;2638:63;;2609:98;2738:2;2756:51;2799:7;2790:6;2779:9;2775:22;2756:51;;;2746:61;;2717:96;2844:3;2863:53;2908:7;2899:6;2888:9;2884:22;2863:53;;;2853:63;;2823:99;2953:3;2972:53;3017:7;3008:6;2997:9;2993:22;2972:53;;;2962:63;;2932:99;2325:716;;;;;;;;;3048:364;;;3168:2;3156:9;3147:7;3143:23;3139:32;3136:2;;;3184:1;3181;3174:12;3136:2;3219:1;3236:53;3281:7;3272:6;3261:9;3257:22;3236:53;;;3226:63;;3198:97;3326:2;3344:52;3388:7;3379:6;3368:9;3364:22;3344:52;;;3334:62;;3305:97;3130:282;;;;;;3419:113;3502:24;3520:5;3502:24;;;3497:3;3490:37;3484:48;;;3539:104;3616:21;3631:5;3616:21;;;3611:3;3604:34;3598:45;;;3650:113;3733:24;3751:5;3733:24;;;3728:3;3721:37;3715:48;;;3770:152;3871:45;3891:24;3909:5;3891:24;;;3871:45;;;3866:3;3859:58;3853:69;;;3929:347;;4041:39;4074:5;4041:39;;;4092:71;4156:6;4151:3;4092:71;;;4085:78;;4168:52;4213:6;4208:3;4201:4;4194:5;4190:16;4168:52;;;4241:29;4263:6;4241:29;;;4236:3;4232:39;4225:46;;4021:255;;;;;;4283:339;;4391:35;4420:5;4391:35;;;4438:71;4502:6;4497:3;4438:71;;;4431:78;;4514:52;4559:6;4554:3;4547:4;4540:5;4536:16;4514:52;;;4587:29;4609:6;4587:29;;;4582:3;4578:39;4571:46;;4371:251;;;;;;4630:375;;4790:67;4854:2;4849:3;4790:67;;;4783:74;;4890:34;4886:1;4881:3;4877:11;4870:55;4959:8;4954:2;4949:3;4945:12;4938:30;4996:2;4991:3;4987:12;4980:19;;4776:229;;;;5014:398;;5192:84;5274:1;5269:3;5192:84;;;5185:91;;5309:66;5305:1;5300:3;5296:11;5289:87;5404:1;5399:3;5395:11;5388:18;;5178:234;;;;5421:375;;5581:67;5645:2;5640:3;5581:67;;;5574:74;;5681:34;5677:1;5672:3;5668:11;5661:55;5750:8;5745:2;5740:3;5736:12;5729:30;5787:2;5782:3;5778:12;5771:19;;5567:229;;;;5805:397;;5965:67;6029:2;6024:3;5965:67;;;5958:74;;6065:34;6061:1;6056:3;6052:11;6045:55;6134:30;6129:2;6124:3;6120:12;6113:52;6193:2;6188:3;6184:12;6177:19;;5951:251;;;;6211:477;;6389:85;6471:2;6466:3;6389:85;;;6382:92;;6507:34;6503:1;6498:3;6494:11;6487:55;6576:34;6571:2;6566:3;6562:12;6555:56;6645:5;6640:2;6635:3;6631:12;6624:27;6679:2;6674:3;6670:12;6663:19;;6375:313;;;;6697:395;;6857:67;6921:2;6916:3;6857:67;;;6850:74;;6957:34;6953:1;6948:3;6944:11;6937:55;7026:28;7021:2;7016:3;7012:12;7005:50;7083:2;7078:3;7074:12;7067:19;;6843:249;;;;7101:376;;7261:67;7325:2;7320:3;7261:67;;;7254:74;;7361:34;7357:1;7352:3;7348:11;7341:55;7430:9;7425:2;7420:3;7416:12;7409:31;7468:2;7463:3;7459:12;7452:19;;7247:230;;;;7486:431;;7664:85;7746:2;7741:3;7664:85;;;7657:92;;7782:34;7778:1;7773:3;7769:11;7762:55;7851:28;7846:2;7841:3;7837:12;7830:50;7908:2;7903:3;7899:12;7892:19;;7650:267;;;;7926:371;;8086:67;8150:2;8145:3;8086:67;;;8079:74;;8186:34;8182:1;8177:3;8173:11;8166:55;8255:4;8250:2;8245:3;8241:12;8234:26;8288:2;8283:3;8279:12;8272:19;;8072:225;;;;8305:113;8388:24;8406:5;8388:24;;;8383:3;8376:37;8370:48;;;8425:110;8506:23;8523:5;8506:23;;;8501:3;8494:36;8488:47;;;8542:107;8621:22;8637:5;8621:22;;;8616:3;8609:35;8603:46;;;8656:124;8738:36;8768:5;8738:36;;;8733:3;8726:49;8720:60;;;8787:110;8868:23;8885:5;8868:23;;;8863:3;8856:36;8850:47;;;8904:650;;9159:148;9303:3;9159:148;;;9152:155;;9318:75;9389:3;9380:6;9318:75;;;9415:2;9410:3;9406:12;9399:19;;9429:75;9500:3;9491:6;9429:75;;;9526:2;9521:3;9517:12;9510:19;;9546:3;9539:10;;9140:414;;;;;;9561:372;;9760:148;9904:3;9760:148;;;9753:155;;9925:3;9918:10;;9741:192;;;;9940:372;;10139:148;10283:3;10139:148;;;10132:155;;10304:3;10297:10;;10120:192;;;;10319:213;;10437:2;10426:9;10422:18;10414:26;;10451:71;10519:1;10508:9;10504:17;10495:6;10451:71;;;10408:124;;;;;10539:201;;10651:2;10640:9;10636:18;10628:26;;10665:65;10727:1;10716:9;10712:17;10703:6;10665:65;;;10622:118;;;;;10747:213;;10865:2;10854:9;10850:18;10842:26;;10879:71;10947:1;10936:9;10932:17;10923:6;10879:71;;;10836:124;;;;;10967:547;;11169:3;11158:9;11154:19;11146:27;;11184:71;11252:1;11241:9;11237:17;11228:6;11184:71;;;11266:72;11334:2;11323:9;11319:18;11310:6;11266:72;;;11349;11417:2;11406:9;11402:18;11393:6;11349:72;;;11432;11500:2;11489:9;11485:18;11476:6;11432:72;;;11140:374;;;;;;;;11521:547;;11723:3;11712:9;11708:19;11700:27;;11738:71;11806:1;11795:9;11791:17;11782:6;11738:71;;;11820:72;11888:2;11877:9;11873:18;11864:6;11820:72;;;11903;11971:2;11960:9;11956:18;11947:6;11903:72;;;11986;12054:2;12043:9;12039:18;12030:6;11986:72;;;11694:374;;;;;;;;12075:539;;12273:3;12262:9;12258:19;12250:27;;12288:71;12356:1;12345:9;12341:17;12332:6;12288:71;;;12370:68;12434:2;12423:9;12419:18;12410:6;12370:68;;;12449:72;12517:2;12506:9;12502:18;12493:6;12449:72;;;12532;12600:2;12589:9;12585:18;12576:6;12532:72;;;12244:370;;;;;;;;12621:293;;12755:2;12744:9;12740:18;12732:26;;12805:9;12799:4;12795:20;12791:1;12780:9;12776:17;12769:47;12830:74;12899:4;12890:6;12830:74;;;12822:82;;12726:188;;;;;12921:301;;13059:2;13048:9;13044:18;13036:26;;13109:9;13103:4;13099:20;13095:1;13084:9;13080:17;13073:47;13134:78;13207:4;13198:6;13134:78;;;13126:86;;13030:192;;;;;13229:407;;13420:2;13409:9;13405:18;13397:26;;13470:9;13464:4;13460:20;13456:1;13445:9;13441:17;13434:47;13495:131;13621:4;13495:131;;;13487:139;;13391:245;;;;13643:407;;13834:2;13823:9;13819:18;13811:26;;13884:9;13878:4;13874:20;13870:1;13859:9;13855:17;13848:47;13909:131;14035:4;13909:131;;;13901:139;;13805:245;;;;14057:407;;14248:2;14237:9;14233:18;14225:26;;14298:9;14292:4;14288:20;14284:1;14273:9;14269:17;14262:47;14323:131;14449:4;14323:131;;;14315:139;;14219:245;;;;14471:407;;14662:2;14651:9;14647:18;14639:26;;14712:9;14706:4;14702:20;14698:1;14687:9;14683:17;14676:47;14737:131;14863:4;14737:131;;;14729:139;;14633:245;;;;14885:407;;15076:2;15065:9;15061:18;15053:26;;15126:9;15120:4;15116:20;15112:1;15101:9;15097:17;15090:47;15151:131;15277:4;15151:131;;;15143:139;;15047:245;;;;15299:407;;15490:2;15479:9;15475:18;15467:26;;15540:9;15534:4;15530:20;15526:1;15515:9;15511:17;15504:47;15565:131;15691:4;15565:131;;;15557:139;;15461:245;;;;15713:213;;15831:2;15820:9;15816:18;15808:26;;15845:71;15913:1;15902:9;15898:17;15889:6;15845:71;;;15802:124;;;;;15933:209;;16049:2;16038:9;16034:18;16026:26;;16063:69;16129:1;16118:9;16114:17;16105:6;16063:69;;;16020:122;;;;;16149:316;;16291:2;16280:9;16276:18;16268:26;;16305:69;16371:1;16360:9;16356:17;16347:6;16305:69;;;16385:70;16451:2;16440:9;16436:18;16427:6;16385:70;;;16262:203;;;;;;16472:205;;16586:2;16575:9;16571:18;16563:26;;16600:67;16664:1;16653:9;16649:17;16640:6;16600:67;;;16557:120;;;;;16684:211;;16801:2;16790:9;16786:18;16778:26;;16815:70;16882:1;16871:9;16867:17;16858:6;16815:70;;;16772:123;;;;;16902:209;;17018:2;17007:9;17003:18;16995:26;;17032:69;17098:1;17087:9;17083:17;17074:6;17032:69;;;16989:122;;;;;17118:320;;17262:2;17251:9;17247:18;17239:26;;17276:70;17343:1;17332:9;17328:17;17319:6;17276:70;;;17357:71;17424:2;17413:9;17409:18;17400:6;17357:71;;;17233:205;;;;;;17445:118;;17535:5;17529:12;17519:22;;17500:63;;;;17570:122;;17664:5;17658:12;17648:22;;17629:63;;;;17700:163;;17815:6;17810:3;17803:19;17852:4;17847:3;17843:14;17828:29;;17796:67;;;;;17872:145;;18008:3;17993:18;;17986:31;;;;;18025:91;;18087:24;18105:5;18087:24;;;18076:35;;18070:46;;;;18123:85;;18196:5;18189:13;18182:21;18171:32;;18165:43;;;;18215:72;;18277:5;18266:16;;18260:27;;;;18294:121;;18367:42;18360:5;18356:54;18345:65;;18339:76;;;;18422:72;;18484:5;18473:16;;18467:27;;;;18501:88;;18573:10;18566:5;18562:22;18551:33;;18545:44;;;;18596:81;;18667:4;18660:5;18656:16;18645:27;;18639:38;;;;18684:104;;18756:26;18749:5;18745:38;18734:49;;18728:60;;;;18795:106;;18873:23;18890:5;18873:23;;;18860:36;;18854:47;;;;18909:268;18974:1;18981:101;18995:6;18992:1;18989:13;18981:101;;;19071:1;19066:3;19062:11;19056:18;19052:1;19047:3;19043:11;19036:39;19017:2;19014:1;19010:10;19005:15;;18981:101;;;19097:6;19094:1;19091:13;19088:2;;;19162:1;19153:6;19148:3;19144:16;19137:27;19088:2;18958:219;;;;;19185:74;;19249:5;19238:16;;19232:27;;;;19266:97;;19354:2;19350:7;19345:2;19338:5;19334:14;19330:28;19320:38;;19314:49;;;;19371:117;19440:24;19458:5;19440:24;;;19433:5;19430:35;19420:2;;19479:1;19476;19469:12;19420:2;19414:74;;19495:117;19564:24;19582:5;19564:24;;;19557:5;19554:35;19544:2;;19603:1;19600;19593:12;19544:2;19538:74;;19619:117;19688:24;19706:5;19688:24;;;19681:5;19678:35;19668:2;;19727:1;19724;19717:12;19668:2;19662:74;;19743:115;19811:23;19828:5;19811:23;;;19804:5;19801:34;19791:2;;19849:1;19846;19839:12;19791:2;19785:73;;19865:113;19932:22;19948:5;19932:22;;;19925:5;19922:33;19912:2;;19969:1;19966;19959:12;19912:2;19906:72;

bzzr://23251a27d99881d2c0556fffd9fd269e2ab12f654951b9e58ac687b4ec199e6c