Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-04-22
*/

/*
B.PROTOCOL TERMS OF USE
=======================

THE TERMS OF USE CONTAINED HEREIN (THESE “TERMS”) GOVERN YOUR USE OF B.PROTOCOL, WHICH IS A DECENTRALIZED PROTOCOL ON THE ETHEREUM BLOCKCHAIN (the “PROTOCOL”) THAT enables a backstop liquidity mechanism FOR DECENTRALIZED LENDING PLATFORMS (“DLPs”).  
PLEASE READ THESE TERMS CAREFULLY AT https://github.com/backstop-protocol/Terms-and-Conditions, INCLUDING ALL DISCLAIMERS AND RISK FACTORS, BEFORE USING THE PROTOCOL. BY USING THE PROTOCOL, YOU ARE IRREVOCABLY CONSENTING TO BE BOUND BY THESE TERMS. 
IF YOU DO NOT AGREE TO ALL OF THESE TERMS, DO NOT USE THE PROTOCOL. YOUR RIGHT TO USE THE PROTOCOL IS SUBJECT AND DEPENDENT BY YOUR AGREEMENT TO ALL TERMS AND CONDITIONS SET FORTH HEREIN, WHICH AGREEMENT SHALL BE EVIDENCED BY YOUR USE OF THE PROTOCOL.
Minors Prohibited: The Protocol is not directed to individuals under the age of eighteen (18) or the age of majority in your jurisdiction if the age of majority is greater. If you are under the age of eighteen or the age of majority (if greater), you are not authorized to access or use the Protocol. By using the Protocol, you represent and warrant that you are above such age.

License; No Warranties; Limitation of Liability;
(a) The software underlying the Protocol is licensed for use in accordance with the 3-clause BSD License, which can be accessed here: https://opensource.org/licenses/BSD-3-Clause.
(b) THE PROTOCOL IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS", “WITH ALL FAULTS” and “AS AVAILABLE” AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 
(c) IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
*/

// File: contracts/SafeMath.sol

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;
    }
}

// File: contracts/BPRO.sol

pragma solidity ^0.5.16;
pragma experimental ABIEncoderV2;


contract BPRO {
    /// @notice EIP-20 token name for this token
    string public constant name = "B.Protocol";

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

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

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

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

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

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

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

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

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

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

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

    /// @notice The EIP-712 typehash for the delegation struct used by the contract
    bytes32 public constant DELEGATION_TYPEHASH = keccak256("Delegation(address delegatee,uint256 nonce,uint256 expiry)");

    /// @notice 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 Uni token
     * @param minter_ The account with minting ability
     */
    constructor(/*address account,*/ address minter_/*, uint mintingAllowedAfter_*/) public {
        //require(mintingAllowedAfter_ >= block.timestamp, "BPRO::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, "BPRO::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, "BPRO::mint: only the minter can mint");
        //require(block.timestamp >= mintingAllowedAfter, "Uni::mint: minting not allowed yet");
        require(dst != address(0), "BPRO::mint: cannot transfer to the zero address");

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

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

        // transfer the amount to the recipient
        balances[dst] = add96(balances[dst], amount, "BPRO::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, "BPRO::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, "BPRO::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), "BPRO::permit: invalid signature");
        require(signatory == owner, "BPRO::permit: unauthorized");
        require(now <= deadline, "BPRO::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, "BPRO::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, "BPRO::approve: amount exceeds 96 bits");

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

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

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

      emit DelegateVotesChanged(delegatee, oldVotes, newVotes);
    }

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

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

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

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

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

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"minter_","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"delegator","type":"address"},{"indexed":true,"internalType":"address","name":"fromDelegate","type":"address"},{"indexed":true,"internalType":"address","name":"toDelegate","type":"address"}],"name":"DelegateChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"delegate","type":"address"},{"indexed":false,"internalType":"uint256","name":"previousBalance","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"newBalance","type":"uint256"}],"name":"DelegateVotesChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"minter","type":"address"},{"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"},{"constant":true,"inputs":[],"name":"DELEGATION_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"DOMAIN_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"PERMIT_TYPEHASH","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"rawAmount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint32","name":"","type":"uint32"}],"name":"checkpoints","outputs":[{"internalType":"uint32","name":"fromBlock","type":"uint32"},{"internalType":"uint96","name":"votes","type":"uint96"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"delegatee","type":"address"}],"name":"delegate","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"delegatee","type":"address"},{"internalType":"uint256","name":"nonce","type":"uint256"},{"internalType":"uint256","name":"expiry","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"delegateBySig","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"delegates","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"getCurrentVotes","outputs":[{"internalType":"uint96","name":"","type":"uint96"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"blockNumber","type":"uint256"}],"name":"getPriorVotes","outputs":[{"internalType":"uint96","name":"","type":"uint96"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"rawAmount","type":"uint256"}],"name":"mint","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"minter","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"numCheckpoints","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"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":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"minter_","type":"address"}],"name":"setMinter","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"rawAmount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"src","type":"address"},{"internalType":"address","name":"dst","type":"address"},{"internalType":"uint256","name":"rawAmount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"}]

