Contract Source Code (Solidity)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract FuelToken *    - function allowance(address account, a ...    - function approve(address spender, uin ...    - function balanceOf(address account)    - function mint(address dst, uint rawAm ...    - function burn(uint rawAmount)    - function changeMinter(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 _mintTokens(address dst, uin ...    - function _burnTokens(address src, uin ...    - 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-24
*/

// File: contracts/FuelToken.sol

pragma solidity ^0.5.16;
pragma experimental ABIEncoderV2;

// Copyright 2020 Compound Labs, Inc.
// Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
// 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
// 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
// 3. Neither the name of the copyright holder nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

contract FuelToken {
    /// @notice EIP-20 token name for this token
    string public constant name = "PowerTrade Fuel Token";

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

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

    /// @notice Total number of tokens in circulation
    uint public totalSupply;

    /// @notice Minter address
    address public minter;

    /// @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 An event thats emitted when the minter is changed
    event NewMinter(address minter);

    modifier onlyMinter {
        require(msg.sender == minter, "FuelToken:onlyMinter: should only be called by minter");
        _;
    }

    /**
     * @notice Construct a new Fuel token
     * @param initialSupply The initial supply minted at deployment
     * @param account The initial account to grant all the tokens
     */
    constructor(uint initialSupply, address account, address _minter) public {
        totalSupply = safe96(initialSupply, "FuelToken::constructor:amount exceeds 96 bits");
        balances[account] = uint96(initialSupply);
        minter = _minter;
        emit Transfer(address(0), account, initialSupply);
    }

    /**
     * @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, "FuelToken::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 Mint `amount` tokens to `dst`
     * @param dst The address of the destination account
     * @param rawAmount The number of tokens to mint
     * @notice only callable by minter
     */
    function mint(address dst, uint rawAmount) external onlyMinter {
        uint96 amount = safe96(rawAmount, "FuelToken::mint: amount exceeds 96 bits");
        _mintTokens(dst, amount);
    }

    /**
     * @notice Burn `amount` tokens
     * @param rawAmount The number of tokens to burn
     */
    function burn(uint rawAmount) external {
        uint96 amount = safe96(rawAmount, "FuelToken::burn: amount exceeds 96 bits");
        _burnTokens(msg.sender, amount);
    }

    /**
     * @notice Change minter address to `account`
     * @param account The address of the new minter
     * @notice only callable by minter
     */
    function changeMinter(address account) external onlyMinter {
        minter = account;
        emit NewMinter(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, "FuelToken::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, "FuelToken::approve: amount exceeds 96 bits");

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

        balances[src] = sub96(balances[src], amount, "FuelToken::_transferTokens: transfer amount exceeds balance");
        balances[dst] = add96(balances[dst], amount, "FuelToken::_transferTokens: transfer amount overflows");
        emit Transfer(src, dst, amount);

        _moveDelegates(delegates[src], delegates[dst], amount);
    }

    function _mintTokens(address dst, uint96 amount) internal {
        require(dst != address(0), "FuelToken::_mintTokens: cannot transfer to the zero address");
        uint96 supply = safe96(totalSupply, "FuelToken::_mintTokens: totalSupply exceeds 96 bits");
        totalSupply = add96(supply, amount, "FuelToken::_mintTokens: totalSupply exceeds 96 bits");
        balances[dst] = add96(balances[dst], amount, "FuelToken::_mintTokens: transfer amount overflows");
        emit Transfer(address(0), dst, amount);

        _moveDelegates(address(0), delegates[dst], amount);
    }

    function _burnTokens(address src, uint96 amount) internal {
        uint96 supply = safe96(totalSupply, "FuelToken::_burnTokens: totalSupply exceeds 96 bits");
        totalSupply = sub96(supply, amount, "FuelToken::_burnTokens:totalSupply underflow");
        balances[src] = sub96(balances[src], amount, "FuelToken::_burnTokens: amount overflows");
        emit Transfer(src, address(0), amount);

        _moveDelegates(delegates[src], address(0), 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, "FuelToken::_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, "FuelToken::_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, "FuelToken::_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;
    }
}

• Quantstamp - September 28th, 2020 - Security Audit Report
• Halborn - September 22nd, 2020 - Security Audit Report

[{"inputs":[{"internalType":"uint256","name":"initialSupply","type":"uint256"},{"internalType":"address","name":"account","type":"address"},{"internalType":"address","name":"_minter","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":false,"internalType":"address","name":"minter","type":"address"}],"name":"NewMinter","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":false,"inputs":[{"internalType":"uint256","name":"rawAmount","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"changeMinter","outputs":[],"payable":false,"stateMutability":"nonpayable","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":false,"inputs":[{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"rawAmount","type":"uint256"}],"name":"mint","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"minter","outputs":[{"internalType":"address","name":"","type":"address"}],"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"}]

60806040523480156200001157600080fd5b50604051620024173803806200241783398101604081905262000034916200015b565b62000062836040518060600160405280602d8152602001620023ea602d91396001600160e01b03620000fa16565b6001600160601b0390811660009081556001600160a01b038481168083526003602052604080842080546001600160601b03191695891695909517909455600180546001600160a01b0319169286169290921790915591517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90620000e99087906200021a565b60405180910390a3505050620002ae565b6000816c010000000000000000000000008410620001365760405162461bcd60e51b81526004016200012d919062000200565b60405180910390fd5b508290505b92915050565b80516200013b8162000289565b80516200013b81620002a3565b6000806000606084860312156200017157600080fd5b60006200017f86866200014e565b9350506020620001928682870162000141565b9250506040620001a58682870162000141565b9150509250925092565b6000620001bc826200022a565b620001c881856200022e565b9350620001da8185602086016200024c565b620001e5816200027f565b9093019392505050565b620001fa8162000249565b82525050565b60208082528101620002138184620001af565b9392505050565b602081016200013b8284620001ef565b5190565b90815260200190565b60006001600160a01b0382166200013b565b90565b60005b83811015620002695781810151838201526020016200024f565b8381111562000279576000848401525b50505050565b601f01601f191690565b620002948162000237565b8114620002a057600080fd5b50565b620002948162000249565b61212c80620002be6000396000f3fe608060405234801561001057600080fd5b506004361061014d5760003560e01c80635c19a95c116100c3578063a9059cbb1161007c578063a9059cbb146102b9578063b4b5ea57146102cc578063c3cda520146102df578063dd62ed3e146102f2578063e7a324dc14610305578063f1127ed81461030d5761014d565b80635c19a95c146102385780636fcfff451461024b57806370a082311461026b578063782d6fe11461027e5780637ecebe001461029e57806395d89b41146102b15761014d565b806323b872dd1161011557806323b872dd146101c25780632c4d4d18146101d5578063313ce567146101ea57806340c10f19146101ff57806342966c6814610212578063587cde1e146102255761014d565b806306fdde03146101525780630754617214610170578063095ea7b31461018557806318160ddd146101a557806320606b70146101ba575b600080fd5b61015a61032e565b6040516101679190611c5c565b60405180910390f35b61017861035f565b6040516101679190611ba4565b610198610193366004611633565b61036e565b6040516101679190611bb2565b6101ad61042d565b6040516101679190611bc0565b6101ad610433565b6101986101d03660046115e6565b61044a565b6101e86101e3366004611586565b610593565b005b6101f261061c565b6040516101679190611d16565b6101e861020d366004611633565b610621565b6101e861022036600461171a565b610680565b610178610233366004611586565b6106b4565b6101e8610246366004611586565b6106cf565b61025e610259366004611586565b6106dc565b6040516101679190611ced565b6101ad610279366004611586565b6106f4565b61029161028c366004611633565b610718565b6040516101679190611d32565b6101ad6102ac366004611586565b610926565b61015a610938565b6101986102c7366004611633565b610957565b6102916102da366004611586565b610993565b6101e86102ed366004611663565b610a03565b6101ad6103003660046115ac565b610bfa565b6101ad610c2e565b61032061031b3660046116ea565b610c3a565b604051610167929190611cfb565b604051806040016040528060158152602001742837bbb2b92a3930b23290233ab2b6102a37b5b2b760591b81525081565b6001546001600160a01b031681565b60008060001983141561038457506000196103a9565b6103a6836040518060600160405280602a8152602001611f6a602a9139610c6f565b90505b3360008181526002602090815260408083206001600160a01b03891680855292529182902080546001600160601b0319166001600160601b03861617905590519091907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92590610419908590611d24565b60405180910390a360019150505b92915050565b60005481565b60405161043f90611b8e565b604051809103902081565b6001600160a01b03831660009081526002602090815260408083203380855290835281842054825160608101909352602a80845291936001600160601b039091169285926104a29288929190611f6a90830139610c6f565b9050866001600160a01b0316836001600160a01b0316141580156104cf57506001600160601b0382811614155b156105795760006104f98383604051806080016040528060428152602001611f9460429139610c9e565b6001600160a01b038981166000818152600260209081526040808320948a16808452949091529081902080546001600160601b0319166001600160601b0386161790555192935090917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061056f908590611d24565b60405180910390a3505b610584878783610cdd565b600193505050505b9392505050565b6001546001600160a01b031633146105c65760405162461bcd60e51b81526004016105bd90611c7d565b60405180910390fd5b600180546001600160a01b0319166001600160a01b0383161790556040517f6adffd5c93085d835dac6f3b40adf7c242ca4b3284048d20c3d8a501748dc97390610611908390611ba4565b60405180910390a150565b601281565b6001546001600160a01b0316331461064b5760405162461bcd60e51b81526004016105bd90611c7d565b600061066f82604051806060016040528060278152602001611edd60279139610c6f565b905061067b8382610e83565b505050565b60006106a482604051806060016040528060278152602001611fd660279139610c6f565b90506106b03382610fdd565b5050565b6004602052600090815260409020546001600160a01b031681565b6106d9338261110f565b50565b60066020526000908152604090205463ffffffff1681565b6001600160a01b03166000908152600360205260409020546001600160601b031690565b60004382106107395760405162461bcd60e51b81526004016105bd90611c6d565b6001600160a01b03831660009081526006602052604090205463ffffffff1680610767576000915050610427565b6001600160a01b038416600090815260056020908152604080832063ffffffff6000198601811685529252909120541683106107e3576001600160a01b03841660009081526005602090815260408083206000199490940163ffffffff1683529290522054600160201b90046001600160601b03169050610427565b6001600160a01b038416600090815260056020908152604080832083805290915290205463ffffffff1683101561081e576000915050610427565b600060001982015b8163ffffffff168163ffffffff1611156108e157600282820363ffffffff16048103610850611543565b506001600160a01b038716600090815260056020908152604080832063ffffffff858116855290835292819020815180830190925254928316808252600160201b9093046001600160601b031691810191909152908714156108bc576020015194506104279350505050565b805163ffffffff168711156108d3578193506108da565b6001820392505b5050610826565b506001600160a01b038516600090815260056020908152604080832063ffffffff909416835292905220546001600160601b03600160201b9091041691505092915050565b60076020526000908152604090205481565b60405180604001604052806003815260200162282a2360e91b81525081565b60008061097c836040518060600160405280602b8152602001611ffd602b9139610c6f565b9050610989338583610cdd565b5060019392505050565b6001600160a01b03811660009081526006602052604081205463ffffffff16806109be57600061058c565b6001600160a01b0383166000908152600560209081526040808320600019850163ffffffff168452909152902054600160201b90046001600160601b03169392505050565b6000604051610a1190611b8e565b6040805191829003822082820190915260158252742837bbb2b92a3930b23290233ab2b6102a37b5b2b760591b6020909201919091527fc7c2ab683fdd8178e2364616d0fd17289f25d750c320c814174bebc972e1182f610a70611199565b30604051602001610a849493929190611c0c565b6040516020818303038152906040528051906020012090506000604051610aaa90611b99565b604051908190038120610ac5918a908a908a90602001611bce565b60405160208183030381529060405280519060200120905060008282604051602001610af2929190611b5d565b604051602081830303815290604052805190602001209050600060018288888860405160008152602001604052604051610b2f9493929190611c41565b6020604051602081039080840390855afa158015610b51573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116610b845760405162461bcd60e51b81526004016105bd90611cbd565b6001600160a01b03811660009081526007602052604090208054600181019091558914610bc35760405162461bcd60e51b81526004016105bd90611cad565b87421115610be35760405162461bcd60e51b81526004016105bd90611c9d565b610bed818b61110f565b505050505b505050505050565b6001600160a01b0391821660009081526002602090815260408083209390941682529190915220546001600160601b031690565b60405161043f90611b99565b600560209081526000928352604080842090915290825290205463ffffffff811690600160201b90046001600160601b031682565b600081600160601b8410610c965760405162461bcd60e51b81526004016105bd9190611c5c565b509192915050565b6000836001600160601b0316836001600160601b031611158290610cd55760405162461bcd60e51b81526004016105bd9190611c5c565b505050900390565b6001600160a01b038316610d035760405162461bcd60e51b81526004016105bd90611c8d565b6001600160a01b038216610d295760405162461bcd60e51b81526004016105bd90611ccd565b6001600160a01b03831660009081526003602090815260409182902054825160608101909352603b808452610d74936001600160601b03909216928592919061205490830139610c9e565b6001600160a01b03848116600090815260036020908152604080832080546001600160601b0319166001600160601b03968716179055928616825290829020548251606081019093526035808452610ddc9491909116928592909190611e499083013961119d565b6001600160a01b038381166000818152600360205260409081902080546001600160601b0319166001600160601b0395909516949094179093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e49908590611d24565b60405180910390a36001600160a01b0380841660009081526004602052604080822054858416835291205461067b929182169116836111d9565b6001600160a01b038216610ea95760405162461bcd60e51b81526004016105bd90611cdd565b6000610ecf600054604051806060016040528060338152602001611eaa60339139610c6f565b9050610ef48183604051806060016040528060338152602001611eaa6033913961119d565b6001600160601b0390811660009081556001600160a01b038516815260036020908152604091829020548251606081019093526031808452610f469491909116928692909190611e189083013961119d565b6001600160a01b03841660008181526003602052604080822080546001600160601b0319166001600160601b03959095169490941790935591519091907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fb0908690611d24565b60405180910390a36001600160a01b0380841660009081526004602052604081205461067b9216846111d9565b600061100360005460405180606001604052806033815260200161208f60339139610c6f565b905061102881836040518060600160405280602c8152602001611e7e602c9139610c9e565b6001600160601b0390811660009081556001600160a01b03851681526003602090815260409182902054825160608101909352602880845261107a94919091169286929091906120c290830139610c9e565b6001600160a01b03841660008181526003602052604080822080546001600160601b0319166001600160601b03959095169490941790935591517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110e1908690611d24565b60405180910390a36001600160a01b0380841660009081526004602052604081205461067b921690846111d9565b6001600160a01b03808316600081815260046020818152604080842080546003845282862054949093528787166001600160a01b031984168117909155905191909516946001600160601b039092169391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a46111938284836111d9565b50505050565b4690565b6000838301826001600160601b0380871690831610156111d05760405162461bcd60e51b81526004016105bd9190611c5c565b50949350505050565b816001600160a01b0316836001600160a01b03161415801561120457506000816001600160601b0316115b1561067b576001600160a01b038316156112bc576001600160a01b03831660009081526006602052604081205463ffffffff169081611244576000611283565b6001600160a01b0385166000908152600560209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b905060006112aa82856040518060600160405280602d8152602001611f04602d9139610c9e565b90506112b886848484611367565b5050505b6001600160a01b0382161561067b576001600160a01b03821660009081526006602052604081205463ffffffff1690816112f7576000611336565b6001600160a01b0384166000908152600560209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b9050600061135d82856040518060600160405280602c8152602001612028602c913961119d565b9050610bf2858484845b600061138b43604051806060016040528060398152602001611f316039913961151c565b905060008463ffffffff161180156113d457506001600160a01b038516600090815260056020908152604080832063ffffffff6000198901811685529252909120548282169116145b15611433576001600160a01b0385166000908152600560209081526040808320600019880163ffffffff168452909152902080546fffffffffffffffffffffffff000000001916600160201b6001600160601b038516021790556114d2565b60408051808201825263ffffffff80841682526001600160601b0380861660208085019182526001600160a01b038b166000818152600583528781208c871682528352878120965187549451909516600160201b026fffffffffffffffffffffffff000000001995871663ffffffff19958616179590951694909417909555938252600690935292909220805460018801909316929091169190911790555b846001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724848460405161150d929190611d40565b60405180910390a25050505050565b600081600160201b8410610c965760405162461bcd60e51b81526004016105bd9190611c5c565b604080518082019091526000808252602082015290565b803561042781611de8565b803561042781611dfc565b803561042781611e05565b803561042781611e0e565b60006020828403121561159857600080fd5b60006115a4848461155a565b949350505050565b600080604083850312156115bf57600080fd5b60006115cb858561155a565b92505060206115dc8582860161155a565b9150509250929050565b6000806000606084860312156115fb57600080fd5b6000611607868661155a565b93505060206116188682870161155a565b925050604061162986828701611565565b9150509250925092565b6000806040838503121561164657600080fd5b6000611652858561155a565b92505060206115dc85828601611565565b60008060008060008060c0878903121561167c57600080fd5b6000611688898961155a565b965050602061169989828a01611565565b95505060406116aa89828a01611565565b94505060606116bb89828a0161157b565b93505060806116cc89828a01611565565b92505060a06116dd89828a01611565565b9150509295509295509295565b600080604083850312156116fd57600080fd5b6000611709858561155a565b92505060206115dc85828601611570565b60006020828403121561172c57600080fd5b60006115a48484611565565b61174181611d6d565b82525050565b61174181611d78565b61174181611d7d565b61174161176582611d7d565b611d7d565b600061177582611d5b565b61177f8185611d5f565b935061178f818560208601611db2565b61179881611dde565b9093019392505050565b60006117af600283611d68565b61190160f01b815260020192915050565b60006117cd602c83611d5f565b7f4675656c546f6b656e3a3a6765745072696f72566f7465733a206e6f7420796581526b1d0819195d195c9b5a5b995960a21b602082015260400192915050565b600061181b603583611d5f565b7f4675656c546f6b656e3a6f6e6c794d696e7465723a2073686f756c64206f6e6c8152743c9031329031b0b63632b210313c9036b4b73a32b960591b602082015260400192915050565b6000611872604183611d5f565b7f4675656c546f6b656e3a3a5f7472616e73666572546f6b656e733a2063616e6e81527f6f74207472616e736665722066726f6d20746865207a65726f206164647265736020820152607360f81b604082015260600192915050565b60006118db604383611d68565b7f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353681527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208201526263742960e81b604082015260430192915050565b6000611946602b83611d5f565b7f4675656c546f6b656e3a3a64656c656761746542795369673a207369676e617481526a1d5c9948195e1c1a5c995960aa1b602082015260400192915050565b6000611993602783611d5f565b7f4675656c546f6b656e3a3a64656c656761746542795369673a20696e76616c6981526664206e6f6e636560c81b602082015260400192915050565b60006119dc602b83611d5f565b7f4675656c546f6b656e3a3a64656c656761746542795369673a20696e76616c6981526a64207369676e617475726560a81b602082015260400192915050565b6000611a29603f83611d5f565b7f4675656c546f6b656e3a3a5f7472616e73666572546f6b656e733a2063616e6e81527f6f74207472616e7366657220746f20746865207a65726f206164647265737300602082015260400192915050565b6000611a88603a83611d68565b7f44656c65676174696f6e28616464726573732064656c6567617465652c75696e81527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020820152603a0192915050565b6000611ae7603b83611d5f565b7f4675656c546f6b656e3a3a5f6d696e74546f6b656e733a2063616e6e6f74207481527f72616e7366657220746f20746865207a65726f20616464726573730000000000602082015260400192915050565b61174181611d8c565b61174181611d95565b61174181611da7565b61174181611d9b565b6000611b68826117a2565b9150611b748285611759565b602082019150611b848284611759565b5060200192915050565b6000610427826118ce565b600061042782611a7b565b602081016104278284611738565b602081016104278284611747565b602081016104278284611750565b60808101611bdc8287611750565b611be96020830186611738565b611bf66040830185611750565b611c036060830184611750565b95945050505050565b60808101611c1a8287611750565b611c276020830186611750565b611c346040830185611750565b611c036060830184611738565b60808101611c4f8287611750565b611be96020830186611b42565b6020808252810161058c818461176a565b60208082528101610427816117c0565b602080825281016104278161180e565b6020808252810161042781611865565b6020808252810161042781611939565b6020808252810161042781611986565b60208082528101610427816119cf565b6020808252810161042781611a1c565b6020808252810161042781611ada565b602081016104278284611b39565b60408101611d098285611b39565b61058c6020830184611b54565b602081016104278284611b42565b602081016104278284611b4b565b602081016104278284611b54565b60408101611d4e8285611b4b565b61058c6020830184611b4b565b5190565b90815260200190565b919050565b600061042782611d80565b151590565b90565b6001600160a01b031690565b63ffffffff1690565b60ff1690565b6001600160601b031690565b600061042782611d9b565b60005b83811015611dcd578181015183820152602001611db5565b838111156111935750506000910152565b601f01601f191690565b611df181611d6d565b81146106d957600080fd5b611df181611d7d565b611df181611d8c565b611df181611d9556fe4675656c546f6b656e3a3a5f6d696e74546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f77734675656c546f6b656e3a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f77734675656c546f6b656e3a3a5f6275726e546f6b656e733a746f74616c537570706c7920756e646572666c6f774675656c546f6b656e3a3a5f6d696e74546f6b656e733a20746f74616c537570706c79206578636565647320393620626974734675656c546f6b656e3a3a6d696e743a20616d6f756e74206578636565647320393620626974734675656c546f6b656e3a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f77734675656c546f6b656e3a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d626572206578636565647320333220626974734675656c546f6b656e3a3a617070726f76653a20616d6f756e74206578636565647320393620626974734675656c546f6b656e3a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e63654675656c546f6b656e3a3a6275726e3a20616d6f756e74206578636565647320393620626974734675656c546f6b656e3a3a7472616e736665723a20616d6f756e74206578636565647320393620626974734675656c546f6b656e3a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f77734675656c546f6b656e3a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e63654675656c546f6b656e3a3a5f6275726e546f6b656e733a20746f74616c537570706c79206578636565647320393620626974734675656c546f6b656e3a3a5f6275726e546f6b656e733a20616d6f756e74206f766572666c6f7773a365627a7a72315820b2995f1a78bb5169fc4ad07ec9ca8b17f4248c7fd2b66690eb9e67d4c2f639a66c6578706572696d656e74616cf564736f6c634300051000404675656c546f6b656e3a3a636f6e7374727563746f723a616d6f756e74206578636565647320393620626974730000000000000000000000000000000000000000014adf4b7320334b900000000000000000000000000000004b29444d24d30de6ce16616b32538224b3c41c7c0000000000000000000000009c48850a6e5b9742ed78fe4c0b820ec15d108ad6

0x608060405234801561001057600080fd5b506004361061014d5760003560e01c80635c19a95c116100c3578063a9059cbb1161007c578063a9059cbb146102b9578063b4b5ea57146102cc578063c3cda520146102df578063dd62ed3e146102f2578063e7a324dc14610305578063f1127ed81461030d5761014d565b80635c19a95c146102385780636fcfff451461024b57806370a082311461026b578063782d6fe11461027e5780637ecebe001461029e57806395d89b41146102b15761014d565b806323b872dd1161011557806323b872dd146101c25780632c4d4d18146101d5578063313ce567146101ea57806340c10f19146101ff57806342966c6814610212578063587cde1e146102255761014d565b806306fdde03146101525780630754617214610170578063095ea7b31461018557806318160ddd146101a557806320606b70146101ba575b600080fd5b61015a61032e565b6040516101679190611c5c565b60405180910390f35b61017861035f565b6040516101679190611ba4565b610198610193366004611633565b61036e565b6040516101679190611bb2565b6101ad61042d565b6040516101679190611bc0565b6101ad610433565b6101986101d03660046115e6565b61044a565b6101e86101e3366004611586565b610593565b005b6101f261061c565b6040516101679190611d16565b6101e861020d366004611633565b610621565b6101e861022036600461171a565b610680565b610178610233366004611586565b6106b4565b6101e8610246366004611586565b6106cf565b61025e610259366004611586565b6106dc565b6040516101679190611ced565b6101ad610279366004611586565b6106f4565b61029161028c366004611633565b610718565b6040516101679190611d32565b6101ad6102ac366004611586565b610926565b61015a610938565b6101986102c7366004611633565b610957565b6102916102da366004611586565b610993565b6101e86102ed366004611663565b610a03565b6101ad6103003660046115ac565b610bfa565b6101ad610c2e565b61032061031b3660046116ea565b610c3a565b604051610167929190611cfb565b604051806040016040528060158152602001742837bbb2b92a3930b23290233ab2b6102a37b5b2b760591b81525081565b6001546001600160a01b031681565b60008060001983141561038457506000196103a9565b6103a6836040518060600160405280602a8152602001611f6a602a9139610c6f565b90505b3360008181526002602090815260408083206001600160a01b03891680855292529182902080546001600160601b0319166001600160601b03861617905590519091907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92590610419908590611d24565b60405180910390a360019150505b92915050565b60005481565b60405161043f90611b8e565b604051809103902081565b6001600160a01b03831660009081526002602090815260408083203380855290835281842054825160608101909352602a80845291936001600160601b039091169285926104a29288929190611f6a90830139610c6f565b9050866001600160a01b0316836001600160a01b0316141580156104cf57506001600160601b0382811614155b156105795760006104f98383604051806080016040528060428152602001611f9460429139610c9e565b6001600160a01b038981166000818152600260209081526040808320948a16808452949091529081902080546001600160601b0319166001600160601b0386161790555192935090917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061056f908590611d24565b60405180910390a3505b610584878783610cdd565b600193505050505b9392505050565b6001546001600160a01b031633146105c65760405162461bcd60e51b81526004016105bd90611c7d565b60405180910390fd5b600180546001600160a01b0319166001600160a01b0383161790556040517f6adffd5c93085d835dac6f3b40adf7c242ca4b3284048d20c3d8a501748dc97390610611908390611ba4565b60405180910390a150565b601281565b6001546001600160a01b0316331461064b5760405162461bcd60e51b81526004016105bd90611c7d565b600061066f82604051806060016040528060278152602001611edd60279139610c6f565b905061067b8382610e83565b505050565b60006106a482604051806060016040528060278152602001611fd660279139610c6f565b90506106b03382610fdd565b5050565b6004602052600090815260409020546001600160a01b031681565b6106d9338261110f565b50565b60066020526000908152604090205463ffffffff1681565b6001600160a01b03166000908152600360205260409020546001600160601b031690565b60004382106107395760405162461bcd60e51b81526004016105bd90611c6d565b6001600160a01b03831660009081526006602052604090205463ffffffff1680610767576000915050610427565b6001600160a01b038416600090815260056020908152604080832063ffffffff6000198601811685529252909120541683106107e3576001600160a01b03841660009081526005602090815260408083206000199490940163ffffffff1683529290522054600160201b90046001600160601b03169050610427565b6001600160a01b038416600090815260056020908152604080832083805290915290205463ffffffff1683101561081e576000915050610427565b600060001982015b8163ffffffff168163ffffffff1611156108e157600282820363ffffffff16048103610850611543565b506001600160a01b038716600090815260056020908152604080832063ffffffff858116855290835292819020815180830190925254928316808252600160201b9093046001600160601b031691810191909152908714156108bc576020015194506104279350505050565b805163ffffffff168711156108d3578193506108da565b6001820392505b5050610826565b506001600160a01b038516600090815260056020908152604080832063ffffffff909416835292905220546001600160601b03600160201b9091041691505092915050565b60076020526000908152604090205481565b60405180604001604052806003815260200162282a2360e91b81525081565b60008061097c836040518060600160405280602b8152602001611ffd602b9139610c6f565b9050610989338583610cdd565b5060019392505050565b6001600160a01b03811660009081526006602052604081205463ffffffff16806109be57600061058c565b6001600160a01b0383166000908152600560209081526040808320600019850163ffffffff168452909152902054600160201b90046001600160601b03169392505050565b6000604051610a1190611b8e565b6040805191829003822082820190915260158252742837bbb2b92a3930b23290233ab2b6102a37b5b2b760591b6020909201919091527fc7c2ab683fdd8178e2364616d0fd17289f25d750c320c814174bebc972e1182f610a70611199565b30604051602001610a849493929190611c0c565b6040516020818303038152906040528051906020012090506000604051610aaa90611b99565b604051908190038120610ac5918a908a908a90602001611bce565b60405160208183030381529060405280519060200120905060008282604051602001610af2929190611b5d565b604051602081830303815290604052805190602001209050600060018288888860405160008152602001604052604051610b2f9493929190611c41565b6020604051602081039080840390855afa158015610b51573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116610b845760405162461bcd60e51b81526004016105bd90611cbd565b6001600160a01b03811660009081526007602052604090208054600181019091558914610bc35760405162461bcd60e51b81526004016105bd90611cad565b87421115610be35760405162461bcd60e51b81526004016105bd90611c9d565b610bed818b61110f565b505050505b505050505050565b6001600160a01b0391821660009081526002602090815260408083209390941682529190915220546001600160601b031690565b60405161043f90611b99565b600560209081526000928352604080842090915290825290205463ffffffff811690600160201b90046001600160601b031682565b600081600160601b8410610c965760405162461bcd60e51b81526004016105bd9190611c5c565b509192915050565b6000836001600160601b0316836001600160601b031611158290610cd55760405162461bcd60e51b81526004016105bd9190611c5c565b505050900390565b6001600160a01b038316610d035760405162461bcd60e51b81526004016105bd90611c8d565b6001600160a01b038216610d295760405162461bcd60e51b81526004016105bd90611ccd565b6001600160a01b03831660009081526003602090815260409182902054825160608101909352603b808452610d74936001600160601b03909216928592919061205490830139610c9e565b6001600160a01b03848116600090815260036020908152604080832080546001600160601b0319166001600160601b03968716179055928616825290829020548251606081019093526035808452610ddc9491909116928592909190611e499083013961119d565b6001600160a01b038381166000818152600360205260409081902080546001600160601b0319166001600160601b0395909516949094179093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e49908590611d24565b60405180910390a36001600160a01b0380841660009081526004602052604080822054858416835291205461067b929182169116836111d9565b6001600160a01b038216610ea95760405162461bcd60e51b81526004016105bd90611cdd565b6000610ecf600054604051806060016040528060338152602001611eaa60339139610c6f565b9050610ef48183604051806060016040528060338152602001611eaa6033913961119d565b6001600160601b0390811660009081556001600160a01b038516815260036020908152604091829020548251606081019093526031808452610f469491909116928692909190611e189083013961119d565b6001600160a01b03841660008181526003602052604080822080546001600160601b0319166001600160601b03959095169490941790935591519091907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fb0908690611d24565b60405180910390a36001600160a01b0380841660009081526004602052604081205461067b9216846111d9565b600061100360005460405180606001604052806033815260200161208f60339139610c6f565b905061102881836040518060600160405280602c8152602001611e7e602c9139610c9e565b6001600160601b0390811660009081556001600160a01b03851681526003602090815260409182902054825160608101909352602880845261107a94919091169286929091906120c290830139610c9e565b6001600160a01b03841660008181526003602052604080822080546001600160601b0319166001600160601b03959095169490941790935591517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110e1908690611d24565b60405180910390a36001600160a01b0380841660009081526004602052604081205461067b921690846111d9565b6001600160a01b03808316600081815260046020818152604080842080546003845282862054949093528787166001600160a01b031984168117909155905191909516946001600160601b039092169391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a46111938284836111d9565b50505050565b4690565b6000838301826001600160601b0380871690831610156111d05760405162461bcd60e51b81526004016105bd9190611c5c565b50949350505050565b816001600160a01b0316836001600160a01b03161415801561120457506000816001600160601b0316115b1561067b576001600160a01b038316156112bc576001600160a01b03831660009081526006602052604081205463ffffffff169081611244576000611283565b6001600160a01b0385166000908152600560209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b905060006112aa82856040518060600160405280602d8152602001611f04602d9139610c9e565b90506112b886848484611367565b5050505b6001600160a01b0382161561067b576001600160a01b03821660009081526006602052604081205463ffffffff1690816112f7576000611336565b6001600160a01b0384166000908152600560209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b9050600061135d82856040518060600160405280602c8152602001612028602c913961119d565b9050610bf2858484845b600061138b43604051806060016040528060398152602001611f316039913961151c565b905060008463ffffffff161180156113d457506001600160a01b038516600090815260056020908152604080832063ffffffff6000198901811685529252909120548282169116145b15611433576001600160a01b0385166000908152600560209081526040808320600019880163ffffffff168452909152902080546fffffffffffffffffffffffff000000001916600160201b6001600160601b038516021790556114d2565b60408051808201825263ffffffff80841682526001600160601b0380861660208085019182526001600160a01b038b166000818152600583528781208c871682528352878120965187549451909516600160201b026fffffffffffffffffffffffff000000001995871663ffffffff19958616179590951694909417909555938252600690935292909220805460018801909316929091169190911790555b846001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724848460405161150d929190611d40565b60405180910390a25050505050565b600081600160201b8410610c965760405162461bcd60e51b81526004016105bd9190611c5c565b604080518082019091526000808252602082015290565b803561042781611de8565b803561042781611dfc565b803561042781611e05565b803561042781611e0e565b60006020828403121561159857600080fd5b60006115a4848461155a565b949350505050565b600080604083850312156115bf57600080fd5b60006115cb858561155a565b92505060206115dc8582860161155a565b9150509250929050565b6000806000606084860312156115fb57600080fd5b6000611607868661155a565b93505060206116188682870161155a565b925050604061162986828701611565565b9150509250925092565b6000806040838503121561164657600080fd5b6000611652858561155a565b92505060206115dc85828601611565565b60008060008060008060c0878903121561167c57600080fd5b6000611688898961155a565b965050602061169989828a01611565565b95505060406116aa89828a01611565565b94505060606116bb89828a0161157b565b93505060806116cc89828a01611565565b92505060a06116dd89828a01611565565b9150509295509295509295565b600080604083850312156116fd57600080fd5b6000611709858561155a565b92505060206115dc85828601611570565b60006020828403121561172c57600080fd5b60006115a48484611565565b61174181611d6d565b82525050565b61174181611d78565b61174181611d7d565b61174161176582611d7d565b611d7d565b600061177582611d5b565b61177f8185611d5f565b935061178f818560208601611db2565b61179881611dde565b9093019392505050565b60006117af600283611d68565b61190160f01b815260020192915050565b60006117cd602c83611d5f565b7f4675656c546f6b656e3a3a6765745072696f72566f7465733a206e6f7420796581526b1d0819195d195c9b5a5b995960a21b602082015260400192915050565b600061181b603583611d5f565b7f4675656c546f6b656e3a6f6e6c794d696e7465723a2073686f756c64206f6e6c8152743c9031329031b0b63632b210313c9036b4b73a32b960591b602082015260400192915050565b6000611872604183611d5f565b7f4675656c546f6b656e3a3a5f7472616e73666572546f6b656e733a2063616e6e81527f6f74207472616e736665722066726f6d20746865207a65726f206164647265736020820152607360f81b604082015260600192915050565b60006118db604383611d68565b7f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353681527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208201526263742960e81b604082015260430192915050565b6000611946602b83611d5f565b7f4675656c546f6b656e3a3a64656c656761746542795369673a207369676e617481526a1d5c9948195e1c1a5c995960aa1b602082015260400192915050565b6000611993602783611d5f565b7f4675656c546f6b656e3a3a64656c656761746542795369673a20696e76616c6981526664206e6f6e636560c81b602082015260400192915050565b60006119dc602b83611d5f565b7f4675656c546f6b656e3a3a64656c656761746542795369673a20696e76616c6981526a64207369676e617475726560a81b602082015260400192915050565b6000611a29603f83611d5f565b7f4675656c546f6b656e3a3a5f7472616e73666572546f6b656e733a2063616e6e81527f6f74207472616e7366657220746f20746865207a65726f206164647265737300602082015260400192915050565b6000611a88603a83611d68565b7f44656c65676174696f6e28616464726573732064656c6567617465652c75696e81527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020820152603a0192915050565b6000611ae7603b83611d5f565b7f4675656c546f6b656e3a3a5f6d696e74546f6b656e733a2063616e6e6f74207481527f72616e7366657220746f20746865207a65726f20616464726573730000000000602082015260400192915050565b61174181611d8c565b61174181611d95565b61174181611da7565b61174181611d9b565b6000611b68826117a2565b9150611b748285611759565b602082019150611b848284611759565b5060200192915050565b6000610427826118ce565b600061042782611a7b565b602081016104278284611738565b602081016104278284611747565b602081016104278284611750565b60808101611bdc8287611750565b611be96020830186611738565b611bf66040830185611750565b611c036060830184611750565b95945050505050565b60808101611c1a8287611750565b611c276020830186611750565b611c346040830185611750565b611c036060830184611738565b60808101611c4f8287611750565b611be96020830186611b42565b6020808252810161058c818461176a565b60208082528101610427816117c0565b602080825281016104278161180e565b6020808252810161042781611865565b6020808252810161042781611939565b6020808252810161042781611986565b60208082528101610427816119cf565b6020808252810161042781611a1c565b6020808252810161042781611ada565b602081016104278284611b39565b60408101611d098285611b39565b61058c6020830184611b54565b602081016104278284611b42565b602081016104278284611b4b565b602081016104278284611b54565b60408101611d4e8285611b4b565b61058c6020830184611b4b565b5190565b90815260200190565b919050565b600061042782611d80565b151590565b90565b6001600160a01b031690565b63ffffffff1690565b60ff1690565b6001600160601b031690565b600061042782611d9b565b60005b83811015611dcd578181015183820152602001611db5565b838111156111935750506000910152565b601f01601f191690565b611df181611d6d565b81146106d957600080fd5b611df181611d7d565b611df181611d8c565b611df181611d9556fe4675656c546f6b656e3a3a5f6d696e74546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f77734675656c546f6b656e3a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f77734675656c546f6b656e3a3a5f6275726e546f6b656e733a746f74616c537570706c7920756e646572666c6f774675656c546f6b656e3a3a5f6d696e74546f6b656e733a20746f74616c537570706c79206578636565647320393620626974734675656c546f6b656e3a3a6d696e743a20616d6f756e74206578636565647320393620626974734675656c546f6b656e3a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f77734675656c546f6b656e3a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d626572206578636565647320333220626974734675656c546f6b656e3a3a617070726f76653a20616d6f756e74206578636565647320393620626974734675656c546f6b656e3a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e63654675656c546f6b656e3a3a6275726e3a20616d6f756e74206578636565647320393620626974734675656c546f6b656e3a3a7472616e736665723a20616d6f756e74206578636565647320393620626974734675656c546f6b656e3a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f77734675656c546f6b656e3a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e63654675656c546f6b656e3a3a5f6275726e546f6b656e733a20746f74616c537570706c79206578636565647320393620626974734675656c546f6b656e3a3a5f6275726e546f6b656e733a20616d6f756e74206f766572666c6f7773a365627a7a72315820b2995f1a78bb5169fc4ad07ec9ca8b17f4248c7fd2b66690eb9e67d4c2f639a66c6578706572696d656e74616cf564736f6c63430005100040

0000000000000000000000000000000000000000014adf4b7320334b900000000000000000000000000000004b29444d24d30de6ce16616b32538224b3c41c7c0000000000000000000000009c48850a6e5b9742ed78fe4c0b820ec15d108ad6

-----Decoded View---------------
Arg [0] : initialSupply (uint256): 400000000000000000000000000
Arg [1] : account (address): 0x4B29444d24D30De6cE16616B32538224B3c41c7c
Arg [2] : _minter (address): 0x9C48850A6e5B9742Ed78FE4C0B820EC15D108ad6

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000014adf4b7320334b90000000
Arg [1] : 0000000000000000000000004b29444d24d30de6ce16616b32538224b3c41c7c
Arg [2] : 0000000000000000000000009c48850a6e5b9742ed78fe4c0b820ec15d108ad6

1584:15512:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1584:15512:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1660:53;;;:::i;:::-;;;;;;;;;;;;;;;;2037:21;;;:::i;:::-;;;;;;;;5718:424;;;;;;;;;:::i;:::-;;;;;;;;1973:23;;;:::i;:::-;;;;;;;;2923:122;;;:::i;8278:682::-;;;;;;;;;:::i;7333:128::-;;;;;;;;;:::i;:::-;;1874:35;;;:::i;:::-;;;;;;;;6677:193;;;;;;;;;:::i;6987:176::-;;;;;;;;;:::i;2373:45::-;;;;;;;;;:::i;9108:102::-;;;;;;;;;:::i;2801:49::-;;;;;;;;;:::i;:::-;;;;;;;;6345:108;;;;;;;;;:::i;11302:1223::-;;;;;;;;;:::i;:::-;;;;;;;;3337:39;;;;;;;;;:::i;1774:37::-;;;:::i;7725:243::-;;;;;;;;;:::i;10649:222::-;;;;;;;;;:::i;9644:804::-;;;;;;;;;:::i;5104:136::-;;;;;;;;;:::i;3139:117::-;;;:::i;2662:70::-;;;;;;;;;:::i;:::-;;;;;;;;;1660:53;;;;;;;;;;;;;;-1:-1:-1;;;1660:53:0;;;;:::o;2037:21::-;;;-1:-1:-1;;;;;2037:21:0;;:::o;5718:424::-;5786:4;5803:13;-1:-1:-1;;5831:9:0;:21;5827:178;;;-1:-1:-1;;;5827:178:0;;;5930:63;5937:9;5930:63;;;;;;;;;;;;;;;;;:6;:63::i;:::-;5921:72;;5827:178;6028:10;6017:22;;;;:10;:22;;;;;;;;-1:-1:-1;;;;;6017:31:0;;;;;;;;;;;:40;;-1:-1:-1;;;;;;6017:40:0;-1:-1:-1;;;;;6017:40:0;;;;;6075:37;;6017:31;;6028:10;6075:37;;;;6017:40;;6075:37;;;;;;;;;;6130:4;6123:11;;;5718:424;;;;;:::o;1973:23::-;;;;:::o;2923:122::-;2965:80;;;;;;;;;;;;;;2923:122;:::o;8278:682::-;-1:-1:-1;;;;;8442:15:0;;8360:4;8442:15;;;:10;:15;;;;;;;;8395:10;8442:24;;;;;;;;;;8493:63;;;;;;;;;;;;8395:10;;-1:-1:-1;;;;;8442:24:0;;;;8360:4;;8493:63;;8500:9;;8493:63;;;;;;;:6;:63::i;:::-;8477:79;;8584:3;-1:-1:-1;;;;;8573:14:0;:7;-1:-1:-1;;;;;8573:14:0;;;:48;;;;-1:-1:-1;;;;;;8591:30:0;;;;;8573:48;8569:316;;;8638:19;8660:101;8666:16;8684:6;8660:101;;;;;;;;;;;;;;;;;:5;:101::i;:::-;-1:-1:-1;;;;;8776:15:0;;;;;;;:10;:15;;;;;;;;:24;;;;;;;;;;;;;;:39;;-1:-1:-1;;;;;;8776:39:0;-1:-1:-1;;;;;8776:39:0;;;;;8837:36;8776:39;;-1:-1:-1;8776:24:0;;8837:36;;;;8776:39;;8837:36;;;;;;;;;;8569:316;;8897:33;8913:3;8918;8923:6;8897:15;:33::i;:::-;8948:4;8941:11;;;;;8278:682;;;;;;:::o;7333:128::-;4196:6;;-1:-1:-1;;;;;4196:6:0;4182:10;:20;4174:86;;;;-1:-1:-1;;;4174:86:0;;;;;;;;;;;;;;;;;7403:6;:16;;-1:-1:-1;;;;;;7403:16:0;-1:-1:-1;;;;;7403:16:0;;;;;7435:18;;;;;;7403:16;;7435:18;;;;;;;;;;7333:128;:::o;1874:35::-;1907:2;1874:35;:::o;6677:193::-;4196:6;;-1:-1:-1;;;;;4196:6:0;4182:10;:20;4174:86;;;;-1:-1:-1;;;4174:86:0;;;;;;;;;6751:13;6767:60;6774:9;6767:60;;;;;;;;;;;;;;;;;:6;:60::i;:::-;6751:76;;6838:24;6850:3;6855:6;6838:11;:24::i;:::-;4271:1;6677:193;;:::o;6987:176::-;7037:13;7053:60;7060:9;7053:60;;;;;;;;;;;;;;;;;:6;:60::i;:::-;7037:76;;7124:31;7136:10;7148:6;7124:11;:31::i;:::-;6987:176;;:::o;2373:45::-;;;;;;;;;;;;-1:-1:-1;;;;;2373:45:0;;:::o;9108:102::-;9170:32;9180:10;9192:9;9170;:32::i;:::-;9108:102;:::o;2801:49::-;;;;;;;;;;;;;;;:::o;6345:108::-;-1:-1:-1;;;;;6428:17:0;6404:4;6428:17;;;:8;:17;;;;;;-1:-1:-1;;;;;6428:17:0;;6345:108::o;11302:1223::-;11381:6;11422:12;11408:11;:26;11400:83;;;;-1:-1:-1;;;11400:83:0;;;;;;;;;-1:-1:-1;;;;;11518:23:0;;11496:19;11518:23;;;:14;:23;;;;;;;;11556:17;11552:58;;11597:1;11590:8;;;;;11552:58;-1:-1:-1;;;;;11670:20:0;;;;;;:11;:20;;;;;;;;:38;-1:-1:-1;;11691:16:0;;11670:38;;;;;;;;;:48;;:63;-1:-1:-1;11666:147:0;;-1:-1:-1;;;;;11757:20:0;;;;;;:11;:20;;;;;;;;-1:-1:-1;;11778:16:0;;;;11757:38;;;;;;;;:44;-1:-1:-1;;;11757:44:0;;-1:-1:-1;;;;;11757:44:0;;-1:-1:-1;11750:51:0;;11666:147;-1:-1:-1;;;;;11874:20:0;;;;;;:11;:20;;;;;;;;:23;;;;;;;;:33;:23;:33;:47;-1:-1:-1;11870:88:0;;;11945:1;11938:8;;;;;11870:88;11970:12;-1:-1:-1;;12012:16:0;;12039:428;12054:5;12046:13;;:5;:13;;;12039:428;;;12118:1;12101:13;;;12100:19;;;12092:27;;12161:20;;:::i;:::-;-1:-1:-1;;;;;;12184:20:0;;;;;;:11;:20;;;;;;;;:28;;;;;;;;;;;;;12161:51;;;;;;;;;;;;;;;-1:-1:-1;;;12161:51:0;;;-1:-1:-1;;;;;12161:51:0;;;;;;;;;12231:27;;12227:229;;;12286:8;;;;-1:-1:-1;12279:15:0;;-1:-1:-1;;;;12279:15:0;12227:229;12320:12;;:26;;;-1:-1:-1;12316:140:0;;;12375:6;12367:14;;12316:140;;;12439:1;12430:6;:10;12422:18;;12316:140;12039:428;;;;;-1:-1:-1;;;;;;12484:20:0;;;;;;:11;:20;;;;;;;;:27;;;;;;;;;;:33;-1:-1:-1;;;;;;;;12484:33:0;;;;;-1:-1:-1;;11302:1223:0;;;;:::o;3337:39::-;;;;;;;;;;;;;:::o;1774:37::-;;;;;;;;;;;;;;-1:-1:-1;;;1774:37:0;;;;:::o;7725:243::-;7790:4;7807:13;7823:64;7830:9;7823:64;;;;;;;;;;;;;;;;;:6;:64::i;:::-;7807:80;;7898:40;7914:10;7926:3;7931:6;7898:15;:40::i;:::-;-1:-1:-1;7956:4:0;;7725:243;-1:-1:-1;;;7725:243:0:o;10649:222::-;-1:-1:-1;;;;;10755:23:0;;10714:6;10755:23;;;:14;:23;;;;;;;;10796:16;:67;;10862:1;10796:67;;;-1:-1:-1;;;;;10815:20:0;;;;;;:11;:20;;;;;;;;-1:-1:-1;;10836:16:0;;10815:38;;;;;;;;;:44;-1:-1:-1;;;10815:44:0;;-1:-1:-1;;;;;10815:44:0;10789:74;10649:222;-1:-1:-1;;;10649:222:0:o;9644:804::-;9760:23;2965:80;;;;;;;;;;;;;;;;9840:4;;;;;;;;;-1:-1:-1;;;9840:4:0;;;;;;;;9824:22;9848:12;:10;:12::i;:::-;9870:4;9796:80;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;9796:80:0;;;9786:91;;;;;;9760:117;;9888:18;3185:71;;;;;;;;;;;;;;;9919:57;;9951:9;;9962:5;;9969:6;;9919:57;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;9919:57:0;;;9909:68;;;;;;9888:89;;9988:14;10044:15;10061:10;10015:57;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;10015:57:0;;;10005:68;;;;;;9988:85;;10084:17;10104:26;10114:6;10122:1;10125;10128;10104:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;10104:26:0;;-1:-1:-1;;10104:26:0;;;-1:-1:-1;;;;;;;10149:23:0;;10141:79;;;;-1:-1:-1;;;10141:79:0;;;;;;;;;-1:-1:-1;;;;;10248:17:0;;;;;;:6;:17;;;;;:19;;;;;;;;10239:28;;10231:80;;;;-1:-1:-1;;;10231:80:0;;;;;;;;;10337:6;10330:3;:13;;10322:69;;;;-1:-1:-1;;;10322:69:0;;;;;;;;;10409:31;10419:9;10430;10409;:31::i;:::-;10402:38;;;;9644:804;;;;;;;:::o;5104:136::-;-1:-1:-1;;;;;5204:19:0;;;5180:4;5204:19;;;:10;:19;;;;;;;;:28;;;;;;;;;;;;-1:-1:-1;;;;;5204:28:0;;5104:136::o;3139:117::-;3185:71;;;;;;2662:70;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;2662:70:0;;-1:-1:-1;;;;;2662:70:0;;:::o;16402:161::-;16477:6;16515:12;-1:-1:-1;;;16504:9:0;;16496:32;;;;-1:-1:-1;;;16496:32:0;;;;;;;;;;-1:-1:-1;16553:1:0;;16402:161;-1:-1:-1;;16402:161:0:o;16767:165::-;16853:6;16885:1;-1:-1:-1;;;;;16880:6:0;:1;-1:-1:-1;;;;;16880:6:0;;;16888:12;16872:29;;;;;-1:-1:-1;;;16872:29:0;;;;;;;;;;-1:-1:-1;;;16919:5:0;;;16767:165::o;12916:634::-;-1:-1:-1;;;;;13010:17:0;;13002:95;;;;-1:-1:-1;;;13002:95:0;;;;;;;;;-1:-1:-1;;;;;13116:17:0;;13108:93;;;;-1:-1:-1;;;13108:93:0;;;;;;;;;-1:-1:-1;;;;;13236:13:0;;;;;;:8;:13;;;;;;;;;;13230:91;;;;;;;;;;;;;;-1:-1:-1;;;;;13236:13:0;;;;13251:6;;13230:91;;;;;;;:5;:91::i;:::-;-1:-1:-1;;;;;13214:13:0;;;;;;;:8;:13;;;;;;;;:107;;-1:-1:-1;;;;;;13214:107:0;-1:-1:-1;;;;;13214:107:0;;;;;;13354:13;;;;;;;;;;13348:85;;;;;;;;;;;;;;13354:13;;;;;13369:6;;13348:85;;;;;;;;:5;:85::i;:::-;-1:-1:-1;;;;;13332:13:0;;;;;;;:8;:13;;;;;;;:101;;-1:-1:-1;;;;;;13332:101:0;-1:-1:-1;;;;;13332:101:0;;;;;;;;;;;13449:26;;;;;;;;;;13468:6;;13449:26;;;;;;;;;;-1:-1:-1;;;;;13503:14:0;;;;;;;:9;:14;;;;;;;13519;;;;;;;;13488:54;;13503:14;;;;13519;13535:6;13488:14;:54::i;13558:588::-;-1:-1:-1;;;;;13635:17:0;;13627:89;;;;-1:-1:-1;;;13627:89:0;;;;;;;;;13727:13;13743:74;13750:11;;13743:74;;;;;;;;;;;;;;;;;:6;:74::i;:::-;13727:90;;13842:76;13848:6;13856;13842:76;;;;;;;;;;;;;;;;;:5;:76::i;:::-;-1:-1:-1;;;;;13828:90:0;;;:11;:90;;;-1:-1:-1;;;;;13951:13:0;;;;:8;:13;;;;;;;;;;13945:81;;;;;;;;;;;;;;13951:13;;;;;13966:6;;13945:81;;;;;;;;:5;:81::i;:::-;-1:-1:-1;;;;;13929:13:0;;;;;;:8;:13;;;;;;:97;;-1:-1:-1;;;;;;13929:97:0;-1:-1:-1;;;;;13929:97:0;;;;;;;;;;;14042:33;;13929:13;;;14042:33;;;;14068:6;;14042:33;;;;;;;;;;-1:-1:-1;;;;;14115:14:0;;;14111:1;14115:14;;;:9;:14;;;;;;14088:50;;14115:14;14131:6;14088:14;:50::i;14154:472::-;14223:13;14239:74;14246:11;;14239:74;;;;;;;;;;;;;;;;;:6;:74::i;:::-;14223:90;;14338:69;14344:6;14352;14338:69;;;;;;;;;;;;;;;;;:5;:69::i;:::-;-1:-1:-1;;;;;14324:83:0;;;:11;:83;;;-1:-1:-1;;;;;14440:13:0;;;;:8;:13;;;;;;;;;;14434:72;;;;;;;;;;;;;;14440:13;;;;;14455:6;;14434:72;;;;;;;;:5;:72::i;:::-;-1:-1:-1;;;;;14418:13:0;;;;;;:8;:13;;;;;;:88;;-1:-1:-1;;;;;;14418:88:0;-1:-1:-1;;;;;14418:88:0;;;;;;;;;;;14522:33;;;;;;14548:6;;14522:33;;;;;;;;;;-1:-1:-1;;;;;14583:14:0;;;;;;;:9;:14;;;;;;14568:50;;14583:14;;14611:6;14568:14;:50::i;12533:375::-;-1:-1:-1;;;;;12636:20:0;;;12610:23;12636:20;;;:9;:20;;;;;;;;;;12693:8;:19;;;;;;12723:20;;;;:32;;;-1:-1:-1;;;;;;12723:32:0;;;;;;;12773:54;;12636:20;;;;;-1:-1:-1;;;;;12693:19:0;;;;12723:32;;12636:20;;;12773:54;;12610:23;12773:54;12840:60;12855:15;12872:9;12883:16;12840:14;:60::i;:::-;12533:375;;;;:::o;16940:153::-;17050:9;16940:153;:::o;16571:188::-;16657:6;16687:5;;;16719:12;-1:-1:-1;;;;;16711:6:0;;;;;;;;16703:29;;;;-1:-1:-1;;;16703:29:0;;;;;;;;;;-1:-1:-1;16750:1:0;16571:188;-1:-1:-1;;;;16571:188:0:o;14634:949::-;14739:6;-1:-1:-1;;;;;14729:16:0;:6;-1:-1:-1;;;;;14729:16:0;;;:30;;;;;14758:1;14749:6;-1:-1:-1;;;;;14749:10:0;;14729:30;14725:851;;;-1:-1:-1;;;;;14780:20:0;;;14776:387;;-1:-1:-1;;;;;14840:22:0;;14821:16;14840:22;;;:14;:22;;;;;;;;;14900:13;:60;;14959:1;14900:60;;;-1:-1:-1;;;;;14916:19:0;;;;;;:11;:19;;;;;;;;-1:-1:-1;;14936:13:0;;14916:34;;;;;;;;;:40;-1:-1:-1;;;14916:40:0;;-1:-1:-1;;;;;14916:40:0;14900:60;14881:79;;14979:16;14998:73;15004:9;15015:6;14998:73;;;;;;;;;;;;;;;;;:5;:73::i;:::-;14979:92;;15090:57;15107:6;15115:9;15126;15137;15090:16;:57::i;:::-;14776:387;;;;-1:-1:-1;;;;;15183:20:0;;;15179:386;;-1:-1:-1;;;;;15243:22:0;;15224:16;15243:22;;;:14;:22;;;;;;;;;15303:13;:60;;15362:1;15303:60;;;-1:-1:-1;;;;;15319:19:0;;;;;;:11;:19;;;;;;;;-1:-1:-1;;15339:13:0;;15319:34;;;;;;;;;:40;-1:-1:-1;;;15319:40:0;;-1:-1:-1;;;;;15319:40:0;15303:60;15284:79;;15382:16;15401:72;15407:9;15418:6;15401:72;;;;;;;;;;;;;;;;;:5;:72::i;:::-;15382:91;;15492:57;15509:6;15517:9;15528;15539;15591:634;15709:18;15730:81;15737:12;15730:81;;;;;;;;;;;;;;;;;:6;:81::i;:::-;15709:102;;15841:1;15826:12;:16;;;:85;;;;-1:-1:-1;;;;;;15846:22:0;;;;;;:11;:22;;;;;;;;:65;-1:-1:-1;;15869:16:0;;15846:40;;;;;;;;;:50;:65;;;:50;;:65;15826:85;15822:329;;;-1:-1:-1;;;;;15926:22:0;;;;;;:11;:22;;;;;;;;-1:-1:-1;;15949:16:0;;15926:40;;;;;;;;;:57;;-1:-1:-1;;15926:57:0;-1:-1:-1;;;;;;;;15926:57:0;;;;;;15822:329;;;16051:33;;;;;;;;;;;;;;-1:-1:-1;;;;;16051:33:0;;;;;;;;;;-1:-1:-1;;;;;16012:22:0;;-1:-1:-1;16012:22:0;;;:11;:22;;;;;:36;;;;;;;;;;:72;;;;;;;;;-1:-1:-1;;;16012:72:0;-1:-1:-1;;16012:72:0;;;-1:-1:-1;;16012:72:0;;;;;;;;;;;;;;;16097:25;;;:14;:25;;;;;;;:44;;16012:72;16125:16;;16097:44;;;;;;;;;;;;;15822:329;16187:9;-1:-1:-1;;;;;16166:51:0;;16198:8;16208;16166:51;;;;;;;;;;;;;;;;15591:634;;;;;:::o;16233:161::-;16308:6;16346:12;-1:-1:-1;;;16335:9:0;;16327:32;;;;-1:-1:-1;;;16327:32:0;;;;;;;;;1584:15512;;;;;;;;;;-1:-1:-1;1584:15512:0;;;;;;;;:::o;5:130:-1:-;72:20;;97:33;72:20;97:33;;142:130;209:20;;234:33;209:20;234:33;;416:128;482:20;;507:32;482:20;507:32;;551:126;616:20;;641:31;616:20;641:31;;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;881:9;856:53;;;846:63;750:175;-1:-1;;;;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;1146:9;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;1536:9;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;2017:9;1992:53;;;1982:63;;1954:97;2082:2;2100:53;2145:7;2136:6;2125:9;2121:22;2100:53;;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;2457:9;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;3261:9;3236:53;;;3226:63;;3198:97;3326:2;3344:52;3388:7;3379:6;3368:9;3364:22;3344:52;;3419:241;;3523:2;3511:9;3502:7;3498:23;3494:32;3491:2;;;3539:1;3536;3529:12;3491:2;3574:1;3591:53;3636:7;3616:9;3591:53;;3667:113;3750:24;3768:5;3750:24;;;3745:3;3738:37;3732:48;;;3787:104;3864:21;3879:5;3864:21;;3898:113;3981:24;3999:5;3981:24;;4018:152;4119:45;4139:24;4157:5;4139:24;;;4119:45;;4177:347;;4289:39;4322:5;4289:39;;;4340:71;4404:6;4399:3;4340:71;;;4333:78;;4416:52;4461:6;4456:3;4449:4;4442:5;4438:16;4416:52;;;4489:29;4511:6;4489:29;;;4480:39;;;;4269:255;-1:-1;;;4269:255;4878:398;;5056:84;5138:1;5133:3;5056:84;;;-1:-1;;;5153:87;;5268:1;5259:11;;5042:234;-1:-1;;5042:234;5285:381;;5445:67;5509:2;5504:3;5445:67;;;5545:34;5525:55;;-1:-1;;;5609:2;5600:12;;5593:36;5657:2;5648:12;;5431:235;-1:-1;;5431:235;5675:390;;5835:67;5899:2;5894:3;5835:67;;;5935:34;5915:55;;-1:-1;;;5999:2;5990:12;;5983:45;6056:2;6047:12;;5821:244;-1:-1;;5821:244;6074:439;;6234:67;6298:2;6293:3;6234:67;;;6334:34;6314:55;;6403:34;6398:2;6389:12;;6382:56;-1:-1;;;6467:2;6458:12;;6451:25;6504:2;6495:12;;6220:293;-1:-1;;6220:293;6522:477;;6700:85;6782:2;6777:3;6700:85;;;6818:34;6798:55;;6887:34;6882:2;6873:12;;6866:56;-1:-1;;;6951:2;6942:12;;6935:27;6990:2;6981:12;;6686:313;-1:-1;;6686:313;7008:380;;7168:67;7232:2;7227:3;7168:67;;;7268:34;7248:55;;-1:-1;;;7332:2;7323:12;;7316:35;7379:2;7370:12;;7154:234;-1:-1;;7154:234;7397:376;;7557:67;7621:2;7616:3;7557:67;;;7657:34;7637:55;;-1:-1;;;7721:2;7712:12;;7705:31;7764:2;7755:12;;7543:230;-1:-1;;7543:230;7782:380;;7942:67;8006:2;8001:3;7942:67;;;8042:34;8022:55;;-1:-1;;;8106:2;8097:12;;8090:35;8153:2;8144:12;;7928:234;-1:-1;;7928:234;8171:400;;8331:67;8395:2;8390:3;8331:67;;;8431:34;8411:55;;8500:33;8495:2;8486:12;;8479:55;8562:2;8553:12;;8317:254;-1:-1;;8317:254;8580:431;;8758:85;8840:2;8835:3;8758:85;;;8876:34;8856:55;;8945:28;8940:2;8931:12;;8924:50;9002:2;8993:12;;8744:267;-1:-1;;8744:267;9020:396;;9180:67;9244:2;9239:3;9180:67;;;9280:34;9260:55;;9349:29;9344:2;9335:12;;9328:51;9407:2;9398:12;;9166:250;-1:-1;;9166:250;9544:110;9625:23;9642:5;9625:23;;9661:107;9740:22;9756:5;9740:22;;9775:124;9857:36;9887:5;9857:36;;9906:110;9987:23;10004:5;9987:23;;10023:650;;10278:148;10422:3;10278:148;;;10271:155;;10437:75;10508:3;10499:6;10437:75;;;10534:2;10529:3;10525:12;10518:19;;10548:75;10619:3;10610:6;10548:75;;;-1:-1;10645:2;10636:12;;10259:414;-1:-1;;10259:414;10680:372;;10879:148;11023:3;10879:148;;11059:372;;11258:148;11402:3;11258:148;;11438:213;11556:2;11541:18;;11570:71;11545:9;11614:6;11570:71;;11658:201;11770:2;11755:18;;11784:65;11759:9;11822:6;11784:65;;11866:213;11984:2;11969:18;;11998:71;11973:9;12042:6;11998:71;;12086:547;12288:3;12273:19;;12303:71;12277:9;12347:6;12303:71;;;12385:72;12453:2;12442:9;12438:18;12429:6;12385:72;;;12468;12536:2;12525:9;12521:18;12512:6;12468:72;;;12551;12619:2;12608:9;12604:18;12595:6;12551:72;;;12259:374;;;;;;;;12640:547;12842:3;12827:19;;12857:71;12831:9;12901:6;12857:71;;;12939:72;13007:2;12996:9;12992:18;12983:6;12939:72;;;13022;13090:2;13079:9;13075:18;13066:6;13022:72;;;13105;13173:2;13162:9;13158:18;13149:6;13105:72;;13194:539;13392:3;13377:19;;13407:71;13381:9;13451:6;13407:71;;;13489:68;13553:2;13542:9;13538:18;13529:6;13489:68;;13740:293;13874:2;13888:47;;;13859:18;;13949:74;13859:18;14009:6;13949:74;;14348:407;14539:2;14553:47;;;14524:18;;14614:131;14524:18;14614:131;;14762:407;14953:2;14967:47;;;14938:18;;15028:131;14938:18;15028:131;;15176:407;15367:2;15381:47;;;15352:18;;15442:131;15352:18;15442:131;;15590:407;15781:2;15795:47;;;15766:18;;15856:131;15766:18;15856:131;;16004:407;16195:2;16209:47;;;16180:18;;16270:131;16180:18;16270:131;;16418:407;16609:2;16623:47;;;16594:18;;16684:131;16594:18;16684:131;;16832:407;17023:2;17037:47;;;17008:18;;17098:131;17008:18;17098:131;;17246:407;17437:2;17451:47;;;17422:18;;17512:131;17422:18;17512:131;;17880:209;17996:2;17981:18;;18010:69;17985:9;18052:6;18010:69;;18096:316;18238:2;18223:18;;18252:69;18227:9;18294:6;18252:69;;;18332:70;18398:2;18387:9;18383:18;18374:6;18332:70;;18419:205;18533:2;18518:18;;18547:67;18522:9;18587:6;18547:67;;18631:211;18748:2;18733:18;;18762:70;18737:9;18805:6;18762:70;;18849:209;18965:2;18950:18;;18979:69;18954:9;19021:6;18979:69;;19065:320;19209:2;19194:18;;19223:70;19198:9;19266:6;19223:70;;;19304:71;19371:2;19360:9;19356:18;19347:6;19304:71;;19392:118;19476:12;;19447:63;19647:163;19750:19;;;19799:4;19790:14;;19743:67;19819:145;19955:3;19933:31;-1:-1;19933:31;19972:91;;20034:24;20052:5;20034:24;;20070:85;20136:13;20129:21;;20112:43;20162:72;20224:5;20207:27;20241:121;-1:-1;;;;;20303:54;;20286:76;20448:88;20520:10;20509:22;;20492:44;20543:81;20614:4;20603:16;;20586:38;20631:104;-1:-1;;;;;20692:38;;20675:60;20742:106;;20820:23;20837:5;20820:23;;20856:268;20921:1;20928:101;20942:6;20939:1;20936:13;20928:101;;;21009:11;;;21003:18;20990:11;;;20983:39;20964:2;20957:10;20928:101;;;21044:6;21041:1;21038:13;21035:2;;;-1:-1;;21109:1;21091:16;;21084:27;20905:219;21213:97;21301:2;21281:14;-1:-1;;21277:28;;21261:49;21318:117;21387:24;21405:5;21387:24;;;21380:5;21377:35;21367:2;;21426:1;21423;21416:12;21442:117;21511:24;21529:5;21511:24;;21690:115;21758:23;21775:5;21758:23;;21812:113;21879:22;21895:5;21879:22;

bzzr://b2995f1a78bb5169fc4ad07ec9ca8b17f4248c7fd2b66690eb9e67d4c2f639a6