Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(
•    - function _msgSender()
•    - function _msgData()
•    - function owner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•  contract GreenMigration is Ownable *
•    - function swapIn(uint256 amount)
•    - function withdrawShare()
•    - function _withdrawShare(address user)
•    - function getSwapIn(uint256 amount)
•    - function getOutstandingShares(address ...
•    - function getUnlockedShares(address us ...
•    - function withdrawGreen(address target ...

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at polygonscan.com on 2022-03-22
*/

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

/******************************************/
/*       IERC20 starts here               */
/******************************************/

// File: @openzeppelin/contracts/token/ERC20/IERC20.sol

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `sender` to `recipient` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) external returns (bool);

    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

/******************************************/
/*       Context starts here              */
/******************************************/

// File: @openzeppelin/contracts/GSN/Context.sol

/*
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with GSN meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */
abstract contract Context {
    function _msgSender() internal view virtual returns (address payable) {
        return payable(msg.sender);
    }

    function _msgData() internal view virtual returns (bytes memory) {
        this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        return msg.data;
    }
}

/******************************************/
/*       Ownable starts here              */
/******************************************/

// File: @openzeppelin/contracts/access/Ownable.sol

/**
 * @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.
 */
abstract contract Ownable is Context {
    address private _owner;

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

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

    /**
     * @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 == _msgSender(), "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 virtual 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 virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

/******************************************/
/*        GreenMigration starts here        */
/******************************************/

contract GreenMigration is Ownable{

    IERC20 public GREEN; 
    IERC20 public DINO;

    uint256 public unlockPeriod = 6935000;              // 6 months at 38,000 blocks per day.
    uint256 public unlockShift = unlockPeriod / 10;     // 10% initial position.
    uint256 public swapRatio = 100;                     // 100:1 reverse split.
    uint256 public startBlock;
    uint256 public endBlock;
    uint256 public unlockBlock;

    mapping (address => Allocation) public allocations;

    struct Allocation {
        uint256 sharePerBlock;
        uint256 lastWithdrawalBlock;
    }

    event SwapIn(address user, uint256 amountIn, uint256 disbursement, uint256 allocation);
    event Withdraw(address user, uint256 amountOut);

    /**
     * @dev Populate allocations.
     */
    constructor(address _DINO, address _GREEN, uint256 _unlockBlock)
    {
        DINO = IERC20(_DINO);
        GREEN = IERC20(_GREEN);
        unlockBlock = _unlockBlock;
        startBlock = unlockBlock - unlockShift;
        endBlock = startBlock + unlockPeriod;
    }

    /**
     * @dev Swap DINO to GREEN.
     */
    function swapIn(uint256 amount) external 
    {
        require(amount > 0, "Empty amount.");
        require(block.number >= unlockBlock, "Migration has not yet started.");
        uint256 disbursement;
        uint256 sharePerBlock;
        uint256 unlockedBlock;
        DINO.transferFrom(msg.sender, address(this), amount);
        if (block.number > endBlock) {
            unlockedBlock = endBlock;
        } else {
            unlockedBlock = block.number;
        }
        if (allocations[msg.sender].lastWithdrawalBlock == 0) {
            allocations[msg.sender].lastWithdrawalBlock = unlockedBlock;
        } else {
            if(allocations[msg.sender].lastWithdrawalBlock < endBlock) _withdrawShare(msg.sender);
        }
        uint256 withdrawnBlocks = unlockedBlock - startBlock;
        uint256 outstandingBlocks = endBlock - unlockedBlock;
        disbursement = amount * withdrawnBlocks / unlockPeriod;
        if(outstandingBlocks > 0) {
            sharePerBlock = (amount - disbursement) / outstandingBlocks / swapRatio; 
            allocations[msg.sender].sharePerBlock += sharePerBlock;
        }
        GREEN.transfer(msg.sender, disbursement / swapRatio);

        emit SwapIn(msg.sender, amount, disbursement / swapRatio, sharePerBlock * outstandingBlocks);
    }

    /**
     * @dev Withdraw all unlocked shares.
     */
    function withdrawShare() external
    {
        require(allocations[msg.sender].lastWithdrawalBlock < endBlock, "All shares have already been claimed.");
        _withdrawShare(msg.sender);
    }

    /**
     * @dev Internal unlock shares.
     */
    function _withdrawShare(address user) internal
    {
        uint256 unlockedBlock;
        if (block.number > endBlock) {
            unlockedBlock = endBlock;
        } else {
            unlockedBlock = block.number;
        }
        uint256 tempLastWithdrawalBlock = allocations[user].lastWithdrawalBlock;
        allocations[user].lastWithdrawalBlock = unlockedBlock;                    // Avoid reentrancy
        uint256 unlockedShares = allocations[user].sharePerBlock * (unlockedBlock - tempLastWithdrawalBlock);
        GREEN.transfer(user, unlockedShares);

        emit Withdraw(user, unlockedShares);
    }

    /**
     * @dev Get the disbursement and allocation amounts on swap.
     */
    function getSwapIn(uint256 amount) external view returns(uint256, uint256)
    {
        uint256 disbursement;
        uint256 sharePerBlock;
        uint256 unlockedBlock;
        if (block.number > endBlock) {
            unlockedBlock = endBlock;
        } else {
            unlockedBlock = block.number;
        }
        uint256 withdrawnBlocks = unlockedBlock - startBlock;
        uint256 outstandingBlocks = endBlock - unlockedBlock;
        disbursement = amount * withdrawnBlocks / unlockPeriod;
        if(outstandingBlocks > 0) {
            sharePerBlock = (amount - disbursement) / outstandingBlocks / swapRatio;
        }
         
        return (disbursement / swapRatio, sharePerBlock * outstandingBlocks);
    }

    /**
     * @dev Get the remaining balance of a shareholder's total outstanding shares.
     */
    function getOutstandingShares(address user) external view returns(uint256)
    {
        return allocations[user].sharePerBlock * (endBlock - allocations[user].lastWithdrawalBlock);
    }

    /**
     * @dev Get the balance of a shareholder's claimable shares.
     */
    function getUnlockedShares(address user) external view returns(uint256)
    {
        uint256 unlockedBlock;
        if (block.number > endBlock) {
            unlockedBlock = endBlock;
        } else {
            unlockedBlock = block.number;
        }
        return allocations[user].sharePerBlock * (unlockedBlock - allocations[user].lastWithdrawalBlock);
    }

    /**
     * @dev Withdraw Green tokens (use to close the swap).
     */
    function withdrawGreen(address target) external onlyOwner
    {
        require(GREEN.balanceOf(address(this)) > 0, "Green balance is zero.");
        GREEN.transfer(target, GREEN.balanceOf(address(this)));
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_DINO","type":"address"},{"internalType":"address","name":"_GREEN","type":"address"},{"internalType":"uint256","name":"_unlockBlock","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"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":false,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"amountIn","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"disbursement","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"allocation","type":"uint256"}],"name":"SwapIn","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"amountOut","type":"uint256"}],"name":"Withdraw","type":"event"},{"inputs":[],"name":"DINO","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"GREEN","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"allocations","outputs":[{"internalType":"uint256","name":"sharePerBlock","type":"uint256"},{"internalType":"uint256","name":"lastWithdrawalBlock","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"endBlock","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"getOutstandingShares","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"getSwapIn","outputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"getUnlockedShares","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"startBlock","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"swapIn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"swapRatio","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"unlockBlock","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"unlockPeriod","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"unlockShift","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"target","type":"address"}],"name":"withdrawGreen","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"withdrawShare","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040526269d1d8600355600a6003546200001c919062000239565b60045560646005553480156200003157600080fd5b5060405162001e4b38038062001e4b83398181016040528101906200005791906200030c565b600062000069620001c960201b60201c565b9050806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35082600260006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555081600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600881905550600454600854620001a2919062000368565b600681905550600354600654620001ba9190620003a3565b60078190555050505062000400565b600033905090565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006200024682620001d1565b91506200025383620001d1565b925082620002665762000265620001db565b5b828204905092915050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000620002a38262000276565b9050919050565b620002b58162000296565b8114620002c157600080fd5b50565b600081519050620002d581620002aa565b92915050565b620002e681620001d1565b8114620002f257600080fd5b50565b6000815190506200030681620002db565b92915050565b60008060006060848603121562000328576200032762000271565b5b60006200033886828701620002c4565b93505060206200034b86828701620002c4565b92505060406200035e86828701620002f5565b9150509250925092565b60006200037582620001d1565b91506200038283620001d1565b9250828210156200039857620003976200020a565b5b828203905092915050565b6000620003b082620001d1565b9150620003bd83620001d1565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115620003f557620003f46200020a565b5b828201905092915050565b611a3b80620004106000396000f3fe608060405234801561001057600080fd5b50600436106101165760003560e01c8063759c7265116100a2578063bd543e0911610071578063bd543e09146102ae578063dfe58a28146102cc578063ea35df16146102e8578063f2fde38b14610306578063fc574b531461032257610116565b8063759c72651461022657806378ec96a0146102425780638da5cb5b14610260578063bc747dc51461027e57610116565b806324349671116100e9578063243496711461019357806348cd4cb11461019d5780634cd5bd83146101bb57806352a9039c146101eb578063715018a61461021c57610116565b8063083c63231461011b5780630e0bfb491461013957806320d3a0b414610157578063225410d414610175575b600080fd5b610123610353565b6040516101309190611290565b60405180910390f35b610141610359565b60405161014e9190611290565b60405180910390f35b61015f61035f565b60405161016c9190611290565b60405180910390f35b61017d610365565b60405161018a919061132a565b60405180910390f35b61019b61038b565b005b6101a561041c565b6040516101b29190611290565b60405180910390f35b6101d560048036038101906101d09190611388565b610422565b6040516101e29190611290565b60405180910390f35b61020560048036038101906102009190611388565b6104e0565b6040516102139291906113b5565b60405180910390f35b610224610504565b005b610240600480360381019061023b919061140a565b610657565b005b61024a610a5f565b604051610257919061132a565b60405180910390f35b610268610a85565b6040516102759190611446565b60405180910390f35b61029860048036038101906102939190611388565b610aae565b6040516102a59190611290565b60405180910390f35b6102b6610b54565b6040516102c39190611290565b60405180910390f35b6102e660048036038101906102e19190611388565b610b5a565b005b6102f0610e0c565b6040516102fd9190611290565b60405180910390f35b610320600480360381019061031b9190611388565b610e12565b005b61033c6004803603810190610337919061140a565b610fd3565b60405161034a9291906113b5565b60405180910390f35b60075481565b60055481565b60035481565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600754600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001015410610411576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610408906114e4565b60405180910390fd5b61041a3361108a565b565b60065481565b60008060075443111561043957600754905061043d565b4390505b600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600101548161048b9190611533565b600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001546104d89190611567565b915050919050565b60096020528060005260406000206000915090508060000154908060010154905082565b61050c61126f565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610599576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105909061160d565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000811161069a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161069190611679565b60405180910390fd5b6008544310156106df576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106d6906116e5565b60405180910390fd5b6000806000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd3330876040518463ffffffff1660e01b815260040161074393929190611705565b6020604051808303816000875af1158015610762573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107869190611774565b5060075443111561079b57600754905061079f565b4390505b6000600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010154036108355780600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001018190555061088c565b600754600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010154101561088b5761088a3361108a565b5b5b60006006548261089c9190611533565b90506000826007546108ae9190611533565b905060035482876108bf9190611567565b6108c991906117d0565b94506000811115610954576005548186886108e49190611533565b6108ee91906117d0565b6108f891906117d0565b935083600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001600082825461094c9190611801565b925050819055505b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33600554886109a191906117d0565b6040518363ffffffff1660e01b81526004016109be929190611857565b6020604051808303816000875af11580156109dd573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a019190611774565b507f28f80ee8a798aad07cffa08ca0b599a7c9a96c208b0ee5462e3006d51c86477b338760055488610a3391906117d0565b8488610a3f9190611567565b604051610a4f9493929190611880565b60405180910390a1505050505050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000600960008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010154600754610b009190611533565b600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154610b4d9190611567565b9050919050565b60045481565b610b6261126f565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610bef576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610be69061160d565b60405180910390fd5b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610c4c9190611446565b602060405180830381865afa158015610c69573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c8d91906118da565b11610ccd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cc490611953565b60405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb82600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610d679190611446565b602060405180830381865afa158015610d84573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610da891906118da565b6040518363ffffffff1660e01b8152600401610dc5929190611857565b6020604051808303816000875af1158015610de4573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610e089190611774565b5050565b60085481565b610e1a61126f565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610ea7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e9e9061160d565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610f16576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f0d906119e5565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000806000806000600754431115610fef576007549050610ff3565b4390505b6000600654826110039190611533565b90506000826007546110159190611533565b905060035482896110269190611567565b61103091906117d0565b945060008111156110625760055481868a61104b9190611533565b61105591906117d0565b61105f91906117d0565b93505b6005548561107091906117d0565b818561107c9190611567565b965096505050505050915091565b60006007544311156110a05760075490506110a4565b4390505b6000600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010154905081600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010181905550600081836111409190611533565b600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000015461118d9190611567565b9050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb85836040518363ffffffff1660e01b81526004016111ec929190611857565b6020604051808303816000875af115801561120b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061122f9190611774565b507f884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a94243648482604051611261929190611857565b60405180910390a150505050565b600033905090565b6000819050919050565b61128a81611277565b82525050565b60006020820190506112a56000830184611281565b92915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b60006112f06112eb6112e6846112ab565b6112cb565b6112ab565b9050919050565b6000611302826112d5565b9050919050565b6000611314826112f7565b9050919050565b61132481611309565b82525050565b600060208201905061133f600083018461131b565b92915050565b600080fd5b6000611355826112ab565b9050919050565b6113658161134a565b811461137057600080fd5b50565b6000813590506113828161135c565b92915050565b60006020828403121561139e5761139d611345565b5b60006113ac84828501611373565b91505092915050565b60006040820190506113ca6000830185611281565b6113d76020830184611281565b9392505050565b6113e781611277565b81146113f257600080fd5b50565b600081359050611404816113de565b92915050565b6000602082840312156114205761141f611345565b5b600061142e848285016113f5565b91505092915050565b6114408161134a565b82525050565b600060208201905061145b6000830184611437565b92915050565b600082825260208201905092915050565b7f416c6c20736861726573206861766520616c7265616479206265656e20636c6160008201527f696d65642e000000000000000000000000000000000000000000000000000000602082015250565b60006114ce602583611461565b91506114d982611472565b604082019050919050565b600060208201905081810360008301526114fd816114c1565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061153e82611277565b915061154983611277565b92508282101561155c5761155b611504565b5b828203905092915050565b600061157282611277565b915061157d83611277565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156115b6576115b5611504565b5b828202905092915050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b60006115f7602083611461565b9150611602826115c1565b602082019050919050565b60006020820190508181036000830152611626816115ea565b9050919050565b7f456d70747920616d6f756e742e00000000000000000000000000000000000000600082015250565b6000611663600d83611461565b915061166e8261162d565b602082019050919050565b6000602082019050818103600083015261169281611656565b9050919050565b7f4d6967726174696f6e20686173206e6f742079657420737461727465642e0000600082015250565b60006116cf601e83611461565b91506116da82611699565b602082019050919050565b600060208201905081810360008301526116fe816116c2565b9050919050565b600060608201905061171a6000830186611437565b6117276020830185611437565b6117346040830184611281565b949350505050565b60008115159050919050565b6117518161173c565b811461175c57600080fd5b50565b60008151905061176e81611748565b92915050565b60006020828403121561178a57611789611345565b5b60006117988482850161175f565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b60006117db82611277565b91506117e683611277565b9250826117f6576117f56117a1565b5b828204905092915050565b600061180c82611277565b915061181783611277565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561184c5761184b611504565b5b828201905092915050565b600060408201905061186c6000830185611437565b6118796020830184611281565b9392505050565b60006080820190506118956000830187611437565b6118a26020830186611281565b6118af6040830185611281565b6118bc6060830184611281565b95945050505050565b6000815190506118d4816113de565b92915050565b6000602082840312156118f0576118ef611345565b5b60006118fe848285016118c5565b91505092915050565b7f477265656e2062616c616e6365206973207a65726f2e00000000000000000000600082015250565b600061193d601683611461565b915061194882611907565b602082019050919050565b6000602082019050818103600083015261196c81611930565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b60006119cf602683611461565b91506119da82611973565b604082019050919050565b600060208201905081810360008301526119fe816119c2565b905091905056fea26469706673582212202a83ca2efb2e698fdec43b62618cf586f494ca7fddd4f4fb3c4b520affd7e65164736f6c634300080d0033000000000000000000000000aa9654becca45b5bdfa5ac646c939c62b527d39400000000000000000000000040db6d7812b8288eca452f912ca9f262b186f27800000000000000000000000000000000000000000000000000000000019238c0

0x608060405234801561001057600080fd5b50600436106101165760003560e01c8063759c7265116100a2578063bd543e0911610071578063bd543e09146102ae578063dfe58a28146102cc578063ea35df16146102e8578063f2fde38b14610306578063fc574b531461032257610116565b8063759c72651461022657806378ec96a0146102425780638da5cb5b14610260578063bc747dc51461027e57610116565b806324349671116100e9578063243496711461019357806348cd4cb11461019d5780634cd5bd83146101bb57806352a9039c146101eb578063715018a61461021c57610116565b8063083c63231461011b5780630e0bfb491461013957806320d3a0b414610157578063225410d414610175575b600080fd5b610123610353565b6040516101309190611290565b60405180910390f35b610141610359565b60405161014e9190611290565b60405180910390f35b61015f61035f565b60405161016c9190611290565b60405180910390f35b61017d610365565b60405161018a919061132a565b60405180910390f35b61019b61038b565b005b6101a561041c565b6040516101b29190611290565b60405180910390f35b6101d560048036038101906101d09190611388565b610422565b6040516101e29190611290565b60405180910390f35b61020560048036038101906102009190611388565b6104e0565b6040516102139291906113b5565b60405180910390f35b610224610504565b005b610240600480360381019061023b919061140a565b610657565b005b61024a610a5f565b604051610257919061132a565b60405180910390f35b610268610a85565b6040516102759190611446565b60405180910390f35b61029860048036038101906102939190611388565b610aae565b6040516102a59190611290565b60405180910390f35b6102b6610b54565b6040516102c39190611290565b60405180910390f35b6102e660048036038101906102e19190611388565b610b5a565b005b6102f0610e0c565b6040516102fd9190611290565b60405180910390f35b610320600480360381019061031b9190611388565b610e12565b005b61033c6004803603810190610337919061140a565b610fd3565b60405161034a9291906113b5565b60405180910390f35b60075481565b60055481565b60035481565b600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600754600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001015410610411576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610408906114e4565b60405180910390fd5b61041a3361108a565b565b60065481565b60008060075443111561043957600754905061043d565b4390505b600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600101548161048b9190611533565b600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001546104d89190611567565b915050919050565b60096020528060005260406000206000915090508060000154908060010154905082565b61050c61126f565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610599576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105909061160d565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6000811161069a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161069190611679565b60405180910390fd5b6008544310156106df576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106d6906116e5565b60405180910390fd5b6000806000600260009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166323b872dd3330876040518463ffffffff1660e01b815260040161074393929190611705565b6020604051808303816000875af1158015610762573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107869190611774565b5060075443111561079b57600754905061079f565b4390505b6000600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010154036108355780600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001018190555061088c565b600754600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010154101561088b5761088a3361108a565b5b5b60006006548261089c9190611533565b90506000826007546108ae9190611533565b905060035482876108bf9190611567565b6108c991906117d0565b94506000811115610954576005548186886108e49190611533565b6108ee91906117d0565b6108f891906117d0565b935083600960003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600001600082825461094c9190611801565b925050819055505b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb33600554886109a191906117d0565b6040518363ffffffff1660e01b81526004016109be929190611857565b6020604051808303816000875af11580156109dd573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a019190611774565b507f28f80ee8a798aad07cffa08ca0b599a7c9a96c208b0ee5462e3006d51c86477b338760055488610a3391906117d0565b8488610a3f9190611567565b604051610a4f9493929190611880565b60405180910390a1505050505050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000600960008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010154600754610b009190611533565b600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154610b4d9190611567565b9050919050565b60045481565b610b6261126f565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610bef576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610be69061160d565b60405180910390fd5b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610c4c9190611446565b602060405180830381865afa158015610c69573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c8d91906118da565b11610ccd576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cc490611953565b60405180910390fd5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb82600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401610d679190611446565b602060405180830381865afa158015610d84573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610da891906118da565b6040518363ffffffff1660e01b8152600401610dc5929190611857565b6020604051808303816000875af1158015610de4573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610e089190611774565b5050565b60085481565b610e1a61126f565b73ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610ea7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e9e9061160d565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610f16576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f0d906119e5565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660008054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000806000806000600754431115610fef576007549050610ff3565b4390505b6000600654826110039190611533565b90506000826007546110159190611533565b905060035482896110269190611567565b61103091906117d0565b945060008111156110625760055481868a61104b9190611533565b61105591906117d0565b61105f91906117d0565b93505b6005548561107091906117d0565b818561107c9190611567565b965096505050505050915091565b60006007544311156110a05760075490506110a4565b4390505b6000600960008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010154905081600960008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060010181905550600081836111409190611533565b600960008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000015461118d9190611567565b9050600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb85836040518363ffffffff1660e01b81526004016111ec929190611857565b6020604051808303816000875af115801561120b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061122f9190611774565b507f884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a94243648482604051611261929190611857565b60405180910390a150505050565b600033905090565b6000819050919050565b61128a81611277565b82525050565b60006020820190506112a56000830184611281565b92915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b60006112f06112eb6112e6846112ab565b6112cb565b6112ab565b9050919050565b6000611302826112d5565b9050919050565b6000611314826112f7565b9050919050565b61132481611309565b82525050565b600060208201905061133f600083018461131b565b92915050565b600080fd5b6000611355826112ab565b9050919050565b6113658161134a565b811461137057600080fd5b50565b6000813590506113828161135c565b92915050565b60006020828403121561139e5761139d611345565b5b60006113ac84828501611373565b91505092915050565b60006040820190506113ca6000830185611281565b6113d76020830184611281565b9392505050565b6113e781611277565b81146113f257600080fd5b50565b600081359050611404816113de565b92915050565b6000602082840312156114205761141f611345565b5b600061142e848285016113f5565b91505092915050565b6114408161134a565b82525050565b600060208201905061145b6000830184611437565b92915050565b600082825260208201905092915050565b7f416c6c20736861726573206861766520616c7265616479206265656e20636c6160008201527f696d65642e000000000000000000000000000000000000000000000000000000602082015250565b60006114ce602583611461565b91506114d982611472565b604082019050919050565b600060208201905081810360008301526114fd816114c1565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061153e82611277565b915061154983611277565b92508282101561155c5761155b611504565b5b828203905092915050565b600061157282611277565b915061157d83611277565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156115b6576115b5611504565b5b828202905092915050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b60006115f7602083611461565b9150611602826115c1565b602082019050919050565b60006020820190508181036000830152611626816115ea565b9050919050565b7f456d70747920616d6f756e742e00000000000000000000000000000000000000600082015250565b6000611663600d83611461565b915061166e8261162d565b602082019050919050565b6000602082019050818103600083015261169281611656565b9050919050565b7f4d6967726174696f6e20686173206e6f742079657420737461727465642e0000600082015250565b60006116cf601e83611461565b91506116da82611699565b602082019050919050565b600060208201905081810360008301526116fe816116c2565b9050919050565b600060608201905061171a6000830186611437565b6117276020830185611437565b6117346040830184611281565b949350505050565b60008115159050919050565b6117518161173c565b811461175c57600080fd5b50565b60008151905061176e81611748565b92915050565b60006020828403121561178a57611789611345565b5b60006117988482850161175f565b91505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b60006117db82611277565b91506117e683611277565b9250826117f6576117f56117a1565b5b828204905092915050565b600061180c82611277565b915061181783611277565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561184c5761184b611504565b5b828201905092915050565b600060408201905061186c6000830185611437565b6118796020830184611281565b9392505050565b60006080820190506118956000830187611437565b6118a26020830186611281565b6118af6040830185611281565b6118bc6060830184611281565b95945050505050565b6000815190506118d4816113de565b92915050565b6000602082840312156118f0576118ef611345565b5b60006118fe848285016118c5565b91505092915050565b7f477265656e2062616c616e6365206973207a65726f2e00000000000000000000600082015250565b600061193d601683611461565b915061194882611907565b602082019050919050565b6000602082019050818103600083015261196c81611930565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b60006119cf602683611461565b91506119da82611973565b604082019050919050565b600060208201905081810360008301526119fe816119c2565b905091905056fea26469706673582212202a83ca2efb2e698fdec43b62618cf586f494ca7fddd4f4fb3c4b520affd7e65164736f6c634300080d0033

000000000000000000000000aa9654becca45b5bdfa5ac646c939c62b527d39400000000000000000000000040db6d7812b8288eca452f912ca9f262b186f27800000000000000000000000000000000000000000000000000000000019238c0

-----Decoded View---------------
Arg [0] : _DINO (address): 0xAa9654BECca45B5BDFA5ac646c939C62b527D394
Arg [1] : _GREEN (address): 0x40DB6d7812b8288eCA452F912ca9F262b186f278
Arg [2] : _unlockBlock (uint256): 26360000

-----Encoded View---------------
3 Constructor Arguments found :
Arg [0] : 000000000000000000000000aa9654becca45b5bdfa5ac646c939c62b527d394
Arg [1] : 00000000000000000000000040db6d7812b8288eca452f912ca9f262b186f278
Arg [2] : 00000000000000000000000000000000000000000000000000000000019238c0

6647:5352:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7034:23;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6921:30;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6744:37;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6717:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9190:199;;;:::i;:::-;;7002:25;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11319:375;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7099:50;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;5951:148;;;:::i;:::-;;7798:1323;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;6690:19;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5309:79;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11037:190;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6839:46;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11780:216;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;7064:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6254:244;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;10178:749;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;7034:23;;;;:::o;6921:30::-;;;;:::o;6744:37::-;;;;:::o;6717:18::-;;;;;;;;;;;;;:::o;9190:199::-;9294:8;;9248:11;:23;9260:10;9248:23;;;;;;;;;;;;;;;:43;;;:54;9240:104;;;;;;;;;;;;:::i;:::-;;;;;;;;;9355:26;9370:10;9355:14;:26::i;:::-;9190:199::o;7002:25::-;;;;:::o;11319:375::-;11382:7;11407:21;11458:8;;11443:12;:23;11439:141;;;11499:8;;11483:24;;11439:141;;;11556:12;11540:28;;11439:141;11648:11;:17;11660:4;11648:17;;;;;;;;;;;;;;;:37;;;11632:13;:53;;;;:::i;:::-;11597:11;:17;11609:4;11597:17;;;;;;;;;;;;;;;:31;;;:89;;;;:::i;:::-;11590:96;;;11319:375;;;:::o;7099:50::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5951:148::-;5531:12;:10;:12::i;:::-;5521:22;;:6;;;;;;;;;;:22;;;5513:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;6058:1:::1;6021:40;;6042:6;::::0;::::1;;;;;;;;6021:40;;;;;;;;;;;;6089:1;6072:6:::0;::::1;:19;;;;;;;;;;;;;;;;;;5951:148::o:0;7798:1323::-;7873:1;7864:6;:10;7856:36;;;;;;;;;;;;:::i;:::-;;;;;;;;;7927:11;;7911:12;:27;;7903:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;7984:20;8015:21;8047;8079:4;;;;;;;;;;;:17;;;8097:10;8117:4;8124:6;8079:52;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;8161:8;;8146:12;:23;8142:141;;;8202:8;;8186:24;;8142:141;;;8259:12;8243:28;;8142:141;8344:1;8297:11;:23;8309:10;8297:23;;;;;;;;;;;;;;;:43;;;:48;8293:258;;8408:13;8362:11;:23;8374:10;8362:23;;;;;;;;;;;;;;;:43;;:59;;;;8293:258;;;8503:8;;8457:11;:23;8469:10;8457:23;;;;;;;;;;;;;;;:43;;;:54;8454:85;;;8513:26;8528:10;8513:14;:26::i;:::-;8454:85;8293:258;8561:23;8603:10;;8587:13;:26;;;;:::i;:::-;8561:52;;8624:25;8663:13;8652:8;;:24;;;;:::i;:::-;8624:52;;8729:12;;8711:15;8702:6;:24;;;;:::i;:::-;:39;;;;:::i;:::-;8687:54;;8775:1;8755:17;:21;8752:194;;;8855:9;;8835:17;8819:12;8810:6;:21;;;;:::i;:::-;8809:43;;;;:::i;:::-;:55;;;;:::i;:::-;8793:71;;8921:13;8880:11;:23;8892:10;8880:23;;;;;;;;;;;;;;;:37;;;:54;;;;;;;:::i;:::-;;;;;;;;8752:194;8956:5;;;;;;;;;;;:14;;;8971:10;8998:9;;8983:12;:24;;;;:::i;:::-;8956:52;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;9026:87;9033:10;9045:6;9068:9;;9053:12;:24;;;;:::i;:::-;9095:17;9079:13;:33;;;;:::i;:::-;9026:87;;;;;;;;;:::i;:::-;;;;;;;;7845:1276;;;;;7798:1323;:::o;6690:19::-;;;;;;;;;;;;;:::o;5309:79::-;5347:7;5374:6;;;;;;;;;;;5367:13;;5309:79;:::o;11037:190::-;11103:7;11181:11;:17;11193:4;11181:17;;;;;;;;;;;;;;;:37;;;11170:8;;:48;;;;:::i;:::-;11135:11;:17;11147:4;11135:17;;;;;;;;;;;;;;;:31;;;:84;;;;:::i;:::-;11128:91;;11037:190;;;:::o;6839:46::-;;;;:::o;11780:216::-;5531:12;:10;:12::i;:::-;5521:22;;:6;;;;;;;;;;:22;;;5513:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;11895:1:::1;11862:5;;;;;;;;;;;:15;;;11886:4;11862:30;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:34;11854:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;11934:5;;;;;;;;;;;:14;;;11949:6;11957:5;;;;;;;;;;;:15;;;11981:4;11957:30;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11934:54;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;11780:216:::0;:::o;7064:26::-;;;;:::o;6254:244::-;5531:12;:10;:12::i;:::-;5521:22;;:6;;;;;;;;;;:22;;;5513:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;6363:1:::1;6343:22;;:8;:22;;::::0;6335:73:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;6453:8;6424:38;;6445:6;::::0;::::1;;;;;;;;6424:38;;;;;;;;;;;;6482:8;6473:6;::::0;:17:::1;;;;;;;;;;;;;;;;;;6254:244:::0;:::o;10178:749::-;10235:7;10244;10269:20;10300:21;10332;10383:8;;10368:12;:23;10364:141;;;10424:8;;10408:24;;10364:141;;;10481:12;10465:28;;10364:141;10515:23;10557:10;;10541:13;:26;;;;:::i;:::-;10515:52;;10578:25;10617:13;10606:8;;:24;;;;:::i;:::-;10578:52;;10683:12;;10665:15;10656:6;:24;;;;:::i;:::-;:39;;;;:::i;:::-;10641:54;;10729:1;10709:17;:21;10706:124;;;10809:9;;10789:17;10773:12;10764:6;:21;;;;:::i;:::-;10763:43;;;;:::i;:::-;:55;;;;:::i;:::-;10747:71;;10706:124;10874:9;;10859:12;:24;;;;:::i;:::-;10901:17;10885:13;:33;;;;:::i;:::-;10851:68;;;;;;;;;10178:749;;;:::o;9452:634::-;9515:21;9566:8;;9551:12;:23;9547:141;;;9607:8;;9591:24;;9547:141;;;9664:12;9648:28;;9547:141;9698:31;9732:11;:17;9744:4;9732:17;;;;;;;;;;;;;;;:37;;;9698:71;;9820:13;9780:11;:17;9792:4;9780:17;;;;;;;;;;;;;;;:37;;:53;;;;9883:22;9959:23;9943:13;:39;;;;:::i;:::-;9908:11;:17;9920:4;9908:17;;;;;;;;;;;;;;;:31;;;:75;;;;:::i;:::-;9883:100;;9994:5;;;;;;;;;;;:14;;;10009:4;10015:14;9994:36;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;10048:30;10057:4;10063:14;10048:30;;;;;;;:::i;:::-;;;;;;;;9504:582;;;9452:634;:::o;3743:115::-;3796:15;3839:10;3824:26;;3743:115;:::o;7:77:1:-;44:7;73:5;62:16;;7:77;;;:::o;90:118::-;177:24;195:5;177:24;:::i;:::-;172:3;165:37;90:118;;:::o;214:222::-;307:4;345:2;334:9;330:18;322:26;;358:71;426:1;415:9;411:17;402:6;358:71;:::i;:::-;214:222;;;;:::o;442:126::-;479:7;519:42;512:5;508:54;497:65;;442:126;;;:::o;574:60::-;602:3;623:5;616:12;;574:60;;;:::o;640:142::-;690:9;723:53;741:34;750:24;768:5;750:24;:::i;:::-;741:34;:::i;:::-;723:53;:::i;:::-;710:66;;640:142;;;:::o;788:126::-;838:9;871:37;902:5;871:37;:::i;:::-;858:50;;788:126;;;:::o;920:139::-;983:9;1016:37;1047:5;1016:37;:::i;:::-;1003:50;;920:139;;;:::o;1065:157::-;1165:50;1209:5;1165:50;:::i;:::-;1160:3;1153:63;1065:157;;:::o;1228:248::-;1334:4;1372:2;1361:9;1357:18;1349:26;;1385:84;1466:1;1455:9;1451:17;1442:6;1385:84;:::i;:::-;1228:248;;;;:::o;1563:117::-;1672:1;1669;1662:12;1809:96;1846:7;1875:24;1893:5;1875:24;:::i;:::-;1864:35;;1809:96;;;:::o;1911:122::-;1984:24;2002:5;1984:24;:::i;:::-;1977:5;1974:35;1964:63;;2023:1;2020;2013:12;1964:63;1911:122;:::o;2039:139::-;2085:5;2123:6;2110:20;2101:29;;2139:33;2166:5;2139:33;:::i;:::-;2039:139;;;;:::o;2184:329::-;2243:6;2292:2;2280:9;2271:7;2267:23;2263:32;2260:119;;;2298:79;;:::i;:::-;2260:119;2418:1;2443:53;2488:7;2479:6;2468:9;2464:22;2443:53;:::i;:::-;2433:63;;2389:117;2184:329;;;;:::o;2519:332::-;2640:4;2678:2;2667:9;2663:18;2655:26;;2691:71;2759:1;2748:9;2744:17;2735:6;2691:71;:::i;:::-;2772:72;2840:2;2829:9;2825:18;2816:6;2772:72;:::i;:::-;2519:332;;;;;:::o;2857:122::-;2930:24;2948:5;2930:24;:::i;:::-;2923:5;2920:35;2910:63;;2969:1;2966;2959:12;2910:63;2857:122;:::o;2985:139::-;3031:5;3069:6;3056:20;3047:29;;3085:33;3112:5;3085:33;:::i;:::-;2985:139;;;;:::o;3130:329::-;3189:6;3238:2;3226:9;3217:7;3213:23;3209:32;3206:119;;;3244:79;;:::i;:::-;3206:119;3364:1;3389:53;3434:7;3425:6;3414:9;3410:22;3389:53;:::i;:::-;3379:63;;3335:117;3130:329;;;;:::o;3465:118::-;3552:24;3570:5;3552:24;:::i;:::-;3547:3;3540:37;3465:118;;:::o;3589:222::-;3682:4;3720:2;3709:9;3705:18;3697:26;;3733:71;3801:1;3790:9;3786:17;3777:6;3733:71;:::i;:::-;3589:222;;;;:::o;3817:169::-;3901:11;3935:6;3930:3;3923:19;3975:4;3970:3;3966:14;3951:29;;3817:169;;;;:::o;3992:224::-;4132:34;4128:1;4120:6;4116:14;4109:58;4201:7;4196:2;4188:6;4184:15;4177:32;3992:224;:::o;4222:366::-;4364:3;4385:67;4449:2;4444:3;4385:67;:::i;:::-;4378:74;;4461:93;4550:3;4461:93;:::i;:::-;4579:2;4574:3;4570:12;4563:19;;4222:366;;;:::o;4594:419::-;4760:4;4798:2;4787:9;4783:18;4775:26;;4847:9;4841:4;4837:20;4833:1;4822:9;4818:17;4811:47;4875:131;5001:4;4875:131;:::i;:::-;4867:139;;4594:419;;;:::o;5019:180::-;5067:77;5064:1;5057:88;5164:4;5161:1;5154:15;5188:4;5185:1;5178:15;5205:191;5245:4;5265:20;5283:1;5265:20;:::i;:::-;5260:25;;5299:20;5317:1;5299:20;:::i;:::-;5294:25;;5338:1;5335;5332:8;5329:34;;;5343:18;;:::i;:::-;5329:34;5388:1;5385;5381:9;5373:17;;5205:191;;;;:::o;5402:348::-;5442:7;5465:20;5483:1;5465:20;:::i;:::-;5460:25;;5499:20;5517:1;5499:20;:::i;:::-;5494:25;;5687:1;5619:66;5615:74;5612:1;5609:81;5604:1;5597:9;5590:17;5586:105;5583:131;;;5694:18;;:::i;:::-;5583:131;5742:1;5739;5735:9;5724:20;;5402:348;;;;:::o;5756:182::-;5896:34;5892:1;5884:6;5880:14;5873:58;5756:182;:::o;5944:366::-;6086:3;6107:67;6171:2;6166:3;6107:67;:::i;:::-;6100:74;;6183:93;6272:3;6183:93;:::i;:::-;6301:2;6296:3;6292:12;6285:19;;5944:366;;;:::o;6316:419::-;6482:4;6520:2;6509:9;6505:18;6497:26;;6569:9;6563:4;6559:20;6555:1;6544:9;6540:17;6533:47;6597:131;6723:4;6597:131;:::i;:::-;6589:139;;6316:419;;;:::o;6741:163::-;6881:15;6877:1;6869:6;6865:14;6858:39;6741:163;:::o;6910:366::-;7052:3;7073:67;7137:2;7132:3;7073:67;:::i;:::-;7066:74;;7149:93;7238:3;7149:93;:::i;:::-;7267:2;7262:3;7258:12;7251:19;;6910:366;;;:::o;7282:419::-;7448:4;7486:2;7475:9;7471:18;7463:26;;7535:9;7529:4;7525:20;7521:1;7510:9;7506:17;7499:47;7563:131;7689:4;7563:131;:::i;:::-;7555:139;;7282:419;;;:::o;7707:180::-;7847:32;7843:1;7835:6;7831:14;7824:56;7707:180;:::o;7893:366::-;8035:3;8056:67;8120:2;8115:3;8056:67;:::i;:::-;8049:74;;8132:93;8221:3;8132:93;:::i;:::-;8250:2;8245:3;8241:12;8234:19;;7893:366;;;:::o;8265:419::-;8431:4;8469:2;8458:9;8454:18;8446:26;;8518:9;8512:4;8508:20;8504:1;8493:9;8489:17;8482:47;8546:131;8672:4;8546:131;:::i;:::-;8538:139;;8265:419;;;:::o;8690:442::-;8839:4;8877:2;8866:9;8862:18;8854:26;;8890:71;8958:1;8947:9;8943:17;8934:6;8890:71;:::i;:::-;8971:72;9039:2;9028:9;9024:18;9015:6;8971:72;:::i;:::-;9053;9121:2;9110:9;9106:18;9097:6;9053:72;:::i;:::-;8690:442;;;;;;:::o;9138:90::-;9172:7;9215:5;9208:13;9201:21;9190:32;;9138:90;;;:::o;9234:116::-;9304:21;9319:5;9304:21;:::i;:::-;9297:5;9294:32;9284:60;;9340:1;9337;9330:12;9284:60;9234:116;:::o;9356:137::-;9410:5;9441:6;9435:13;9426:22;;9457:30;9481:5;9457:30;:::i;:::-;9356:137;;;;:::o;9499:345::-;9566:6;9615:2;9603:9;9594:7;9590:23;9586:32;9583:119;;;9621:79;;:::i;:::-;9583:119;9741:1;9766:61;9819:7;9810:6;9799:9;9795:22;9766:61;:::i;:::-;9756:71;;9712:125;9499:345;;;;:::o;9850:180::-;9898:77;9895:1;9888:88;9995:4;9992:1;9985:15;10019:4;10016:1;10009:15;10036:185;10076:1;10093:20;10111:1;10093:20;:::i;:::-;10088:25;;10127:20;10145:1;10127:20;:::i;:::-;10122:25;;10166:1;10156:35;;10171:18;;:::i;:::-;10156:35;10213:1;10210;10206:9;10201:14;;10036:185;;;;:::o;10227:305::-;10267:3;10286:20;10304:1;10286:20;:::i;:::-;10281:25;;10320:20;10338:1;10320:20;:::i;:::-;10315:25;;10474:1;10406:66;10402:74;10399:1;10396:81;10393:107;;;10480:18;;:::i;:::-;10393:107;10524:1;10521;10517:9;10510:16;;10227:305;;;;:::o;10538:332::-;10659:4;10697:2;10686:9;10682:18;10674:26;;10710:71;10778:1;10767:9;10763:17;10754:6;10710:71;:::i;:::-;10791:72;10859:2;10848:9;10844:18;10835:6;10791:72;:::i;:::-;10538:332;;;;;:::o;10876:553::-;11053:4;11091:3;11080:9;11076:19;11068:27;;11105:71;11173:1;11162:9;11158:17;11149:6;11105:71;:::i;:::-;11186:72;11254:2;11243:9;11239:18;11230:6;11186:72;:::i;:::-;11268;11336:2;11325:9;11321:18;11312:6;11268:72;:::i;:::-;11350;11418:2;11407:9;11403:18;11394:6;11350:72;:::i;:::-;10876:553;;;;;;;:::o;11435:143::-;11492:5;11523:6;11517:13;11508:22;;11539:33;11566:5;11539:33;:::i;:::-;11435:143;;;;:::o;11584:351::-;11654:6;11703:2;11691:9;11682:7;11678:23;11674:32;11671:119;;;11709:79;;:::i;:::-;11671:119;11829:1;11854:64;11910:7;11901:6;11890:9;11886:22;11854:64;:::i;:::-;11844:74;;11800:128;11584:351;;;;:::o;11941:172::-;12081:24;12077:1;12069:6;12065:14;12058:48;11941:172;:::o;12119:366::-;12261:3;12282:67;12346:2;12341:3;12282:67;:::i;:::-;12275:74;;12358:93;12447:3;12358:93;:::i;:::-;12476:2;12471:3;12467:12;12460:19;;12119:366;;;:::o;12491:419::-;12657:4;12695:2;12684:9;12680:18;12672:26;;12744:9;12738:4;12734:20;12730:1;12719:9;12715:17;12708:47;12772:131;12898:4;12772:131;:::i;:::-;12764:139;;12491:419;;;:::o;12916:225::-;13056:34;13052:1;13044:6;13040:14;13033:58;13125:8;13120:2;13112:6;13108:15;13101:33;12916:225;:::o;13147:366::-;13289:3;13310:67;13374:2;13369:3;13310:67;:::i;:::-;13303:74;;13386:93;13475:3;13386:93;:::i;:::-;13504:2;13499:3;13495:12;13488:19;;13147:366;;;:::o;13519:419::-;13685:4;13723:2;13712:9;13708:18;13700:26;;13772:9;13766:4;13762:20;13758:1;13747:9;13743:17;13736:47;13800:131;13926:4;13800:131;:::i;:::-;13792:139;;13519:419;;;:::o

ipfs://2a83ca2efb2e698fdec43b62618cf586f494ca7fddd4f4fb3c4b520affd7e651