6080604052600080553480156200001557600080fd5b5060405162002646380380620026468339810160408190526200003891620000b1565b600180546001600160a01b0319166001600160a01b0383811691909117918290556040517f3b0007eb941cf645526cbb3a4fdaecda9d28ce4843167d9263b536a1f1edc0f6926200008f92600092911690620000f6565b60405180910390a1506200015c565b8051620000ab8162000142565b92915050565b600060208284031215620000c457600080fd5b6000620000d284846200009e565b949350505050565b620000e5816200012e565b82525050565b620000e5816200011c565b60408101620001068285620000da565b620001156020830184620000eb565b9392505050565b60006001600160a01b038216620000ab565b6000620000ab826000620000ab826200011c565b6200014d816200011c565b81146200015957600080fd5b50565b6124da806200016c6000396000f3fe608060405234801561001057600080fd5b50600436106101585760003560e01c806370a08231116100c3578063c3cda5201161007c578063c3cda520146102cc578063d505accf146102df578063dd62ed3e146102f2578063e7a324dc14610305578063f1127ed81461030d578063fca3b5aa1461032e57610158565b806370a0823114610258578063782d6fe11461026b5780637ecebe001461028b57806395d89b411461029e578063a9059cbb146102a6578063b4b5ea57146102b957610158565b806330adf81f1161011557806330adf81f146101e0578063313ce567146101e857806340c10f19146101fd578063587cde1e146102125780635c19a95c146102255780636fcfff451461023857610158565b806306fdde031461015d578063075461721461017b578063095ea7b31461019057806318160ddd146101b057806320606b70146101c557806323b872dd146101cd575b600080fd5b610165610341565b6040516101729190612089565b60405180910390f35b610183610367565b6040516101729190611f5c565b6101a361019e36600461187e565b610376565b6040516101729190611f85565b6101b8610435565b6040516101729190611f93565b6101b861043b565b6101a36101db366004611795565b610452565b6101b861059b565b6101f06105a7565b6040516101729190612193565b61021061020b36600461187e565b6105ac565b005b610183610220366004611735565b61074f565b610210610233366004611735565b61076a565b61024b610246366004611735565b610777565b604051610172919061216a565b6101b8610266366004611735565b61078f565b61027e61027936600461187e565b6107b3565b60405161017291906121af565b6101b8610299366004611735565b6109c1565b6101656109d3565b6101a36102b436600461187e565b6109f3565b61027e6102c7366004611735565b610a2f565b6102106102da3660046118ae565b610a9f565b6102106102ed3660046117e2565b610c8b565b6101b861030036600461175b565b610f79565b6101b8610fad565b61032061031b366004611935565b610fb9565b604051610172929190612178565b61021061033c366004611735565b610fee565b6040518060400160405280600a815260200169108b941c9bdd1bd8dbdb60b21b81525081565b6001546001600160a01b031681565b60008060001983141561038c57506000196103b1565b6103ae836040518060600160405280602581526020016122bd60259139611081565b90505b3360008181526002602090815260408083206001600160a01b03891680855292529182902080546001600160601b0319166001600160601b03861617905590519091907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104219085906121a1565b60405180910390a360019150505b92915050565b60005481565b60405161044790611f46565b604051809103902081565b6001600160a01b03831660009081526002602090815260408083203380855290835281842054825160608101909352602580845291936001600160601b039091169285926104aa92889291906122bd90830139611081565b9050866001600160a01b0316836001600160a01b0316141580156104d757506001600160601b0382811614155b1561058157600061050183836040518060600160405280603d8152602001612404603d91396110b0565b6001600160a01b038981166000818152600260209081526040808320948a16808452949091529081902080546001600160601b0319166001600160601b0386161790555192935090917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906105779085906121a1565b60405180910390a3505b61058c8787836110ef565b600193505050505b9392505050565b60405161044790611f3b565b601281565b6001546001600160a01b031633146105df5760405162461bcd60e51b81526004016105d6906120aa565b60405180910390fd5b6001600160a01b0382166106055760405162461bcd60e51b81526004016105d69061215a565b60006106298260405180606001604052806022815260200161230660229139611081565b9050610661610643600054836001600160601b0316611295565b60405180606001604052806027815260200161244160279139611081565b6001600160601b0390811660009081556001600160a01b0385168152600360209081526040918290205482516060810190935260258084526106b394919091169285929091906123a9908301396112ba565b6001600160a01b03841660008181526003602052604080822080546001600160601b0319166001600160601b03959095169490941790935591519091907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061071d9085906121a1565b60405180910390a36001600160a01b0380841660009081526004602052604081205461074a9216836112f6565b505050565b6004602052600090815260409020546001600160a01b031681565b6107743382611488565b50565b60066020526000908152604090205463ffffffff1681565b6001600160a01b03166000908152600360205260409020546001600160601b031690565b60004382106107d45760405162461bcd60e51b81526004016105d69061214a565b6001600160a01b03831660009081526006602052604090205463ffffffff168061080257600091505061042f565b6001600160a01b038416600090815260056020908152604080832063ffffffff60001986018116855292529091205416831061087e576001600160a01b03841660009081526005602090815260408083206000199490940163ffffffff1683529290522054600160201b90046001600160601b0316905061042f565b6001600160a01b038416600090815260056020908152604080832083805290915290205463ffffffff168310156108b957600091505061042f565b600060001982015b8163ffffffff168163ffffffff16111561097c57600282820363ffffffff160481036108eb6116f2565b506001600160a01b038716600090815260056020908152604080832063ffffffff858116855290835292819020815180830190925254928316808252600160201b9093046001600160601b031691810191909152908714156109575760200151945061042f9350505050565b805163ffffffff1687111561096e57819350610975565b6001820392505b50506108c1565b506001600160a01b038516600090815260056020908152604080832063ffffffff909416835292905220546001600160601b03600160201b9091041691505092915050565b60076020526000908152604090205481565b604051806040016040528060048152602001634250524f60e01b81525081565b600080610a188360405180606001604052806026815260200161232860269139611081565b9050610a253385836110ef565b5060019392505050565b6001600160a01b03811660009081526006602052604081205463ffffffff1680610a5a576000610594565b6001600160a01b0383166000908152600560209081526040808320600019850163ffffffff168452909152902054600160201b90046001600160601b03169392505050565b6000604051610aad90611f46565b60408051918290038220828201909152600a825269108b941c9bdd1bd8dbdb60b21b6020909201919091527f3ef1f0b385c411132d2461aa0d1b92812901885c0f181fa0de0a633085e6f41e610b01611512565b30604051602001610b159493929190612039565b6040516020818303038152906040528051906020012090506000604051610b3b90611f51565b604051908190038120610b56918a908a908a90602001611ffb565b60405160208183030381529060405280519060200120905060008282604051602001610b83929190611f0a565b604051602081830303815290604052805190602001209050600060018288888860405160008152602001604052604051610bc0949392919061206e565b6020604051602081039080840390855afa158015610be2573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116610c155760405162461bcd60e51b81526004016105d6906120ea565b6001600160a01b03811660009081526007602052604090208054600181019091558914610c545760405162461bcd60e51b81526004016105d69061212a565b87421115610c745760405162461bcd60e51b81526004016105d69061213a565b610c7e818b611488565b505050505b505050505050565b6000600019861415610ca05750600019610cc5565b610cc2866040518060600160405280602481526020016122e260249139611081565b90505b6000604051610cd390611f46565b60408051918290038220828201909152600a825269108b941c9bdd1bd8dbdb60b21b6020909201919091527f3ef1f0b385c411132d2461aa0d1b92812901885c0f181fa0de0a633085e6f41e610d27611512565b30604051602001610d3b9493929190612039565b6040516020818303038152906040528051906020012090506000604051610d6190611f3b565b604080519182900382206001600160a01b038d16600090815260076020908152929020805460018101909155610da39391928e928e928e9290918e9101611fa1565b60405160208183030381529060405280519060200120905060008282604051602001610dd0929190611f0a565b604051602081830303815290604052805190602001209050600060018289898960405160008152602001604052604051610e0d949392919061206e565b6020604051602081039080840390855afa158015610e2f573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116610e625760405162461bcd60e51b81526004016105d69061211a565b8b6001600160a01b0316816001600160a01b031614610e935760405162461bcd60e51b81526004016105d6906120da565b88421115610eb35760405162461bcd60e51b81526004016105d69061209a565b84600260008e6001600160a01b03166001600160a01b0316815260200190815260200160002060008d6001600160a01b03166001600160a01b0316815260200190815260200160002060006101000a8154816001600160601b0302191690836001600160601b031602179055508a6001600160a01b03168c6001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610f6391906121a1565b60405180910390a3505050505050505050505050565b6001600160a01b0391821660009081526002602090815260408083209390941682529190915220546001600160601b031690565b60405161044790611f51565b600560209081526000928352604080842090915290825290205463ffffffff811690600160201b90046001600160601b031682565b6001546001600160a01b031633146110185760405162461bcd60e51b81526004016105d6906120ca565b6001546040517f3b0007eb941cf645526cbb3a4fdaecda9d28ce4843167d9263b536a1f1edc0f691611057916001600160a01b03909116908490611f6a565b60405180910390a1600180546001600160a01b0319166001600160a01b0392909216919091179055565b600081600160601b84106110a85760405162461bcd60e51b81526004016105d69190612089565b509192915050565b6000836001600160601b0316836001600160601b0316111582906110e75760405162461bcd60e51b81526004016105d69190612089565b505050900390565b6001600160a01b0383166111155760405162461bcd60e51b81526004016105d6906120fa565b6001600160a01b03821661113b5760405162461bcd60e51b81526004016105d69061210a565b6001600160a01b038316600090815260036020908152604091829020548251606081019093526036808452611186936001600160601b0390921692859291906123ce908301396110b0565b6001600160a01b03848116600090815260036020908152604080832080546001600160601b0319166001600160601b039687161790559286168252908290205482516060810190935260308084526111ee9491909116928592909190612468908301396112ba565b6001600160a01b038381166000818152600360205260409081902080546001600160601b0319166001600160601b0395909516949094179093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061125b9085906121a1565b60405180910390a36001600160a01b0380841660009081526004602052604080822054858416835291205461074a929182169116836112f6565b6000828201838110156105945760405162461bcd60e51b81526004016105d6906120ba565b6000838301826001600160601b0380871690831610156112ed5760405162461bcd60e51b81526004016105d69190612089565b50949350505050565b816001600160a01b0316836001600160a01b03161415801561132157506000816001600160601b0316115b1561074a576001600160a01b038316156113d9576001600160a01b03831660009081526006602052604081205463ffffffff1690816113615760006113a0565b6001600160a01b0385166000908152600560209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b905060006113c78285604051806060016040528060288152602001612295602891396110b0565b90506113d586848484611516565b5050505b6001600160a01b0382161561074a576001600160a01b03821660009081526006602052604081205463ffffffff169081611414576000611453565b6001600160a01b0384166000908152600560209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b9050600061147a8285604051806060016040528060278152602001612382602791396112ba565b9050610c8385848484611516565b6001600160a01b03808316600081815260046020818152604080842080546003845282862054949093528787166001600160a01b031984168117909155905191909516946001600160601b039092169391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a461150c8284836112f6565b50505050565b4690565b600061153a4360405180606001604052806034815260200161234e603491396116cb565b905060008463ffffffff1611801561158357506001600160a01b038516600090815260056020908152604080832063ffffffff6000198901811685529252909120548282169116145b156115e2576001600160a01b0385166000908152600560209081526040808320600019880163ffffffff168452909152902080546fffffffffffffffffffffffff000000001916600160201b6001600160601b03851602179055611681565b60408051808201825263ffffffff80841682526001600160601b0380861660208085019182526001600160a01b038b166000818152600583528781208c871682528352878120965187549451909516600160201b026fffffffffffffffffffffffff000000001995871663ffffffff19958616179590951694909417909555938252600690935292909220805460018801909316929091169190911790555b846001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a72484846040516116bc9291906121bd565b60405180910390a25050505050565b600081600160201b84106110a85760405162461bcd60e51b81526004016105d69190612089565b604080518082019091526000808252602082015290565b803561042f81612265565b803561042f81612279565b803561042f81612282565b803561042f8161228b565b60006020828403121561174757600080fd5b60006117538484611709565b949350505050565b6000806040838503121561176e57600080fd5b600061177a8585611709565b925050602061178b85828601611709565b9150509250929050565b6000806000606084860312156117aa57600080fd5b60006117b68686611709565b93505060206117c786828701611709565b92505060406117d886828701611714565b9150509250925092565b600080600080600080600060e0888a0312156117fd57600080fd5b60006118098a8a611709565b975050602061181a8a828b01611709565b965050604061182b8a828b01611714565b955050606061183c8a828b01611714565b945050608061184d8a828b0161172a565b93505060a061185e8a828b01611714565b92505060c061186f8a828b01611714565b91505092959891949750929550565b6000806040838503121561189157600080fd5b600061189d8585611709565b925050602061178b85828601611714565b60008060008060008060c087890312156118c757600080fd5b60006118d38989611709565b96505060206118e489828a01611714565b95505060406118f589828a01611714565b945050606061190689828a0161172a565b935050608061191789828a01611714565b92505060a061192889828a01611714565b9150509295509295509295565b6000806040838503121561194857600080fd5b60006119548585611709565b925050602061178b8582860161171f565b61196e816121ea565b82525050565b61196e816121f5565b61196e816121fa565b61196e611992826121fa565b6121fa565b60006119a2826121d8565b6119ac81856121dc565b93506119bc81856020860161222f565b6119c58161225b565b9093019392505050565b60006119dc601f836121dc565b7f4250524f3a3a7065726d69743a207369676e6174757265206578706972656400815260200192915050565b6000611a156024836121dc565b7f4250524f3a3a6d696e743a206f6e6c7920746865206d696e7465722063616e208152631b5a5b9d60e21b602082015260400192915050565b6000611a5b6002836121e5565b61190160f01b815260020192915050565b6000611a79601b836121dc565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000815260200192915050565b6000611ab2603e836121dc565b7f4250524f3a3a7365744d696e7465723a206f6e6c7920746865206d696e74657281527f2063616e206368616e676520746865206d696e74657220616464726573730000602082015260400192915050565b6000611b11601a836121dc565b7f4250524f3a3a7065726d69743a20756e617574686f72697a6564000000000000815260200192915050565b6000611b4a6052836121e5565b7f5065726d69742861646472657373206f776e65722c616464726573732073706581527f6e6465722c75696e743235362076616c75652c75696e74323536206e6f6e63656020820152712c75696e7432353620646561646c696e652960701b604082015260520192915050565b6000611bc46026836121dc565b7f4250524f3a3a64656c656761746542795369673a20696e76616c6964207369678152656e617475726560d01b602082015260400192915050565b6000611c0c603c836121dc565b7f4250524f3a3a5f7472616e73666572546f6b656e733a2063616e6e6f7420747281527f616e736665722066726f6d20746865207a65726f206164647265737300000000602082015260400192915050565b6000611c6b603a836121dc565b7f4250524f3a3a5f7472616e73666572546f6b656e733a2063616e6e6f7420747281527f616e7366657220746f20746865207a65726f2061646472657373000000000000602082015260400192915050565b6000611cca6043836121e5565b7f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353681527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208201526263742960e81b604082015260430192915050565b6000611d35601f836121dc565b7f4250524f3a3a7065726d69743a20696e76616c6964207369676e617475726500815260200192915050565b6000611d6e6022836121dc565b7f4250524f3a3a64656c656761746542795369673a20696e76616c6964206e6f6e815261636560f01b602082015260400192915050565b6000611db26026836121dc565b7f4250524f3a3a64656c656761746542795369673a207369676e617475726520658152651e1c1a5c995960d21b602082015260400192915050565b6000611dfa6027836121dc565b7f4250524f3a3a6765745072696f72566f7465733a206e6f742079657420646574815266195c9b5a5b995960ca1b602082015260400192915050565b6000611e43603a836121e5565b7f44656c65676174696f6e28616464726573732064656c6567617465652c75696e81527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020820152603a0192915050565b6000611ea2602f836121dc565b7f4250524f3a3a6d696e743a2063616e6e6f74207472616e7366657220746f207481526e6865207a65726f206164647265737360881b602082015260400192915050565b61196e81612209565b61196e81612212565b61196e81612224565b61196e81612218565b6000611f1582611a4e565b9150611f218285611986565b602082019150611f318284611986565b5060200192915050565b600061042f82611b3d565b600061042f82611cbd565b600061042f82611e36565b6020810161042f8284611965565b60408101611f788285611965565b6105946020830184611965565b6020810161042f8284611974565b6020810161042f828461197d565b60c08101611faf828961197d565b611fbc6020830188611965565b611fc96040830187611965565b611fd6606083018661197d565b611fe3608083018561197d565b611ff060a083018461197d565b979650505050505050565b60808101612009828761197d565b6120166020830186611965565b612023604083018561197d565b612030606083018461197d565b95945050505050565b60808101612047828761197d565b612054602083018661197d565b612061604083018561197d565b6120306060830184611965565b6080810161207c828761197d565b6120166020830186611eef565b602080825281016105948184611997565b6020808252810161042f816119cf565b6020808252810161042f81611a08565b6020808252810161042f81611a6c565b6020808252810161042f81611aa5565b6020808252810161042f81611b04565b6020808252810161042f81611bb7565b6020808252810161042f81611bff565b6020808252810161042f81611c5e565b6020808252810161042f81611d28565b6020808252810161042f81611d61565b6020808252810161042f81611da5565b6020808252810161042f81611ded565b6020808252810161042f81611e95565b6020810161042f8284611ee6565b604081016121868285611ee6565b6105946020830184611f01565b6020810161042f8284611eef565b6020810161042f8284611ef8565b6020810161042f8284611f01565b604081016121cb8285611ef8565b6105946020830184611ef8565b5190565b90815260200190565b919050565b600061042f826121fd565b151590565b90565b6001600160a01b031690565b63ffffffff1690565b60ff1690565b6001600160601b031690565b600061042f82612218565b60005b8381101561224a578181015183820152602001612232565b8381111561150c5750506000910152565b601f01601f191690565b61226e816121ea565b811461077457600080fd5b61226e816121fa565b61226e81612209565b61226e8161221256fe4250524f3a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f77734250524f3a3a617070726f76653a20616d6f756e74206578636565647320393620626974734250524f3a3a7065726d69743a20616d6f756e74206578636565647320393620626974734250524f3a3a6d696e743a20616d6f756e74206578636565647320393620626974734250524f3a3a7472616e736665723a20616d6f756e74206578636565647320393620626974734250524f3a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d626572206578636565647320333220626974734250524f3a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f77734250524f3a3a6d696e743a207472616e7366657220616d6f756e74206f766572666c6f77734250524f3a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e63654250524f3a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e63654250524f3a3a6d696e743a20746f74616c537570706c79206578636565647320393620626974734250524f3a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f7773a365627a7a723158204d8006f21e7d893b4564e807d5c227d1b109d2c29b3e777806c5dfca84a9e3936c6578706572696d656e74616cf564736f6c63430005100040000000000000000000000000f7d44d5a28d5af27a7f9c8fc6efe0129e554d7c4

