Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract Ownable    - function owner()    - function isOwner()    - function renounceOwnership()    - function transferOwnership(address ne ...    - function _transferOwnership(address n ...  contract Managerable is Ownable    - function setManager(address managerAd ...    - function getManager() interface IFNXMinePool    - function transferMinerCoin(address ac ...    - function mintMinerCoin(address accoun ...    - function burnMinerCoin(address accoun ...    - function addMinerBalance(address acco ...  contract ImportFNXMinePool is Owna ...    - function getFNXMinePoolAddress()    - function setFNXMinePoolAddress(addres ...  contract Erc20Data is Ownable  contract timeLimitation is Ownable    - function setTimeLimitation(uint256 _l ...    - function setItemTimeLimitation(uint25 ...    - function getTimeLimitation()    - function getItemTimeLimitation(uint25 ...  contract FPTData is Erc20Data,Impo ...  contract baseProxy is Ownable    - function getImplementation()    - function setImplementation(address im ...    - function delegateToImplementation(byt ...    - function delegateToViewImplementation ...    - function delegateToViewAndReturn()    - function delegateAndReturn()  contract Erc20BaseProxy is basePro ...    - function totalSupply()    - function transfer(address /*dst*/, ui ...    - function transferFrom(address /*src*/ ...    - function approve(address /*spender*/, ...    - function allowance(address /*owner*/, ...    - function balanceOf(address /*owner*/)  contract FPTProxy is FPTData,Erc20 ... *    - function getUserBurnTimeLimite(addres ...    - function getTotalLockedWorth()    - function lockedBalanceOf(address /*ac ...    - function lockedWorthOf(address /*acco ...    - function getLockedBalance(address /*a ...    - function addMinerBalance(address /*ac ...    - function addlockBalance(address /*acc ...    - function burn(address /*account*/, ui ...    - function mint(address /*account*/, ui ...    - function redeemLockedCollateral(addre ...

More Options

• Is this a proxy?
• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-09-30
*/

// File: contracts/modules/Ownable.sol

pragma solidity =0.5.16;

/**
 * @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.
 *
 * 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 internal _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), _owner);
    }

    /**
     * @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(isOwner(), "Ownable: caller is not the owner");
        _;
    }

    /**
     * @dev Returns true if the caller is the current owner.
     */
    function isOwner() public view returns (bool) {
        return msg.sender == _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 {
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     */
    function _transferOwnership(address newOwner) internal {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

// File: contracts/modules/Managerable.sol

pragma solidity =0.5.16;

contract Managerable is Ownable {

    address private _managerAddress;
    /**
     * @dev modifier, Only manager can be granted exclusive access to specific functions.
     *
     */
    modifier onlyManager() {
        require(_managerAddress == msg.sender,"Managerable: caller is not the Manager");
        _;
    }
    /**
     * @dev set manager by owner.
     *
     */
    function setManager(address managerAddress)
    public
    onlyOwner
    {
        _managerAddress = managerAddress;
    }
    /**
     * @dev get manager address.
     *
     */
    function getManager()public view returns (address) {
        return _managerAddress;
    }
}

// File: contracts/FNXMinePool/IFNXMinePool.sol

pragma solidity =0.5.16;

interface IFNXMinePool {
    function transferMinerCoin(address account,address recieptor,uint256 amount)external;
    function mintMinerCoin(address account,uint256 amount) external;
    function burnMinerCoin(address account,uint256 amount) external;
    function addMinerBalance(address account,uint256 amount) external;
}
contract ImportFNXMinePool is Ownable{
    IFNXMinePool internal _FnxMinePool;
    function getFNXMinePoolAddress() public view returns(address){
        return address(_FnxMinePool);
    }
    function setFNXMinePoolAddress(address fnxMinePool)public onlyOwner{
        _FnxMinePool = IFNXMinePool(fnxMinePool);
    }
}

// File: contracts/ERC20/Erc20Data.sol

pragma solidity =0.5.16;

contract Erc20Data is Ownable{
    string public name;
    string public symbol;
    uint8 public decimals = 18;


    mapping (address => uint256) internal balances;
    mapping (address => mapping (address => uint256)) internal _allowances;

    uint256 internal _totalSupply;

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

// File: contracts/modules/timeLimitation.sol

pragma solidity =0.5.16;


contract timeLimitation is Ownable {

    /**
     * @dev FPT has burn time limit. When user's balance is moved in som coins, he will wait `timeLimited` to burn FPT.
     * latestTransferIn is user's latest time when his balance is moved in.
     */
    mapping(uint256=>uint256) internal itemTimeMap;
    uint256 internal limitation = 1 hours;
    /**
     * @dev set time limitation, only owner can invoke.
     * @param _limitation new time limitation.
     */
    function setTimeLimitation(uint256 _limitation) public onlyOwner {
        limitation = _limitation;
    }
    function setItemTimeLimitation(uint256 item) internal{
        itemTimeMap[item] = now;
    }
    function getTimeLimitation() public view returns (uint256){
        return limitation;
    }
    /**
     * @dev Retrieve user's start time for burning.
     * @param item item key.
     */
    function getItemTimeLimitation(uint256 item) public view returns (uint256){
        return itemTimeMap[item]+limitation;
    }
    modifier OutLimitation(uint256 item) {
        require(itemTimeMap[item]+limitation<now,"Time limitation is not expired!");
        _;
    }
}

// File: contracts/FPTCoin/FPTData.sol

pragma solidity =0.5.16;




contract FPTData is Erc20Data,ImportFNXMinePool,Managerable,timeLimitation{
    /**
    * @dev lock mechanism is used when user redeem collateral and left collateral is insufficient.
    * _totalLockedWorth stores total locked worth, priced in USD.
    * lockedBalances stores user's locked FPTCoin.
    * lockedTotalWorth stores user's locked worth, priced in USD. For locked FPTCoin's net worth is constant when It was locked.
    */
    uint256 internal _totalLockedWorth;
    mapping (address => uint256) internal lockedBalances;
    mapping (address => uint256) internal lockedTotalWorth;
    /**
     * @dev Emitted when `owner` locked  `amount` FPT, which net worth is  `worth` in USD.
     */
    event AddLocked(address indexed owner, uint256 amount,uint256 worth);
    /**
     * @dev Emitted when `owner` burned locked  `amount` FPT, which net worth is  `worth` in USD.
     */
    event BurnLocked(address indexed owner, uint256 amount,uint256 worth);

}

// File: contracts/Proxy/baseProxy.sol

pragma solidity =0.5.16;

/**
 * @title  baseProxy Contract

 */
contract baseProxy is Ownable {
    address public implementation;
    constructor(address implementation_) public {
        // Creator of the contract is admin during initialization
        implementation = implementation_;
        (bool success,) = implementation_.delegatecall(abi.encodeWithSignature("initialize()"));
        require(success);
    }
    function getImplementation()public view returns(address){
        return implementation;
    }
    function setImplementation(address implementation_)public onlyOwner{
        implementation = implementation_;
        (bool success,) = implementation_.delegatecall(abi.encodeWithSignature("update()"));
        require(success);
    }

    /**
     * @notice Delegates execution to the implementation contract
     * @dev It returns to the external caller whatever the implementation returns or forwards reverts
     * @param data The raw data to delegatecall
     * @return The returned bytes from the delegatecall
     */
    function delegateToImplementation(bytes memory data) public returns (bytes memory) {
        (bool success, bytes memory returnData) = implementation.delegatecall(data);
        assembly {
            if eq(success, 0) {
                revert(add(returnData, 0x20), returndatasize)
            }
        }
        return returnData;
    }

    /**
     * @notice Delegates execution to an implementation contract
     * @dev It returns to the external caller whatever the implementation returns or forwards reverts
     *  There are an additional 2 prefix uints from the wrapper returndata, which we ignore since we make an extra hop.
     * @param data The raw data to delegatecall
     * @return The returned bytes from the delegatecall
     */
    function delegateToViewImplementation(bytes memory data) public view returns (bytes memory) {
        (bool success, bytes memory returnData) = address(this).staticcall(abi.encodeWithSignature("delegateToImplementation(bytes)", data));
        assembly {
            if eq(success, 0) {
                revert(add(returnData, 0x20), returndatasize)
            }
        }
        return abi.decode(returnData, (bytes));
    }

    function delegateToViewAndReturn() internal view returns (bytes memory) {
        (bool success, ) = address(this).staticcall(abi.encodeWithSignature("delegateToImplementation(bytes)", msg.data));

        assembly {
            let free_mem_ptr := mload(0x40)
            returndatacopy(free_mem_ptr, 0, returndatasize)

            switch success
            case 0 { revert(free_mem_ptr, returndatasize) }
            default { return(add(free_mem_ptr, 0x40), returndatasize) }
        }
    }

    function delegateAndReturn() internal returns (bytes memory) {
        (bool success, ) = implementation.delegatecall(msg.data);

        assembly {
            let free_mem_ptr := mload(0x40)
            returndatacopy(free_mem_ptr, 0, returndatasize)

            switch success
            case 0 { revert(free_mem_ptr, returndatasize) }
            default { return(free_mem_ptr, returndatasize) }
        }
    }
}

// File: contracts/ERC20/Erc20BaseProxy.sol

pragma solidity =0.5.16;


/**
 * @title  Erc20Delegator Contract

 */
contract Erc20BaseProxy is baseProxy{
    constructor(address implementation_) baseProxy(implementation_) public  {
    }
    /**
     * @notice Transfer `amount` tokens from `msg.sender` to `dst`
     *  dst  The address of the destination account
     *  amount  The number of tokens to transfer
     * @return Whether or not the transfer succeeded
     */
     function totalSupply() external view returns (uint256){
         delegateToViewAndReturn();
     }
    function transfer(address /*dst*/, uint /*amount*/) external returns (bool) {
        delegateAndReturn();
    }

    /**
     * @notice Transfer `amount` tokens from `src` to `dst`
     */
    function transferFrom(address /*src*/, address /*dst*/, uint256 /*amount*/) external returns (bool) {
        delegateAndReturn();
    }

    /**
     * @notice Approve `spender` to transfer up to `amount` from `src`
     * @dev This will overwrite the approval amount for `spender`
     * @return Whether or not the approval succeeded
     */
    function approve(address /*spender*/, uint256 /*amount*/) external returns (bool) {
        delegateAndReturn();
    }

    /**
     * @notice Get the current allowance from `owner` for `spender`
     * owner The address of the account which owns the tokens to be spent
     * 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 (uint) {
        delegateToViewAndReturn();
    }

    /**
     * @notice Get the token balance of the `owner`
     * owner The address of the account to query
     * @return The number of tokens owned by `owner`
     */
    function balanceOf(address /*owner*/) external view returns (uint) {
        delegateToViewAndReturn();
    }
}

// File: contracts/FPTCoin/FPTProxy.sol

pragma solidity =0.5.16;



/**
 * @title FPTCoin is finnexus collateral Pool token, implement ERC20 interface.
 * @dev ERC20 token. Its inside value is collatral pool net worth.
 *
 */
contract FPTProxy is FPTData,Erc20BaseProxy {
    constructor (address implementation_,address minePoolAddr) Erc20BaseProxy(implementation_) public{
        _FnxMinePool = IFNXMinePool(minePoolAddr);
    }
    /**
     * @dev Retrieve user's start time for burning.
     *  user user's account.
     */
    function getUserBurnTimeLimite(address /*user*/) public view returns (uint256){
        delegateToViewAndReturn();
    }
    /**
     * @dev Retrieve total locked worth.
     */
    function getTotalLockedWorth() public view returns (uint256) {
        delegateToViewAndReturn();
    }
    /**
     * @dev Retrieve user's locked balance.
     *  account user's account.
     */
    function lockedBalanceOf(address /*account*/) public view returns (uint256) {
        delegateToViewAndReturn();
    }
    /**
     * @dev Retrieve user's locked net worth.
     *  account user's account.
     */
    function lockedWorthOf(address /*account*/) public view returns (uint256) {
        delegateToViewAndReturn();
    }
    /**
     * @dev Retrieve user's locked balance and locked net worth.
     *  account user's account.
     */
    function getLockedBalance(address /*account*/) public view returns (uint256,uint256) {
        delegateToViewAndReturn();
    }
    /**
     * @dev Interface to manager FNX mine pool contract, add miner balance when user has bought some options.
     *  account user's account.
     *  amount user's pay for buying options, priced in USD.
     */
    function addMinerBalance(address /*account*/,uint256 /*amount*/) public{
        delegateAndReturn();
    }
    /**
     * @dev Move user's FPT to locked balance, when user redeem collateral.
     *  account user's account.
     *  amount amount of locked FPT.
     *  lockedWorth net worth of locked FPT.
     */
    function addlockBalance(address /*account*/, uint256 /*amount*/,uint256 /*lockedWorth*/)public {
        delegateAndReturn();
    }

    /**
     * @dev burn user's FPT when user redeem FPTCoin.
     *  account user's account.
     *  amount amount of FPT.
     */
    function burn(address /*account*/, uint256 /*amount*/) public {
        delegateAndReturn();
    }
    /**
     * @dev mint user's FPT when user add collateral.
     *  account user's account.
     *  amount amount of FPT.
     */
    function mint(address /*account*/, uint256 /*amount*/) public {
        delegateAndReturn();
    }
    /**
     * @dev An interface of redeem locked FPT, when user redeem collateral, only manager contract can invoke.
     *  account user's account.
     *  tokenAmount amount of FPT.
     *  leftCollateral left available collateral in collateral pool, priced in USD.
     */
    function redeemLockedCollateral(address /*account*/,uint256 /*tokenAmount*/,uint256 /*leftCollateral*/)
            public returns (uint256,uint256){
        delegateAndReturn();
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"implementation_","type":"address"},{"internalType":"address","name":"minePoolAddr","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"worth","type":"uint256"}],"name":"AddLocked","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"worth","type":"uint256"}],"name":"BurnLocked","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":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"constant":false,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"addMinerBalance","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"addlockBalance","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes","name":"data","type":"bytes"}],"name":"delegateToImplementation","outputs":[{"internalType":"bytes","name":"","type":"bytes"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes","name":"data","type":"bytes"}],"name":"delegateToViewImplementation","outputs":[{"internalType":"bytes","name":"","type":"bytes"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getFNXMinePoolAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getImplementation","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"uint256","name":"item","type":"uint256"}],"name":"getItemTimeLimitation","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"getLockedBalance","outputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getManager","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getTimeLimitation","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getTotalLockedWorth","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"getUserBurnTimeLimite","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"implementation","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"lockedBalanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"lockedWorthOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","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":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"redeemLockedCollateral","outputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"fnxMinePool","type":"address"}],"name":"setFNXMinePoolAddress","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"implementation_","type":"address"}],"name":"setImplementation","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"managerAddress","type":"address"}],"name":"setManager","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"_limitation","type":"uint256"}],"name":"setTimeLimitation","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":"","type":"address"},{"internalType":"uint256","name":"","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"},{"internalType":"uint256","name":"","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"}]

60806040526003805460ff19166012179055610e10600a5534801561002357600080fd5b506040516113703803806113708339818101604052604081101561004657600080fd5b508051602090910151600080546001600160a01b0319163317808255604051849283926001600160a01b0316917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a3600e80546001600160a01b0383166001600160a01b0319909116811790915560408051600481526024810182526020810180516001600160e01b031663204a7f0760e21b178152915181516000949382918083835b6020831061010c5780518252601f1990920191602091820191016100ed565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855af49150503d806000811461016c576040519150601f19603f3d011682016040523d82523d6000602084013e610171565b606091505b505090508061017f57600080fd5b5050600780546001600160a01b039093166001600160a01b03199093169290921790915550506111bc806101b46000396000f3fe608060405234801561001057600080fd5b50600436106102115760003560e01c806370a0823111610125578063a9059cbb116100ad578063d50095841161007c578063d500958414610666578063d784d4261461066e578063dad3eb74146103b1578063dd62ed3e14610694578063f2fde38b146106c257610211565b8063a9059cbb14610371578063aaf10f4214610612578063c40868931461061a578063d0ebdbe71461064057610211565b80638da5cb5b116100f45780638da5cb5b146105dd5780638f32d59b146105e557806395d89b41146105ed5780639783cbd9146105f55780639dc29fac1461047557610211565b806370a0823114610293578063715018a6146105d55780637de29ea8146102935780638399d9f31461047557610211565b806335f0c4fa116101a85780634b91a07b116101775780634b91a07b14610551578063593557361461029357806359653ec9146105835780635c60da1b146105a75780636f2b70cd146105af57610211565b806335f0c4fa1461042a57806340c10f19146104755780634487152f146104a35780634688d5d61461054957610211565b806318160ddd116101e457806318160ddd146103b157806323b872dd146103b95780632a75ee42146103ef578063313ce5671461040c57610211565b806306fdde031461021657806307e77aa0146102935780630933c1ed146102cb578063095ea7b314610371575b600080fd5b61021e6106e8565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610258578181015183820152602001610240565b50505050905090810190601f1680156102855780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102b9600480360360208110156102a957600080fd5b50356001600160a01b0316610775565b60408051918252519081900360200190f35b61021e600480360360208110156102e157600080fd5b8101906020810181356401000000008111156102fc57600080fd5b82018360208201111561030e57600080fd5b8035906020019184600183028401116401000000008311171561033057600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929550610785945050505050565b61039d6004803603604081101561038757600080fd5b506001600160a01b03813516906020013561084f565b604080519115158252519081900360200190f35b6102b9610860565b61039d600480360360608110156103cf57600080fd5b506001600160a01b0381358116916020810135909116906040013561086e565b6102b96004803603602081101561040557600080fd5b5035610880565b610414610897565b6040805160ff9092168252519081900360200190f35b61045c6004803603606081101561044057600080fd5b506001600160a01b0381351690602081013590604001356108a0565b6040805192835260208301919091528051918290030190f35b6104a16004803603604081101561048b57600080fd5b506001600160a01b0381351690602001356108b4565b005b61021e600480360360208110156104b957600080fd5b8101906020810181356401000000008111156104d457600080fd5b8201836020820111156104e657600080fd5b8035906020019184600183028401116401000000008311171561050857600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295506108c1945050505050565b6102b9610ae2565b6104a16004803603606081101561056757600080fd5b506001600160a01b038135169060208101359060400135610ae8565b61058b610af6565b604080516001600160a01b039092168252519081900360200190f35b61058b610b05565b6104a1600480360360208110156105c557600080fd5b50356001600160a01b0316610b14565b6104a1610b7d565b61058b610c0e565b61039d610c1d565b61021e610c2e565b6104a16004803603602081101561060b57600080fd5b5035610c86565b61058b610cd2565b61045c6004803603602081101561063057600080fd5b50356001600160a01b0316610ce1565b6104a16004803603602081101561065657600080fd5b50356001600160a01b0316610cf2565b61058b610d5b565b6104a16004803603602081101561068457600080fd5b50356001600160a01b0316610d6a565b6102b9600480360360408110156106aa57600080fd5b506001600160a01b0381358116916020013516610e9c565b6104a1600480360360208110156106d857600080fd5b50356001600160a01b0316610ea6565b60018054604080516020600284861615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561076d5780601f106107425761010080835404028352916020019161076d565b820191906000526020600020905b81548152906001019060200180831161075057829003601f168201915b505050505081565b600061077f610ef9565b50919050565b600e54604051825160609260009284926001600160a01b0390921691869190819060208401908083835b602083106107ce5780518252601f1990920191602091820191016107af565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855af49150503d806000811461082e576040519150601f19603f3d011682016040523d82523d6000602084013e610833565b606091505b50915091506000821415610848573d60208201fd5b9392505050565b600061085961101d565b5092915050565b600061086a610ef9565b5090565b600061087861101d565b509392505050565b600a54600091825260096020526040909120540190565b60035460ff1681565b6000806108ab61101d565b50935093915050565b6108bc61101d565b505050565b606060006060306001600160a01b0316846040516024018080602001828103825283818151815260200191508051906020019080838360005b838110156109125781810151838201526020016108fa565b50505050905090810190601f16801561093f5780820380516001836020036101000a031916815260200191505b5060408051601f198184030181529181526020820180516001600160e01b0316630933c1ed60e01b178152905182519295509350839250908083835b6020831061099a5780518252601f19909201916020918201910161097b565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d80600081146109fa576040519150601f19603f3d011682016040523d82523d6000602084013e6109ff565b606091505b50915091506000821415610a14573d60208201fd5b808060200190516020811015610a2957600080fd5b8101908080516040519392919084640100000000821115610a4957600080fd5b908301906020820185811115610a5e57600080fd5b8251640100000000811182820188101715610a7857600080fd5b82525081516020918201929091019080838360005b83811015610aa5578181015183820152602001610a8d565b50505050905090810190601f168015610ad25780820380516001836020036101000a031916815260200191505b5060405250505092505050919050565b600a5490565b610af061101d565b50505050565b6007546001600160a01b031690565b600e546001600160a01b031681565b610b1c610c1d565b610b5b576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b600780546001600160a01b0319166001600160a01b0392909216919091179055565b610b85610c1d565b610bc4576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031690565b6000546001600160a01b0316331490565b6002805460408051602060018416156101000260001901909316849004601f8101849004840282018401909252818152929183018282801561076d5780601f106107425761010080835404028352916020019161076d565b610c8e610c1d565b610ccd576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b600a55565b600e546001600160a01b031690565b600080610cec610ef9565b50915091565b610cfa610c1d565b610d39576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b600880546001600160a01b0319166001600160a01b0392909216919091179055565b6008546001600160a01b031690565b610d72610c1d565b610db1576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b600e80546001600160a01b0383166001600160a01b0319909116811790915560408051600481526024810182526020810180516001600160e01b031663a2e6204560e01b178152915181516000949382918083835b60208310610e255780518252601f199092019160209182019101610e06565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855af49150503d8060008114610e85576040519150601f19603f3d011682016040523d82523d6000602084013e610e8a565b606091505b5050905080610e9857600080fd5b5050565b6000610859610ef9565b610eae610c1d565b610eed576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b610ef6816110a1565b50565b60606000306001600160a01b03166000366040516024018080602001828103825284848281815260200192508082843760008382015260408051601f909201601f1990811690940182810390940182529283526020810180516001600160e01b0316630933c1ed60e01b17815292518151919750955085945091925081905083835b60208310610f9a5780518252601f199092019160209182019101610f7b565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114610ffa576040519150601f19603f3d011682016040523d82523d6000602084013e610fff565b606091505b505090506040513d6000823e818015611019573d60408301f35b3d82fd5b600e546040516060916000916001600160a01b0390911690829036908083838082843760405192019450600093509091505080830381855af49150503d8060008114611085576040519150601f19603f3d011682016040523d82523d6000602084013e61108a565b606091505b505090506040513d6000823e818015611019573d82f35b6001600160a01b0381166110e65760405162461bcd60e51b81526004018080602001828103825260268152602001806111426026913960400191505060405180910390fd5b600080546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600080546001600160a01b0319166001600160a01b039290921691909117905556fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f20616464726573734f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572a265627a7a72315820d704322994286d60b3dbf8821ddf667613d178c00372050e0a403ad35399427e64736f6c63430005100032000000000000000000000000e4db436a39e9b451433c467cc8046709cb940d9c0000000000000000000000003fd16eca992369e9ce0f0784449e7132073566c5

0x608060405234801561001057600080fd5b50600436106102115760003560e01c806370a0823111610125578063a9059cbb116100ad578063d50095841161007c578063d500958414610666578063d784d4261461066e578063dad3eb74146103b1578063dd62ed3e14610694578063f2fde38b146106c257610211565b8063a9059cbb14610371578063aaf10f4214610612578063c40868931461061a578063d0ebdbe71461064057610211565b80638da5cb5b116100f45780638da5cb5b146105dd5780638f32d59b146105e557806395d89b41146105ed5780639783cbd9146105f55780639dc29fac1461047557610211565b806370a0823114610293578063715018a6146105d55780637de29ea8146102935780638399d9f31461047557610211565b806335f0c4fa116101a85780634b91a07b116101775780634b91a07b14610551578063593557361461029357806359653ec9146105835780635c60da1b146105a75780636f2b70cd146105af57610211565b806335f0c4fa1461042a57806340c10f19146104755780634487152f146104a35780634688d5d61461054957610211565b806318160ddd116101e457806318160ddd146103b157806323b872dd146103b95780632a75ee42146103ef578063313ce5671461040c57610211565b806306fdde031461021657806307e77aa0146102935780630933c1ed146102cb578063095ea7b314610371575b600080fd5b61021e6106e8565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610258578181015183820152602001610240565b50505050905090810190601f1680156102855780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102b9600480360360208110156102a957600080fd5b50356001600160a01b0316610775565b60408051918252519081900360200190f35b61021e600480360360208110156102e157600080fd5b8101906020810181356401000000008111156102fc57600080fd5b82018360208201111561030e57600080fd5b8035906020019184600183028401116401000000008311171561033057600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929550610785945050505050565b61039d6004803603604081101561038757600080fd5b506001600160a01b03813516906020013561084f565b604080519115158252519081900360200190f35b6102b9610860565b61039d600480360360608110156103cf57600080fd5b506001600160a01b0381358116916020810135909116906040013561086e565b6102b96004803603602081101561040557600080fd5b5035610880565b610414610897565b6040805160ff9092168252519081900360200190f35b61045c6004803603606081101561044057600080fd5b506001600160a01b0381351690602081013590604001356108a0565b6040805192835260208301919091528051918290030190f35b6104a16004803603604081101561048b57600080fd5b506001600160a01b0381351690602001356108b4565b005b61021e600480360360208110156104b957600080fd5b8101906020810181356401000000008111156104d457600080fd5b8201836020820111156104e657600080fd5b8035906020019184600183028401116401000000008311171561050857600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295506108c1945050505050565b6102b9610ae2565b6104a16004803603606081101561056757600080fd5b506001600160a01b038135169060208101359060400135610ae8565b61058b610af6565b604080516001600160a01b039092168252519081900360200190f35b61058b610b05565b6104a1600480360360208110156105c557600080fd5b50356001600160a01b0316610b14565b6104a1610b7d565b61058b610c0e565b61039d610c1d565b61021e610c2e565b6104a16004803603602081101561060b57600080fd5b5035610c86565b61058b610cd2565b61045c6004803603602081101561063057600080fd5b50356001600160a01b0316610ce1565b6104a16004803603602081101561065657600080fd5b50356001600160a01b0316610cf2565b61058b610d5b565b6104a16004803603602081101561068457600080fd5b50356001600160a01b0316610d6a565b6102b9600480360360408110156106aa57600080fd5b506001600160a01b0381358116916020013516610e9c565b6104a1600480360360208110156106d857600080fd5b50356001600160a01b0316610ea6565b60018054604080516020600284861615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561076d5780601f106107425761010080835404028352916020019161076d565b820191906000526020600020905b81548152906001019060200180831161075057829003601f168201915b505050505081565b600061077f610ef9565b50919050565b600e54604051825160609260009284926001600160a01b0390921691869190819060208401908083835b602083106107ce5780518252601f1990920191602091820191016107af565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855af49150503d806000811461082e576040519150601f19603f3d011682016040523d82523d6000602084013e610833565b606091505b50915091506000821415610848573d60208201fd5b9392505050565b600061085961101d565b5092915050565b600061086a610ef9565b5090565b600061087861101d565b509392505050565b600a54600091825260096020526040909120540190565b60035460ff1681565b6000806108ab61101d565b50935093915050565b6108bc61101d565b505050565b606060006060306001600160a01b0316846040516024018080602001828103825283818151815260200191508051906020019080838360005b838110156109125781810151838201526020016108fa565b50505050905090810190601f16801561093f5780820380516001836020036101000a031916815260200191505b5060408051601f198184030181529181526020820180516001600160e01b0316630933c1ed60e01b178152905182519295509350839250908083835b6020831061099a5780518252601f19909201916020918201910161097b565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d80600081146109fa576040519150601f19603f3d011682016040523d82523d6000602084013e6109ff565b606091505b50915091506000821415610a14573d60208201fd5b808060200190516020811015610a2957600080fd5b8101908080516040519392919084640100000000821115610a4957600080fd5b908301906020820185811115610a5e57600080fd5b8251640100000000811182820188101715610a7857600080fd5b82525081516020918201929091019080838360005b83811015610aa5578181015183820152602001610a8d565b50505050905090810190601f168015610ad25780820380516001836020036101000a031916815260200191505b5060405250505092505050919050565b600a5490565b610af061101d565b50505050565b6007546001600160a01b031690565b600e546001600160a01b031681565b610b1c610c1d565b610b5b576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b600780546001600160a01b0319166001600160a01b0392909216919091179055565b610b85610c1d565b610bc4576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031690565b6000546001600160a01b0316331490565b6002805460408051602060018416156101000260001901909316849004601f8101849004840282018401909252818152929183018282801561076d5780601f106107425761010080835404028352916020019161076d565b610c8e610c1d565b610ccd576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b600a55565b600e546001600160a01b031690565b600080610cec610ef9565b50915091565b610cfa610c1d565b610d39576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b600880546001600160a01b0319166001600160a01b0392909216919091179055565b6008546001600160a01b031690565b610d72610c1d565b610db1576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b600e80546001600160a01b0383166001600160a01b0319909116811790915560408051600481526024810182526020810180516001600160e01b031663a2e6204560e01b178152915181516000949382918083835b60208310610e255780518252601f199092019160209182019101610e06565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855af49150503d8060008114610e85576040519150601f19603f3d011682016040523d82523d6000602084013e610e8a565b606091505b5050905080610e9857600080fd5b5050565b6000610859610ef9565b610eae610c1d565b610eed576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b610ef6816110a1565b50565b60606000306001600160a01b03166000366040516024018080602001828103825284848281815260200192508082843760008382015260408051601f909201601f1990811690940182810390940182529283526020810180516001600160e01b0316630933c1ed60e01b17815292518151919750955085945091925081905083835b60208310610f9a5780518252601f199092019160209182019101610f7b565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114610ffa576040519150601f19603f3d011682016040523d82523d6000602084013e610fff565b606091505b505090506040513d6000823e818015611019573d60408301f35b3d82fd5b600e546040516060916000916001600160a01b0390911690829036908083838082843760405192019450600093509091505080830381855af49150503d8060008114611085576040519150601f19603f3d011682016040523d82523d6000602084013e61108a565b606091505b505090506040513d6000823e818015611019573d82f35b6001600160a01b0381166110e65760405162461bcd60e51b81526004018080602001828103825260268152602001806111426026913960400191505060405180910390fd5b600080546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600080546001600160a01b0319166001600160a01b039290921691909117905556fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f20616464726573734f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572a265627a7a72315820d704322994286d60b3dbf8821ddf667613d178c00372050e0a403ad35399427e64736f6c63430005100032

000000000000000000000000e4db436a39e9b451433c467cc8046709cb940d9c0000000000000000000000003fd16eca992369e9ce0f0784449e7132073566c5

-----Decoded View---------------
Arg [0] : implementation_ (address): 0xE4Db436a39E9b451433c467cc8046709cB940D9c
Arg [1] : minePoolAddr (address): 0x3fd16ECA992369e9ce0f0784449e7132073566C5

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 000000000000000000000000e4db436a39e9b451433c467cc8046709cb940d9c
Arg [1] : 0000000000000000000000003fd16eca992369e9ce0f0784449e7132073566c5

12677:2961:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12677:2961:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4051:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;4051:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13611:118;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;13611:118:0;-1:-1:-1;;;;;13611:118:0;;:::i;:::-;;;;;;;;;;;;;;;;8247:347;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8247:347:0;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;8247:347:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;8247:347:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;8247:347:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;8247:347:0;;-1:-1:-1;8247:347:0;;-1:-1:-1;;;;;8247:347:0:i;11570:120::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;11570:120:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;10906:100;;;:::i;11213:138::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;11213:138:0;;;;;;;;;;;;;;;;;:::i;5776:128::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5776:128:0;;:::i;4103:26::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;15448:187;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;15448:187:0;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;15059:100;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;15059:100:0;;;;;;;;:::i;:::-;;9016:434;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9016:434:0;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;9016:434:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;9016:434:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;9016:434:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;9016:434:0;;-1:-1:-1;9016:434:0;;-1:-1:-1;;;;;9016:434:0:i;5575:94::-;;;:::i;14538:133::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;14538:133:0;;;;;;;;;;;;;:::i;3698:108::-;;;:::i;:::-;;;;-1:-1:-1;;;;;3698:108:0;;;;;;;;;;;;;;7275:29;;;:::i;3812:126::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3812:126:0;-1:-1:-1;;;;;3812:126:0;;:::i;1694:140::-;;;:::i;885:79::-;;;:::i;1251:92::-;;;:::i;4076:20::-;;;:::i;5360:108::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5360:108:0;;:::i;7604:96::-;;;:::i;13852:129::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;13852:129:0;-1:-1:-1;;;;;13852:129:0;;:::i;2910:127::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2910:127:0;-1:-1:-1;;;;;2910:127:0;;:::i;3103:92::-;;;:::i;7706:239::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7706:239:0;-1:-1:-1;;;;;7706:239:0;;:::i;12006:132::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;12006:132:0;;;;;;;;;;:::i;1989:109::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1989:109:0;-1:-1:-1;;;;;1989:109:0;;:::i;4051:18::-;;;;;;;;;;;;;;;-1:-1:-1;;4051:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;13611:118::-;13676:7;13696:25;:23;:25::i;:::-;;13611:118;;;:::o;8247:347::-;8383:14;;:33;;;;8316:12;;8342;;8316;;-1:-1:-1;;;;;8383:14:0;;;;8411:4;;8383:33;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;8383:33:0;;;;;;;;;;;;;;;;;;;;;;;14:1:-1;21;16:31;;;;75:4;69:11;64:16;;144:4;140:9;133:4;115:16;111:27;107:43;104:1;100:51;94:4;87:65;169:16;166:1;159:27;225:16;222:1;215:4;212:1;208:12;193:49;7:242;;16:31;36:4;31:9;;7:242;;8341:75:0;;;;8466:1;8457:7;8454:14;8451:2;;;8518:14;8511:4;8499:10;8495:21;8488:45;8451:2;8576:10;8247:347;-1:-1:-1;;;8247:347:0:o;11570:120::-;11646:4;11663:19;:17;:19::i;:::-;;11570:120;;;;:::o;10906:100::-;10952:7;10972:25;:23;:25::i;:::-;;10906:100;:::o;11213:138::-;11307:4;11324:19;:17;:19::i;:::-;;11213:138;;;;;:::o;5776:128::-;5886:10;;5842:7;5868:17;;;:11;:17;;;;;;;:28;;5776:128::o;4103:26::-;;;;;;:::o;15448:187::-;15581:7;15589;15608:19;:17;:19::i;:::-;;15448:187;;;;;;:::o;15059:100::-;15132:19;:17;:19::i;:::-;;15059:100;;:::o;9016:434::-;9094:12;9120;9134:23;9169:4;-1:-1:-1;;;;;9161:24:0;9245:4;9186:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;9186:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;9186:64:0;;;-1:-1:-1;;26:21;;;22:32;6:49;;9186:64:0;;;49:4:-1;25:18;;61:17;;-1:-1;;;;;182:15;-1:-1;;;179:29;160:49;;9161:90:0;;;;9186:64;;-1:-1:-1;9161:90:0;-1:-1:-1;9161:90:0;;-1:-1:-1;25:18;9161:90:0;;25:18:-1;36:153;66:2;61:3;58:11;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;9161:90:0;;;;;;;;;;;;;;;;;;;;;;;14:1:-1;21;16:31;;;;75:4;69:11;64:16;;144:4;140:9;133:4;115:16;111:27;107:43;104:1;100:51;94:4;87:65;169:16;166:1;159:27;225:16;222:1;215:4;212:1;208:12;193:49;7:242;;16:31;36:4;31:9;;7:242;;9119:132:0;;;;9301:1;9292:7;9289:14;9286:2;;;9353:14;9346:4;9334:10;9330:21;9323:45;9286:2;9422:10;9411:31;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9411:31:0;;;;;;;;;;;;;19:11:-1;14:3;11:20;8:2;;;44:1;41;34:12;8:2;62:21;;;;123:4;114:14;;138:31;;;135:2;;;182:1;179;172:12;135:2;213:10;;261:11;244:29;;285:43;;;282:58;-1:-1;233:115;230:2;;;361:1;358;351:12;230:2;372:25;;-1:-1;9411:31:0;;420:4:-1;411:14;;;;9411:31:0;;;;;411:14:-1;9411:31:0;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;9411:31:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9404:38;;;;9016:434;;;:::o;5575:94::-;5651:10;;5575:94;:::o;14538:133::-;14644:19;:17;:19::i;:::-;;14538:133;;;:::o;3698:108::-;3785:12;;-1:-1:-1;;;;;3785:12:0;3698:108;:::o;7275:29::-;;;-1:-1:-1;;;;;7275:29:0;;:::o;3812:126::-;1097:9;:7;:9::i;:::-;1089:54;;;;;-1:-1:-1;;;1089:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1089:54:0;;;;;;;;;;;;;;;3890:12;:40;;-1:-1:-1;;;;;;3890:40:0;-1:-1:-1;;;;;3890:40:0;;;;;;;;;;3812:126::o;1694:140::-;1097:9;:7;:9::i;:::-;1089:54;;;;;-1:-1:-1;;;1089:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1089:54:0;;;;;;;;;;;;;;;1793:1;1777:6;;1756:40;;-1:-1:-1;;;;;1777:6:0;;;;1756:40;;1793:1;;1756:40;1824:1;1807:19;;-1:-1:-1;;;;;;1807:19:0;;;1694:140::o;885:79::-;923:7;950:6;-1:-1:-1;;;;;950:6:0;885:79;:::o;1251:92::-;1291:4;1329:6;-1:-1:-1;;;;;1329:6:0;1315:10;:20;;1251:92::o;4076:20::-;;;;;;;;;;;;;;-1:-1:-1;;4076:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5360:108;1097:9;:7;:9::i;:::-;1089:54;;;;;-1:-1:-1;;;1089:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1089:54:0;;;;;;;;;;;;;;;5436:10;:24;5360:108::o;7604:96::-;7678:14;;-1:-1:-1;;;;;7678:14:0;7604:96;:::o;13852:129::-;13920:7;13928;13948:25;:23;:25::i;:::-;;13852:129;;;:::o;2910:127::-;1097:9;:7;:9::i;:::-;1089:54;;;;;-1:-1:-1;;;1089:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1089:54:0;;;;;;;;;;;;;;;2997:15;:32;;-1:-1:-1;;;;;;2997:32:0;-1:-1:-1;;;;;2997:32:0;;;;;;;;;;2910:127::o;3103:92::-;3172:15;;-1:-1:-1;;;;;3172:15:0;3103:92;:::o;7706:239::-;1097:9;:7;:9::i;:::-;1089:54;;;;;-1:-1:-1;;;1089:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1089:54:0;;;;;;;;;;;;;;;7784:14;:32;;-1:-1:-1;;;;;7784:32:0;;-1:-1:-1;;;;;;7784:32:0;;;;;;;;7874:35;;;22:32:-1;6:49;;7874:35:0;;;;;49:4:-1;25:18;;61:17;;-1:-1;;;;;182:15;-1:-1;;;179:29;160:49;;7845:65:0;;;;7784:14;;:32;7845:65;;;;25:18:-1;36:153;66:2;61:3;58:11;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;7845:65:0;;;;;;;;;;;;;;;;;;;;;;;14:1:-1;21;16:31;;;;75:4;69:11;64:16;;144:4;140:9;133:4;115:16;111:27;107:43;104:1;100:51;94:4;87:65;169:16;166:1;159:27;225:16;222:1;215:4;212:1;208:12;193:49;7:242;;16:31;36:4;31:9;;7:242;;7827:83:0;;;7929:7;7921:16;;;;;;1154:1;7706:239;:::o;12006:132::-;12088:4;12105:25;:23;:25::i;1989:109::-;1097:9;:7;:9::i;:::-;1089:54;;;;;-1:-1:-1;;;1089:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1089:54:0;;;;;;;;;;;;;;;2062:28;2081:8;2062:18;:28::i;:::-;1989:109;:::o;9458:507::-;9516:12;9542;9568:4;-1:-1:-1;;;;;9560:24:0;9644:8;;9585:68;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;;74:27;9585:68:0;;;137:4:-1;117:14;;;-1:-1;;113:30;;;157:16;;;26:21;;;22:32;;;6:49;;9585:68:0;;;49:4:-1;25:18;;61:17;;-1:-1;;;;;182:15;-1:-1;;;179:29;160:49;;9560:94:0;;;;9585:68;;-1:-1:-1;9560:94:0;-1:-1:-1;9560:94:0;;-1:-1:-1;25:18;;-1:-1;9560:94:0;;-1:-1:-1;9560:94:0;25:18:-1;36:153;66:2;61:3;58:11;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;9560:94:0;;;;;;;;;;;;;;;;;;;;;;;14:1:-1;21;16:31;;;;75:4;69:11;64:16;;144:4;140:9;133:4;115:16;111:27;107:43;104:1;100:51;94:4;87:65;169:16;166:1;159:27;225:16;222:1;215:4;212:1;208:12;193:49;7:242;;16:31;36:4;31:9;;7:242;;9541:113:0;;;9717:4;9711:11;9768:14;9765:1;9751:12;9736:47;9806:7;9827:47;;;;9930:14;9923:4;9909:12;9905:23;9898:47;9827;9857:14;9843:12;9836:36;9973:428;10064:14;;:37;;10020:12;;10046;;-1:-1:-1;;;;;10064:14:0;;;;10046:12;;10092:8;;10064:37;10046:12;10092:8;;10046:12;10064:37;1:33:-1;10064:37:0;;45:16:-1;;;-1:-1;10064:37:0;;-1:-1:-1;10064:37:0;;-1:-1:-1;;10064:37:0;;;;;;;;;;;14:1:-1;21;16:31;;;;75:4;69:11;64:16;;144:4;140:9;133:4;115:16;111:27;107:43;104:1;100:51;94:4;87:65;169:16;166:1;159:27;225:16;222:1;215:4;212:1;208:12;193:49;7:242;;16:31;36:4;31:9;;7:242;;10045:56:0;;;10164:4;10158:11;10215:14;10212:1;10198:12;10183:47;10253:7;10274:47;;;;10366:14;10352:12;10345:36;2204:229;-1:-1:-1;;;;;2278:22:0;;2270:73;;;;-1:-1:-1;;;2270:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2380:6;;;2359:38;;-1:-1:-1;;;;;2359:38:0;;;;2380:6;;;2359:38;;;2408:6;:17;;-1:-1:-1;;;;;;2408:17:0;-1:-1:-1;;;;;2408:17:0;;;;;;;;;;2204:229::o

bzzr://d704322994286d60b3dbf8821ddf667613d178c00372050e0a403ad35399427e