Contract

Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

pragma solidity >=0.5.16;
pragma experimental ABIEncoderV2;

import "./SafeMath.sol";


/// allowance -  Allowance amounts on behalf of others
/// balances - Official record of token balances for each account
contract Dov {
    /// @notice EIP-20 token name for this token
    string public constant name = "DoveSwap";

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

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

    /// @notice Total number of tokens in circulation
    uint public totalSupply = 100_000_000e18; // 100 million Dov

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

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

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

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

    mapping (address => mapping (address => uint96)) internal allowances;

    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 the minter address is changed
    event MinterChanged(address minter, address newMinter);

    /// @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 Dov token
     * @param account The initial account to grant all the tokens
     * @param minter_ The account with minting ability
     * @param mintingAllowedAfter_ The timestamp after which minting may occur
     */
    constructor(address account, address minter_, uint mintingAllowedAfter_) public {
        require(mintingAllowedAfter_ >= block.timestamp, "Dov::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_;
    }

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

    /**
     * @notice 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, "Dov::mint: only the minter can mint");
        require(block.timestamp >= mintingAllowedAfter, "Dov::mint: minting not allowed yet");
        require(dst != address(0), "Dov::mint: cannot transfer to the zero address");

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

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

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

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

    /**
     * @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, "Dov::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, "Dov::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), "Dov::permit: invalid signature");
        require(signatory == owner, "Dov::permit: unauthorized");
        require(block.timestamp <= deadline, "Dov::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, "Dov::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, "Dov::approve: amount exceeds 96 bits");

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

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

pragma solidity >=0.5.16;

// From https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/math/Math.sol
// Subject to the MIT license.

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

pragma solidity >=0.5.16;

import "./SafeMath.sol";

contract TreasuryVester {
    using SafeMath for uint;

    address public uni;
    address public recipient;

    uint public vestingAmount;
    uint public vestingBegin;
    uint public vestingCliff;
    uint public vestingEnd;

    uint public lastUpdate;

    constructor(
        address uni_,
        address recipient_,
        uint vestingAmount_,
        uint vestingBegin_,
        uint vestingCliff_,
        uint vestingEnd_
    ) public {
        require(vestingBegin_ >= block.timestamp, 'TreasuryVester::constructor: vesting begin too early');
        require(vestingCliff_ >= vestingBegin_, 'TreasuryVester::constructor: cliff is too early');
        require(vestingEnd_ > vestingCliff_, 'TreasuryVester::constructor: end is too early');

        uni = uni_;
        recipient = recipient_;

        vestingAmount = vestingAmount_;
        vestingBegin = vestingBegin_;
        vestingCliff = vestingCliff_;
        vestingEnd = vestingEnd_;

        lastUpdate = vestingBegin;
    }

    function setRecipient(address recipient_) public {
        require(msg.sender == recipient, 'TreasuryVester::setRecipient: unauthorized');
        recipient = recipient_;
    }

    function claim() public {
        require(block.timestamp >= vestingCliff, 'TreasuryVester::claim: not time yet');
        uint amount;
        if (block.timestamp >= vestingEnd) {
            amount = IUni(uni).balanceOf(address(this));
        } else {
            amount = vestingAmount.mul(block.timestamp - lastUpdate).div(vestingEnd - vestingBegin);
            lastUpdate = block.timestamp;
        }
        IUni(uni).transfer(recipient, amount);
    }
}

interface IUni {
    function balanceOf(address account) external view returns (uint);
    function transfer(address dst, uint rawAmount) external returns (bool);
}

{
  "optimizer": {
    "enabled": true,
    "runs": 200
  },
  "metadata": {
    "bytecodeHash": "none"
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "abi"
      ]
    }
  }
}

• 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"}]

60806040526a52b7d2dcc80cd2e40000006000553480156200002057600080fd5b50604051620025833803806200258383398101604081905262000043916200016d565b428110156200006f5760405162461bcd60e51b81526004016200006690620001c7565b60405180910390fd5b600080546001600160a01b0385168083526004602052604080842080546001600160601b0319166001600160601b0390941693909317909255825491519092917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91620000dd919062000224565b60405180910390a3600180546001600160a01b0319166001600160a01b0384811691909117918290556040517f3b0007eb941cf645526cbb3a4fdaecda9d28ce4843167d9263b536a1f1edc0f6926200013c92600092911690620001ad565b60405180910390a1600255506200022d9050565b80516001600160a01b03811681146200016857600080fd5b919050565b60008060006060848603121562000182578283fd5b6200018d8462000150565b92506200019d6020850162000150565b9150604084015190509250925092565b6001600160a01b0392831681529116602082015260400190565b60208082526039908201527f446f763a3a636f6e7374727563746f723a206d696e74696e672063616e206f6e60408201527f6c7920626567696e206166746572206465706c6f796d656e7400000000000000606082015260800190565b90815260200190565b612346806200023d6000396000f3fe608060405234801561001057600080fd5b50600436106101a95760003560e01c80636fcfff45116100f9578063b4b5ea5711610097578063dd62ed3e11610071578063dd62ed3e1461035b578063e7a324dc1461036e578063f1127ed814610376578063fca3b5aa14610397576101a9565b8063b4b5ea5714610322578063c3cda52014610335578063d505accf14610348576101a9565b8063782d6fe1116100d3578063782d6fe1146102d45780637ecebe00146102f457806395d89b4114610307578063a9059cbb1461030f576101a9565b80636fcfff45146102a657806370a08231146102b957806376c71ca1146102cc576101a9565b806330adf81f1161016657806340c10f191161014057806340c10f1914610256578063587cde1e1461026b5780635c11d62f1461027e5780635c19a95c14610293576101a9565b806330adf81f1461023157806330b36cef14610239578063313ce56714610241576101a9565b806306fdde03146101ae57806307546172146101cc578063095ea7b3146101e157806318160ddd1461020157806320606b701461021657806323b872dd1461021e575b600080fd5b6101b66103aa565b6040516101c39190611c8b565b60405180910390f35b6101d46103ce565b6040516101c39190611baf565b6101f46101ef366004611ad6565b6103dd565b6040516101c39190611bdd565b61020961049c565b6040516101c39190611be8565b6102096104a2565b6101f461022c366004611a32565b6104c6565b61020961060d565b610209610631565b610249610637565b6040516101c391906120e5565b610269610264366004611ad6565b61063c565b005b6101d46102793660046119e6565b610857565b610286610872565b6040516101c391906120b5565b6102696102a13660046119e6565b61087a565b6102866102b43660046119e6565b610887565b6102096102c73660046119e6565b61089f565b6102496108c7565b6102e76102e2366004611ad6565b6108cc565b6040516101c391906120f3565b6102096103023660046119e6565b610ad5565b6101b6610ae7565b6101f461031d366004611ad6565b610b06565b6102e76103303660046119e6565b610b42565b610269610343366004611aff565b610bb3565b610269610356366004611a6d565b610db9565b610209610369366004611a00565b6110bb565b6102096110ef565b610389610384366004611b56565b611113565b6040516101c39291906120c6565b6102696103a53660046119e6565b611148565b604051806040016040528060088152602001670446f7665537761760c41b81525081565b6001546001600160a01b031681565b6000806000198314156103f35750600019610418565b610415836040518060600160405280602481526020016122ef602491396111db565b90505b3360008181526003602090815260408083206001600160a01b03891680855292529182902080546001600160601b0319166001600160601b03861617905590519091907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104889085906120f3565b60405180910390a360019150505b92915050565b60005481565b7f8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a86681565b6001600160a01b03831660009081526003602090815260408083203380855290835281842054825160608101909352602480845291936001600160601b0390911692859261051e92889291906122ef908301396111db565b9050866001600160a01b0316836001600160a01b03161415801561054b57506001600160601b0382811614155b156105f557600061057583836040518060600160405280603c815260200161217b603c913961120a565b6001600160a01b038981166000818152600360209081526040808320948a16808452949091529081902080546001600160601b0319166001600160601b0386161790555192935090917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906105eb9085906120f3565b60405180910390a3505b610600878783611249565b5060019695505050505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b60025481565b601281565b6001546001600160a01b0316331461066f5760405162461bcd60e51b815260040161066690611e9d565b60405180910390fd5b6002544210156106915760405162461bcd60e51b815260040161066690612073565b6001600160a01b0382166106b75760405162461bcd60e51b815260040161066690611cde565b6106c5426301e133806113ef565b60028190555060006106ef82604051806060016040528060218152602001612273602191396111db565b905061070b610704600054600260ff16611449565b60646114a2565b816001600160601b031611156107335760405162461bcd60e51b815260040161066690611e2f565b61076961074b600054836001600160601b03166113ef565b604051806060016040528060268152602001612155602691396111db565b6001600160601b0390811660009081556001600160a01b0385168152600460209081526040918290205482516060810190935260248084526107bb949190911692859290919061220b908301396114e4565b6001600160a01b03841660008181526004602052604080822080546001600160601b0319166001600160601b03959095169490941790935591519091907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906108259085906120f3565b60405180910390a36001600160a01b03808416600090815260056020526040812054610852921683611520565b505050565b6005602052600090815260409020546001600160a01b031681565b6301e1338081565b61088433826116b2565b50565b60076020526000908152604090205463ffffffff1681565b6001600160a01b0381166000908152600460205260409020546001600160601b03165b919050565b600281565b60004382106108ed5760405162461bcd60e51b815260040161066690611de9565b6001600160a01b03831660009081526007602052604090205463ffffffff168061091b576000915050610496565b6001600160a01b038416600090815260066020908152604080832063ffffffff600019860181168552925290912054168310610997576001600160a01b03841660009081526006602090815260408083206000199490940163ffffffff1683529290522054600160201b90046001600160601b03169050610496565b6001600160a01b038416600090815260066020908152604080832083805290915290205463ffffffff168310156109d2576000915050610496565b600060001982015b8163ffffffff168163ffffffff161115610a90576000600263ffffffff848403166001600160a01b038916600090815260066020908152604080832094909304860363ffffffff818116845294825291839020835180850190945254938416808452600160201b9094046001600160601b031690830152925090871415610a6b576020015194506104969350505050565b805163ffffffff16871115610a8257819350610a89565b6001820392505b50506109da565b506001600160a01b038516600090815260066020908152604080832063ffffffff909416835292905220546001600160601b03600160201b9091041691505092915050565b60086020526000908152604090205481565b604051806040016040528060038152602001622227ab60e91b81525081565b600080610b2b836040518060600160405280602581526020016121b7602591396111db565b9050610b38338583611249565b5060019392505050565b6001600160a01b03811660009081526007602052604081205463ffffffff1680610b6d576000610bac565b6001600160a01b0383166000908152600660209081526040808320600019850163ffffffff168452909152902054600160201b90046001600160601b03165b9392505050565b6040805180820190915260088152670446f7665537761760c41b60209091015260007f8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a8667f27a0e8eb8b2365b3f82ae2f96768f724b57e9632ec45ce9081d1de77634c0100610c1f61173c565b30604051602001610c339493929190611c49565b60405160208183030381529060405280519060200120905060007fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf888888604051602001610c849493929190611c25565b60405160208183030381529060405280519060200120905060008282604051602001610cb1929190611b94565b604051602081830303815290604052805190602001209050600060018288888860405160008152602001604052604051610cee9493929190611c6d565b6020604051602081039080840390855afa158015610d10573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116610d435760405162461bcd60e51b815260040161066690611fd1565b6001600160a01b03811660009081526008602052604090208054600181019091558914610d825760405162461bcd60e51b815260040161066690611da8565b87421115610da25760405162461bcd60e51b815260040161066690611d63565b610dac818b6116b2565b505050505b505050505050565b6000600019861415610dce5750600019610df3565b610df08660405180606001604052806023815260200161222f602391396111db565b90505b6040805180820190915260088152670446f7665537761760c41b60209091015260007f8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a8667f27a0e8eb8b2365b3f82ae2f96768f724b57e9632ec45ce9081d1de77634c0100610e5f61173c565b30604051602001610e739493929190611c49565b60408051601f1981840301815282825280516020918201206001600160a01b038d166000908152600883529283208054600181019091559094509192610ee5927f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9928e928e928e9290918e9101611bf1565b60405160208183030381529060405280519060200120905060008282604051602001610f12929190611b94565b604051602081830303815290604052805190602001209050600060018289898960405160008152602001604052604051610f4f9493929190611c6d565b6020604051602081039080840390855afa158015610f71573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116610fa45760405162461bcd60e51b815260040161066690611e66565b8b6001600160a01b0316816001600160a01b031614610fd55760405162461bcd60e51b815260040161066690611f3d565b88421115610ff55760405162461bcd60e51b815260040161066690611d2c565b84600360008e6001600160a01b03166001600160a01b0316815260200190815260200160002060008d6001600160a01b03166001600160a01b0316815260200190815260200160002060006101000a8154816001600160601b0302191690836001600160601b031602179055508a6001600160a01b03168c6001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925876040516110a591906120f3565b60405180910390a3505050505050505050505050565b6001600160a01b0391821660009081526003602090815260408083209390941682529190915220546001600160601b031690565b7fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf81565b600660209081526000928352604080842090915290825290205463ffffffff811690600160201b90046001600160601b031682565b6001546001600160a01b031633146111725760405162461bcd60e51b815260040161066690611ee0565b6001546040517f3b0007eb941cf645526cbb3a4fdaecda9d28ce4843167d9263b536a1f1edc0f6916111b1916001600160a01b03909116908490611bc3565b60405180910390a1600180546001600160a01b0319166001600160a01b0392909216919091179055565b600081600160601b84106112025760405162461bcd60e51b81526004016106669190611c8b565b509192915050565b6000836001600160601b0316836001600160601b0316111582906112415760405162461bcd60e51b81526004016106669190611c8b565b505050900390565b6001600160a01b03831661126f5760405162461bcd60e51b815260040161066690612016565b6001600160a01b0382166112955760405162461bcd60e51b815260040161066690611f74565b6001600160a01b0383166000908152600460209081526040918290205482516060810190935260358084526112e0936001600160601b0390921692859291906122ba9083013961120a565b6001600160a01b03848116600090815260046020908152604080832080546001600160601b0319166001600160601b0396871617905592861682529082902054825160608101909352602f80845261134894919091169285929091906121dc908301396114e4565b6001600160a01b038381166000818152600460205260409081902080546001600160601b0319166001600160601b0395909516949094179093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113b59085906120f3565b60405180910390a36001600160a01b0380841660009081526005602052604080822054858416835291205461085292918216911683611520565b600082820183811015610bac576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b60008261145857506000610496565b8282028284828161146557fe5b0414610bac5760405162461bcd60e51b81526004018080602001828103825260218152602001806122526021913960400191505060405180910390fd5b6000610bac83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611740565b6000838301826001600160601b0380871690831610156115175760405162461bcd60e51b81526004016106669190611c8b565b50949350505050565b816001600160a01b0316836001600160a01b03161415801561154b57506000816001600160601b0316115b15610852576001600160a01b03831615611603576001600160a01b03831660009081526007602052604081205463ffffffff16908161158b5760006115ca565b6001600160a01b0385166000908152600660209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b905060006115f182856040518060600160405280602781526020016123136027913961120a565b90506115ff868484846117e2565b5050505b6001600160a01b03821615610852576001600160a01b03821660009081526007602052604081205463ffffffff16908161163e57600061167d565b6001600160a01b0384166000908152600660209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b905060006116a48285604051806060016040528060268152602001612294602691396114e4565b9050610db1858484846117e2565b6001600160a01b03808316600081815260056020818152604080842080546004845282862054949093528787166001600160a01b031984168117909155905191909516946001600160601b039092169391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a4611736828483611520565b50505050565b4690565b600081836117cc5760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611791578181015183820152602001611779565b50505050905090810190601f1680156117be5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385816117d857fe5b0495945050505050565b60006118064360405180606001604052806033815260200161212260339139611997565b905060008463ffffffff1611801561184f57506001600160a01b038516600090815260066020908152604080832063ffffffff6000198901811685529252909120548282169116145b156118ae576001600160a01b0385166000908152600660209081526040808320600019880163ffffffff168452909152902080546fffffffffffffffffffffffff000000001916600160201b6001600160601b0385160217905561194d565b60408051808201825263ffffffff80841682526001600160601b0380861660208085019182526001600160a01b038b166000818152600683528781208c871682528352878120965187549451909516600160201b026fffffffffffffffffffffffff000000001995871663ffffffff19958616179590951694909417909555938252600790935292909220805460018801909316929091169190911790555b846001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248484604051611988929190612107565b60405180910390a25050505050565b600081600160201b84106112025760405162461bcd60e51b81526004016106669190611c8b565b80356001600160a01b03811681146108c257600080fd5b803560ff811681146108c257600080fd5b6000602082840312156119f7578081fd5b610bac826119be565b60008060408385031215611a12578081fd5b611a1b836119be565b9150611a29602084016119be565b90509250929050565b600080600060608486031215611a46578081fd5b611a4f846119be565b9250611a5d602085016119be565b9150604084013590509250925092565b600080600080600080600060e0888a031215611a87578283fd5b611a90886119be565b9650611a9e602089016119be565b95506040880135945060608801359350611aba608089016119d5565b925060a0880135915060c0880135905092959891949750929550565b60008060408385031215611ae8578182fd5b611af1836119be565b946020939093013593505050565b60008060008060008060c08789031215611b17578182fd5b611b20876119be565b95506020870135945060408701359350611b3c606088016119d5565b92506080870135915060a087013590509295509295509295565b60008060408385031215611b68578182fd5b611b71836119be565b9150602083013563ffffffff81168114611b89578182fd5b809150509250929050565b61190160f01b81526002810192909252602282015260420190565b6001600160a01b0391909116815260200190565b6001600160a01b0392831681529116602082015260400190565b901515815260200190565b90815260200190565b9586526001600160a01b0394851660208701529290931660408501526060840152608083019190915260a082015260c00190565b9384526001600160a01b039290921660208401526040830152606082015260800190565b938452602084019290925260408301526001600160a01b0316606082015260800190565b93845260ff9290921660208401526040830152606082015260800190565b6000602080835283518082850152825b81811015611cb757858101830151858201604001528201611c9b565b81811115611cc85783604083870101525b50601f01601f1916929092016040019392505050565b6020808252602e908201527f446f763a3a6d696e743a2063616e6e6f74207472616e7366657220746f20746860408201526d65207a65726f206164647265737360901b606082015260800190565b6020808252601e908201527f446f763a3a7065726d69743a207369676e617475726520657870697265640000604082015260600190565b60208082526025908201527f446f763a3a64656c656761746542795369673a207369676e61747572652065786040820152641c1a5c995960da1b606082015260800190565b60208082526021908201527f446f763a3a64656c656761746542795369673a20696e76616c6964206e6f6e636040820152606560f81b606082015260800190565b60208082526026908201527f446f763a3a6765745072696f72566f7465733a206e6f742079657420646574656040820152651c9b5a5b995960d21b606082015260800190565b6020808252601c908201527f446f763a3a6d696e743a206578636565646564206d696e742063617000000000604082015260600190565b6020808252601e908201527f446f763a3a7065726d69743a20696e76616c6964207369676e61747572650000604082015260600190565b60208082526023908201527f446f763a3a6d696e743a206f6e6c7920746865206d696e7465722063616e206d6040820152621a5b9d60ea1b606082015260800190565b6020808252603d908201527f446f763a3a7365744d696e7465723a206f6e6c7920746865206d696e7465722060408201527f63616e206368616e676520746865206d696e7465722061646472657373000000606082015260800190565b60208082526019908201527f446f763a3a7065726d69743a20756e617574686f72697a656400000000000000604082015260600190565b60208082526039908201527f446f763a3a5f7472616e73666572546f6b656e733a2063616e6e6f742074726160408201527f6e7366657220746f20746865207a65726f206164647265737300000000000000606082015260800190565b60208082526025908201527f446f763a3a64656c656761746542795369673a20696e76616c6964207369676e604082015264617475726560d81b606082015260800190565b6020808252603b908201527f446f763a3a5f7472616e73666572546f6b656e733a2063616e6e6f742074726160408201527f6e736665722066726f6d20746865207a65726f20616464726573730000000000606082015260800190565b60208082526022908201527f446f763a3a6d696e743a206d696e74696e67206e6f7420616c6c6f7765642079604082015261195d60f21b606082015260800190565b63ffffffff91909116815260200190565b63ffffffff9290921682526001600160601b0316602082015260400190565b60ff91909116815260200190565b6001600160601b0391909116815260200190565b6001600160601b039283168152911660208201526040019056fe446f763a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d62657220657863656564732033322062697473446f763a3a6d696e743a20746f74616c537570706c7920657863656564732039362062697473446f763a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e6365446f763a3a7472616e736665723a20616d6f756e7420657863656564732039362062697473446f763a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f7773446f763a3a6d696e743a207472616e7366657220616d6f756e74206f766572666c6f7773446f763a3a7065726d69743a20616d6f756e7420657863656564732039362062697473536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77446f763a3a6d696e743a20616d6f756e7420657863656564732039362062697473446f763a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f7773446f763a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e6365446f763a3a617070726f76653a20616d6f756e7420657863656564732039362062697473446f763a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f7773a164736f6c6343000706000a000000000000000000000000a5964a9cf2f8addf72b3e9dd417b4e950cd34e99000000000000000000000000a5964a9cf2f8addf72b3e9dd417b4e950cd34e990000000000000000000000000000000000000000000000000000000069e30910

0x608060405234801561001057600080fd5b50600436106101a95760003560e01c80636fcfff45116100f9578063b4b5ea5711610097578063dd62ed3e11610071578063dd62ed3e1461035b578063e7a324dc1461036e578063f1127ed814610376578063fca3b5aa14610397576101a9565b8063b4b5ea5714610322578063c3cda52014610335578063d505accf14610348576101a9565b8063782d6fe1116100d3578063782d6fe1146102d45780637ecebe00146102f457806395d89b4114610307578063a9059cbb1461030f576101a9565b80636fcfff45146102a657806370a08231146102b957806376c71ca1146102cc576101a9565b806330adf81f1161016657806340c10f191161014057806340c10f1914610256578063587cde1e1461026b5780635c11d62f1461027e5780635c19a95c14610293576101a9565b806330adf81f1461023157806330b36cef14610239578063313ce56714610241576101a9565b806306fdde03146101ae57806307546172146101cc578063095ea7b3146101e157806318160ddd1461020157806320606b701461021657806323b872dd1461021e575b600080fd5b6101b66103aa565b6040516101c39190611c8b565b60405180910390f35b6101d46103ce565b6040516101c39190611baf565b6101f46101ef366004611ad6565b6103dd565b6040516101c39190611bdd565b61020961049c565b6040516101c39190611be8565b6102096104a2565b6101f461022c366004611a32565b6104c6565b61020961060d565b610209610631565b610249610637565b6040516101c391906120e5565b610269610264366004611ad6565b61063c565b005b6101d46102793660046119e6565b610857565b610286610872565b6040516101c391906120b5565b6102696102a13660046119e6565b61087a565b6102866102b43660046119e6565b610887565b6102096102c73660046119e6565b61089f565b6102496108c7565b6102e76102e2366004611ad6565b6108cc565b6040516101c391906120f3565b6102096103023660046119e6565b610ad5565b6101b6610ae7565b6101f461031d366004611ad6565b610b06565b6102e76103303660046119e6565b610b42565b610269610343366004611aff565b610bb3565b610269610356366004611a6d565b610db9565b610209610369366004611a00565b6110bb565b6102096110ef565b610389610384366004611b56565b611113565b6040516101c39291906120c6565b6102696103a53660046119e6565b611148565b604051806040016040528060088152602001670446f7665537761760c41b81525081565b6001546001600160a01b031681565b6000806000198314156103f35750600019610418565b610415836040518060600160405280602481526020016122ef602491396111db565b90505b3360008181526003602090815260408083206001600160a01b03891680855292529182902080546001600160601b0319166001600160601b03861617905590519091907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104889085906120f3565b60405180910390a360019150505b92915050565b60005481565b7f8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a86681565b6001600160a01b03831660009081526003602090815260408083203380855290835281842054825160608101909352602480845291936001600160601b0390911692859261051e92889291906122ef908301396111db565b9050866001600160a01b0316836001600160a01b03161415801561054b57506001600160601b0382811614155b156105f557600061057583836040518060600160405280603c815260200161217b603c913961120a565b6001600160a01b038981166000818152600360209081526040808320948a16808452949091529081902080546001600160601b0319166001600160601b0386161790555192935090917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906105eb9085906120f3565b60405180910390a3505b610600878783611249565b5060019695505050505050565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b60025481565b601281565b6001546001600160a01b0316331461066f5760405162461bcd60e51b815260040161066690611e9d565b60405180910390fd5b6002544210156106915760405162461bcd60e51b815260040161066690612073565b6001600160a01b0382166106b75760405162461bcd60e51b815260040161066690611cde565b6106c5426301e133806113ef565b60028190555060006106ef82604051806060016040528060218152602001612273602191396111db565b905061070b610704600054600260ff16611449565b60646114a2565b816001600160601b031611156107335760405162461bcd60e51b815260040161066690611e2f565b61076961074b600054836001600160601b03166113ef565b604051806060016040528060268152602001612155602691396111db565b6001600160601b0390811660009081556001600160a01b0385168152600460209081526040918290205482516060810190935260248084526107bb949190911692859290919061220b908301396114e4565b6001600160a01b03841660008181526004602052604080822080546001600160601b0319166001600160601b03959095169490941790935591519091907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906108259085906120f3565b60405180910390a36001600160a01b03808416600090815260056020526040812054610852921683611520565b505050565b6005602052600090815260409020546001600160a01b031681565b6301e1338081565b61088433826116b2565b50565b60076020526000908152604090205463ffffffff1681565b6001600160a01b0381166000908152600460205260409020546001600160601b03165b919050565b600281565b60004382106108ed5760405162461bcd60e51b815260040161066690611de9565b6001600160a01b03831660009081526007602052604090205463ffffffff168061091b576000915050610496565b6001600160a01b038416600090815260066020908152604080832063ffffffff600019860181168552925290912054168310610997576001600160a01b03841660009081526006602090815260408083206000199490940163ffffffff1683529290522054600160201b90046001600160601b03169050610496565b6001600160a01b038416600090815260066020908152604080832083805290915290205463ffffffff168310156109d2576000915050610496565b600060001982015b8163ffffffff168163ffffffff161115610a90576000600263ffffffff848403166001600160a01b038916600090815260066020908152604080832094909304860363ffffffff818116845294825291839020835180850190945254938416808452600160201b9094046001600160601b031690830152925090871415610a6b576020015194506104969350505050565b805163ffffffff16871115610a8257819350610a89565b6001820392505b50506109da565b506001600160a01b038516600090815260066020908152604080832063ffffffff909416835292905220546001600160601b03600160201b9091041691505092915050565b60086020526000908152604090205481565b604051806040016040528060038152602001622227ab60e91b81525081565b600080610b2b836040518060600160405280602581526020016121b7602591396111db565b9050610b38338583611249565b5060019392505050565b6001600160a01b03811660009081526007602052604081205463ffffffff1680610b6d576000610bac565b6001600160a01b0383166000908152600660209081526040808320600019850163ffffffff168452909152902054600160201b90046001600160601b03165b9392505050565b6040805180820190915260088152670446f7665537761760c41b60209091015260007f8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a8667f27a0e8eb8b2365b3f82ae2f96768f724b57e9632ec45ce9081d1de77634c0100610c1f61173c565b30604051602001610c339493929190611c49565b60405160208183030381529060405280519060200120905060007fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf888888604051602001610c849493929190611c25565b60405160208183030381529060405280519060200120905060008282604051602001610cb1929190611b94565b604051602081830303815290604052805190602001209050600060018288888860405160008152602001604052604051610cee9493929190611c6d565b6020604051602081039080840390855afa158015610d10573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116610d435760405162461bcd60e51b815260040161066690611fd1565b6001600160a01b03811660009081526008602052604090208054600181019091558914610d825760405162461bcd60e51b815260040161066690611da8565b87421115610da25760405162461bcd60e51b815260040161066690611d63565b610dac818b6116b2565b505050505b505050505050565b6000600019861415610dce5750600019610df3565b610df08660405180606001604052806023815260200161222f602391396111db565b90505b6040805180820190915260088152670446f7665537761760c41b60209091015260007f8cad95687ba82c2ce50e74f7b754645e5117c3a5bec8151c0726d5857980a8667f27a0e8eb8b2365b3f82ae2f96768f724b57e9632ec45ce9081d1de77634c0100610e5f61173c565b30604051602001610e739493929190611c49565b60408051601f1981840301815282825280516020918201206001600160a01b038d166000908152600883529283208054600181019091559094509192610ee5927f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9928e928e928e9290918e9101611bf1565b60405160208183030381529060405280519060200120905060008282604051602001610f12929190611b94565b604051602081830303815290604052805190602001209050600060018289898960405160008152602001604052604051610f4f9493929190611c6d565b6020604051602081039080840390855afa158015610f71573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116610fa45760405162461bcd60e51b815260040161066690611e66565b8b6001600160a01b0316816001600160a01b031614610fd55760405162461bcd60e51b815260040161066690611f3d565b88421115610ff55760405162461bcd60e51b815260040161066690611d2c565b84600360008e6001600160a01b03166001600160a01b0316815260200190815260200160002060008d6001600160a01b03166001600160a01b0316815260200190815260200160002060006101000a8154816001600160601b0302191690836001600160601b031602179055508a6001600160a01b03168c6001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925876040516110a591906120f3565b60405180910390a3505050505050505050505050565b6001600160a01b0391821660009081526003602090815260408083209390941682529190915220546001600160601b031690565b7fe48329057bfd03d55e49b547132e39cffd9c1820ad7b9d4c5307691425d15adf81565b600660209081526000928352604080842090915290825290205463ffffffff811690600160201b90046001600160601b031682565b6001546001600160a01b031633146111725760405162461bcd60e51b815260040161066690611ee0565b6001546040517f3b0007eb941cf645526cbb3a4fdaecda9d28ce4843167d9263b536a1f1edc0f6916111b1916001600160a01b03909116908490611bc3565b60405180910390a1600180546001600160a01b0319166001600160a01b0392909216919091179055565b600081600160601b84106112025760405162461bcd60e51b81526004016106669190611c8b565b509192915050565b6000836001600160601b0316836001600160601b0316111582906112415760405162461bcd60e51b81526004016106669190611c8b565b505050900390565b6001600160a01b03831661126f5760405162461bcd60e51b815260040161066690612016565b6001600160a01b0382166112955760405162461bcd60e51b815260040161066690611f74565b6001600160a01b0383166000908152600460209081526040918290205482516060810190935260358084526112e0936001600160601b0390921692859291906122ba9083013961120a565b6001600160a01b03848116600090815260046020908152604080832080546001600160601b0319166001600160601b0396871617905592861682529082902054825160608101909352602f80845261134894919091169285929091906121dc908301396114e4565b6001600160a01b038381166000818152600460205260409081902080546001600160601b0319166001600160601b0395909516949094179093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113b59085906120f3565b60405180910390a36001600160a01b0380841660009081526005602052604080822054858416835291205461085292918216911683611520565b600082820183811015610bac576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b60008261145857506000610496565b8282028284828161146557fe5b0414610bac5760405162461bcd60e51b81526004018080602001828103825260218152602001806122526021913960400191505060405180910390fd5b6000610bac83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611740565b6000838301826001600160601b0380871690831610156115175760405162461bcd60e51b81526004016106669190611c8b565b50949350505050565b816001600160a01b0316836001600160a01b03161415801561154b57506000816001600160601b0316115b15610852576001600160a01b03831615611603576001600160a01b03831660009081526007602052604081205463ffffffff16908161158b5760006115ca565b6001600160a01b0385166000908152600660209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b905060006115f182856040518060600160405280602781526020016123136027913961120a565b90506115ff868484846117e2565b5050505b6001600160a01b03821615610852576001600160a01b03821660009081526007602052604081205463ffffffff16908161163e57600061167d565b6001600160a01b0384166000908152600660209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b905060006116a48285604051806060016040528060268152602001612294602691396114e4565b9050610db1858484846117e2565b6001600160a01b03808316600081815260056020818152604080842080546004845282862054949093528787166001600160a01b031984168117909155905191909516946001600160601b039092169391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a4611736828483611520565b50505050565b4690565b600081836117cc5760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611791578181015183820152602001611779565b50505050905090810190601f1680156117be5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385816117d857fe5b0495945050505050565b60006118064360405180606001604052806033815260200161212260339139611997565b905060008463ffffffff1611801561184f57506001600160a01b038516600090815260066020908152604080832063ffffffff6000198901811685529252909120548282169116145b156118ae576001600160a01b0385166000908152600660209081526040808320600019880163ffffffff168452909152902080546fffffffffffffffffffffffff000000001916600160201b6001600160601b0385160217905561194d565b60408051808201825263ffffffff80841682526001600160601b0380861660208085019182526001600160a01b038b166000818152600683528781208c871682528352878120965187549451909516600160201b026fffffffffffffffffffffffff000000001995871663ffffffff19958616179590951694909417909555938252600790935292909220805460018801909316929091169190911790555b846001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248484604051611988929190612107565b60405180910390a25050505050565b600081600160201b84106112025760405162461bcd60e51b81526004016106669190611c8b565b80356001600160a01b03811681146108c257600080fd5b803560ff811681146108c257600080fd5b6000602082840312156119f7578081fd5b610bac826119be565b60008060408385031215611a12578081fd5b611a1b836119be565b9150611a29602084016119be565b90509250929050565b600080600060608486031215611a46578081fd5b611a4f846119be565b9250611a5d602085016119be565b9150604084013590509250925092565b600080600080600080600060e0888a031215611a87578283fd5b611a90886119be565b9650611a9e602089016119be565b95506040880135945060608801359350611aba608089016119d5565b925060a0880135915060c0880135905092959891949750929550565b60008060408385031215611ae8578182fd5b611af1836119be565b946020939093013593505050565b60008060008060008060c08789031215611b17578182fd5b611b20876119be565b95506020870135945060408701359350611b3c606088016119d5565b92506080870135915060a087013590509295509295509295565b60008060408385031215611b68578182fd5b611b71836119be565b9150602083013563ffffffff81168114611b89578182fd5b809150509250929050565b61190160f01b81526002810192909252602282015260420190565b6001600160a01b0391909116815260200190565b6001600160a01b0392831681529116602082015260400190565b901515815260200190565b90815260200190565b9586526001600160a01b0394851660208701529290931660408501526060840152608083019190915260a082015260c00190565b9384526001600160a01b039290921660208401526040830152606082015260800190565b938452602084019290925260408301526001600160a01b0316606082015260800190565b93845260ff9290921660208401526040830152606082015260800190565b6000602080835283518082850152825b81811015611cb757858101830151858201604001528201611c9b565b81811115611cc85783604083870101525b50601f01601f1916929092016040019392505050565b6020808252602e908201527f446f763a3a6d696e743a2063616e6e6f74207472616e7366657220746f20746860408201526d65207a65726f206164647265737360901b606082015260800190565b6020808252601e908201527f446f763a3a7065726d69743a207369676e617475726520657870697265640000604082015260600190565b60208082526025908201527f446f763a3a64656c656761746542795369673a207369676e61747572652065786040820152641c1a5c995960da1b606082015260800190565b60208082526021908201527f446f763a3a64656c656761746542795369673a20696e76616c6964206e6f6e636040820152606560f81b606082015260800190565b60208082526026908201527f446f763a3a6765745072696f72566f7465733a206e6f742079657420646574656040820152651c9b5a5b995960d21b606082015260800190565b6020808252601c908201527f446f763a3a6d696e743a206578636565646564206d696e742063617000000000604082015260600190565b6020808252601e908201527f446f763a3a7065726d69743a20696e76616c6964207369676e61747572650000604082015260600190565b60208082526023908201527f446f763a3a6d696e743a206f6e6c7920746865206d696e7465722063616e206d6040820152621a5b9d60ea1b606082015260800190565b6020808252603d908201527f446f763a3a7365744d696e7465723a206f6e6c7920746865206d696e7465722060408201527f63616e206368616e676520746865206d696e7465722061646472657373000000606082015260800190565b60208082526019908201527f446f763a3a7065726d69743a20756e617574686f72697a656400000000000000604082015260600190565b60208082526039908201527f446f763a3a5f7472616e73666572546f6b656e733a2063616e6e6f742074726160408201527f6e7366657220746f20746865207a65726f206164647265737300000000000000606082015260800190565b60208082526025908201527f446f763a3a64656c656761746542795369673a20696e76616c6964207369676e604082015264617475726560d81b606082015260800190565b6020808252603b908201527f446f763a3a5f7472616e73666572546f6b656e733a2063616e6e6f742074726160408201527f6e736665722066726f6d20746865207a65726f20616464726573730000000000606082015260800190565b60208082526022908201527f446f763a3a6d696e743a206d696e74696e67206e6f7420616c6c6f7765642079604082015261195d60f21b606082015260800190565b63ffffffff91909116815260200190565b63ffffffff9290921682526001600160601b0316602082015260400190565b60ff91909116815260200190565b6001600160601b0391909116815260200190565b6001600160601b039283168152911660208201526040019056fe446f763a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d62657220657863656564732033322062697473446f763a3a6d696e743a20746f74616c537570706c7920657863656564732039362062697473446f763a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e6365446f763a3a7472616e736665723a20616d6f756e7420657863656564732039362062697473446f763a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f7773446f763a3a6d696e743a207472616e7366657220616d6f756e74206f766572666c6f7773446f763a3a7065726d69743a20616d6f756e7420657863656564732039362062697473536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77446f763a3a6d696e743a20616d6f756e7420657863656564732039362062697473446f763a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f7773446f763a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e6365446f763a3a617070726f76653a20616d6f756e7420657863656564732039362062697473446f763a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f7773a164736f6c6343000706000a

000000000000000000000000a5964a9cf2f8addf72b3e9dd417b4e950cd34e99000000000000000000000000a5964a9cf2f8addf72b3e9dd417b4e950cd34e990000000000000000000000000000000000000000000000000000000069e30910

-----Decoded View---------------
Arg [0] : account (address): 0xa5964a9CF2f8ADDF72b3e9Dd417b4E950Cd34e99
Arg [1] : minter_ (address): 0xa5964a9CF2f8ADDF72b3e9Dd417b4E950Cd34e99
Arg [2] : mintingAllowedAfter_ (uint256): 1776486672

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 000000000000000000000000a5964a9cf2f8addf72b3e9dd417b4e950cd34e99
Arg [1] : 000000000000000000000000a5964a9cf2f8addf72b3e9dd417b4e950cd34e99
Arg [2] : 0000000000000000000000000000000000000000000000000000000069e30910

217:17058:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;287:40;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;706:21;;;:::i;:::-;;;;;;;:::i;6503:418::-;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;587:40::-;;;:::i;:::-;;;;;;;:::i;1812:122::-;;;:::i;9599:670::-;;;;;;:::i;:::-;;:::i;2235:137::-;;;:::i;797:31::-;;;:::i;488:35::-;;;:::i;:::-;;;;;;;:::i;4527:1058::-;;;;;;:::i;:::-;;:::i;:::-;;1262:45;;;;;;:::i;:::-;;:::i;881:61::-;;;:::i;:::-;;;;;;;:::i;10417:102::-;;;;;;:::i;:::-;;:::i;1690:49::-;;;;;;:::i;:::-;;:::i;8680:108::-;;;;;;:::i;:::-;;:::i;1037:33::-;;;:::i;12605:1217::-;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;2453:39::-;;;;;;:::i;:::-;;:::i;388:37::-;;;:::i;9052:237::-;;;;;;:::i;:::-;;:::i;11952:222::-;;;;;;:::i;:::-;;:::i;10953:798::-;;;;;;:::i;:::-;;:::i;7411:1066::-;;;;;;:::i;:::-;;:::i;5889:136::-;;;;;;:::i;:::-;;:::i;2028:117::-;;;:::i;1551:70::-;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;:::i;4121:231::-;;;;;;:::i;:::-;;:::i;287:40::-;;;;;;;;;;;;;;-1:-1:-1;;;287:40:0;;;;:::o;706:21::-;;;-1:-1:-1;;;;;706:21:0;;:::o;6503:418::-;6571:4;6588:13;-1:-1:-1;;6616:9:0;:21;6612:172;;;-1:-1:-1;;;6612:172:0;;;6715:57;6722:9;6715:57;;;;;;;;;;;;;;;;;:6;:57::i;:::-;6706:66;;6612:172;6807:10;6796:22;;;;:10;:22;;;;;;;;-1:-1:-1;;;;;6796:31:0;;;;;;;;;;;:40;;-1:-1:-1;;;;;;6796:40:0;-1:-1:-1;;;;;6796:40:0;;;;;6854:37;;6796:31;;6807:10;6854:37;;;;6796:40;;6854:37;:::i;:::-;;;;;;;;6909:4;6902:11;;;6503:418;;;;;:::o;587:40::-;;;;:::o;1812:122::-;1854:80;1812:122;:::o;9599:670::-;-1:-1:-1;;;;;9763:15:0;;9681:4;9763:15;;;:10;:15;;;;;;;;9716:10;9763:24;;;;;;;;;;9814:57;;;;;;;;;;;;9716:10;;-1:-1:-1;;;;;9763:24:0;;;;9681:4;;9814:57;;9821:9;;9814:57;;;;;;;:6;:57::i;:::-;9798:73;;9899:3;-1:-1:-1;;;;;9888:14:0;:7;-1:-1:-1;;;;;9888:14:0;;;:48;;;;-1:-1:-1;;;;;;9906:30:0;;;;;9888:48;9884:310;;;9953:19;9975:95;9981:16;9999:6;9975:95;;;;;;;;;;;;;;;;;:5;:95::i;:::-;-1:-1:-1;;;;;10085:15:0;;;;;;;:10;:15;;;;;;;;:24;;;;;;;;;;;;;;:39;;-1:-1:-1;;;;;;10085:39:0;-1:-1:-1;;;;;10085:39:0;;;;;10146:36;10085:39;;-1:-1:-1;10085:24:0;;10146:36;;;;10085:39;;10146:36;:::i;:::-;;;;;;;;9884:310;;10206:33;10222:3;10227;10232:6;10206:15;:33::i;:::-;-1:-1:-1;10257:4:0;;9599:670;-1:-1:-1;;;;;;9599:670:0:o;2235:137::-;2277:95;2235:137;:::o;797:31::-;;;;:::o;488:35::-;521:2;488:35;:::o;4527:1058::-;4612:6;;-1:-1:-1;;;;;4612:6:0;4598:10;:20;4590:68;;;;-1:-1:-1;;;4590:68:0;;;;;;;:::i;:::-;;;;;;;;;4696:19;;4677:15;:38;;4669:85;;;;-1:-1:-1;;;4669:85:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;4773:17:0;;4765:76;;;;-1:-1:-1;;;4765:76:0;;;;;;;:::i;:::-;4904:54;4917:15;930:12;4904;:54::i;:::-;4882:19;:76;;;;4999:13;5015:54;5022:9;5015:54;;;;;;;;;;;;;;;;;:6;:54::i;:::-;4999:70;;5098:53;5111:34;5124:11;;1069:1;5111:34;;:12;:34::i;:::-;5147:3;5098:12;:53::i;:::-;5088:6;-1:-1:-1;;;;;5088:63:0;;;5080:104;;;;-1:-1:-1;;;5080:104:0;;;;;;;:::i;:::-;5209:83;5216:33;5229:11;;5242:6;-1:-1:-1;;;;;5216:33:0;:12;:33::i;:::-;5209:83;;;;;;;;;;;;;;;;;:6;:83::i;:::-;-1:-1:-1;;;;;5195:97:0;;;:11;:97;;;-1:-1:-1;;;;;5376:13:0;;;;:8;:13;;;;;;;;;;5370:68;;;;;;;;;;;;;;5376:13;;;;;5391:6;;5370:68;;;;;;;;:5;:68::i;:::-;-1:-1:-1;;;;;5354:13:0;;;;;;:8;:13;;;;;;:84;;-1:-1:-1;;;;;;5354:84:0;-1:-1:-1;;;;;5354:84:0;;;;;;;;;;;5454:33;;5354:13;;;5454:33;;;;5480:6;;5454:33;:::i;:::-;;;;;;;;-1:-1:-1;;;;;5554:14:0;;;5550:1;5554:14;;;:9;:14;;;;;;5527:50;;5554:14;5570:6;5527:14;:50::i;:::-;4527:1058;;;:::o;1262:45::-;;;;;;;;;;;;-1:-1:-1;;;;;1262:45:0;;:::o;881:61::-;930:12;881:61;:::o;10417:102::-;10479:32;10489:10;10501:9;10479;:32::i;:::-;10417:102;:::o;1690:49::-;;;;;;;;;;;;;;;:::o;8680:108::-;-1:-1:-1;;;;;8763:17:0;;8739:4;8763:17;;;:8;:17;;;;;;-1:-1:-1;;;;;8763:17:0;8680:108;;;;:::o;1037:33::-;1069:1;1037:33;:::o;12605:1217::-;12684:6;12725:12;12711:11;:26;12703:77;;;;-1:-1:-1;;;12703:77:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;12815:23:0;;12793:19;12815:23;;;:14;:23;;;;;;;;12853:17;12849:58;;12894:1;12887:8;;;;;12849:58;-1:-1:-1;;;;;12967:20:0;;;;;;:11;:20;;;;;;;;:38;-1:-1:-1;;12988:16:0;;12967:38;;;;;;;;;:48;;:63;-1:-1:-1;12963:147:0;;-1:-1:-1;;;;;13054:20:0;;;;;;:11;:20;;;;;;;;-1:-1:-1;;13075:16:0;;;;13054:38;;;;;;;;:44;-1:-1:-1;;;13054:44:0;;-1:-1:-1;;;;;13054:44:0;;-1:-1:-1;13047:51:0;;12963:147;-1:-1:-1;;;;;13171:20:0;;;;;;:11;:20;;;;;;;;:23;;;;;;;;:33;:23;:33;:47;-1:-1:-1;13167:88:0;;;13242:1;13235:8;;;;;13167:88;13267:12;-1:-1:-1;;13309:16:0;;13336:428;13351:5;13343:13;;:5;:13;;;13336:428;;;13373:13;13415:1;13397:19;13398:13;;;13397:19;-1:-1:-1;;;;;13481:20:0;;13458;13481;;;:11;:20;;;;;;;;13397:19;;;;13389:27;;13481:28;;;;;;;;;;;;;13458:51;;;;;;;;;;;;;;;-1:-1:-1;;;13458:51:0;;;-1:-1:-1;;;;;13458:51:0;;;;;13389:27;-1:-1:-1;13458:51:0;13528:27;;13524:229;;;13583:8;;;;-1:-1:-1;13576:15:0;;-1:-1:-1;;;;13576:15:0;13524:229;13617:12;;:26;;;-1:-1:-1;13613:140:0;;;13672:6;13664:14;;13613:140;;;13736:1;13727:6;:10;13719:18;;13613:140;13336:428;;;;;-1:-1:-1;;;;;;13781:20:0;;;;;;:11;:20;;;;;;;;:27;;;;;;;;;;:33;-1:-1:-1;;;;;;;;13781:33:0;;;;;-1:-1:-1;;12605:1217:0;;;;:::o;2453:39::-;;;;;;;;;;;;;:::o;388:37::-;;;;;;;;;;;;;;-1:-1:-1;;;388:37:0;;;;:::o;9052:237::-;9117:4;9134:13;9150:58;9157:9;9150:58;;;;;;;;;;;;;;;;;:6;:58::i;:::-;9134:74;;9219:40;9235:10;9247:3;9252:6;9219:15;:40::i;:::-;-1:-1:-1;9277:4:0;;9052:237;-1:-1:-1;;;9052:237:0:o;11952:222::-;-1:-1:-1;;;;;12058:23:0;;12017:6;12058:23;;;:14;:23;;;;;;;;12099:16;:67;;12165:1;12099:67;;;-1:-1:-1;;;;;12118:20:0;;;;;;:11;:20;;;;;;;;-1:-1:-1;;12139:16:0;;12118:38;;;;;;;;;:44;-1:-1:-1;;;12118:44:0;;-1:-1:-1;;;;;12118:44:0;12099:67;12092:74;11952:222;-1:-1:-1;;;11952:222:0:o;10953:798::-;11149:4;;;;;;;;;;;;-1:-1:-1;;;11149:4:0;;;;;11069:23;1854:80;11133:22;11157:12;:10;:12::i;:::-;11179:4;11105:80;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;11095:91;;;;;;11069:117;;11197:18;2074:71;11260:9;11271:5;11278:6;11228:57;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;11218:68;;;;;;11197:89;;11297:14;11353:15;11370:10;11324:57;;;;;;;;;:::i;:::-;;;;;;;;;;;;;11314:68;;;;;;11297:85;;11393:17;11413:26;11423:6;11431:1;11434;11437;11413:26;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;11413:26:0;;-1:-1:-1;;11413:26:0;;;-1:-1:-1;;;;;;;11458:23:0;;11450:73;;;;-1:-1:-1;;;11450:73:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;11551:17:0;;;;;;:6;:17;;;;;:19;;;;;;;;11542:28;;11534:74;;;;-1:-1:-1;;;11534:74:0;;;;;;;:::i;:::-;11646:6;11627:15;:25;;11619:75;;;;-1:-1:-1;;;11619:75:0;;;;;;;:::i;:::-;11712:31;11722:9;11733;11712;:31::i;:::-;11705:38;;;;10953:798;;;;;;;:::o;7411:1066::-;7541:13;-1:-1:-1;;7569:9:0;:21;7565:171;;;-1:-1:-1;;;7565:171:0;;;7668:56;7675:9;7668:56;;;;;;;;;;;;;;;;;:6;:56::i;:::-;7659:65;;7565:171;7828:4;;;;;;;;;;;;-1:-1:-1;;;7828:4:0;;;;;7748:23;1854:80;7812:22;7836:12;:10;:12::i;:::-;7858:4;7784:80;;;;;;;;;;;:::i;:::-;;;;-1:-1:-1;;7784:80:0;;;;;;;;;7774:91;;7784:80;7774:91;;;;-1:-1:-1;;;;;7962:13:0;;7876:18;7962:13;;;:6;:13;;;;;:15;;;;;;;;7774:91;;-1:-1:-1;7876:18:0;;7907:81;;2277:95;;7935:5;;7942:7;;7951:9;;7962:15;;7979:8;;7907:81;;:::i;:::-;;;;;;;;;;;;;7897:92;;;;;;7876:113;;8000:14;8056:15;8073:10;8027:57;;;;;;;;;:::i;:::-;;;;;;;;;;;;;8017:68;;;;;;8000:85;;8096:17;8116:26;8126:6;8134:1;8137;8140;8116:26;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;8116:26:0;;-1:-1:-1;;8116:26:0;;;-1:-1:-1;;;;;;;8165:23:0;;8157:66;;;;-1:-1:-1;;;8157:66:0;;;;;;;:::i;:::-;8255:5;-1:-1:-1;;;;;8242:18:0;:9;-1:-1:-1;;;;;8242:18:0;;8234:56;;;;-1:-1:-1;;;8234:56:0;;;;;;;:::i;:::-;8328:8;8309:15;:27;;8301:70;;;;-1:-1:-1;;;8301:70:0;;;;;;;:::i;:::-;8413:6;8384:10;:17;8395:5;-1:-1:-1;;;;;8384:17:0;-1:-1:-1;;;;;8384:17:0;;;;;;;;;;;;:26;8402:7;-1:-1:-1;;;;;8384:26:0;-1:-1:-1;;;;;8384:26:0;;;;;;;;;;;;;:35;;;;;-1:-1:-1;;;;;8384:35:0;;;;;-1:-1:-1;;;;;8384:35:0;;;;;;8453:7;-1:-1:-1;;;;;8437:32:0;8446:5;-1:-1:-1;;;;;8437:32:0;;8462:6;8437:32;;;;;;:::i;:::-;;;;;;;;7411:1066;;;;;;;;;;;;:::o;5889:136::-;-1:-1:-1;;;;;5989:19:0;;;5965:4;5989:19;;;:10;:19;;;;;;;;:28;;;;;;;;;;;;-1:-1:-1;;;;;5989:28:0;;5889:136::o;2028:117::-;2074:71;2028:117;:::o;1551:70::-;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;1551:70:0;;-1:-1:-1;;;;;1551:70:0;;:::o;4121:231::-;4199:6;;-1:-1:-1;;;;;4199:6:0;4185:10;:20;4177:94;;;;-1:-1:-1;;;4177:94:0;;;;;;;:::i;:::-;4301:6;;4287:30;;;;;;-1:-1:-1;;;;;4301:6:0;;;;4309:7;;4287:30;:::i;:::-;;;;;;;;4328:6;:16;;-1:-1:-1;;;;;;4328:16:0;-1:-1:-1;;;;;4328:16:0;;;;;;;;;;4121:231::o;16581:161::-;16656:6;16694:12;-1:-1:-1;;;16683:9:0;;16675:32;;;;-1:-1:-1;;;16675:32:0;;;;;;;;:::i;:::-;-1:-1:-1;16732:1:0;;16581:161;-1:-1:-1;;16581:161:0:o;16946:165::-;17032:6;17064:1;-1:-1:-1;;;;;17059:6:0;:1;-1:-1:-1;;;;;17059:6:0;;;17067:12;17051:29;;;;;-1:-1:-1;;;17051:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;17098:5:0;;;16946:165::o;14213:610::-;-1:-1:-1;;;;;14307:17:0;;14299:89;;;;-1:-1:-1;;;14299:89:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;14407:17:0;;14399:87;;;;-1:-1:-1;;;14399:87:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;14521:13:0;;;;;;:8;:13;;;;;;;;;;14515:85;;;;;;;;;;;;;;-1:-1:-1;;;;;14521:13:0;;;;14536:6;;14515:85;;;;;;;:5;:85::i;:::-;-1:-1:-1;;;;;14499:13:0;;;;;;;:8;:13;;;;;;;;:101;;-1:-1:-1;;;;;;14499:101:0;-1:-1:-1;;;;;14499:101:0;;;;;;14633:13;;;;;;;;;;14627:79;;;;;;;;;;;;;;14633:13;;;;;14648:6;;14627:79;;;;;;;;:5;:79::i;:::-;-1:-1:-1;;;;;14611:13:0;;;;;;;:8;:13;;;;;;;:95;;-1:-1:-1;;;;;;14611:95:0;-1:-1:-1;;;;;14611:95:0;;;;;;;;;;;14722:26;;;;;;;;;;14741:6;;14722:26;:::i;:::-;;;;;;;;-1:-1:-1;;;;;14776:14:0;;;;;;;:9;:14;;;;;;;14792;;;;;;;;14761:54;;14776:14;;;;14792;14808:6;14761:14;:54::i;987:181:1:-;1045:7;1077:5;;;1101:6;;;;1093:46;;;;;-1:-1:-1;;;1093:46:1;;;;;;;;;;;;;;;;;;;;;;;;;;;2741:471;2799:7;3044:6;3040:47;;-1:-1:-1;3074:1:1;3067:8;;3040:47;3111:5;;;3115:1;3111;:5;:1;3135:5;;;;;:10;3127:56;;;;-1:-1:-1;;;3127:56:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4399:132;4457:7;4484:39;4488:1;4491;4484:39;;;;;;;;;;;;;;;;;:3;:39::i;16750:188:0:-;16836:6;16866:5;;;16898:12;-1:-1:-1;;;;;16890:6:0;;;;;;;;16882:29;;;;-1:-1:-1;;;16882:29:0;;;;;;;;:::i;:::-;-1:-1:-1;16929:1:0;16750:188;-1:-1:-1;;;;16750:188:0:o;14831:937::-;14936:6;-1:-1:-1;;;;;14926:16:0;:6;-1:-1:-1;;;;;14926:16:0;;;:30;;;;;14955:1;14946:6;-1:-1:-1;;;;;14946:10:0;;14926:30;14922:839;;;-1:-1:-1;;;;;14977:20:0;;;14973:381;;-1:-1:-1;;;;;15037:22:0;;15018:16;15037:22;;;:14;:22;;;;;;;;;15097:13;:60;;15156:1;15097:60;;;-1:-1:-1;;;;;15113:19:0;;;;;;:11;:19;;;;;;;;-1:-1:-1;;15133:13:0;;15113:34;;;;;;;;;:40;-1:-1:-1;;;15113:40:0;;-1:-1:-1;;;;;15113:40:0;15097:60;15078:79;;15176:16;15195:67;15201:9;15212:6;15195:67;;;;;;;;;;;;;;;;;:5;:67::i;:::-;15176:86;;15281:57;15298:6;15306:9;15317;15328;15281:16;:57::i;:::-;14973:381;;;;-1:-1:-1;;;;;15374:20:0;;;15370:380;;-1:-1:-1;;;;;15434:22:0;;15415:16;15434:22;;;:14;:22;;;;;;;;;15494:13;:60;;15553:1;15494:60;;;-1:-1:-1;;;;;15510:19:0;;;;;;:11;:19;;;;;;;;-1:-1:-1;;15530:13:0;;15510:34;;;;;;;;;:40;-1:-1:-1;;;15510:40:0;;-1:-1:-1;;;;;15510:40:0;15494:60;15475:79;;15573:16;15592:66;15598:9;15609:6;15592:66;;;;;;;;;;;;;;;;;:5;:66::i;:::-;15573:85;;15677:57;15694:6;15702:9;15713;15724;15677:16;:57::i;13830:375::-;-1:-1:-1;;;;;13933:20:0;;;13907:23;13933:20;;;:9;:20;;;;;;;;;;13990:8;:19;;;;;;14020:20;;;;:32;;;-1:-1:-1;;;;;;14020:32:0;;;;;;;14070:54;;13933:20;;;;;-1:-1:-1;;;;;13990:19:0;;;;14020:32;;13933:20;;;14070:54;;13907:23;14070:54;14137:60;14152:15;14169:9;14180:16;14137:14;:60::i;:::-;13830:375;;;;:::o;17119:153::-;17229:9;17119:153;:::o;5019:345:1:-;5105:7;5207:12;5200:5;5192:28;;;;-1:-1:-1;;;5192:28:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5231:9;5247:1;5243;:5;;;;;;;5019:345;-1:-1:-1;;;;;5019:345:1:o;15776:628:0:-;15894:18;15915:75;15922:12;15915:75;;;;;;;;;;;;;;;;;:6;:75::i;:::-;15894:96;;16020:1;16005:12;:16;;;:85;;;;-1:-1:-1;;;;;;16025:22:0;;;;;;:11;:22;;;;;;;;:65;-1:-1:-1;;16048:16:0;;16025:40;;;;;;;;;:50;:65;;;:50;;:65;16005:85;16001:329;;;-1:-1:-1;;;;;16105:22:0;;;;;;:11;:22;;;;;;;;-1:-1:-1;;16128:16:0;;16105:40;;;;;;;;;:57;;-1:-1:-1;;16105:57:0;-1:-1:-1;;;;;;;;16105:57:0;;;;;;16001:329;;;16230:33;;;;;;;;;;;;;;-1:-1:-1;;;;;16230:33:0;;;;;;;;;;-1:-1:-1;;;;;16191:22:0;;-1:-1:-1;16191:22:0;;;:11;:22;;;;;:36;;;;;;;;;;:72;;;;;;;;;-1:-1:-1;;;16191:72:0;-1:-1:-1;;16191:72:0;;;-1:-1:-1;;16191:72:0;;;;;;;;;;;;;;;16276:25;;;:14;:25;;;;;;;:44;;16191:72;16304:16;;16276:44;;;;;;;;;;;;;16001:329;16366:9;-1:-1:-1;;;;;16345:51:0;;16377:8;16387;16345:51;;;;;;;:::i;:::-;;;;;;;;15776:628;;;;;:::o;16412:161::-;16487:6;16525:12;-1:-1:-1;;;16514:9:0;;16506:32;;;;-1:-1:-1;;;16506:32:0;;;;;;;;:::i;14:175:3:-;84:20;;-1:-1:-1;;;;;133:31:3;;123:42;;113:2;;179:1;176;169:12;194:158;262:20;;322:4;311:16;;301:27;;291:2;;342:1;339;332:12;357:198;;469:2;457:9;448:7;444:23;440:32;437:2;;;490:6;482;475:22;437:2;518:31;539:9;518:31;:::i;560:274::-;;;689:2;677:9;668:7;664:23;660:32;657:2;;;710:6;702;695:22;657:2;738:31;759:9;738:31;:::i;:::-;728:41;;788:40;824:2;813:9;809:18;788:40;:::i;:::-;778:50;;647:187;;;;;:::o;839:342::-;;;;985:2;973:9;964:7;960:23;956:32;953:2;;;1006:6;998;991:22;953:2;1034:31;1055:9;1034:31;:::i;:::-;1024:41;;1084:40;1120:2;1109:9;1105:18;1084:40;:::i;:::-;1074:50;;1171:2;1160:9;1156:18;1143:32;1133:42;;943:238;;;;;:::o;1186:622::-;;;;;;;;1398:3;1386:9;1377:7;1373:23;1369:33;1366:2;;;1420:6;1412;1405:22;1366:2;1448:31;1469:9;1448:31;:::i;:::-;1438:41;;1498:40;1534:2;1523:9;1519:18;1498:40;:::i;:::-;1488:50;;1585:2;1574:9;1570:18;1557:32;1547:42;;1636:2;1625:9;1621:18;1608:32;1598:42;;1659:39;1693:3;1682:9;1678:19;1659:39;:::i;:::-;1649:49;;1745:3;1734:9;1730:19;1717:33;1707:43;;1797:3;1786:9;1782:19;1769:33;1759:43;;1356:452;;;;;;;;;;:::o;1813:266::-;;;1942:2;1930:9;1921:7;1917:23;1913:32;1910:2;;;1963:6;1955;1948:22;1910:2;1991:31;2012:9;1991:31;:::i;:::-;1981:41;2069:2;2054:18;;;;2041:32;;-1:-1:-1;;;1900:179:3:o;2084:545::-;;;;;;;2279:3;2267:9;2258:7;2254:23;2250:33;2247:2;;;2301:6;2293;2286:22;2247:2;2329:31;2350:9;2329:31;:::i;:::-;2319:41;;2407:2;2396:9;2392:18;2379:32;2369:42;;2458:2;2447:9;2443:18;2430:32;2420:42;;2481:38;2515:2;2504:9;2500:18;2481:38;:::i;:::-;2471:48;;2566:3;2555:9;2551:19;2538:33;2528:43;;2618:3;2607:9;2603:19;2590:33;2580:43;;2237:392;;;;;;;;:::o;2634:372::-;;;2762:2;2750:9;2741:7;2737:23;2733:32;2730:2;;;2783:6;2775;2768:22;2730:2;2811:31;2832:9;2811:31;:::i;:::-;2801:41;;2892:2;2881:9;2877:18;2864:32;2936:10;2929:5;2925:22;2918:5;2915:33;2905:2;;2967:6;2959;2952:22;2905:2;2995:5;2985:15;;;2720:286;;;;;:::o;3011:392::-;-1:-1:-1;;;3269:27:3;;3321:1;3312:11;;3305:27;;;;3357:2;3348:12;;3341:28;3394:2;3385:12;;3259:144::o;3408:203::-;-1:-1:-1;;;;;3572:32:3;;;;3554:51;;3542:2;3527:18;;3509:102::o;3616:304::-;-1:-1:-1;;;;;3846:15:3;;;3828:34;;3898:15;;3893:2;3878:18;;3871:43;3778:2;3763:18;;3745:175::o;3925:187::-;4090:14;;4083:22;4065:41;;4053:2;4038:18;;4020:92::o;4117:177::-;4263:25;;;4251:2;4236:18;;4218:76::o;4299:591::-;4586:25;;;-1:-1:-1;;;;;4685:15:3;;;4680:2;4665:18;;4658:43;4737:15;;;;4732:2;4717:18;;4710:43;4784:2;4769:18;;4762:34;4827:3;4812:19;;4805:35;;;;4638:3;4856:19;;4849:35;4573:3;4558:19;;4540:350::o;4895:417::-;5126:25;;;-1:-1:-1;;;;;5187:32:3;;;;5182:2;5167:18;;5160:60;5251:2;5236:18;;5229:34;5294:2;5279:18;;5272:34;5113:3;5098:19;;5080:232::o;5317:417::-;5548:25;;;5604:2;5589:18;;5582:34;;;;5647:2;5632:18;;5625:34;-1:-1:-1;;;;;5695:32:3;5690:2;5675:18;;5668:60;5535:3;5520:19;;5502:232::o;5739:398::-;5966:25;;;6039:4;6027:17;;;;6022:2;6007:18;;6000:45;6076:2;6061:18;;6054:34;6119:2;6104:18;;6097:34;5953:3;5938:19;;5920:217::o;6142:603::-;;6283:2;6312;6301:9;6294:21;6344:6;6338:13;6387:6;6382:2;6371:9;6367:18;6360:34;6412:4;6425:140;6439:6;6436:1;6433:13;6425:140;;;6534:14;;;6530:23;;6524:30;6500:17;;;6519:2;6496:26;6489:66;6454:10;;6425:140;;;6583:6;6580:1;6577:13;6574:2;;;6653:4;6648:2;6639:6;6628:9;6624:22;6620:31;6613:45;6574:2;-1:-1:-1;6729:2:3;6708:15;-1:-1:-1;;6704:29:3;6689:45;;;;6736:2;6685:54;;6263:482;-1:-1:-1;;;6263:482:3:o;6750:410::-;6952:2;6934:21;;;6991:2;6971:18;;;6964:30;7030:34;7025:2;7010:18;;7003:62;-1:-1:-1;;;7096:2:3;7081:18;;7074:44;7150:3;7135:19;;6924:236::o;7165:354::-;7367:2;7349:21;;;7406:2;7386:18;;;7379:30;7445:32;7440:2;7425:18;;7418:60;7510:2;7495:18;;7339:180::o;7524:401::-;7726:2;7708:21;;;7765:2;7745:18;;;7738:30;7804:34;7799:2;7784:18;;7777:62;-1:-1:-1;;;7870:2:3;7855:18;;7848:35;7915:3;7900:19;;7698:227::o;7930:397::-;8132:2;8114:21;;;8171:2;8151:18;;;8144:30;8210:34;8205:2;8190:18;;8183:62;-1:-1:-1;;;8276:2:3;8261:18;;8254:31;8317:3;8302:19;;8104:223::o;8332:402::-;8534:2;8516:21;;;8573:2;8553:18;;;8546:30;8612:34;8607:2;8592:18;;8585:62;-1:-1:-1;;;8678:2:3;8663:18;;8656:36;8724:3;8709:19;;8506:228::o;8739:352::-;8941:2;8923:21;;;8980:2;8960:18;;;8953:30;9019;9014:2;8999:18;;8992:58;9082:2;9067:18;;8913:178::o;9096:354::-;9298:2;9280:21;;;9337:2;9317:18;;;9310:30;9376:32;9371:2;9356:18;;9349:60;9441:2;9426:18;;9270:180::o;9455:399::-;9657:2;9639:21;;;9696:2;9676:18;;;9669:30;9735:34;9730:2;9715:18;;9708:62;-1:-1:-1;;;9801:2:3;9786:18;;9779:33;9844:3;9829:19;;9629:225::o;9859:425::-;10061:2;10043:21;;;10100:2;10080:18;;;10073:30;10139:34;10134:2;10119:18;;10112:62;10210:31;10205:2;10190:18;;10183:59;10274:3;10259:19;;10033:251::o;10289:349::-;10491:2;10473:21;;;10530:2;10510:18;;;10503:30;10569:27;10564:2;10549:18;;10542:55;10629:2;10614:18;;10463:175::o;10643:421::-;10845:2;10827:21;;;10884:2;10864:18;;;10857:30;10923:34;10918:2;10903:18;;10896:62;10994:27;10989:2;10974:18;;10967:55;11054:3;11039:19;;10817:247::o;11069:401::-;11271:2;11253:21;;;11310:2;11290:18;;;11283:30;11349:34;11344:2;11329:18;;11322:62;-1:-1:-1;;;11415:2:3;11400:18;;11393:35;11460:3;11445:19;;11243:227::o;11475:423::-;11677:2;11659:21;;;11716:2;11696:18;;;11689:30;11755:34;11750:2;11735:18;;11728:62;11826:29;11821:2;11806:18;;11799:57;11888:3;11873:19;;11649:249::o;11903:398::-;12105:2;12087:21;;;12144:2;12124:18;;;12117:30;12183:34;12178:2;12163:18;;12156:62;-1:-1:-1;;;12249:2:3;12234:18;;12227:32;12291:3;12276:19;;12077:224::o;12488:192::-;12662:10;12650:23;;;;12632:42;;12620:2;12605:18;;12587:93::o;12685:294::-;12885:10;12873:23;;;;12855:42;;-1:-1:-1;;;;;12933:39:3;12928:2;12913:18;;12906:67;12843:2;12828:18;;12810:169::o;12984:184::-;13156:4;13144:17;;;;13126:36;;13114:2;13099:18;;13081:87::o;13173:209::-;-1:-1:-1;;;;;13336:39:3;;;;13318:58;;13306:2;13291:18;;13273:109::o;13600:309::-;-1:-1:-1;;;;;13835:15:3;;;13817:34;;13887:15;;13882:2;13867:18;;13860:43;13760:2;13745:18;;13727:182::o