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-11-04
*/

// 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,string memory tokenName) Erc20BaseProxy(implementation_) public{
        _FnxMinePool = IFNXMinePool(minePoolAddr);
        name = tokenName;
    }
    /**
     * @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"},{"internalType":"string","name":"tokenName","type":"string"}],"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"}]

60806040526003805460ff19166012179055610e10600a553480156200002457600080fd5b50604051620014ee380380620014ee833981810160405260608110156200004a57600080fd5b815160208301516040808501805191519395929483019291846401000000008211156200007657600080fd5b9083019060208201858111156200008c57600080fd5b8251640100000000811182820188101715620000a757600080fd5b82525081516020918201929091019080838360005b83811015620000d6578181015183820152602001620000bc565b50505050905090810190601f168015620001045780820380516001836020036101000a031916815260200191505b506040819052600080546001600160a01b03191633178082558895508594506001600160a01b03169250907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a3600e80546001600160a01b0383166001600160a01b0319909116811790915560408051600481526024810182526020810180516001600160e01b031663204a7f0760e21b178152915181516000949382918083835b60208310620001ca5780518252601f199092019160209182019101620001a9565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855af49150503d80600081146200022c576040519150601f19603f3d011682016040523d82523d6000602084013e62000231565b606091505b50509050806200024057600080fd5b5050600780546001600160a01b0319166001600160a01b038516179055508051620002739060019060208401906200027d565b5050505062000322565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620002c057805160ff1916838001178555620002f0565b82800160010185558215620002f0579182015b82811115620002f0578251825591602001919060010190620002d3565b50620002fe92915062000302565b5090565b6200031f91905b80821115620002fe576000815560010162000309565b90565b6111bc80620003326000396000f3fe608060405234801561001057600080fd5b50600436106102115760003560e01c806370a0823111610125578063a9059cbb116100ad578063d50095841161007c578063d500958414610666578063d784d4261461066e578063dad3eb74146103b1578063dd62ed3e14610694578063f2fde38b146106c257610211565b8063a9059cbb14610371578063aaf10f4214610612578063c40868931461061a578063d0ebdbe71461064057610211565b80638da5cb5b116100f45780638da5cb5b146105dd5780638f32d59b146105e557806395d89b41146105ed5780639783cbd9146105f55780639dc29fac1461047557610211565b806370a0823114610293578063715018a6146105d55780637de29ea8146102935780638399d9f31461047557610211565b806335f0c4fa116101a85780634b91a07b116101775780634b91a07b14610551578063593557361461029357806359653ec9146105835780635c60da1b146105a75780636f2b70cd146105af57610211565b806335f0c4fa1461042a57806340c10f19146104755780634487152f146104a35780634688d5d61461054957610211565b806318160ddd116101e457806318160ddd146103b157806323b872dd146103b95780632a75ee42146103ef578063313ce5671461040c57610211565b806306fdde031461021657806307e77aa0146102935780630933c1ed146102cb578063095ea7b314610371575b600080fd5b61021e6106e8565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610258578181015183820152602001610240565b50505050905090810190601f1680156102855780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102b9600480360360208110156102a957600080fd5b50356001600160a01b0316610775565b60408051918252519081900360200190f35b61021e600480360360208110156102e157600080fd5b8101906020810181356401000000008111156102fc57600080fd5b82018360208201111561030e57600080fd5b8035906020019184600183028401116401000000008311171561033057600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929550610785945050505050565b61039d6004803603604081101561038757600080fd5b506001600160a01b03813516906020013561084f565b604080519115158252519081900360200190f35b6102b9610860565b61039d600480360360608110156103cf57600080fd5b506001600160a01b0381358116916020810135909116906040013561086e565b6102b96004803603602081101561040557600080fd5b5035610880565b610414610897565b6040805160ff9092168252519081900360200190f35b61045c6004803603606081101561044057600080fd5b506001600160a01b0381351690602081013590604001356108a0565b6040805192835260208301919091528051918290030190f35b6104a16004803603604081101561048b57600080fd5b506001600160a01b0381351690602001356108b4565b005b61021e600480360360208110156104b957600080fd5b8101906020810181356401000000008111156104d457600080fd5b8201836020820111156104e657600080fd5b8035906020019184600183028401116401000000008311171561050857600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295506108c1945050505050565b6102b9610ae2565b6104a16004803603606081101561056757600080fd5b506001600160a01b038135169060208101359060400135610ae8565b61058b610af6565b604080516001600160a01b039092168252519081900360200190f35b61058b610b05565b6104a1600480360360208110156105c557600080fd5b50356001600160a01b0316610b14565b6104a1610b7d565b61058b610c0e565b61039d610c1d565b61021e610c2e565b6104a16004803603602081101561060b57600080fd5b5035610c86565b61058b610cd2565b61045c6004803603602081101561063057600080fd5b50356001600160a01b0316610ce1565b6104a16004803603602081101561065657600080fd5b50356001600160a01b0316610cf2565b61058b610d5b565b6104a16004803603602081101561068457600080fd5b50356001600160a01b0316610d6a565b6102b9600480360360408110156106aa57600080fd5b506001600160a01b0381358116916020013516610e9c565b6104a1600480360360208110156106d857600080fd5b50356001600160a01b0316610ea6565b60018054604080516020600284861615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561076d5780601f106107425761010080835404028352916020019161076d565b820191906000526020600020905b81548152906001019060200180831161075057829003601f168201915b505050505081565b600061077f610ef9565b50919050565b600e54604051825160609260009284926001600160a01b0390921691869190819060208401908083835b602083106107ce5780518252601f1990920191602091820191016107af565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855af49150503d806000811461082e576040519150601f19603f3d011682016040523d82523d6000602084013e610833565b606091505b50915091506000821415610848573d60208201fd5b9392505050565b600061085961101d565b5092915050565b600061086a610ef9565b5090565b600061087861101d565b509392505050565b600a54600091825260096020526040909120540190565b60035460ff1681565b6000806108ab61101d565b50935093915050565b6108bc61101d565b505050565b606060006060306001600160a01b0316846040516024018080602001828103825283818151815260200191508051906020019080838360005b838110156109125781810151838201526020016108fa565b50505050905090810190601f16801561093f5780820380516001836020036101000a031916815260200191505b5060408051601f198184030181529181526020820180516001600160e01b0316630933c1ed60e01b178152905182519295509350839250908083835b6020831061099a5780518252601f19909201916020918201910161097b565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d80600081146109fa576040519150601f19603f3d011682016040523d82523d6000602084013e6109ff565b606091505b50915091506000821415610a14573d60208201fd5b808060200190516020811015610a2957600080fd5b8101908080516040519392919084640100000000821115610a4957600080fd5b908301906020820185811115610a5e57600080fd5b8251640100000000811182820188101715610a7857600080fd5b82525081516020918201929091019080838360005b83811015610aa5578181015183820152602001610a8d565b50505050905090810190601f168015610ad25780820380516001836020036101000a031916815260200191505b5060405250505092505050919050565b600a5490565b610af061101d565b50505050565b6007546001600160a01b031690565b600e546001600160a01b031681565b610b1c610c1d565b610b5b576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b600780546001600160a01b0319166001600160a01b0392909216919091179055565b610b85610c1d565b610bc4576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031690565b6000546001600160a01b0316331490565b6002805460408051602060018416156101000260001901909316849004601f8101849004840282018401909252818152929183018282801561076d5780601f106107425761010080835404028352916020019161076d565b610c8e610c1d565b610ccd576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b600a55565b600e546001600160a01b031690565b600080610cec610ef9565b50915091565b610cfa610c1d565b610d39576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b600880546001600160a01b0319166001600160a01b0392909216919091179055565b6008546001600160a01b031690565b610d72610c1d565b610db1576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b600e80546001600160a01b0383166001600160a01b0319909116811790915560408051600481526024810182526020810180516001600160e01b031663a2e6204560e01b178152915181516000949382918083835b60208310610e255780518252601f199092019160209182019101610e06565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855af49150503d8060008114610e85576040519150601f19603f3d011682016040523d82523d6000602084013e610e8a565b606091505b5050905080610e9857600080fd5b5050565b6000610859610ef9565b610eae610c1d565b610eed576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b610ef6816110a1565b50565b60606000306001600160a01b03166000366040516024018080602001828103825284848281815260200192508082843760008382015260408051601f909201601f1990811690940182810390940182529283526020810180516001600160e01b0316630933c1ed60e01b17815292518151919750955085945091925081905083835b60208310610f9a5780518252601f199092019160209182019101610f7b565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114610ffa576040519150601f19603f3d011682016040523d82523d6000602084013e610fff565b606091505b505090506040513d6000823e818015611019573d60408301f35b3d82fd5b600e546040516060916000916001600160a01b0390911690829036908083838082843760405192019450600093509091505080830381855af49150503d8060008114611085576040519150601f19603f3d011682016040523d82523d6000602084013e61108a565b606091505b505090506040513d6000823e818015611019573d82f35b6001600160a01b0381166110e65760405162461bcd60e51b81526004018080602001828103825260268152602001806111426026913960400191505060405180910390fd5b600080546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600080546001600160a01b0319166001600160a01b039290921691909117905556fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f20616464726573734f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572a265627a7a723158205f1ca514d7f9ae6de8b8589c20e77cf2f2be0c9706d42e9e2b1bd7114a511abf64736f6c63430005100032000000000000000000000000c267a25032b67a81ed0ab57266f1f6ed8e16f603000000000000000000000000e2215319ef5f3c6b519de0aa76ac802fa71be24f000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000054650542d42000000000000000000000000000000000000000000000000000000

0x608060405234801561001057600080fd5b50600436106102115760003560e01c806370a0823111610125578063a9059cbb116100ad578063d50095841161007c578063d500958414610666578063d784d4261461066e578063dad3eb74146103b1578063dd62ed3e14610694578063f2fde38b146106c257610211565b8063a9059cbb14610371578063aaf10f4214610612578063c40868931461061a578063d0ebdbe71461064057610211565b80638da5cb5b116100f45780638da5cb5b146105dd5780638f32d59b146105e557806395d89b41146105ed5780639783cbd9146105f55780639dc29fac1461047557610211565b806370a0823114610293578063715018a6146105d55780637de29ea8146102935780638399d9f31461047557610211565b806335f0c4fa116101a85780634b91a07b116101775780634b91a07b14610551578063593557361461029357806359653ec9146105835780635c60da1b146105a75780636f2b70cd146105af57610211565b806335f0c4fa1461042a57806340c10f19146104755780634487152f146104a35780634688d5d61461054957610211565b806318160ddd116101e457806318160ddd146103b157806323b872dd146103b95780632a75ee42146103ef578063313ce5671461040c57610211565b806306fdde031461021657806307e77aa0146102935780630933c1ed146102cb578063095ea7b314610371575b600080fd5b61021e6106e8565b6040805160208082528351818301528351919283929083019185019080838360005b83811015610258578181015183820152602001610240565b50505050905090810190601f1680156102855780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102b9600480360360208110156102a957600080fd5b50356001600160a01b0316610775565b60408051918252519081900360200190f35b61021e600480360360208110156102e157600080fd5b8101906020810181356401000000008111156102fc57600080fd5b82018360208201111561030e57600080fd5b8035906020019184600183028401116401000000008311171561033057600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929550610785945050505050565b61039d6004803603604081101561038757600080fd5b506001600160a01b03813516906020013561084f565b604080519115158252519081900360200190f35b6102b9610860565b61039d600480360360608110156103cf57600080fd5b506001600160a01b0381358116916020810135909116906040013561086e565b6102b96004803603602081101561040557600080fd5b5035610880565b610414610897565b6040805160ff9092168252519081900360200190f35b61045c6004803603606081101561044057600080fd5b506001600160a01b0381351690602081013590604001356108a0565b6040805192835260208301919091528051918290030190f35b6104a16004803603604081101561048b57600080fd5b506001600160a01b0381351690602001356108b4565b005b61021e600480360360208110156104b957600080fd5b8101906020810181356401000000008111156104d457600080fd5b8201836020820111156104e657600080fd5b8035906020019184600183028401116401000000008311171561050857600080fd5b91908080601f0160208091040260200160405190810160405280939291908181526020018383808284376000920191909152509295506108c1945050505050565b6102b9610ae2565b6104a16004803603606081101561056757600080fd5b506001600160a01b038135169060208101359060400135610ae8565b61058b610af6565b604080516001600160a01b039092168252519081900360200190f35b61058b610b05565b6104a1600480360360208110156105c557600080fd5b50356001600160a01b0316610b14565b6104a1610b7d565b61058b610c0e565b61039d610c1d565b61021e610c2e565b6104a16004803603602081101561060b57600080fd5b5035610c86565b61058b610cd2565b61045c6004803603602081101561063057600080fd5b50356001600160a01b0316610ce1565b6104a16004803603602081101561065657600080fd5b50356001600160a01b0316610cf2565b61058b610d5b565b6104a16004803603602081101561068457600080fd5b50356001600160a01b0316610d6a565b6102b9600480360360408110156106aa57600080fd5b506001600160a01b0381358116916020013516610e9c565b6104a1600480360360208110156106d857600080fd5b50356001600160a01b0316610ea6565b60018054604080516020600284861615610100026000190190941693909304601f8101849004840282018401909252818152929183018282801561076d5780601f106107425761010080835404028352916020019161076d565b820191906000526020600020905b81548152906001019060200180831161075057829003601f168201915b505050505081565b600061077f610ef9565b50919050565b600e54604051825160609260009284926001600160a01b0390921691869190819060208401908083835b602083106107ce5780518252601f1990920191602091820191016107af565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855af49150503d806000811461082e576040519150601f19603f3d011682016040523d82523d6000602084013e610833565b606091505b50915091506000821415610848573d60208201fd5b9392505050565b600061085961101d565b5092915050565b600061086a610ef9565b5090565b600061087861101d565b509392505050565b600a54600091825260096020526040909120540190565b60035460ff1681565b6000806108ab61101d565b50935093915050565b6108bc61101d565b505050565b606060006060306001600160a01b0316846040516024018080602001828103825283818151815260200191508051906020019080838360005b838110156109125781810151838201526020016108fa565b50505050905090810190601f16801561093f5780820380516001836020036101000a031916815260200191505b5060408051601f198184030181529181526020820180516001600160e01b0316630933c1ed60e01b178152905182519295509350839250908083835b6020831061099a5780518252601f19909201916020918201910161097b565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d80600081146109fa576040519150601f19603f3d011682016040523d82523d6000602084013e6109ff565b606091505b50915091506000821415610a14573d60208201fd5b808060200190516020811015610a2957600080fd5b8101908080516040519392919084640100000000821115610a4957600080fd5b908301906020820185811115610a5e57600080fd5b8251640100000000811182820188101715610a7857600080fd5b82525081516020918201929091019080838360005b83811015610aa5578181015183820152602001610a8d565b50505050905090810190601f168015610ad25780820380516001836020036101000a031916815260200191505b5060405250505092505050919050565b600a5490565b610af061101d565b50505050565b6007546001600160a01b031690565b600e546001600160a01b031681565b610b1c610c1d565b610b5b576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b600780546001600160a01b0319166001600160a01b0392909216919091179055565b610b85610c1d565b610bc4576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031690565b6000546001600160a01b0316331490565b6002805460408051602060018416156101000260001901909316849004601f8101849004840282018401909252818152929183018282801561076d5780601f106107425761010080835404028352916020019161076d565b610c8e610c1d565b610ccd576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b600a55565b600e546001600160a01b031690565b600080610cec610ef9565b50915091565b610cfa610c1d565b610d39576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b600880546001600160a01b0319166001600160a01b0392909216919091179055565b6008546001600160a01b031690565b610d72610c1d565b610db1576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b600e80546001600160a01b0383166001600160a01b0319909116811790915560408051600481526024810182526020810180516001600160e01b031663a2e6204560e01b178152915181516000949382918083835b60208310610e255780518252601f199092019160209182019101610e06565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855af49150503d8060008114610e85576040519150601f19603f3d011682016040523d82523d6000602084013e610e8a565b606091505b5050905080610e9857600080fd5b5050565b6000610859610ef9565b610eae610c1d565b610eed576040805162461bcd60e51b81526020600482018190526024820152600080516020611168833981519152604482015290519081900360640190fd5b610ef6816110a1565b50565b60606000306001600160a01b03166000366040516024018080602001828103825284848281815260200192508082843760008382015260408051601f909201601f1990811690940182810390940182529283526020810180516001600160e01b0316630933c1ed60e01b17815292518151919750955085945091925081905083835b60208310610f9a5780518252601f199092019160209182019101610f7b565b6001836020036101000a038019825116818451168082178552505050505050905001915050600060405180830381855afa9150503d8060008114610ffa576040519150601f19603f3d011682016040523d82523d6000602084013e610fff565b606091505b505090506040513d6000823e818015611019573d60408301f35b3d82fd5b600e546040516060916000916001600160a01b0390911690829036908083838082843760405192019450600093509091505080830381855af49150503d8060008114611085576040519150601f19603f3d011682016040523d82523d6000602084013e61108a565b606091505b505090506040513d6000823e818015611019573d82f35b6001600160a01b0381166110e65760405162461bcd60e51b81526004018080602001828103825260268152602001806111426026913960400191505060405180910390fd5b600080546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a3600080546001600160a01b0319166001600160a01b039290921691909117905556fe4f776e61626c653a206e6577206f776e657220697320746865207a65726f20616464726573734f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572a265627a7a723158205f1ca514d7f9ae6de8b8589c20e77cf2f2be0c9706d42e9e2b1bd7114a511abf64736f6c63430005100032

000000000000000000000000c267a25032b67a81ed0ab57266f1f6ed8e16f603000000000000000000000000e2215319ef5f3c6b519de0aa76ac802fa71be24f000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000054650542d42000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : implementation_ (address): 0xc267A25032b67a81ed0AB57266f1f6eD8e16F603
Arg [1] : minePoolAddr (address): 0xe2215319ef5f3C6B519DE0aa76ac802FA71be24F
Arg [2] : tokenName (string): FPT-B

-----Encoded View---------------
5 Constructor Arguments found :
Arg [0] : 000000000000000000000000c267a25032b67a81ed0ab57266f1f6ed8e16f603
Arg [1] : 000000000000000000000000e2215319ef5f3c6b519de0aa76ac802fa71be24f
Arg [2] : 0000000000000000000000000000000000000000000000000000000000000060
Arg [3] : 0000000000000000000000000000000000000000000000000000000000000005
Arg [4] : 4650542d42000000000000000000000000000000000000000000000000000000

12705:3032:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12705:3032:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4054: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;4054:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13698:118;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;13698:118:0;-1:-1:-1;;;;;13698:118:0;;:::i;:::-;;;;;;;;;;;;;;;;8275:347;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8275:347:0;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;8275:347:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;8275: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;8275:347:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;8275:347:0;;-1:-1:-1;8275:347:0;;-1:-1:-1;;;;;8275:347:0:i;11598:120::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;11598:120:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;10934:100;;;:::i;11241:138::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;11241:138:0;;;;;;;;;;;;;;;;;:::i;5796:128::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5796:128:0;;:::i;4106:26::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;15547:187;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;15547:187:0;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;15156:100;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;15156:100:0;;;;;;;;:::i;:::-;;9044:434;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9044:434:0;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;9044:434:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;9044: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;9044:434:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;9044:434:0;;-1:-1:-1;9044:434:0;;-1:-1:-1;;;;;9044:434:0:i;5593:94::-;;;:::i;14631:133::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;14631:133:0;;;;;;;;;;;;;:::i;3701:108::-;;;:::i;:::-;;;;-1:-1:-1;;;;;3701:108:0;;;;;;;;;;;;;;7301:29;;;:::i;3815:126::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3815:126:0;-1:-1:-1;;;;;3815:126:0;;:::i;1694:140::-;;;:::i;885:79::-;;;:::i;1251:92::-;;;:::i;4079:20::-;;;:::i;5378:108::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5378:108:0;;:::i;7631:96::-;;;:::i;13941:129::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;13941:129:0;-1:-1:-1;;;;;13941:129:0;;:::i;2912:127::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2912:127:0;-1:-1:-1;;;;;2912:127:0;;:::i;3106:92::-;;;:::i;7733:240::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7733:240:0;-1:-1:-1;;;;;7733:240:0;;:::i;12034:132::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;12034: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;4054:18::-;;;;;;;;;;;;;;;-1:-1:-1;;4054:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;13698:118::-;13763:7;13783:25;:23;:25::i;:::-;;13698:118;;;:::o;8275:347::-;8411:14;;:33;;;;8344:12;;8370;;8344;;-1:-1:-1;;;;;8411:14:0;;;;8439:4;;8411: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;;;8411: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;;8369:75:0;;;;8494:1;8485:7;8482:14;8479:2;;;8546:14;8539:4;8527:10;8523:21;8516:45;8479:2;8604:10;8275:347;-1:-1:-1;;;8275:347:0:o;11598:120::-;11674:4;11691:19;:17;:19::i;:::-;;11598:120;;;;:::o;10934:100::-;10980:7;11000:25;:23;:25::i;:::-;;10934:100;:::o;11241:138::-;11335:4;11352:19;:17;:19::i;:::-;;11241:138;;;;;:::o;5796:128::-;5906:10;;5862:7;5888:17;;;:11;:17;;;;;;;:28;;5796:128::o;4106:26::-;;;;;;:::o;15547:187::-;15680:7;15688;15707:19;:17;:19::i;:::-;;15547:187;;;;;;:::o;15156:100::-;15229:19;:17;:19::i;:::-;;15156:100;;:::o;9044:434::-;9122:12;9148;9162:23;9197:4;-1:-1:-1;;;;;9189:24:0;9273:4;9214: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;9214:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;9214:64:0;;;-1:-1:-1;;26:21;;;22:32;6:49;;9214:64:0;;;49:4:-1;25:18;;61:17;;-1:-1;;;;;182:15;-1:-1;;;179:29;160:49;;9189:90:0;;;;9214:64;;-1:-1:-1;9189:90:0;-1:-1:-1;9189:90:0;;-1:-1:-1;25:18;9189: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;;;9189: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;;9147:132:0;;;;9329:1;9320:7;9317:14;9314:2;;;9381:14;9374:4;9362:10;9358:21;9351:45;9314:2;9450:10;9439:31;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9439: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;9439:31:0;;420:4:-1;411:14;;;;9439:31:0;;;;;411:14:-1;9439: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;9439:31:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9432:38;;;;9044:434;;;:::o;5593:94::-;5669:10;;5593:94;:::o;14631:133::-;14737:19;:17;:19::i;:::-;;14631:133;;;:::o;3701:108::-;3788:12;;-1:-1:-1;;;;;3788:12:0;3701:108;:::o;7301:29::-;;;-1:-1:-1;;;;;7301:29:0;;:::o;3815:126::-;1097:9;:7;:9::i;:::-;1089:54;;;;;-1:-1:-1;;;1089:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1089:54:0;;;;;;;;;;;;;;;3893:12;:40;;-1:-1:-1;;;;;;3893:40:0;-1:-1:-1;;;;;3893:40:0;;;;;;;;;;3815: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;4079:20::-;;;;;;;;;;;;;;-1:-1:-1;;4079:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5378:108;1097:9;:7;:9::i;:::-;1089:54;;;;;-1:-1:-1;;;1089:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1089:54:0;;;;;;;;;;;;;;;5454:10;:24;5378:108::o;7631:96::-;7705:14;;-1:-1:-1;;;;;7705:14:0;7631:96;:::o;13941:129::-;14009:7;14017;14037:25;:23;:25::i;:::-;;13941:129;;;:::o;2912:127::-;1097:9;:7;:9::i;:::-;1089:54;;;;;-1:-1:-1;;;1089:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1089:54:0;;;;;;;;;;;;;;;2999:15;:32;;-1:-1:-1;;;;;;2999:32:0;-1:-1:-1;;;;;2999:32:0;;;;;;;;;;2912:127::o;3106:92::-;3175:15;;-1:-1:-1;;;;;3175:15:0;3106:92;:::o;7733:240::-;1097:9;:7;:9::i;:::-;1089:54;;;;;-1:-1:-1;;;1089:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1089:54:0;;;;;;;;;;;;;;;7811:14;:32;;-1:-1:-1;;;;;7811:32:0;;-1:-1:-1;;;;;;7811:32:0;;;;;;;;7902:35;;;22:32:-1;6:49;;7902:35:0;;;;;49:4:-1;25:18;;61:17;;-1:-1;;;;;182:15;-1:-1;;;179:29;160:49;;7873:65:0;;;;7811:14;;:32;7873: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;;;7873: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;;7855:83:0;;;7957:7;7949:16;;;;;;1154:1;7733:240;:::o;12034:132::-;12116:4;12133: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;9486:507::-;9544:12;9570;9596:4;-1:-1:-1;;;;;9588:24:0;9672:8;;9613:68;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;;74:27;9613:68:0;;;137:4:-1;117:14;;;-1:-1;;113:30;;;157:16;;;26:21;;;22:32;;;6:49;;9613:68:0;;;49:4:-1;25:18;;61:17;;-1:-1;;;;;182:15;-1:-1;;;179:29;160:49;;9588:94:0;;;;9613:68;;-1:-1:-1;9588:94:0;-1:-1:-1;9588:94:0;;-1:-1:-1;25:18;;-1:-1;9588:94:0;;-1:-1:-1;9588: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;;;9588: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;;9569:113:0;;;9745:4;9739:11;9796:14;9793:1;9779:12;9764:47;9834:7;9855:47;;;;9958:14;9951:4;9937:12;9933:23;9926:47;9855;9885:14;9871:12;9864:36;10001:428;10092:14;;:37;;10048:12;;10074;;-1:-1:-1;;;;;10092:14:0;;;;10074:12;;10120:8;;10092:37;10074:12;10120:8;;10074:12;10092:37;1:33:-1;10092:37:0;;45:16:-1;;;-1:-1;10092:37:0;;-1:-1:-1;10092:37:0;;-1:-1:-1;;10092: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;;10073:56:0;;;10192:4;10186:11;10243:14;10240:1;10226:12;10211:47;10281:7;10302:47;;;;10394:14;10380:12;10373: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://5f1ca514d7f9ae6de8b8589c20e77cf2f2be0c9706d42e9e2b1bd7114a511abf