Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•  contract Ownable
•    - function Ownable()
•    - function transferOwnership(address ne ...
•  contract ERC20Basic
•    - function balanceOf(address who)
•    - function transfer(address to, uint256 ...
•  contract BasicToken is ERC20Basic
•    - function transfer(address _to, uint25 ...
•    - function balanceOf(address _owner)
•  contract ERC20 is ERC20Basic
•    - function allowance(address owner, add ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
•  contract StandardToken is ERC20, B ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•    - function increaseApproval(address _sp ...
•    - function decreaseApproval(address _sp ...
•  contract NaviToken is StandardToke ... *
•    - function NaviToken()
•    - function batchAssignTokens(address[] ...
•    - function elapsedMonthsFromICOStart()
•    - function canDefrostReserveAndTeam()
•    - function defrostReserveAndTeamTokens( ...
•    - function canDefrostAdvisors()
•    - function defrostAdvisorsTokens()
•    - function stopBatchAssign()
•    - function()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2018-04-03
*/

pragma solidity ^0.4.19;

// File: zeppelin-solidity/contracts/math/SafeMath.sol

/**
 * @title SafeMath
 * @dev Math operations with safety checks that throw on error
 */
library SafeMath {
  function mul(uint256 a, uint256 b) internal pure returns (uint256) {
    if (a == 0) {
      return 0;
    }
    uint256 c = a * b;
    assert(c / a == b);
    return c;
  }

  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    // assert(b > 0); // Solidity automatically throws when dividing by 0
    uint256 c = a / b;
    // assert(a == b * c + a % b); // There is no case in which this doesn't hold
    return c;
  }

  function sub(uint256 a, uint256 b) internal pure returns (uint256) {
    assert(b <= a);
    return a - b;
  }

  function add(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a + b;
    assert(c >= a);
    return c;
  }
}

// File: zeppelin-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.
   */
  function Ownable() 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));
    OwnershipTransferred(owner, newOwner);
    owner = newOwner;
  }

}

// File: zeppelin-solidity/contracts/token/ERC20Basic.sol

/**
 * @title ERC20Basic
 * @dev Simpler version of ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/179
 */
contract ERC20Basic {
  uint256 public totalSupply;
  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);
}

// File: zeppelin-solidity/contracts/token/BasicToken.sol

/**
 * @title Basic token
 * @dev Basic version of StandardToken, with no allowances.
 */
contract BasicToken is ERC20Basic {
  using SafeMath for uint256;

  mapping(address => uint256) balances;

  /**
  * @dev transfer token for a specified address
  * @param _to The address to transfer to.
  * @param _value The amount to be transferred.
  */
  function transfer(address _to, uint256 _value) public returns (bool) {
    require(_to != address(0));
    require(_value <= balances[msg.sender]);

    // SafeMath.sub will throw if there is not enough balance.
    balances[msg.sender] = balances[msg.sender].sub(_value);
    balances[_to] = balances[_to].add(_value);
    Transfer(msg.sender, _to, _value);
    return true;
  }

  /**
  * @dev Gets the balance of the specified address.
  * @param _owner The address to query the the balance of.
  * @return An uint256 representing the amount owned by the passed address.
  */
  function balanceOf(address _owner) public view returns (uint256 balance) {
    return balances[_owner];
  }

}

// File: zeppelin-solidity/contracts/token/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: zeppelin-solidity/contracts/token/StandardToken.sol

/**
 * @title Standard ERC20 token
 *
 * @dev Implementation of the basic standard token.
 * @dev https://github.com/ethereum/EIPs/issues/20
 * @dev Based on code by FirstBlood: https://github.com/Firstbloodio/token/blob/master/smart_contract/FirstBloodToken.sol
 */
contract StandardToken is ERC20, BasicToken {

  mapping (address => mapping (address => uint256)) internal allowed;


  /**
   * @dev Transfer tokens from one address to another
   * @param _from address The address which you want to send tokens from
   * @param _to address The address which you want to transfer to
   * @param _value uint256 the amount of tokens to be transferred
   */
  function transferFrom(address _from, address _to, uint256 _value) public returns (bool) {
    require(_to != address(0));
    require(_value <= balances[_from]);
    require(_value <= allowed[_from][msg.sender]);

    balances[_from] = balances[_from].sub(_value);
    balances[_to] = balances[_to].add(_value);
    allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_value);
    Transfer(_from, _to, _value);
    return true;
  }

  /**
   * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
   *
   * Beware that changing an allowance with this method brings the risk that someone may use both the old
   * and the new allowance by unfortunate transaction ordering. One possible solution to mitigate this
   * race condition is to first reduce the spender's allowance to 0 and set the desired value afterwards:
   * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
   * @param _spender The address which will spend the funds.
   * @param _value The amount of tokens to be spent.
   */
  function approve(address _spender, uint256 _value) public returns (bool) {
    allowed[msg.sender][_spender] = _value;
    Approval(msg.sender, _spender, _value);
    return true;
  }

  /**
   * @dev Function to check the amount of tokens that an owner allowed to a spender.
   * @param _owner address The address which owns the funds.
   * @param _spender address The address which will spend the funds.
   * @return A uint256 specifying the amount of tokens still available for the spender.
   */
  function allowance(address _owner, address _spender) public view returns (uint256) {
    return allowed[_owner][_spender];
  }

  /**
   * @dev Increase the amount of tokens that an owner allowed to a spender.
   *
   * approve should be called when allowed[_spender] == 0. To increment
   * allowed value is better to use this function to avoid 2 calls (and wait until
   * the first transaction is mined)
   * From MonolithDAO Token.sol
   * @param _spender The address which will spend the funds.
   * @param _addedValue The amount of tokens to increase the allowance by.
   */
  function increaseApproval(address _spender, uint _addedValue) public returns (bool) {
    allowed[msg.sender][_spender] = allowed[msg.sender][_spender].add(_addedValue);
    Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

  /**
   * @dev Decrease the amount of tokens that an owner allowed to a spender.
   *
   * approve should be called when allowed[_spender] == 0. To decrement
   * allowed value is better to use this function to avoid 2 calls (and wait until
   * the first transaction is mined)
   * From MonolithDAO Token.sol
   * @param _spender The address which will spend the funds.
   * @param _subtractedValue The amount of tokens to decrease the allowance by.
   */
  function decreaseApproval(address _spender, uint _subtractedValue) public returns (bool) {
    uint oldValue = allowed[msg.sender][_spender];
    if (_subtractedValue > oldValue) {
      allowed[msg.sender][_spender] = 0;
    } else {
      allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
    }
    Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

}

// File: contracts/NaviToken.sol

contract NaviToken is StandardToken, Ownable {
    event AssignmentStopped();
    event Frosted(address indexed to, uint256 amount, uint256 defrostClass);
    event Defrosted(address indexed to, uint256 amount, uint256 defrostClass);

	using SafeMath for uint256;

    /* Overriding some ERC20 variables */
    string public constant name      = "NaviToken";
    string public constant symbol    = "NAVI";
    uint8 public constant decimals   = 18;

    uint256 public constant MAX_NUM_NAVITOKENS    = 1000000000 * 10 ** uint256(decimals);
    uint256 public constant START_ICO_TIMESTAMP   = 1519912800;  // TODO: line to uncomment for the PROD before the main net deployment
    //uint256 public START_ICO_TIMESTAMP; // TODO: !!! line to remove before the main net deployment (not constant for testing and overwritten in the constructor)

    uint256 public constant MONTH_IN_MINUTES = 43200; // month in minutes  (1month = 43200 min)
    uint256 public constant DEFROST_AFTER_MONTHS = 6;

    uint256 public constant DEFROST_FACTOR_TEAMANDADV = 30;

    enum DefrostClass {Contributor, ReserveAndTeam, Advisor}

    // Fields that can be changed by functions
    address[] icedBalancesReserveAndTeam;
    mapping (address => uint256) mapIcedBalancesReserveAndTeamFrosted;
    mapping (address => uint256) mapIcedBalancesReserveAndTeamDefrosted;

    address[] icedBalancesAdvisors;
    mapping (address => uint256) mapIcedBalancesAdvisors;

    //Boolean to allow or not the initial assignement of token (batch)
    bool public batchAssignStopped = false;

    modifier canAssign() {
        require(!batchAssignStopped);
        require(elapsedMonthsFromICOStart() < 2);
        _;
    }

    function NaviToken() public {
        // for test only: set START_ICO to contract creation timestamp
        //START_ICO_TIMESTAMP = now; // TODO: line to remove before the main net deployment
    }

    /**
    * @dev Transfer tokens in batches (of addresses)
    * @param _addr address The address which you want to send tokens from
    * @param _amounts address The address which you want to transfer to
    */
    function batchAssignTokens(address[] _addr, uint256[] _amounts, DefrostClass[] _defrostClass) public onlyOwner canAssign {
        require(_addr.length == _amounts.length && _addr.length == _defrostClass.length);
        //Looping into input arrays to assign target amount to each given address
        for (uint256 index = 0; index < _addr.length; index++) {
            address toAddress = _addr[index];
            uint amount = _amounts[index];
            DefrostClass defrostClass = _defrostClass[index]; // 0 = ico contributor, 1 = reserve and team , 2 = advisor

            totalSupply = totalSupply.add(amount);
            require(totalSupply <= MAX_NUM_NAVITOKENS);

            if (defrostClass == DefrostClass.Contributor) {
                // contributor account
                balances[toAddress] = balances[toAddress].add(amount);
                Transfer(address(0), toAddress, amount);
            } else if (defrostClass == DefrostClass.ReserveAndTeam) {
                // Iced account. The balance is not affected here
                icedBalancesReserveAndTeam.push(toAddress);
                mapIcedBalancesReserveAndTeamFrosted[toAddress] = mapIcedBalancesReserveAndTeamFrosted[toAddress].add(amount);
                Frosted(toAddress, amount, uint256(defrostClass));
            } else if (defrostClass == DefrostClass.Advisor) {
                // advisors account: tokens to defrost
                icedBalancesAdvisors.push(toAddress);
                mapIcedBalancesAdvisors[toAddress] = mapIcedBalancesAdvisors[toAddress].add(amount);
                Frosted(toAddress, amount, uint256(defrostClass));
            }
        }
    }

    function elapsedMonthsFromICOStart() view public returns (uint256) {
       return (now <= START_ICO_TIMESTAMP) ? 0 : (now - START_ICO_TIMESTAMP) / 60 / MONTH_IN_MINUTES;
    }

    function canDefrostReserveAndTeam() view public returns (bool) {
        return elapsedMonthsFromICOStart() > DEFROST_AFTER_MONTHS;
    }

    function defrostReserveAndTeamTokens() public {
        require(canDefrostReserveAndTeam());

        uint256 monthsIndex = elapsedMonthsFromICOStart() - DEFROST_AFTER_MONTHS;

        if (monthsIndex > DEFROST_FACTOR_TEAMANDADV){
            monthsIndex = DEFROST_FACTOR_TEAMANDADV;
        }

        // Looping into the iced accounts
        for (uint256 index = 0; index < icedBalancesReserveAndTeam.length; index++) {

            address currentAddress = icedBalancesReserveAndTeam[index];
            uint256 amountTotal = mapIcedBalancesReserveAndTeamFrosted[currentAddress].add(mapIcedBalancesReserveAndTeamDefrosted[currentAddress]);
            uint256 targetDefrosted = monthsIndex.mul(amountTotal).div(DEFROST_FACTOR_TEAMANDADV);
            uint256 amountToRelease = targetDefrosted.sub(mapIcedBalancesReserveAndTeamDefrosted[currentAddress]);

            if (amountToRelease > 0) {
                mapIcedBalancesReserveAndTeamFrosted[currentAddress] = mapIcedBalancesReserveAndTeamFrosted[currentAddress].sub(amountToRelease);
                mapIcedBalancesReserveAndTeamDefrosted[currentAddress] = mapIcedBalancesReserveAndTeamDefrosted[currentAddress].add(amountToRelease);
                balances[currentAddress] = balances[currentAddress].add(amountToRelease);

                Transfer(address(0), currentAddress, amountToRelease);
                Defrosted(currentAddress, amountToRelease, uint256(DefrostClass.ReserveAndTeam));
            }
        }
    }

    function canDefrostAdvisors() view public returns (bool) {
        return elapsedMonthsFromICOStart() >= DEFROST_AFTER_MONTHS;
    }

    function defrostAdvisorsTokens() public {
        require(canDefrostAdvisors());
        for (uint256 index = 0; index < icedBalancesAdvisors.length; index++) {
            address currentAddress = icedBalancesAdvisors[index];
            uint256 amountToDefrost = mapIcedBalancesAdvisors[currentAddress];
            if (amountToDefrost > 0) {
                balances[currentAddress] = balances[currentAddress].add(amountToDefrost);
                mapIcedBalancesAdvisors[currentAddress] = mapIcedBalancesAdvisors[currentAddress].sub(amountToDefrost);

                Transfer(address(0), currentAddress, amountToDefrost);
                Defrosted(currentAddress, amountToDefrost, uint256(DefrostClass.Advisor));
            }
        }
    }

    function stopBatchAssign() public onlyOwner canAssign {
        batchAssignStopped = true;
        AssignmentStopped();
    }

    function() public payable {
        revert();
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"defrostReserveAndTeamTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"batchAssignStopped","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"stopBatchAssign","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"canDefrostReserveAndTeam","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"MONTH_IN_MINUTES","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"elapsedMonthsFromICOStart","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"canDefrostAdvisors","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_addr","type":"address[]"},{"name":"_amounts","type":"uint256[]"},{"name":"_defrostClass","type":"uint8[]"}],"name":"batchAssignTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_subtractedValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"START_ICO_TIMESTAMP","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"DEFROST_AFTER_MONTHS","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"MAX_NUM_NAVITOKENS","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"defrostAdvisorsTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"DEFROST_FACTOR_TEAMANDADV","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_addedValue","type":"uint256"}],"name":"increaseApproval","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","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"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[],"name":"AssignmentStopped","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"amount","type":"uint256"},{"indexed":false,"name":"defrostClass","type":"uint256"}],"name":"Frosted","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"amount","type":"uint256"},{"indexed":false,"name":"defrostClass","type":"uint256"}],"name":"Defrosted","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"}]

60606040526009805460ff19169055341561001957600080fd5b60038054600160a060020a03191633600160a060020a03161790556113af806100436000396000f3006060604052600436106101535763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde038114610158578063095ea7b3146101e25780630bbd4e38146102185780630f6413b71461022d57806318160ddd146102405780631986bc55146102655780631da83eab1461027857806323b872dd1461028b578063313ce567146102b357806351af083b146102dc5780635600e827146102ef57806357ef58c1146103025780635fe079741461031557806366188463146103e457806370a082311461040657806375b3a83e146104255780638da5cb5b1461043857806395d89b4114610467578063a07f0a981461047a578063a9059cbb1461048d578063c41e1d4f146104af578063c986cf7c146104c2578063cc81dbb5146104d5578063d73dd623146104e8578063dd62ed3e1461050a578063f2fde38b1461052f575b600080fd5b341561016357600080fd5b61016b61054e565b60405160208082528190810183818151815260200191508051906020019080838360005b838110156101a757808201518382015260200161018f565b50505050905090810190601f1680156101d45780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156101ed57600080fd5b610204600160a060020a0360043516602435610585565b604051901515815260200160405180910390f35b341561022357600080fd5b61022b6105f1565b005b341561023857600080fd5b61020461080c565b341561024b57600080fd5b610253610815565b60405190815260200160405180910390f35b341561027057600080fd5b61022b61081b565b341561028357600080fd5b610204610895565b341561029657600080fd5b610204600160a060020a03600435811690602435166044356108a8565b34156102be57600080fd5b6102c6610a18565b60405160ff909116815260200160405180910390f35b34156102e757600080fd5b610253610a1d565b34156102fa57600080fd5b610253610a23565b341561030d57600080fd5b610204610a4d565b341561032057600080fd5b61022b60046024813581810190830135806020818102016040519081016040528093929190818152602001838360200280828437820191505050505050919080359060200190820180359060200190808060200260200160405190810160405280939291908181526020018383602002808284378201915050505050509190803590602001908201803590602001908080602002602001604051908101604052809392919081815260200183836020028082843750949650610a6095505050505050565b34156103ef57600080fd5b610204600160a060020a0360043516602435610d91565b341561041157600080fd5b610253600160a060020a0360043516610e8d565b341561043057600080fd5b610253610ea8565b341561044357600080fd5b61044b610eb0565b604051600160a060020a03909116815260200160405180910390f35b341561047257600080fd5b61016b610ebf565b341561048557600080fd5b610253610ef6565b341561049857600080fd5b610204600160a060020a0360043516602435610efb565b34156104ba57600080fd5b610253610fe4565b34156104cd57600080fd5b61022b610ff4565b34156104e057600080fd5b61025361114d565b34156104f357600080fd5b610204600160a060020a0360043516602435611152565b341561051557600080fd5b610253600160a060020a03600435811690602435166111f6565b341561053a57600080fd5b61022b600160a060020a0360043516611221565b60408051908101604052600981527f4e617669546f6b656e0000000000000000000000000000000000000000000000602082015281565b600160a060020a03338116600081815260026020908152604080832094871680845294909152808220859055909291907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259085905190815260200160405180910390a350600192915050565b600080600080600080610602610895565b151561060d57600080fd5b6006610617610a23565b039550601e86111561062857601e95505b600094505b60045485101561080457600480548690811061064557fe5b6000918252602080832090910154600160a060020a031680835260068252604080842054600590935290922054919550610685919063ffffffff6112bc16565b92506106a8601e61069c888663ffffffff6112d216565b9063ffffffff6112fd16565b600160a060020a0385166000908152600660205260409020549092506106d590839063ffffffff61131416565b905060008111156107f957600160a060020a038416600090815260056020526040902054610709908263ffffffff61131416565b600160a060020a03851660009081526005602090815260408083209390935560069052205461073e908263ffffffff6112bc16565b600160a060020a038516600090815260066020908152604080832093909355600190522054610773908263ffffffff6112bc16565b600160a060020a0385166000818152600160205260408082209390935590916000805160206113648339815191529084905190815260200160405180910390a3600160a060020a0384167fc4d614698c4762f338e3f9ac358275735a75de28d703d673a3cd5f187274786182600160405191825260208201526040908101905180910390a25b60019094019361062d565b505050505050565b60095460ff1681565b60005481565b60035433600160a060020a0390811691161461083657600080fd5b60095460ff161561084657600080fd5b6002610850610a23565b1061085a57600080fd5b6009805460ff191660011790557f188c2d9c7bd756262568872079091ed4954e864843f02ca1010cf91f2d2954c860405160405180910390a1565b600060066108a1610a23565b1190505b90565b6000600160a060020a03831615156108bf57600080fd5b600160a060020a0384166000908152600160205260409020548211156108e457600080fd5b600160a060020a038085166000908152600260209081526040808320339094168352929052205482111561091757600080fd5b600160a060020a038416600090815260016020526040902054610940908363ffffffff61131416565b600160a060020a038086166000908152600160205260408082209390935590851681522054610975908363ffffffff6112bc16565b600160a060020a038085166000908152600160209081526040808320949094558783168252600281528382203390931682529190915220546109bd908363ffffffff61131416565b600160a060020a03808616600081815260026020908152604080832033861684529091529081902093909355908516916000805160206113648339815191529085905190815260200160405180910390a35060019392505050565b601281565b61a8c081565b6000635a980760421115610a455761a8c0603c42635a98075f19010404610a48565b60005b905090565b60006006610a59610a23565b1015905090565b60035460009081908190819033600160a060020a03908116911614610a8457600080fd5b60095460ff1615610a9457600080fd5b6002610a9e610a23565b10610aa857600080fd5b85518751148015610aba575084518751145b1515610ac557600080fd5b600093505b8651841015610d8857868481518110610adf57fe5b906020019060200201519250858481518110610af757fe5b906020019060200201519150848481518110610b0f57fe5b90602001906020020151600054909150610b2f908363ffffffff6112bc16565b60008190556b033b2e3c9fd0803ce8000000901115610b4d57600080fd5b6000816002811115610b5b57fe5b1415610bcf57600160a060020a038316600090815260016020526040902054610b8a908363ffffffff6112bc16565b600160a060020a0384166000818152600160205260408082209390935590916000805160206113648339815191529085905190815260200160405180910390a3610d7d565b6001816002811115610bdd57fe5b1415610ca8576004805460018101610bf58382611326565b506000918252602080832091909101805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0387169081179091558252600590526040902054610c4290836112bc565b600160a060020a0384166000818152600560205260409020919091557f844c5bab255ca5d9cfba48ca0d49d19262e7b00c6068735f8c5b428db7fb8a0683836002811115610c8c57fe5b60405191825260208201526040908101905180910390a2610d7d565b6002816002811115610cb657fe5b1415610d7d576007805460018101610cce8382611326565b506000918252602080832091909101805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0387169081179091558252600890526040902054610d1b90836112bc565b600160a060020a0384166000818152600860205260409020919091557f844c5bab255ca5d9cfba48ca0d49d19262e7b00c6068735f8c5b428db7fb8a0683836002811115610d6557fe5b60405191825260208201526040908101905180910390a25b600190930192610aca565b50505050505050565b600160a060020a03338116600090815260026020908152604080832093861683529290529081205480831115610dee57600160a060020a033381166000908152600260209081526040808320938816835292905290812055610e25565b610dfe818463ffffffff61131416565b600160a060020a033381166000908152600260209081526040808320938916835292905220555b600160a060020a0333811660008181526002602090815260408083209489168084529490915290819020547f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925915190815260200160405180910390a3600191505b5092915050565b600160a060020a031660009081526001602052604090205490565b635a98076081565b600354600160a060020a031681565b60408051908101604052600481527f4e41564900000000000000000000000000000000000000000000000000000000602082015281565b600681565b6000600160a060020a0383161515610f1257600080fd5b600160a060020a033316600090815260016020526040902054821115610f3757600080fd5b600160a060020a033316600090815260016020526040902054610f60908363ffffffff61131416565b600160a060020a033381166000908152600160205260408082209390935590851681522054610f95908363ffffffff6112bc16565b600160a060020a0380851660008181526001602052604090819020939093559133909116906000805160206113648339815191529085905190815260200160405180910390a350600192915050565b6b033b2e3c9fd0803ce800000081565b6000806000611001610a4d565b151561100c57600080fd5b600092505b60075483101561114857600780548490811061102957fe5b6000918252602080832090910154600160a060020a031680835260089091526040822054909350915081111561113d57600160a060020a038216600090815260016020526040902054611082908263ffffffff6112bc16565b600160a060020a0383166000908152600160209081526040808320939093556008905220546110b7908263ffffffff61131416565b600160a060020a0383166000818152600860205260408082209390935590916000805160206113648339815191529084905190815260200160405180910390a3600160a060020a0382167fc4d614698c4762f338e3f9ac358275735a75de28d703d673a3cd5f187274786182600260405191825260208201526040908101905180910390a25b600190920191611011565b505050565b601e81565b600160a060020a03338116600090815260026020908152604080832093861683529290529081205461118a908363ffffffff6112bc16565b600160a060020a0333811660008181526002602090815260408083209489168084529490915290819020849055919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591905190815260200160405180910390a350600192915050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b60035433600160a060020a0390811691161461123c57600080fd5b600160a060020a038116151561125157600080fd5b600354600160a060020a0380831691167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a36003805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b6000828201838110156112cb57fe5b9392505050565b6000808315156112e55760009150610e86565b508282028284828115156112f557fe5b04146112cb57fe5b600080828481151561130b57fe5b04949350505050565b60008282111561132057fe5b50900390565b815481835581811511611148576000838152602090206111489181019083016108a591905b8082111561135f576000815560010161134b565b50905600ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa165627a7a723058205e158f3d183a0a838809585df66ade49539d6eaad1831cfc6f642b6f95599a570029

0x6060604052600436106101535763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde038114610158578063095ea7b3146101e25780630bbd4e38146102185780630f6413b71461022d57806318160ddd146102405780631986bc55146102655780631da83eab1461027857806323b872dd1461028b578063313ce567146102b357806351af083b146102dc5780635600e827146102ef57806357ef58c1146103025780635fe079741461031557806366188463146103e457806370a082311461040657806375b3a83e146104255780638da5cb5b1461043857806395d89b4114610467578063a07f0a981461047a578063a9059cbb1461048d578063c41e1d4f146104af578063c986cf7c146104c2578063cc81dbb5146104d5578063d73dd623146104e8578063dd62ed3e1461050a578063f2fde38b1461052f575b600080fd5b341561016357600080fd5b61016b61054e565b60405160208082528190810183818151815260200191508051906020019080838360005b838110156101a757808201518382015260200161018f565b50505050905090810190601f1680156101d45780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156101ed57600080fd5b610204600160a060020a0360043516602435610585565b604051901515815260200160405180910390f35b341561022357600080fd5b61022b6105f1565b005b341561023857600080fd5b61020461080c565b341561024b57600080fd5b610253610815565b60405190815260200160405180910390f35b341561027057600080fd5b61022b61081b565b341561028357600080fd5b610204610895565b341561029657600080fd5b610204600160a060020a03600435811690602435166044356108a8565b34156102be57600080fd5b6102c6610a18565b60405160ff909116815260200160405180910390f35b34156102e757600080fd5b610253610a1d565b34156102fa57600080fd5b610253610a23565b341561030d57600080fd5b610204610a4d565b341561032057600080fd5b61022b60046024813581810190830135806020818102016040519081016040528093929190818152602001838360200280828437820191505050505050919080359060200190820180359060200190808060200260200160405190810160405280939291908181526020018383602002808284378201915050505050509190803590602001908201803590602001908080602002602001604051908101604052809392919081815260200183836020028082843750949650610a6095505050505050565b34156103ef57600080fd5b610204600160a060020a0360043516602435610d91565b341561041157600080fd5b610253600160a060020a0360043516610e8d565b341561043057600080fd5b610253610ea8565b341561044357600080fd5b61044b610eb0565b604051600160a060020a03909116815260200160405180910390f35b341561047257600080fd5b61016b610ebf565b341561048557600080fd5b610253610ef6565b341561049857600080fd5b610204600160a060020a0360043516602435610efb565b34156104ba57600080fd5b610253610fe4565b34156104cd57600080fd5b61022b610ff4565b34156104e057600080fd5b61025361114d565b34156104f357600080fd5b610204600160a060020a0360043516602435611152565b341561051557600080fd5b610253600160a060020a03600435811690602435166111f6565b341561053a57600080fd5b61022b600160a060020a0360043516611221565b60408051908101604052600981527f4e617669546f6b656e0000000000000000000000000000000000000000000000602082015281565b600160a060020a03338116600081815260026020908152604080832094871680845294909152808220859055909291907f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259085905190815260200160405180910390a350600192915050565b600080600080600080610602610895565b151561060d57600080fd5b6006610617610a23565b039550601e86111561062857601e95505b600094505b60045485101561080457600480548690811061064557fe5b6000918252602080832090910154600160a060020a031680835260068252604080842054600590935290922054919550610685919063ffffffff6112bc16565b92506106a8601e61069c888663ffffffff6112d216565b9063ffffffff6112fd16565b600160a060020a0385166000908152600660205260409020549092506106d590839063ffffffff61131416565b905060008111156107f957600160a060020a038416600090815260056020526040902054610709908263ffffffff61131416565b600160a060020a03851660009081526005602090815260408083209390935560069052205461073e908263ffffffff6112bc16565b600160a060020a038516600090815260066020908152604080832093909355600190522054610773908263ffffffff6112bc16565b600160a060020a0385166000818152600160205260408082209390935590916000805160206113648339815191529084905190815260200160405180910390a3600160a060020a0384167fc4d614698c4762f338e3f9ac358275735a75de28d703d673a3cd5f187274786182600160405191825260208201526040908101905180910390a25b60019094019361062d565b505050505050565b60095460ff1681565b60005481565b60035433600160a060020a0390811691161461083657600080fd5b60095460ff161561084657600080fd5b6002610850610a23565b1061085a57600080fd5b6009805460ff191660011790557f188c2d9c7bd756262568872079091ed4954e864843f02ca1010cf91f2d2954c860405160405180910390a1565b600060066108a1610a23565b1190505b90565b6000600160a060020a03831615156108bf57600080fd5b600160a060020a0384166000908152600160205260409020548211156108e457600080fd5b600160a060020a038085166000908152600260209081526040808320339094168352929052205482111561091757600080fd5b600160a060020a038416600090815260016020526040902054610940908363ffffffff61131416565b600160a060020a038086166000908152600160205260408082209390935590851681522054610975908363ffffffff6112bc16565b600160a060020a038085166000908152600160209081526040808320949094558783168252600281528382203390931682529190915220546109bd908363ffffffff61131416565b600160a060020a03808616600081815260026020908152604080832033861684529091529081902093909355908516916000805160206113648339815191529085905190815260200160405180910390a35060019392505050565b601281565b61a8c081565b6000635a980760421115610a455761a8c0603c42635a98075f19010404610a48565b60005b905090565b60006006610a59610a23565b1015905090565b60035460009081908190819033600160a060020a03908116911614610a8457600080fd5b60095460ff1615610a9457600080fd5b6002610a9e610a23565b10610aa857600080fd5b85518751148015610aba575084518751145b1515610ac557600080fd5b600093505b8651841015610d8857868481518110610adf57fe5b906020019060200201519250858481518110610af757fe5b906020019060200201519150848481518110610b0f57fe5b90602001906020020151600054909150610b2f908363ffffffff6112bc16565b60008190556b033b2e3c9fd0803ce8000000901115610b4d57600080fd5b6000816002811115610b5b57fe5b1415610bcf57600160a060020a038316600090815260016020526040902054610b8a908363ffffffff6112bc16565b600160a060020a0384166000818152600160205260408082209390935590916000805160206113648339815191529085905190815260200160405180910390a3610d7d565b6001816002811115610bdd57fe5b1415610ca8576004805460018101610bf58382611326565b506000918252602080832091909101805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0387169081179091558252600590526040902054610c4290836112bc565b600160a060020a0384166000818152600560205260409020919091557f844c5bab255ca5d9cfba48ca0d49d19262e7b00c6068735f8c5b428db7fb8a0683836002811115610c8c57fe5b60405191825260208201526040908101905180910390a2610d7d565b6002816002811115610cb657fe5b1415610d7d576007805460018101610cce8382611326565b506000918252602080832091909101805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0387169081179091558252600890526040902054610d1b90836112bc565b600160a060020a0384166000818152600860205260409020919091557f844c5bab255ca5d9cfba48ca0d49d19262e7b00c6068735f8c5b428db7fb8a0683836002811115610d6557fe5b60405191825260208201526040908101905180910390a25b600190930192610aca565b50505050505050565b600160a060020a03338116600090815260026020908152604080832093861683529290529081205480831115610dee57600160a060020a033381166000908152600260209081526040808320938816835292905290812055610e25565b610dfe818463ffffffff61131416565b600160a060020a033381166000908152600260209081526040808320938916835292905220555b600160a060020a0333811660008181526002602090815260408083209489168084529490915290819020547f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925915190815260200160405180910390a3600191505b5092915050565b600160a060020a031660009081526001602052604090205490565b635a98076081565b600354600160a060020a031681565b60408051908101604052600481527f4e41564900000000000000000000000000000000000000000000000000000000602082015281565b600681565b6000600160a060020a0383161515610f1257600080fd5b600160a060020a033316600090815260016020526040902054821115610f3757600080fd5b600160a060020a033316600090815260016020526040902054610f60908363ffffffff61131416565b600160a060020a033381166000908152600160205260408082209390935590851681522054610f95908363ffffffff6112bc16565b600160a060020a0380851660008181526001602052604090819020939093559133909116906000805160206113648339815191529085905190815260200160405180910390a350600192915050565b6b033b2e3c9fd0803ce800000081565b6000806000611001610a4d565b151561100c57600080fd5b600092505b60075483101561114857600780548490811061102957fe5b6000918252602080832090910154600160a060020a031680835260089091526040822054909350915081111561113d57600160a060020a038216600090815260016020526040902054611082908263ffffffff6112bc16565b600160a060020a0383166000908152600160209081526040808320939093556008905220546110b7908263ffffffff61131416565b600160a060020a0383166000818152600860205260408082209390935590916000805160206113648339815191529084905190815260200160405180910390a3600160a060020a0382167fc4d614698c4762f338e3f9ac358275735a75de28d703d673a3cd5f187274786182600260405191825260208201526040908101905180910390a25b600190920191611011565b505050565b601e81565b600160a060020a03338116600090815260026020908152604080832093861683529290529081205461118a908363ffffffff6112bc16565b600160a060020a0333811660008181526002602090815260408083209489168084529490915290819020849055919290917f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591905190815260200160405180910390a350600192915050565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b60035433600160a060020a0390811691161461123c57600080fd5b600160a060020a038116151561125157600080fd5b600354600160a060020a0380831691167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a36003805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0392909216919091179055565b6000828201838110156112cb57fe5b9392505050565b6000808315156112e55760009150610e86565b508282028284828115156112f557fe5b04146112cb57fe5b600080828481151561130b57fe5b04949350505050565b60008282111561132057fe5b50900390565b815481835581811511611148576000838152602090206111489181019083016108a591905b8082111561135f576000815560010161134b565b50905600ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa165627a7a723058205e158f3d183a0a838809585df66ade49539d6eaad1831cfc6f642b6f95599a570029

bzzr://5e158f3d183a0a838809585df66ade49539d6eaad1831cfc6f642b6f95599a57