0x608060405234801561001057600080fd5b50600436106101585760003560e01c806370a08231116100c3578063c3cda5201161007c578063c3cda520146102cc578063d505accf146102df578063dd62ed3e146102f2578063e7a324dc14610305578063f1127ed81461030d578063fca3b5aa1461032e57610158565b806370a0823114610258578063782d6fe11461026b5780637ecebe001461028b57806395d89b411461029e578063a9059cbb146102a6578063b4b5ea57146102b957610158565b806330adf81f1161011557806330adf81f146101e0578063313ce567146101e857806340c10f19146101fd578063587cde1e146102125780635c19a95c146102255780636fcfff451461023857610158565b806306fdde031461015d578063075461721461017b578063095ea7b31461019057806318160ddd146101b057806320606b70146101c557806323b872dd146101cd575b600080fd5b610165610341565b6040516101729190612089565b60405180910390f35b610183610367565b6040516101729190611f5c565b6101a361019e36600461187e565b610376565b6040516101729190611f85565b6101b8610435565b6040516101729190611f93565b6101b861043b565b6101a36101db366004611795565b610452565b6101b861059b565b6101f06105a7565b6040516101729190612193565b61021061020b36600461187e565b6105ac565b005b610183610220366004611735565b61074f565b610210610233366004611735565b61076a565b61024b610246366004611735565b610777565b604051610172919061216a565b6101b8610266366004611735565b61078f565b61027e61027936600461187e565b6107b3565b60405161017291906121af565b6101b8610299366004611735565b6109c1565b6101656109d3565b6101a36102b436600461187e565b6109f3565b61027e6102c7366004611735565b610a2f565b6102106102da3660046118ae565b610a9f565b6102106102ed3660046117e2565b610c8b565b6101b861030036600461175b565b610f79565b6101b8610fad565b61032061031b366004611935565b610fb9565b604051610172929190612178565b61021061033c366004611735565b610fee565b6040518060400160405280600a815260200169108b941c9bdd1bd8dbdb60b21b81525081565b6001546001600160a01b031681565b60008060001983141561038c57506000196103b1565b6103ae836040518060600160405280602581526020016122bd60259139611081565b90505b3360008181526002602090815260408083206001600160a01b03891680855292529182902080546001600160601b0319166001600160601b03861617905590519091907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906104219085906121a1565b60405180910390a360019150505b92915050565b60005481565b60405161044790611f46565b604051809103902081565b6001600160a01b03831660009081526002602090815260408083203380855290835281842054825160608101909352602580845291936001600160601b039091169285926104aa92889291906122bd90830139611081565b9050866001600160a01b0316836001600160a01b0316141580156104d757506001600160601b0382811614155b1561058157600061050183836040518060600160405280603d8152602001612404603d91396110b0565b6001600160a01b038981166000818152600260209081526040808320948a16808452949091529081902080546001600160601b0319166001600160601b0386161790555192935090917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906105779085906121a1565b60405180910390a3505b61058c8787836110ef565b600193505050505b9392505050565b60405161044790611f3b565b601281565b6001546001600160a01b031633146105df5760405162461bcd60e51b81526004016105d6906120aa565b60405180910390fd5b6001600160a01b0382166106055760405162461bcd60e51b81526004016105d69061215a565b60006106298260405180606001604052806022815260200161230660229139611081565b9050610661610643600054836001600160601b0316611295565b60405180606001604052806027815260200161244160279139611081565b6001600160601b0390811660009081556001600160a01b0385168152600360209081526040918290205482516060810190935260258084526106b394919091169285929091906123a9908301396112ba565b6001600160a01b03841660008181526003602052604080822080546001600160601b0319166001600160601b03959095169490941790935591519091907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061071d9085906121a1565b60405180910390a36001600160a01b0380841660009081526004602052604081205461074a9216836112f6565b505050565b6004602052600090815260409020546001600160a01b031681565b6107743382611488565b50565b60066020526000908152604090205463ffffffff1681565b6001600160a01b03166000908152600360205260409020546001600160601b031690565b60004382106107d45760405162461bcd60e51b81526004016105d69061214a565b6001600160a01b03831660009081526006602052604090205463ffffffff168061080257600091505061042f565b6001600160a01b038416600090815260056020908152604080832063ffffffff60001986018116855292529091205416831061087e576001600160a01b03841660009081526005602090815260408083206000199490940163ffffffff1683529290522054600160201b90046001600160601b0316905061042f565b6001600160a01b038416600090815260056020908152604080832083805290915290205463ffffffff168310156108b957600091505061042f565b600060001982015b8163ffffffff168163ffffffff16111561097c57600282820363ffffffff160481036108eb6116f2565b506001600160a01b038716600090815260056020908152604080832063ffffffff858116855290835292819020815180830190925254928316808252600160201b9093046001600160601b031691810191909152908714156109575760200151945061042f9350505050565b805163ffffffff1687111561096e57819350610975565b6001820392505b50506108c1565b506001600160a01b038516600090815260056020908152604080832063ffffffff909416835292905220546001600160601b03600160201b9091041691505092915050565b60076020526000908152604090205481565b604051806040016040528060048152602001634250524f60e01b81525081565b600080610a188360405180606001604052806026815260200161232860269139611081565b9050610a253385836110ef565b5060019392505050565b6001600160a01b03811660009081526006602052604081205463ffffffff1680610a5a576000610594565b6001600160a01b0383166000908152600560209081526040808320600019850163ffffffff168452909152902054600160201b90046001600160601b03169392505050565b6000604051610aad90611f46565b60408051918290038220828201909152600a825269108b941c9bdd1bd8dbdb60b21b6020909201919091527f3ef1f0b385c411132d2461aa0d1b92812901885c0f181fa0de0a633085e6f41e610b01611512565b30604051602001610b159493929190612039565b6040516020818303038152906040528051906020012090506000604051610b3b90611f51565b604051908190038120610b56918a908a908a90602001611ffb565b60405160208183030381529060405280519060200120905060008282604051602001610b83929190611f0a565b604051602081830303815290604052805190602001209050600060018288888860405160008152602001604052604051610bc0949392919061206e565b6020604051602081039080840390855afa158015610be2573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116610c155760405162461bcd60e51b81526004016105d6906120ea565b6001600160a01b03811660009081526007602052604090208054600181019091558914610c545760405162461bcd60e51b81526004016105d69061212a565b87421115610c745760405162461bcd60e51b81526004016105d69061213a565b610c7e818b611488565b505050505b505050505050565b6000600019861415610ca05750600019610cc5565b610cc2866040518060600160405280602481526020016122e260249139611081565b90505b6000604051610cd390611f46565b60408051918290038220828201909152600a825269108b941c9bdd1bd8dbdb60b21b6020909201919091527f3ef1f0b385c411132d2461aa0d1b92812901885c0f181fa0de0a633085e6f41e610d27611512565b30604051602001610d3b9493929190612039565b6040516020818303038152906040528051906020012090506000604051610d6190611f3b565b604080519182900382206001600160a01b038d16600090815260076020908152929020805460018101909155610da39391928e928e928e9290918e9101611fa1565b60405160208183030381529060405280519060200120905060008282604051602001610dd0929190611f0a565b604051602081830303815290604052805190602001209050600060018289898960405160008152602001604052604051610e0d949392919061206e565b6020604051602081039080840390855afa158015610e2f573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116610e625760405162461bcd60e51b81526004016105d69061211a565b8b6001600160a01b0316816001600160a01b031614610e935760405162461bcd60e51b81526004016105d6906120da565b88421115610eb35760405162461bcd60e51b81526004016105d69061209a565b84600260008e6001600160a01b03166001600160a01b0316815260200190815260200160002060008d6001600160a01b03166001600160a01b0316815260200190815260200160002060006101000a8154816001600160601b0302191690836001600160601b031602179055508a6001600160a01b03168c6001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610f6391906121a1565b60405180910390a3505050505050505050505050565b6001600160a01b0391821660009081526002602090815260408083209390941682529190915220546001600160601b031690565b60405161044790611f51565b600560209081526000928352604080842090915290825290205463ffffffff811690600160201b90046001600160601b031682565b6001546001600160a01b031633146110185760405162461bcd60e51b81526004016105d6906120ca565b6001546040517f3b0007eb941cf645526cbb3a4fdaecda9d28ce4843167d9263b536a1f1edc0f691611057916001600160a01b03909116908490611f6a565b60405180910390a1600180546001600160a01b0319166001600160a01b0392909216919091179055565b600081600160601b84106110a85760405162461bcd60e51b81526004016105d69190612089565b509192915050565b6000836001600160601b0316836001600160601b0316111582906110e75760405162461bcd60e51b81526004016105d69190612089565b505050900390565b6001600160a01b0383166111155760405162461bcd60e51b81526004016105d6906120fa565b6001600160a01b03821661113b5760405162461bcd60e51b81526004016105d69061210a565b6001600160a01b038316600090815260036020908152604091829020548251606081019093526036808452611186936001600160601b0390921692859291906123ce908301396110b0565b6001600160a01b03848116600090815260036020908152604080832080546001600160601b0319166001600160601b039687161790559286168252908290205482516060810190935260308084526111ee9491909116928592909190612468908301396112ba565b6001600160a01b038381166000818152600360205260409081902080546001600160601b0319166001600160601b0395909516949094179093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061125b9085906121a1565b60405180910390a36001600160a01b0380841660009081526004602052604080822054858416835291205461074a929182169116836112f6565b6000828201838110156105945760405162461bcd60e51b81526004016105d6906120ba565b6000838301826001600160601b0380871690831610156112ed5760405162461bcd60e51b81526004016105d69190612089565b50949350505050565b816001600160a01b0316836001600160a01b03161415801561132157506000816001600160601b0316115b1561074a576001600160a01b038316156113d9576001600160a01b03831660009081526006602052604081205463ffffffff1690816113615760006113a0565b6001600160a01b0385166000908152600560209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b905060006113c78285604051806060016040528060288152602001612295602891396110b0565b90506113d586848484611516565b5050505b6001600160a01b0382161561074a576001600160a01b03821660009081526006602052604081205463ffffffff169081611414576000611453565b6001600160a01b0384166000908152600560209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b9050600061147a8285604051806060016040528060278152602001612382602791396112ba565b9050610c8385848484611516565b6001600160a01b03808316600081815260046020818152604080842080546003845282862054949093528787166001600160a01b031984168117909155905191909516946001600160601b039092169391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a461150c8284836112f6565b50505050565b4690565b600061153a4360405180606001604052806034815260200161234e603491396116cb565b905060008463ffffffff1611801561158357506001600160a01b038516600090815260056020908152604080832063ffffffff6000198901811685529252909120548282169116145b156115e2576001600160a01b0385166000908152600560209081526040808320600019880163ffffffff168452909152902080546fffffffffffffffffffffffff000000001916600160201b6001600160601b03851602179055611681565b60408051808201825263ffffffff80841682526001600160601b0380861660208085019182526001600160a01b038b166000818152600583528781208c871682528352878120965187549451909516600160201b026fffffffffffffffffffffffff000000001995871663ffffffff19958616179590951694909417909555938252600690935292909220805460018801909316929091169190911790555b846001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a72484846040516116bc9291906121bd565b60405180910390a25050505050565b600081600160201b84106110a85760405162461bcd60e51b81526004016105d69190612089565b604080518082019091526000808252602082015290565b803561042f81612265565b803561042f81612279565b803561042f81612282565b803561042f8161228b565b60006020828403121561174757600080fd5b60006117538484611709565b949350505050565b6000806040838503121561176e57600080fd5b600061177a8585611709565b925050602061178b85828601611709565b9150509250929050565b6000806000606084860312156117aa57600080fd5b60006117b68686611709565b93505060206117c786828701611709565b92505060406117d886828701611714565b9150509250925092565b600080600080600080600060e0888a0312156117fd57600080fd5b60006118098a8a611709565b975050602061181a8a828b01611709565b965050604061182b8a828b01611714565b955050606061183c8a828b01611714565b945050608061184d8a828b0161172a565b93505060a061185e8a828b01611714565b92505060c061186f8a828b01611714565b91505092959891949750929550565b6000806040838503121561189157600080fd5b600061189d8585611709565b925050602061178b85828601611714565b60008060008060008060c087890312156118c757600080fd5b60006118d38989611709565b96505060206118e489828a01611714565b95505060406118f589828a01611714565b945050606061190689828a0161172a565b935050608061191789828a01611714565b92505060a061192889828a01611714565b9150509295509295509295565b6000806040838503121561194857600080fd5b60006119548585611709565b925050602061178b8582860161171f565b61196e816121ea565b82525050565b61196e816121f5565b61196e816121fa565b61196e611992826121fa565b6121fa565b60006119a2826121d8565b6119ac81856121dc565b93506119bc81856020860161222f565b6119c58161225b565b9093019392505050565b60006119dc601f836121dc565b7f4250524f3a3a7065726d69743a207369676e6174757265206578706972656400815260200192915050565b6000611a156024836121dc565b7f4250524f3a3a6d696e743a206f6e6c7920746865206d696e7465722063616e208152631b5a5b9d60e21b602082015260400192915050565b6000611a5b6002836121e5565b61190160f01b815260020192915050565b6000611a79601b836121dc565b7f536166654d6174683a206164646974696f6e206f766572666c6f770000000000815260200192915050565b6000611ab2603e836121dc565b7f4250524f3a3a7365744d696e7465723a206f6e6c7920746865206d696e74657281527f2063616e206368616e676520746865206d696e74657220616464726573730000602082015260400192915050565b6000611b11601a836121dc565b7f4250524f3a3a7065726d69743a20756e617574686f72697a6564000000000000815260200192915050565b6000611b4a6052836121e5565b7f5065726d69742861646472657373206f776e65722c616464726573732073706581527f6e6465722c75696e743235362076616c75652c75696e74323536206e6f6e63656020820152712c75696e7432353620646561646c696e652960701b604082015260520192915050565b6000611bc46026836121dc565b7f4250524f3a3a64656c656761746542795369673a20696e76616c6964207369678152656e617475726560d01b602082015260400192915050565b6000611c0c603c836121dc565b7f4250524f3a3a5f7472616e73666572546f6b656e733a2063616e6e6f7420747281527f616e736665722066726f6d20746865207a65726f206164647265737300000000602082015260400192915050565b6000611c6b603a836121dc565b7f4250524f3a3a5f7472616e73666572546f6b656e733a2063616e6e6f7420747281527f616e7366657220746f20746865207a65726f2061646472657373000000000000602082015260400192915050565b6000611cca6043836121e5565b7f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353681527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208201526263742960e81b604082015260430192915050565b6000611d35601f836121dc565b7f4250524f3a3a7065726d69743a20696e76616c6964207369676e617475726500815260200192915050565b6000611d6e6022836121dc565b7f4250524f3a3a64656c656761746542795369673a20696e76616c6964206e6f6e815261636560f01b602082015260400192915050565b6000611db26026836121dc565b7f4250524f3a3a64656c656761746542795369673a207369676e617475726520658152651e1c1a5c995960d21b602082015260400192915050565b6000611dfa6027836121dc565b7f4250524f3a3a6765745072696f72566f7465733a206e6f742079657420646574815266195c9b5a5b995960ca1b602082015260400192915050565b6000611e43603a836121e5565b7f44656c65676174696f6e28616464726573732064656c6567617465652c75696e81527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020820152603a0192915050565b6000611ea2602f836121dc565b7f4250524f3a3a6d696e743a2063616e6e6f74207472616e7366657220746f207481526e6865207a65726f206164647265737360881b602082015260400192915050565b61196e81612209565b61196e81612212565b61196e81612224565b61196e81612218565b6000611f1582611a4e565b9150611f218285611986565b602082019150611f318284611986565b5060200192915050565b600061042f82611b3d565b600061042f82611cbd565b600061042f82611e36565b6020810161042f8284611965565b60408101611f788285611965565b6105946020830184611965565b6020810161042f8284611974565b6020810161042f828461197d565b60c08101611faf828961197d565b611fbc6020830188611965565b611fc96040830187611965565b611fd6606083018661197d565b611fe3608083018561197d565b611ff060a083018461197d565b979650505050505050565b60808101612009828761197d565b6120166020830186611965565b612023604083018561197d565b612030606083018461197d565b95945050505050565b60808101612047828761197d565b612054602083018661197d565b612061604083018561197d565b6120306060830184611965565b6080810161207c828761197d565b6120166020830186611eef565b602080825281016105948184611997565b6020808252810161042f816119cf565b6020808252810161042f81611a08565b6020808252810161042f81611a6c565b6020808252810161042f81611aa5565b6020808252810161042f81611b04565b6020808252810161042f81611bb7565b6020808252810161042f81611bff565b6020808252810161042f81611c5e565b6020808252810161042f81611d28565b6020808252810161042f81611d61565b6020808252810161042f81611da5565b6020808252810161042f81611ded565b6020808252810161042f81611e95565b6020810161042f8284611ee6565b604081016121868285611ee6565b6105946020830184611f01565b6020810161042f8284611eef565b6020810161042f8284611ef8565b6020810161042f8284611f01565b604081016121cb8285611ef8565b6105946020830184611ef8565b5190565b90815260200190565b919050565b600061042f826121fd565b151590565b90565b6001600160a01b031690565b63ffffffff1690565b60ff1690565b6001600160601b031690565b600061042f82612218565b60005b8381101561224a578181015183820152602001612232565b8381111561150c5750506000910152565b601f01601f191690565b61226e816121ea565b811461077457600080fd5b61226e816121fa565b61226e81612209565b61226e8161221256fe4250524f3a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f77734250524f3a3a617070726f76653a20616d6f756e74206578636565647320393620626974734250524f3a3a7065726d69743a20616d6f756e74206578636565647320393620626974734250524f3a3a6d696e743a20616d6f756e74206578636565647320393620626974734250524f3a3a7472616e736665723a20616d6f756e74206578636565647320393620626974734250524f3a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d626572206578636565647320333220626974734250524f3a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f77734250524f3a3a6d696e743a207472616e7366657220616d6f756e74206f766572666c6f77734250524f3a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e63654250524f3a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e63654250524f3a3a6d696e743a20746f74616c537570706c79206578636565647320393620626974734250524f3a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f7773a365627a7a723158204d8006f21e7d893b4564e807d5c227d1b109d2c29b3e777806c5dfca84a9e3936c6578706572696d656e74616cf564736f6c63430005100040

