Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface EIP20Interface    - function totalSupply()    - function balanceOf(address owner)    - function transfer(address dst, uint25 ...    - function transferFrom(address src, ad ...    - function approve(address spender, uin ...    - function allowance(address owner, add ...  contract Ownable    - function owner()    - function renounceOwnership()    - function transferOwnership(address ne ...  contract DFL is EIP20Interface, Ow ... *    - function mint(address account, uint r ...    - function allowance(address account, a ...    - function approve(address spender, uin ...    - function totalSupply()    - function balanceOf(address account)    - function transfer(address dst, uint r ...    - function transferFrom(address src, ad ...    - function delegate(address delegatee)    - function delegateBySig(address delega ...    - function getCurrentVotes(address acco ...    - function getPriorVotes(address accoun ...    - function _delegate(address delegator, ...    - function _transferTokens(address src, ...    - function _moveDelegates(address srcRe ...    - function _writeCheckpoint(address del ...    - function safe32(uint n, string memory ...    - function safe96(uint n, string memory ...    - function add96(uint96 a, uint96 b, st ...    - function sub96(uint96 a, uint96 b, st ...    - function getChainId()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-11-20
*/

// File: contracts\EIP20Interface.sol

pragma solidity ^0.5.8;

/**
 * @title ERC 20 Token Standard Interface
 *  https://eips.ethereum.org/EIPS/eip-20
 */
interface EIP20Interface {

    /**
      * @notice Get the total number of tokens in circulation
      * @return The supply of tokens
      */
    function totalSupply() external view returns (uint256);

    /**
     * @notice Gets the balance of the specified address
     * @param owner The address from which the balance will be retrieved
     * @return The balance
     */
    function balanceOf(address owner) external view returns (uint256 balance);

    /**
      * @notice Transfer `amount` tokens from `msg.sender` to `dst`
      * @param dst The address of the destination account
      * @param amount The number of tokens to transfer
      * @return Whether or not the transfer succeeded
      */
    function transfer(address dst, uint256 amount) external returns (bool success);

    /**
      * @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 amount The number of tokens to transfer
      * @return Whether or not the transfer succeeded
      */
    function transferFrom(address src, address dst, uint256 amount) external returns (bool success);

    /**
      * @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 amount The number of tokens that are approved (-1 means infinite)
      * @return Whether or not the approval succeeded
      */
    function approve(address spender, uint256 amount) external returns (bool success);

    /**
      * @notice Get the current allowance from `owner` for `spender`
      * @param owner The address of the account which owns the tokens to be spent
      * @param spender The address of the account which may transfer tokens
      * @return The number of tokens allowed to be spent (-1 means infinite)
      */
    function allowance(address owner, address spender) external view returns (uint256 remaining);

    event Transfer(address indexed from, address indexed to, uint256 amount);
    event Approval(address indexed owner, address indexed spender, uint256 amount);
}

// File: contracts\DFL.sol

pragma solidity ^0.5.16;
pragma experimental ABIEncoderV2;


// forked from Compound/COMP

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * By default, the owner account will be the one that deploys the contract. This
 * can later be changed with {transferOwnership}.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
contract Ownable {
    address private _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor () internal {
        _owner = msg.sender;
        emit OwnershipTransferred(address(0), msg.sender);
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(_owner == msg.sender, "Ownable: caller is not the owner");
        _;
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby removing any functionality that is only available to the owner.
     */
    function renounceOwnership() public onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

contract DFL is EIP20Interface, Ownable {
    /// @notice EIP-20 token name for this token
    string public constant name = "DeFIL";

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

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

    /// @notice Total number of tokens in circulation
    uint96 internal _totalSupply;

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

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

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

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

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

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

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

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

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

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

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

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

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

    /**
     * @notice Construct a new DFL token
     */
    constructor() public {
        emit Transfer(address(0), address(this), 0);
    }

    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     * Emits a {Transfer} event with `from` set to the zero address.
     * @param account The address of the account holding the new funds
     * @param rawAmount The number of tokens that are minted
     */
    function mint(address account, uint rawAmount) public onlyOwner {
        require(account != address(0), "DFL:: mint: cannot mint to the zero address");
        uint96 amount = safe96(rawAmount, "DFL::mint: amount exceeds 96 bits");
        _totalSupply = add96(_totalSupply, amount, "DFL::mint: total supply exceeds");
        balances[account] = add96(balances[account], amount, "DFL::mint: mint amount exceeds balance");

        _moveDelegates(address(0), delegates[account], amount);
        emit Transfer(address(0), account, 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, "DFL::approve: amount exceeds 96 bits");
        }

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

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

    /**
     * @notice Get the total supply of tokens
     * @return The total supply of tokens
     */
    function totalSupply() external view returns (uint) {
        return _totalSupply;
    }

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

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

        balances[src] = sub96(balances[src], amount, "DFL::_transferTokens: transfer amount exceeds balance");
        balances[dst] = add96(balances[dst], amount, "DFL::_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, "DFL::_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, "DFL::_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, "DFL::_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":[],"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":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","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":[{"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":"account","type":"address"},{"internalType":"uint256","name":"rawAmount","type":"uint256"}],"name":"mint","outputs":[],"payable":false,"stateMutability":"nonpayable","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":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","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"},{"constant":false,"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b50600080546001600160a01b0319163390811782556040519091907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a360405130906000907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9062000088908390620000a7565b60405180910390a3620000cd565b620000a181620000c0565b82525050565b60208101620000b7828462000096565b92915050565b90565b6000620000b782620000bd565b611f2880620000dd6000396000f3fe608060405234801561001057600080fd5b506004361061014d5760003560e01c8063715018a6116100c3578063b4b5ea571161007c578063b4b5ea57146102ae578063c3cda520146102c1578063dd62ed3e146102d4578063e7a324dc146102e7578063f1127ed8146102ef578063f2fde38b146103105761014d565b8063715018a614610250578063782d6fe1146102585780637ecebe00146102785780638da5cb5b1461028b57806395d89b4114610293578063a9059cbb1461029b5761014d565b8063313ce56711610115578063313ce567146101c057806340c10f19146101d5578063587cde1e146101ea5780635c19a95c1461020a5780636fcfff451461021d57806370a082311461023d5761014d565b806306fdde0314610152578063095ea7b31461017057806318160ddd1461019057806320606b70146101a557806323b872dd146101ad575b600080fd5b61015a610323565b6040516101679190611b6a565b60405180910390f35b61018361017e366004611569565b610344565b6040516101679190611ac0565b610198610403565b6040516101679190611ace565b610198610419565b6101836101bb36600461151c565b610430565b6101c8610579565b6040516101679190611c34565b6101e86101e3366004611569565b61057e565b005b6101fd6101f83660046114bc565b61074f565b6040516101679190611ab2565b6101e86102183660046114bc565b61076a565b61023061022b3660046114bc565b610777565b6040516101679190611c0b565b61019861024b3660046114bc565b61078f565b6101e86107b3565b61026b610266366004611569565b610827565b6040516101679190611c50565b6101986102863660046114bc565b610a35565b6101fd610a47565b61015a610a56565b6101836102a9366004611569565b610a75565b61026b6102bc3660046114bc565b610ab1565b6101e86102cf366004611599565b610b21565b6101986102e23660046114e2565b610d08565b610198610d3c565b6103026102fd366004611620565b610d48565b604051610167929190611c19565b6101e861031e3660046114bc565b610d7d565b60405180604001604052806005815260200164111951925360da1b81525081565b60008060001983141561035a575060001961037f565b61037c83604051806060016040528060248152602001611e7760249139610e28565b90505b3360008181526001602090815260408083206001600160a01b03891680855292529182902080546001600160601b0319166001600160601b03861617905590519091907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906103ef908590611c42565b60405180910390a360019150505b92915050565b600054600160a01b90046001600160601b031690565b60405161042590611a9c565b604051809103902081565b6001600160a01b03831660009081526001602090815260408083203380855290835281842054825160608101909352602480845291936001600160601b039091169285926104889288929190611e7790830139610e28565b9050866001600160a01b0316836001600160a01b0316141580156104b557506001600160601b0382811614155b1561055f5760006104df83836040518060600160405280603c8152602001611d36603c9139610e57565b6001600160a01b038981166000818152600160209081526040808320948a16808452949091529081902080546001600160601b0319166001600160601b0386161790555192935090917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92590610555908590611c42565b60405180910390a3505b61056a878783610e96565b600193505050505b9392505050565b601281565b6000546001600160a01b031633146105b15760405162461bcd60e51b81526004016105a890611bcb565b60405180910390fd5b6001600160a01b0382166105d75760405162461bcd60e51b81526004016105a890611bbb565b60006105fb82604051806060016040528060218152602001611dd660219139610e28565b9050610652600060149054906101000a90046001600160601b0316826040518060400160405280601f81526020017f44464c3a3a6d696e743a20746f74616c20737570706c79206578636565647300815250611041565b600080546001600160601b03928316600160a01b026001600160a01b0391821617825585168152600260209081526040918290205482516060810190935260268084526106af9491909116928592909190611e9b90830139611041565b6001600160a01b03848116600090815260026020908152604080832080546001600160601b0319166001600160601b03969096169590951790945560039052918220546106fe9291168361107d565b826001600160a01b031660006001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516107429190611c42565b60405180910390a3505050565b6003602052600090815260409020546001600160a01b031681565b610774338261120f565b50565b60056020526000908152604090205463ffffffff1681565b6001600160a01b03166000908152600260205260409020546001600160601b031690565b6000546001600160a01b031633146107dd5760405162461bcd60e51b81526004016105a890611bcb565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b60004382106108485760405162461bcd60e51b81526004016105a890611beb565b6001600160a01b03831660009081526005602052604090205463ffffffff16806108765760009150506103fd565b6001600160a01b038416600090815260046020908152604080832063ffffffff6000198601811685529252909120541683106108f2576001600160a01b03841660009081526004602090815260408083206000199490940163ffffffff1683529290522054600160201b90046001600160601b031690506103fd565b6001600160a01b038416600090815260046020908152604080832083805290915290205463ffffffff1683101561092d5760009150506103fd565b600060001982015b8163ffffffff168163ffffffff1611156109f057600282820363ffffffff1604810361095f611479565b506001600160a01b038716600090815260046020908152604080832063ffffffff858116855290835292819020815180830190925254928316808252600160201b9093046001600160601b031691810191909152908714156109cb576020015194506103fd9350505050565b805163ffffffff168711156109e2578193506109e9565b6001820392505b5050610935565b506001600160a01b038516600090815260046020908152604080832063ffffffff909416835292905220546001600160601b03600160201b9091041691505092915050565b60066020526000908152604090205481565b6000546001600160a01b031690565b6040518060400160405280600381526020016211119360ea1b81525081565b600080610a9a83604051806060016040528060258152602001611ec160259139610e28565b9050610aa7338583610e96565b5060019392505050565b6001600160a01b03811660009081526005602052604081205463ffffffff1680610adc576000610572565b6001600160a01b0383166000908152600460209081526040808320600019850163ffffffff168452909152902054600160201b90046001600160601b03169392505050565b6000604051610b2f90611a9c565b604080519182900382208282019091526005825264111951925360da1b6020909201919091527fec2370eec9dd45bf744071370407b6fed7da2369b1b5d7112671178229e35fee610b7e611299565b30604051602001610b929493929190611b1a565b6040516020818303038152906040528051906020012090506000604051610bb890611aa7565b604051908190038120610bd3918a908a908a90602001611adc565b60405160208183030381529060405280519060200120905060008282604051602001610c00929190611a6b565b604051602081830303815290604052805190602001209050600060018288888860405160008152602001604052604051610c3d9493929190611b4f565b6020604051602081039080840390855afa158015610c5f573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116610c925760405162461bcd60e51b81526004016105a890611bfb565b6001600160a01b03811660009081526006602052604090208054600181019091558914610cd15760405162461bcd60e51b81526004016105a890611b9b565b87421115610cf15760405162461bcd60e51b81526004016105a890611b7b565b610cfb818b61120f565b505050505b505050505050565b6001600160a01b0391821660009081526001602090815260408083209390941682529190915220546001600160601b031690565b60405161042590611aa7565b600460209081526000928352604080842090915290825290205463ffffffff811690600160201b90046001600160601b031682565b6000546001600160a01b03163314610da75760405162461bcd60e51b81526004016105a890611bcb565b6001600160a01b038116610dcd5760405162461bcd60e51b81526004016105a890611b8b565b600080546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600080546001600160a01b0319166001600160a01b0392909216919091179055565b600081600160601b8410610e4f5760405162461bcd60e51b81526004016105a89190611b6a565b509192915050565b6000836001600160601b0316836001600160601b031611158290610e8e5760405162461bcd60e51b81526004016105a89190611b6a565b505050900390565b6001600160a01b038316610ebc5760405162461bcd60e51b81526004016105a890611bdb565b6001600160a01b038216610ee25760405162461bcd60e51b81526004016105a890611bab565b6001600160a01b038316600090815260026020908152604091829020548251606081019093526035808452610f2d936001600160601b039092169285929190611da190830139610e57565b6001600160a01b03848116600090815260026020908152604080832080546001600160601b0319166001600160601b0396871617905592861682529082902054825160608101909352602f808452610f959491909116928592909190611d7290830139611041565b6001600160a01b038381166000818152600260205260409081902080546001600160601b0319166001600160601b0395909516949094179093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90611002908590611c42565b60405180910390a36001600160a01b0380841660009081526003602052604080822054858416835291205461103c9291821691168361107d565b505050565b6000838301826001600160601b0380871690831610156110745760405162461bcd60e51b81526004016105a89190611b6a565b50949350505050565b816001600160a01b0316836001600160a01b0316141580156110a857506000816001600160601b0316115b1561103c576001600160a01b03831615611160576001600160a01b03831660009081526005602052604081205463ffffffff1690816110e8576000611127565b6001600160a01b0385166000908152600460209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b9050600061114e8285604051806060016040528060278152602001611e1d60279139610e57565b905061115c8684848461129d565b5050505b6001600160a01b0382161561103c576001600160a01b03821660009081526005602052604081205463ffffffff16908161119b5760006111da565b6001600160a01b0384166000908152600460209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b905060006112018285604051806060016040528060268152602001611df760269139611041565b9050610d008584848461129d565b6001600160a01b03808316600081815260036020818152604080842080546002845282862054949093528787166001600160a01b031984168117909155905191909516946001600160601b039092169391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a461129382848361107d565b50505050565b4690565b60006112c143604051806060016040528060338152602001611e4460339139611452565b905060008463ffffffff1611801561130a57506001600160a01b038516600090815260046020908152604080832063ffffffff6000198901811685529252909120548282169116145b15611369576001600160a01b0385166000908152600460209081526040808320600019880163ffffffff168452909152902080546fffffffffffffffffffffffff000000001916600160201b6001600160601b03851602179055611408565b60408051808201825263ffffffff80841682526001600160601b0380861660208085019182526001600160a01b038b166000818152600483528781208c871682528352878120965187549451909516600160201b026fffffffffffffffffffffffff000000001995871663ffffffff19958616179590951694909417909555938252600590935292909220805460018801909316929091169190911790555b846001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248484604051611443929190611c5e565b60405180910390a25050505050565b600081600160201b8410610e4f5760405162461bcd60e51b81526004016105a89190611b6a565b604080518082019091526000808252602082015290565b80356103fd81611d06565b80356103fd81611d1a565b80356103fd81611d23565b80356103fd81611d2c565b6000602082840312156114ce57600080fd5b60006114da8484611490565b949350505050565b600080604083850312156114f557600080fd5b60006115018585611490565b925050602061151285828601611490565b9150509250929050565b60008060006060848603121561153157600080fd5b600061153d8686611490565b935050602061154e86828701611490565b925050604061155f8682870161149b565b9150509250925092565b6000806040838503121561157c57600080fd5b60006115888585611490565b92505060206115128582860161149b565b60008060008060008060c087890312156115b257600080fd5b60006115be8989611490565b96505060206115cf89828a0161149b565b95505060406115e089828a0161149b565b94505060606115f189828a016114b1565b935050608061160289828a0161149b565b92505060a061161389828a0161149b565b9150509295509295509295565b6000806040838503121561163357600080fd5b600061163f8585611490565b9250506020611512858286016114a6565b61165981611c8b565b82525050565b61165981611c96565b61165981611c9b565b61165961167d82611c9b565b611c9b565b600061168d82611c79565b6116978185611c7d565b93506116a7818560208601611cd0565b6116b081611cfc565b9093019392505050565b60006116c7602583611c7d565b7f44464c3a3a64656c656761746542795369673a207369676e61747572652065788152641c1a5c995960da1b602082015260400192915050565b600061170e602683611c7d565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206181526564647265737360d01b602082015260400192915050565b6000611756600283611c86565b61190160f01b815260020192915050565b6000611774602183611c7d565b7f44464c3a3a64656c656761746542795369673a20696e76616c6964206e6f6e638152606560f81b602082015260400192915050565b60006117b7603983611c7d565b7f44464c3a3a5f7472616e73666572546f6b656e733a2063616e6e6f742074726181527f6e7366657220746f20746865207a65726f206164647265737300000000000000602082015260400192915050565b6000611816604383611c86565b7f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353681527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208201526263742960e81b604082015260430192915050565b6000611881602b83611c7d565b7f44464c3a3a206d696e743a2063616e6e6f74206d696e7420746f20746865207a81526a65726f206164647265737360a81b602082015260400192915050565b60006118ce602083611c7d565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572815260200192915050565b6000611907603b83611c7d565b7f44464c3a3a5f7472616e73666572546f6b656e733a2063616e6e6f742074726181527f6e736665722066726f6d20746865207a65726f20616464726573730000000000602082015260400192915050565b6000611966602683611c7d565b7f44464c3a3a6765745072696f72566f7465733a206e6f742079657420646574658152651c9b5a5b995960d21b602082015260400192915050565b60006119ae603a83611c86565b7f44656c65676174696f6e28616464726573732064656c6567617465652c75696e81527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020820152603a0192915050565b6000611a0d602583611c7d565b7f44464c3a3a64656c656761746542795369673a20696e76616c6964207369676e815264617475726560d81b602082015260400192915050565b61165981611caa565b61165981611cb3565b61165981611cc5565b61165981611cb9565b6000611a7682611749565b9150611a828285611671565b602082019150611a928284611671565b5060200192915050565b60006103fd82611809565b60006103fd826119a1565b602081016103fd8284611650565b602081016103fd828461165f565b602081016103fd8284611668565b60808101611aea8287611668565b611af76020830186611650565b611b046040830185611668565b611b116060830184611668565b95945050505050565b60808101611b288287611668565b611b356020830186611668565b611b426040830185611668565b611b116060830184611650565b60808101611b5d8287611668565b611af76020830186611a50565b602080825281016105728184611682565b602080825281016103fd816116ba565b602080825281016103fd81611701565b602080825281016103fd81611767565b602080825281016103fd816117aa565b602080825281016103fd81611874565b602080825281016103fd816118c1565b602080825281016103fd816118fa565b602080825281016103fd81611959565b602080825281016103fd81611a00565b602081016103fd8284611a47565b60408101611c278285611a47565b6105726020830184611a62565b602081016103fd8284611a50565b602081016103fd8284611a59565b602081016103fd8284611a62565b60408101611c6c8285611a59565b6105726020830184611a59565b5190565b90815260200190565b919050565b60006103fd82611c9e565b151590565b90565b6001600160a01b031690565b63ffffffff1690565b60ff1690565b6001600160601b031690565b60006103fd82611cb9565b60005b83811015611ceb578181015183820152602001611cd3565b838111156112935750506000910152565b601f01601f191690565b611d0f81611c8b565b811461077457600080fd5b611d0f81611c9b565b611d0f81611caa565b611d0f81611cb356fe44464c3a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e636544464c3a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f777344464c3a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e636544464c3a3a6d696e743a20616d6f756e742065786365656473203936206269747344464c3a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f777344464c3a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f777344464c3a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d6265722065786365656473203332206269747344464c3a3a617070726f76653a20616d6f756e742065786365656473203936206269747344464c3a3a6d696e743a206d696e7420616d6f756e7420657863656564732062616c616e636544464c3a3a7472616e736665723a20616d6f756e7420657863656564732039362062697473a365627a7a7231582038b0d63388453504d6352035d6f51042c34e72a688e1c757c10d635f0c7efc396c6578706572696d656e74616cf564736f6c63430005110040

0x608060405234801561001057600080fd5b506004361061014d5760003560e01c8063715018a6116100c3578063b4b5ea571161007c578063b4b5ea57146102ae578063c3cda520146102c1578063dd62ed3e146102d4578063e7a324dc146102e7578063f1127ed8146102ef578063f2fde38b146103105761014d565b8063715018a614610250578063782d6fe1146102585780637ecebe00146102785780638da5cb5b1461028b57806395d89b4114610293578063a9059cbb1461029b5761014d565b8063313ce56711610115578063313ce567146101c057806340c10f19146101d5578063587cde1e146101ea5780635c19a95c1461020a5780636fcfff451461021d57806370a082311461023d5761014d565b806306fdde0314610152578063095ea7b31461017057806318160ddd1461019057806320606b70146101a557806323b872dd146101ad575b600080fd5b61015a610323565b6040516101679190611b6a565b60405180910390f35b61018361017e366004611569565b610344565b6040516101679190611ac0565b610198610403565b6040516101679190611ace565b610198610419565b6101836101bb36600461151c565b610430565b6101c8610579565b6040516101679190611c34565b6101e86101e3366004611569565b61057e565b005b6101fd6101f83660046114bc565b61074f565b6040516101679190611ab2565b6101e86102183660046114bc565b61076a565b61023061022b3660046114bc565b610777565b6040516101679190611c0b565b61019861024b3660046114bc565b61078f565b6101e86107b3565b61026b610266366004611569565b610827565b6040516101679190611c50565b6101986102863660046114bc565b610a35565b6101fd610a47565b61015a610a56565b6101836102a9366004611569565b610a75565b61026b6102bc3660046114bc565b610ab1565b6101e86102cf366004611599565b610b21565b6101986102e23660046114e2565b610d08565b610198610d3c565b6103026102fd366004611620565b610d48565b604051610167929190611c19565b6101e861031e3660046114bc565b610d7d565b60405180604001604052806005815260200164111951925360da1b81525081565b60008060001983141561035a575060001961037f565b61037c83604051806060016040528060248152602001611e7760249139610e28565b90505b3360008181526001602090815260408083206001600160a01b03891680855292529182902080546001600160601b0319166001600160601b03861617905590519091907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925906103ef908590611c42565b60405180910390a360019150505b92915050565b600054600160a01b90046001600160601b031690565b60405161042590611a9c565b604051809103902081565b6001600160a01b03831660009081526001602090815260408083203380855290835281842054825160608101909352602480845291936001600160601b039091169285926104889288929190611e7790830139610e28565b9050866001600160a01b0316836001600160a01b0316141580156104b557506001600160601b0382811614155b1561055f5760006104df83836040518060600160405280603c8152602001611d36603c9139610e57565b6001600160a01b038981166000818152600160209081526040808320948a16808452949091529081902080546001600160601b0319166001600160601b0386161790555192935090917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92590610555908590611c42565b60405180910390a3505b61056a878783610e96565b600193505050505b9392505050565b601281565b6000546001600160a01b031633146105b15760405162461bcd60e51b81526004016105a890611bcb565b60405180910390fd5b6001600160a01b0382166105d75760405162461bcd60e51b81526004016105a890611bbb565b60006105fb82604051806060016040528060218152602001611dd660219139610e28565b9050610652600060149054906101000a90046001600160601b0316826040518060400160405280601f81526020017f44464c3a3a6d696e743a20746f74616c20737570706c79206578636565647300815250611041565b600080546001600160601b03928316600160a01b026001600160a01b0391821617825585168152600260209081526040918290205482516060810190935260268084526106af9491909116928592909190611e9b90830139611041565b6001600160a01b03848116600090815260026020908152604080832080546001600160601b0319166001600160601b03969096169590951790945560039052918220546106fe9291168361107d565b826001600160a01b031660006001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516107429190611c42565b60405180910390a3505050565b6003602052600090815260409020546001600160a01b031681565b610774338261120f565b50565b60056020526000908152604090205463ffffffff1681565b6001600160a01b03166000908152600260205260409020546001600160601b031690565b6000546001600160a01b031633146107dd5760405162461bcd60e51b81526004016105a890611bcb565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b60004382106108485760405162461bcd60e51b81526004016105a890611beb565b6001600160a01b03831660009081526005602052604090205463ffffffff16806108765760009150506103fd565b6001600160a01b038416600090815260046020908152604080832063ffffffff6000198601811685529252909120541683106108f2576001600160a01b03841660009081526004602090815260408083206000199490940163ffffffff1683529290522054600160201b90046001600160601b031690506103fd565b6001600160a01b038416600090815260046020908152604080832083805290915290205463ffffffff1683101561092d5760009150506103fd565b600060001982015b8163ffffffff168163ffffffff1611156109f057600282820363ffffffff1604810361095f611479565b506001600160a01b038716600090815260046020908152604080832063ffffffff858116855290835292819020815180830190925254928316808252600160201b9093046001600160601b031691810191909152908714156109cb576020015194506103fd9350505050565b805163ffffffff168711156109e2578193506109e9565b6001820392505b5050610935565b506001600160a01b038516600090815260046020908152604080832063ffffffff909416835292905220546001600160601b03600160201b9091041691505092915050565b60066020526000908152604090205481565b6000546001600160a01b031690565b6040518060400160405280600381526020016211119360ea1b81525081565b600080610a9a83604051806060016040528060258152602001611ec160259139610e28565b9050610aa7338583610e96565b5060019392505050565b6001600160a01b03811660009081526005602052604081205463ffffffff1680610adc576000610572565b6001600160a01b0383166000908152600460209081526040808320600019850163ffffffff168452909152902054600160201b90046001600160601b03169392505050565b6000604051610b2f90611a9c565b604080519182900382208282019091526005825264111951925360da1b6020909201919091527fec2370eec9dd45bf744071370407b6fed7da2369b1b5d7112671178229e35fee610b7e611299565b30604051602001610b929493929190611b1a565b6040516020818303038152906040528051906020012090506000604051610bb890611aa7565b604051908190038120610bd3918a908a908a90602001611adc565b60405160208183030381529060405280519060200120905060008282604051602001610c00929190611a6b565b604051602081830303815290604052805190602001209050600060018288888860405160008152602001604052604051610c3d9493929190611b4f565b6020604051602081039080840390855afa158015610c5f573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b038116610c925760405162461bcd60e51b81526004016105a890611bfb565b6001600160a01b03811660009081526006602052604090208054600181019091558914610cd15760405162461bcd60e51b81526004016105a890611b9b565b87421115610cf15760405162461bcd60e51b81526004016105a890611b7b565b610cfb818b61120f565b505050505b505050505050565b6001600160a01b0391821660009081526001602090815260408083209390941682529190915220546001600160601b031690565b60405161042590611aa7565b600460209081526000928352604080842090915290825290205463ffffffff811690600160201b90046001600160601b031682565b6000546001600160a01b03163314610da75760405162461bcd60e51b81526004016105a890611bcb565b6001600160a01b038116610dcd5760405162461bcd60e51b81526004016105a890611b8b565b600080546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600080546001600160a01b0319166001600160a01b0392909216919091179055565b600081600160601b8410610e4f5760405162461bcd60e51b81526004016105a89190611b6a565b509192915050565b6000836001600160601b0316836001600160601b031611158290610e8e5760405162461bcd60e51b81526004016105a89190611b6a565b505050900390565b6001600160a01b038316610ebc5760405162461bcd60e51b81526004016105a890611bdb565b6001600160a01b038216610ee25760405162461bcd60e51b81526004016105a890611bab565b6001600160a01b038316600090815260026020908152604091829020548251606081019093526035808452610f2d936001600160601b039092169285929190611da190830139610e57565b6001600160a01b03848116600090815260026020908152604080832080546001600160601b0319166001600160601b0396871617905592861682529082902054825160608101909352602f808452610f959491909116928592909190611d7290830139611041565b6001600160a01b038381166000818152600260205260409081902080546001600160601b0319166001600160601b0395909516949094179093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90611002908590611c42565b60405180910390a36001600160a01b0380841660009081526003602052604080822054858416835291205461103c9291821691168361107d565b505050565b6000838301826001600160601b0380871690831610156110745760405162461bcd60e51b81526004016105a89190611b6a565b50949350505050565b816001600160a01b0316836001600160a01b0316141580156110a857506000816001600160601b0316115b1561103c576001600160a01b03831615611160576001600160a01b03831660009081526005602052604081205463ffffffff1690816110e8576000611127565b6001600160a01b0385166000908152600460209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b9050600061114e8285604051806060016040528060278152602001611e1d60279139610e57565b905061115c8684848461129d565b5050505b6001600160a01b0382161561103c576001600160a01b03821660009081526005602052604081205463ffffffff16908161119b5760006111da565b6001600160a01b0384166000908152600460209081526040808320600019860163ffffffff168452909152902054600160201b90046001600160601b03165b905060006112018285604051806060016040528060268152602001611df760269139611041565b9050610d008584848461129d565b6001600160a01b03808316600081815260036020818152604080842080546002845282862054949093528787166001600160a01b031984168117909155905191909516946001600160601b039092169391928592917f3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f9190a461129382848361107d565b50505050565b4690565b60006112c143604051806060016040528060338152602001611e4460339139611452565b905060008463ffffffff1611801561130a57506001600160a01b038516600090815260046020908152604080832063ffffffff6000198901811685529252909120548282169116145b15611369576001600160a01b0385166000908152600460209081526040808320600019880163ffffffff168452909152902080546fffffffffffffffffffffffff000000001916600160201b6001600160601b03851602179055611408565b60408051808201825263ffffffff80841682526001600160601b0380861660208085019182526001600160a01b038b166000818152600483528781208c871682528352878120965187549451909516600160201b026fffffffffffffffffffffffff000000001995871663ffffffff19958616179590951694909417909555938252600590935292909220805460018801909316929091169190911790555b846001600160a01b03167fdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a7248484604051611443929190611c5e565b60405180910390a25050505050565b600081600160201b8410610e4f5760405162461bcd60e51b81526004016105a89190611b6a565b604080518082019091526000808252602082015290565b80356103fd81611d06565b80356103fd81611d1a565b80356103fd81611d23565b80356103fd81611d2c565b6000602082840312156114ce57600080fd5b60006114da8484611490565b949350505050565b600080604083850312156114f557600080fd5b60006115018585611490565b925050602061151285828601611490565b9150509250929050565b60008060006060848603121561153157600080fd5b600061153d8686611490565b935050602061154e86828701611490565b925050604061155f8682870161149b565b9150509250925092565b6000806040838503121561157c57600080fd5b60006115888585611490565b92505060206115128582860161149b565b60008060008060008060c087890312156115b257600080fd5b60006115be8989611490565b96505060206115cf89828a0161149b565b95505060406115e089828a0161149b565b94505060606115f189828a016114b1565b935050608061160289828a0161149b565b92505060a061161389828a0161149b565b9150509295509295509295565b6000806040838503121561163357600080fd5b600061163f8585611490565b9250506020611512858286016114a6565b61165981611c8b565b82525050565b61165981611c96565b61165981611c9b565b61165961167d82611c9b565b611c9b565b600061168d82611c79565b6116978185611c7d565b93506116a7818560208601611cd0565b6116b081611cfc565b9093019392505050565b60006116c7602583611c7d565b7f44464c3a3a64656c656761746542795369673a207369676e61747572652065788152641c1a5c995960da1b602082015260400192915050565b600061170e602683611c7d565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206181526564647265737360d01b602082015260400192915050565b6000611756600283611c86565b61190160f01b815260020192915050565b6000611774602183611c7d565b7f44464c3a3a64656c656761746542795369673a20696e76616c6964206e6f6e638152606560f81b602082015260400192915050565b60006117b7603983611c7d565b7f44464c3a3a5f7472616e73666572546f6b656e733a2063616e6e6f742074726181527f6e7366657220746f20746865207a65726f206164647265737300000000000000602082015260400192915050565b6000611816604383611c86565b7f454950373132446f6d61696e28737472696e67206e616d652c75696e7432353681527f20636861696e49642c6164647265737320766572696679696e67436f6e74726160208201526263742960e81b604082015260430192915050565b6000611881602b83611c7d565b7f44464c3a3a206d696e743a2063616e6e6f74206d696e7420746f20746865207a81526a65726f206164647265737360a81b602082015260400192915050565b60006118ce602083611c7d565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572815260200192915050565b6000611907603b83611c7d565b7f44464c3a3a5f7472616e73666572546f6b656e733a2063616e6e6f742074726181527f6e736665722066726f6d20746865207a65726f20616464726573730000000000602082015260400192915050565b6000611966602683611c7d565b7f44464c3a3a6765745072696f72566f7465733a206e6f742079657420646574658152651c9b5a5b995960d21b602082015260400192915050565b60006119ae603a83611c86565b7f44656c65676174696f6e28616464726573732064656c6567617465652c75696e81527f74323536206e6f6e63652c75696e7432353620657870697279290000000000006020820152603a0192915050565b6000611a0d602583611c7d565b7f44464c3a3a64656c656761746542795369673a20696e76616c6964207369676e815264617475726560d81b602082015260400192915050565b61165981611caa565b61165981611cb3565b61165981611cc5565b61165981611cb9565b6000611a7682611749565b9150611a828285611671565b602082019150611a928284611671565b5060200192915050565b60006103fd82611809565b60006103fd826119a1565b602081016103fd8284611650565b602081016103fd828461165f565b602081016103fd8284611668565b60808101611aea8287611668565b611af76020830186611650565b611b046040830185611668565b611b116060830184611668565b95945050505050565b60808101611b288287611668565b611b356020830186611668565b611b426040830185611668565b611b116060830184611650565b60808101611b5d8287611668565b611af76020830186611a50565b602080825281016105728184611682565b602080825281016103fd816116ba565b602080825281016103fd81611701565b602080825281016103fd81611767565b602080825281016103fd816117aa565b602080825281016103fd81611874565b602080825281016103fd816118c1565b602080825281016103fd816118fa565b602080825281016103fd81611959565b602080825281016103fd81611a00565b602081016103fd8284611a47565b60408101611c278285611a47565b6105726020830184611a62565b602081016103fd8284611a50565b602081016103fd8284611a59565b602081016103fd8284611a62565b60408101611c6c8285611a59565b6105726020830184611a59565b5190565b90815260200190565b919050565b60006103fd82611c9e565b151590565b90565b6001600160a01b031690565b63ffffffff1690565b60ff1690565b6001600160601b031690565b60006103fd82611cb9565b60005b83811015611ceb578181015183820152602001611cd3565b838111156112935750506000910152565b601f01601f191690565b611d0f81611c8b565b811461077457600080fd5b611d0f81611c9b565b611d0f81611caa565b611d0f81611cb356fe44464c3a3a7472616e7366657246726f6d3a207472616e7366657220616d6f756e742065786365656473207370656e64657220616c6c6f77616e636544464c3a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e74206f766572666c6f777344464c3a3a5f7472616e73666572546f6b656e733a207472616e7366657220616d6f756e7420657863656564732062616c616e636544464c3a3a6d696e743a20616d6f756e742065786365656473203936206269747344464c3a3a5f6d6f7665566f7465733a20766f746520616d6f756e74206f766572666c6f777344464c3a3a5f6d6f7665566f7465733a20766f746520616d6f756e7420756e646572666c6f777344464c3a3a5f7772697465436865636b706f696e743a20626c6f636b206e756d6265722065786365656473203332206269747344464c3a3a617070726f76653a20616d6f756e742065786365656473203936206269747344464c3a3a6d696e743a206d696e7420616d6f756e7420657863656564732062616c616e636544464c3a3a7472616e736665723a20616d6f756e7420657863656564732039362062697473a365627a7a7231582038b0d63388453504d6352035d6f51042c34e72a688e1c757c10d635f0c7efc396c6578706572696d656e74616cf564736f6c63430005110040

4808:13764:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4808:13764:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4905:37;;;:::i;:::-;;;;;;;;;;;;;;;;9150:418;;;;;;;;;:::i;:::-;;;;;;;;9684:90;;;:::i;:::-;;;;;;;;6095:122;;;:::i;10896:670::-;;;;;;;;;:::i;5103:35::-;;;:::i;:::-;;;;;;;;7678:554;;;;;;;;;:::i;:::-;;5545:45;;;;;;;;;:::i;:::-;;;;;;;;11714:102;;;;;;;;;:::i;5973:49::-;;;;;;;;;:::i;:::-;;;;;;;;9977:108;;;;;;;;;:::i;4270:140::-;;;:::i;13902:1217::-;;;;;;;;;:::i;:::-;;;;;;;;6509:39;;;;;;;;;:::i;3630:79::-;;;:::i;5003:37::-;;;:::i;10349:237::-;;;;;;;;;:::i;13249:222::-;;;;;;;;;:::i;12250:798::-;;;;;;;;;:::i;8536:136::-;;;;;;;;;:::i;6311:117::-;;;:::i;5834:70::-;;;;;;;;;:::i;:::-;;;;;;;;;4565:236;;;;;;;;;:::i;4905:37::-;;;;;;;;;;;;;;-1:-1:-1;;;4905:37:0;;;;:::o;9150:418::-;9218:4;9235:13;-1:-1:-1;;9263:9:0;:21;9259:172;;;-1:-1:-1;;;9259:172:0;;;9362:57;9369:9;9362:57;;;;;;;;;;;;;;;;;:6;:57::i;:::-;9353:66;;9259:172;9454:10;9443:22;;;;:10;:22;;;;;;;;-1:-1:-1;;;;;9443:31:0;;;;;;;;;;;:40;;-1:-1:-1;;;;;;9443:40:0;-1:-1:-1;;;;;9443:40:0;;;;;9501:37;;9443:31;;9454:10;9501:37;;;;9443:40;;9501:37;;;;;;;;;;9556:4;9549:11;;;9150:418;;;;;:::o;9684:90::-;9730:4;9754:12;-1:-1:-1;;;9754:12:0;;-1:-1:-1;;;;;9754:12:0;;9684:90::o;6095:122::-;6137:80;;;;;;;;;;;;;;6095:122;:::o;10896:670::-;-1:-1:-1;;;;;11060:15:0;;10978:4;11060:15;;;:10;:15;;;;;;;;11013:10;11060:24;;;;;;;;;;11111:57;;;;;;;;;;;;11013:10;;-1:-1:-1;;;;;11060:24:0;;;;10978:4;;11111:57;;11118:9;;11111:57;;;;;;;:6;:57::i;:::-;11095:73;;11196:3;-1:-1:-1;;;;;11185:14:0;:7;-1:-1:-1;;;;;11185:14:0;;;:48;;;;-1:-1:-1;;;;;;11203:30:0;;;;;11185:48;11181:310;;;11250:19;11272:95;11278:16;11296:6;11272:95;;;;;;;;;;;;;;;;;:5;:95::i;:::-;-1:-1:-1;;;;;11382:15:0;;;;;;;:10;:15;;;;;;;;:24;;;;;;;;;;;;;;:39;;-1:-1:-1;;;;;;11382:39:0;-1:-1:-1;;;;;11382:39:0;;;;;11443:36;11382:39;;-1:-1:-1;11382:24:0;;11443:36;;;;11382:39;;11443:36;;;;;;;;;;11181:310;;11503:33;11519:3;11524;11529:6;11503:15;:33::i;:::-;11554:4;11547:11;;;;;10896:670;;;;;;:::o;5103:35::-;5136:2;5103:35;:::o;7678:554::-;3842:6;;-1:-1:-1;;;;;3842:6:0;3852:10;3842:20;3834:65;;;;-1:-1:-1;;;3834:65:0;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7761:21:0;;7753:77;;;;-1:-1:-1;;;7753:77:0;;;;;;;;;7841:13;7857:54;7864:9;7857:54;;;;;;;;;;;;;;;;;:6;:54::i;:::-;7841:70;;7937:62;7943:12;;;;;;;;;-1:-1:-1;;;;;7943:12:0;7957:6;7937:62;;;;;;;;;;;;;;;;;:5;:62::i;:::-;7922:12;:77;;-1:-1:-1;;;;;7922:77:0;;;-1:-1:-1;;;7922:77:0;-1:-1:-1;;;;;7922:77:0;;;;;;8036:17;;;;:8;:17;;;;;;;;;;8030:74;;;;;;;;;;;;;;8036:17;;;;;8055:6;;8030:74;;;;;;;;:5;:74::i;:::-;-1:-1:-1;;;;;8010:17:0;;;;;;;:8;:17;;;;;;;;:94;;-1:-1:-1;;;;;;8010:94:0;-1:-1:-1;;;;;8010:94:0;;;;;;;;;;;8144:9;:18;;;;;;8117:54;;8010:17;8144:18;8164:6;8117:14;:54::i;:::-;8208:7;-1:-1:-1;;;;;8187:37:0;8204:1;-1:-1:-1;;;;;8187:37:0;;8217:6;8187:37;;;;;;;;;;;;;;;3910:1;7678:554;;:::o;5545:45::-;;;;;;;;;;;;-1:-1:-1;;;;;5545:45:0;;:::o;11714:102::-;11776:32;11786:10;11798:9;11776;:32::i;:::-;11714:102;:::o;5973:49::-;;;;;;;;;;;;;;;:::o;9977:108::-;-1:-1:-1;;;;;10060:17:0;10036:4;10060:17;;;:8;:17;;;;;;-1:-1:-1;;;;;10060:17:0;;9977:108::o;4270:140::-;3842:6;;-1:-1:-1;;;;;3842:6:0;3852:10;3842:20;3834:65;;;;-1:-1:-1;;;3834:65:0;;;;;;;;;4369:1;4353:6;;4332:40;;-1:-1:-1;;;;;4353:6:0;;;;4332:40;;4369:1;;4332:40;4400:1;4383:19;;-1:-1:-1;;;;;;4383:19:0;;;4270:140::o;13902:1217::-;13981:6;14022:12;14008:11;:26;14000:77;;;;-1:-1:-1;;;14000:77:0;;;;;;;;;-1:-1:-1;;;;;14112:23:0;;14090:19;14112:23;;;:14;:23;;;;;;;;14150:17;14146:58;;14191:1;14184:8;;;;;14146:58;-1:-1:-1;;;;;14264:20:0;;;;;;:11;:20;;;;;;;;:38;-1:-1:-1;;14285:16:0;;14264:38;;;;;;;;;:48;;:63;-1:-1:-1;14260:147:0;;-1:-1:-1;;;;;14351:20:0;;;;;;:11;:20;;;;;;;;-1:-1:-1;;14372:16:0;;;;14351:38;;;;;;;;:44;-1:-1:-1;;;14351:44:0;;-1:-1:-1;;;;;14351:44:0;;-1:-1:-1;14344:51:0;;14260:147;-1:-1:-1;;;;;14468:20:0;;;;;;:11;:20;;;;;;;;:23;;;;;;;;:33;:23;:33;:47;-1:-1:-1;14464:88:0;;;14539:1;14532:8;;;;;14464:88;14564:12;-1:-1:-1;;14606:16:0;;14633:428;14648:5;14640:13;;:5;:13;;;14633:428;;;14712:1;14695:13;;;14694:19;;;14686:27;;14755:20;;:::i;:::-;-1:-1:-1;;;;;;14778:20:0;;;;;;:11;:20;;;;;;;;:28;;;;;;;;;;;;;14755:51;;;;;;;;;;;;;;;-1:-1:-1;;;14755:51:0;;;-1:-1:-1;;;;;14755:51:0;;;;;;;;;14825:27;;14821:229;;;14880:8;;;;-1:-1:-1;14873:15:0;;-1:-1:-1;;;;14873:15:0;14821:229;14914:12;;:26;;;-1:-1:-1;14910:140:0;;;14969:6;14961:14;;14910:140;;;15033:1;15024:6;:10;15016:18;;14910:140;14633:428;;;;;-1:-1:-1;;;;;;15078:20:0;;;;;;:11;:20;;;;;;;;:27;;;;;;;;;;:33;-1:-1:-1;;;;;;;;15078:33:0;;;;;-1:-1:-1;;13902:1217:0;;;;:::o;6509:39::-;;;;;;;;;;;;;:::o;3630:79::-;3668:7;3695:6;-1:-1:-1;;;;;3695:6:0;3630:79;:::o;5003:37::-;;;;;;;;;;;;;;-1:-1:-1;;;5003:37:0;;;;:::o;10349:237::-;10414:4;10431:13;10447:58;10454:9;10447:58;;;;;;;;;;;;;;;;;:6;:58::i;:::-;10431:74;;10516:40;10532:10;10544:3;10549:6;10516:15;:40::i;:::-;-1:-1:-1;10574:4:0;;10349:237;-1:-1:-1;;;10349:237:0:o;13249:222::-;-1:-1:-1;;;;;13355:23:0;;13314:6;13355:23;;;:14;:23;;;;;;;;13396:16;:67;;13462:1;13396:67;;;-1:-1:-1;;;;;13415:20:0;;;;;;:11;:20;;;;;;;;-1:-1:-1;;13436:16:0;;13415:38;;;;;;;;;:44;-1:-1:-1;;;13415:44:0;;-1:-1:-1;;;;;13415:44:0;13389:74;13249:222;-1:-1:-1;;;13249:222:0:o;12250:798::-;12366:23;6137:80;;;;;;;;;;;;;;;;12446:4;;;;;;;;;-1:-1:-1;;;12446:4:0;;;;;;;;12430:22;12454:12;:10;:12::i;:::-;12476:4;12402:80;;;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;12402:80:0;;;12392:91;;;;;;12366:117;;12494:18;6357:71;;;;;;;;;;;;;;;12525:57;;12557:9;;12568:5;;12575:6;;12525:57;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;12525:57:0;;;12515:68;;;;;;12494:89;;12594:14;12650:15;12667:10;12621:57;;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;12621:57:0;;;12611:68;;;;;;12594:85;;12690:17;12710:26;12720:6;12728:1;12731;12734;12710:26;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;12710:26:0;;-1:-1:-1;;12710:26:0;;;-1:-1:-1;;;;;;;12755:23:0;;12747:73;;;;-1:-1:-1;;;12747:73:0;;;;;;;;;-1:-1:-1;;;;;12848:17:0;;;;;;:6;:17;;;;;:19;;;;;;;;12839:28;;12831:74;;;;-1:-1:-1;;;12831:74:0;;;;;;;;;12943:6;12924:15;:25;;12916:75;;;;-1:-1:-1;;;12916:75:0;;;;;;;;;13009:31;13019:9;13030;13009;:31::i;:::-;13002:38;;;;12250:798;;;;;;;:::o;8536:136::-;-1:-1:-1;;;;;8636:19:0;;;8612:4;8636:19;;;:10;:19;;;;;;;;:28;;;;;;;;;;;;-1:-1:-1;;;;;8636:28:0;;8536:136::o;6311:117::-;6357:71;;;;;;5834:70;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;5834:70:0;;-1:-1:-1;;;;;5834:70:0;;:::o;4565:236::-;3842:6;;-1:-1:-1;;;;;3842:6:0;3852:10;3842:20;3834:65;;;;-1:-1:-1;;;3834:65:0;;;;;;;;;-1:-1:-1;;;;;4646:22:0;;4638:73;;;;-1:-1:-1;;;4638:73:0;;;;;;;;;4748:6;;;4727:38;;-1:-1:-1;;;;;4727:38:0;;;;4748:6;;;4727:38;;;4776:6;:17;;-1:-1:-1;;;;;;4776:17:0;-1:-1:-1;;;;;4776:17:0;;;;;;;;;;4565:236::o;17878:161::-;17953:6;17991:12;-1:-1:-1;;;17980:9:0;;17972:32;;;;-1:-1:-1;;;17972:32:0;;;;;;;;;;-1:-1:-1;18029:1:0;;17878:161;-1:-1:-1;;17878:161:0:o;18243:165::-;18329:6;18361:1;-1:-1:-1;;;;;18356:6:0;:1;-1:-1:-1;;;;;18356:6:0;;;18364:12;18348:29;;;;;-1:-1:-1;;;18348:29:0;;;;;;;;;;-1:-1:-1;;;18395:5:0;;;18243:165::o;15510:610::-;-1:-1:-1;;;;;15604:17:0;;15596:89;;;;-1:-1:-1;;;15596:89:0;;;;;;;;;-1:-1:-1;;;;;15704:17:0;;15696:87;;;;-1:-1:-1;;;15696:87:0;;;;;;;;;-1:-1:-1;;;;;15818:13:0;;;;;;:8;:13;;;;;;;;;;15812:85;;;;;;;;;;;;;;-1:-1:-1;;;;;15818:13:0;;;;15833:6;;15812:85;;;;;;;:5;:85::i;:::-;-1:-1:-1;;;;;15796:13:0;;;;;;;:8;:13;;;;;;;;:101;;-1:-1:-1;;;;;;15796:101:0;-1:-1:-1;;;;;15796:101:0;;;;;;15930:13;;;;;;;;;;15924:79;;;;;;;;;;;;;;15930:13;;;;;15945:6;;15924:79;;;;;;;;:5;:79::i;:::-;-1:-1:-1;;;;;15908:13:0;;;;;;;:8;:13;;;;;;;:95;;-1:-1:-1;;;;;;15908:95:0;-1:-1:-1;;;;;15908:95:0;;;;;;;;;;;16019:26;;;;;;;;;;16038:6;;16019:26;;;;;;;;;;-1:-1:-1;;;;;16073:14:0;;;;;;;:9;:14;;;;;;;16089;;;;;;;;16058:54;;16073:14;;;;16089;16105:6;16058:14;:54::i;:::-;15510:610;;;:::o;18047:188::-;18133:6;18163:5;;;18195:12;-1:-1:-1;;;;;18187:6:0;;;;;;;;18179:29;;;;-1:-1:-1;;;18179:29:0;;;;;;;;;;-1:-1:-1;18226:1:0;18047:188;-1:-1:-1;;;;18047:188:0:o;16128:937::-;16233:6;-1:-1:-1;;;;;16223:16:0;:6;-1:-1:-1;;;;;16223:16:0;;;:30;;;;;16252:1;16243:6;-1:-1:-1;;;;;16243:10:0;;16223:30;16219:839;;;-1:-1:-1;;;;;16274:20:0;;;16270:381;;-1:-1:-1;;;;;16334:22:0;;16315:16;16334:22;;;:14;:22;;;;;;;;;16394:13;:60;;16453:1;16394:60;;;-1:-1:-1;;;;;16410:19:0;;;;;;:11;:19;;;;;;;;-1:-1:-1;;16430:13:0;;16410:34;;;;;;;;;:40;-1:-1:-1;;;16410:40:0;;-1:-1:-1;;;;;16410:40:0;16394:60;16375:79;;16473:16;16492:67;16498:9;16509:6;16492:67;;;;;;;;;;;;;;;;;:5;:67::i;:::-;16473:86;;16578:57;16595:6;16603:9;16614;16625;16578:16;:57::i;:::-;16270:381;;;;-1:-1:-1;;;;;16671:20:0;;;16667:380;;-1:-1:-1;;;;;16731:22:0;;16712:16;16731:22;;;:14;:22;;;;;;;;;16791:13;:60;;16850:1;16791:60;;;-1:-1:-1;;;;;16807:19:0;;;;;;:11;:19;;;;;;;;-1:-1:-1;;16827:13:0;;16807:34;;;;;;;;;:40;-1:-1:-1;;;16807:40:0;;-1:-1:-1;;;;;16807:40:0;16791:60;16772:79;;16870:16;16889:66;16895:9;16906:6;16889:66;;;;;;;;;;;;;;;;;:5;:66::i;:::-;16870:85;;16974:57;16991:6;16999:9;17010;17021;16974:16;:57::i;15127:375::-;-1:-1:-1;;;;;15230:20:0;;;15204:23;15230:20;;;:9;:20;;;;;;;;;;15287:8;:19;;;;;;15317:20;;;;:32;;;-1:-1:-1;;;;;;15317:32:0;;;;;;;15367:54;;15230:20;;;;;-1:-1:-1;;;;;15287:19:0;;;;15317:32;;15230:20;;;15367:54;;15204:23;15367:54;15434:60;15449:15;15466:9;15477:16;15434:14;:60::i;:::-;15127:375;;;;:::o;18416:153::-;18526:9;18416:153;:::o;17073:628::-;17191:18;17212:75;17219:12;17212:75;;;;;;;;;;;;;;;;;:6;:75::i;:::-;17191:96;;17317:1;17302:12;:16;;;:85;;;;-1:-1:-1;;;;;;17322:22:0;;;;;;:11;:22;;;;;;;;:65;-1:-1:-1;;17345:16:0;;17322:40;;;;;;;;;:50;:65;;;:50;;:65;17302:85;17298:329;;;-1:-1:-1;;;;;17402:22:0;;;;;;:11;:22;;;;;;;;-1:-1:-1;;17425:16:0;;17402:40;;;;;;;;;:57;;-1:-1:-1;;17402:57:0;-1:-1:-1;;;;;;;;17402:57:0;;;;;;17298:329;;;17527:33;;;;;;;;;;;;;;-1:-1:-1;;;;;17527:33:0;;;;;;;;;;-1:-1:-1;;;;;17488:22:0;;-1:-1:-1;17488:22:0;;;:11;:22;;;;;:36;;;;;;;;;;:72;;;;;;;;;-1:-1:-1;;;17488:72:0;-1:-1:-1;;17488:72:0;;;-1:-1:-1;;17488:72:0;;;;;;;;;;;;;;;17573:25;;;:14;:25;;;;;;;:44;;17488:72;17601:16;;17573:44;;;;;;;;;;;;;17298:329;17663:9;-1:-1:-1;;;;;17642:51:0;;17674:8;17684;17642:51;;;;;;;;;;;;;;;;17073:628;;;;;:::o;17709:161::-;17784:6;17822:12;-1:-1:-1;;;17811:9:0;;17803:32;;;;-1:-1:-1;;;17803:32:0;;;;;;;;;4808:13764;;;;;;;;;;-1:-1:-1;4808:13764: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:366;;;1924:2;1912:9;1903:7;1899:23;1895:32;1892:2;;;1940:1;1937;1930:12;1892:2;1975:1;1992:53;2037:7;2017:9;1992:53;;;1982:63;;1954:97;2082:2;2100:53;2145:7;2136:6;2125:9;2121:22;2100:53;;2176:865;;;;;;;2363:3;2351:9;2342:7;2338:23;2334:33;2331:2;;;2380:1;2377;2370:12;2331:2;2415:1;2432:53;2477:7;2457:9;2432:53;;;2422:63;;2394:97;2522:2;2540:53;2585:7;2576:6;2565:9;2561:22;2540:53;;;2530:63;;2501:98;2630:2;2648:53;2693:7;2684:6;2673:9;2669:22;2648:53;;;2638:63;;2609:98;2738:2;2756:51;2799:7;2790:6;2779:9;2775:22;2756:51;;;2746:61;;2717:96;2844:3;2863:53;2908:7;2899:6;2888:9;2884:22;2863:53;;;2853:63;;2823:99;2953:3;2972:53;3017:7;3008:6;2997:9;2993:22;2972:53;;;2962:63;;2932:99;2325:716;;;;;;;;;3048:364;;;3168:2;3156:9;3147:7;3143:23;3139:32;3136:2;;;3184:1;3181;3174:12;3136:2;3219:1;3236:53;3281:7;3261:9;3236:53;;;3226:63;;3198:97;3326:2;3344:52;3388:7;3379:6;3368:9;3364:22;3344:52;;3419:113;3502:24;3520:5;3502:24;;;3497:3;3490:37;3484:48;;;3539:104;3616:21;3631:5;3616:21;;3650:113;3733:24;3751:5;3733:24;;3770:152;3871:45;3891:24;3909:5;3891:24;;;3871:45;;3929:347;;4041:39;4074:5;4041:39;;;4092:71;4156:6;4151:3;4092:71;;;4085:78;;4168:52;4213:6;4208:3;4201:4;4194:5;4190:16;4168:52;;;4241:29;4263:6;4241:29;;;4232:39;;;;4021:255;-1:-1;;;4021:255;4630:374;;4790:67;4854:2;4849:3;4790:67;;;4890:34;4870:55;;-1:-1;;;4954:2;4945:12;;4938:29;4995:2;4986:12;;4776:228;-1:-1;;4776:228;5013:375;;5173:67;5237:2;5232:3;5173:67;;;5273:34;5253:55;;-1:-1;;;5337:2;5328:12;;5321:30;5379:2;5370:12;;5159:229;-1:-1;;5159:229;5397:398;;5575:84;5657:1;5652:3;5575:84;;;-1:-1;;;5672:87;;5787:1;5778:11;;5561:234;-1:-1;;5561:234;5804:370;;5964:67;6028:2;6023:3;5964:67;;;6064:34;6044:55;;-1:-1;;;6128:2;6119:12;;6112:25;6165:2;6156:12;;5950:224;-1:-1;;5950:224;6183:394;;6343:67;6407:2;6402:3;6343:67;;;6443:34;6423:55;;6512:27;6507:2;6498:12;;6491:49;6568:2;6559:12;;6329:248;-1:-1;;6329:248;6586:477;;6764:85;6846:2;6841:3;6764:85;;;6882:34;6862:55;;6951:34;6946:2;6937:12;;6930:56;-1:-1;;;7015:2;7006:12;;6999:27;7054:2;7045:12;;6750:313;-1:-1;;6750:313;7072:380;;7232:67;7296:2;7291:3;7232:67;;;7332:34;7312:55;;-1:-1;;;7396:2;7387:12;;7380:35;7443:2;7434:12;;7218:234;-1:-1;;7218:234;7461:332;;7621:67;7685:2;7680:3;7621:67;;;7721:34;7701:55;;7784:2;7775:12;;7607:186;-1:-1;;7607:186;7802:396;;7962:67;8026:2;8021:3;7962:67;;;8062:34;8042:55;;8131:29;8126:2;8117:12;;8110:51;8189:2;8180:12;;7948:250;-1:-1;;7948:250;8207:375;;8367:67;8431:2;8426:3;8367:67;;;8467:34;8447:55;;-1:-1;;;8531:2;8522:12;;8515:30;8573:2;8564:12;;8353:229;-1:-1;;8353:229;8591:431;;8769:85;8851:2;8846:3;8769:85;;;8887:34;8867:55;;8956:28;8951:2;8942:12;;8935:50;9013:2;9004:12;;8755:267;-1:-1;;8755:267;9031:374;;9191:67;9255:2;9250:3;9191:67;;;9291:34;9271:55;;-1:-1;;;9355:2;9346:12;;9339:29;9396:2;9387:12;;9177:228;-1:-1;;9177:228;9533:110;9614:23;9631:5;9614:23;;9650:107;9729:22;9745:5;9729:22;;9764:124;9846:36;9876:5;9846:36;;9895:110;9976:23;9993:5;9976:23;;10012:650;;10267:148;10411:3;10267:148;;;10260:155;;10426:75;10497:3;10488:6;10426:75;;;10523:2;10518:3;10514:12;10507:19;;10537:75;10608:3;10599:6;10537:75;;;-1:-1;10634:2;10625:12;;10248:414;-1:-1;;10248:414;10669:372;;10868:148;11012:3;10868:148;;11048:372;;11247:148;11391:3;11247:148;;11427:213;11545:2;11530:18;;11559:71;11534:9;11603:6;11559:71;;11647:201;11759:2;11744:18;;11773:65;11748:9;11811:6;11773:65;;11855:213;11973:2;11958:18;;11987:71;11962:9;12031:6;11987:71;;12075:547;12277:3;12262:19;;12292:71;12266:9;12336:6;12292:71;;;12374:72;12442:2;12431:9;12427:18;12418:6;12374:72;;;12457;12525:2;12514:9;12510:18;12501:6;12457:72;;;12540;12608:2;12597:9;12593:18;12584:6;12540:72;;;12248:374;;;;;;;;12629:547;12831:3;12816:19;;12846:71;12820:9;12890:6;12846:71;;;12928:72;12996:2;12985:9;12981:18;12972:6;12928:72;;;13011;13079:2;13068:9;13064:18;13055:6;13011:72;;;13094;13162:2;13151:9;13147:18;13138:6;13094:72;;13183:539;13381:3;13366:19;;13396:71;13370:9;13440:6;13396:71;;;13478:68;13542:2;13531:9;13527:18;13518:6;13478:68;;13729:293;13863:2;13877:47;;;13848:18;;13938:74;13848:18;13998:6;13938:74;;14337:407;14528:2;14542:47;;;14513:18;;14603:131;14513:18;14603:131;;14751:407;14942:2;14956:47;;;14927:18;;15017:131;14927:18;15017:131;;15165:407;15356:2;15370:47;;;15341:18;;15431:131;15341:18;15431:131;;15579:407;15770:2;15784:47;;;15755:18;;15845:131;15755:18;15845:131;;15993:407;16184:2;16198:47;;;16169:18;;16259:131;16169:18;16259:131;;16407:407;16598:2;16612:47;;;16583:18;;16673:131;16583:18;16673:131;;16821:407;17012:2;17026:47;;;16997:18;;17087:131;16997:18;17087:131;;17235:407;17426:2;17440:47;;;17411:18;;17501:131;17411:18;17501:131;;17649:407;17840:2;17854:47;;;17825:18;;17915:131;17825:18;17915:131;;18283:209;18399:2;18384:18;;18413:69;18388:9;18455:6;18413:69;;18499:316;18641:2;18626:18;;18655:69;18630:9;18697:6;18655:69;;;18735:70;18801:2;18790:9;18786:18;18777:6;18735:70;;18822:205;18936:2;18921:18;;18950:67;18925:9;18990:6;18950:67;;19034:211;19151:2;19136:18;;19165:70;19140:9;19208:6;19165:70;;19252:209;19368:2;19353:18;;19382:69;19357:9;19424:6;19382:69;;19468:320;19612:2;19597:18;;19626:70;19601:9;19669:6;19626:70;;;19707:71;19774:2;19763:9;19759:18;19750:6;19707:71;;19795:118;19879:12;;19850:63;20050:163;20153:19;;;20202:4;20193:14;;20146:67;20222:145;20358:3;20336:31;-1:-1;20336:31;20375:91;;20437:24;20455:5;20437:24;;20473:85;20539:13;20532:21;;20515:43;20565:72;20627:5;20610:27;20644:121;-1:-1;;;;;20706:54;;20689:76;20851:88;20923:10;20912:22;;20895:44;20946:81;21017:4;21006:16;;20989:38;21034:104;-1:-1;;;;;21095:38;;21078:60;21145:106;;21223:23;21240:5;21223:23;;21259:268;21324:1;21331:101;21345:6;21342:1;21339:13;21331:101;;;21412:11;;;21406:18;21393:11;;;21386:39;21367:2;21360:10;21331:101;;;21447:6;21444:1;21441:13;21438:2;;;-1:-1;;21512:1;21494:16;;21487:27;21308:219;21616:97;21704:2;21684:14;-1:-1;;21680:28;;21664:49;21721:117;21790:24;21808:5;21790:24;;;21783:5;21780:35;21770:2;;21829:1;21826;21819:12;21845:117;21914:24;21932:5;21914:24;;22093:115;22161:23;22178:5;22161:23;;22215:113;22282:22;22298:5;22282:22;

bzzr://38b0d63388453504d6352035d6f51042c34e72a688e1c757c10d635f0c7efc39