Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...    - function mod(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b, st ...  contract WSGov *    - function setMinter(address minter_)    - function mint(address dst, uint rawAm ...    - function allowance(address account, a ...    - function approve(address spender, uin ...    - function permit(address owner, addres ...    - 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-11-09
*/

// SPDX-License-Identifier: GPL-3.0-or-later


// a library for performing overflow-safe math, courtesy of DappHub (https://github.com/dapphub/ds-math)
/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     *
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     *
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     *
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts with custom message when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     *
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}


pragma solidity ^0.6.12;

contract WSGov {
    /// @dev EIP-20 token name for this token
    string public constant name = "WhiteSwap";

    /// @dev EIP-20 token symbol for this token
    string public constant symbol = "WSE";

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

    /// @dev Total number of tokens in circulation
    uint public totalSupply = 1_000_000_000e18; // 1 billion WSG

    /// @dev Address which may mint new tokens
    address public minter;

    /// @dev The timestamp after which minting may occur
    uint public mintingAllowedAfter;

    /// @dev Minimum time between mints
    uint32 public constant minimumTimeBetweenMints = 1 days * 365;

    /// @dev Cap on the percentage of totalSupply that can be minted at each mint
    uint8 public constant mintCap = 2;

    /// @dev Allowance amounts on behalf of others
    mapping (address => mapping (address => uint96)) internal allowances;

    /// @dev Official record of token balances for each account
    mapping (address => uint96) internal balances;

    /// @dev A record of each accounts delegate
    mapping (address => address) public delegates;

    /// @dev A checkpoint for marking number of votes from a given block
    struct Checkpoint {
        uint32 fromBlock;
        uint96 votes;
    }

    /// @dev A record of votes checkpoints for each account, by index
    mapping (address => mapping (uint32 => Checkpoint)) public checkpoints;

    /// @dev The number of checkpoints for each account
    mapping (address => uint32) public numCheckpoints;

    /// @dev The EIP-712 typehash for the contract's domain
    bytes32 public constant DOMAIN_TYPEHASH = keccak256("EIP712Domain(string name,uint256 chainId,address verifyingContract)");

    /// @dev 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)");

    /// @dev The EIP-712 typehash for the permit struct used by the contract
    bytes32 public constant PERMIT_TYPEHASH = keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)");

    /// @dev A record of states for signing / validating signatures
    mapping (address => uint) public nonces;

    /// @dev An event thats emitted when the minter address is changed
    event MinterChanged(address minter, address newMinter);

    /// @dev An event thats emitted when an account changes its delegate
    event DelegateChanged(address indexed delegator, address indexed fromDelegate, address indexed toDelegate);

    /// @dev An event thats emitted when a delegate account's vote balance changes
    event DelegateVotesChanged(address indexed delegate, uint previousBalance, uint newBalance);

    /// @dev The standard EIP-20 transfer event
    event Transfer(address indexed from, address indexed to, uint256 amount);

    /// @dev The standard EIP-20 approval event
    event Approval(address indexed owner, address indexed spender, uint256 amount);

    /**
     * @dev Construct a new WSG token
     * @param account The initial account to grant all the tokens
     */
    constructor(address account, address minter_, uint mintingAllowedAfter_) public {
        require(mintingAllowedAfter_ >= block.timestamp, "WSG::constructor: minting can only begin after deployment");
        
        balances[account] = uint96(totalSupply);
        emit Transfer(address(0), account, totalSupply);
        minter = minter_;
        emit MinterChanged(address(0), minter);
        mintingAllowedAfter = mintingAllowedAfter_;
    }

    /**
     * @dev Change the minter address
     * @param minter_ The address of the new minter
     */
    function setMinter(address minter_) external {
        require(msg.sender == minter, "WSG::setMinter: only the minter can change the minter address");
        emit MinterChanged(minter, minter_);
        minter = minter_;
    }

    /**
     * @dev Mint new tokens
     * @param dst The address of the destination account
     * @param rawAmount The number of tokens to be minted
     */
    function mint(address dst, uint rawAmount) external {
        require(msg.sender == minter, "WSG::mint: only the minter can mint");
        require(block.timestamp >= mintingAllowedAfter, "WSG::mint: minting not allowed yet");
        require(dst != address(0), "WSG::mint: cannot transfer to the zero address");

        // record the mint
        mintingAllowedAfter = SafeMath.add(block.timestamp, minimumTimeBetweenMints);

        // mint the amount
        uint96 amount = safe96(rawAmount, "WSG::mint: amount exceeds 96 bits");
        require(amount <= SafeMath.div(SafeMath.mul(totalSupply, mintCap), 100), "WSG::mint: exceeded mint cap");
        totalSupply = safe96(SafeMath.add(totalSupply, amount), "WSG::mint: totalSupply exceeds 96 bits");

        // transfer the amount to the recipient
        balances[dst] = add96(balances[dst], amount, "WSG::mint: transfer amount overflows");
        emit Transfer(address(0), dst, amount);

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

    /**
     * @dev 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];
    }

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

        allowances[msg.sender][spender] = amount;

        emit Approval(msg.sender, spender, amount);
        return true;
    }

    /**
     * @dev Triggers an approval from owner to spends
     * @param owner The address to approve from
     * @param spender The address to be approved
     * @param rawAmount The number of tokens that are approved (2^256-1 means infinite)
     * @param deadline 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 permit(address owner, address spender, uint rawAmount, uint deadline, uint8 v, bytes32 r, bytes32 s) external {
        uint96 amount;
        if (rawAmount == uint(-1)) {
            amount = uint96(-1);
        } else {
            amount = safe96(rawAmount, "WSG::permit: amount exceeds 96 bits");
        }

        bytes32 domainSeparator = keccak256(abi.encode(DOMAIN_TYPEHASH, keccak256(bytes(name)), getChainId(), address(this)));
        bytes32 structHash = keccak256(abi.encode(PERMIT_TYPEHASH, owner, spender, rawAmount, nonces[owner]++, deadline));
        bytes32 digest = keccak256(abi.encodePacked("\x19\x01", domainSeparator, structHash));
        address signatory = ecrecover(digest, v, r, s);
        require(signatory != address(0), "WSG::permit: invalid signature");
        require(signatory == owner, "WSG::permit: unauthorized");
        require(now <= deadline, "WSG::permit: signature expired");

        allowances[owner][spender] = amount;

        emit Approval(owner, spender, amount);
    }

    /**
     * @dev 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];
    }

    /**
     * @dev 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, "WSG::transfer: amount exceeds 96 bits");
        _transferTokens(msg.sender, dst, amount);
        return true;
    }

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

        if (spender != src && spenderAllowance != uint96(-1)) {
            uint96 newAllowance = sub96(spenderAllowance, amount, "WSG::transferFrom: transfer amount exceeds spender allowance");
            allowances[src][spender] = newAllowance;

            emit Approval(src, spender, newAllowance);
        }

        _transferTokens(src, dst, amount);
        return true;
    }

    /**
     * @dev 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);
    }

    /**
     * @dev 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), "WSG::delegateBySig: invalid signature");
        require(nonce == nonces[signatory]++, "WSG::delegateBySig: invalid nonce");
        require(now <= expiry, "WSG::delegateBySig: signature expired");
        return _delegate(signatory, delegatee);
    }

    /**
     * @dev 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;
    }

    /**
     * @dev 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, "WSG::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), "WSG::_transferTokens: cannot transfer from the zero address");
        require(dst != address(0), "WSG::_transferTokens: cannot transfer to the zero address");

        balances[src] = sub96(balances[src], amount, "WSG::_transferTokens: transfer amount exceeds balance");
        balances[dst] = add96(balances[dst], amount, "WSG::_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, "WSG::_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, "WSG::_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, "WSG::_writeCheckpoint: block number exceeds 32 bits");

      if (nCheckpoints > 0 && checkpoints[delegatee][nCheckpoints - 1].fromBlock == blockNumber) {
          checkpoints[delegatee][nCheckpoints - 1].votes = newVotes;
      } else {
          checkpoints[delegatee][nCheckpoints] = Checkpoint(blockNumber, newVotes);
          numCheckpoints[delegatee] = nCheckpoints + 1;
      }

      emit DelegateVotesChanged(delegatee, oldVotes, newVotes);
    }

    function safe32(uint n, string memory errorMessage) internal pure returns (uint32) {
        require(n < 2**32, errorMessage);
        return uint32(n);
    }

    function safe96(uint n, string memory errorMessage) internal pure returns (uint96) {
        require(n < 2**96, errorMessage);
        return uint96(n);
    }

    function add96(uint96 a, uint96 b, string memory errorMessage) internal pure returns (uint96) {
        uint96 c = a + b;
        require(c >= a, errorMessage);
        return c;
    }

    function sub96(uint96 a, uint96 b, string memory errorMessage) internal pure returns (uint96) {
        require(b <= a, errorMessage);
        return a - b;
    }

    function getChainId() internal pure returns (uint) {
        uint256 chainId;
        assembly { chainId := chainid() }
        return chainId;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"address","name":"minter_","type":"address"},{"internalType":"uint256","name":"mintingAllowedAfter_","type":"uint256"}],"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"},{"indexed":false,"internalType":"address","name":"newMinter","type":"address"}],"name":"MinterChanged","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":[],"name":"PERMIT_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":"minimumTimeBetweenMints","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"rawAmount","type":"uint256"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"mintCap","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"minter","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"mintingAllowedAfter","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"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":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"rawAmount","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"minter_","type":"address"}],"name":"setMinter","outputs":[],"stateMutability":"nonpayable","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"}]

60806040526b033b2e3c9fd0803ce800000060005534801561002057600080fd5b50604051612f40380380612f408339818101604052606081101561004357600080fd5b5080516020820151604090920151909190428110156100935760405162461bcd60e51b8152600401808060200182810382526039815260200180612f076039913960400191505060405180910390fd5b600080546001600160a01b03851680835260046020908152604080852080546001600160601b0319166001600160601b03909516949094179093558354835190815292519193927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a3600180546001600160a01b0319166001600160a01b038481169190911791829055604080516000815292909116602083015280517f3b0007eb941cf645526cbb3a4fdaecda9d28ce4843167d9263b536a1f1edc0f69281900390910190a16002555050612d90806101776000396000f3fe608060405234801561001057600080fd5b50600436106101b95760003560e01c80636fcfff45116100f9578063b4b5ea5711610097578063dd62ed3e11610071578063dd62ed3e1461062f578063e7a324dc1461066a578063f1127ed814610672578063fca3b5aa146106de576101b9565b8063b4b5ea571461054a578063c3cda5201461057d578063d505accf146105d1576101b9565b8063782d6fe1116100d3578063782d6fe11461047c5780637ecebe00146104d657806395d89b4114610509578063a9059cbb14610511576101b9565b80636fcfff451461040e57806370a082311461044157806376c71ca114610474576101b9565b806330adf81f1161016657806340c10f191161014057806340c10f191461034c578063587cde1e146103875780635c11d62f146103ba5780635c19a95c146103db576101b9565b806330adf81f1461031e57806330b36cef14610326578063313ce5671461032e576101b9565b806318160ddd1161019757806318160ddd146102b957806320606b70146102d357806323b872dd146102db576101b9565b806306fdde03146101be578063075461721461023b578063095ea7b31461026c575b600080fd5b6101c6610711565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102005781810151838201526020016101e8565b50505050905090810190601f16801561022d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61024361074a565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b6102a56004803603604081101561028257600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610766565b604080519115158252519081900360200190f35b6102c161088a565b60408051918252519081900360200190f35b6102c1610890565b6102a5600480360360608110156102f157600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135811691602081013590911690604001356108b4565b6102c1610a54565b6102c1610a78565b610336610a7e565b6040805160ff9092168252519081900360200190f35b6103856004803603604081101561036257600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610a83565b005b6102436004803603602081101561039d57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610df5565b6103c2610e1d565b6040805163ffffffff9092168252519081900360200190f35b610385600480360360208110156103f157600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610e25565b6103c26004803603602081101561042457600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610e32565b6102c16004803603602081101561045757600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610e4a565b610336610e80565b6104b56004803603604081101561049257600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610e85565b604080516bffffffffffffffffffffffff9092168252519081900360200190f35b6102c1600480360360208110156104ec57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611186565b6101c6611198565b6102a56004803603604081101561052757600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356111d1565b6104b56004803603602081101561056057600080fd5b503573ffffffffffffffffffffffffffffffffffffffff1661120d565b610385600480360360c081101561059357600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060208101359060408101359060ff6060820135169060808101359060a001356112bc565b610385600480360360e08110156105e757600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135611642565b6102c16004803603604081101561064557600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516611bbd565b6102c1611c03565b6106b16004803603604081101561068857600080fd5b50803573ffffffffffffffffffffffffffffffffffffffff16906020013563ffffffff16611c27565b6040805163ffffffff90931683526bffffffffffffffffffffffff90911660208301528051918290030190f35b610385600480360360208110156106f457600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611c62565b6040518060400160405280600981526020017f576869746553776170000000000000000000000000000000000000000000000081525081565b60015473ffffffffffffffffffffffffffffffffffffffff1681565b6000807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8314156107b857507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6107dd565b6107da83604051806060016040528060248152602001612a7460249139611d6e565b90505b33600081815260036020908152604080832073ffffffffffffffffffffffffffffffffffffffff89168085529083529281902080547fffffffffffffffffffffffffffffffffffffffff000000000000000000000000166bffffffffffffffffffffffff8716908117909155815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a360019150505b92915050565b60005481565b7f8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a86681565b73ffffffffffffffffffffffffffffffffffffffff831660009081526003602090815260408083203380855290835281842054825160608101909352602480845291936bffffffffffffffffffffffff90911692859261091e9288929190612a7490830139611d6e565b90508673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561096a57506bffffffffffffffffffffffff82811614155b15610a3c57600061099483836040518060600160405280603c8152602001612a98603c9139611e2b565b73ffffffffffffffffffffffffffffffffffffffff8981166000818152600360209081526040808320948a168084529482529182902080547fffffffffffffffffffffffffffffffffffffffff000000000000000000000000166bffffffffffffffffffffffff871690811790915582519081529151949550929391927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92592918290030190a3505b610a47878783611ebc565b5060019695505050505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b60025481565b601281565b60015473ffffffffffffffffffffffffffffffffffffffff163314610af3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180612c056023913960400191505060405180910390fd5b600254421015610b4e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180612d396022913960400191505060405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff8216610bba576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180612ba8602e913960400191505060405180910390fd5b610bc8426301e1338061215d565b6002819055506000610bf282604051806060016040528060218152602001612cce60219139611d6e565b9050610c0e610c07600054600260ff166121d1565b6064612244565b816bffffffffffffffffffffffff161115610c8a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601c60248201527f5753473a3a6d696e743a206578636565646564206d696e742063617000000000604482015290519081900360640190fd5b610cc5610ca7600054836bffffffffffffffffffffffff1661215d565b6040518060600160405280602681526020016129ec60269139611d6e565b6bffffffffffffffffffffffff908116600090815573ffffffffffffffffffffffffffffffffffffffff8516815260046020908152604091829020548251606081019093526024808452610d299491909116928592909190612caa90830139612286565b73ffffffffffffffffffffffffffffffffffffffff8416600081815260046020908152604080832080547fffffffffffffffffffffffffffffffffffffffff000000000000000000000000166bffffffffffffffffffffffff9687161790558051948616855251929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a373ffffffffffffffffffffffffffffffffffffffff808416600090815260056020526040812054610df092168361230f565b505050565b60056020526000908152604090205473ffffffffffffffffffffffffffffffffffffffff1681565b6301e1338081565b610e2f3382612556565b50565b60076020526000908152604090205463ffffffff1681565b73ffffffffffffffffffffffffffffffffffffffff166000908152600460205260409020546bffffffffffffffffffffffff1690565b600281565b6000438210610edf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180612b616026913960400191505060405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff831660009081526007602052604090205463ffffffff1680610f1a576000915050610884565b73ffffffffffffffffffffffffffffffffffffffff8416600090815260066020908152604080832063ffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff860181168552925290912054168310610ff25773ffffffffffffffffffffffffffffffffffffffff841660009081526006602090815260408083207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff9490940163ffffffff168352929052205464010000000090046bffffffffffffffffffffffff169050610884565b73ffffffffffffffffffffffffffffffffffffffff8416600090815260066020908152604080832083805290915290205463ffffffff1683101561103a576000915050610884565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82015b8163ffffffff168163ffffffff16111561112e57600282820363ffffffff1604810361108a612976565b5073ffffffffffffffffffffffffffffffffffffffff8716600090815260066020908152604080832063ffffffff8581168552908352928190208151808301909252549283168082526401000000009093046bffffffffffffffffffffffff169181019190915290871415611109576020015194506108849350505050565b805163ffffffff1687111561112057819350611127565b6001820392505b5050611060565b5073ffffffffffffffffffffffffffffffffffffffff8516600090815260066020908152604080832063ffffffff909416835292905220546bffffffffffffffffffffffff6401000000009091041691505092915050565b60086020526000908152604090205481565b6040518060400160405280600381526020017f575345000000000000000000000000000000000000000000000000000000000081525081565b6000806111f683604051806060016040528060258152602001612cef60259139611d6e565b9050611203338583611ebc565b5060019392505050565b73ffffffffffffffffffffffffffffffffffffffff811660009081526007602052604081205463ffffffff16806112455760006112b5565b73ffffffffffffffffffffffffffffffffffffffff831660009081526006602090815260408083207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff850163ffffffff16845290915290205464010000000090046bffffffffffffffffffffffff165b9392505050565b60408051808201909152600981527f576869746553776170000000000000000000000000000000000000000000000060209091015260007f8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a8667f61703dc3790c56209e077e2cef46210302a1533403439bfe37f3f85237f86a1b61133d61260a565b60408051602080820195909552808201939093526060830191909152306080808401919091528151808403909101815260a0830182528051908401207fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf60c084015273ffffffffffffffffffffffffffffffffffffffff8b1660e084015261010083018a90526101208084018a905282518085039091018152610140840183528051908501207f19010000000000000000000000000000000000000000000000000000000000006101608501526101628401829052610182808501829052835180860390910181526101a285018085528151918701919091206000918290526101c2860180865281905260ff8b166101e287015261020286018a905261022286018990529351929650909492939092600192610242808401937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08301929081900390910190855afa1580156114b6573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff811661154d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180612a4f6025913960400191505060405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff8116600090815260086020526040902080546001810190915589146115d2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612b076021913960400191505060405180910390fd5b8742111561162b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180612d146025913960400191505060405180910390fd5b611635818b612556565b505050505b505050505050565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff86141561169357507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6116b8565b6116b58660405180606001604052806023815260200161298e60239139611d6e565b90505b60408051808201909152600981527f576869746553776170000000000000000000000000000000000000000000000060209091015260007f8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a8667f61703dc3790c56209e077e2cef46210302a1533403439bfe37f3f85237f86a1b61173961260a565b60408051602080820195909552808201939093526060830191909152306080808401919091528151808403909101815260a08301825280519084012073ffffffffffffffffffffffffffffffffffffffff8d8116600081815260088752848120805460018082019092557f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960c089015260e0880193909352928f1661010087015261012086018e90526101408601919091526101608086018d905284518087039091018152610180860185528051908701207f19010000000000000000000000000000000000000000000000000000000000006101a08701526101a286018490526101c2808701829052855180880390910181526101e2870180875281519189019190912090839052610202870180875281905260ff8d1661022288015261024287018c905261026287018b905294519397509593949093919261028280830193927fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08301929081900390910190855afa1580156118db573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff811661198857604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f5753473a3a7065726d69743a20696e76616c6964207369676e61747572650000604482015290519081900360640190fd5b8b73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614611a2257604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f5753473a3a7065726d69743a20756e617574686f72697a656400000000000000604482015290519081900360640190fd5b88421115611a9157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f5753473a3a7065726d69743a207369676e617475726520657870697265640000604482015290519081900360640190fd5b84600360008e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508a73ffffffffffffffffffffffffffffffffffffffff168c73ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258760405180826bffffffffffffffffffffffff16815260200191505060405180910390a3505050505050505050505050565b73ffffffffffffffffffffffffffffffffffffffff91821660009081526003602090815260408083209390941682529190915220546bffffffffffffffffffffffff1690565b7fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf81565b600660209081526000928352604080842090915290825290205463ffffffff81169064010000000090046bffffffffffffffffffffffff1682565b60015473ffffffffffffffffffffffffffffffffffffffff163314611cd2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603d815260200180612a12603d913960400191505060405180910390fd5b6001546040805173ffffffffffffffffffffffffffffffffffffffff9283168152918316602083015280517f3b0007eb941cf645526cbb3a4fdaecda9d28ce4843167d9263b536a1f1edc0f69281900390910190a1600180547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b6000816c010000000000000000000000008410611e23576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611de8578181015183820152602001611dd0565b50505050905090810190601f168015611e155780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b509192915050565b6000836bffffffffffffffffffffffff16836bffffffffffffffffffffffff1611158290611eb4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201818152835160248401528351909283926044909101919085019080838360008315611de8578181015183820152602001611dd0565b505050900390565b73ffffffffffffffffffffffffffffffffffffffff8316611f28576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603b8152602001806129b1603b913960400191505060405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff8216611f94576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526039815260200180612b286039913960400191505060405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff8316600090815260046020908152604091829020548251606081019093526035808452611ff1936bffffffffffffffffffffffff9092169285929190612c2890830139611e2b565b73ffffffffffffffffffffffffffffffffffffffff848116600090815260046020908152604080832080547fffffffffffffffffffffffffffffffffffffffff000000000000000000000000166bffffffffffffffffffffffff96871617905592861682529082902054825160608101909352602f8084526120839491909116928592909190612bd690830139612286565b73ffffffffffffffffffffffffffffffffffffffff83811660008181526004602090815260409182902080547fffffffffffffffffffffffffffffffffffffffff000000000000000000000000166bffffffffffffffffffffffff9687161790558151948616855290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a373ffffffffffffffffffffffffffffffffffffffff808416600090815260056020526040808220548584168352912054610df09291821691168361230f565b6000828201838110156112b557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6000826121e057506000610884565b828202828482816121ed57fe5b04146112b5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612b876021913960400191505060405180910390fd5b60006112b583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061260e565b6000838301826bffffffffffffffffffffffff8087169083161015612306576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201818152835160248401528351909283926044909101919085019080838360008315611de8578181015183820152602001611dd0565b50949350505050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561235957506000816bffffffffffffffffffffffff16115b15610df05773ffffffffffffffffffffffffffffffffffffffff83161561245c5773ffffffffffffffffffffffffffffffffffffffff831660009081526007602052604081205463ffffffff1690816123b3576000612423565b73ffffffffffffffffffffffffffffffffffffffff851660009081526006602090815260408083207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff860163ffffffff16845290915290205464010000000090046bffffffffffffffffffffffff165b9050600061244a8285604051806060016040528060278152602001612c5d60279139611e2b565b90506124588684848461268d565b5050505b73ffffffffffffffffffffffffffffffffffffffff821615610df05773ffffffffffffffffffffffffffffffffffffffff821660009081526007602052604081205463ffffffff1690816124b1576000612521565b73ffffffffffffffffffffffffffffffffffffffff841660009081526006602090815260408083207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff860163ffffffff16845290915290205464010000000090046bffffffffffffffffffffffff165b905060006125488285604051806060016040528060268152602001612c8460269139612286565b905061163a8584848461268d565b73ffffffffffffffffffffffffffffffffffffffff808316600081815260056020818152604080842080546004845282862054949093528787167fffffffffffffffffffffffff000000000000000000000000000000000000000084168117909155905191909516946bffffffffffffffffffffffff9092169391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a461260482848361230f565b50505050565b4690565b60008183612677576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201818152835160248401528351909283926044909101919085019080838360008315611de8578181015183820152602001611dd0565b50600083858161268357fe5b0495945050505050565b60006126b143604051806060016040528060338152602001612ad460339139612906565b905060008463ffffffff16118015612725575073ffffffffffffffffffffffffffffffffffffffff8516600090815260066020908152604080832063ffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8901811685529252909120548282169116145b156127c45773ffffffffffffffffffffffffffffffffffffffff851660009081526006602090815260408083207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff880163ffffffff168452909152902080547fffffffffffffffffffffffffffffffff000000000000000000000000ffffffff166401000000006bffffffffffffffffffffffff8516021790556128a0565b60408051808201825263ffffffff80841682526bffffffffffffffffffffffff808616602080850191825273ffffffffffffffffffffffffffffffffffffffff8b166000818152600683528781208c871682528352878120965187549451909516640100000000027fffffffffffffffffffffffffffffffff000000000000000000000000ffffffff9587167fffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000958616179590951694909417909555938252600790935292909220805460018801909316929091169190911790555b604080516bffffffffffffffffffffffff808616825284166020820152815173ffffffffffffffffffffffffffffffffffffffff8816927fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724928290030190a25050505050565b6000816401000000008410611e23576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201818152835160248401528351909283926044909101919085019080838360008315611de8578181015183820152602001611dd0565b60408051808201909152600080825260208201529056fe5753473a3a7065726d69743a20616d6f756e74206578636565647320393620626974735753473a3a5f7472616e73666572546f6b656e733a2063616e6e6f74207472616e736665722066726f6d20746865207a65726f20616464726573735753473a3a6d696e743a20746f74616c537570706c79206578636565647320393620626974735753473a3a7365744d696e7465723a206f6e6c7920746865206d696e7465722063616e206368616e676520746865206d696e74657220616464726573735753473a3a64656c656761746542795369673a20696e76616c6964207369676e61747572655753473a3a617070726f76653a20616d6f756e74206578636565647320393620626974735753473a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e63655753473a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d626572206578636565647320333220626974735753473a3a64656c656761746542795369673a20696e76616c6964206e6f6e63655753473a3a5f7472616e73666572546f6b656e733a2063616e6e6f74207472616e7366657220746f20746865207a65726f20616464726573735753473a3a6765745072696f72566f7465733a206e6f74207965742064657465726d696e6564536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f775753473a3a6d696e743a2063616e6e6f74207472616e7366657220746f20746865207a65726f20616464726573735753473a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f77735753473a3a6d696e743a206f6e6c7920746865206d696e7465722063616e206d696e745753473a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e63655753473a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f77735753473a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f77735753473a3a6d696e743a207472616e7366657220616d6f756e74206f766572666c6f77735753473a3a6d696e743a20616d6f756e74206578636565647320393620626974735753473a3a7472616e736665723a20616d6f756e74206578636565647320393620626974735753473a3a64656c656761746542795369673a207369676e617475726520657870697265645753473a3a6d696e743a206d696e74696e67206e6f7420616c6c6f77656420796574a2646970667358221220b3dd7024e65b7151bac9e9e8b5b74238ab80725494824aa56ce1d259197aef9364736f6c634300060c00335753473a3a636f6e7374727563746f723a206d696e74696e672063616e206f6e6c7920626567696e206166746572206465706c6f796d656e74000000000000000000000000f9a83fd58dbab13521d051ef2ee6e0a58edbb073000000000000000000000000f9a83fd58dbab13521d051ef2ee6e0a58edbb07300000000000000000000000000000000000000000000000000000000618a5379

0x608060405234801561001057600080fd5b50600436106101b95760003560e01c80636fcfff45116100f9578063b4b5ea5711610097578063dd62ed3e11610071578063dd62ed3e1461062f578063e7a324dc1461066a578063f1127ed814610672578063fca3b5aa146106de576101b9565b8063b4b5ea571461054a578063c3cda5201461057d578063d505accf146105d1576101b9565b8063782d6fe1116100d3578063782d6fe11461047c5780637ecebe00146104d657806395d89b4114610509578063a9059cbb14610511576101b9565b80636fcfff451461040e57806370a082311461044157806376c71ca114610474576101b9565b806330adf81f1161016657806340c10f191161014057806340c10f191461034c578063587cde1e146103875780635c11d62f146103ba5780635c19a95c146103db576101b9565b806330adf81f1461031e57806330b36cef14610326578063313ce5671461032e576101b9565b806318160ddd1161019757806318160ddd146102b957806320606b70146102d357806323b872dd146102db576101b9565b806306fdde03146101be578063075461721461023b578063095ea7b31461026c575b600080fd5b6101c6610711565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102005781810151838201526020016101e8565b50505050905090810190601f16801561022d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61024361074a565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b6102a56004803603604081101561028257600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610766565b604080519115158252519081900360200190f35b6102c161088a565b60408051918252519081900360200190f35b6102c1610890565b6102a5600480360360608110156102f157600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135811691602081013590911690604001356108b4565b6102c1610a54565b6102c1610a78565b610336610a7e565b6040805160ff9092168252519081900360200190f35b6103856004803603604081101561036257600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610a83565b005b6102436004803603602081101561039d57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610df5565b6103c2610e1d565b6040805163ffffffff9092168252519081900360200190f35b610385600480360360208110156103f157600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610e25565b6103c26004803603602081101561042457600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610e32565b6102c16004803603602081101561045757600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16610e4a565b610336610e80565b6104b56004803603604081101561049257600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060200135610e85565b604080516bffffffffffffffffffffffff9092168252519081900360200190f35b6102c1600480360360208110156104ec57600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611186565b6101c6611198565b6102a56004803603604081101561052757600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81351690602001356111d1565b6104b56004803603602081101561056057600080fd5b503573ffffffffffffffffffffffffffffffffffffffff1661120d565b610385600480360360c081101561059357600080fd5b5073ffffffffffffffffffffffffffffffffffffffff8135169060208101359060408101359060ff6060820135169060808101359060a001356112bc565b610385600480360360e08110156105e757600080fd5b5073ffffffffffffffffffffffffffffffffffffffff813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135611642565b6102c16004803603604081101561064557600080fd5b5073ffffffffffffffffffffffffffffffffffffffff81358116916020013516611bbd565b6102c1611c03565b6106b16004803603604081101561068857600080fd5b50803573ffffffffffffffffffffffffffffffffffffffff16906020013563ffffffff16611c27565b6040805163ffffffff90931683526bffffffffffffffffffffffff90911660208301528051918290030190f35b610385600480360360208110156106f457600080fd5b503573ffffffffffffffffffffffffffffffffffffffff16611c62565b6040518060400160405280600981526020017f576869746553776170000000000000000000000000000000000000000000000081525081565b60015473ffffffffffffffffffffffffffffffffffffffff1681565b6000807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8314156107b857507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6107dd565b6107da83604051806060016040528060248152602001612a7460249139611d6e565b90505b33600081815260036020908152604080832073ffffffffffffffffffffffffffffffffffffffff89168085529083529281902080547fffffffffffffffffffffffffffffffffffffffff000000000000000000000000166bffffffffffffffffffffffff8716908117909155815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a360019150505b92915050565b60005481565b7f8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a86681565b73ffffffffffffffffffffffffffffffffffffffff831660009081526003602090815260408083203380855290835281842054825160608101909352602480845291936bffffffffffffffffffffffff90911692859261091e9288929190612a7490830139611d6e565b90508673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561096a57506bffffffffffffffffffffffff82811614155b15610a3c57600061099483836040518060600160405280603c8152602001612a98603c9139611e2b565b73ffffffffffffffffffffffffffffffffffffffff8981166000818152600360209081526040808320948a168084529482529182902080547fffffffffffffffffffffffffffffffffffffffff000000000000000000000000166bffffffffffffffffffffffff871690811790915582519081529151949550929391927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92592918290030190a3505b610a47878783611ebc565b5060019695505050505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b60025481565b601281565b60015473ffffffffffffffffffffffffffffffffffffffff163314610af3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526023815260200180612c056023913960400191505060405180910390fd5b600254421015610b4e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180612d396022913960400191505060405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff8216610bba576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180612ba8602e913960400191505060405180910390fd5b610bc8426301e1338061215d565b6002819055506000610bf282604051806060016040528060218152602001612cce60219139611d6e565b9050610c0e610c07600054600260ff166121d1565b6064612244565b816bffffffffffffffffffffffff161115610c8a57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601c60248201527f5753473a3a6d696e743a206578636565646564206d696e742063617000000000604482015290519081900360640190fd5b610cc5610ca7600054836bffffffffffffffffffffffff1661215d565b6040518060600160405280602681526020016129ec60269139611d6e565b6bffffffffffffffffffffffff908116600090815573ffffffffffffffffffffffffffffffffffffffff8516815260046020908152604091829020548251606081019093526024808452610d299491909116928592909190612caa90830139612286565b73ffffffffffffffffffffffffffffffffffffffff8416600081815260046020908152604080832080547fffffffffffffffffffffffffffffffffffffffff000000000000000000000000166bffffffffffffffffffffffff9687161790558051948616855251929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a373ffffffffffffffffffffffffffffffffffffffff808416600090815260056020526040812054610df092168361230f565b505050565b60056020526000908152604090205473ffffffffffffffffffffffffffffffffffffffff1681565b6301e1338081565b610e2f3382612556565b50565b60076020526000908152604090205463ffffffff1681565b73ffffffffffffffffffffffffffffffffffffffff166000908152600460205260409020546bffffffffffffffffffffffff1690565b600281565b6000438210610edf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180612b616026913960400191505060405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff831660009081526007602052604090205463ffffffff1680610f1a576000915050610884565b73ffffffffffffffffffffffffffffffffffffffff8416600090815260066020908152604080832063ffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff860181168552925290912054168310610ff25773ffffffffffffffffffffffffffffffffffffffff841660009081526006602090815260408083207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff9490940163ffffffff168352929052205464010000000090046bffffffffffffffffffffffff169050610884565b73ffffffffffffffffffffffffffffffffffffffff8416600090815260066020908152604080832083805290915290205463ffffffff1683101561103a576000915050610884565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82015b8163ffffffff168163ffffffff16111561112e57600282820363ffffffff1604810361108a612976565b5073ffffffffffffffffffffffffffffffffffffffff8716600090815260066020908152604080832063ffffffff8581168552908352928190208151808301909252549283168082526401000000009093046bffffffffffffffffffffffff169181019190915290871415611109576020015194506108849350505050565b805163ffffffff1687111561112057819350611127565b6001820392505b5050611060565b5073ffffffffffffffffffffffffffffffffffffffff8516600090815260066020908152604080832063ffffffff909416835292905220546bffffffffffffffffffffffff6401000000009091041691505092915050565b60086020526000908152604090205481565b6040518060400160405280600381526020017f575345000000000000000000000000000000000000000000000000000000000081525081565b6000806111f683604051806060016040528060258152602001612cef60259139611d6e565b9050611203338583611ebc565b5060019392505050565b73ffffffffffffffffffffffffffffffffffffffff811660009081526007602052604081205463ffffffff16806112455760006112b5565b73ffffffffffffffffffffffffffffffffffffffff831660009081526006602090815260408083207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff850163ffffffff16845290915290205464010000000090046bffffffffffffffffffffffff165b9392505050565b60408051808201909152600981527f576869746553776170000000000000000000000000000000000000000000000060209091015260007f8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a8667f61703dc3790c56209e077e2cef46210302a1533403439bfe37f3f85237f86a1b61133d61260a565b60408051602080820195909552808201939093526060830191909152306080808401919091528151808403909101815260a0830182528051908401207fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf60c084015273ffffffffffffffffffffffffffffffffffffffff8b1660e084015261010083018a90526101208084018a905282518085039091018152610140840183528051908501207f19010000000000000000000000000000000000000000000000000000000000006101608501526101628401829052610182808501829052835180860390910181526101a285018085528151918701919091206000918290526101c2860180865281905260ff8b166101e287015261020286018a905261022286018990529351929650909492939092600192610242808401937fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08301929081900390910190855afa1580156114b6573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff811661154d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180612a4f6025913960400191505060405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff8116600090815260086020526040902080546001810190915589146115d2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612b076021913960400191505060405180910390fd5b8742111561162b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526025815260200180612d146025913960400191505060405180910390fd5b611635818b612556565b505050505b505050505050565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff86141561169357507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff6116b8565b6116b58660405180606001604052806023815260200161298e60239139611d6e565b90505b60408051808201909152600981527f576869746553776170000000000000000000000000000000000000000000000060209091015260007f8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a8667f61703dc3790c56209e077e2cef46210302a1533403439bfe37f3f85237f86a1b61173961260a565b60408051602080820195909552808201939093526060830191909152306080808401919091528151808403909101815260a08301825280519084012073ffffffffffffffffffffffffffffffffffffffff8d8116600081815260088752848120805460018082019092557f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960c089015260e0880193909352928f1661010087015261012086018e90526101408601919091526101608086018d905284518087039091018152610180860185528051908701207f19010000000000000000000000000000000000000000000000000000000000006101a08701526101a286018490526101c2808701829052855180880390910181526101e2870180875281519189019190912090839052610202870180875281905260ff8d1661022288015261024287018c905261026287018b905294519397509593949093919261028280830193927fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08301929081900390910190855afa1580156118db573d6000803e3d6000fd5b50506040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0015191505073ffffffffffffffffffffffffffffffffffffffff811661198857604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f5753473a3a7065726d69743a20696e76616c6964207369676e61747572650000604482015290519081900360640190fd5b8b73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614611a2257604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601960248201527f5753473a3a7065726d69743a20756e617574686f72697a656400000000000000604482015290519081900360640190fd5b88421115611a9157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f5753473a3a7065726d69743a207369676e617475726520657870697265640000604482015290519081900360640190fd5b84600360008e73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008d73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a8154816bffffffffffffffffffffffff02191690836bffffffffffffffffffffffff1602179055508a73ffffffffffffffffffffffffffffffffffffffff168c73ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258760405180826bffffffffffffffffffffffff16815260200191505060405180910390a3505050505050505050505050565b73ffffffffffffffffffffffffffffffffffffffff91821660009081526003602090815260408083209390941682529190915220546bffffffffffffffffffffffff1690565b7fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf81565b600660209081526000928352604080842090915290825290205463ffffffff81169064010000000090046bffffffffffffffffffffffff1682565b60015473ffffffffffffffffffffffffffffffffffffffff163314611cd2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603d815260200180612a12603d913960400191505060405180910390fd5b6001546040805173ffffffffffffffffffffffffffffffffffffffff9283168152918316602083015280517f3b0007eb941cf645526cbb3a4fdaecda9d28ce4843167d9263b536a1f1edc0f69281900390910190a1600180547fffffffffffffffffffffffff00000000000000000000000000000000000000001673ffffffffffffffffffffffffffffffffffffffff92909216919091179055565b6000816c010000000000000000000000008410611e23576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611de8578181015183820152602001611dd0565b50505050905090810190601f168015611e155780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b509192915050565b6000836bffffffffffffffffffffffff16836bffffffffffffffffffffffff1611158290611eb4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201818152835160248401528351909283926044909101919085019080838360008315611de8578181015183820152602001611dd0565b505050900390565b73ffffffffffffffffffffffffffffffffffffffff8316611f28576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603b8152602001806129b1603b913960400191505060405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff8216611f94576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526039815260200180612b286039913960400191505060405180910390fd5b73ffffffffffffffffffffffffffffffffffffffff8316600090815260046020908152604091829020548251606081019093526035808452611ff1936bffffffffffffffffffffffff9092169285929190612c2890830139611e2b565b73ffffffffffffffffffffffffffffffffffffffff848116600090815260046020908152604080832080547fffffffffffffffffffffffffffffffffffffffff000000000000000000000000166bffffffffffffffffffffffff96871617905592861682529082902054825160608101909352602f8084526120839491909116928592909190612bd690830139612286565b73ffffffffffffffffffffffffffffffffffffffff83811660008181526004602090815260409182902080547fffffffffffffffffffffffffffffffffffffffff000000000000000000000000166bffffffffffffffffffffffff9687161790558151948616855290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a373ffffffffffffffffffffffffffffffffffffffff808416600090815260056020526040808220548584168352912054610df09291821691168361230f565b6000828201838110156112b557604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6000826121e057506000610884565b828202828482816121ed57fe5b04146112b5576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612b876021913960400191505060405180910390fd5b60006112b583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061260e565b6000838301826bffffffffffffffffffffffff8087169083161015612306576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201818152835160248401528351909283926044909101919085019080838360008315611de8578181015183820152602001611dd0565b50949350505050565b8173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415801561235957506000816bffffffffffffffffffffffff16115b15610df05773ffffffffffffffffffffffffffffffffffffffff83161561245c5773ffffffffffffffffffffffffffffffffffffffff831660009081526007602052604081205463ffffffff1690816123b3576000612423565b73ffffffffffffffffffffffffffffffffffffffff851660009081526006602090815260408083207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff860163ffffffff16845290915290205464010000000090046bffffffffffffffffffffffff165b9050600061244a8285604051806060016040528060278152602001612c5d60279139611e2b565b90506124588684848461268d565b5050505b73ffffffffffffffffffffffffffffffffffffffff821615610df05773ffffffffffffffffffffffffffffffffffffffff821660009081526007602052604081205463ffffffff1690816124b1576000612521565b73ffffffffffffffffffffffffffffffffffffffff841660009081526006602090815260408083207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff860163ffffffff16845290915290205464010000000090046bffffffffffffffffffffffff165b905060006125488285604051806060016040528060268152602001612c8460269139612286565b905061163a8584848461268d565b73ffffffffffffffffffffffffffffffffffffffff808316600081815260056020818152604080842080546004845282862054949093528787167fffffffffffffffffffffffff000000000000000000000000000000000000000084168117909155905191909516946bffffffffffffffffffffffff9092169391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a461260482848361230f565b50505050565b4690565b60008183612677576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201818152835160248401528351909283926044909101919085019080838360008315611de8578181015183820152602001611dd0565b50600083858161268357fe5b0495945050505050565b60006126b143604051806060016040528060338152602001612ad460339139612906565b905060008463ffffffff16118015612725575073ffffffffffffffffffffffffffffffffffffffff8516600090815260066020908152604080832063ffffffff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8901811685529252909120548282169116145b156127c45773ffffffffffffffffffffffffffffffffffffffff851660009081526006602090815260408083207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff880163ffffffff168452909152902080547fffffffffffffffffffffffffffffffff000000000000000000000000ffffffff166401000000006bffffffffffffffffffffffff8516021790556128a0565b60408051808201825263ffffffff80841682526bffffffffffffffffffffffff808616602080850191825273ffffffffffffffffffffffffffffffffffffffff8b166000818152600683528781208c871682528352878120965187549451909516640100000000027fffffffffffffffffffffffffffffffff000000000000000000000000ffffffff9587167fffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000958616179590951694909417909555938252600790935292909220805460018801909316929091169190911790555b604080516bffffffffffffffffffffffff808616825284166020820152815173ffffffffffffffffffffffffffffffffffffffff8816927fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724928290030190a25050505050565b6000816401000000008410611e23576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201818152835160248401528351909283926044909101919085019080838360008315611de8578181015183820152602001611dd0565b60408051808201909152600080825260208201529056fe5753473a3a7065726d69743a20616d6f756e74206578636565647320393620626974735753473a3a5f7472616e73666572546f6b656e733a2063616e6e6f74207472616e736665722066726f6d20746865207a65726f20616464726573735753473a3a6d696e743a20746f74616c537570706c79206578636565647320393620626974735753473a3a7365744d696e7465723a206f6e6c7920746865206d696e7465722063616e206368616e676520746865206d696e74657220616464726573735753473a3a64656c656761746542795369673a20696e76616c6964207369676e61747572655753473a3a617070726f76653a20616d6f756e74206578636565647320393620626974735753473a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e63655753473a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d626572206578636565647320333220626974735753473a3a64656c656761746542795369673a20696e76616c6964206e6f6e63655753473a3a5f7472616e73666572546f6b656e733a2063616e6e6f74207472616e7366657220746f20746865207a65726f20616464726573735753473a3a6765745072696f72566f7465733a206e6f74207965742064657465726d696e6564536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f775753473a3a6d696e743a2063616e6e6f74207472616e7366657220746f20746865207a65726f20616464726573735753473a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f77735753473a3a6d696e743a206f6e6c7920746865206d696e7465722063616e206d696e745753473a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e63655753473a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f77735753473a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f77735753473a3a6d696e743a207472616e7366657220616d6f756e74206f766572666c6f77735753473a3a6d696e743a20616d6f756e74206578636565647320393620626974735753473a3a7472616e736665723a20616d6f756e74206578636565647320393620626974735753473a3a64656c656761746542795369673a207369676e617475726520657870697265645753473a3a6d696e743a206d696e74696e67206e6f7420616c6c6f77656420796574a2646970667358221220b3dd7024e65b7151bac9e9e8b5b74238ab80725494824aa56ce1d259197aef9364736f6c634300060c0033

5486:16920:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5555:41;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5963:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11686:418;;;;;;;;;;;;;;;;-1:-1:-1;11686:418:0;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;5847:42;;;:::i;:::-;;;;;;;;;;;;;;;;7162:122;;;:::i;14754:670::-;;;;;;;;;;;;;;;;-1:-1:-1;14754:670:0;;;;;;;;;;;;;;;;;;:::i;7579:137::-;;;:::i;6051:31::-;;;:::i;5751:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;9716:1058;;;;;;;;;;;;;;;;-1:-1:-1;9716:1058:0;;;;;;;;;:::i;:::-;;6624:45;;;;;;;;;;;;;;;;-1:-1:-1;6624:45:0;;;;:::i;6132:61::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;15569:102;;;;;;;;;;;;;;;;-1:-1:-1;15569:102:0;;;;:::i;7043:49::-;;;;;;;;;;;;;;;;-1:-1:-1;7043:49:0;;;;:::i;13841:108::-;;;;;;;;;;;;;;;;-1:-1:-1;13841:108:0;;;;:::i;6285:33::-;;;:::i;17736:1217::-;;;;;;;;;;;;;;;;-1:-1:-1;17736:1217:0;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7794:39;;;;;;;;;;;;;;;;-1:-1:-1;7794:39:0;;;;:::i;5654:37::-;;;:::i;14210:237::-;;;;;;;;;;;;;;;;-1:-1:-1;14210:237:0;;;;;;;;;:::i;17086:222::-;;;;;;;;;;;;;;;;-1:-1:-1;17086:222:0;;;;:::i;16102:786::-;;;;;;;;;;;;;;;;-1:-1:-1;16102:786:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;12591:1050::-;;;;;;;;;;;;;;;;-1:-1:-1;12591:1050:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;11075:136::-;;;;;;;;;;;;;;;;-1:-1:-1;11075:136:0;;;;;;;;;;;:::i;7375:117::-;;;:::i;6907:70::-;;;;;;;;;;;;;;;;-1:-1:-1;6907:70:0;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;9313:231;;;;;;;;;;;;;;;;-1:-1:-1;9313:231:0;;;;:::i;5555:41::-;;;;;;;;;;;;;;;;;;;:::o;5963:21::-;;;;;;:::o;11686:418::-;11754:4;11771:13;11817:2;11799:9;:21;11795:172;;;-1:-1:-1;11853:2:0;11795:172;;;11898:57;11905:9;11898:57;;;;;;;;;;;;;;;;;:6;:57::i;:::-;11889:66;;11795:172;11990:10;11979:22;;;;:10;:22;;;;;;;;;:31;;;;;;;;;;;;:40;;;;;;;;;;;;;12037:37;;;;;;;11979:31;;11990:10;12037:37;;;;;;;;;;;12092:4;12085:11;;;11686:418;;;;;:::o;5847:42::-;;;;:::o;7162:122::-;7204:80;7162:122;:::o;14754:670::-;14918:15;;;14836:4;14918:15;;;:10;:15;;;;;;;;14871:10;14918:24;;;;;;;;;;14969:57;;;;;;;;;;;;14871:10;;14918:24;;;;;14836:4;;14969:57;;14976:9;;14969:57;;;;;;;:6;:57::i;:::-;14953:73;;15054:3;15043:14;;:7;:14;;;;:48;;;;-1:-1:-1;15061:30:0;;;;;;15043:48;15039:310;;;15108:19;15130:95;15136:16;15154:6;15130:95;;;;;;;;;;;;;;;;;:5;:95::i;:::-;15240:15;;;;;;;;:10;:15;;;;;;;;:24;;;;;;;;;;;;;:39;;;;;;;;;;;;;15301:36;;;;;;;15240:39;;-1:-1:-1;15240:24:0;;:15;;15301:36;;;;;;;;;15039:310;;15361:33;15377:3;15382;15387:6;15361:15;:33::i;:::-;-1:-1:-1;15412:4:0;;14754:670;-1:-1:-1;;;;;;14754:670:0:o;7579:137::-;7621:95;7579:137;:::o;6051:31::-;;;;:::o;5751:35::-;5784:2;5751:35;:::o;9716:1058::-;9801:6;;;;9787:10;:20;9779:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9885:19;;9866:15;:38;;9858:85;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9962:17;;;9954:76;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10093:54;10106:15;6181:12;10093;:54::i;:::-;10071:19;:76;;;;10188:13;10204:54;10211:9;10204:54;;;;;;;;;;;;;;;;;:6;:54::i;:::-;10188:70;;10287:53;10300:34;10313:11;;6317:1;10300:34;;:12;:34::i;:::-;10336:3;10287:12;:53::i;:::-;10277:6;:63;;;;10269:104;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10398:83;10405:33;10418:11;;10431:6;10405:33;;:12;:33::i;:::-;10398:83;;;;;;;;;;;;;;;;;:6;:83::i;:::-;10384:97;;;;:11;:97;;;10565:13;;;;;:8;:13;;;;;;;;;;10559:68;;;;;;;;;;;;;;10565:13;;;;;10580:6;;10559:68;;;;;;;;:5;:68::i;:::-;10543:13;;;;;;;:8;:13;;;;;;;;:84;;;;;;;;;;;10643:33;;;;;;;;10543:13;;;;10643:33;;;;;;;;;;10743:14;;;;10739:1;10743:14;;;:9;:14;;;;;;10716:50;;10743:14;10759:6;10716:14;:50::i;:::-;9716:1058;;;:::o;6624:45::-;;;;;;;;;;;;;;;:::o;6132:61::-;6181:12;6132:61;:::o;15569:102::-;15631:32;15641:10;15653:9;15631;:32::i;:::-;15569:102;:::o;7043:49::-;;;;;;;;;;;;;;;:::o;13841:108::-;13924:17;;13900:4;13924:17;;;:8;:17;;;;;;;;;13841:108::o;6285:33::-;6317:1;6285:33;:::o;17736:1217::-;17815:6;17856:12;17842:11;:26;17834:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17946:23;;;17924:19;17946:23;;;:14;:23;;;;;;;;17984:17;17980:58;;18025:1;18018:8;;;;;17980:58;18098:20;;;;;;;:11;:20;;;;;;;;:38;18119:16;;;18098:38;;;;;;;;;:48;;:63;-1:-1:-1;18094:147:0;;18185:20;;;;;;;:11;:20;;;;;;;;18206:16;;;;;18185:38;;;;;;;;:44;;;;;;;-1:-1:-1;18178:51:0;;18094:147;18302:20;;;;;;;:11;:20;;;;;;;;:23;;;;;;;;:33;:23;:33;:47;-1:-1:-1;18298:88:0;;;18373:1;18366:8;;;;;18298:88;18398:12;18440:16;;;18467:428;18482:5;18474:13;;:5;:13;;;18467:428;;;18546:1;18529:13;;;18528:19;;;18520:27;;18589:20;;:::i;:::-;-1:-1:-1;18612:20:0;;;;;;;:11;:20;;;;;;;;:28;;;;;;;;;;;;;18589:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18659:27;;18655:229;;;18714:8;;;;-1:-1:-1;18707:15:0;;-1:-1:-1;;;;18707:15:0;18655:229;18748:12;;:26;;;-1:-1:-1;18744:140:0;;;18803:6;18795:14;;18744:140;;;18867:1;18858:6;:10;18850:18;;18744:140;18467:428;;;;;-1:-1:-1;18912:20:0;;;;;;;:11;:20;;;;;;;;:27;;;;;;;;;;:33;;;;;;;;-1:-1:-1;;17736:1217:0;;;;:::o;7794:39::-;;;;;;;;;;;;;:::o;5654:37::-;;;;;;;;;;;;;;;;;;;:::o;14210:237::-;14275:4;14292:13;14308:58;14315:9;14308:58;;;;;;;;;;;;;;;;;:6;:58::i;:::-;14292:74;;14377:40;14393:10;14405:3;14410:6;14377:15;:40::i;:::-;-1:-1:-1;14435:4:0;;14210:237;-1:-1:-1;;;14210:237:0:o;17086:222::-;17192:23;;;17151:6;17192:23;;;:14;:23;;;;;;;;17233:16;:67;;17299:1;17233:67;;;17252:20;;;;;;;:11;:20;;;;;;;;17273:16;;;17252:38;;;;;;;;;:44;;;;;;17233:67;17226:74;17086:222;-1:-1:-1;;;17086:222:0:o;16102:786::-;16298:4;;;;;;;;;;;;;;;;;;16218:23;7204:80;16282:22;16306:12;:10;:12::i;:::-;16254:80;;;;;;;;;;;;;;;;;;;;;;;;;16328:4;16254:80;;;;;;;;;;;;;;;;;;;;;;;16244:91;;;;;;7421:71;16377:57;;;;16254:80;16377:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16367:68;;;;;;16473:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16463:68;;;;;;;;;-1:-1:-1;16562:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16244:91;;-1:-1:-1;16367:68:0;;16463;;-1:-1:-1;;16562:26:0;;;;;;;-1:-1:-1;16562:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;16562:26:0;;;;;;-1:-1:-1;;16607:23:0;;;16599:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16700:17;;;;;;;:6;:17;;;;;:19;;;;;;;;16691:28;;16683:74;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16783:6;16776:3;:13;;16768:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16849:31;16859:9;16870;16849;:31::i;:::-;16842:38;;;;16102:786;;;;;;;:::o;12591:1050::-;12721:13;12767:2;12749:9;:21;12745:171;;;-1:-1:-1;12803:2:0;12745:171;;;12848:56;12855:9;12848:56;;;;;;;;;;;;;;;;;:6;:56::i;:::-;12839:65;;12745:171;13008:4;;;;;;;;;;;;;;;;;;12928:23;7204:80;12992:22;13016:12;:10;:12::i;:::-;12964:80;;;;;;;;;;;;;;;;;;;;;;;;;13038:4;12964:80;;;;;;;;;;;;;;;;;;;;;;;12954:91;;;;;;12964:80;13142:13;;;-1:-1:-1;13142:13:0;;;:6;:13;;;;;:15;;;;;;;;;7621:95;13087:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13077:92;;;;;;13207:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13197:68;;;;;;;;;13296:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12954:91;;-1:-1:-1;13077:92:0;13197:68;;-1:-1:-1;;13142:15:0;;13296:26;;;;;12964:80;-1:-1:-1;13296:26:0;;;;;;;;;;;13142:15;13296:26;;;;;;;;;;;;;;;-1:-1:-1;;13296:26:0;;;;;;-1:-1:-1;;13341:23:0;;;13333:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13431:5;13418:18;;:9;:18;;;13410:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13492:8;13485:3;:15;;13477:58;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13577:6;13548:10;:17;13559:5;13548:17;;;;;;;;;;;;;;;:26;13566:7;13548:26;;;;;;;;;;;;;;;;:35;;;;;;;;;;;;;;;;;;13617:7;13601:32;;13610:5;13601:32;;;13626:6;13601:32;;;;;;;;;;;;;;;;;;;;12591:1050;;;;;;;;;;;;:::o;11075:136::-;11175:19;;;;11151:4;11175:19;;;:10;:19;;;;;;;;:28;;;;;;;;;;;;;;;11075:136::o;7375:117::-;7421:71;7375:117;:::o;6907:70::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;9313:231::-;9391:6;;;;9377:10;:20;9369:94;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9493:6;;9479:30;;;9493:6;;;;9479:30;;;;;;;;;;;;;;;;;;;;;9520:6;:16;;;;;;;;;;;;;;;9313:231::o;21712:161::-;21787:6;21825:12;21818:5;21814:9;;21806:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;21863:1:0;;21712:161;-1:-1:-1;;21712:161:0:o;22077:165::-;22163:6;22195:1;22190:6;;:1;:6;;;;22198:12;22182:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;22229:5:0;;;22077:165::o;19344:610::-;19438:17;;;19430:89;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19538:17;;;19530:87;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19652:13;;;;;;;:8;:13;;;;;;;;;;19646:85;;;;;;;;;;;;;;19652:13;;;;;19667:6;;19646:85;;;;;;;:5;:85::i;:::-;19630:13;;;;;;;;:8;:13;;;;;;;;:101;;;;;;;;;;;19764:13;;;;;;;;;;19758:79;;;;;;;;;;;;;;19764:13;;;;;19779:6;;19758:79;;;;;;;;:5;:79::i;:::-;19742:13;;;;;;;;:8;:13;;;;;;;;;:95;;;;;;;;;;;19853:26;;;;;;;;;19742:13;;19853:26;;;;;;;;;;;;;;;19907:14;;;;;;;;:9;:14;;;;;;;19923;;;;;;;;19892:54;;19907:14;;;;19923;19939:6;19892:14;:54::i;996:181::-;1054:7;1086:5;;;1110:6;;;;1102:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2350:471;2408:7;2653:6;2649:47;;-1:-1:-1;2683:1:0;2676:8;;2649:47;2720:5;;;2724:1;2720;:5;:1;2744:5;;;;;:10;2736:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3297:132;3355:7;3382:39;3386:1;3389;3382:39;;;;;;;;;;;;;;;;;:3;:39::i;21881:188::-;21967:6;21997:5;;;22029:12;22021:6;;;;;;;;;22013:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;22060:1:0;21881:188;-1:-1:-1;;;;21881:188:0:o;19962:937::-;20067:6;20057:16;;:6;:16;;;;:30;;;;;20086:1;20077:6;:10;;;20057:30;20053:839;;;20108:20;;;;20104:381;;20168:22;;;20149:16;20168:22;;;:14;:22;;;;;;;;;20228:13;:60;;20287:1;20228:60;;;20244:19;;;;;;;:11;:19;;;;;;;;20264:13;;;20244:34;;;;;;;;;:40;;;;;;20228:60;20209:79;;20307:16;20326:67;20332:9;20343:6;20326:67;;;;;;;;;;;;;;;;;:5;:67::i;:::-;20307:86;;20412:57;20429:6;20437:9;20448;20459;20412:16;:57::i;:::-;20104:381;;;;20505:20;;;;20501:380;;20565:22;;;20546:16;20565:22;;;:14;:22;;;;;;;;;20625:13;:60;;20684:1;20625:60;;;20641:19;;;;;;;:11;:19;;;;;;;;20661:13;;;20641:34;;;;;;;;;:40;;;;;;20625:60;20606:79;;20704:16;20723:66;20729:9;20740:6;20723:66;;;;;;;;;;;;;;;;;:5;:66::i;:::-;20704:85;;20808:57;20825:6;20833:9;20844;20855;20808:16;:57::i;18961:375::-;19064:20;;;;19038:23;19064:20;;;:9;:20;;;;;;;;;;19121:8;:19;;;;;;19151:20;;;;:32;;;;;;;;;;;19201:54;;19064:20;;;;;19121:19;;;;;19151:32;;19064:20;;;19201:54;;19038:23;19201:54;19268:60;19283:15;19300:9;19311:16;19268:14;:60::i;:::-;18961:375;;;;:::o;22250:153::-;22360:9;22250:153;:::o;3925:278::-;4011:7;4046:12;4039:5;4031:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4070:9;4086:1;4082;:5;;;;;;;3925:278;-1:-1:-1;;;;;3925:278:0:o;20907:628::-;21025:18;21046:75;21053:12;21046:75;;;;;;;;;;;;;;;;;:6;:75::i;:::-;21025:96;;21151:1;21136:12;:16;;;:85;;;;-1:-1:-1;21156:22:0;;;;;;;:11;:22;;;;;;;;:65;21179:16;;;21156:40;;;;;;;;;:50;:65;;;:50;;:65;21136:85;21132:329;;;21236:22;;;;;;;:11;:22;;;;;;;;21259:16;;;21236:40;;;;;;;;;:57;;;;;;;;;;;;21132:329;;;21361:33;;;;;;;;;;;;;;;;;;;;;;;;;21322:22;;;-1:-1:-1;21322:22:0;;;:11;:22;;;;;:36;;;;;;;;;;:72;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21407:25;;;:14;:25;;;;;;;:44;;21322:72;21435:16;;21407:44;;;;;;;;;;;;;21132:329;21476:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20907:628;;;;;:::o;21543:161::-;21618:6;21656:12;21649:5;21645:9;;21637:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;;;;;;;;;:::o

ipfs://b3dd7024e65b7151bac9e9e8b5b74238ab80725494824aa56ce1d259197aef93