000000000000000000000000f7d44d5a28d5af27a7f9c8fc6efe0129e554d7c4

-----Decoded View---------------
Arg [0] : minter_ (address): 0xf7D44D5a28d5AF27a7F9c8fc6eFe0129e554d7c4

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000f7d44d5a28d5af27a7f9c8fc6efe0129e554d7c4

8990:17037:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8990:17037:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9061:42;;;:::i;:::-;;;;;;;;;;;;;;;;9451:21;;;:::i;:::-;;;;;;;;15264:419;;;;;;;;;:::i;:::-;;;;;;;;9364:27;;;:::i;:::-;;;;;;;;10691:122;;;:::i;18350:672::-;;;;;;;;;:::i;11114:137::-;;;:::i;9265:35::-;;;:::i;:::-;;;;;;;;13277:1069;;;;;;;;;:::i;:::-;;10141:45;;;;;;;;;:::i;19170:102::-;;;;;;;;;:::i;10569:49::-;;;;;;;;;:::i;:::-;;;;;;;;17430:108;;;;;;;;;:::i;21349:1218::-;;;;;;;;;:::i;:::-;;;;;;;;11332:39;;;;;;;;;:::i;9164:38::-;;;:::i;17802:238::-;;;;;;;;;:::i;20696:222::-;;;;;;;;;:::i;19706:789::-;;;;;;;;;:::i;16173:1054::-;;;;;;;;;:::i;14650:136::-;;;;;;;;;:::i;10907:117::-;;;:::i;10430:70::-;;;;;;;;;:::i;:::-;;;;;;;;;12870:232;;;;;;;;;:::i;9061:42::-;;;;;;;;;;;;;;-1:-1:-1;;;9061:42:0;;;;:::o;9451:21::-;;;-1:-1:-1;;;;;9451:21:0;;:::o;15264:419::-;15332:4;15349:13;-1:-1:-1;;15377:9:0;:21;15373:173;;;-1:-1:-1;;;15373:173:0;;;15476:58;15483:9;15476:58;;;;;;;;;;;;;;;;;:6;:58::i;:::-;15467:67;;15373:173;15569:10;15558:22;;;;:10;:22;;;;;;;;-1:-1:-1;;;;;15558:31:0;;;;;;;;;;;:40;;-1:-1:-1;;;;;;15558:40:0;-1:-1:-1;;;;;15558:40:0;;;;;15616:37;;15558:31;;15569:10;15616:37;;;;15558:40;;15616:37;;;;;;;;;;15671:4;15664:11;;;15264:419;;;;;:::o;9364:27::-;;;;:::o;10691:122::-;10733:80;;;;;;;;;;;;;;10691:122;:::o;18350:672::-;-1:-1:-1;;;;;18514:15:0;;18432:4;18514:15;;;:10;:15;;;;;;;;18467:10;18514:24;;;;;;;;;;18565:58;;;;;;;;;;;;18467:10;;-1:-1:-1;;;;;18514:24:0;;;;18432:4;;18565:58;;18572:9;;18565:58;;;;;;;:6;:58::i;:::-;18549:74;;18651:3;-1:-1:-1;;;;;18640:14:0;:7;-1:-1:-1;;;;;18640:14:0;;;:48;;;;-1:-1:-1;;;;;;18658:30:0;;;;;18640:48;18636:311;;;18705:19;18727:96;18733:16;18751:6;18727:96;;;;;;;;;;;;;;;;;:5;:96::i;:::-;-1:-1:-1;;;;;18838:15:0;;;;;;;:10;:15;;;;;;;;:24;;;;;;;;;;;;;;:39;;-1:-1:-1;;;;;;18838:39:0;-1:-1:-1;;;;;18838:39:0;;;;;18899:36;18838:39;;-1:-1:-1;18838:24:0;;18899:36;;;;18838:39;;18899:36;;;;;;;;;;18636:311;;18959:33;18975:3;18980;18985:6;18959:15;:33::i;:::-;19010:4;19003:11;;;;;18350:672;;;;;;:::o;11114:137::-;11156:95;;;;;;9265:35;9298:2;9265:35;:::o;13277:1069::-;13362:6;;-1:-1:-1;;;;;13362:6:0;13348:10;:20;13340:69;;;;-1:-1:-1;;;13340:69:0;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;13526:17:0;;13518:77;;;;-1:-1:-1;;;13518:77:0;;;;;;;;;13755:13;13771:55;13778:9;13771:55;;;;;;;;;;;;;;;;;:6;:55::i;:::-;13755:71;;13968:84;13975:33;13988:11;;14001:6;-1:-1:-1;;;;;13975:33:0;:12;:33::i;:::-;13968:84;;;;;;;;;;;;;;;;;:6;:84::i;:::-;-1:-1:-1;;;;;13954:98:0;;;:11;:98;;;-1:-1:-1;;;;;14136:13:0;;;;:8;:13;;;;;;;;;;14130:69;;;;;;;;;;;;;;14136:13;;;;;14151:6;;14130:69;;;;;;;;:5;:69::i;:::-;-1:-1:-1;;;;;14114:13:0;;;;;;:8;:13;;;;;;:85;;-1:-1:-1;;;;;;14114:85:0;-1:-1:-1;;;;;14114:85:0;;;;;;;;;;;14215:33;;14114:13;;;14215:33;;;;14241:6;;14215:33;;;;;;;;;;-1:-1:-1;;;;;14315:14:0;;;14311:1;14315:14;;;:9;:14;;;;;;14288:50;;14315:14;14331:6;14288:14;:50::i;:::-;13277:1069;;;:::o;10141:45::-;;;;;;;;;;;;-1:-1:-1;;;;;10141:45:0;;:::o;19170:102::-;19232:32;19242:10;19254:9;19232;:32::i;:::-;19170:102;:::o;10569:49::-;;;;;;;;;;;;;;;:::o;17430:108::-;-1:-1:-1;;;;;17513:17:0;17489:4;17513:17;;;:8;:17;;;;;;-1:-1:-1;;;;;17513:17:0;;17430:108::o;21349:1218::-;21428:6;21469:12;21455:11;:26;21447:78;;;;-1:-1:-1;;;21447:78:0;;;;;;;;;-1:-1:-1;;;;;21560:23:0;;21538:19;21560:23;;;:14;:23;;;;;;;;21598:17;21594:58;;21639:1;21632:8;;;;;21594:58;-1:-1:-1;;;;;21712:20:0;;;;;;:11;:20;;;;;;;;:38;-1:-1:-1;;21733:16:0;;21712:38;;;;;;;;;:48;;:63;-1:-1:-1;21708:147:0;;-1:-1:-1;;;;;21799:20:0;;;;;;:11;:20;;;;;;;;-1:-1:-1;;21820:16:0;;;;21799:38;;;;;;;;:44;-1:-1:-1;;;21799:44:0;;-1:-1:-1;;;;;21799:44:0;;-1:-1:-1;21792:51:0;;21708:147;-1:-1:-1;;;;;21916:20:0;;;;;;:11;:20;;;;;;;;:23;;;;;;;;:33;:23;:33;:47;-1:-1:-1;21912:88:0;;;21987:1;21980:8;;;;;21912:88;22012:12;-1:-1:-1;;22054:16:0;;22081:428;22096:5;22088:13;;:5;:13;;;22081:428;;;22160:1;22143:13;;;22142:19;;;22134:27;;22203:20;;:::i;:::-;-1:-1:-1;;;;;;22226:20:0;;;;;;:11;:20;;;;;;;;:28;;;;;;;;;;;;;22203:51;;;;;;;;;;;;;;;-1:-1:-1;;;22203:51:0;;;-1:-1:-1;;;;;22203:51:0;;;;;;;;;22273:27;;22269:229;;;22328:8;;;;-1:-1:-1;22321:15:0;;-1:-1:-1;;;;22321:15:0;22269:229;22362:12;;:26;;;-1:-1:-1;22358:140:0;;;22417:6;22409:14;;22358:140;;;22481:1;22472:6;:10;22464:18;;22358:140;22081:428;;;;;-1:-1:-1;;;;;;22526:20:0;;;;;;:11;:20;;;;;;;;:27;;;;;;;;;;:33;-1:-1:-1;;;;;;;;22526:33:0;;;;;-1:-1:-1;;21349:1218:0;;;;:::o;11332:39::-;;;;;;;;;;;;;:::o;9164:38::-;;;;;;;;;;;;;;-1:-1:-1;;;9164:38:0;;;;:::o;17802:238::-;17867:4;17884:13;17900:59;17907:9;17900:59;;;;;;;;;;;;;;;;;:6;:59::i;:::-;17884:75;;17970:40;17986:10;17998:3;18003:6;17970:15;:40::i;:::-;-1:-1:-1;18028:4:0;;17802:238;-1:-1:-1;;;17802:238:0:o;20696:222::-;-1:-1:-1;;;;;20802:23:0;;20761:6;20802:23;;;:14;:23;;;;;;;;20843:16;:67;;20909:1;20843:67;;;-1:-1:-1;;;;;20862:20:0;;;;;;:11;:20;;;;;;;;-1:-1:-1;;20883:16:0;;20862:38;;;;;;;;;:44;-1:-1:-1;;;20862:44:0;;-1:-1:-1;;;;;20862:44:0;20836:74;20696:222;-1:-1:-1;;;20696:222:0:o;19706:789::-;19822:23;10733:80;;;;;;;;;;;;;;;;19902:4;;;;;;;;;-1:-1:-1;;;19902:4:0;;;;;;;;19886:22;19910:12;:10;:12::i;:::-;19932:4;19858:80;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;19858:80:0;;;19848:91;;;;;;19822:117;;19950:18;10953:71;;;;;;;;;;;;;;;19981:57;;20013:9;;20024:5;;20031:6;;19981:57;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;19981:57:0;;;19971:68;;;;;;19950:89;;20050:14;20106:15;20123:10;20077:57;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;20077:57:0;;;20067:68;;;;;;20050:85;;20146:17;20166:26;20176:6;20184:1;20187;20190;20166:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;20166:26:0;;-1:-1:-1;;20166:26:0;;;-1:-1:-1;;;;;;;20211:23:0;;20203:74;;;;-1:-1:-1;;;20203:74:0;;;;;;;;;-1:-1:-1;;;;;20305:17:0;;;;;;:6;:17;;;;;:19;;;;;;;;20296:28;;20288:75;;;;-1:-1:-1;;;20288:75:0;;;;;;;;;20389:6;20382:3;:13;;20374:64;;;;-1:-1:-1;;;20374:64:0;;;;;;;;;20456:31;20466:9;20477;20456;:31::i;:::-;20449:38;;;;19706:789;;;;;;;:::o;16173:1054::-;16303:13;-1:-1:-1;;16331:9:0;:21;16327:172;;;-1:-1:-1;;;16327:172:0;;;16430:57;16437:9;16430:57;;;;;;;;;;;;;;;;;:6;:57::i;:::-;16421:66;;16327:172;16511:23;10733:80;;;;;;;;;;;;;;;;16591:4;;;;;;;;;-1:-1:-1;;;16591:4:0;;;;;;;;16575:22;16599:12;:10;:12::i;:::-;16621:4;16547:80;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;16547:80:0;;;16537:91;;;;;;16511:117;;16639:18;11156:95;;;;;;;;;;;;;;;;-1:-1:-1;;;;;16725:13:0;;;;;;:6;:13;;;;;;;:15;;;;;;;;16670:81;;11156:95;;16698:5;;16705:7;;16714:9;;16725:15;;16742:8;;16670:81;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;16670:81:0;;;16660:92;;;;;;16639:113;;16763:14;16819:15;16836:10;16790:57;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;16790:57:0;;;16780:68;;;;;;16763:85;;16859:17;16879:26;16889:6;16897:1;16900;16903;16879:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;16879:26:0;;-1:-1:-1;;16879:26:0;;;-1:-1:-1;;;;;;;16924:23:0;;16916:67;;;;-1:-1:-1;;;16916:67:0;;;;;;;;;17015:5;-1:-1:-1;;;;;17002:18:0;:9;-1:-1:-1;;;;;17002:18:0;;16994:57;;;;-1:-1:-1;;;16994:57:0;;;;;;;;;17077:8;17070:3;:15;;17062:59;;;;-1:-1:-1;;;17062:59:0;;;;;;;;;17163:6;17134:10;:17;17145:5;-1:-1:-1;;;;;17134:17:0;-1:-1:-1;;;;;17134:17:0;;;;;;;;;;;;:26;17152:7;-1:-1:-1;;;;;17134:26:0;-1:-1:-1;;;;;17134:26:0;;;;;;;;;;;;;:35;;;;;-1:-1:-1;;;;;17134:35:0;;;;;-1:-1:-1;;;;;17134:35:0;;;;;;17203:7;-1:-1:-1;;;;;17187:32:0;17196:5;-1:-1:-1;;;;;17187:32:0;;17212:6;17187:32;;;;;;;;;;;;;;;16173:1054;;;;;;;;;;;;:::o;14650:136::-;-1:-1:-1;;;;;14750:19:0;;;14726:4;14750:19;;;:10;:19;;;;;;;;:28;;;;;;;;;;;;-1:-1:-1;;;;;14750:28:0;;14650:136::o;10907:117::-;10953:71;;;;;;10430:70;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;10430:70:0;;-1:-1:-1;;;;;10430:70:0;;:::o;12870:232::-;12948:6;;-1:-1:-1;;;;;12948:6:0;12934:10;:20;12926:95;;;;-1:-1:-1;;;12926:95:0;;;;;;;;;13051:6;;13037:30;;;;;;-1:-1:-1;;;;;13051:6:0;;;;13059:7;;13037:30;;;;;;;;;;13078:6;:16;;-1:-1:-1;;;;;;13078:16:0;-1:-1:-1;;;;;13078:16:0;;;;;;;;;;12870:232::o;25333:161::-;25408:6;25446:12;-1:-1:-1;;;25435:9:0;;25427:32;;;;-1:-1:-1;;;25427:32:0;;;;;;;;;;-1:-1:-1;25484:1:0;;25333:161;-1:-1:-1;;25333:161:0:o;25698:165::-;25784:6;25816:1;-1:-1:-1;;;;;25811:6:0;:1;-1:-1:-1;;;;;25811:6:0;;;25819:12;25803:29;;;;;-1:-1:-1;;;25803:29:0;;;;;;;;;;-1:-1:-1;;;25850:5:0;;;25698:165::o;22958:614::-;-1:-1:-1;;;;;23052:17:0;;23044:90;;;;-1:-1:-1;;;23044:90:0;;;;;;;;;-1:-1:-1;;;;;23153:17:0;;23145:88;;;;-1:-1:-1;;;23145:88:0;;;;;;;;;-1:-1:-1;;;;;23268:13:0;;;;;;:8;:13;;;;;;;;;;23262:86;;;;;;;;;;;;;;-1:-1:-1;;;;;23268:13:0;;;;23283:6;;23262:86;;;;;;;:5;:86::i;:::-;-1:-1:-1;;;;;23246:13:0;;;;;;;:8;:13;;;;;;;;:102;;-1:-1:-1;;;;;;23246:102:0;-1:-1:-1;;;;;23246:102:0;;;;;;23381:13;;;;;;;;;;23375:80;;;;;;;;;;;;;;23381:13;;;;;23396:6;;23375:80;;;;;;;;:5;:80::i;:::-;-1:-1:-1;;;;;23359:13:0;;;;;;;:8;:13;;;;;;;:96;;-1:-1:-1;;;;;;23359:96:0;-1:-1:-1;;;;;23359:96:0;;;;;;;;;;;23471:26;;;;;;;;;;23490:6;;23471:26;;;;;;;;;;-1:-1:-1;;;;;23525:14:0;;;;;;;:9;:14;;;;;;;23541;;;;;;;;23510:54;;23525:14;;;;23541;23557:6;23510:14;:54::i;3280:181::-;3338:7;3370:5;;;3394:6;;;;3386:46;;;;-1:-1:-1;;;3386:46:0;;;;;;;;25502:188;25588:6;25618:5;;;25650:12;-1:-1:-1;;;;;25642:6:0;;;;;;;;25634:29;;;;-1:-1:-1;;;25634:29:0;;;;;;;;;;-1:-1:-1;25681:1:0;25502:188;-1:-1:-1;;;;25502:188:0:o;23580:939::-;23685:6;-1:-1:-1;;;;;23675:16:0;:6;-1:-1:-1;;;;;23675:16:0;;;:30;;;;;23704:1;23695:6;-1:-1:-1;;;;;23695:10:0;;23675:30;23671:841;;;-1:-1:-1;;;;;23726:20:0;;;23722:382;;-1:-1:-1;;;;;23786:22:0;;23767:16;23786:22;;;:14;:22;;;;;;;;;23846:13;:60;;23905:1;23846:60;;;-1:-1:-1;;;;;23862:19:0;;;;;;:11;:19;;;;;;;;-1:-1:-1;;23882:13:0;;23862:34;;;;;;;;;:40;-1:-1:-1;;;23862:40:0;;-1:-1:-1;;;;;23862:40:0;23846:60;23827:79;;23925:16;23944:68;23950:9;23961:6;23944:68;;;;;;;;;;;;;;;;;:5;:68::i;:::-;23925:87;;24031:57;24048:6;24056:9;24067;24078;24031:16;:57::i;:::-;23722:382;;;;-1:-1:-1;;;;;24124:20:0;;;24120:381;;-1:-1:-1;;;;;24184:22:0;;24165:16;24184:22;;;:14;:22;;;;;;;;;24244:13;:60;;24303:1;24244:60;;;-1:-1:-1;;;;;24260:19:0;;;;;;:11;:19;;;;;;;;-1:-1:-1;;24280:13:0;;24260:34;;;;;;;;;:40;-1:-1:-1;;;24260:40:0;;-1:-1:-1;;;;;24260:40:0;24244:60;24225:79;;24323:16;24342:67;24348:9;24359:6;24342:67;;;;;;;;;;;;;;;;;:5;:67::i;:::-;24323:86;;24428:57;24445:6;24453:9;24464;24475;24428:16;:57::i;22575:375::-;-1:-1:-1;;;;;22678:20:0;;;22652:23;22678:20;;;:9;:20;;;;;;;;;;22735:8;:19;;;;;;22765:20;;;;:32;;;-1:-1:-1;;;;;;22765:32:0;;;;;;;22815:54;;22678:20;;;;;-1:-1:-1;;;;;22735:19:0;;;;22765:32;;22678:20;;;22815:54;;22652:23;22815:54;22882:60;22897:15;22914:9;22925:16;22882:14;:60::i;:::-;22575:375;;;;:::o;25871:153::-;25981:9;25871:153;:::o;24527:629::-;24645:18;24666:76;24673:12;24666:76;;;;;;;;;;;;;;;;;:6;:76::i;:::-;24645:97;;24772:1;24757:12;:16;;;:85;;;;-1:-1:-1;;;;;;24777:22:0;;;;;;:11;:22;;;;;;;;:65;-1:-1:-1;;24800:16:0;;24777:40;;;;;;;;;:50;:65;;;:50;;:65;24757:85;24753:329;;;-1:-1:-1;;;;;24857:22:0;;;;;;:11;:22;;;;;;;;-1:-1:-1;;24880:16:0;;24857:40;;;;;;;;;:57;;-1:-1:-1;;24857:57:0;-1:-1:-1;;;;;;;;24857:57:0;;;;;;24753:329;;;24982:33;;;;;;;;;;;;;;-1:-1:-1;;;;;24982:33:0;;;;;;;;;;-1:-1:-1;;;;;24943:22:0;;-1:-1:-1;24943:22:0;;;:11;:22;;;;;:36;;;;;;;;;;:72;;;;;;;;;-1:-1:-1;;;24943:72:0;-1:-1:-1;;24943:72:0;;;-1:-1:-1;;24943:72:0;;;;;;;;;;;;;;;25028:25;;;:14;:25;;;;;;;:44;;24943:72;25056:16;;25028:44;;;;;;;;;;;;;24753:329;25118:9;-1:-1:-1;;;;;25097:51:0;;25129:8;25139;25097:51;;;;;;;;;;;;;;;;24527:629;;;;;:::o;25164:161::-;25239:6;25277:12;-1:-1:-1;;;25266:9:0;;25258:32;;;;-1:-1:-1;;;25258:32:0;;;;;;;;;8990:17037;;;;;;;;;;-1:-1:-1;8990:17037:0;;;;;;;;:::o;5:130:-1:-;72:20;;97:33;72:20;97:33;;142:130;209:20;;234:33;209:20;234:33;;416:128;482:20;;507:32;482:20;507:32;;551:126;616:20;;641:31;616:20;641:31;;684:241;;788:2;776:9;767:7;763:23;759:32;756:2;;;804:1;801;794:12;756:2;839:1;856:53;901:7;881:9;856:53;;;846:63;750:175;-1:-1;;;;750:175;932:366;;;1053:2;1041:9;1032:7;1028:23;1024:32;1021:2;;;1069:1;1066;1059:12;1021:2;1104:1;1121:53;1166:7;1146:9;1121:53;;;1111:63;;1083:97;1211:2;1229:53;1274:7;1265:6;1254:9;1250:22;1229:53;;;1219:63;;1190:98;1015:283;;;;;;1305:491;;;;1443:2;1431:9;1422:7;1418:23;1414:32;1411:2;;;1459:1;1456;1449:12;1411:2;1494:1;1511:53;1556:7;1536:9;1511:53;;;1501:63;;1473:97;1601:2;1619:53;1664:7;1655:6;1644:9;1640:22;1619:53;;;1609:63;;1580:98;1709:2;1727:53;1772:7;1763:6;1752:9;1748:22;1727:53;;;1717:63;;1688:98;1405:391;;;;;;1803:991;;;;;;;;2007:3;1995:9;1986:7;1982:23;1978:33;1975:2;;;2024:1;2021;2014:12;1975:2;2059:1;2076:53;2121:7;2101:9;2076:53;;;2066:63;;2038:97;2166:2;2184:53;2229:7;2220:6;2209:9;2205:22;2184:53;;;2174:63;;2145:98;2274:2;2292:53;2337:7;2328:6;2317:9;2313:22;2292:53;;;2282:63;;2253:98;2382:2;2400:53;2445:7;2436:6;2425:9;2421:22;2400:53;;;2390:63;;2361:98;2490:3;2509:51;2552:7;2543:6;2532:9;2528:22;2509:51;;;2499:61;;2469:97;2597:3;2616:53;2661:7;2652:6;2641:9;2637:22;2616:53;;;2606:63;;2576:99;2706:3;2725:53;2770:7;2761:6;2750:9;2746:22;2725:53;;;2715:63;;2685:99;1969:825;;;;;;;;;;;2801:366;;;2922:2;2910:9;2901:7;2897:23;2893:32;2890:2;;;2938:1;2935;2928:12;2890:2;2973:1;2990:53;3035:7;3015:9;2990:53;;;2980:63;;2952:97;3080:2;3098:53;3143:7;3134:6;3123:9;3119:22;3098:53;;3174:865;;;;;;;3361:3;3349:9;3340:7;3336:23;3332:33;3329:2;;;3378:1;3375;3368:12;3329:2;3413:1;3430:53;3475:7;3455:9;3430:53;;;3420:63;;3392:97;3520:2;3538:53;3583:7;3574:6;3563:9;3559:22;3538:53;;;3528:63;;3499:98;3628:2;3646:53;3691:7;3682:6;3671:9;3667:22;3646:53;;;3636:63;;3607:98;3736:2;3754:51;3797:7;3788:6;3777:9;3773:22;3754:51;;;3744:61;;3715:96;3842:3;3861:53;3906:7;3897:6;3886:9;3882:22;3861:53;;;3851:63;;3821:99;3951:3;3970:53;4015:7;4006:6;3995:9;3991:22;3970:53;;;3960:63;;3930:99;3323:716;;;;;;;;;4046:364;;;4166:2;4154:9;4145:7;4141:23;4137:32;4134:2;;;4182:1;4179;4172:12;4134:2;4217:1;4234:53;4279:7;4259:9;4234:53;;;4224:63;;4196:97;4324:2;4342:52;4386:7;4377:6;4366:9;4362:22;4342:52;;4417:113;4500:24;4518:5;4500:24;;;4495:3;4488:37;4482:48;;;4537:104;4614:21;4629:5;4614:21;;4648:113;4731:24;4749:5;4731:24;;4768:152;4869:45;4889:24;4907:5;4889:24;;;4869:45;;4927:347;;5039:39;5072:5;5039:39;;;5090:71;5154:6;5149:3;5090:71;;;5083:78;;5166:52;5211:6;5206:3;5199:4;5192:5;5188:16;5166:52;;;5239:29;5261:6;5239:29;;;5230:39;;;;5019:255;-1:-1;;;5019:255;5628:331;;5788:67;5852:2;5847:3;5788:67;;;5888:33;5868:54;;5950:2;5941:12;;5774:185;-1:-1;;5774:185;5968:373;;6128:67;6192:2;6187:3;6128:67;;;6228:34;6208:55;;-1:-1;;;6292:2;6283:12;;6276:28;6332:2;6323:12;;6114:227;-1:-1;;6114:227;6350:398;;6528:84;6610:1;6605:3;6528:84;;;-1:-1;;;6625:87;;6740:1;6731:11;;6514:234;-1:-1;;6514:234;6757:327;;6917:67;6981:2;6976:3;6917:67;;;7017:29;6997:50;;7075:2;7066:12;;6903:181;-1:-1;;6903:181;7093:399;;7253:67;7317:2;7312:3;7253:67;;;7353:34;7333:55;;7422:32;7417:2;7408:12;;7401:54;7483:2;7474:12;;7239:253;-1:-1;;7239:253;7501:326;;7661:67;7725:2;7720:3;7661:67;;;7761:28;7741:49;;7818:2;7809:12;;7647:180;-1:-1;;7647:180;7836:492;;8014:85;8096:2;8091:3;8014:85;;;8132:34;8112:55;;8201:34;8196:2;8187:12;;8180:56;-1:-1;;;8265:2;8256:12;;8249:42;8319:2;8310:12;;8000:328;-1:-1;;8000:328;8337:375;;8497:67;8561:2;8556:3;8497:67;;;8597:34;8577:55;;-1:-1;;;8661:2;8652:12;;8645:30;8703:2;8694:12;;8483:229;-1:-1;;8483:229;8721:397;;8881:67;8945:2;8940:3;8881:67;;;8981:34;8961:55;;9050:30;9045:2;9036:12;;9029:52;9109:2;9100:12;;8867:251;-1:-1;;8867:251;9127:395;;9287:67;9351:2;9346:3;9287:67;;;9387:34;9367:55;;9456:28;9451:2;9442:12;;9435:50;9513:2;9504:12;;9273:249;-1:-1;;9273:249;9531:477;;9709:85;9791:2;9786:3;9709:85;;;9827:34;9807:55;;9896:34;9891:2;9882:12;;9875:56;-1:-1;;;9960:2;9951:12;;9944:27;9999:2;9990:12;;9695:313;-1:-1;;9695:313;10017:331;;10177:67;10241:2;10236:3;10177:67;;;10277:33;10257:54;;10339:2;10330:12;;10163:185;-1:-1;;10163:185;10357:371;;10517:67;10581:2;10576:3;10517:67;;;10617:34;10597:55;;-1:-1;;;10681:2;10672:12;;10665:26;10719:2;10710:12;;10503:225;-1:-1;;10503:225;10737:375;;10897:67;10961:2;10956:3;10897:67;;;10997:34;10977:55;;-1:-1;;;11061:2;11052:12;;11045:30;11103:2;11094:12;;10883:229;-1:-1;;10883:229;11121:376;;11281:67;11345:2;11340:3;11281:67;;;11381:34;11361:55;;-1:-1;;;11445:2;11436:12;;11429:31;11488:2;11479:12;;11267:230;-1:-1;;11267:230;11506:431;;11684:85;11766:2;11761:3;11684:85;;;11802:34;11782:55;;11871:28;11866:2;11857:12;;11850:50;11928:2;11919:12;;11670:267;-1:-1;;11670:267;11946:384;;12106:67;12170:2;12165:3;12106:67;;;12206:34;12186:55;;-1:-1;;;12270:2;12261:12;;12254:39;12321:2;12312:12;;12092:238;-1:-1;;12092:238;12458:110;12539:23;12556:5;12539:23;;12575:107;12654:22;12670:5;12654:22;;12689:124;12771:36;12801:5;12771:36;;12820:110;12901:23;12918:5;12901:23;;12937:650;;13192:148;13336:3;13192:148;;;13185:155;;13351:75;13422:3;13413:6;13351:75;;;13448:2;13443:3;13439:12;13432:19;;13462:75;13533:3;13524:6;13462:75;;;-1:-1;13559:2;13550:12;;13173:414;-1:-1;;13173:414;13594:372;;13793:148;13937:3;13793:148;;13973:372;;14172:148;14316:3;14172:148;;14352:372;;14551:148;14695:3;14551:148;;14731:213;14849:2;14834:18;;14863:71;14838:9;14907:6;14863:71;;14951:324;15097:2;15082:18;;15111:71;15086:9;15155:6;15111:71;;;15193:72;15261:2;15250:9;15246:18;15237:6;15193:72;;15282:201;15394:2;15379:18;;15408:65;15383:9;15446:6;15408:65;;15490:213;15608:2;15593:18;;15622:71;15597:9;15666:6;15622:71;;15710:771;15968:3;15953:19;;15983:71;15957:9;16027:6;15983:71;;;16065:72;16133:2;16122:9;16118:18;16109:6;16065:72;;;16148;16216:2;16205:9;16201:18;16192:6;16148:72;;;16231;16299:2;16288:9;16284:18;16275:6;16231:72;;;16314:73;16382:3;16371:9;16367:19;16358:6;16314:73;;;16398;16466:3;16455:9;16451:19;16442:6;16398:73;;;15939:542;;;;;;;;;;16488:547;16690:3;16675:19;;16705:71;16679:9;16749:6;16705:71;;;16787:72;16855:2;16844:9;16840:18;16831:6;16787:72;;;16870;16938:2;16927:9;16923:18;16914:6;16870:72;;;16953;17021:2;17010:9;17006:18;16997:6;16953:72;;;16661:374;;;;;;;;17042:547;17244:3;17229:19;;17259:71;17233:9;17303:6;17259:71;;;17341:72;17409:2;17398:9;17394:18;17385:6;17341:72;;;17424;17492:2;17481:9;17477:18;17468:6;17424:72;;;17507;17575:2;17564:9;17560:18;17551:6;17507:72;;17596:539;17794:3;17779:19;;17809:71;17783:9;17853:6;17809:71;;;17891:68;17955:2;17944:9;17940:18;17931:6;17891:68;;18142:293;18276:2;18290:47;;;18261:18;;18351:74;18261:18;18411:6;18351:74;;18750:407;18941:2;18955:47;;;18926:18;;19016:131;18926:18;19016:131;;19164:407;19355:2;19369:47;;;19340:18;;19430:131;19340:18;19430:131;;19578:407;19769:2;19783:47;;;19754:18;;19844:131;19754:18;19844:131;;19992:407;20183:2;20197:47;;;20168:18;;20258:131;20168:18;20258:131;;20406:407;20597:2;20611:47;;;20582:18;;20672:131;20582:18;20672:131;;20820:407;21011:2;21025:47;;;20996:18;;21086:131;20996:18;21086:131;;21234:407;21425:2;21439:47;;;21410:18;;21500:131;21410:18;21500:131;;21648:407;21839:2;21853:47;;;21824:18;;21914:131;21824:18;21914:131;;22062:407;22253:2;22267:47;;;22238:18;;22328:131;22238:18;22328:131;;22476:407;22667:2;22681:47;;;22652:18;;22742:131;22652:18;22742:131;;22890:407;23081:2;23095:47;;;23066:18;;23156:131;23066:18;23156:131;;23304:407;23495:2;23509:47;;;23480:18;;23570:131;23480:18;23570:131;;23718:407;23909:2;23923:47;;;23894:18;;23984:131;23894:18;23984:131;;24352:209;24468:2;24453:18;;24482:69;24457:9;24524:6;24482:69;;24568:316;24710:2;24695:18;;24724:69;24699:9;24766:6;24724:69;;;24804:70;24870:2;24859:9;24855:18;24846:6;24804:70;;24891:205;25005:2;24990:18;;25019:67;24994:9;25059:6;25019:67;;25103:211;25220:2;25205:18;;25234:70;25209:9;25277:6;25234:70;;25321:209;25437:2;25422:18;;25451:69;25426:9;25493:6;25451:69;;25537:320;25681:2;25666:18;;25695:70;25670:9;25738:6;25695:70;;;25776:71;25843:2;25832:9;25828:18;25819:6;25776:71;;25864:118;25948:12;;25919:63;26119:163;26222:19;;;26271:4;26262:14;;26215:67;26291:145;26427:3;26405:31;-1:-1;26405:31;26444:91;;26506:24;26524:5;26506:24;;26542:85;26608:13;26601:21;;26584:43;26634:72;26696:5;26679:27;26713:121;-1:-1;;;;;26775:54;;26758:76;26920:88;26992:10;26981:22;;26964:44;27015:81;27086:4;27075:16;;27058:38;27103:104;-1:-1;;;;;27164:38;;27147:60;27214:106;;27292:23;27309:5;27292:23;;27328:268;27393:1;27400:101;27414:6;27411:1;27408:13;27400:101;;;27481:11;;;27475:18;27462:11;;;27455:39;27436:2;27429:10;27400:101;;;27516:6;27513:1;27510:13;27507:2;;;-1:-1;;27581:1;27563:16;;27556:27;27377:219;27685:97;27773:2;27753:14;-1:-1;;27749:28;;27733:49;27790:117;27859:24;27877:5;27859:24;;;27852:5;27849:35;27839:2;;27898:1;27895;27888:12;27914:117;27983:24;28001:5;27983:24;;28162:115;28230:23;28247:5;28230:23;;28284:113;28351:22;28367:5;28351:22;

bzzr://4d8006f21e7d893b4564e807d5c227d1b109d2c29b3e777806c5dfca84a9e393