Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract ERC20Basic
•    - function totalSupply()
•    - function balanceOf(address who)
•    - function transfer(address to, uint256 ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•    - function mod(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b, st ...
•  contract ERC20 is ERC20Basic
•    - function allowance(address owner, add ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
•  contract Ownable
•    - function transferOwnership(address ne ...
•  contract Pausable is Ownable
•    - function pause()
•    - function unpause()
•  contract DistributionContract is P ... *
•    - function setTokenAddress(address _tok ...
•    - function safeGuardAllTokens(address _ ...
•    - function setTGEDate(uint256 _time)
•    - function triggerTokenSend()
•    - function setInitialDistribution(addre ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-12-16
*/

/**
 *Submitted for verification at Etherscan.io on 2018-09-01
*/

pragma solidity 0.5.8; 

// File: openzeppelin-solidity/contracts/token/ERC20/ERC20Basic.sol

/**
 * @title ERC20Basic
 * @dev Simpler version of ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/179
 */
contract ERC20Basic {
    function totalSupply() public view returns (uint256);
    function balanceOf(address who) public view returns (uint256);
    function transfer(address to, uint256 value) public returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
}

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     *
     * _Available since v2.4.0._
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     *
     * _Available since v2.4.0._
     */
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, errorMessage);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts with custom message when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     *
     * _Available since v2.4.0._
     */
    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

// File: openzeppelin-solidity/contracts/token/ERC20/ERC20.sol

/**
 * @title ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/20
 */
contract ERC20 is ERC20Basic {
  function allowance(address owner, address spender) public view returns (uint256);
  function transferFrom(address from, address to, uint256 value) public returns (bool);
  function approve(address spender, uint256 value) public returns (bool);
  event Approval(address indexed owner, address indexed spender, uint256 value);
}

// File: openzeppelin-solidity/contracts/ownership/Ownable.sol

/**
 * @title Ownable
 * @dev The Ownable contract has an owner address, and provides basic authorization control
 * functions, this simplifies the implementation of "user permissions".
 */
contract Ownable {
    address public owner;
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);


    /**
    * @dev The Ownable constructor sets the original `owner` of the contract to the sender
    * account.
    */
    constructor() public {
        owner = msg.sender;
    }

    /**
    * @dev Throws if called by any account other than the owner.
    */
    modifier onlyOwner() {
        require(msg.sender == owner);
        _;
    }

    /**
    * @dev Allows the current owner to transfer control of the contract to a newOwner.
    * @param newOwner The address to transfer ownership to.
    */
    function transferOwnership(address newOwner) public onlyOwner {
        require(newOwner != address(0));
        emit OwnershipTransferred(owner, newOwner);
        owner = newOwner;
    }
}

// File: openzeppelin-solidity/contracts/lifecycle/Pausable.sol

/**
 * @title Pausable
 * @dev Base contract which allows children to implement an emergency stop mechanism.
 */
contract Pausable is Ownable {
    event Pause();
    event Unpause();

    bool public paused = false;


    /**
    * @dev Modifier to make a function callable only when the contract is not paused.
    */
    modifier whenNotPaused() {
        require(!paused);
        _;
    }

    /**
    * @dev Modifier to make a function callable only when the contract is paused.
    */
    modifier whenPaused() {
        require(paused);
        _;
    }

    /**
    * @dev called by the owner to pause, triggers stopped state
    */
    function pause() onlyOwner whenNotPaused public {
        paused = true;
        emit Pause();
    }

    /**
    * @dev called by the owner to unpause, returns to normal state
    */
    function unpause() onlyOwner whenPaused public {
        paused = false;
        emit Unpause();
    }
}


// File: contracts/BetProtocolToken.sol

// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program.  If not, see <https://www.gnu.org/licenses/>.



contract DistributionContract is Pausable {
    using SafeMath for uint256;

    uint256 constant public decimals = 1 ether;
    address[] public tokenOwners ; /* Tracks distributions mapping (iterable) */
    uint256 public TGEDate = 0; /* Date From where the distribution starts (TGE) */
    uint256 constant public daysLockWhenDaily = 365;
    uint256 constant public month = 30 days;
    uint256 constant public year = 365 days;
    uint256 public lastDateDistribution = 0;
    uint256 public daysPassed = 0;
  
    
    mapping(address => DistributionStep[]) public distributions; /* Distribution object */
    
    ERC20 public erc20;

    struct DistributionStep {
        uint256 amountAllocated;
        uint256 currentAllocated;
        uint256 unlockDay;
        uint256 amountSent;
        bool isDaily;
    }
    
    constructor() public{
        
        /* Ecosystem Tokens */
        setInitialDistribution(0x9ac2009901a88302D344ba3fA75682919bb7372a, 440000000, year, false);
        setInitialDistribution(0x9ac2009901a88302D344ba3fA75682919bb7372a, 440000000, year.add(3 * month), false);
        setInitialDistribution(0x9ac2009901a88302D344ba3fA75682919bb7372a, 440000000, year.add(6 * month), false);
        setInitialDistribution(0x9ac2009901a88302D344ba3fA75682919bb7372a, 440000000, year.add(9 * month), false);
        setInitialDistribution(0x9ac2009901a88302D344ba3fA75682919bb7372a, 440000000, year.add(12 * month), false);
        /* Foundation Tokens */
        setInitialDistribution(0x6714d41094a264BB4b8fCB74713B42cFEe6B4F74, 515000000, year, false);
        setInitialDistribution(0x6714d41094a264BB4b8fCB74713B42cFEe6B4F74, 515000000, year.add(3 * month), false);
        setInitialDistribution(0x6714d41094a264BB4b8fCB74713B42cFEe6B4F74, 515000000, year.add(6 * month), false);
        setInitialDistribution(0x6714d41094a264BB4b8fCB74713B42cFEe6B4F74, 515000000, year.add(9 * month), false);
        setInitialDistribution(0x6714d41094a264BB4b8fCB74713B42cFEe6B4F74, 515000000, year.add(12 * month), false);
        /* Partners Tokens */
        setInitialDistribution(0x76338947e861bbd44C13C6402cA502DD61f3Fe90, 120000000, 6 * month, false);
        setInitialDistribution(0x76338947e861bbd44C13C6402cA502DD61f3Fe90, 120000000, 9 * month, false);
        setInitialDistribution(0x76338947e861bbd44C13C6402cA502DD61f3Fe90, 120000000, year, false);
        setInitialDistribution(0x76338947e861bbd44C13C6402cA502DD61f3Fe90, 120000000, year.add(3 * month), false);
        setInitialDistribution(0x76338947e861bbd44C13C6402cA502DD61f3Fe90, 120000000, year.add(6 * month), false);
        /* Team 1 Tokens */
        setInitialDistribution(0x59662241cB102B2A49250AE0a4332C1D81f7A35a, 140000000, 6 * month, false);
        setInitialDistribution(0x59662241cB102B2A49250AE0a4332C1D81f7A35a, 140000000, 9 * month, false);
        setInitialDistribution(0x59662241cB102B2A49250AE0a4332C1D81f7A35a, 140000000, year, false);
        setInitialDistribution(0x59662241cB102B2A49250AE0a4332C1D81f7A35a, 140000000, year.add(3 * month), false);
        setInitialDistribution(0x59662241cB102B2A49250AE0a4332C1D81f7A35a, 140000000, year.add(6 * month), false);
        /* Team 2 Tokens */
        setInitialDistribution(0x3cBC0B3e2A45932436ECbe35a4f2f267837BF093, 140000000, 6 * month, false);
        setInitialDistribution(0x3cBC0B3e2A45932436ECbe35a4f2f267837BF093, 140000000, 9 * month, false);
        setInitialDistribution(0x3cBC0B3e2A45932436ECbe35a4f2f267837BF093, 140000000, year, false);
        setInitialDistribution(0x3cBC0B3e2A45932436ECbe35a4f2f267837BF093, 140000000, year.add(3 * month), false);
        setInitialDistribution(0x3cBC0B3e2A45932436ECbe35a4f2f267837BF093, 140000000, year.add(6 * month), false);
        /* Team 3 Tokens */
        setInitialDistribution(0xA91335CC09A4Ab1dFfF466AF5f34f7647c842Fa4, 140000000, 6 * month, false);
        setInitialDistribution(0xA91335CC09A4Ab1dFfF466AF5f34f7647c842Fa4, 140000000, 9 * month, false);
        setInitialDistribution(0xA91335CC09A4Ab1dFfF466AF5f34f7647c842Fa4, 140000000, year, false);
        setInitialDistribution(0xA91335CC09A4Ab1dFfF466AF5f34f7647c842Fa4, 140000000, year.add(3 * month), false);
        setInitialDistribution(0xA91335CC09A4Ab1dFfF466AF5f34f7647c842Fa4, 140000000, year.add(6 * month), false);

        /* Developer Bootstrap */
        setInitialDistribution(0xbca236d9F3f4c247fAC1854ad92EB3cE25847F2e, 150000000, 0 /* No Lock */, false);
        setInitialDistribution(0xbca236d9F3f4c247fAC1854ad92EB3cE25847F2e, 150000000, 3 * month, false);
        setInitialDistribution(0xbca236d9F3f4c247fAC1854ad92EB3cE25847F2e, 150000000, 6 * month, false);
        setInitialDistribution(0xbca236d9F3f4c247fAC1854ad92EB3cE25847F2e, 150000000, 9 * month, false);
        setInitialDistribution(0xbca236d9F3f4c247fAC1854ad92EB3cE25847F2e, 150000000, year, false);
        setInitialDistribution(0xbca236d9F3f4c247fAC1854ad92EB3cE25847F2e, 150000000, year.add(3 * month), false);
        setInitialDistribution(0xbca236d9F3f4c247fAC1854ad92EB3cE25847F2e, 100000000, year.add(6 * month), false);

        /* Investor 1 */
        setInitialDistribution(0xafa64cCa337eFEE0AD827F6C2684e69275226e90, 22500000, 0 /* No Lock */, false);
        setInitialDistribution(0xafa64cCa337eFEE0AD827F6C2684e69275226e90, 90000000, month, true);
        /* Investor 2 */
        setInitialDistribution(0x4a9fA34da6d2378c8f3B9F6b83532B169beaEDFc, 1500000, 0 /* No Lock */, false);
        setInitialDistribution(0x4a9fA34da6d2378c8f3B9F6b83532B169beaEDFc, 6000000, month, true);
        /* Investor 3 */
        setInitialDistribution(0x149D6b149cCF5A93a19b62f6c8426dc104522A48, 900000, 0 /* No Lock */, false);
        setInitialDistribution(0x149D6b149cCF5A93a19b62f6c8426dc104522A48, 3600000, month, true);
        /* Investor 4 */
        setInitialDistribution(0x004988aCd23524303B999A6074424ADf3f929eA1, 7500000, 0 /* No Lock */, false);
        setInitialDistribution(0x004988aCd23524303B999A6074424ADf3f929eA1, 30000000, month, true);
        /* Investor 5 */
        setInitialDistribution(0xe3b7C5A000FCd6EfEa699c67F59419c7826f4A33, 70500000, 0 /* No Lock */, false);
        setInitialDistribution(0xe3b7C5A000FCd6EfEa699c67F59419c7826f4A33, 282000000, month, true);
        /* Investor 6 */
        setInitialDistribution(0x9A17D8ad0906D1dfcd79337512eF7Dc20caB5790, 50000000, 0 /* No Lock */, false);
        setInitialDistribution(0x9A17D8ad0906D1dfcd79337512eF7Dc20caB5790, 200000000, month, true);
        /* Investor 7 */
        setInitialDistribution(0x1299b87288e3A997165C738d898ebc6572Fb3905, 30000000, 0 /* No Lock */, false);
        setInitialDistribution(0x1299b87288e3A997165C738d898ebc6572Fb3905, 120000000, month, true);
        /* Investor 8 */
        setInitialDistribution(0xeF26a8cdD11127E5E6E2c324EC001159651aBa6e, 15000000, 0 /* No Lock */, false);
        setInitialDistribution(0xeF26a8cdD11127E5E6E2c324EC001159651aBa6e, 60000000, month, true);
        /* Investor 9 */
        setInitialDistribution(0xE6A21B21355D43754EB6166b266C033f4bc172A4, 102100000, 0 /* No Lock */, false);
        setInitialDistribution(0xE6A21B21355D43754EB6166b266C033f4bc172A4, 408400000, month, true);
       
        /* Public Sale */
        setInitialDistribution(0xa8Ff08339F023Ea7B66F32586882c31DB4f35576, 25000000, 0 /* No Lock */, false);

    }

    function setTokenAddress(address _tokenAddress) external onlyOwner whenNotPaused  {
        erc20 = ERC20(_tokenAddress);
    }
    
    function safeGuardAllTokens(address _address) external onlyOwner whenPaused  { /* In case of needed urgency for the sake of contract bug */
        require(erc20.transfer(_address, erc20.balanceOf(address(this))));
    }

    function setTGEDate(uint256 _time) external onlyOwner whenNotPaused  {
        TGEDate = _time;
    }

    /**
    *   Should allow any address to trigger it, but since the calls are atomic it should do only once per day
     */

    function triggerTokenSend() external whenNotPaused  {
        /* Require TGE Date already been set */
        require(TGEDate != 0, "TGE date not set yet");
        /* TGE has not started */
        require(block.timestamp > TGEDate, "TGE still hasn´t started");
        /* Test that the call be only done once per day */
        require(block.timestamp.sub(lastDateDistribution) > 1 days, "Can only be called once a day");
        lastDateDistribution = block.timestamp;
        /* Go thru all tokenOwners */
        for(uint i = 0; i < tokenOwners.length; i++) {
            /* Get Address Distribution */
            DistributionStep[] memory d = distributions[tokenOwners[i]];
            /* Go thru all distributions array */
            for(uint j = 0; j < d.length; j++){
                if( (block.timestamp.sub(TGEDate) > d[j].unlockDay) /* Verify if unlockDay has passed */
                    && (d[j].currentAllocated > 0) /* Verify if currentAllocated > 0, so that address has tokens to be sent still */
                ){
                    /* Check if is Daily of Normal Withdrawal */
                    bool isDaily = d[j].isDaily;
                    uint256 sendingAmount;
                    if(!isDaily){
                        /* Non Daily */
                        sendingAmount = d[j].currentAllocated;
                    }else{
                        /* Daily */
                        if(daysPassed >= 365){
                            /* Last Day */
                            sendingAmount = d[j].currentAllocated;
                        }else{
                            sendingAmount = d[j].amountAllocated.div(daysLockWhenDaily); 
                        }
                        daysPassed = daysPassed.add(1);
                    }

                    distributions[tokenOwners[i]][j].currentAllocated = distributions[tokenOwners[i]][j].currentAllocated.sub(sendingAmount);
                    distributions[tokenOwners[i]][j].amountSent = distributions[tokenOwners[i]][j].amountSent.add(sendingAmount);
                    require(erc20.transfer(tokenOwners[i], sendingAmount));
                }
            }
        }   
    }

    function setInitialDistribution(address _address, uint256 _tokenAmount, uint256 _unlockDays, bool _isDaily) internal onlyOwner whenNotPaused {
        /* Add tokenOwner to Eachable Mapping */
        bool isAddressPresent = false;

        /* Verify if tokenOwner was already added */
        for(uint i = 0; i < tokenOwners.length; i++) {
            if(tokenOwners[i] == _address){
                isAddressPresent = true;
            }
        }
        /* Create DistributionStep Object */
        DistributionStep memory distributionStep = DistributionStep(_tokenAmount * decimals, _tokenAmount * decimals, _unlockDays, 0, _isDaily);
        /* Attach */
        distributions[_address].push(distributionStep);

        /* If Address not present in array of iterable token owners */
        if(!isAddressPresent){
            tokenOwners.push(_address);
        }

    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[{"name":"_tokenAddress","type":"address"}],"name":"setTokenAddress","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"uint256"}],"name":"distributions","outputs":[{"name":"amountAllocated","type":"uint256"},{"name":"currentAllocated","type":"uint256"},{"name":"unlockDay","type":"uint256"},{"name":"amountSent","type":"uint256"},{"name":"isDaily","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_time","type":"uint256"}],"name":"setTGEDate","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"month","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"lastDateDistribution","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"erc20","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"daysLockWhenDaily","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"triggerTokenSend","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_address","type":"address"}],"name":"safeGuardAllTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"TGEDate","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"year","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"daysPassed","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"uint256"}],"name":"tokenOwners","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[],"name":"Pause","type":"event"},{"anonymous":false,"inputs":[],"name":"Unpause","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"}]

608060405260008060146101000a81548160ff0219169083151502179055506000600255600060035560006004553480156200003a57600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550620000ac739ac2009901a88302d344ba3fa75682919bb7372a631a39de006301e13380600062000d4060201b60201c565b620000fc739ac2009901a88302d344ba3fa75682919bb7372a631a39de00620000ee62278d006003026301e1338062000fc460201b620014461790919060201c565b600062000d4060201b60201c565b6200014c739ac2009901a88302d344ba3fa75682919bb7372a631a39de006200013e62278d006006026301e1338062000fc460201b620014461790919060201c565b600062000d4060201b60201c565b6200019c739ac2009901a88302d344ba3fa75682919bb7372a631a39de006200018e62278d006009026301e1338062000fc460201b620014461790919060201c565b600062000d4060201b60201c565b620001ec739ac2009901a88302d344ba3fa75682919bb7372a631a39de00620001de62278d00600c026301e1338062000fc460201b620014461790919060201c565b600062000d4060201b60201c565b6200021d736714d41094a264bb4b8fcb74713b42cfee6b4f74631eb246c06301e13380600062000d4060201b60201c565b6200026d736714d41094a264bb4b8fcb74713b42cfee6b4f74631eb246c06200025f62278d006003026301e1338062000fc460201b620014461790919060201c565b600062000d4060201b60201c565b620002bd736714d41094a264bb4b8fcb74713b42cfee6b4f74631eb246c0620002af62278d006006026301e1338062000fc460201b620014461790919060201c565b600062000d4060201b60201c565b6200030d736714d41094a264bb4b8fcb74713b42cfee6b4f74631eb246c0620002ff62278d006009026301e1338062000fc460201b620014461790919060201c565b600062000d4060201b60201c565b6200035d736714d41094a264bb4b8fcb74713b42cfee6b4f74631eb246c06200034f62278d00600c026301e1338062000fc460201b620014461790919060201c565b600062000d4060201b60201c565b620003907376338947e861bbd44c13c6402ca502dd61f3fe906307270e0062278d00600602600062000d4060201b60201c565b620003c37376338947e861bbd44c13c6402ca502dd61f3fe906307270e0062278d00600902600062000d4060201b60201c565b620003f47376338947e861bbd44c13c6402ca502dd61f3fe906307270e006301e13380600062000d4060201b60201c565b620004447376338947e861bbd44c13c6402ca502dd61f3fe906307270e006200043662278d006003026301e1338062000fc460201b620014461790919060201c565b600062000d4060201b60201c565b620004947376338947e861bbd44c13c6402ca502dd61f3fe906307270e006200048662278d006006026301e1338062000fc460201b620014461790919060201c565b600062000d4060201b60201c565b620004c77359662241cb102b2a49250ae0a4332c1d81f7a35a6308583b0062278d00600602600062000d4060201b60201c565b620004fa7359662241cb102b2a49250ae0a4332c1d81f7a35a6308583b0062278d00600902600062000d4060201b60201c565b6200052b7359662241cb102b2a49250ae0a4332c1d81f7a35a6308583b006301e13380600062000d4060201b60201c565b6200057b7359662241cb102b2a49250ae0a4332c1d81f7a35a6308583b006200056d62278d006003026301e1338062000fc460201b620014461790919060201c565b600062000d4060201b60201c565b620005cb7359662241cb102b2a49250ae0a4332c1d81f7a35a6308583b00620005bd62278d006006026301e1338062000fc460201b620014461790919060201c565b600062000d4060201b60201c565b620005fe733cbc0b3e2a45932436ecbe35a4f2f267837bf0936308583b0062278d00600602600062000d4060201b60201c565b62000631733cbc0b3e2a45932436ecbe35a4f2f267837bf0936308583b0062278d00600902600062000d4060201b60201c565b62000662733cbc0b3e2a45932436ecbe35a4f2f267837bf0936308583b006301e13380600062000d4060201b60201c565b620006b2733cbc0b3e2a45932436ecbe35a4f2f267837bf0936308583b00620006a462278d006003026301e1338062000fc460201b620014461790919060201c565b600062000d4060201b60201c565b62000702733cbc0b3e2a45932436ecbe35a4f2f267837bf0936308583b00620006f462278d006006026301e1338062000fc460201b620014461790919060201c565b600062000d4060201b60201c565b6200073573a91335cc09a4ab1dfff466af5f34f7647c842fa46308583b0062278d00600602600062000d4060201b60201c565b6200076873a91335cc09a4ab1dfff466af5f34f7647c842fa46308583b0062278d00600902600062000d4060201b60201c565b6200079973a91335cc09a4ab1dfff466af5f34f7647c842fa46308583b006301e13380600062000d4060201b60201c565b620007e973a91335cc09a4ab1dfff466af5f34f7647c842fa46308583b00620007db62278d006003026301e1338062000fc460201b620014461790919060201c565b600062000d4060201b60201c565b6200083973a91335cc09a4ab1dfff466af5f34f7647c842fa46308583b006200082b62278d006006026301e1338062000fc460201b620014461790919060201c565b600062000d4060201b60201c565b6200086673bca236d9f3f4c247fac1854ad92eb3ce25847f2e6308f0d18060008062000d4060201b60201c565b6200089973bca236d9f3f4c247fac1854ad92eb3ce25847f2e6308f0d18062278d00600302600062000d4060201b60201c565b620008cc73bca236d9f3f4c247fac1854ad92eb3ce25847f2e6308f0d18062278d00600602600062000d4060201b60201c565b620008ff73bca236d9f3f4c247fac1854ad92eb3ce25847f2e6308f0d18062278d00600902600062000d4060201b60201c565b6200093073bca236d9f3f4c247fac1854ad92eb3ce25847f2e6308f0d1806301e13380600062000d4060201b60201c565b6200098073bca236d9f3f4c247fac1854ad92eb3ce25847f2e6308f0d1806200097262278d006003026301e1338062000fc460201b620014461790919060201c565b600062000d4060201b60201c565b620009d073bca236d9f3f4c247fac1854ad92eb3ce25847f2e6305f5e100620009c262278d006006026301e1338062000fc460201b620014461790919060201c565b600062000d4060201b60201c565b620009fd73afa64cca337efee0ad827f6c2684e69275226e9063015752a060008062000d4060201b60201c565b62000a2d73afa64cca337efee0ad827f6c2684e69275226e9063055d4a8062278d00600162000d4060201b60201c565b62000a59734a9fa34da6d2378c8f3b9f6b83532b169beaedfc6216e36060008062000d4060201b60201c565b62000a88734a9fa34da6d2378c8f3b9f6b83532b169beaedfc625b8d8062278d00600162000d4060201b60201c565b62000ab473149d6b149ccf5a93a19b62f6c8426dc104522a48620dbba060008062000d4060201b60201c565b62000ae373149d6b149ccf5a93a19b62f6c8426dc104522a486236ee8062278d00600162000d4060201b60201c565b62000b0e724988acd23524303b999a6074424adf3f929ea1627270e060008062000d4060201b60201c565b62000b3d724988acd23524303b999a6074424adf3f929ea16301c9c38062278d00600162000d4060201b60201c565b62000b6a73e3b7c5a000fcd6efea699c67f59419c7826f4a33630433bea060008062000d4060201b60201c565b62000b9a73e3b7c5a000fcd6efea699c67f59419c7826f4a336310cefa8062278d00600162000d4060201b60201c565b62000bc7739a17d8ad0906d1dfcd79337512ef7dc20cab57906302faf08060008062000d4060201b60201c565b62000bf7739a17d8ad0906d1dfcd79337512ef7dc20cab5790630bebc20062278d00600162000d4060201b60201c565b62000c24731299b87288e3a997165c738d898ebc6572fb39056301c9c38060008062000d4060201b60201c565b62000c54731299b87288e3a997165c738d898ebc6572fb39056307270e0062278d00600162000d4060201b60201c565b62000c8073ef26a8cdd11127e5e6e2c324ec001159651aba6e62e4e1c060008062000d4060201b60201c565b62000cb073ef26a8cdd11127e5e6e2c324ec001159651aba6e630393870062278d00600162000d4060201b60201c565b62000cdd73e6a21b21355d43754eb6166b266c033f4bc172a4630615ec2060008062000d4060201b60201c565b62000d0d73e6a21b21355d43754eb6166b266c033f4bc172a4631857b08062278d00600162000d4060201b60201c565b62000d3a73a8ff08339f023ea7b66f32586882c31db4f3557663017d784060008062000d4060201b60201c565b6200107e565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161462000d9a57600080fd5b600060149054906101000a900460ff161562000db557600080fd5b600080905060008090505b60018054905081101562000e4e578573ffffffffffffffffffffffffffffffffffffffff166001828154811062000df357fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16141562000e4057600191505b808060010191505062000dc0565b5062000e596200104d565b6040518060a00160405280670de0b6b3a764000087028152602001670de0b6b3a764000087028152602001858152602001600081526020018415158152509050600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081908060018154018082558091505090600182039060005260206000209060050201600090919290919091506000820151816000015560208201518160010155604082015181600201556060820151816003015560808201518160040160006101000a81548160ff0219169083151502179055505050508162000fbc5760018690806001815401808255809150509060018203906000526020600020016000909192909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550505b505050505050565b60008082840190508381101562001043576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b6040518060a00160405280600081526020016000815260200160008152602001600081526020016000151581525090565b611680806200108e6000396000f3fe608060405234801561001057600080fd5b50600436106101215760003560e01c8063813ea126116100ad578063cb12872811610071578063cb128728146103aa578063f2fde38b146103c8578063f32697161461040c578063f516ff371461042a578063f8a14f461461044857610121565b8063813ea126146102ea57806383e2ad63146103085780638456cb59146103125780638da5cb5b1461031c578063b90c72ae1461036657610121565b80633f4ba83a116100f45780633f4ba83a146102385780635c975abb14610242578063702921f5146102645780637609395714610282578063785e9e86146102a057610121565b806326a4e8d2146101265780632d9b4b251461016a578063313ce567146101ec57806332a011031461020a575b600080fd5b6101686004803603602081101561013c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506104b6565b005b6101b66004803603604081101561018057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061056d565b60405180868152602001858152602001848152602001838152602001821515151581526020019550505050505060405180910390f35b6101f46105ca565b6040518082815260200191505060405180910390f35b6102366004803603602081101561022057600080fd5b81019080803590602001909291905050506105d6565b005b610240610653565b005b61024a61070d565b604051808215151515815260200191505060405180910390f35b61026c610720565b6040518082815260200191505060405180910390f35b61028a610727565b6040518082815260200191505060405180910390f35b6102a861072d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6102f2610753565b6040518082815260200191505060405180910390f35b610310610759565b005b61031a610ef5565b005b610324610fb1565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103a86004803603602081101561037c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fd6565b005b6103b2611211565b6040518082815260200191505060405180910390f35b61040a600480360360208110156103de57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611217565b005b610414611368565b6040518082815260200191505060405180910390f35b610432611370565b6040518082815260200191505060405180910390f35b6104746004803603602081101561045e57600080fd5b8101908080359060200190929190505050611376565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461050f57600080fd5b600060149054906101000a900460ff161561052957600080fd5b80600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6005602052816000526040600020818154811061058657fe5b9060005260206000209060050201600091509150508060000154908060010154908060020154908060030154908060040160009054906101000a900460ff16905085565b670de0b6b3a764000081565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461062f57600080fd5b600060149054906101000a900460ff161561064957600080fd5b8060028190555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146106ac57600080fd5b600060149054906101000a900460ff166106c557600080fd5b60008060146101000a81548160ff0219169083151502179055507f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3360405160405180910390a1565b600060149054906101000a900460ff1681565b62278d0081565b60035481565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b61016d81565b600060149054906101000a900460ff161561077357600080fd5b600060025414156107ec576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f5447452064617465206e6f74207365742079657400000000000000000000000081525060200191505060405180910390fd5b6002544211610863576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f544745207374696c6c206861736ec2b47420737461727465640000000000000081525060200191505060405180910390fd5b6201518061087c600354426113b290919063ffffffff16565b116108ef576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f43616e206f6e6c792062652063616c6c6564206f6e636520612064617900000081525060200191505060405180910390fd5b4260038190555060008090505b600180549050811015610ef2576060600560006001848154811061091c57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805480602002602001604051908101604052809291908181526020016000905b82821015610a1657838290600052602060002090600502016040518060a0016040529081600082015481526020016001820154815260200160028201548152602001600382015481526020016004820160009054906101000a900460ff161515151581525050815260200190600101906109a1565b50505050905060008090505b8151811015610ee357818181518110610a3757fe5b602002602001015160400151610a58600254426113b290919063ffffffff16565b118015610a7c57506000828281518110610a6e57fe5b602002602001015160200151115b15610ed6576000828281518110610a8f57fe5b6020026020010151608001519050600081610ac357838381518110610ab057fe5b6020026020010151602001519050610b39565b61016d60045410610aed57838381518110610ada57fe5b6020026020010151602001519050610b1c565b610b1961016d858581518110610aff57fe5b6020026020010151600001516113fc90919063ffffffff16565b90505b610b32600160045461144690919063ffffffff16565b6004819055505b610bde816005600060018981548110610b4e57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208581548110610bbe57fe5b9060005260206000209060050201600101546113b290919063ffffffff16565b6005600060018881548110610bef57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208481548110610c5f57fe5b906000526020600020906005020160010181905550610d19816005600060018981548110610c8957fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208581548110610cf957fe5b90600052602060002090600502016003015461144690919063ffffffff16565b6005600060018881548110610d2a57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208481548110610d9a57fe5b906000526020600020906005020160030181905550600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb60018781548110610dfa57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610e8f57600080fd5b505af1158015610ea3573d6000803e3d6000fd5b505050506040513d6020811015610eb957600080fd5b8101908080519060200190929190505050610ed357600080fd5b50505b8080600101915050610a22565b505080806001019150506108fc565b50565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610f4e57600080fd5b600060149054906101000a900460ff1615610f6857600080fd5b6001600060146101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405160405180910390a1565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461102f57600080fd5b600060149054906101000a900460ff1661104857600080fd5b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb82600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561112657600080fd5b505afa15801561113a573d6000803e3d6000fd5b505050506040513d602081101561115057600080fd5b81019080805190602001909291905050506040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b1580156111ca57600080fd5b505af11580156111de573d6000803e3d6000fd5b505050506040513d60208110156111f457600080fd5b810190808051906020019092919050505061120e57600080fd5b50565b60025481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461127057600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156112aa57600080fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6301e1338081565b60045481565b6001818154811061138357fe5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60006113f483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506114ce565b905092915050565b600061143e83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061158e565b905092915050565b6000808284019050838110156114c4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600083831115829061157b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611540578082015181840152602081019050611525565b50505050905090810190601f16801561156d5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b6000808311829061163a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156115ff5780820151818401526020810190506115e4565b50505050905090810190601f16801561162c5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50600083858161164657fe5b04905080915050939250505056fea165627a7a72305820354c895fe51eed4b40cab91a509f08511145ccae764b6d2ee2d77c3916685fa30029

0x608060405234801561001057600080fd5b50600436106101215760003560e01c8063813ea126116100ad578063cb12872811610071578063cb128728146103aa578063f2fde38b146103c8578063f32697161461040c578063f516ff371461042a578063f8a14f461461044857610121565b8063813ea126146102ea57806383e2ad63146103085780638456cb59146103125780638da5cb5b1461031c578063b90c72ae1461036657610121565b80633f4ba83a116100f45780633f4ba83a146102385780635c975abb14610242578063702921f5146102645780637609395714610282578063785e9e86146102a057610121565b806326a4e8d2146101265780632d9b4b251461016a578063313ce567146101ec57806332a011031461020a575b600080fd5b6101686004803603602081101561013c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506104b6565b005b6101b66004803603604081101561018057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061056d565b60405180868152602001858152602001848152602001838152602001821515151581526020019550505050505060405180910390f35b6101f46105ca565b6040518082815260200191505060405180910390f35b6102366004803603602081101561022057600080fd5b81019080803590602001909291905050506105d6565b005b610240610653565b005b61024a61070d565b604051808215151515815260200191505060405180910390f35b61026c610720565b6040518082815260200191505060405180910390f35b61028a610727565b6040518082815260200191505060405180910390f35b6102a861072d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6102f2610753565b6040518082815260200191505060405180910390f35b610310610759565b005b61031a610ef5565b005b610324610fb1565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103a86004803603602081101561037c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fd6565b005b6103b2611211565b6040518082815260200191505060405180910390f35b61040a600480360360208110156103de57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611217565b005b610414611368565b6040518082815260200191505060405180910390f35b610432611370565b6040518082815260200191505060405180910390f35b6104746004803603602081101561045e57600080fd5b8101908080359060200190929190505050611376565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461050f57600080fd5b600060149054906101000a900460ff161561052957600080fd5b80600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6005602052816000526040600020818154811061058657fe5b9060005260206000209060050201600091509150508060000154908060010154908060020154908060030154908060040160009054906101000a900460ff16905085565b670de0b6b3a764000081565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461062f57600080fd5b600060149054906101000a900460ff161561064957600080fd5b8060028190555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146106ac57600080fd5b600060149054906101000a900460ff166106c557600080fd5b60008060146101000a81548160ff0219169083151502179055507f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3360405160405180910390a1565b600060149054906101000a900460ff1681565b62278d0081565b60035481565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b61016d81565b600060149054906101000a900460ff161561077357600080fd5b600060025414156107ec576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f5447452064617465206e6f74207365742079657400000000000000000000000081525060200191505060405180910390fd5b6002544211610863576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260198152602001807f544745207374696c6c206861736ec2b47420737461727465640000000000000081525060200191505060405180910390fd5b6201518061087c600354426113b290919063ffffffff16565b116108ef576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f43616e206f6e6c792062652063616c6c6564206f6e636520612064617900000081525060200191505060405180910390fd5b4260038190555060008090505b600180549050811015610ef2576060600560006001848154811061091c57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020805480602002602001604051908101604052809291908181526020016000905b82821015610a1657838290600052602060002090600502016040518060a0016040529081600082015481526020016001820154815260200160028201548152602001600382015481526020016004820160009054906101000a900460ff161515151581525050815260200190600101906109a1565b50505050905060008090505b8151811015610ee357818181518110610a3757fe5b602002602001015160400151610a58600254426113b290919063ffffffff16565b118015610a7c57506000828281518110610a6e57fe5b602002602001015160200151115b15610ed6576000828281518110610a8f57fe5b6020026020010151608001519050600081610ac357838381518110610ab057fe5b6020026020010151602001519050610b39565b61016d60045410610aed57838381518110610ada57fe5b6020026020010151602001519050610b1c565b610b1961016d858581518110610aff57fe5b6020026020010151600001516113fc90919063ffffffff16565b90505b610b32600160045461144690919063ffffffff16565b6004819055505b610bde816005600060018981548110610b4e57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208581548110610bbe57fe5b9060005260206000209060050201600101546113b290919063ffffffff16565b6005600060018881548110610bef57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208481548110610c5f57fe5b906000526020600020906005020160010181905550610d19816005600060018981548110610c8957fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208581548110610cf957fe5b90600052602060002090600502016003015461144690919063ffffffff16565b6005600060018881548110610d2a57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208481548110610d9a57fe5b906000526020600020906005020160030181905550600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb60018781548110610dfa57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610e8f57600080fd5b505af1158015610ea3573d6000803e3d6000fd5b505050506040513d6020811015610eb957600080fd5b8101908080519060200190929190505050610ed357600080fd5b50505b8080600101915050610a22565b505080806001019150506108fc565b50565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610f4e57600080fd5b600060149054906101000a900460ff1615610f6857600080fd5b6001600060146101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405160405180910390a1565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461102f57600080fd5b600060149054906101000a900460ff1661104857600080fd5b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb82600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561112657600080fd5b505afa15801561113a573d6000803e3d6000fd5b505050506040513d602081101561115057600080fd5b81019080805190602001909291905050506040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b1580156111ca57600080fd5b505af11580156111de573d6000803e3d6000fd5b505050506040513d60208110156111f457600080fd5b810190808051906020019092919050505061120e57600080fd5b50565b60025481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461127057600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156112aa57600080fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6301e1338081565b60045481565b6001818154811061138357fe5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60006113f483836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506114ce565b905092915050565b600061143e83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061158e565b905092915050565b6000808284019050838110156114c4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600083831115829061157b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611540578082015181840152602081019050611525565b50505050905090810190601f16801561156d5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b6000808311829061163a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156115ff5780820151818401526020810190506115e4565b50505050905090810190601f16801561162c5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50600083858161164657fe5b04905080915050939250505056fea165627a7a72305820354c895fe51eed4b40cab91a509f08511145ccae764b6d2ee2d77c3916685fa30029

9458:11214:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9458:11214:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16938:129;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16938:129:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;9996:59;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9996:59:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9542:42;;;:::i;:::-;;;;;;;;;;;;;;;;;;;17309:103;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17309:103:0;;;;;;;;;;;;;;;;;:::i;:::-;;8636:105;;;:::i;:::-;;7961:26;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;9812:39;;;:::i;:::-;;;;;;;;;;;;;;;;;;;9904;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10094:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;9758:47;;;:::i;:::-;;;;;;;;;;;;;;;;;;;17551:2215;;;:::i;:::-;;8440:103;;;:::i;:::-;;6849:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17079:222;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17079:222:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;9673:26;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7498:192;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7498:192:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;9858:39;;;:::i;:::-;;;;;;;;;;;;;;;;;;;9950:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;9591:28;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9591:28:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;16938:129;7298:5;;;;;;;;;;;7284:19;;:10;:19;;;7276:28;;;;;;8147:6;;;;;;;;;;;8146:7;8138:16;;;;;;17045:13;17031:5;;:28;;;;;;;;;;;;;;;;;;16938:129;:::o;9996:59::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;9542:42::-;9577:7;9542:42;:::o;17309:103::-;7298:5;;;;;;;;;;;7284:19;;:10;:19;;;7276:28;;;;;;8147:6;;;;;;;;;;;8146:7;8138:16;;;;;;17399:5;17389:7;:15;;;;17309:103;:::o;8636:105::-;7298:5;;;;;;;;;;;7284:19;;:10;:19;;;7276:28;;;;;;8323:6;;;;;;;;;;;8315:15;;;;;;8703:5;8694:6;;:14;;;;;;;;;;;;;;;;;;8724:9;;;;;;;;;;8636:105::o;7961:26::-;;;;;;;;;;;;;:::o;9812:39::-;9844:7;9812:39;:::o;9904:::-;;;;:::o;10094:18::-;;;;;;;;;;;;;:::o;9758:47::-;9802:3;9758:47;:::o;17551:2215::-;8147:6;;;;;;;;;;;8146:7;8138:16;;;;;;17682:1;17671:7;;:12;;17663:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17780:7;;17762:15;:25;17754:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17940:6;17896:41;17916:20;;17896:15;:19;;:41;;;;:::i;:::-;:50;17888:92;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18014:15;17991:20;:38;;;;18083:6;18092:1;18083:10;;18079:1677;18099:11;:18;;;;18095:1;:22;18079:1677;;;18183:27;18213:13;:29;18227:11;18239:1;18227:14;;;;;;;;;;;;;;;;;;;;;;;;;18213:29;;;;;;;;;;;;;;;18183:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18312:6;18321:1;18312:10;;18308:1437;18328:1;:8;18324:1;:12;18308:1437;;;18397:1;18399;18397:4;;;;;;;;;;;;;;:14;;;18366:28;18386:7;;18366:15;:19;;:28;;;;:::i;:::-;:45;18365:136;;;;;18499:1;18475;18477;18475:4;;;;;;;;;;;;;;:21;;;:25;18365:136;18361:1369;;;18691:12;18706:1;18708;18706:4;;;;;;;;;;;;;;:12;;;18691:27;;18741:21;18789:7;18785:573;;18881:1;18883;18881:4;;;;;;;;;;;;;;:21;;;18865:37;;18785:573;;;19011:3;18997:10;;:17;18994:284;;19106:1;19108;19106:4;;;;;;;;;;;;;;:21;;;19090:37;;18994:284;;;19206:43;9802:3;19206:1;19208;19206:4;;;;;;;;;;;;;;:20;;;:24;;:43;;;;:::i;:::-;19190:59;;18994:284;19317:17;19332:1;19317:10;;:14;;:17;;;;:::i;:::-;19304:10;:30;;;;18785:573;19434:68;19488:13;19434;:29;19448:11;19460:1;19448:14;;;;;;;;;;;;;;;;;;;;;;;;;19434:29;;;;;;;;;;;;;;;19464:1;19434:32;;;;;;;;;;;;;;;;;;:49;;;:53;;:68;;;;:::i;:::-;19382:13;:29;19396:11;19408:1;19396:14;;;;;;;;;;;;;;;;;;;;;;;;;19382:29;;;;;;;;;;;;;;;19412:1;19382:32;;;;;;;;;;;;;;;;;;:49;;:120;;;;19571:62;19619:13;19571;:29;19585:11;19597:1;19585:14;;;;;;;;;;;;;;;;;;;;;;;;;19571:29;;;;;;;;;;;;;;;19601:1;19571:32;;;;;;;;;;;;;;;;;;:43;;;:47;;:62;;;;:::i;:::-;19525:13;:29;19539:11;19551:1;19539:14;;;;;;;;;;;;;;;;;;;;;;;;;19525:29;;;;;;;;;;;;;;;19555:1;19525:32;;;;;;;;;;;;;;;;;;:43;;:108;;;;19664:5;;;;;;;;;;;:14;;;19679:11;19691:1;19679:14;;;;;;;;;;;;;;;;;;;;;;;;;19695:13;19664:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19664:45:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19664:45:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19664:45:0;;;;;;;;;;;;;;;;19656:54;;;;;;18361:1369;;;18338:3;;;;;;;18308:1437;;;;18079:1677;18119:3;;;;;;;18079:1677;;;;17551:2215::o;8440:103::-;7298:5;;;;;;;;;;;7284:19;;:10;:19;;;7276:28;;;;;;8147:6;;;;;;;;;;;8146:7;8138:16;;;;;;8508:4;8499:6;;:13;;;;;;;;;;;;;;;;;;8528:7;;;;;;;;;;8440:103::o;6849:20::-;;;;;;;;;;;;;:::o;17079:222::-;7298:5;;;;;;;;;;;7284:19;;:10;:19;;;7276:28;;;;;;8323:6;;;;;;;;;;;8315:15;;;;;;17236:5;;;;;;;;;;;:14;;;17251:8;17261:5;;;;;;;;;;;:15;;;17285:4;17261:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17261:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17261:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17261:30:0;;;;;;;;;;;;;;;;17236:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17236:56:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17236:56:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17236:56:0;;;;;;;;;;;;;;;;17228:65;;;;;;17079:222;:::o;9673:26::-;;;;:::o;7498:192::-;7298:5;;;;;;;;;;;7284:19;;:10;:19;;;7276:28;;;;;;7599:1;7579:22;;:8;:22;;;;7571:31;;;;;;7646:8;7618:37;;7639:5;;;;;;;;;;;7618:37;;;;;;;;;;;;7674:8;7666:5;;:16;;;;;;;;;;;;;;;;;;7498:192;:::o;9858:39::-;9889:8;9858:39;:::o;9950:29::-;;;;:::o;9591:28::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1896:136::-;1954:7;1981:43;1985:1;1988;1981:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;1974:50;;1896:136;;;;:::o;3751:132::-;3809:7;3836:39;3840:1;3843;3836:39;;;;;;;;;;;;;;;;;:3;:39::i;:::-;3829:46;;3751:132;;;;:::o;1440:181::-;1498:7;1518:9;1534:1;1530;:5;1518:17;;1559:1;1554;:6;;1546:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1612:1;1605:8;;;1440:181;;;;:::o;2369:192::-;2455:7;2488:1;2483;:6;;2491:12;2475:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;2475:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2515:9;2531:1;2527;:5;2515:17;;2552:1;2545:8;;;2369:192;;;;;:::o;4413:345::-;4499:7;4598:1;4594;:5;4601:12;4586:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;4586:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4625:9;4641:1;4637;:5;;;;;;4625:17;;4749:1;4742:8;;;4413:345;;;;;:::o

bzzr://354c895fe51eed4b40cab91a509f08511145ccae764b6d2ee2d77c3916685fa3