Contract Source Code (Solidity)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract SpiceToken *
•    - 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-12-05
*/

// File: browser/SpiceToken.sol

pragma solidity ^0.6.10;
pragma experimental ABIEncoderV2;

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

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

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

    /// @notice Total number of tokens in circulation
    uint public constant totalSupply = 42000000e18; // 42 million SPICE

    /// @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 Deploy SPICE token
     * @param account The initial account to grant all the tokens
     */
    constructor(address account) public {
        balances[account] = uint96(totalSupply);
        emit Transfer(address(0), account, totalSupply);
    }

    /**
     * @notice Get the number of tokens `spender` is approved to spend on behalf of `account`
     * @param account The address of the account holding the funds
     * @param spender The address of the account spending the funds
     * @return The number of tokens approved
     */
    function allowance(address account, address spender) external view returns (uint) {
        return allowances[account][spender];
    }

    /**
     * @notice Approve `spender` to transfer up to `amount` from `src`
     * @dev This will overwrite the approval amount for `spender`
     *  and is subject to issues noted [here](https://eips.ethereum.org/EIPS/eip-20#approve)
     * @param spender The address of the account which may transfer tokens
     * @param rawAmount The number of tokens that are approved (2^256-1 means infinite)
     * @return Whether or not the approval succeeded
     */
    function approve(address spender, uint rawAmount) external returns (bool) {
        uint96 amount;
        if (rawAmount == uint(-1)) {
            amount = uint96(-1);
        } else {
            amount = safe96(rawAmount, "SPICE.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, "SPICE.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, "SPICE.approve: amount exceeds 96 bits");

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

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

• Chainsulting - December 16th, 2020 - Security Audit Report

[{"inputs":[{"internalType":"address","name":"account","type":"address"}],"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"},{"inputs":[],"name":"DELEGATION_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"DOMAIN_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"rawAmount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"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"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"delegatee","type":"address"}],"name":"delegate","outputs":[],"stateMutability":"nonpayable","type":"function"},{"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":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"delegates","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"getCurrentVotes","outputs":[{"internalType":"uint96","name":"","type":"uint96"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"blockNumber","type":"uint256"}],"name":"getPriorVotes","outputs":[{"internalType":"uint96","name":"","type":"uint96"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"numCheckpoints","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"rawAmount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"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"}],"stateMutability":"nonpayable","type":"function"}]

608060405234801561001057600080fd5b5060405161191838038061191883398101604081905261002f916100a1565b6001600160a01b03811660008181526001602052604080822080546001600160601b0319166a22bdd88fed9efc6a00000090811790915590517fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91610093916100cf565b60405180910390a3506100d8565b6000602082840312156100b2578081fd5b81516001600160a01b03811681146100c8578182fd5b9392505050565b90815260200190565b611831806100e76000396000f3fe608060405234801561001057600080fd5b50600436106101215760003560e01c806370a08231116100ad578063b4b5ea5711610071578063b4b5ea571461025f578063c3cda52014610272578063dd62ed3e14610285578063e7a324dc14610298578063f1127ed8146102a057610121565b806370a08231146101fe578063782d6fe1146102115780637ecebe001461023157806395d89b4114610244578063a9059cbb1461024c57610121565b806323b872dd116100f457806323b872dd14610181578063313ce56714610194578063587cde1e146101a95780635c19a95c146101c95780636fcfff45146101de57610121565b806306fdde0314610126578063095ea7b31461014457806318160ddd1461016457806320606b7014610179575b600080fd5b61012e6102c1565b60405161013b91906113e7565b60405180910390f35b6101576101523660046111cc565b6102e2565b60405161013b919061136d565b61016c61039f565b60405161013b9190611378565b61016c6103ae565b61015761018f36600461118c565b6103c5565b61019c610508565b60405161013b9190611639565b6101bc6101b736600461113d565b61050d565b60405161013b9190611359565b6101dc6101d736600461113d565b610528565b005b6101f16101ec36600461113d565b610535565b60405161013b9190611609565b61016c61020c36600461113d565b61054d565b61022461021f3660046111cc565b610571565b60405161013b9190611647565b61016c61023f36600461113d565b610788565b61012e61079a565b61015761025a3660046111cc565b6107bb565b61022461026d36600461113d565b6107f7565b6101dc6102803660046111f6565b610868565b61016c610293366004611158565b610a4f565b61016c610a81565b6102b36102ae366004611255565b610a8d565b60405161013b92919061161a565b60405180604001604052806005815260200164537069636560d81b81525081565b6000806000198314156102f8575060001961031d565b61031a836040518060600160405280602581526020016117d760259139610ac2565b90505b336000818152602081815260408083206001600160a01b03891680855292529182902080546001600160601b0319166001600160601b03861617905590519091907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061038b908590611647565b60405180910390a360019150505b92915050565b6a22bdd88fed9efc6a00000081565b6040516103ba906112af565b604051809103902081565b6001600160a01b0383166000908152602081815260408083203380855290835281842054825160608101909352602580845291936001600160601b0390911692859261041b92889291906117d790830139610ac2565b9050866001600160a01b0316836001600160a01b03161415801561044857506001600160601b0382811614155b156104f057600061047283836040518060600160405280603d815260200161170c603d9139610af1565b6001600160a01b03898116600081815260208181526040808320948a16808452949091529081902080546001600160601b0319166001600160601b0386161790555192935090917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104e6908590611647565b60405180910390a3505b6104fb878783610b30565b5060019695505050505050565b601281565b6002602052600090815260409020546001600160a01b031681565b6105323382610cdb565b50565b60046020526000908152604090205463ffffffff1681565b6001600160a01b03166000908152600160205260409020546001600160601b031690565b600043821061059b5760405162461bcd60e51b815260040161059290611536565b60405180910390fd5b6001600160a01b03831660009081526004602052604090205463ffffffff16806105c9576000915050610399565b6001600160a01b038416600090815260036020908152604080832063ffffffff600019860181168552925290912054168310610645576001600160a01b03841660009081526003602090815260408083206000199490940163ffffffff1683529290522054600160201b90046001600160601b03169050610399565b6001600160a01b038416600090815260036020908152604080832083805290915290205463ffffffff16831015610680576000915050610399565b600060001982015b8163ffffffff168163ffffffff16111561074357600282820363ffffffff160481036106b261110f565b506001600160a01b038716600090815260036020908152604080832063ffffffff858116855290835292819020815180830190925254928316808252600160201b9093046001600160601b0316918101919091529087141561071e576020015194506103999350505050565b805163ffffffff168711156107355781935061073c565b6001820392505b5050610688565b506001600160a01b038516600090815260036020908152604080832063ffffffff909416835292905220546001600160601b03600160201b9091041691505092915050565b60056020526000908152604090205481565b60405180604001604052806005815260200164535049434560d81b81525081565b6000806107e0836040518060600160405280602681526020016116e660269139610ac2565b90506107ed338583610b30565b5060019392505050565b6001600160a01b03811660009081526004602052604081205463ffffffff1680610822576000610861565b6001600160a01b0383166000908152600360209081526040808320600019850163ffffffff168452909152902054600160201b90046001600160601b03165b9392505050565b6000604051610876906112af565b604080519182900382208282019091526005825264537069636560d81b6020909201919091527f5d118e2f4463354e7248ceee40e5e12519fd18b3f8085d531226d9491511d6da6108c5610d65565b306040516020016108d994939291906113a5565b60405160208183030381529060405280519060200120905060006040516108ff9061130a565b60405190819003812061091a918a908a908a90602001611381565b60405160208183030381529060405280519060200120905060008282604051602001610947929190611294565b60405160208183030381529060405280519060200120905060006001828888886040516000815260200160405260405161098494939291906113c9565b6020604051602081039080840390855afa1580156109a6573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381166109d95760405162461bcd60e51b8152600401610592906115c3565b6001600160a01b03811660009081526005602052604090208054600181019091558914610a185760405162461bcd60e51b815260040161059290611497565b87421115610a385760405162461bcd60e51b81526004016105929061157d565b610a42818b610cdb565b505050505b505050505050565b6001600160a01b039182166000908152602081815260408083209390941682529190915220546001600160601b031690565b6040516103ba9061130a565b600360209081526000928352604080842090915290825290205463ffffffff811690600160201b90046001600160601b031682565b600081600160601b8410610ae95760405162461bcd60e51b815260040161059291906113e7565b509192915050565b6000836001600160601b0316836001600160601b031611158290610b285760405162461bcd60e51b815260040161059291906113e7565b505050900390565b6001600160a01b038316610b565760405162461bcd60e51b8152600401610592906114d9565b6001600160a01b038216610b7c5760405162461bcd60e51b81526004016105929061143a565b6001600160a01b038316600090815260016020908152604091829020548251606081019093526036808452610bc7936001600160601b0390921692859291906117a190830139610af1565b6001600160a01b03848116600090815260016020908152604080832080546001600160601b0319166001600160601b03968716179055928616825290829020548251606081019093526030808452610c2f949190911692859290919061177190830139610d69565b6001600160a01b038381166000818152600160205260409081902080546001600160601b0319166001600160601b0395909516949094179093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610c9c908590611647565b60405180910390a36001600160a01b03808416600090815260026020526040808220548584168352912054610cd692918216911683610da5565b505050565b6001600160a01b03808316600081815260026020818152604080842080546001845282862054949093528787166001600160a01b031984168117909155905191909516946001600160601b039092169391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a4610d5f828483610da5565b50505050565b4690565b6000838301826001600160601b038087169083161015610d9c5760405162461bcd60e51b815260040161059291906113e7565b50949350505050565b816001600160a01b0316836001600160a01b031614158015610dd057506000816001600160601b0316115b15610cd6576001600160a01b03831615610e88576001600160a01b03831660009081526004602052604081205463ffffffff169081610e10576000610e4f565b6001600160a01b0385166000908152600360209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b90506000610e76828560405180606001604052806028815260200161174960289139610af1565b9050610e8486848484610f33565b5050505b6001600160a01b03821615610cd6576001600160a01b03821660009081526004602052604081205463ffffffff169081610ec3576000610f02565b6001600160a01b0384166000908152600360209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b90506000610f29828560405180606001604052806027815260200161168b60279139610d69565b9050610a47858484845b6000610f57436040518060600160405280603481526020016116b2603491396110e8565b905060008463ffffffff16118015610fa057506001600160a01b038516600090815260036020908152604080832063ffffffff6000198901811685529252909120548282169116145b15610fff576001600160a01b0385166000908152600360209081526040808320600019880163ffffffff168452909152902080546fffffffffffffffffffffffff000000001916600160201b6001600160601b0385160217905561109e565b60408051808201825263ffffffff80841682526001600160601b0380861660208085019182526001600160a01b038b166000818152600383528781208c871682528352878120965187549451909516600160201b026fffffffffffffffffffffffff000000001995871663ffffffff19958616179590951694909417909555938252600490935292909220805460018801909316929091169190911790555b846001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a72484846040516110d992919061165b565b60405180910390a25050505050565b600081600160201b8410610ae95760405162461bcd60e51b815260040161059291906113e7565b604080518082019091526000808252602082015290565b80356001600160a01b038116811461039957600080fd5b60006020828403121561114e578081fd5b6108618383611126565b6000806040838503121561116a578081fd5b6111748484611126565b91506111838460208501611126565b90509250929050565b6000806000606084860312156111a0578081fd5b83356111ab81611675565b925060208401356111bb81611675565b929592945050506040919091013590565b600080604083850312156111de578182fd5b6111e88484611126565b946020939093013593505050565b60008060008060008060c0878903121561120e578182fd5b6112188888611126565b95506020870135945060408701359350606087013560ff8116811461123b578283fd5b9598949750929560808101359460a0909101359350915050565b60008060408385031215611267578182fd5b6112718484611126565b9150602083013563ffffffff81168114611289578182fd5b809150509250929050565b61190160f01b81526002810192909252602282015260420190565b7f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353681527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208201526263742960e81b604082015260430190565b7f44656c65676174696f6e28616464726573732064656c6567617465652c75696e81527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020820152603a0190565b6001600160a01b0391909116815260200190565b901515815260200190565b90815260200190565b9384526001600160a01b039290921660208401526040830152606082015260800190565b938452602084019290925260408301526001600160a01b0316606082015260800190565b93845260ff9290921660208401526040830152606082015260800190565b6000602080835283518082850152825b81811015611413578581018301518582016040015282016113f7565b818111156114245783604083870101525b50601f01601f1916929092016040019392505050565b6020808252603a908201527f53504943452e5f7472616e73666572546f6b656e733a2063616e6e6f7420747260408201527f616e7366657220746f20746865207a65726f2061646472657373000000000000606082015260800190565b60208082526022908201527f53504943452e64656c656761746542795369673a20696e76616c6964206e6f6e604082015261636560f01b606082015260800190565b6020808252603c908201527f53504943452e5f7472616e73666572546f6b656e733a2063616e6e6f7420747260408201527f616e736665722066726f6d20746865207a65726f206164647265737300000000606082015260800190565b60208082526027908201527f53504943452e6765745072696f72566f7465733a206e6f742079657420646574604082015266195c9b5a5b995960ca1b606082015260800190565b60208082526026908201527f53504943452e64656c656761746542795369673a207369676e617475726520656040820152651e1c1a5c995960d21b606082015260800190565b60208082526026908201527f53504943452e64656c656761746542795369673a20696e76616c6964207369676040820152656e617475726560d01b606082015260800190565b63ffffffff91909116815260200190565b63ffffffff9290921682526001600160601b0316602082015260400190565b60ff91909116815260200190565b6001600160601b0391909116815260200190565b6001600160601b0392831681529116602082015260400190565b6001600160a01b038116811461053257600080fdfe53504943452e5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f777353504943452e5f7772697465436865636b706f696e743a20626c6f636b206e756d6265722065786365656473203332206269747353504943452e7472616e736665723a20616d6f756e742065786365656473203936206269747353504943452e7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e636553504943452e5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f777353504943452e5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f777353504943452e5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e636553504943452e617070726f76653a20616d6f756e7420657863656564732039362062697473a26469706673582212206dc693bf4b75441a37b10004a49620a8b198e9f01c7158a556f49aba696d3c1c64736f6c634300060a0033000000000000000000000000954689c01a01d3f776eb69b753c084e526812f8d

0x608060405234801561001057600080fd5b50600436106101215760003560e01c806370a08231116100ad578063b4b5ea5711610071578063b4b5ea571461025f578063c3cda52014610272578063dd62ed3e14610285578063e7a324dc14610298578063f1127ed8146102a057610121565b806370a08231146101fe578063782d6fe1146102115780637ecebe001461023157806395d89b4114610244578063a9059cbb1461024c57610121565b806323b872dd116100f457806323b872dd14610181578063313ce56714610194578063587cde1e146101a95780635c19a95c146101c95780636fcfff45146101de57610121565b806306fdde0314610126578063095ea7b31461014457806318160ddd1461016457806320606b7014610179575b600080fd5b61012e6102c1565b60405161013b91906113e7565b60405180910390f35b6101576101523660046111cc565b6102e2565b60405161013b919061136d565b61016c61039f565b60405161013b9190611378565b61016c6103ae565b61015761018f36600461118c565b6103c5565b61019c610508565b60405161013b9190611639565b6101bc6101b736600461113d565b61050d565b60405161013b9190611359565b6101dc6101d736600461113d565b610528565b005b6101f16101ec36600461113d565b610535565b60405161013b9190611609565b61016c61020c36600461113d565b61054d565b61022461021f3660046111cc565b610571565b60405161013b9190611647565b61016c61023f36600461113d565b610788565b61012e61079a565b61015761025a3660046111cc565b6107bb565b61022461026d36600461113d565b6107f7565b6101dc6102803660046111f6565b610868565b61016c610293366004611158565b610a4f565b61016c610a81565b6102b36102ae366004611255565b610a8d565b60405161013b92919061161a565b60405180604001604052806005815260200164537069636560d81b81525081565b6000806000198314156102f8575060001961031d565b61031a836040518060600160405280602581526020016117d760259139610ac2565b90505b336000818152602081815260408083206001600160a01b03891680855292529182902080546001600160601b0319166001600160601b03861617905590519091907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259061038b908590611647565b60405180910390a360019150505b92915050565b6a22bdd88fed9efc6a00000081565b6040516103ba906112af565b604051809103902081565b6001600160a01b0383166000908152602081815260408083203380855290835281842054825160608101909352602580845291936001600160601b0390911692859261041b92889291906117d790830139610ac2565b9050866001600160a01b0316836001600160a01b03161415801561044857506001600160601b0382811614155b156104f057600061047283836040518060600160405280603d815260200161170c603d9139610af1565b6001600160a01b03898116600081815260208181526040808320948a16808452949091529081902080546001600160601b0319166001600160601b0386161790555192935090917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104e6908590611647565b60405180910390a3505b6104fb878783610b30565b5060019695505050505050565b601281565b6002602052600090815260409020546001600160a01b031681565b6105323382610cdb565b50565b60046020526000908152604090205463ffffffff1681565b6001600160a01b03166000908152600160205260409020546001600160601b031690565b600043821061059b5760405162461bcd60e51b815260040161059290611536565b60405180910390fd5b6001600160a01b03831660009081526004602052604090205463ffffffff16806105c9576000915050610399565b6001600160a01b038416600090815260036020908152604080832063ffffffff600019860181168552925290912054168310610645576001600160a01b03841660009081526003602090815260408083206000199490940163ffffffff1683529290522054600160201b90046001600160601b03169050610399565b6001600160a01b038416600090815260036020908152604080832083805290915290205463ffffffff16831015610680576000915050610399565b600060001982015b8163ffffffff168163ffffffff16111561074357600282820363ffffffff160481036106b261110f565b506001600160a01b038716600090815260036020908152604080832063ffffffff858116855290835292819020815180830190925254928316808252600160201b9093046001600160601b0316918101919091529087141561071e576020015194506103999350505050565b805163ffffffff168711156107355781935061073c565b6001820392505b5050610688565b506001600160a01b038516600090815260036020908152604080832063ffffffff909416835292905220546001600160601b03600160201b9091041691505092915050565b60056020526000908152604090205481565b60405180604001604052806005815260200164535049434560d81b81525081565b6000806107e0836040518060600160405280602681526020016116e660269139610ac2565b90506107ed338583610b30565b5060019392505050565b6001600160a01b03811660009081526004602052604081205463ffffffff1680610822576000610861565b6001600160a01b0383166000908152600360209081526040808320600019850163ffffffff168452909152902054600160201b90046001600160601b03165b9392505050565b6000604051610876906112af565b604080519182900382208282019091526005825264537069636560d81b6020909201919091527f5d118e2f4463354e7248ceee40e5e12519fd18b3f8085d531226d9491511d6da6108c5610d65565b306040516020016108d994939291906113a5565b60405160208183030381529060405280519060200120905060006040516108ff9061130a565b60405190819003812061091a918a908a908a90602001611381565b60405160208183030381529060405280519060200120905060008282604051602001610947929190611294565b60405160208183030381529060405280519060200120905060006001828888886040516000815260200160405260405161098494939291906113c9565b6020604051602081039080840390855afa1580156109a6573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b0381166109d95760405162461bcd60e51b8152600401610592906115c3565b6001600160a01b03811660009081526005602052604090208054600181019091558914610a185760405162461bcd60e51b815260040161059290611497565b87421115610a385760405162461bcd60e51b81526004016105929061157d565b610a42818b610cdb565b505050505b505050505050565b6001600160a01b039182166000908152602081815260408083209390941682529190915220546001600160601b031690565b6040516103ba9061130a565b600360209081526000928352604080842090915290825290205463ffffffff811690600160201b90046001600160601b031682565b600081600160601b8410610ae95760405162461bcd60e51b815260040161059291906113e7565b509192915050565b6000836001600160601b0316836001600160601b031611158290610b285760405162461bcd60e51b815260040161059291906113e7565b505050900390565b6001600160a01b038316610b565760405162461bcd60e51b8152600401610592906114d9565b6001600160a01b038216610b7c5760405162461bcd60e51b81526004016105929061143a565b6001600160a01b038316600090815260016020908152604091829020548251606081019093526036808452610bc7936001600160601b0390921692859291906117a190830139610af1565b6001600160a01b03848116600090815260016020908152604080832080546001600160601b0319166001600160601b03968716179055928616825290829020548251606081019093526030808452610c2f949190911692859290919061177190830139610d69565b6001600160a01b038381166000818152600160205260409081902080546001600160601b0319166001600160601b0395909516949094179093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610c9c908590611647565b60405180910390a36001600160a01b03808416600090815260026020526040808220548584168352912054610cd692918216911683610da5565b505050565b6001600160a01b03808316600081815260026020818152604080842080546001845282862054949093528787166001600160a01b031984168117909155905191909516946001600160601b039092169391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a4610d5f828483610da5565b50505050565b4690565b6000838301826001600160601b038087169083161015610d9c5760405162461bcd60e51b815260040161059291906113e7565b50949350505050565b816001600160a01b0316836001600160a01b031614158015610dd057506000816001600160601b0316115b15610cd6576001600160a01b03831615610e88576001600160a01b03831660009081526004602052604081205463ffffffff169081610e10576000610e4f565b6001600160a01b0385166000908152600360209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b90506000610e76828560405180606001604052806028815260200161174960289139610af1565b9050610e8486848484610f33565b5050505b6001600160a01b03821615610cd6576001600160a01b03821660009081526004602052604081205463ffffffff169081610ec3576000610f02565b6001600160a01b0384166000908152600360209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b90506000610f29828560405180606001604052806027815260200161168b60279139610d69565b9050610a47858484845b6000610f57436040518060600160405280603481526020016116b2603491396110e8565b905060008463ffffffff16118015610fa057506001600160a01b038516600090815260036020908152604080832063ffffffff6000198901811685529252909120548282169116145b15610fff576001600160a01b0385166000908152600360209081526040808320600019880163ffffffff168452909152902080546fffffffffffffffffffffffff000000001916600160201b6001600160601b0385160217905561109e565b60408051808201825263ffffffff80841682526001600160601b0380861660208085019182526001600160a01b038b166000818152600383528781208c871682528352878120965187549451909516600160201b026fffffffffffffffffffffffff000000001995871663ffffffff19958616179590951694909417909555938252600490935292909220805460018801909316929091169190911790555b846001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a72484846040516110d992919061165b565b60405180910390a25050505050565b600081600160201b8410610ae95760405162461bcd60e51b815260040161059291906113e7565b604080518082019091526000808252602082015290565b80356001600160a01b038116811461039957600080fd5b60006020828403121561114e578081fd5b6108618383611126565b6000806040838503121561116a578081fd5b6111748484611126565b91506111838460208501611126565b90509250929050565b6000806000606084860312156111a0578081fd5b83356111ab81611675565b925060208401356111bb81611675565b929592945050506040919091013590565b600080604083850312156111de578182fd5b6111e88484611126565b946020939093013593505050565b60008060008060008060c0878903121561120e578182fd5b6112188888611126565b95506020870135945060408701359350606087013560ff8116811461123b578283fd5b9598949750929560808101359460a0909101359350915050565b60008060408385031215611267578182fd5b6112718484611126565b9150602083013563ffffffff81168114611289578182fd5b809150509250929050565b61190160f01b81526002810192909252602282015260420190565b7f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353681527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208201526263742960e81b604082015260430190565b7f44656c65676174696f6e28616464726573732064656c6567617465652c75696e81527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020820152603a0190565b6001600160a01b0391909116815260200190565b901515815260200190565b90815260200190565b9384526001600160a01b039290921660208401526040830152606082015260800190565b938452602084019290925260408301526001600160a01b0316606082015260800190565b93845260ff9290921660208401526040830152606082015260800190565b6000602080835283518082850152825b81811015611413578581018301518582016040015282016113f7565b818111156114245783604083870101525b50601f01601f1916929092016040019392505050565b6020808252603a908201527f53504943452e5f7472616e73666572546f6b656e733a2063616e6e6f7420747260408201527f616e7366657220746f20746865207a65726f2061646472657373000000000000606082015260800190565b60208082526022908201527f53504943452e64656c656761746542795369673a20696e76616c6964206e6f6e604082015261636560f01b606082015260800190565b6020808252603c908201527f53504943452e5f7472616e73666572546f6b656e733a2063616e6e6f7420747260408201527f616e736665722066726f6d20746865207a65726f206164647265737300000000606082015260800190565b60208082526027908201527f53504943452e6765745072696f72566f7465733a206e6f742079657420646574604082015266195c9b5a5b995960ca1b606082015260800190565b60208082526026908201527f53504943452e64656c656761746542795369673a207369676e617475726520656040820152651e1c1a5c995960d21b606082015260800190565b60208082526026908201527f53504943452e64656c656761746542795369673a20696e76616c6964207369676040820152656e617475726560d01b606082015260800190565b63ffffffff91909116815260200190565b63ffffffff9290921682526001600160601b0316602082015260400190565b60ff91909116815260200190565b6001600160601b0391909116815260200190565b6001600160601b0392831681529116602082015260400190565b6001600160a01b038116811461053257600080fdfe53504943452e5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f777353504943452e5f7772697465436865636b706f696e743a20626c6f636b206e756d6265722065786365656473203332206269747353504943452e7472616e736665723a20616d6f756e742065786365656473203936206269747353504943452e7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e636553504943452e5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f777353504943452e5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f777353504943452e5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e636553504943452e617070726f76653a20616d6f756e7420657863656564732039362062697473a26469706673582212206dc693bf4b75441a37b10004a49620a8b198e9f01c7158a556f49aba696d3c1c64736f6c634300060a0033

000000000000000000000000954689c01a01d3f776eb69b753c084e526812f8d

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

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000954689c01a01d3f776eb69b753c084e526812f8d

98:12829:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;175:37;;;:::i;:::-;;;;;;;;;;;;;;;;3708:419;;;;;;;;;:::i;:::-;;;;;;;;474:46;;;:::i;:::-;;;;;;;;1405:122;;;:::i;5250:672::-;;;;;;;;;:::i;375:35::-;;;:::i;:::-;;;;;;;;855:45;;;;;;;;;:::i;:::-;;;;;;;;6070:102;;;;;;;;;:::i;:::-;;1283:49;;;;;;;;;:::i;:::-;;;;;;;;4330:108;;;;;;;;;:::i;8249:1218::-;;;;;;;;;:::i;:::-;;;;;;;;1819:39;;;;;;;;;:::i;273:::-;;;:::i;4702:238::-;;;;;;;;;:::i;7596:222::-;;;;;;;;;:::i;6606:789::-;;;;;;;;;:::i;3094:136::-;;;;;;;;;:::i;1621:117::-;;;:::i;1144:70::-;;;;;;;;;:::i;:::-;;;;;;;;;175:37;;;;;;;;;;;;;;-1:-1:-1;;;175:37:0;;;;:::o;3708:419::-;3776:4;3793:13;-1:-1:-1;;3821:9:0;:21;3817:173;;;-1:-1:-1;;;3817:173:0;;;3920:58;3927:9;3920:58;;;;;;;;;;;;;;;;;:6;:58::i;:::-;3911:67;;3817:173;4013:10;4002;:22;;;;;;;;;;;-1:-1:-1;;;;;4002:31:0;;;;;;;;;;;:40;;-1:-1:-1;;;;;;4002:40:0;-1:-1:-1;;;;;4002:40:0;;;;;4060:37;;4002:31;;4013:10;4060:37;;;;4002:40;;4060:37;;;;;;;;;;4115:4;4108:11;;;3708:419;;;;;:::o;474:46::-;509:11;474:46;:::o;1405:122::-;1447:80;;;;;;;;;;;;;;1405:122;:::o;5250:672::-;-1:-1:-1;;;;;5414:15:0;;5332:4;5414:15;;;;;;;;;;;5367:10;5414:24;;;;;;;;;;5465:58;;;;;;;;;;;;5367:10;;-1:-1:-1;;;;;5414:24:0;;;;5332:4;;5465:58;;5472:9;;5465:58;;;;;;;:6;:58::i;:::-;5449:74;;5551:3;-1:-1:-1;;;;;5540:14:0;:7;-1:-1:-1;;;;;5540:14:0;;;:48;;;;-1:-1:-1;;;;;;5558:30:0;;;;;5540:48;5536:311;;;5605:19;5627:96;5633:16;5651:6;5627:96;;;;;;;;;;;;;;;;;:5;:96::i;:::-;-1:-1:-1;;;;;5738:15:0;;;:10;:15;;;;;;;;;;;:24;;;;;;;;;;;;;;:39;;-1:-1:-1;;;;;;5738:39:0;-1:-1:-1;;;;;5738:39:0;;;;;5799:36;5738:39;;-1:-1:-1;5738:24:0;;5799:36;;;;5738:39;;5799:36;;;;;;;;;;5536:311;;5859:33;5875:3;5880;5885:6;5859:15;:33::i;:::-;-1:-1:-1;5910:4:0;;5250:672;-1:-1:-1;;;;;;5250:672:0:o;375:35::-;408:2;375:35;:::o;855:45::-;;;;;;;;;;;;-1:-1:-1;;;;;855:45:0;;:::o;6070:102::-;6132:32;6142:10;6154:9;6132;:32::i;:::-;6070:102;:::o;1283:49::-;;;;;;;;;;;;;;;:::o;4330:108::-;-1:-1:-1;;;;;4413:17:0;4389:4;4413:17;;;:8;:17;;;;;;-1:-1:-1;;;;;4413:17:0;;4330:108::o;8249:1218::-;8328:6;8369:12;8355:11;:26;8347:78;;;;-1:-1:-1;;;8347:78:0;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8460:23:0;;8438:19;8460:23;;;:14;:23;;;;;;;;8498:17;8494:58;;8539:1;8532:8;;;;;8494:58;-1:-1:-1;;;;;8612:20:0;;;;;;:11;:20;;;;;;;;:38;-1:-1:-1;;8633:16:0;;8612:38;;;;;;;;;:48;;:63;-1:-1:-1;8608:147:0;;-1:-1:-1;;;;;8699:20:0;;;;;;:11;:20;;;;;;;;-1:-1:-1;;8720:16:0;;;;8699:38;;;;;;;;:44;-1:-1:-1;;;8699:44:0;;-1:-1:-1;;;;;8699:44:0;;-1:-1:-1;8692:51:0;;8608:147;-1:-1:-1;;;;;8816:20:0;;;;;;:11;:20;;;;;;;;:23;;;;;;;;:33;:23;:33;:47;-1:-1:-1;8812:88:0;;;8887:1;8880:8;;;;;8812:88;8912:12;-1:-1:-1;;8954:16:0;;8981:428;8996:5;8988:13;;:5;:13;;;8981:428;;;9060:1;9043:13;;;9042:19;;;9034:27;;9103:20;;:::i;:::-;-1:-1:-1;;;;;;9126:20:0;;;;;;:11;:20;;;;;;;;:28;;;;;;;;;;;;;9103:51;;;;;;;;;;;;;;;-1:-1:-1;;;9103:51:0;;;-1:-1:-1;;;;;9103:51:0;;;;;;;;;9173:27;;9169:229;;;9228:8;;;;-1:-1:-1;9221:15:0;;-1:-1:-1;;;;9221:15:0;9169:229;9262:12;;:26;;;-1:-1:-1;9258:140:0;;;9317:6;9309:14;;9258:140;;;9381:1;9372:6;:10;9364:18;;9258:140;8981:428;;;;;-1:-1:-1;;;;;;9426:20:0;;;;;;:11;:20;;;;;;;;:27;;;;;;;;;;:33;-1:-1:-1;;;;;;;;9426:33:0;;;;;-1:-1:-1;;8249:1218:0;;;;:::o;1819:39::-;;;;;;;;;;;;;:::o;273:::-;;;;;;;;;;;;;;-1:-1:-1;;;273:39:0;;;;:::o;4702:238::-;4767:4;4784:13;4800:59;4807:9;4800:59;;;;;;;;;;;;;;;;;:6;:59::i;:::-;4784:75;;4870:40;4886:10;4898:3;4903:6;4870:15;:40::i;:::-;-1:-1:-1;4928:4:0;;4702:238;-1:-1:-1;;;4702:238:0:o;7596:222::-;-1:-1:-1;;;;;7702:23:0;;7661:6;7702:23;;;:14;:23;;;;;;;;7743:16;:67;;7809:1;7743:67;;;-1:-1:-1;;;;;7762:20:0;;;;;;:11;:20;;;;;;;;-1:-1:-1;;7783:16:0;;7762:38;;;;;;;;;:44;-1:-1:-1;;;7762:44:0;;-1:-1:-1;;;;;7762:44:0;7743:67;7736:74;7596:222;-1:-1:-1;;;7596:222:0:o;6606:789::-;6722:23;1447:80;;;;;;;;;;;;;;;;6802:4;;;;;;;;;-1:-1:-1;;;6802:4:0;;;;;;;;6786:22;6810:12;:10;:12::i;:::-;6832:4;6758:80;;;;;;;;;;;;;;;;;;;;;;;;;6748:91;;;;;;6722:117;;6850:18;1667:71;;;;;;;;;;;;;;;6881:57;;6913:9;;6924:5;;6931:6;;6881:57;;;;;;;;;;;;;;;;;6871:68;;;;;;6850:89;;6950:14;7006:15;7023:10;6977:57;;;;;;;;;;;;;;;;;;;;;;;6967:68;;;;;;6950:85;;7046:17;7066:26;7076:6;7084:1;7087;7090;7066:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;7066:26:0;;-1:-1:-1;;7066:26:0;;;-1:-1:-1;;;;;;;7111:23:0;;7103:74;;;;-1:-1:-1;;;7103:74:0;;;;;;;;;-1:-1:-1;;;;;7205:17:0;;;;;;:6;:17;;;;;:19;;;;;;;;7196:28;;7188:75;;;;-1:-1:-1;;;7188:75:0;;;;;;;;;7289:6;7282:3;:13;;7274:64;;;;-1:-1:-1;;;7274:64:0;;;;;;;;;7356:31;7366:9;7377;7356;:31::i;:::-;7349:38;;;;6606:789;;;;;;;:::o;3094:136::-;-1:-1:-1;;;;;3194:19:0;;;3170:4;3194:19;;;;;;;;;;;:28;;;;;;;;;;;;-1:-1:-1;;;;;3194:28:0;;3094:136::o;1621:117::-;1667:71;;;;;;1144:70;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;1144:70:0;;-1:-1:-1;;;;;1144:70:0;;:::o;12233:161::-;12308:6;12346:12;-1:-1:-1;;;12335:9:0;;12327:32;;;;-1:-1:-1;;;12327:32:0;;;;;;;;;;-1:-1:-1;12384:1:0;;12233:161;-1:-1:-1;;12233:161:0:o;12598:165::-;12684:6;12716:1;-1:-1:-1;;;;;12711:6:0;:1;-1:-1:-1;;;;;12711:6:0;;;12719:12;12703:29;;;;;-1:-1:-1;;;12703:29:0;;;;;;;;;;-1:-1:-1;;;12750:5:0;;;12598:165::o;9858:614::-;-1:-1:-1;;;;;9952:17:0;;9944:90;;;;-1:-1:-1;;;9944:90:0;;;;;;;;;-1:-1:-1;;;;;10053:17:0;;10045:88;;;;-1:-1:-1;;;10045:88:0;;;;;;;;;-1:-1:-1;;;;;10168:13:0;;;;;;:8;:13;;;;;;;;;;10162:86;;;;;;;;;;;;;;-1:-1:-1;;;;;10168:13:0;;;;10183:6;;10162:86;;;;;;;:5;:86::i;:::-;-1:-1:-1;;;;;10146:13:0;;;;;;;:8;:13;;;;;;;;:102;;-1:-1:-1;;;;;;10146:102:0;-1:-1:-1;;;;;10146:102:0;;;;;;10281:13;;;;;;;;;;10275:80;;;;;;;;;;;;;;10281:13;;;;;10296:6;;10275:80;;;;;;;;:5;:80::i;:::-;-1:-1:-1;;;;;10259:13:0;;;;;;;:8;:13;;;;;;;:96;;-1:-1:-1;;;;;;10259:96:0;-1:-1:-1;;;;;10259:96:0;;;;;;;;;;;10371:26;;;;;;;;;;10390:6;;10371:26;;;;;;;;;;-1:-1:-1;;;;;10425:14:0;;;;;;;:9;:14;;;;;;;10441;;;;;;;;10410:54;;10425:14;;;;10441;10457:6;10410:14;:54::i;:::-;9858:614;;;:::o;9475:375::-;-1:-1:-1;;;;;9578:20:0;;;9552:23;9578:20;;;:9;:20;;;;;;;;;;;9635:19;;;;;;9665:20;;;;:32;;;-1:-1:-1;;;;;;9665:32:0;;;;;;;9715:54;;9578:20;;;;;-1:-1:-1;;;;;9635:19:0;;;;9665:32;;9578:20;;;9715:54;;9552:23;9715:54;9782:60;9797:15;9814:9;9825:16;9782:14;:60::i;:::-;9475:375;;;;:::o;12771:153::-;12881:9;12771:153;:::o;12402:188::-;12488:6;12518:5;;;12550:12;-1:-1:-1;;;;;12542:6:0;;;;;;;;12534:29;;;;-1:-1:-1;;;12534:29:0;;;;;;;;;;-1:-1:-1;12581:1:0;12402:188;-1:-1:-1;;;;12402:188:0:o;10480:939::-;10585:6;-1:-1:-1;;;;;10575:16:0;:6;-1:-1:-1;;;;;10575:16:0;;;:30;;;;;10604:1;10595:6;-1:-1:-1;;;;;10595:10:0;;10575:30;10571:841;;;-1:-1:-1;;;;;10626:20:0;;;10622:382;;-1:-1:-1;;;;;10686:22:0;;10667:16;10686:22;;;:14;:22;;;;;;;;;10746:13;:60;;10805:1;10746:60;;;-1:-1:-1;;;;;10762:19:0;;;;;;:11;:19;;;;;;;;-1:-1:-1;;10782:13:0;;10762:34;;;;;;;;;:40;-1:-1:-1;;;10762:40:0;;-1:-1:-1;;;;;10762:40:0;10746:60;10727:79;;10825:16;10844:68;10850:9;10861:6;10844:68;;;;;;;;;;;;;;;;;:5;:68::i;:::-;10825:87;;10931:57;10948:6;10956:9;10967;10978;10931:16;:57::i;:::-;10622:382;;;;-1:-1:-1;;;;;11024:20:0;;;11020:381;;-1:-1:-1;;;;;11084:22:0;;11065:16;11084:22;;;:14;:22;;;;;;;;;11144:13;:60;;11203:1;11144:60;;;-1:-1:-1;;;;;11160:19:0;;;;;;:11;:19;;;;;;;;-1:-1:-1;;11180:13:0;;11160:34;;;;;;;;;:40;-1:-1:-1;;;11160:40:0;;-1:-1:-1;;;;;11160:40:0;11144:60;11125:79;;11223:16;11242:67;11248:9;11259:6;11242:67;;;;;;;;;;;;;;;;;:5;:67::i;:::-;11223:86;;11328:57;11345:6;11353:9;11364;11375;11427:629;11545:18;11566:76;11573:12;11566:76;;;;;;;;;;;;;;;;;:6;:76::i;:::-;11545:97;;11672:1;11657:12;:16;;;:85;;;;-1:-1:-1;;;;;;11677:22:0;;;;;;:11;:22;;;;;;;;:65;-1:-1:-1;;11700:16:0;;11677:40;;;;;;;;;:50;:65;;;:50;;:65;11657:85;11653:329;;;-1:-1:-1;;;;;11757:22:0;;;;;;:11;:22;;;;;;;;-1:-1:-1;;11780:16:0;;11757:40;;;;;;;;;:57;;-1:-1:-1;;11757:57:0;-1:-1:-1;;;;;;;;11757:57:0;;;;;;11653:329;;;11882:33;;;;;;;;;;;;;;-1:-1:-1;;;;;11882:33:0;;;;;;;;;;-1:-1:-1;;;;;11843:22:0;;-1:-1:-1;11843:22:0;;;:11;:22;;;;;:36;;;;;;;;;;:72;;;;;;;;;-1:-1:-1;;;11843:72:0;-1:-1:-1;;11843:72:0;;;-1:-1:-1;;11843:72:0;;;;;;;;;;;;;;;11928:25;;;11843:72;11928:25;;;;;;;:44;;11843:72;11956:16;;11928:44;;;;;;;;;;;;;11653:329;12018:9;-1:-1:-1;;;;;11997:51:0;;12029:8;12039;11997:51;;;;;;;;;;;;;;;;11427:629;;;;;:::o;12064:161::-;12139:6;12177:12;-1:-1:-1;;;12166:9:0;;12158:32;;;;-1:-1:-1;;;12158:32:0;;;;;;;;;-1:-1:-1;;;;;;;;;;;;;;;;;;;:::o;5:130::-;72:20;;-1:-1;;;;;17792:54;;18866:35;;18856:2;;18915:1;;18905:12;684:241;;788:2;776:9;767:7;763:23;759:32;756:2;;;-1:-1;;794:12;756:2;856:53;901:7;877:22;856:53;;932:366;;;1053:2;1041:9;1032:7;1028:23;1024:32;1021:2;;;-1:-1;;1059:12;1021:2;1121:53;1166:7;1142:22;1121:53;;;1111:63;;1229:53;1274:7;1211:2;1254:9;1250:22;1229:53;;;1219:63;;1015:283;;;;;;1305:491;;;;1443:2;1431:9;1422:7;1418:23;1414:32;1411:2;;;-1:-1;;1449:12;1411:2;85:6;72:20;97:33;124:5;97:33;;;1501:63;-1:-1;1601:2;1640:22;;72:20;97:33;72:20;97:33;;;1405:391;;1609:63;;-1:-1;;;1709:2;1748:22;;;;346:20;;1405:391;1803:366;;;1924:2;1912:9;1903:7;1899:23;1895:32;1892:2;;;-1:-1;;1930:12;1892:2;1992:53;2037:7;2013:22;1992:53;;;1982:63;2082:2;2121:22;;;;346:20;;-1:-1;;;1886:283;2176:865;;;;;;;2363:3;2351:9;2342:7;2338:23;2334:33;2331:2;;;-1:-1;;2370:12;2331:2;2432:53;2477:7;2453:22;2432:53;;;2422:63;;2522:2;2565:9;2561:22;346:20;2530:63;;2630:2;2673:9;2669:22;346:20;2638:63;;2738:2;2779:9;2775:22;616:20;18103:4;19384:5;18092:16;19361:5;19358:33;19348:2;;-1:-1;;19395:12;19348:2;2325:716;;;;-1:-1;2325:716;;2844:3;2884:22;;209:20;;2953:3;2993:22;;;209:20;;-1:-1;2325:716;-1:-1;;2325:716;3048:364;;;3168:2;3156:9;3147:7;3143:23;3139:32;3136:2;;;-1:-1;;3174:12;3136:2;3236:53;3281:7;3257:22;3236:53;;;3226:63;;3326:2;3368:9;3364:22;482:20;18009:10;19264:5;17998:22;19240:5;19237:34;19227:2;;-1:-1;;19275:12;19227:2;3334:62;;;;3130:282;;;;;;8558:659;-1:-1;;;4559:87;;4544:1;4665:11;;3721:37;;;;9069:12;;;3721:37;9180:12;;;8803:414;9224:381;6177:34;6157:55;;6246:34;6241:2;6232:12;;6225:56;-1:-1;;;6310:2;6301:12;;6294:27;6141:2;6340:12;;9413:192;9612:381;7816:34;7796:55;;7885:28;7880:2;7871:12;;7864:50;7780:2;7933:12;;9801:192;10000:222;-1:-1;;;;;17792:54;;;;3490:37;;10127:2;10112:18;;10098:124;10229:210;17625:13;;17618:21;3604:34;;10350:2;10335:18;;10321:118;10446:222;3721:37;;;10573:2;10558:18;;10544:124;10675:556;3721:37;;;-1:-1;;;;;17792:54;;;;11051:2;11036:18;;3490:37;11134:2;11119:18;;3721:37;11217:2;11202:18;;3721:37;10886:3;10871:19;;10857:374;11238:556;3721:37;;;11614:2;11599:18;;3721:37;;;;11697:2;11682:18;;3721:37;-1:-1;;;;;17792:54;11780:2;11765:18;;3490:37;11449:3;11434:19;;11420:374;11801:548;3721:37;;;18103:4;18092:16;;;;12169:2;12154:18;;8263:35;12252:2;12237:18;;3721:37;12335:2;12320:18;;3721:37;12008:3;11993:19;;11979:370;12356:310;;12503:2;;12524:17;12517:47;4074:5;17094:12;17251:6;12503:2;12492:9;12488:18;17239:19;-1:-1;18417:101;18431:6;18428:1;18425:13;18417:101;;;18498:11;;;;;18492:18;18479:11;;;17279:14;18479:11;18472:39;18446:10;;18417:101;;;18533:6;18530:1;18527:13;18524:2;;;-1:-1;17279:14;18589:6;12492:9;18580:16;;18573:27;18524:2;-1:-1;18786:7;18770:14;-1:-1;;18766:28;4232:39;;;;17279:14;4232:39;;12474:192;-1:-1;;;12474:192;12673:416;12873:2;12887:47;;;4915:2;12858:18;;;17239:19;4951:34;17279:14;;;4931:55;5020:28;5006:12;;;4999:50;5068:12;;;12844:245;13096:416;13296:2;13310:47;;;5319:2;13281:18;;;17239:19;5355:34;17279:14;;;5335:55;-1:-1;;;5410:12;;;5403:26;5448:12;;;13267:245;13519:416;13719:2;13733:47;;;5699:2;13704:18;;;17239:19;5735:34;17279:14;;;5715:55;5804:30;5790:12;;;5783:52;5854:12;;;13690:245;13942:416;14142:2;14156:47;;;6591:2;14127:18;;;17239:19;6627:34;17279:14;;;6607:55;-1:-1;;;6682:12;;;6675:31;6725:12;;;14113:245;14365:416;14565:2;14579:47;;;6976:2;14550:18;;;17239:19;7012:34;17279:14;;;6992:55;-1:-1;;;7067:12;;;7060:30;7109:12;;;14536:245;14788:416;14988:2;15002:47;;;7360:2;14973:18;;;17239:19;7396:34;17279:14;;;7376:55;-1:-1;;;7451:12;;;7444:30;7493:12;;;14959:245;15440:218;18009:10;17998:22;;;;8148:36;;15565:2;15550:18;;15536:122;15665:325;18009:10;17998:22;;;;8148:36;;-1:-1;;;;;18181:38;15976:2;15961:18;;8510:36;15816:2;15801:18;;15787:203;15997:214;18103:4;18092:16;;;;8263:35;;16120:2;16105:18;;16091:120;16218:220;-1:-1;;;;;18181:38;;;;8380:49;;16344:2;16329:18;;16315:123;16670:329;-1:-1;;;;;18181:38;;;8380:49;;18181:38;;16985:2;16970:18;;8380:49;16823:2;16808:18;;16794:205;18807:117;-1:-1;;;;;17792:54;;18866:35;;18856:2;;18915:1;;18905:12

ipfs://6dc693bf4b75441a37b10004a49620a8b198e9f01c7158a556f49aba696d3c1c