Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

 contract Alitas *    - 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() library SafeMath    - function add(uint256 a, uint256 b)    - function add(uint256 a, uint256 b, st ...    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function mul(uint256 a, uint256 b, st ...    - 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 ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at BscScan.com on 2021-05-18
*/

/**
 *Submitted for verification at Etherscan.io on 2021-05-13
*/

/**
 *Submitted for verification at Etherscan.io on 2021-05-14
*/

// SPDX-License-Identifier: MIT

pragma solidity ^0.6.12;

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

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

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

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

    /// @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;

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

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

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

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

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

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

    /**
     * @notice Construct a new Alitas token
     */
    constructor() public {
        balances[msg.sender] = uint96(totalSupply);
        emit Transfer(address(0), msg.sender, totalSupply);
    }

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

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

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

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

    /**
     * @notice 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, "Alt::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), "Alt::permit: invalid signature");
        require(signatory == owner, "Alt::permit: unauthorized");
        require(now <= deadline, "Alt::permit: signature expired");

        allowances[owner][spender] = amount;

        emit Approval(owner, spender, amount);
    }

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

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

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


/**
 * @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 addition of two unsigned integers, reverting with custom message on overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, errorMessage);

        return c;
    }

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

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on underflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot underflow.
     */
    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 multiplication of two unsigned integers, reverting on overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b, string memory errorMessage) 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, errorMessage);

        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) {
        // Solidity only automatically asserts when dividing by 0
        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;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

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

60806040526b033b2e3c9fd0803ce800000060005534801561002057600080fd5b50600080543380835260026020908152604080852080546001600160601b0319166001600160601b03909516949094179093558354835190815292519193927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a3611ca3806100996000396000f3fe608060405234801561001057600080fd5b50600436106101375760003560e01c806370a08231116100b8578063b4b5ea571161007c578063b4b5ea57146103e8578063c3cda5201461040e578063d505accf14610455578063dd62ed3e146104a6578063e7a324dc146104d4578063f1127ed8146104dc57610137565b806370a0823114610320578063782d6fe1146103465780637ecebe001461038e57806395d89b41146103b4578063a9059cbb146103bc57610137565b806330adf81f116100ff57806330adf81f14610251578063313ce56714610259578063587cde1e146102775780635c19a95c146102b95780636fcfff45146102e157610137565b806306fdde031461013c578063095ea7b3146101b957806318160ddd146101f957806320606b701461021357806323b872dd1461021b575b600080fd5b610144610536565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561017e578181015183820152602001610166565b50505050905090810190601f1680156101ab5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101e5600480360360408110156101cf57600080fd5b506001600160a01b038135169060200135610558565b604080519115158252519081900360200190f35b610201610616565b60408051918252519081900360200190f35b61020161061c565b6101e56004803603606081101561023157600080fd5b506001600160a01b03813581169160208101359091169060400135610640565b610201610785565b6102616107a9565b6040805160ff9092168252519081900360200190f35b61029d6004803603602081101561028d57600080fd5b50356001600160a01b03166107ae565b604080516001600160a01b039092168252519081900360200190f35b6102df600480360360208110156102cf57600080fd5b50356001600160a01b03166107c9565b005b610307600480360360208110156102f757600080fd5b50356001600160a01b03166107d6565b6040805163ffffffff9092168252519081900360200190f35b6102016004803603602081101561033657600080fd5b50356001600160a01b03166107ee565b6103726004803603604081101561035c57600080fd5b506001600160a01b038135169060200135610812565b604080516001600160601b039092168252519081900360200190f35b610201600480360360208110156103a457600080fd5b50356001600160a01b0316610a3f565b610144610a51565b6101e5600480360360408110156103d257600080fd5b506001600160a01b038135169060200135610a70565b610372600480360360208110156103fe57600080fd5b50356001600160a01b0316610aac565b6102df600480360360c081101561042457600080fd5b506001600160a01b038135169060208101359060408101359060ff6060820135169060808101359060a00135610b1d565b6102df600480360360e081101561046b57600080fd5b506001600160a01b03813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135610dc0565b610201600480360360408110156104bc57600080fd5b506001600160a01b03813581169160200135166111b2565b6102016111e6565b61050e600480360360408110156104f257600080fd5b5080356001600160a01b0316906020013563ffffffff1661120a565b6040805163ffffffff90931683526001600160601b0390911660208301528051918290030190f35b60405180604001604052806006815260200165416c6974617360d01b81525081565b60008060001983141561056e5750600019610593565b61059083604051806060016040528060248152602001611b166024913961123f565b90505b3360008181526001602090815260408083206001600160a01b0389168085529083529281902080546001600160601b0319166001600160601b038716908117909155815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a360019150505b92915050565b60005481565b7f8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a86681565b6001600160a01b03831660009081526001602090815260408083203380855290835281842054825160608101909352602480845291936001600160601b039091169285926106989288929190611b169083013961123f565b9050866001600160a01b0316836001600160a01b0316141580156106c557506001600160601b0382811614155b1561076d5760006106ef83836040518060600160405280603c8152602001611bde603c91396112d9565b6001600160a01b038981166000818152600160209081526040808320948a168084529482529182902080546001600160601b0319166001600160601b03871690811790915582519081529151949550929391927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92592918290030190a3505b610778878783611346565b5060019695505050505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b6003602052600090815260409020546001600160a01b031681565b6107d3338261152b565b50565b60056020526000908152604090205463ffffffff1681565b6001600160a01b03166000908152600260205260409020546001600160601b031690565b60004382106108525760405162461bcd60e51b8152600401808060200182810382526026815260200180611a706026913960400191505060405180910390fd5b6001600160a01b03831660009081526005602052604090205463ffffffff1680610880576000915050610610565b6001600160a01b038416600090815260046020908152604080832063ffffffff6000198601811685529252909120541683106108fc576001600160a01b03841660009081526004602090815260408083206000199490940163ffffffff1683529290522054600160201b90046001600160601b03169050610610565b6001600160a01b038416600090815260046020908152604080832083805290915290205463ffffffff16831015610937576000915050610610565b600060001982015b8163ffffffff168163ffffffff1611156109fa57600282820363ffffffff160481036109696119c5565b506001600160a01b038716600090815260046020908152604080832063ffffffff858116855290835292819020815180830190925254928316808252600160201b9093046001600160601b031691810191909152908714156109d5576020015194506106109350505050565b805163ffffffff168711156109ec578193506109f3565b6001820392505b505061093f565b506001600160a01b038516600090815260046020908152604080832063ffffffff909416835292905220546001600160601b03600160201b9091041691505092915050565b60066020526000908152604090205481565b6040518060400160405280600381526020016210531560ea1b81525081565b600080610a95836040518060600160405280602581526020016119dd6025913961123f565b9050610aa2338583611346565b5060019392505050565b6001600160a01b03811660009081526005602052604081205463ffffffff1680610ad7576000610b16565b6001600160a01b0383166000908152600460209081526040808320600019850163ffffffff168452909152902054600160201b90046001600160601b03165b9392505050565b604080518082019091526006815265416c6974617360d01b60209091015260007f8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a8667fd0bbaceed6f81ea7c64fd3600db607b02cfa47f3591bd9c72a4e0ac2fe2c7273610b876115b5565b60408051602080820195909552808201939093526060830191909152306080808401919091528151808403909101815260a0830182528051908401207fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf60c08401526001600160a01b038b1660e084015261010083018a90526101208084018a9052825180850390910181526101408401835280519085012061190160f01b6101608501526101628401829052610182808501829052835180860390910181526101a285018085528151918701919091206000918290526101c2860180865281905260ff8b166101e287015261020286018a90526102228601899052935192965090949293909260019261024280840193601f198301929081900390910190855afa158015610cba573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116610d0c5760405162461bcd60e51b8152600401808060200182810382526025815260200180611c1a6025913960400191505060405180910390fd5b6001600160a01b03811660009081526006602052604090208054600181019091558914610d6a5760405162461bcd60e51b8152600401808060200182810382526021815260200180611acf6021913960400191505060405180910390fd5b87421115610da95760405162461bcd60e51b8152600401808060200182810382526025815260200180611bb96025913960400191505060405180910390fd5b610db3818b61152b565b505050505b505050505050565b6000600019861415610dd55750600019610dfa565b610df786604051806060016040528060238152602001611b616023913961123f565b90505b604080518082019091526006815265416c6974617360d01b60209091015260007f8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a8667fd0bbaceed6f81ea7c64fd3600db607b02cfa47f3591bd9c72a4e0ac2fe2c7273610e646115b5565b60408051602080820195909552808201939093526060830191909152306080808401919091528151808403909101815260a0830182528051908401206001600160a01b038d8116600081815260068752848120805460018082019092557f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960c089015260e0880193909352928f1661010087015261012086018e90526101408601919091526101608086018d9052845180870390910181526101808601855280519087012061190160f01b6101a08701526101a286018490526101c2808701829052855180880390910181526101e2870180875281519189019190912090839052610202870180875281905260ff8d1661022288015261024287018c905261026287018b90529451939750959394909391926102828083019392601f198301929081900390910190855afa158015610fc0573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116611028576040805162461bcd60e51b815260206004820152601e60248201527f416c743a3a7065726d69743a20696e76616c6964207369676e61747572650000604482015290519081900360640190fd5b8b6001600160a01b0316816001600160a01b03161461108e576040805162461bcd60e51b815260206004820152601960248201527f416c743a3a7065726d69743a20756e617574686f72697a656400000000000000604482015290519081900360640190fd5b884211156110e3576040805162461bcd60e51b815260206004820152601e60248201527f416c743a3a7065726d69743a207369676e617475726520657870697265640000604482015290519081900360640190fd5b84600160008e6001600160a01b03166001600160a01b0316815260200190815260200160002060008d6001600160a01b03166001600160a01b0316815260200190815260200160002060006101000a8154816001600160601b0302191690836001600160601b031602179055508a6001600160a01b03168c6001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258760405180826001600160601b0316815260200191505060405180910390a3505050505050505050505050565b6001600160a01b0391821660009081526001602090815260408083209390941682529190915220546001600160601b031690565b7fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf81565b600460209081526000928352604080842090915290825290205463ffffffff811690600160201b90046001600160601b031682565b600081600160601b84106112d15760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561129657818101518382015260200161127e565b50505050905090810190601f1680156112c35780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b509192915050565b6000836001600160601b0316836001600160601b03161115829061133e5760405162461bcd60e51b815260206004820181815283516024840152835190928392604490910191908501908083836000831561129657818101518382015260200161127e565b505050900390565b6001600160a01b03831661138b5760405162461bcd60e51b815260040180806020018281038252603b815260200180611a35603b913960400191505060405180910390fd5b6001600160a01b0382166113d05760405162461bcd60e51b8152600401808060200182810382526039815260200180611a966039913960400191505060405180910390fd5b6001600160a01b03831660009081526002602090815260409182902054825160608101909352603580845261141b936001600160601b039092169285929190611b84908301396112d9565b6001600160a01b03848116600090815260026020908152604080832080546001600160601b0319166001600160601b0396871617905592861682529082902054825160608101909352602f8084526114839491909116928592909190611c3f908301396115b9565b6001600160a01b0383811660008181526002602090815260409182902080546001600160601b0319166001600160601b039687161790558151948616855290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a36001600160a01b0380841660009081526003602052604080822054858416835291205461152692918216911683611623565b505050565b6001600160a01b03808316600081815260036020818152604080842080546002845282862054949093528787166001600160a01b031984168117909155905191909516946001600160601b039092169391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a46115af828483611623565b50505050565b4690565b6000838301826001600160601b03808716908316101561161a5760405162461bcd60e51b815260206004820181815283516024840152835190928392604490910191908501908083836000831561129657818101518382015260200161127e565b50949350505050565b816001600160a01b0316836001600160a01b03161415801561164e57506000816001600160601b0316115b15611526576001600160a01b03831615611706576001600160a01b03831660009081526005602052604081205463ffffffff16908161168e5760006116cd565b6001600160a01b0385166000908152600460209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b905060006116f48285604051806060016040528060278152602001611b3a602791396112d9565b9050611702868484846117b1565b5050505b6001600160a01b03821615611526576001600160a01b03821660009081526005602052604081205463ffffffff169081611741576000611780565b6001600160a01b0384166000908152600460209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b905060006117a78285604051806060016040528060268152602001611af0602691396115b9565b9050610db8858484845b60006117d543604051806060016040528060338152602001611a0260339139611970565b905060008463ffffffff1611801561181e57506001600160a01b038516600090815260046020908152604080832063ffffffff6000198901811685529252909120548282169116145b1561187d576001600160a01b0385166000908152600460209081526040808320600019880163ffffffff168452909152902080546fffffffffffffffffffffffff000000001916600160201b6001600160601b0385160217905561191c565b60408051808201825263ffffffff80841682526001600160601b0380861660208085019182526001600160a01b038b166000818152600483528781208c871682528352878120965187549451909516600160201b026fffffffffffffffffffffffff000000001995871663ffffffff19958616179590951694909417909555938252600590935292909220805460018801909316929091169190911790555b604080516001600160601b0380861682528416602082015281516001600160a01b038816927fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724928290030190a25050505050565b600081600160201b84106112d15760405162461bcd60e51b815260206004820181815283516024840152835190928392604490910191908501908083836000831561129657818101518382015260200161127e565b60408051808201909152600080825260208201529056fe416c743a3a7472616e736665723a20616d6f756e7420657863656564732039362062697473416c743a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d62657220657863656564732033322062697473416c743a3a5f7472616e73666572546f6b656e733a2063616e6e6f74207472616e736665722066726f6d20746865207a65726f2061646472657373416c743a3a6765745072696f72566f7465733a206e6f74207965742064657465726d696e6564416c743a3a5f7472616e73666572546f6b656e733a2063616e6e6f74207472616e7366657220746f20746865207a65726f2061646472657373416c743a3a64656c656761746542795369673a20696e76616c6964206e6f6e6365416c743a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f7773416c743a3a617070726f76653a20616d6f756e7420657863656564732039362062697473416c743a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f7773416c743a3a7065726d69743a20616d6f756e7420657863656564732039362062697473416c743a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e6365416c743a3a64656c656761746542795369673a207369676e61747572652065787069726564416c743a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e6365416c743a3a64656c656761746542795369673a20696e76616c6964207369676e6174757265416c743a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f7773a26469706673582212201bbf587983f6c2c199be90c724e5da394320939cacf1a7681e7c64e47155bec164736f6c634300060c0033

0x608060405234801561001057600080fd5b50600436106101375760003560e01c806370a08231116100b8578063b4b5ea571161007c578063b4b5ea57146103e8578063c3cda5201461040e578063d505accf14610455578063dd62ed3e146104a6578063e7a324dc146104d4578063f1127ed8146104dc57610137565b806370a0823114610320578063782d6fe1146103465780637ecebe001461038e57806395d89b41146103b4578063a9059cbb146103bc57610137565b806330adf81f116100ff57806330adf81f14610251578063313ce56714610259578063587cde1e146102775780635c19a95c146102b95780636fcfff45146102e157610137565b806306fdde031461013c578063095ea7b3146101b957806318160ddd146101f957806320606b701461021357806323b872dd1461021b575b600080fd5b610144610536565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561017e578181015183820152602001610166565b50505050905090810190601f1680156101ab5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101e5600480360360408110156101cf57600080fd5b506001600160a01b038135169060200135610558565b604080519115158252519081900360200190f35b610201610616565b60408051918252519081900360200190f35b61020161061c565b6101e56004803603606081101561023157600080fd5b506001600160a01b03813581169160208101359091169060400135610640565b610201610785565b6102616107a9565b6040805160ff9092168252519081900360200190f35b61029d6004803603602081101561028d57600080fd5b50356001600160a01b03166107ae565b604080516001600160a01b039092168252519081900360200190f35b6102df600480360360208110156102cf57600080fd5b50356001600160a01b03166107c9565b005b610307600480360360208110156102f757600080fd5b50356001600160a01b03166107d6565b6040805163ffffffff9092168252519081900360200190f35b6102016004803603602081101561033657600080fd5b50356001600160a01b03166107ee565b6103726004803603604081101561035c57600080fd5b506001600160a01b038135169060200135610812565b604080516001600160601b039092168252519081900360200190f35b610201600480360360208110156103a457600080fd5b50356001600160a01b0316610a3f565b610144610a51565b6101e5600480360360408110156103d257600080fd5b506001600160a01b038135169060200135610a70565b610372600480360360208110156103fe57600080fd5b50356001600160a01b0316610aac565b6102df600480360360c081101561042457600080fd5b506001600160a01b038135169060208101359060408101359060ff6060820135169060808101359060a00135610b1d565b6102df600480360360e081101561046b57600080fd5b506001600160a01b03813581169160208101359091169060408101359060608101359060ff6080820135169060a08101359060c00135610dc0565b610201600480360360408110156104bc57600080fd5b506001600160a01b03813581169160200135166111b2565b6102016111e6565b61050e600480360360408110156104f257600080fd5b5080356001600160a01b0316906020013563ffffffff1661120a565b6040805163ffffffff90931683526001600160601b0390911660208301528051918290030190f35b60405180604001604052806006815260200165416c6974617360d01b81525081565b60008060001983141561056e5750600019610593565b61059083604051806060016040528060248152602001611b166024913961123f565b90505b3360008181526001602090815260408083206001600160a01b0389168085529083529281902080546001600160601b0319166001600160601b038716908117909155815190815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a360019150505b92915050565b60005481565b7f8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a86681565b6001600160a01b03831660009081526001602090815260408083203380855290835281842054825160608101909352602480845291936001600160601b039091169285926106989288929190611b169083013961123f565b9050866001600160a01b0316836001600160a01b0316141580156106c557506001600160601b0382811614155b1561076d5760006106ef83836040518060600160405280603c8152602001611bde603c91396112d9565b6001600160a01b038981166000818152600160209081526040808320948a168084529482529182902080546001600160601b0319166001600160601b03871690811790915582519081529151949550929391927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92592918290030190a3505b610778878783611346565b5060019695505050505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b601281565b6003602052600090815260409020546001600160a01b031681565b6107d3338261152b565b50565b60056020526000908152604090205463ffffffff1681565b6001600160a01b03166000908152600260205260409020546001600160601b031690565b60004382106108525760405162461bcd60e51b8152600401808060200182810382526026815260200180611a706026913960400191505060405180910390fd5b6001600160a01b03831660009081526005602052604090205463ffffffff1680610880576000915050610610565b6001600160a01b038416600090815260046020908152604080832063ffffffff6000198601811685529252909120541683106108fc576001600160a01b03841660009081526004602090815260408083206000199490940163ffffffff1683529290522054600160201b90046001600160601b03169050610610565b6001600160a01b038416600090815260046020908152604080832083805290915290205463ffffffff16831015610937576000915050610610565b600060001982015b8163ffffffff168163ffffffff1611156109fa57600282820363ffffffff160481036109696119c5565b506001600160a01b038716600090815260046020908152604080832063ffffffff858116855290835292819020815180830190925254928316808252600160201b9093046001600160601b031691810191909152908714156109d5576020015194506106109350505050565b805163ffffffff168711156109ec578193506109f3565b6001820392505b505061093f565b506001600160a01b038516600090815260046020908152604080832063ffffffff909416835292905220546001600160601b03600160201b9091041691505092915050565b60066020526000908152604090205481565b6040518060400160405280600381526020016210531560ea1b81525081565b600080610a95836040518060600160405280602581526020016119dd6025913961123f565b9050610aa2338583611346565b5060019392505050565b6001600160a01b03811660009081526005602052604081205463ffffffff1680610ad7576000610b16565b6001600160a01b0383166000908152600460209081526040808320600019850163ffffffff168452909152902054600160201b90046001600160601b03165b9392505050565b604080518082019091526006815265416c6974617360d01b60209091015260007f8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a8667fd0bbaceed6f81ea7c64fd3600db607b02cfa47f3591bd9c72a4e0ac2fe2c7273610b876115b5565b60408051602080820195909552808201939093526060830191909152306080808401919091528151808403909101815260a0830182528051908401207fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf60c08401526001600160a01b038b1660e084015261010083018a90526101208084018a9052825180850390910181526101408401835280519085012061190160f01b6101608501526101628401829052610182808501829052835180860390910181526101a285018085528151918701919091206000918290526101c2860180865281905260ff8b166101e287015261020286018a90526102228601899052935192965090949293909260019261024280840193601f198301929081900390910190855afa158015610cba573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116610d0c5760405162461bcd60e51b8152600401808060200182810382526025815260200180611c1a6025913960400191505060405180910390fd5b6001600160a01b03811660009081526006602052604090208054600181019091558914610d6a5760405162461bcd60e51b8152600401808060200182810382526021815260200180611acf6021913960400191505060405180910390fd5b87421115610da95760405162461bcd60e51b8152600401808060200182810382526025815260200180611bb96025913960400191505060405180910390fd5b610db3818b61152b565b505050505b505050505050565b6000600019861415610dd55750600019610dfa565b610df786604051806060016040528060238152602001611b616023913961123f565b90505b604080518082019091526006815265416c6974617360d01b60209091015260007f8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a8667fd0bbaceed6f81ea7c64fd3600db607b02cfa47f3591bd9c72a4e0ac2fe2c7273610e646115b5565b60408051602080820195909552808201939093526060830191909152306080808401919091528151808403909101815260a0830182528051908401206001600160a01b038d8116600081815260068752848120805460018082019092557f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c960c089015260e0880193909352928f1661010087015261012086018e90526101408601919091526101608086018d9052845180870390910181526101808601855280519087012061190160f01b6101a08701526101a286018490526101c2808701829052855180880390910181526101e2870180875281519189019190912090839052610202870180875281905260ff8d1661022288015261024287018c905261026287018b90529451939750959394909391926102828083019392601f198301929081900390910190855afa158015610fc0573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116611028576040805162461bcd60e51b815260206004820152601e60248201527f416c743a3a7065726d69743a20696e76616c6964207369676e61747572650000604482015290519081900360640190fd5b8b6001600160a01b0316816001600160a01b03161461108e576040805162461bcd60e51b815260206004820152601960248201527f416c743a3a7065726d69743a20756e617574686f72697a656400000000000000604482015290519081900360640190fd5b884211156110e3576040805162461bcd60e51b815260206004820152601e60248201527f416c743a3a7065726d69743a207369676e617475726520657870697265640000604482015290519081900360640190fd5b84600160008e6001600160a01b03166001600160a01b0316815260200190815260200160002060008d6001600160a01b03166001600160a01b0316815260200190815260200160002060006101000a8154816001600160601b0302191690836001600160601b031602179055508a6001600160a01b03168c6001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258760405180826001600160601b0316815260200191505060405180910390a3505050505050505050505050565b6001600160a01b0391821660009081526001602090815260408083209390941682529190915220546001600160601b031690565b7fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf81565b600460209081526000928352604080842090915290825290205463ffffffff811690600160201b90046001600160601b031682565b600081600160601b84106112d15760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561129657818101518382015260200161127e565b50505050905090810190601f1680156112c35780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b509192915050565b6000836001600160601b0316836001600160601b03161115829061133e5760405162461bcd60e51b815260206004820181815283516024840152835190928392604490910191908501908083836000831561129657818101518382015260200161127e565b505050900390565b6001600160a01b03831661138b5760405162461bcd60e51b815260040180806020018281038252603b815260200180611a35603b913960400191505060405180910390fd5b6001600160a01b0382166113d05760405162461bcd60e51b8152600401808060200182810382526039815260200180611a966039913960400191505060405180910390fd5b6001600160a01b03831660009081526002602090815260409182902054825160608101909352603580845261141b936001600160601b039092169285929190611b84908301396112d9565b6001600160a01b03848116600090815260026020908152604080832080546001600160601b0319166001600160601b0396871617905592861682529082902054825160608101909352602f8084526114839491909116928592909190611c3f908301396115b9565b6001600160a01b0383811660008181526002602090815260409182902080546001600160601b0319166001600160601b039687161790558151948616855290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a36001600160a01b0380841660009081526003602052604080822054858416835291205461152692918216911683611623565b505050565b6001600160a01b03808316600081815260036020818152604080842080546002845282862054949093528787166001600160a01b031984168117909155905191909516946001600160601b039092169391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a46115af828483611623565b50505050565b4690565b6000838301826001600160601b03808716908316101561161a5760405162461bcd60e51b815260206004820181815283516024840152835190928392604490910191908501908083836000831561129657818101518382015260200161127e565b50949350505050565b816001600160a01b0316836001600160a01b03161415801561164e57506000816001600160601b0316115b15611526576001600160a01b03831615611706576001600160a01b03831660009081526005602052604081205463ffffffff16908161168e5760006116cd565b6001600160a01b0385166000908152600460209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b905060006116f48285604051806060016040528060278152602001611b3a602791396112d9565b9050611702868484846117b1565b5050505b6001600160a01b03821615611526576001600160a01b03821660009081526005602052604081205463ffffffff169081611741576000611780565b6001600160a01b0384166000908152600460209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b905060006117a78285604051806060016040528060268152602001611af0602691396115b9565b9050610db8858484845b60006117d543604051806060016040528060338152602001611a0260339139611970565b905060008463ffffffff1611801561181e57506001600160a01b038516600090815260046020908152604080832063ffffffff6000198901811685529252909120548282169116145b1561187d576001600160a01b0385166000908152600460209081526040808320600019880163ffffffff168452909152902080546fffffffffffffffffffffffff000000001916600160201b6001600160601b0385160217905561191c565b60408051808201825263ffffffff80841682526001600160601b0380861660208085019182526001600160a01b038b166000818152600483528781208c871682528352878120965187549451909516600160201b026fffffffffffffffffffffffff000000001995871663ffffffff19958616179590951694909417909555938252600590935292909220805460018801909316929091169190911790555b604080516001600160601b0380861682528416602082015281516001600160a01b038816927fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724928290030190a25050505050565b600081600160201b84106112d15760405162461bcd60e51b815260206004820181815283516024840152835190928392604490910191908501908083836000831561129657818101518382015260200161127e565b60408051808201909152600080825260208201529056fe416c743a3a7472616e736665723a20616d6f756e7420657863656564732039362062697473416c743a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d62657220657863656564732033322062697473416c743a3a5f7472616e73666572546f6b656e733a2063616e6e6f74207472616e736665722066726f6d20746865207a65726f2061646472657373416c743a3a6765745072696f72566f7465733a206e6f74207965742064657465726d696e6564416c743a3a5f7472616e73666572546f6b656e733a2063616e6e6f74207472616e7366657220746f20746865207a65726f2061646472657373416c743a3a64656c656761746542795369673a20696e76616c6964206e6f6e6365416c743a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f7773416c743a3a617070726f76653a20616d6f756e7420657863656564732039362062697473416c743a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f7773416c743a3a7065726d69743a20616d6f756e7420657863656564732039362062697473416c743a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e6365416c743a3a64656c656761746542795369673a207369676e61747572652065787069726564416c743a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e6365416c743a3a64656c656761746542795369673a20696e76616c6964207369676e6174757265416c743a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f7773a26469706673582212201bbf587983f6c2c199be90c724e5da394320939cacf1a7681e7c64e47155bec164736f6c634300060c0033

205:14511:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;278:38;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3972:418;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;3972:418:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;576:42;;;:::i;:::-;;;;;;;;;;;;;;;;1497:122;;;:::i;7052:670::-;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;7052:670:0;;;;;;;;;;;;;;;;;:::i;1920:137::-;;;:::i;477:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;947:45;;;;;;;;;;;;;;;;-1:-1:-1;947:45:0;-1:-1:-1;;;;;947:45:0;;:::i;:::-;;;;-1:-1:-1;;;;;947:45:0;;;;;;;;;;;;;;7870:102;;;;;;;;;;;;;;;;-1:-1:-1;7870:102:0;-1:-1:-1;;;;;7870:102:0;;:::i;:::-;;1375:49;;;;;;;;;;;;;;;;-1:-1:-1;1375:49:0;-1:-1:-1;;;;;1375:49:0;;:::i;:::-;;;;;;;;;;;;;;;;;;;6133:108;;;;;;;;;;;;;;;;-1:-1:-1;6133:108:0;-1:-1:-1;;;;;6133:108:0;;:::i;10046:1217::-;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;10046:1217:0;;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;;10046:1217:0;;;;;;;;;;;;;;2138:39;;;;;;;;;;;;;;;;-1:-1:-1;2138:39:0;-1:-1:-1;;;;;2138:39:0;;:::i;377:37::-;;;:::i;6505:237::-;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;6505:237:0;;;;;;;;:::i;9393:222::-;;;;;;;;;;;;;;;;-1:-1:-1;9393:222:0;-1:-1:-1;;;;;9393:222:0;;:::i;8406:786::-;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;8406:786:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;4880:1050::-;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;4880:1050:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;3358:136::-;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;3358:136:0;;;;;;;;;;:::i;1713:117::-;;;:::i;1236:70::-;;;;;;;;;;;;;;;;-1:-1:-1;1236:70:0;;-1:-1:-1;;;;;1236:70:0;;;;;;;;:::i;:::-;;;;;;;;;;-1:-1:-1;;;;;1236:70:0;;;;;;;;;;;;;;;;278:38;;;;;;;;;;;;;;-1:-1:-1;;;278:38:0;;;;:::o;3972:418::-;4040:4;4057:13;-1:-1:-1;;4085:9:0;:21;4081:172;;;-1:-1:-1;;;4081:172:0;;;4184:57;4191:9;4184:57;;;;;;;;;;;;;;;;;:6;:57::i;:::-;4175:66;;4081:172;4276:10;4265:22;;;;:10;:22;;;;;;;;-1:-1:-1;;;;;4265:31:0;;;;;;;;;;;;:40;;-1:-1:-1;;;;;;4265:40:0;-1:-1:-1;;;;;4265:40:0;;;;;;;;4323:37;;;;;;;4265:31;;4276:10;4323:37;;;;;;;;;;;4378:4;4371:11;;;3972:418;;;;;:::o;576:42::-;;;;:::o;1497:122::-;1539:80;1497:122;:::o;7052:670::-;-1:-1:-1;;;;;7216:15:0;;7134:4;7216:15;;;:10;:15;;;;;;;;7169:10;7216:24;;;;;;;;;;7267:57;;;;;;;;;;;;7169:10;;-1:-1:-1;;;;;7216:24:0;;;;7134:4;;7267:57;;7274:9;;7267:57;;;;;;;:6;:57::i;:::-;7251:73;;7352:3;-1:-1:-1;;;;;7341:14:0;:7;-1:-1:-1;;;;;7341:14:0;;;:48;;;;-1:-1:-1;;;;;;7359:30:0;;;;;7341:48;7337:310;;;7406:19;7428:95;7434:16;7452:6;7428:95;;;;;;;;;;;;;;;;;:5;:95::i;:::-;-1:-1:-1;;;;;7538:15:0;;;;;;;:10;:15;;;;;;;;:24;;;;;;;;;;;;;:39;;-1:-1:-1;;;;;;7538:39:0;-1:-1:-1;;;;;7538:39:0;;;;;;;;7599:36;;;;;;;7538:39;;-1:-1:-1;7538:24:0;;:15;;7599:36;;;;;;;;;7337:310;;7659:33;7675:3;7680;7685:6;7659:15;:33::i;:::-;-1:-1:-1;7710:4:0;;7052:670;-1:-1:-1;;;;;;7052:670:0:o;1920:137::-;1962:95;1920:137;:::o;477:35::-;510:2;477:35;:::o;947:45::-;;;;;;;;;;;;-1:-1:-1;;;;;947:45:0;;:::o;7870:102::-;7932:32;7942:10;7954:9;7932;:32::i;:::-;7870:102;:::o;1375:49::-;;;;;;;;;;;;;;;:::o;6133:108::-;-1:-1:-1;;;;;6216:17:0;6192:4;6216:17;;;:8;:17;;;;;;-1:-1:-1;;;;;6216:17:0;;6133:108::o;10046:1217::-;10125:6;10166:12;10152:11;:26;10144:77;;;;-1:-1:-1;;;10144:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;10256:23:0;;10234:19;10256:23;;;:14;:23;;;;;;;;10294:17;10290:58;;10335:1;10328:8;;;;;10290:58;-1:-1:-1;;;;;10408:20:0;;;;;;:11;:20;;;;;;;;:38;-1:-1:-1;;10429:16:0;;10408:38;;;;;;;;;:48;;:63;-1:-1:-1;10404:147:0;;-1:-1:-1;;;;;10495:20:0;;;;;;:11;:20;;;;;;;;-1:-1:-1;;10516:16:0;;;;10495:38;;;;;;;;:44;-1:-1:-1;;;10495:44:0;;-1:-1:-1;;;;;10495:44:0;;-1:-1:-1;10488:51:0;;10404:147;-1:-1:-1;;;;;10612:20:0;;;;;;:11;:20;;;;;;;;:23;;;;;;;;:33;:23;:33;:47;-1:-1:-1;10608:88:0;;;10683:1;10676:8;;;;;10608:88;10708:12;-1:-1:-1;;10750:16:0;;10777:428;10792:5;10784:13;;:5;:13;;;10777:428;;;10856:1;10839:13;;;10838:19;;;10830:27;;10899:20;;:::i;:::-;-1:-1:-1;;;;;;10922:20:0;;;;;;:11;:20;;;;;;;;:28;;;;;;;;;;;;;10899:51;;;;;;;;;;;;;;;-1:-1:-1;;;10899:51:0;;;-1:-1:-1;;;;;10899:51:0;;;;;;;;;10969:27;;10965:229;;;11024:8;;;;-1:-1:-1;11017:15:0;;-1:-1:-1;;;;11017:15:0;10965:229;11058:12;;:26;;;-1:-1:-1;11054:140:0;;;11113:6;11105:14;;11054:140;;;11177:1;11168:6;:10;11160:18;;11054:140;10777:428;;;;;-1:-1:-1;;;;;;11222:20:0;;;;;;:11;:20;;;;;;;;:27;;;;;;;;;;:33;-1:-1:-1;;;;;;;;11222:33:0;;;;;-1:-1:-1;;10046:1217:0;;;;:::o;2138:39::-;;;;;;;;;;;;;:::o;377:37::-;;;;;;;;;;;;;;-1:-1:-1;;;377:37:0;;;;:::o;6505:237::-;6570:4;6587:13;6603:58;6610:9;6603:58;;;;;;;;;;;;;;;;;:6;:58::i;:::-;6587:74;;6672:40;6688:10;6700:3;6705:6;6672:15;:40::i;:::-;-1:-1:-1;6730:4:0;;6505:237;-1:-1:-1;;;6505:237:0:o;9393:222::-;-1:-1:-1;;;;;9499:23:0;;9458:6;9499:23;;;:14;:23;;;;;;;;9540:16;:67;;9606:1;9540:67;;;-1:-1:-1;;;;;9559:20:0;;;;;;:11;:20;;;;;;;;-1:-1:-1;;9580:16:0;;9559:38;;;;;;;;;:44;-1:-1:-1;;;9559:44:0;;-1:-1:-1;;;;;9559:44:0;9540:67;9533:74;9393:222;-1:-1:-1;;;9393:222:0:o;8406:786::-;8602:4;;;;;;;;;;;;-1:-1:-1;;;8602:4:0;;;;;8522:23;1539:80;8586:22;8610:12;:10;:12::i;:::-;8558:80;;;;;;;;;;;;;;;;;;;;;;;;;8632:4;8558:80;;;;;;;;;;;;;;;;;;;;;;;8548:91;;;;;;1759:71;8681:57;;;;-1:-1:-1;;;;;8681:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8671:68;;;;;;-1:-1:-1;;;8777:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8767:68;;;;;;;;;-1:-1:-1;8866:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8548:91;;-1:-1:-1;8671:68:0;;8767;;-1:-1:-1;;8866:26:0;;;;;;;-1:-1:-1;;8866:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;8866:26:0;;-1:-1:-1;;8866:26:0;;;-1:-1:-1;;;;;;;8911:23:0;;8903:73;;;;-1:-1:-1;;;8903:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9004:17:0;;;;;;:6;:17;;;;;:19;;;;;;;;8995:28;;8987:74;;;;-1:-1:-1;;;8987:74:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9087:6;9080:3;:13;;9072:63;;;;-1:-1:-1;;;9072:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9153:31;9163:9;9174;9153;:31::i;:::-;9146:38;;;;8406:786;;;;;;;:::o;4880:1050::-;5010:13;-1:-1:-1;;5038:9:0;:21;5034:171;;;-1:-1:-1;;;5034:171:0;;;5137:56;5144:9;5137:56;;;;;;;;;;;;;;;;;:6;:56::i;:::-;5128:65;;5034:171;5297:4;;;;;;;;;;;;-1:-1:-1;;;5297:4:0;;;;;5217:23;1539:80;5281:22;5305:12;:10;:12::i;:::-;5253:80;;;;;;;;;;;;;;;;;;;;;;;;;5327:4;5253:80;;;;;;;;;;;;;;;;;;;;;;;5243:91;;;;;;-1:-1:-1;;;;;5431:13:0;;;-1:-1:-1;5431:13:0;;;:6;:13;;;;;:15;;;;;;;;;1962:95;5376:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5366:92;;;;;;-1:-1:-1;;;5496:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5486:68;;;;;;;;;5585:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5243:91;;-1:-1:-1;5366:92:0;5486:68;;-1:-1:-1;;5431:15:0;;5585:26;;;;;5253:80;-1:-1:-1;;5585:26:0;;;;;;;;;;;5431:15;5585:26;;;;;;;;;;;;;;;-1:-1:-1;;5585:26:0;;-1:-1:-1;;5585:26:0;;;-1:-1:-1;;;;;;;5630:23:0;;5622:66;;;;;-1:-1:-1;;;5622:66:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;5720:5;-1:-1:-1;;;;;5707:18:0;:9;-1:-1:-1;;;;;5707:18:0;;5699:56;;;;;-1:-1:-1;;;5699:56:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;5781:8;5774:3;:15;;5766:58;;;;;-1:-1:-1;;;5766:58:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;5866:6;5837:10;:17;5848:5;-1:-1:-1;;;;;5837:17:0;-1:-1:-1;;;;;5837:17:0;;;;;;;;;;;;:26;5855:7;-1:-1:-1;;;;;5837:26:0;-1:-1:-1;;;;;5837:26:0;;;;;;;;;;;;;:35;;;;;-1:-1:-1;;;;;5837:35:0;;;;;-1:-1:-1;;;;;5837:35:0;;;;;;5906:7;-1:-1:-1;;;;;5890:32:0;5899:5;-1:-1:-1;;;;;5890:32:0;;5915:6;5890:32;;;;-1:-1:-1;;;;;5890:32:0;;;;;;;;;;;;;;;4880:1050;;;;;;;;;;;;:::o;3358:136::-;-1:-1:-1;;;;;3458:19:0;;;3434:4;3458:19;;;:10;:19;;;;;;;;:28;;;;;;;;;;;;-1:-1:-1;;;;;3458:28:0;;3358:136::o;1713:117::-;1759:71;1713:117;:::o;1236:70::-;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;1236:70:0;;-1:-1:-1;;;;;1236:70:0;;:::o;14022:161::-;14097:6;14135:12;-1:-1:-1;;;14124:9:0;;14116:32;;;;-1:-1:-1;;;14116:32:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;14173:1:0;;14022:161;-1:-1:-1;;14022:161:0:o;14387:165::-;14473:6;14505:1;-1:-1:-1;;;;;14500:6:0;:1;-1:-1:-1;;;;;14500:6:0;;;14508:12;14492:29;;;;;-1:-1:-1;;;14492:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;14539:5:0;;;14387:165::o;11654:610::-;-1:-1:-1;;;;;11748:17:0;;11740:89;;;;-1:-1:-1;;;11740:89:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;11848:17:0;;11840:87;;;;-1:-1:-1;;;11840:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;11962:13:0;;;;;;:8;:13;;;;;;;;;;11956:85;;;;;;;;;;;;;;-1:-1:-1;;;;;11962:13:0;;;;11977:6;;11956:85;;;;;;;:5;:85::i;:::-;-1:-1:-1;;;;;11940:13:0;;;;;;;:8;:13;;;;;;;;:101;;-1:-1:-1;;;;;;11940:101:0;-1:-1:-1;;;;;11940:101:0;;;;;;12074:13;;;;;;;;;;12068:79;;;;;;;;;;;;;;12074:13;;;;;12089:6;;12068:79;;;;;;;;:5;:79::i;:::-;-1:-1:-1;;;;;12052:13:0;;;;;;;:8;:13;;;;;;;;;:95;;-1:-1:-1;;;;;;12052:95:0;-1:-1:-1;;;;;12052:95:0;;;;;;12163:26;;;;;;;;;12052:13;;12163:26;;;;;;;;;;;;;;;-1:-1:-1;;;;;12217:14:0;;;;;;;:9;:14;;;;;;;12233;;;;;;;;12202:54;;12217:14;;;;12233;12249:6;12202:14;:54::i;:::-;11654:610;;;:::o;11271:375::-;-1:-1:-1;;;;;11374:20:0;;;11348:23;11374:20;;;:9;:20;;;;;;;;;;11431:8;:19;;;;;;11461:20;;;;:32;;;-1:-1:-1;;;;;;11461:32:0;;;;;;;11511:54;;11374:20;;;;;-1:-1:-1;;;;;11431:19:0;;;;11461:32;;11374:20;;;11511:54;;11348:23;11511:54;11578:60;11593:15;11610:9;11621:16;11578:14;:60::i;:::-;11271:375;;;;:::o;14560:153::-;14670:9;14560:153;:::o;14191:188::-;14277:6;14307:5;;;14339:12;-1:-1:-1;;;;;14331:6:0;;;;;;;;14323:29;;;;-1:-1:-1;;;14323:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;14370:1:0;14191:188;-1:-1:-1;;;;14191:188:0:o;12272:937::-;12377:6;-1:-1:-1;;;;;12367:16:0;:6;-1:-1:-1;;;;;12367:16:0;;;:30;;;;;12396:1;12387:6;-1:-1:-1;;;;;12387:10:0;;12367:30;12363:839;;;-1:-1:-1;;;;;12418:20:0;;;12414:381;;-1:-1:-1;;;;;12478:22:0;;12459:16;12478:22;;;:14;:22;;;;;;;;;12538:13;:60;;12597:1;12538:60;;;-1:-1:-1;;;;;12554:19:0;;;;;;:11;:19;;;;;;;;-1:-1:-1;;12574:13:0;;12554:34;;;;;;;;;:40;-1:-1:-1;;;12554:40:0;;-1:-1:-1;;;;;12554:40:0;12538:60;12519:79;;12617:16;12636:67;12642:9;12653:6;12636:67;;;;;;;;;;;;;;;;;:5;:67::i;:::-;12617:86;;12722:57;12739:6;12747:9;12758;12769;12722:16;:57::i;:::-;12414:381;;;;-1:-1:-1;;;;;12815:20:0;;;12811:380;;-1:-1:-1;;;;;12875:22:0;;12856:16;12875:22;;;:14;:22;;;;;;;;;12935:13;:60;;12994:1;12935:60;;;-1:-1:-1;;;;;12951:19:0;;;;;;:11;:19;;;;;;;;-1:-1:-1;;12971:13:0;;12951:34;;;;;;;;;:40;-1:-1:-1;;;12951:40:0;;-1:-1:-1;;;;;12951:40:0;12935:60;12916:79;;13014:16;13033:66;13039:9;13050:6;13033:66;;;;;;;;;;;;;;;;;:5;:66::i;:::-;13014:85;;13118:57;13135:6;13143:9;13154;13165;13217:628;13335:18;13356:75;13363:12;13356:75;;;;;;;;;;;;;;;;;:6;:75::i;:::-;13335:96;;13461:1;13446:12;:16;;;:85;;;;-1:-1:-1;;;;;;13466:22:0;;;;;;:11;:22;;;;;;;;:65;-1:-1:-1;;13489:16:0;;13466:40;;;;;;;;;:50;:65;;;:50;;:65;13446:85;13442:329;;;-1:-1:-1;;;;;13546:22:0;;;;;;:11;:22;;;;;;;;-1:-1:-1;;13569:16:0;;13546:40;;;;;;;;;:57;;-1:-1:-1;;13546:57:0;-1:-1:-1;;;;;;;;13546:57:0;;;;;;13442:329;;;13671:33;;;;;;;;;;;;;;-1:-1:-1;;;;;13671:33:0;;;;;;;;;;-1:-1:-1;;;;;13632:22:0;;-1:-1:-1;13632:22:0;;;:11;:22;;;;;:36;;;;;;;;;;:72;;;;;;;;;-1:-1:-1;;;13632:72:0;-1:-1:-1;;13632:72:0;;;-1:-1:-1;;13632:72:0;;;;;;;;;;;;;;;13717:25;;;:14;:25;;;;;;;:44;;13632:72;13745:16;;13717:44;;;;;;;;;;;;;13442:329;13786:51;;;-1:-1:-1;;;;;13786:51:0;;;;;;;;;;;;;-1:-1:-1;;;;;13786:51:0;;;;;;;;;;;13217:628;;;;;:::o;13853:161::-;13928:6;13966:12;-1:-1:-1;;;13955:9:0;;13947:32;;;;-1:-1:-1;;;13947:32:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;;;;;;;;;:::o

ipfs://1bbf587983f6c2c199be90c724e5da394320939cacf1a7681e7c64e47155bec1