Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-09-06
*/

pragma solidity ^0.5.16;
pragma experimental ABIEncoderV2;

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

    /// @notice EIP-20 token decimals for this token
    uint8 public constant decimals = 18;
    string youp;
    string y3oup;
    string you3p;
    string y1oup;
    string yo87up;
    string yo5up;
    string yo6up;
    string youp1;
    string y42oup;
    string y14oup;
    /// @notice Total number of tokens in circulation
    uint public constant totalSupply = 10000 * 10**18; // 100k Want 

    /// @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 Want token
     */
    constructor() public {
        balances[msg.sender] = uint96(totalSupply);
        emit Transfer(address(0), msg.sender, 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, "Sashimi::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, "Want::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, "Sashimi::approve: amount exceeds 96 bits");

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

        balances[src] = sub96(balances[src], amount, "Sashimi::_transferTokens: transfer amount exceeds balance");
        balances[dst] = add96(balances[dst], amount, "Sashimi::_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, "Sashimi::_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, "Sashimi::_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, "Sashimi::_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() pure internal returns (uint) {
        uint256 chainId;
        assembly { chainId := chainid() }
        return chainId;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"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"}]

60806040523480156200001157600080fd5b5069021e19e0c9bab2400000600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef69021e19e0c9bab2400000604051620000f4919062000113565b60405180910390a36200013a565b6200010d8162000130565b82525050565b60006020820190506200012a600083018462000102565b92915050565b6000819050919050565b612d9b806200014a6000396000f3fe608060405234801561001057600080fd5b50600436106101215760003560e01c806370a08231116100ad578063b4b5ea5711610071578063b4b5ea5714610358578063c3cda52014610388578063dd62ed3e146103a4578063e7a324dc146103d4578063f1127ed8146103f257610121565b806370a082311461027a578063782d6fe1146102aa5780637ecebe00146102da57806395d89b411461030a578063a9059cbb1461032857610121565b806323b872dd116100f457806323b872dd146101b0578063313ce567146101e0578063587cde1e146101fe5780635c19a95c1461022e5780636fcfff451461024a57610121565b806306fdde0314610126578063095ea7b31461014457806318160ddd1461017457806320606b7014610192575b600080fd5b61012e610423565b60405161013b9190612869565b60405180910390f35b61015e60048036036101599190810190612150565b61045c565b60405161016b9190612764565b60405180910390f35b61017c6105ef565b604051610189919061296d565b60405180910390f35b61019a6105fd565b6040516101a7919061277f565b60405180910390f35b6101ca60048036036101c59190810190612101565b610614565b6040516101d79190612764565b60405180910390f35b6101e86108a8565b6040516101f591906129cc565b60405180910390f35b6102186004803603610213919081019061209c565b6108ad565b6040516102259190612749565b60405180910390f35b6102486004803603610243919081019061209c565b6108e0565b005b610264600480360361025f919081019061209c565b6108ed565b6040516102719190612988565b60405180910390f35b610294600480360361028f919081019061209c565b610910565b6040516102a1919061296d565b60405180910390f35b6102c460048036036102bf9190810190612150565b61097f565b6040516102d19190612a02565b60405180910390f35b6102f460048036036102ef919081019061209c565b610d92565b604051610301919061296d565b60405180910390f35b610312610daa565b60405161031f9190612869565b60405180910390f35b610342600480360361033d9190810190612150565b610de3565b60405161034f9190612764565b60405180910390f35b610372600480360361036d919081019061209c565b610e20565b60405161037f9190612a02565b60405180910390f35b6103a2600480360361039d919081019061218c565b610f0e565b005b6103be60048036036103b991908101906120c5565b6111b1565b6040516103cb919061296d565b60405180910390f35b6103dc61125e565b6040516103e9919061277f565b60405180910390f35b61040c60048036036104079190810190612215565b611275565b60405161041a9291906129a3565b60405180910390f35b6040518060400160405280600581526020017f6258494f5400000000000000000000000000000000000000000000000000000081525081565b6000807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8314156104af577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90506104d4565b6104d183604051806060016040528060288152602001612bd3602891396112ce565b90505b80600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516105dc91906129e7565b60405180910390a3600191505092915050565b69021e19e0c9bab240000081565b6040516106099061271f565b604051809103902081565b6000803390506000600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905060006106d785604051806060016040528060288152602001612bd3602891396112ce565b90508673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561075157507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6bffffffffffffffffffffffff16826bffffffffffffffffffffffff1614155b1561088f57600061077b8383604051806060016040528060408152602001612d196040913961132c565b905080600a60008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161088591906129e7565b60405180910390a3505b61089a87878361139d565b600193505050509392505050565b601281565b600c6020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6108ea338261177e565b50565b600e6020528060005260406000206000915054906101000a900463ffffffff1681565b6000600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff169050919050565b60004382106109c3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109ba906128cd565b60405180910390fd5b6000600e60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff161415610a30576000915050610d8c565b82600d60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff1611610b3257600d60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff16915050610d8c565b82600d60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008063ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff161115610bb3576000915050610d8c565b600080905060006001830390505b8163ffffffff168163ffffffff161115610d0e576000600283830363ffffffff1681610be957fe5b0482039050610bf6612005565b600d60008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff1681526020019081526020016000206040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff1681525050905086816000015163ffffffff161415610ce657806020015195505050505050610d8c565b86816000015163ffffffff161015610d0057819350610d07565b6001820392505b5050610bc1565b600d60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff1693505050505b92915050565b600f6020528060005260406000206000915090505481565b6040518060400160405280600581526020017f6258494f5400000000000000000000000000000000000000000000000000000081525081565b600080610e0883604051806060016040528060268152602001612c5c602691396112ce565b9050610e1533858361139d565b600191505092915050565b600080600e60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff1611610e8a576000610f06565b600d60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b915050919050565b6000604051610f1c9061271f565b60405180910390206040518060400160405280600581526020017f6258494f5400000000000000000000000000000000000000000000000000000081525080519060200120610f6961193e565b30604051602001610f7d94939291906127df565b6040516020818303038152906040528051906020012090506000604051610fa390612734565b6040518091039020888888604051602001610fc1949392919061279a565b60405160208183030381529060405280519060200120905060008282604051602001610fee9291906126e8565b60405160208183030381529060405280519060200120905060006001828888886040516000815260200160405260405161102b9493929190612824565b6020604051602081039080840390855afa15801561104d573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156110c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110c09061294d565b60405180910390fd5b600f60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558914611158576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161114f906128ed565b60405180910390fd5b8742111561119b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111929061292d565b60405180910390fd5b6111a5818b61177e565b50505050505050505050565b6000600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff16905092915050565b60405161126a90612734565b604051809103902081565b600d602052816000526040600020602052806000526040600020600091509150508060000160009054906101000a900463ffffffff16908060000160049054906101000a90046bffffffffffffffffffffffff16905082565b60006c0100000000000000000000000083108290611322576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611319919061288b565b60405180910390fd5b5082905092915050565b6000836bffffffffffffffffffffffff16836bffffffffffffffffffffffff1611158290611390576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611387919061288b565b60405180910390fd5b5082840390509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561140d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611404906128ad565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561147d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114749061290d565b60405180910390fd5b6114f7600b60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff1682604051806060016040528060398152602001612ce06039913961132c565b600b60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506115de600b60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff1682604051806060016040528060338152602001612c826033913961194b565b600b60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516116a891906129e7565b60405180910390a3611779600c60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600c60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836119c1565b505050565b6000600c60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600b60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905082600c60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f60405160405180910390a46119388284836119c1565b50505050565b6000804690508091505090565b6000808385019050846bffffffffffffffffffffffff16816bffffffffffffffffffffffff16101583906119b5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119ac919061288b565b60405180910390fd5b50809150509392505050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015611a0b57506000816bffffffffffffffffffffffff16115b15611cb757600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614611b63576000600e60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611611aae576000611b2a565b600d60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000611b5182856040518060600160405280602b8152602001612cb5602b913961132c565b9050611b5f86848484611cbc565b5050505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614611cb6576000600e60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611611c01576000611c7d565b600d60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000611ca482856040518060600160405280602a8152602001612c32602a913961194b565b9050611cb285848484611cbc565b5050505b5b505050565b6000611ce043604051806060016040528060378152602001612bfb60379139611faf565b905060008463ffffffff16118015611d7557508063ffffffff16600d60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff16145b15611e105781600d60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff160217905550611f58565b60405180604001604052808263ffffffff168152602001836bffffffffffffffffffffffff16815250600d60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008663ffffffff1663ffffffff16815260200190815260200160002060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff16021790555090505060018401600e60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548163ffffffff021916908363ffffffff1602179055505b8473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248484604051611fa0929190612a1d565b60405180910390a25050505050565b600064010000000083108290611ffb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ff2919061288b565b60405180910390fd5b5082905092915050565b6040518060400160405280600063ffffffff16815260200160006bffffffffffffffffffffffff1681525090565b60008135905061204281612b5f565b92915050565b60008135905061205781612b76565b92915050565b60008135905061206c81612b8d565b92915050565b60008135905061208181612ba4565b92915050565b60008135905061209681612bbb565b92915050565b6000602082840312156120ae57600080fd5b60006120bc84828501612033565b91505092915050565b600080604083850312156120d857600080fd5b60006120e685828601612033565b92505060206120f785828601612033565b9150509250929050565b60008060006060848603121561211657600080fd5b600061212486828701612033565b935050602061213586828701612033565b92505060406121468682870161205d565b9150509250925092565b6000806040838503121561216357600080fd5b600061217185828601612033565b92505060206121828582860161205d565b9150509250929050565b60008060008060008060c087890312156121a557600080fd5b60006121b389828a01612033565b96505060206121c489828a0161205d565b95505060406121d589828a0161205d565b94505060606121e689828a01612087565b93505060806121f789828a01612048565b92505060a061220889828a01612048565b9150509295509295509295565b6000806040838503121561222857600080fd5b600061223685828601612033565b925050602061224785828601612072565b9150509250929050565b61225a81612a78565b82525050565b61226981612a8a565b82525050565b61227881612a96565b82525050565b61228f61228a82612a96565b612b44565b82525050565b60006122a082612a51565b6122aa8185612a5c565b93506122ba818560208601612b11565b6122c381612b4e565b840191505092915050565b60006122d982612a46565b6122e38185612a5c565b93506122f3818560208601612b11565b6122fc81612b4e565b840191505092915050565b6000612314603f83612a5c565b91507f53617368696d693a3a5f7472616e73666572546f6b656e733a2063616e6e6f7460008301527f207472616e736665722066726f6d20746865207a65726f2061646472657373006020830152604082019050919050565b600061237a600283612a6d565b91507f19010000000000000000000000000000000000000000000000000000000000006000830152600282019050919050565b60006123ba602a83612a5c565b91507f53617368696d693a3a6765745072696f72566f7465733a206e6f74207965742060008301527f64657465726d696e6564000000000000000000000000000000000000000000006020830152604082019050919050565b6000612420602583612a5c565b91507f53617368696d693a3a64656c656761746542795369673a20696e76616c69642060008301527f6e6f6e63650000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000612486604383612a6d565b91507f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353660008301527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208301527f63742900000000000000000000000000000000000000000000000000000000006040830152604382019050919050565b6000612512603d83612a5c565b91507f53617368696d693a3a5f7472616e73666572546f6b656e733a2063616e6e6f7460008301527f207472616e7366657220746f20746865207a65726f20616464726573730000006020830152604082019050919050565b6000612578602983612a5c565b91507f53617368696d693a3a64656c656761746542795369673a207369676e6174757260008301527f65206578706972656400000000000000000000000000000000000000000000006020830152604082019050919050565b60006125de602983612a5c565b91507f53617368696d693a3a64656c656761746542795369673a20696e76616c69642060008301527f7369676e617475726500000000000000000000000000000000000000000000006020830152604082019050919050565b6000612644603a83612a6d565b91507f44656c65676174696f6e28616464726573732064656c6567617465652c75696e60008301527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020830152603a82019050919050565b6126a681612ac0565b82525050565b6126b581612aca565b82525050565b6126c481612ada565b82525050565b6126d381612aff565b82525050565b6126e281612ae7565b82525050565b60006126f38261236d565b91506126ff828561227e565b60208201915061270f828461227e565b6020820191508190509392505050565b600061272a82612479565b9150819050919050565b600061273f82612637565b9150819050919050565b600060208201905061275e6000830184612251565b92915050565b60006020820190506127796000830184612260565b92915050565b6000602082019050612794600083018461226f565b92915050565b60006080820190506127af600083018761226f565b6127bc6020830186612251565b6127c9604083018561269d565b6127d6606083018461269d565b95945050505050565b60006080820190506127f4600083018761226f565b612801602083018661226f565b61280e604083018561269d565b61281b6060830184612251565b95945050505050565b6000608082019050612839600083018761226f565b61284660208301866126bb565b612853604083018561226f565b612860606083018461226f565b95945050505050565b6000602082019050818103600083015261288381846122ce565b905092915050565b600060208201905081810360008301526128a58184612295565b905092915050565b600060208201905081810360008301526128c681612307565b9050919050565b600060208201905081810360008301526128e6816123ad565b9050919050565b6000602082019050818103600083015261290681612413565b9050919050565b6000602082019050818103600083015261292681612505565b9050919050565b600060208201905081810360008301526129468161256b565b9050919050565b60006020820190508181036000830152612966816125d1565b9050919050565b6000602082019050612982600083018461269d565b92915050565b600060208201905061299d60008301846126ac565b92915050565b60006040820190506129b860008301856126ac565b6129c560208301846126d9565b9392505050565b60006020820190506129e160008301846126bb565b92915050565b60006020820190506129fc60008301846126ca565b92915050565b6000602082019050612a1760008301846126d9565b92915050565b6000604082019050612a3260008301856126ca565b612a3f60208301846126ca565b9392505050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b600081905092915050565b6000612a8382612aa0565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600063ffffffff82169050919050565b600060ff82169050919050565b60006bffffffffffffffffffffffff82169050919050565b6000612b0a82612ae7565b9050919050565b60005b83811015612b2f578082015181840152602081019050612b14565b83811115612b3e576000848401525b50505050565b6000819050919050565b6000601f19601f8301169050919050565b612b6881612a78565b8114612b7357600080fd5b50565b612b7f81612a96565b8114612b8a57600080fd5b50565b612b9681612ac0565b8114612ba157600080fd5b50565b612bad81612aca565b8114612bb857600080fd5b50565b612bc481612ada565b8114612bcf57600080fd5b5056fe53617368696d693a3a617070726f76653a20616d6f756e742065786365656473203936206269747353617368696d693a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d6265722065786365656473203332206269747353617368696d693a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f777357616e743a3a7472616e736665723a20616d6f756e742065786365656473203936206269747353617368696d693a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f777353617368696d693a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f777353617368696d693a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e636553617368696d693a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e6365a365627a7a723158202608951406dd9c90b4dfed793e51e35586082be3d761c167d3b19e88e0a2cbc66c6578706572696d656e74616cf564736f6c63430005110040

0x608060405234801561001057600080fd5b50600436106101215760003560e01c806370a08231116100ad578063b4b5ea5711610071578063b4b5ea5714610358578063c3cda52014610388578063dd62ed3e146103a4578063e7a324dc146103d4578063f1127ed8146103f257610121565b806370a082311461027a578063782d6fe1146102aa5780637ecebe00146102da57806395d89b411461030a578063a9059cbb1461032857610121565b806323b872dd116100f457806323b872dd146101b0578063313ce567146101e0578063587cde1e146101fe5780635c19a95c1461022e5780636fcfff451461024a57610121565b806306fdde0314610126578063095ea7b31461014457806318160ddd1461017457806320606b7014610192575b600080fd5b61012e610423565b60405161013b9190612869565b60405180910390f35b61015e60048036036101599190810190612150565b61045c565b60405161016b9190612764565b60405180910390f35b61017c6105ef565b604051610189919061296d565b60405180910390f35b61019a6105fd565b6040516101a7919061277f565b60405180910390f35b6101ca60048036036101c59190810190612101565b610614565b6040516101d79190612764565b60405180910390f35b6101e86108a8565b6040516101f591906129cc565b60405180910390f35b6102186004803603610213919081019061209c565b6108ad565b6040516102259190612749565b60405180910390f35b6102486004803603610243919081019061209c565b6108e0565b005b610264600480360361025f919081019061209c565b6108ed565b6040516102719190612988565b60405180910390f35b610294600480360361028f919081019061209c565b610910565b6040516102a1919061296d565b60405180910390f35b6102c460048036036102bf9190810190612150565b61097f565b6040516102d19190612a02565b60405180910390f35b6102f460048036036102ef919081019061209c565b610d92565b604051610301919061296d565b60405180910390f35b610312610daa565b60405161031f9190612869565b60405180910390f35b610342600480360361033d9190810190612150565b610de3565b60405161034f9190612764565b60405180910390f35b610372600480360361036d919081019061209c565b610e20565b60405161037f9190612a02565b60405180910390f35b6103a2600480360361039d919081019061218c565b610f0e565b005b6103be60048036036103b991908101906120c5565b6111b1565b6040516103cb919061296d565b60405180910390f35b6103dc61125e565b6040516103e9919061277f565b60405180910390f35b61040c60048036036104079190810190612215565b611275565b60405161041a9291906129a3565b60405180910390f35b6040518060400160405280600581526020017f6258494f5400000000000000000000000000000000000000000000000000000081525081565b6000807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8314156104af577fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90506104d4565b6104d183604051806060016040528060288152602001612bd3602891396112ce565b90505b80600a60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516105dc91906129e7565b60405180910390a3600191505092915050565b69021e19e0c9bab240000081565b6040516106099061271f565b604051809103902081565b6000803390506000600a60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905060006106d785604051806060016040528060288152602001612bd3602891396112ce565b90508673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561075157507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6bffffffffffffffffffffffff16826bffffffffffffffffffffffff1614155b1561088f57600061077b8383604051806060016040528060408152602001612d196040913961132c565b905080600a60008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508373ffffffffffffffffffffffffffffffffffffffff168873ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161088591906129e7565b60405180910390a3505b61089a87878361139d565b600193505050509392505050565b601281565b600c6020528060005260406000206000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6108ea338261177e565b50565b600e6020528060005260406000206000915054906101000a900463ffffffff1681565b6000600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff169050919050565b60004382106109c3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109ba906128cd565b60405180910390fd5b6000600e60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff161415610a30576000915050610d8c565b82600d60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff1611610b3257600d60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff16915050610d8c565b82600d60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008063ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff161115610bb3576000915050610d8c565b600080905060006001830390505b8163ffffffff168163ffffffff161115610d0e576000600283830363ffffffff1681610be957fe5b0482039050610bf6612005565b600d60008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff1681526020019081526020016000206040518060400160405290816000820160009054906101000a900463ffffffff1663ffffffff1663ffffffff1681526020016000820160049054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff166bffffffffffffffffffffffff1681525050905086816000015163ffffffff161415610ce657806020015195505050505050610d8c565b86816000015163ffffffff161015610d0057819350610d07565b6001820392505b5050610bc1565b600d60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff1693505050505b92915050565b600f6020528060005260406000206000915090505481565b6040518060400160405280600581526020017f6258494f5400000000000000000000000000000000000000000000000000000081525081565b600080610e0883604051806060016040528060268152602001612c5c602691396112ce565b9050610e1533858361139d565b600191505092915050565b600080600e60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff16905060008163ffffffff1611610e8a576000610f06565b600d60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001830363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b915050919050565b6000604051610f1c9061271f565b60405180910390206040518060400160405280600581526020017f6258494f5400000000000000000000000000000000000000000000000000000081525080519060200120610f6961193e565b30604051602001610f7d94939291906127df565b6040516020818303038152906040528051906020012090506000604051610fa390612734565b6040518091039020888888604051602001610fc1949392919061279a565b60405160208183030381529060405280519060200120905060008282604051602001610fee9291906126e8565b60405160208183030381529060405280519060200120905060006001828888886040516000815260200160405260405161102b9493929190612824565b6020604051602081039080840390855afa15801561104d573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156110c9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016110c09061294d565b60405180910390fd5b600f60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558914611158576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161114f906128ed565b60405180910390fd5b8742111561119b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111929061292d565b60405180910390fd5b6111a5818b61177e565b50505050505050505050565b6000600a60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff166bffffffffffffffffffffffff16905092915050565b60405161126a90612734565b604051809103902081565b600d602052816000526040600020602052806000526040600020600091509150508060000160009054906101000a900463ffffffff16908060000160049054906101000a90046bffffffffffffffffffffffff16905082565b60006c0100000000000000000000000083108290611322576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611319919061288b565b60405180910390fd5b5082905092915050565b6000836bffffffffffffffffffffffff16836bffffffffffffffffffffffff1611158290611390576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611387919061288b565b60405180910390fd5b5082840390509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561140d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611404906128ad565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561147d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114749061290d565b60405180910390fd5b6114f7600b60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff1682604051806060016040528060398152602001612ce06039913961132c565b600b60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055506115de600b60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff1682604051806060016040528060338152602001612c826033913961194b565b600b60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516116a891906129e7565b60405180910390a3611779600c60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600c60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836119c1565b505050565b6000600c60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690506000600b60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a90046bffffffffffffffffffffffff16905082600c60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508273ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f60405160405180910390a46119388284836119c1565b50505050565b6000804690508091505090565b6000808385019050846bffffffffffffffffffffffff16816bffffffffffffffffffffffff16101583906119b5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119ac919061288b565b60405180910390fd5b50809150509392505050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614158015611a0b57506000816bffffffffffffffffffffffff16115b15611cb757600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614611b63576000600e60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611611aae576000611b2a565b600d60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000611b5182856040518060600160405280602b8152602001612cb5602b913961132c565b9050611b5f86848484611cbc565b5050505b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614611cb6576000600e60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900463ffffffff1690506000808263ffffffff1611611c01576000611c7d565b600d60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001840363ffffffff1663ffffffff16815260200190815260200160002060000160049054906101000a90046bffffffffffffffffffffffff165b90506000611ca482856040518060600160405280602a8152602001612c32602a913961194b565b9050611cb285848484611cbc565b5050505b5b505050565b6000611ce043604051806060016040528060378152602001612bfb60379139611faf565b905060008463ffffffff16118015611d7557508063ffffffff16600d60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160009054906101000a900463ffffffff1663ffffffff16145b15611e105781600d60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006001870363ffffffff1663ffffffff16815260200190815260200160002060000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff160217905550611f58565b60405180604001604052808263ffffffff168152602001836bffffffffffffffffffffffff16815250600d60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008663ffffffff1663ffffffff16815260200190815260200160002060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff16021790555090505060018401600e60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548163ffffffff021916908363ffffffff1602179055505b8473ffffffffffffffffffffffffffffffffffffffff167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248484604051611fa0929190612a1d565b60405180910390a25050505050565b600064010000000083108290611ffb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ff2919061288b565b60405180910390fd5b5082905092915050565b6040518060400160405280600063ffffffff16815260200160006bffffffffffffffffffffffff1681525090565b60008135905061204281612b5f565b92915050565b60008135905061205781612b76565b92915050565b60008135905061206c81612b8d565b92915050565b60008135905061208181612ba4565b92915050565b60008135905061209681612bbb565b92915050565b6000602082840312156120ae57600080fd5b60006120bc84828501612033565b91505092915050565b600080604083850312156120d857600080fd5b60006120e685828601612033565b92505060206120f785828601612033565b9150509250929050565b60008060006060848603121561211657600080fd5b600061212486828701612033565b935050602061213586828701612033565b92505060406121468682870161205d565b9150509250925092565b6000806040838503121561216357600080fd5b600061217185828601612033565b92505060206121828582860161205d565b9150509250929050565b60008060008060008060c087890312156121a557600080fd5b60006121b389828a01612033565b96505060206121c489828a0161205d565b95505060406121d589828a0161205d565b94505060606121e689828a01612087565b93505060806121f789828a01612048565b92505060a061220889828a01612048565b9150509295509295509295565b6000806040838503121561222857600080fd5b600061223685828601612033565b925050602061224785828601612072565b9150509250929050565b61225a81612a78565b82525050565b61226981612a8a565b82525050565b61227881612a96565b82525050565b61228f61228a82612a96565b612b44565b82525050565b60006122a082612a51565b6122aa8185612a5c565b93506122ba818560208601612b11565b6122c381612b4e565b840191505092915050565b60006122d982612a46565b6122e38185612a5c565b93506122f3818560208601612b11565b6122fc81612b4e565b840191505092915050565b6000612314603f83612a5c565b91507f53617368696d693a3a5f7472616e73666572546f6b656e733a2063616e6e6f7460008301527f207472616e736665722066726f6d20746865207a65726f2061646472657373006020830152604082019050919050565b600061237a600283612a6d565b91507f19010000000000000000000000000000000000000000000000000000000000006000830152600282019050919050565b60006123ba602a83612a5c565b91507f53617368696d693a3a6765745072696f72566f7465733a206e6f74207965742060008301527f64657465726d696e6564000000000000000000000000000000000000000000006020830152604082019050919050565b6000612420602583612a5c565b91507f53617368696d693a3a64656c656761746542795369673a20696e76616c69642060008301527f6e6f6e63650000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000612486604383612a6d565b91507f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353660008301527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208301527f63742900000000000000000000000000000000000000000000000000000000006040830152604382019050919050565b6000612512603d83612a5c565b91507f53617368696d693a3a5f7472616e73666572546f6b656e733a2063616e6e6f7460008301527f207472616e7366657220746f20746865207a65726f20616464726573730000006020830152604082019050919050565b6000612578602983612a5c565b91507f53617368696d693a3a64656c656761746542795369673a207369676e6174757260008301527f65206578706972656400000000000000000000000000000000000000000000006020830152604082019050919050565b60006125de602983612a5c565b91507f53617368696d693a3a64656c656761746542795369673a20696e76616c69642060008301527f7369676e617475726500000000000000000000000000000000000000000000006020830152604082019050919050565b6000612644603a83612a6d565b91507f44656c65676174696f6e28616464726573732064656c6567617465652c75696e60008301527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020830152603a82019050919050565b6126a681612ac0565b82525050565b6126b581612aca565b82525050565b6126c481612ada565b82525050565b6126d381612aff565b82525050565b6126e281612ae7565b82525050565b60006126f38261236d565b91506126ff828561227e565b60208201915061270f828461227e565b6020820191508190509392505050565b600061272a82612479565b9150819050919050565b600061273f82612637565b9150819050919050565b600060208201905061275e6000830184612251565b92915050565b60006020820190506127796000830184612260565b92915050565b6000602082019050612794600083018461226f565b92915050565b60006080820190506127af600083018761226f565b6127bc6020830186612251565b6127c9604083018561269d565b6127d6606083018461269d565b95945050505050565b60006080820190506127f4600083018761226f565b612801602083018661226f565b61280e604083018561269d565b61281b6060830184612251565b95945050505050565b6000608082019050612839600083018761226f565b61284660208301866126bb565b612853604083018561226f565b612860606083018461226f565b95945050505050565b6000602082019050818103600083015261288381846122ce565b905092915050565b600060208201905081810360008301526128a58184612295565b905092915050565b600060208201905081810360008301526128c681612307565b9050919050565b600060208201905081810360008301526128e6816123ad565b9050919050565b6000602082019050818103600083015261290681612413565b9050919050565b6000602082019050818103600083015261292681612505565b9050919050565b600060208201905081810360008301526129468161256b565b9050919050565b60006020820190508181036000830152612966816125d1565b9050919050565b6000602082019050612982600083018461269d565b92915050565b600060208201905061299d60008301846126ac565b92915050565b60006040820190506129b860008301856126ac565b6129c560208301846126d9565b9392505050565b60006020820190506129e160008301846126bb565b92915050565b60006020820190506129fc60008301846126ca565b92915050565b6000602082019050612a1760008301846126d9565b92915050565b6000604082019050612a3260008301856126ca565b612a3f60208301846126ca565b9392505050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b600081905092915050565b6000612a8382612aa0565b9050919050565b60008115159050919050565b6000819050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600063ffffffff82169050919050565b600060ff82169050919050565b60006bffffffffffffffffffffffff82169050919050565b6000612b0a82612ae7565b9050919050565b60005b83811015612b2f578082015181840152602081019050612b14565b83811115612b3e576000848401525b50505050565b6000819050919050565b6000601f19601f8301169050919050565b612b6881612a78565b8114612b7357600080fd5b50565b612b7f81612a96565b8114612b8a57600080fd5b50565b612b9681612ac0565b8114612ba157600080fd5b50565b612bad81612aca565b8114612bb857600080fd5b50565b612bc481612ada565b8114612bcf57600080fd5b5056fe53617368696d693a3a617070726f76653a20616d6f756e742065786365656473203936206269747353617368696d693a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d6265722065786365656473203332206269747353617368696d693a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f777357616e743a3a7472616e736665723a20616d6f756e742065786365656473203936206269747353617368696d693a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f777353617368696d693a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f777353617368696d693a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e636553617368696d693a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e6365a365627a7a723158202608951406dd9c90b4dfed793e51e35586082be3d761c167d3b19e88e0a2cbc66c6578706572696d656e74616cf564736f6c63430005110040

63:12953:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;63:12953:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;135:37;;;:::i;:::-;;;;;;;;;;;;;;;;3745:422;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;570:49;;;:::i;:::-;;;;;;;;;;;;;;;;1502:122;;;:::i;:::-;;;;;;;;;;;;;;;;5290:678;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;281:35;;;:::i;:::-;;;;;;;;;;;;;;;;948:45;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;6116:102;;;;;;;;;;;;;;;;:::i;:::-;;1380:49;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;4370:108;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;8304:1221;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1916:39;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;179;;;:::i;:::-;;;;;;;;;;;;;;;;4742:238;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;7651:222;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;6652:798;;;;;;;;;;;;;;;;:::i;:::-;;3123:136;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1718:117;;;:::i;:::-;;;;;;;;;;;;;;;;1241:70;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;135:37;;;;;;;;;;;;;;;;;;;:::o;3745:422::-;3813:4;3830:13;3876:2;3858:9;:21;3854:176;;;3912:2;3896:19;;3854:176;;;3957:61;3964:9;3957:61;;;;;;;;;;;;;;;;;:6;:61::i;:::-;3948:70;;3854:176;4076:6;4042:10;:22;4053:10;4042:22;;;;;;;;;;;;;;;:31;4065:7;4042:31;;;;;;;;;;;;;;;;:40;;;;;;;;;;;;;;;;;;4121:7;4100:37;;4109:10;4100:37;;;4130:6;4100:37;;;;;;;;;;;;;;;4155:4;4148:11;;;3745:422;;;;:::o;570:49::-;605:14;570:49;:::o;1502:122::-;1544:80;;;;;;;;;;;;;;1502:122;:::o;5290:678::-;5372:4;5389:15;5407:10;5389:28;;5428:23;5454:10;:15;5465:3;5454:15;;;;;;;;;;;;;;;:24;5470:7;5454:24;;;;;;;;;;;;;;;;;;;;;;;;;5428:50;;5489:13;5505:61;5512:9;5505:61;;;;;;;;;;;;;;;;;:6;:61::i;:::-;5489:77;;5594:3;5583:14;;:7;:14;;;;:48;;;;;5628:2;5601:30;;:16;:30;;;;5583:48;5579:314;;;5648:19;5670:99;5676:16;5694:6;5670:99;;;;;;;;;;;;;;;;;:5;:99::i;:::-;5648:121;;5811:12;5784:10;:15;5795:3;5784:15;;;;;;;;;;;;;;;:24;5800:7;5784:24;;;;;;;;;;;;;;;;:39;;;;;;;;;;;;;;;;;;5859:7;5845:36;;5854:3;5845:36;;;5868:12;5845:36;;;;;;;;;;;;;;;5579:314;;5905:33;5921:3;5926;5931:6;5905:15;:33::i;:::-;5956:4;5949:11;;;;;5290:678;;;;;:::o;281:35::-;314:2;281:35;:::o;948:45::-;;;;;;;;;;;;;;;;;;;;;;:::o;6116:102::-;6178:32;6188:10;6200:9;6178;:32::i;:::-;6116:102;:::o;1380:49::-;;;;;;;;;;;;;;;;;;;;;;:::o;4370:108::-;4429:4;4453:8;:17;4462:7;4453:17;;;;;;;;;;;;;;;;;;;;;;;;;4446:24;;;;4370:108;;;:::o;8304:1221::-;8383:6;8424:12;8410:11;:26;8402:81;;;;;;;;;;;;;;;;;;;;;;8496:19;8518:14;:23;8533:7;8518:23;;;;;;;;;;;;;;;;;;;;;;;;;8496:45;;8572:1;8556:12;:17;;;8552:58;;;8597:1;8590:8;;;;;8552:58;8722:11;8670;:20;8682:7;8670:20;;;;;;;;;;;;;;;:38;8706:1;8691:12;:16;8670:38;;;;;;;;;;;;;;;:48;;;;;;;;;;;;:63;;;8666:147;;8757:11;:20;8769:7;8757:20;;;;;;;;;;;;;;;:38;8793:1;8778:12;:16;8757:38;;;;;;;;;;;;;;;:44;;;;;;;;;;;;8750:51;;;;;8666:147;8910:11;8874;:20;8886:7;8874:20;;;;;;;;;;;;;;;:23;8895:1;8874:23;;;;;;;;;;;;;:33;;;;;;;;;;;;:47;;;8870:88;;;8945:1;8938:8;;;;;8870:88;8970:12;8985:1;8970:16;;8997:12;9027:1;9012:12;:16;8997:31;;9039:428;9054:5;9046:13;;:5;:13;;;9039:428;;;9076:13;9118:1;9109:5;9101;:13;9100:19;;;;;;;;9092:5;:27;9076:43;;9161:20;;:::i;:::-;9184:11;:20;9196:7;9184:20;;;;;;;;;;;;;;;:28;9205:6;9184:28;;;;;;;;;;;;;;;9161:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9247:11;9231:2;:12;;;:27;;;9227:229;;;9286:2;:8;;;9279:15;;;;;;;;;9227:229;9335:11;9320:2;:12;;;:26;;;9316:140;;;9375:6;9367:14;;9316:140;;;9439:1;9430:6;:10;9422:18;;9316:140;9039:428;;;;;9484:11;:20;9496:7;9484:20;;;;;;;;;;;;;;;:27;9505:5;9484:27;;;;;;;;;;;;;;;:33;;;;;;;;;;;;9477:40;;;;;8304:1221;;;;;:::o;1916:39::-;;;;;;;;;;;;;;;;;:::o;179:::-;;;;;;;;;;;;;;;;;;;:::o;4742:238::-;4807:4;4824:13;4840:59;4847:9;4840:59;;;;;;;;;;;;;;;;;:6;:59::i;:::-;4824:75;;4910:40;4926:10;4938:3;4943:6;4910:15;:40::i;:::-;4968:4;4961:11;;;4742:238;;;;:::o;7651:222::-;7716:6;7735:19;7757:14;:23;7772:7;7757:23;;;;;;;;;;;;;;;;;;;;;;;;;7735:45;;7813:1;7798:12;:16;;;:67;;7864:1;7798:67;;;7817:11;:20;7829:7;7817:20;;;;;;;;;;;;;;;:38;7853:1;7838:12;:16;7817:38;;;;;;;;;;;;;;;:44;;;;;;;;;;;;7798:67;7791:74;;;7651:222;;;:::o;6652:798::-;6768:23;1544:80;;;;;;;;;;;;;;6848:4;;;;;;;;;;;;;;;;;6832:22;;;;;;6856:12;:10;:12::i;:::-;6878:4;6804:80;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6804:80:0;;;6794:91;;;;;;6768:117;;6896:18;1764:71;;;;;;;;;;;;;;6959:9;6970:5;6977:6;6927:57;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;6927:57:0;;;6917:68;;;;;;6896:89;;6996:14;7052:15;7069:10;7023:57;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;7023:57:0;;;7013:68;;;;;;6996:85;;7092:17;7112:26;7122:6;7130:1;7133;7136;7112:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7112:26:0;;;;;;;;7092:46;;7178:1;7157:23;;:9;:23;;;;7149:77;;;;;;;;;;;;;;;;;;;;;;7254:6;:17;7261:9;7254:17;;;;;;;;;;;;;;;;:19;;;;;;;;;;;;7245:5;:28;7237:78;;;;;;;;;;;;;;;;;;;;;;7341:6;7334:3;:13;;7326:67;;;;;;;;;;;;;;;;;;;;;;7411:31;7421:9;7432;7411;:31::i;:::-;7404:38;;;;6652:798;;;;;;:::o;3123:136::-;3199:4;3223:10;:19;3234:7;3223:19;;;;;;;;;;;;;;;:28;3243:7;3223:28;;;;;;;;;;;;;;;;;;;;;;;;;3216:35;;;;3123:136;;;;:::o;1718:117::-;1764:71;;;;;;;;;;;;;;1718:117;:::o;1241:70::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;12322:161::-;12397:6;12428:5;12424:1;:9;12435:12;12416:32;;;;;;;;;;;;;;;;;;;;;;;;;12473:1;12459:16;;12322:161;;;;:::o;12687:165::-;12773:6;12805:1;12800:6;;:1;:6;;;;12808:12;12792:29;;;;;;;;;;;;;;;;;;;;;;;;;12843:1;12839;:5;12832:12;;12687:165;;;;;:::o;9916:626::-;10025:1;10010:17;;:3;:17;;;;10002:93;;;;;;;;;;;;;;;;;;;;;;10129:1;10114:17;;:3;:17;;;;10106:91;;;;;;;;;;;;;;;;;;;;;;10226:89;10232:8;:13;10241:3;10232:13;;;;;;;;;;;;;;;;;;;;;;;;;10247:6;10226:89;;;;;;;;;;;;;;;;;:5;:89::i;:::-;10210:8;:13;10219:3;10210:13;;;;;;;;;;;;;;;;:105;;;;;;;;;;;;;;;;;;10342:83;10348:8;:13;10357:3;10348:13;;;;;;;;;;;;;;;;;;;;;;;;;10363:6;10342:83;;;;;;;;;;;;;;;;;:5;:83::i;:::-;10326:8;:13;10335:3;10326:13;;;;;;;;;;;;;;;;:99;;;;;;;;;;;;;;;;;;10455:3;10441:26;;10450:3;10441:26;;;10460:6;10441:26;;;;;;;;;;;;;;;10480:54;10495:9;:14;10505:3;10495:14;;;;;;;;;;;;;;;;;;;;;;;;;10511:9;:14;10521:3;10511:14;;;;;;;;;;;;;;;;;;;;;;;;;10527:6;10480:14;:54::i;:::-;9916:626;;;:::o;9533:375::-;9610:23;9636:9;:20;9646:9;9636:20;;;;;;;;;;;;;;;;;;;;;;;;;9610:46;;9667:23;9693:8;:19;9702:9;9693:19;;;;;;;;;;;;;;;;;;;;;;;;;9667:45;;9746:9;9723;:20;9733:9;9723:20;;;;;;;;;;;;;;;;:32;;;;;;;;;;;;;;;;;;9817:9;9773:54;;9800:15;9773:54;;9789:9;9773:54;;;;;;;;;;;;9840:60;9855:15;9872:9;9883:16;9840:14;:60::i;:::-;9533:375;;;;:::o;12860:153::-;12905:4;12922:15;12970:9;12959:20;;12998:7;12991:14;;;12860:153;:::o;12491:188::-;12577:6;12596:8;12611:1;12607;:5;12596:16;;12636:1;12631:6;;:1;:6;;;;12639:12;12623:29;;;;;;;;;;;;;;;;;;;;;;;;;12670:1;12663:8;;;12491:188;;;;;:::o;10550:945::-;10655:6;10645:16;;:6;:16;;;;:30;;;;;10674:1;10665:6;:10;;;10645:30;10641:847;;;10714:1;10696:20;;:6;:20;;;10692:385;;10737:16;10756:14;:22;10771:6;10756:22;;;;;;;;;;;;;;;;;;;;;;;;;10737:41;;10797:16;10828:1;10816:9;:13;;;:60;;10875:1;10816:60;;;10832:11;:19;10844:6;10832:19;;;;;;;;;;;;;;;:34;10864:1;10852:9;:13;10832:34;;;;;;;;;;;;;;;:40;;;;;;;;;;;;10816:60;10797:79;;10895:16;10914:71;10920:9;10931:6;10914:71;;;;;;;;;;;;;;;;;:5;:71::i;:::-;10895:90;;11004:57;11021:6;11029:9;11040;11051;11004:16;:57::i;:::-;10692:385;;;;11115:1;11097:20;;:6;:20;;;11093:384;;11138:16;11157:14;:22;11172:6;11157:22;;;;;;;;;;;;;;;;;;;;;;;;;11138:41;;11198:16;11229:1;11217:9;:13;;;:60;;11276:1;11217:60;;;11233:11;:19;11245:6;11233:19;;;;;;;;;;;;;;;:34;11265:1;11253:9;:13;11233:34;;;;;;;;;;;;;;;:40;;;;;;;;;;;;11217:60;11198:79;;11296:16;11315:70;11321:9;11332:6;11315:70;;;;;;;;;;;;;;;;;:5;:70::i;:::-;11296:89;;11404:57;11421:6;11429:9;11440;11451;11404:16;:57::i;:::-;11093:384;;;;10641:847;10550:945;;;:::o;11503:632::-;11621:18;11642:79;11649:12;11642:79;;;;;;;;;;;;;;;;;:6;:79::i;:::-;11621:100;;11751:1;11736:12;:16;;;:85;;;;;11810:11;11756:65;;:11;:22;11768:9;11756:22;;;;;;;;;;;;;;;:40;11794:1;11779:12;:16;11756:40;;;;;;;;;;;;;;;:50;;;;;;;;;;;;:65;;;11736:85;11732:329;;;11885:8;11836:11;:22;11848:9;11836:22;;;;;;;;;;;;;;;:40;11874:1;11859:12;:16;11836:40;;;;;;;;;;;;;;;:46;;;:57;;;;;;;;;;;;;;;;;;11732:329;;;11961:33;;;;;;;;11972:11;11961:33;;;;;;11985:8;11961:33;;;;;11922:11;:22;11934:9;11922:22;;;;;;;;;;;;;;;:36;11945:12;11922:36;;;;;;;;;;;;;;;:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12050:1;12035:12;:16;12007:14;:25;12022:9;12007:25;;;;;;;;;;;;;;;;:44;;;;;;;;;;;;;;;;;;11732:329;12097:9;12076:51;;;12108:8;12118;12076:51;;;;;;;;;;;;;;;;11503:632;;;;;:::o;12143:171::-;12218:6;12249:5;12245:1;:9;12256:12;12237:32;;;;;;;;;;;;;;;;;;;;;;;;;12304:1;12290:16;;12143:171;;;;:::o;63:12953::-;;;;;;;;;;;;;;;;;;;;;;;:::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:400;;4790:67;4854:2;4849:3;4790:67;;;4783:74;;4890:34;4886:1;4881:3;4877:11;4870:55;4959:33;4954:2;4949:3;4945:12;4938:55;5021:2;5016:3;5012:12;5005:19;;4776:254;;;;5039:398;;5217:84;5299:1;5294:3;5217:84;;;5210:91;;5334:66;5330:1;5325:3;5321:11;5314:87;5429:1;5424:3;5420:11;5413:18;;5203:234;;;;5446:379;;5606:67;5670:2;5665:3;5606:67;;;5599:74;;5706:34;5702:1;5697:3;5693:11;5686:55;5775:12;5770:2;5765:3;5761:12;5754:34;5816:2;5811:3;5807:12;5800:19;;5592:233;;;;5834:374;;5994:67;6058:2;6053:3;5994:67;;;5987:74;;6094:34;6090:1;6085:3;6081:11;6074:55;6163:7;6158:2;6153:3;6149:12;6142:29;6199:2;6194:3;6190:12;6183:19;;5980:228;;;;6217:477;;6395:85;6477:2;6472:3;6395:85;;;6388:92;;6513:34;6509:1;6504:3;6500:11;6493:55;6582:34;6577:2;6572:3;6568:12;6561:56;6651:5;6646:2;6641:3;6637:12;6630:27;6685:2;6680:3;6676:12;6669:19;;6381:313;;;;6703:398;;6863:67;6927:2;6922:3;6863:67;;;6856:74;;6963:34;6959:1;6954:3;6950:11;6943:55;7032:31;7027:2;7022:3;7018:12;7011:53;7092:2;7087:3;7083:12;7076:19;;6849:252;;;;7110:378;;7270:67;7334:2;7329:3;7270:67;;;7263:74;;7370:34;7366:1;7361:3;7357:11;7350:55;7439:11;7434:2;7429:3;7425:12;7418:33;7479:2;7474:3;7470:12;7463:19;;7256:232;;;;7497:378;;7657:67;7721:2;7716:3;7657:67;;;7650:74;;7757:34;7753:1;7748:3;7744:11;7737:55;7826:11;7821:2;7816:3;7812:12;7805:33;7866:2;7861:3;7857:12;7850:19;;7643:232;;;;7884:431;;8062:85;8144:2;8139:3;8062:85;;;8055:92;;8180:34;8176:1;8171:3;8167:11;8160:55;8249:28;8244:2;8239:3;8235:12;8228:50;8306:2;8301:3;8297:12;8290:19;;8048:267;;;;8323:113;8406:24;8424:5;8406:24;;;8401:3;8394:37;8388:48;;;8443:110;8524:23;8541:5;8524:23;;;8519:3;8512:36;8506:47;;;8560:107;8639:22;8655:5;8639:22;;;8634:3;8627:35;8621:46;;;8674:124;8756:36;8786:5;8756:36;;;8751:3;8744:49;8738:60;;;8805:110;8886:23;8903:5;8886:23;;;8881:3;8874:36;8868:47;;;8922:650;;9177:148;9321:3;9177:148;;;9170:155;;9336:75;9407:3;9398:6;9336:75;;;9433:2;9428:3;9424:12;9417:19;;9447:75;9518:3;9509:6;9447:75;;;9544:2;9539:3;9535:12;9528:19;;9564:3;9557:10;;9158:414;;;;;;9579:372;;9778:148;9922:3;9778:148;;;9771:155;;9943:3;9936:10;;9759:192;;;;9958:372;;10157:148;10301:3;10157:148;;;10150:155;;10322:3;10315:10;;10138:192;;;;10337:213;;10455:2;10444:9;10440:18;10432:26;;10469:71;10537:1;10526:9;10522:17;10513:6;10469:71;;;10426:124;;;;;10557:201;;10669:2;10658:9;10654:18;10646:26;;10683:65;10745:1;10734:9;10730:17;10721:6;10683:65;;;10640:118;;;;;10765:213;;10883:2;10872:9;10868:18;10860:26;;10897:71;10965:1;10954:9;10950:17;10941:6;10897:71;;;10854:124;;;;;10985:547;;11187:3;11176:9;11172:19;11164:27;;11202:71;11270:1;11259:9;11255:17;11246:6;11202:71;;;11284:72;11352:2;11341:9;11337:18;11328:6;11284:72;;;11367;11435:2;11424:9;11420:18;11411:6;11367:72;;;11450;11518:2;11507:9;11503:18;11494:6;11450:72;;;11158:374;;;;;;;;11539:547;;11741:3;11730:9;11726:19;11718:27;;11756:71;11824:1;11813:9;11809:17;11800:6;11756:71;;;11838:72;11906:2;11895:9;11891:18;11882:6;11838:72;;;11921;11989:2;11978:9;11974:18;11965:6;11921:72;;;12004;12072:2;12061:9;12057:18;12048:6;12004:72;;;11712:374;;;;;;;;12093:539;;12291:3;12280:9;12276:19;12268:27;;12306:71;12374:1;12363:9;12359:17;12350:6;12306:71;;;12388:68;12452:2;12441:9;12437:18;12428:6;12388:68;;;12467:72;12535:2;12524:9;12520:18;12511:6;12467:72;;;12550;12618:2;12607:9;12603:18;12594:6;12550:72;;;12262:370;;;;;;;;12639:293;;12773:2;12762:9;12758:18;12750:26;;12823:9;12817:4;12813:20;12809:1;12798:9;12794:17;12787:47;12848:74;12917:4;12908:6;12848:74;;;12840:82;;12744:188;;;;;12939:301;;13077:2;13066:9;13062:18;13054:26;;13127:9;13121:4;13117:20;13113:1;13102:9;13098:17;13091:47;13152:78;13225:4;13216:6;13152:78;;;13144:86;;13048:192;;;;;13247:407;;13438:2;13427:9;13423:18;13415:26;;13488:9;13482:4;13478:20;13474:1;13463:9;13459:17;13452:47;13513:131;13639:4;13513:131;;;13505:139;;13409:245;;;;13661:407;;13852:2;13841:9;13837:18;13829:26;;13902:9;13896:4;13892:20;13888:1;13877:9;13873:17;13866:47;13927:131;14053:4;13927:131;;;13919:139;;13823:245;;;;14075:407;;14266:2;14255:9;14251:18;14243:26;;14316:9;14310:4;14306:20;14302:1;14291:9;14287:17;14280:47;14341:131;14467:4;14341:131;;;14333:139;;14237:245;;;;14489:407;;14680:2;14669:9;14665:18;14657:26;;14730:9;14724:4;14720:20;14716:1;14705:9;14701:17;14694:47;14755:131;14881:4;14755:131;;;14747:139;;14651:245;;;;14903:407;;15094:2;15083:9;15079:18;15071:26;;15144:9;15138:4;15134:20;15130:1;15119:9;15115:17;15108:47;15169:131;15295:4;15169:131;;;15161:139;;15065:245;;;;15317:407;;15508:2;15497:9;15493:18;15485:26;;15558:9;15552:4;15548:20;15544:1;15533:9;15529:17;15522:47;15583:131;15709:4;15583:131;;;15575:139;;15479:245;;;;15731:213;;15849:2;15838:9;15834:18;15826:26;;15863:71;15931:1;15920:9;15916:17;15907:6;15863:71;;;15820:124;;;;;15951:209;;16067:2;16056:9;16052:18;16044:26;;16081:69;16147:1;16136:9;16132:17;16123:6;16081:69;;;16038:122;;;;;16167:316;;16309:2;16298:9;16294:18;16286:26;;16323:69;16389:1;16378:9;16374:17;16365:6;16323:69;;;16403:70;16469:2;16458:9;16454:18;16445:6;16403:70;;;16280:203;;;;;;16490:205;;16604:2;16593:9;16589:18;16581:26;;16618:67;16682:1;16671:9;16667:17;16658:6;16618:67;;;16575:120;;;;;16702:211;;16819:2;16808:9;16804:18;16796:26;;16833:70;16900:1;16889:9;16885:17;16876:6;16833:70;;;16790:123;;;;;16920:209;;17036:2;17025:9;17021:18;17013:26;;17050:69;17116:1;17105:9;17101:17;17092:6;17050:69;;;17007:122;;;;;17136:320;;17280:2;17269:9;17265:18;17257:26;;17294:70;17361:1;17350:9;17346:17;17337:6;17294:70;;;17375:71;17442:2;17431:9;17427:18;17418:6;17375:71;;;17251:205;;;;;;17463:118;;17553:5;17547:12;17537:22;;17518:63;;;;17588:122;;17682:5;17676:12;17666:22;;17647:63;;;;17718:163;;17833:6;17828:3;17821:19;17870:4;17865:3;17861:14;17846:29;;17814:67;;;;;17890:145;;18026:3;18011:18;;18004:31;;;;;18043:91;;18105:24;18123:5;18105:24;;;18094:35;;18088:46;;;;18141:85;;18214:5;18207:13;18200:21;18189:32;;18183:43;;;;18233:72;;18295:5;18284:16;;18278:27;;;;18312:121;;18385:42;18378:5;18374:54;18363:65;;18357:76;;;;18440:72;;18502:5;18491:16;;18485:27;;;;18519:88;;18591:10;18584:5;18580:22;18569:33;;18563:44;;;;18614:81;;18685:4;18678:5;18674:16;18663:27;;18657:38;;;;18702:104;;18774:26;18767:5;18763:38;18752:49;;18746:60;;;;18813:106;;18891:23;18908:5;18891:23;;;18878:36;;18872:47;;;;18927:268;18992:1;18999:101;19013:6;19010:1;19007:13;18999:101;;;19089:1;19084:3;19080:11;19074:18;19070:1;19065:3;19061:11;19054:39;19035:2;19032:1;19028:10;19023:15;;18999:101;;;19115:6;19112:1;19109:13;19106:2;;;19180:1;19171:6;19166:3;19162:16;19155:27;19106:2;18976:219;;;;;19203:74;;19267:5;19256:16;;19250:27;;;;19284:97;;19372:2;19368:7;19363:2;19356:5;19352:14;19348:28;19338:38;;19332:49;;;;19389:117;19458:24;19476:5;19458:24;;;19451:5;19448:35;19438:2;;19497:1;19494;19487:12;19438:2;19432:74;;19513:117;19582:24;19600:5;19582:24;;;19575:5;19572:35;19562:2;;19621:1;19618;19611:12;19562:2;19556:74;;19637:117;19706:24;19724:5;19706:24;;;19699:5;19696:35;19686:2;;19745:1;19742;19735:12;19686:2;19680:74;;19761:115;19829:23;19846:5;19829:23;;;19822:5;19819:34;19809:2;;19867:1;19864;19857:12;19809:2;19803:73;;19883:113;19950:22;19966:5;19950:22;;;19943:5;19940:33;19930:2;;19987:1;19984;19977:12;19930:2;19924:72;

bzzr://2608951406dd9c90b4dfed793e51e35586082be3d761c167d3b19e88e0a2cbc6