Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract ERC20Basic
•    - function balanceOf(address who)
•    - function transfer(address to, uint256 ...
•  contract Ownable
•    - function Ownable()
•    - function transferOwnership(address ne ...
•  contract SafeMath
•    - function safeMul(uint a, uint b)
•    - function safeDiv(uint a, uint b)
•    - function safeSub(uint a, uint b)
•    - function safeAdd(uint a, uint b)
•    - function max64(uint64 a, uint64 b)
•    - function min64(uint64 a, uint64 b)
•    - function max256(uint256 a, uint256 b)
•    - function min256(uint256 a, uint256 b)
•  contract ERC20 is ERC20Basic
•    - function allowance(address owner, add ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
•  contract StandardToken is ERC20, S ...
•    - function isToken()
•    - function transfer(address _to, uint _ ...
•    - function transferFrom(address _from, ...
•    - function balanceOf(address _owner)
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•  contract UpgradeAgent
•    - function isUpgradeAgent()
•    - function upgradeFrom(address _from, u ...
•  contract UpgradeableToken is Stand ...
•    - function UpgradeableToken(address _up ...
•    - function upgrade(uint256 value)
•    - function setUpgradeAgent(address agen ...
•    - function getUpgradeState()
•    - function setUpgradeMaster(address mas ...
•    - function canUpgrade()
•  contract ReleasableToken is ERC20, ...
•    - function setReleaseAgent(address addr ...
•    - function setTransferAgent(address add ...
•    - function releaseTokenTransfer()
•    - function transfer(address _to, uint _ ...
•    - function transferFrom(address _from, ...
• library SafeMathLibExt
•    - function times(uint a, uint b)
•    - function divides(uint a, uint b)
•    - function minus(uint a, uint b)
•    - function plus(uint a, uint b)
•  contract MintableTokenExt is Stand ...
•    - function finalizeReservedAddress(addr ...
•    - function isAddressReserved(address ad ...
•    - function areTokensDistributedForAddre ...
•    - function getReservedTokens(address ad ...
•    - function getReservedPercentageUnit(ad ...
•    - function getReservedPercentageDecimal ...
•    - function setReservedTokensListMultipl ...
•    - function mint(address receiver, uint ...
•    - function setMintAgent(address addr, b ...
•    - function setReservedTokensList(addres ...
•  contract CrowdsaleTokenExt is Rele ... *
•    - function CrowdsaleTokenExt(string _na ...
•    - function releaseTokenTransfer()
•    - function canUpgrade()
•    - function setTokenInformation(string _ ...
•    - function claimTokens(address _token)

More Options

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

/**
 *Submitted for verification at Etherscan.io on 2020-04-14
*/

// Created using Token Wizard https://github.com/poanetwork/token-wizard by POA Network 
pragma solidity ^0.4.11;


/**
 * @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 constant returns (uint256);
  function transfer(address to, uint256 value) public returns (bool);
  event Transfer(address indexed from, address indexed to, uint256 value);
}



/**
 * @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() {
    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) onlyOwner public {
    require(newOwner != address(0));
    OwnershipTransferred(owner, newOwner);
    owner = newOwner;
  }

}
// Temporarily have SafeMath here until all contracts have been migrated to SafeMathLib version from OpenZeppelin




/**
 * Math operations with safety checks
 */
contract SafeMath {
  function safeMul(uint a, uint b) internal returns (uint) {
    uint c = a * b;
    assert(a == 0 || c / a == b);
    return c;
  }

  function safeDiv(uint a, uint b) internal returns (uint) {
    assert(b > 0);
    uint c = a / b;
    assert(a == b * c + a % b);
    return c;
  }

  function safeSub(uint a, uint b) internal returns (uint) {
    assert(b <= a);
    return a - b;
  }

  function safeAdd(uint a, uint b) internal returns (uint) {
    uint c = a + b;
    assert(c>=a && c>=b);
    return c;
  }

  function max64(uint64 a, uint64 b) internal constant returns (uint64) {
    return a >= b ? a : b;
  }

  function min64(uint64 a, uint64 b) internal constant returns (uint64) {
    return a < b ? a : b;
  }

  function max256(uint256 a, uint256 b) internal constant returns (uint256) {
    return a >= b ? a : b;
  }

  function min256(uint256 a, uint256 b) internal constant returns (uint256) {
    return a < b ? a : b;
  }

}
/**
 * This smart contract code is Copyright 2017 TokenMarket Ltd. For more information see https://tokenmarket.net
 *
 * Licensed under the Apache License, version 2.0: https://github.com/TokenMarketNet/ico/blob/master/LICENSE.txt
 */



/**
 * This smart contract code is Copyright 2017 TokenMarket Ltd. For more information see https://tokenmarket.net
 *
 * Licensed under the Apache License, version 2.0: https://github.com/TokenMarketNet/ico/blob/master/LICENSE.txt
 */










/**
 * @title ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/20
 */
contract ERC20 is ERC20Basic {
  function allowance(address owner, address spender) public constant 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);
}




/**
 * Standard ERC20 token with Short Hand Attack and approve() race condition mitigation.
 *
 * Based on code by FirstBlood:
 * https://github.com/Firstbloodio/token/blob/master/smart_contract/FirstBloodToken.sol
 */
contract StandardToken is ERC20, SafeMath {

  /* Token supply got increased and a new owner received these tokens */
  event Minted(address receiver, uint amount);

  /* Actual balances of token holders */
  mapping(address => uint) balances;

  /* approve() allowances */
  mapping (address => mapping (address => uint)) allowed;

  /* Interface declaration */
  function isToken() public constant returns (bool weAre) {
    return true;
  }

  function transfer(address _to, uint _value) returns (bool success) {
    balances[msg.sender] = safeSub(balances[msg.sender], _value);
    balances[_to] = safeAdd(balances[_to], _value);
    Transfer(msg.sender, _to, _value);
    return true;
  }

  function transferFrom(address _from, address _to, uint _value) returns (bool success) {
    uint _allowance = allowed[_from][msg.sender];

    balances[_to] = safeAdd(balances[_to], _value);
    balances[_from] = safeSub(balances[_from], _value);
    allowed[_from][msg.sender] = safeSub(_allowance, _value);
    Transfer(_from, _to, _value);
    return true;
  }

  function balanceOf(address _owner) constant returns (uint balance) {
    return balances[_owner];
  }

  function approve(address _spender, uint _value) returns (bool success) {

    // To change the approve amount you first have to reduce the addresses`
    //  allowance to zero by calling `approve(_spender, 0)` if it is not
    //  already 0 to mitigate the race condition described here:
    //  https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
    if ((_value != 0) && (allowed[msg.sender][_spender] != 0)) throw;

    allowed[msg.sender][_spender] = _value;
    Approval(msg.sender, _spender, _value);
    return true;
  }

  function allowance(address _owner, address _spender) constant returns (uint remaining) {
    return allowed[_owner][_spender];
  }

}

/**
 * This smart contract code is Copyright 2017 TokenMarket Ltd. For more information see https://tokenmarket.net
 *
 * Licensed under the Apache License, version 2.0: https://github.com/TokenMarketNet/ico/blob/master/LICENSE.txt
 */





/**
 * This smart contract code is Copyright 2017 TokenMarket Ltd. For more information see https://tokenmarket.net
 *
 * Licensed under the Apache License, version 2.0: https://github.com/TokenMarketNet/ico/blob/master/LICENSE.txt
 */



/**
 * Upgrade agent interface inspired by Lunyr.
 *
 * Upgrade agent transfers tokens to a new contract.
 * Upgrade agent itself can be the token contract, or just a middle man contract doing the heavy lifting.
 */
contract UpgradeAgent {

  uint public originalSupply;

  /** Interface marker */
  function isUpgradeAgent() public constant returns (bool) {
    return true;
  }

  function upgradeFrom(address _from, uint256 _value) public;

}


/**
 * A token upgrade mechanism where users can opt-in amount of tokens to the next smart contract revision.
 *
 * First envisioned by Golem and Lunyr projects.
 */
contract UpgradeableToken is StandardToken {

  /** Contract / person who can set the upgrade path. This can be the same as team multisig wallet, as what it is with its default value. */
  address public upgradeMaster;

  /** The next contract where the tokens will be migrated. */
  UpgradeAgent public upgradeAgent;

  /** How many tokens we have upgraded by now. */
  uint256 public totalUpgraded;

  /**
   * Upgrade states.
   *
   * - NotAllowed: The child contract has not reached a condition where the upgrade can bgun
   * - WaitingForAgent: Token allows upgrade, but we don't have a new agent yet
   * - ReadyToUpgrade: The agent is set, but not a single token has been upgraded yet
   * - Upgrading: Upgrade agent is set and the balance holders can upgrade their tokens
   *
   */
  enum UpgradeState {Unknown, NotAllowed, WaitingForAgent, ReadyToUpgrade, Upgrading}

  /**
   * Somebody has upgraded some of his tokens.
   */
  event Upgrade(address indexed _from, address indexed _to, uint256 _value);

  /**
   * New upgrade agent available.
   */
  event UpgradeAgentSet(address agent);

  /**
   * Do not allow construction without upgrade master set.
   */
  function UpgradeableToken(address _upgradeMaster) {
    upgradeMaster = _upgradeMaster;
  }

  /**
   * Allow the token holder to upgrade some of their tokens to a new contract.
   */
  function upgrade(uint256 value) public {

      UpgradeState state = getUpgradeState();
      if(!(state == UpgradeState.ReadyToUpgrade || state == UpgradeState.Upgrading)) {
        // Called in a bad state
        throw;
      }

      // Validate input value.
      if (value == 0) throw;

      balances[msg.sender] = safeSub(balances[msg.sender], value);

      // Take tokens out from circulation
      totalSupply = safeSub(totalSupply, value);
      totalUpgraded = safeAdd(totalUpgraded, value);

      // Upgrade agent reissues the tokens
      upgradeAgent.upgradeFrom(msg.sender, value);
      Upgrade(msg.sender, upgradeAgent, value);
  }

  /**
   * Set an upgrade agent that handles
   */
  function setUpgradeAgent(address agent) external {

      if(!canUpgrade()) {
        // The token is not yet in a state that we could think upgrading
        throw;
      }

      if (agent == 0x0) throw;
      // Only a master can designate the next agent
      if (msg.sender != upgradeMaster) throw;
      // Upgrade has already begun for an agent
      if (getUpgradeState() == UpgradeState.Upgrading) throw;

      upgradeAgent = UpgradeAgent(agent);

      // Bad interface
      if(!upgradeAgent.isUpgradeAgent()) throw;
      // Make sure that token supplies match in source and target
      if (upgradeAgent.originalSupply() != totalSupply) throw;

      UpgradeAgentSet(upgradeAgent);
  }

  /**
   * Get the state of the token upgrade.
   */
  function getUpgradeState() public constant returns(UpgradeState) {
    if(!canUpgrade()) return UpgradeState.NotAllowed;
    else if(address(upgradeAgent) == 0x00) return UpgradeState.WaitingForAgent;
    else if(totalUpgraded == 0) return UpgradeState.ReadyToUpgrade;
    else return UpgradeState.Upgrading;
  }

  /**
   * Change the upgrade master.
   *
   * This allows us to set a new owner for the upgrade mechanism.
   */
  function setUpgradeMaster(address master) public {
      if (master == 0x0) throw;
      if (msg.sender != upgradeMaster) throw;
      upgradeMaster = master;
  }

  /**
   * Child contract can enable to provide the condition when the upgrade can begun.
   */
  function canUpgrade() public constant returns(bool) {
     return true;
  }

}

/**
 * This smart contract code is Copyright 2017 TokenMarket Ltd. For more information see https://tokenmarket.net
 *
 * Licensed under the Apache License, version 2.0: https://github.com/TokenMarketNet/ico/blob/master/LICENSE.txt
 */







/**
 * Define interface for releasing the token transfer after a successful crowdsale.
 */
contract ReleasableToken is ERC20, Ownable {

  /* The finalizer contract that allows unlift the transfer limits on this token */
  address public releaseAgent;

  /** A crowdsale contract can release us to the wild if ICO success. If false we are are in transfer lock up period.*/
  bool public released = false;

  /** Map of agents that are allowed to transfer tokens regardless of the lock down period. These are crowdsale contracts and possible the team multisig itself. */
  mapping (address => bool) public transferAgents;

  /**
   * Limit token transfer until the crowdsale is over.
   *
   */
  modifier canTransfer(address _sender) {

    if(!released) {
        if(!transferAgents[_sender]) {
            throw;
        }
    }

    _;
  }

  /**
   * Set the contract that can call release and make the token transferable.
   *
   * Design choice. Allow reset the release agent to fix fat finger mistakes.
   */
  function setReleaseAgent(address addr) onlyOwner inReleaseState(false) public {

    // We don't do interface check here as we might want to a normal wallet address to act as a release agent
    releaseAgent = addr;
  }

  /**
   * Owner can allow a particular address (a crowdsale contract) to transfer tokens despite the lock up period.
   */
  function setTransferAgent(address addr, bool state) onlyOwner inReleaseState(false) public {
    transferAgents[addr] = state;
  }

  /**
   * One way function to release the tokens to the wild.
   *
   * Can be called only from the release agent that is the final ICO contract. It is only called if the crowdsale has been success (first milestone reached).
   */
  function releaseTokenTransfer() public onlyReleaseAgent {
    released = true;
  }

  /** The function can be called only before or after the tokens have been releasesd */
  modifier inReleaseState(bool releaseState) {
    if(releaseState != released) {
        throw;
    }
    _;
  }

  /** The function can be called only by a whitelisted release agent. */
  modifier onlyReleaseAgent() {
    if(msg.sender != releaseAgent) {
        throw;
    }
    _;
  }

  function transfer(address _to, uint _value) canTransfer(msg.sender) returns (bool success) {
    // Call StandardToken.transfer()
   return super.transfer(_to, _value);
  }

  function transferFrom(address _from, address _to, uint _value) canTransfer(_from) returns (bool success) {
    // Call StandardToken.transferForm()
    return super.transferFrom(_from, _to, _value);
  }

}

/**
 * This smart contract code is Copyright 2017 TokenMarket Ltd. For more information see https://tokenmarket.net
 *
 * Licensed under the Apache License, version 2.0: https://github.com/TokenMarketNet/ico/blob/master/LICENSE.txt
 */




/**
 * This smart contract code is Copyright 2017 TokenMarket Ltd. For more information see https://tokenmarket.net
 *
 * Licensed under the Apache License, version 2.0: https://github.com/TokenMarketNet/ico/blob/master/LICENSE.txt
 */



/**
 * Safe unsigned safe math.
 *
 * https://blog.aragon.one/library-driven-development-in-solidity-2bebcaf88736#.750gwtwli
 *
 * Originally from https://raw.githubusercontent.com/AragonOne/zeppelin-solidity/master/contracts/SafeMathLib.sol
 *
 * Maintained here until merged to mainline zeppelin-solidity.
 *
 */
library SafeMathLibExt {

  function times(uint a, uint b) returns (uint) {
    uint c = a * b;
    assert(a == 0 || c / a == b);
    return c;
  }

  function divides(uint a, uint b) returns (uint) {
    assert(b > 0);
    uint c = a / b;
    assert(a == b * c + a % b);
    return c;
  }

  function minus(uint a, uint b) returns (uint) {
    assert(b <= a);
    return a - b;
  }

  function plus(uint a, uint b) returns (uint) {
    uint c = a + b;
    assert(c>=a);
    return c;
  }

}




/**
 * A token that can increase its supply by another contract.
 *
 * This allows uncapped crowdsale by dynamically increasing the supply when money pours in.
 * Only mint agents, contracts whitelisted by owner, can mint new tokens.
 *
 */
contract MintableTokenExt is StandardToken, Ownable {

  using SafeMathLibExt for uint;

  bool public mintingFinished = false;

  /** List of agents that are allowed to create new tokens */
  mapping (address => bool) public mintAgents;

  event MintingAgentChanged(address addr, bool state  );

  /** inPercentageUnit is percents of tokens multiplied to 10 up to percents decimals.
  * For example, for reserved tokens in percents 2.54%
  * inPercentageUnit = 254
  * inPercentageDecimals = 2
  */
  struct ReservedTokensData {
    uint inTokens;
    uint inPercentageUnit;
    uint inPercentageDecimals;
    bool isReserved;
    bool isDistributed;
  }

  mapping (address => ReservedTokensData) public reservedTokensList;
  address[] public reservedTokensDestinations;
  uint public reservedTokensDestinationsLen = 0;
  bool reservedTokensDestinationsAreSet = false;

  modifier onlyMintAgent() {
    // Only crowdsale contracts are allowed to mint new tokens
    if(!mintAgents[msg.sender]) {
        throw;
    }
    _;
  }

  /** Make sure we are not done yet. */
  modifier canMint() {
    if(mintingFinished) throw;
    _;
  }

  function finalizeReservedAddress(address addr) public onlyMintAgent canMint {
    ReservedTokensData storage reservedTokensData = reservedTokensList[addr];
    reservedTokensData.isDistributed = true;
  }

  function isAddressReserved(address addr) public constant returns (bool isReserved) {
    return reservedTokensList[addr].isReserved;
  }

  function areTokensDistributedForAddress(address addr) public constant returns (bool isDistributed) {
    return reservedTokensList[addr].isDistributed;
  }

  function getReservedTokens(address addr) public constant returns (uint inTokens) {
    return reservedTokensList[addr].inTokens;
  }

  function getReservedPercentageUnit(address addr) public constant returns (uint inPercentageUnit) {
    return reservedTokensList[addr].inPercentageUnit;
  }

  function getReservedPercentageDecimals(address addr) public constant returns (uint inPercentageDecimals) {
    return reservedTokensList[addr].inPercentageDecimals;
  }

  function setReservedTokensListMultiple(
    address[] addrs, 
    uint[] inTokens, 
    uint[] inPercentageUnit, 
    uint[] inPercentageDecimals
  ) public canMint onlyOwner {
    assert(!reservedTokensDestinationsAreSet);
    assert(addrs.length == inTokens.length);
    assert(inTokens.length == inPercentageUnit.length);
    assert(inPercentageUnit.length == inPercentageDecimals.length);
    for (uint iterator = 0; iterator < addrs.length; iterator++) {
      if (addrs[iterator] != address(0)) {
        setReservedTokensList(addrs[iterator], inTokens[iterator], inPercentageUnit[iterator], inPercentageDecimals[iterator]);
      }
    }
    reservedTokensDestinationsAreSet = true;
  }

  /**
   * Create new tokens and allocate them to an address..
   *
   * Only callably by a crowdsale contract (mint agent).
   */
  function mint(address receiver, uint amount) onlyMintAgent canMint public {
    totalSupply = totalSupply.plus(amount);
    balances[receiver] = balances[receiver].plus(amount);

    // This will make the mint transaction apper in EtherScan.io
    // We can remove this after there is a standardized minting event
    Transfer(0, receiver, amount);
  }

  /**
   * Owner can allow a crowdsale contract to mint new tokens.
   */
  function setMintAgent(address addr, bool state) onlyOwner canMint public {
    mintAgents[addr] = state;
    MintingAgentChanged(addr, state);
  }

  function setReservedTokensList(address addr, uint inTokens, uint inPercentageUnit, uint inPercentageDecimals) private canMint onlyOwner {
    assert(addr != address(0));
    if (!isAddressReserved(addr)) {
      reservedTokensDestinations.push(addr);
      reservedTokensDestinationsLen++;
    }

    reservedTokensList[addr] = ReservedTokensData({
      inTokens: inTokens, 
      inPercentageUnit: inPercentageUnit, 
      inPercentageDecimals: inPercentageDecimals,
      isReserved: true,
      isDistributed: false
    });
  }
}


/**
 * A crowdsaled token.
 *
 * An ERC-20 token designed specifically for crowdsales with investor protection and further development path.
 *
 * - The token transfer() is disabled until the crowdsale is over
 * - The token contract gives an opt-in upgrade path to a new contract
 * - The same token can be part of several crowdsales through approve() mechanism
 * - The token can be capped (supply set in the constructor) or uncapped (crowdsale contract can mint new tokens)
 *
 */
contract CrowdsaleTokenExt is ReleasableToken, MintableTokenExt, UpgradeableToken {

  /** Name and symbol were updated. */
  event UpdatedTokenInformation(string newName, string newSymbol);

  event ClaimedTokens(address indexed _token, address indexed _controller, uint _amount);

  string public name;

  string public symbol;

  uint public decimals;

  /* Minimum ammount of tokens every buyer can buy. */
  uint public minCap;

  /**
   * Construct the token.
   *
   * This token must be created through a team multisig wallet, so that it is owned by that wallet.
   *
   * @param _name Token name
   * @param _symbol Token symbol - should be all caps
   * @param _initialSupply How many tokens we start with
   * @param _decimals Number of decimal places
   * @param _mintable Are new tokens created over the crowdsale or do we distribute only the initial supply? Note that when the token becomes transferable the minting always ends.
   */
  function CrowdsaleTokenExt(string _name, string _symbol, uint _initialSupply, uint _decimals, bool _mintable, uint _globalMinCap)
    UpgradeableToken(msg.sender) {

    // Create any address, can be transferred
    // to team multisig via changeOwner(),
    // also remember to call setUpgradeMaster()
    owner = msg.sender;

    name = _name;
    symbol = _symbol;

    totalSupply = _initialSupply;

    decimals = _decimals;

    minCap = _globalMinCap;

    // Create initially all balance on the team multisig
    balances[owner] = totalSupply;

    if(totalSupply > 0) {
      Minted(owner, totalSupply);
    }

    // No more new supply allowed after the token creation
    if(!_mintable) {
      mintingFinished = true;
      if(totalSupply == 0) {
        throw; // Cannot create a token without supply and no minting
      }
    }
  }

  /**
   * When token is released to be transferable, enforce no new tokens can be created.
   */
  function releaseTokenTransfer() public onlyReleaseAgent {
    mintingFinished = true;
    super.releaseTokenTransfer();
  }

  /**
   * Allow upgrade agent functionality kick in only if the crowdsale was success.
   */
  function canUpgrade() public constant returns(bool) {
    return released && super.canUpgrade();
  }

  /**
   * Owner can update token information here.
   *
   * It is often useful to conceal the actual token association, until
   * the token operations, like central issuance or reissuance have been completed.
   *
   * This function allows the token owner to rename the token after the operations
   * have been completed and then point the audience to use the token contract.
   */
  function setTokenInformation(string _name, string _symbol) onlyOwner {
    name = _name;
    symbol = _symbol;

    UpdatedTokenInformation(name, symbol);
  }

  /**
   * Claim tokens that were accidentally sent to this contract.
   *
   * @param _token The address of the token contract that you want to recover.
   */
  function claimTokens(address _token) public onlyOwner {
    require(_token != address(0));

    ERC20 token = ERC20(_token);
    uint balance = token.balanceOf(this);
    token.transfer(owner, balance);

    ClaimedTokens(_token, owner, balance);
  }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[{"name":"addr","type":"address"},{"name":"state","type":"bool"}],"name":"setTransferAgent","outputs":[],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"mintingFinished","outputs":[{"name":"","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"success","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"addr","type":"address"}],"name":"setReleaseAgent","outputs":[],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"addr","type":"address"}],"name":"getReservedPercentageUnit","outputs":[{"name":"inPercentageUnit","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"minCap","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"receiver","type":"address"},{"name":"amount","type":"uint256"}],"name":"mint","outputs":[],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"mintAgents","outputs":[{"name":"","type":"bool"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"addr","type":"address"},{"name":"state","type":"bool"}],"name":"setMintAgent","outputs":[],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"value","type":"uint256"}],"name":"upgrade","outputs":[],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"addr","type":"address"}],"name":"getReservedPercentageDecimals","outputs":[{"name":"inPercentageDecimals","type":"uint256"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_name","type":"string"},{"name":"_symbol","type":"string"}],"name":"setTokenInformation","outputs":[],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"reservedTokensList","outputs":[{"name":"inTokens","type":"uint256"},{"name":"inPercentageUnit","type":"uint256"},{"name":"inPercentageDecimals","type":"uint256"},{"name":"isReserved","type":"bool"},{"name":"isDistributed","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"upgradeAgent","outputs":[{"name":"","type":"address"}],"payable":false,"type":"function"},{"constant":false,"inputs":[],"name":"releaseTokenTransfer","outputs":[],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"upgradeMaster","outputs":[{"name":"","type":"address"}],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"addr","type":"address"}],"name":"getReservedTokens","outputs":[{"name":"inTokens","type":"uint256"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"addr","type":"address"}],"name":"finalizeReservedAddress","outputs":[],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"","type":"uint256"}],"name":"reservedTokensDestinations","outputs":[{"name":"","type":"address"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"getUpgradeState","outputs":[{"name":"","type":"uint8"}],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"transferAgents","outputs":[{"name":"","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"addr","type":"address"}],"name":"isAddressReserved","outputs":[{"name":"isReserved","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"released","outputs":[{"name":"","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"canUpgrade","outputs":[{"name":"","type":"bool"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"addr","type":"address"}],"name":"areTokensDistributedForAddress","outputs":[{"name":"isDistributed","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"reservedTokensDestinationsLen","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"totalUpgraded","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"releaseAgent","outputs":[{"name":"","type":"address"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"agent","type":"address"}],"name":"setUpgradeAgent","outputs":[],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_token","type":"address"}],"name":"claimTokens","outputs":[],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"isToken","outputs":[{"name":"weAre","type":"bool"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"addrs","type":"address[]"},{"name":"inTokens","type":"uint256[]"},{"name":"inPercentageUnit","type":"uint256[]"},{"name":"inPercentageDecimals","type":"uint256[]"}],"name":"setReservedTokensListMultiple","outputs":[],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"master","type":"address"}],"name":"setUpgradeMaster","outputs":[],"payable":false,"type":"function"},{"inputs":[{"name":"_name","type":"string"},{"name":"_symbol","type":"string"},{"name":"_initialSupply","type":"uint256"},{"name":"_decimals","type":"uint256"},{"name":"_mintable","type":"bool"},{"name":"_globalMinCap","type":"uint256"}],"payable":false,"type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"name":"newName","type":"string"},{"indexed":false,"name":"newSymbol","type":"string"}],"name":"UpdatedTokenInformation","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_token","type":"address"},{"indexed":true,"name":"_controller","type":"address"},{"indexed":false,"name":"_amount","type":"uint256"}],"name":"ClaimedTokens","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Upgrade","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"agent","type":"address"}],"name":"UpgradeAgentSet","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"addr","type":"address"},{"indexed":false,"name":"state","type":"bool"}],"name":"MintingAgentChanged","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":false,"name":"receiver","type":"address"},{"indexed":false,"name":"amount","type":"uint256"}],"name":"Minted","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"}]

60606040526004805460a060020a60ff02191690556006805460ff199081169091556000600a55600b8054909116905534156200003857fe5b6040516200228b3803806200228b83398101604090815281516020830151918301516060840151608085015160a086015193860195949094019391929091905b335b5b60038054600160a060020a03191633600160a060020a03161790555b600b805461010060a860020a031916610100600160a060020a038416021790555b5060038054600160a060020a03191633600160a060020a03161790558551620000e990600e906020890190620001b0565b508451620000ff90600f906020880190620001b0565b50600084815560108490556011829055600354600160a060020a031681526001602052604081208590558411156200017d5760035460005460408051600160a060020a039093168352602083019190915280517f30385c845b448a36257a6a1716e6ad2e1bc2cbe333cde1e69fe849ad6511adfe9281900390910190a15b811515620001a2576006805460ff191660011790556000541515620001a25760006000fd5b5b5b5050505050506200025a565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620001f357805160ff191683800117855562000223565b8280016001018555821562000223579182015b828111156200022357825182559160200191906001019062000206565b5b506200023292915062000236565b5090565b6200025791905b808211156200023257600081556001016200023d565b5090565b90565b612021806200026a6000396000f300606060405236156101f35763ffffffff60e060020a60003504166302f652a381146101f557806305d2035b1461021857806306fdde031461023c578063095ea7b3146102cc57806318160ddd146102ff57806323b872dd1461032157806329ff4f531461035a578063313ce567146103785780633d0acdaa1461039a5780633fa615b0146103c857806340c10f19146103ea57806342c1867b1461040b578063432146751461043b57806345977d031461045e57806345e7e140146104735780634eee966f146104a157806351ed17a4146105365780635de4ccb0146105815780635f412d4f146105ad578063600440cb146105bf578063612544b3146105eb5780636ffc22b81461061957806370a08231146106375780637386f0a7146106655780638444b39114610694578063867c2857146106c85780638da5cb5b146106f857806395d89b411461072457806395fe6f1d146107b457806396132521146107e45780639738968c14610808578063a9059cbb1461082c578063b4ecb8471461085f578063c33105171461088f578063c752ff62146108b1578063d1f276d3146108d3578063d7e7088a146108ff578063dd62ed3e1461091d578063df8de3e714610951578063eefa597b1461096f578063f05834d614610993578063f2fde38b14610a90578063ffeb7d7514610aae575bfe5b34156101fd57fe5b610216600160a060020a03600435166024351515610acc565b005b341561022057fe5b610228610b2f565b604080519115158252519081900360200190f35b341561024457fe5b61024c610b38565b604080516020808252835181830152835191928392908301918501908083838215610292575b80518252602083111561029257601f199092019160209182019101610272565b505050905090810190601f1680156102be5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156102d457fe5b610228600160a060020a0360043516602435610bc6565b604080519115158252519081900360200190f35b341561030757fe5b61030f610c6d565b60408051918252519081900360200190f35b341561032957fe5b610228600160a060020a0360043581169060243516604435610c73565b604080519115158252519081900360200190f35b341561036257fe5b610216600160a060020a0360043516610ccb565b005b341561038057fe5b61030f610d31565b60408051918252519081900360200190f35b34156103a257fe5b61030f600160a060020a0360043516610d37565b60408051918252519081900360200190f35b34156103d057fe5b61030f610d59565b60408051918252519081900360200190f35b34156103f257fe5b610216600160a060020a0360043516602435610d5f565b005b341561041357fe5b610228600160a060020a0360043516610f0c565b604080519115158252519081900360200190f35b341561044357fe5b610216600160a060020a03600435166024351515610f21565b005b341561046657fe5b610216600435610fb5565b005b341561047b57fe5b61030f600160a060020a0360043516611125565b60408051918252519081900360200190f35b34156104a957fe5b610216600480803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284375050604080516020601f89358b0180359182018390048302840183019094528083529799988101979196509182019450925082915084018382808284375094965061114795505050505050565b005b341561053e57fe5b610552600160a060020a03600435166112bb565b604080519586526020860194909452848401929092521515606084015215156080830152519081900360a00190f35b341561058957fe5b6105916112ee565b60408051600160a060020a039092168252519081900360200190f35b34156105b557fe5b6102166112fd565b005b34156105c757fe5b610591611332565b60408051600160a060020a039092168252519081900360200190f35b34156105f357fe5b61030f600160a060020a0360043516611346565b60408051918252519081900360200190f35b341561062157fe5b610216600160a060020a0360043516611365565b005b341561063f57fe5b61030f600160a060020a03600435166113cf565b60408051918252519081900360200190f35b341561066d57fe5b6105916004356113ee565b60408051600160a060020a039092168252519081900360200190f35b341561069c57fe5b6106a4611420565b604051808260048111156106b457fe5b60ff16815260200191505060405180910390f35b34156106d057fe5b610228600160a060020a036004351661146d565b604080519115158252519081900360200190f35b341561070057fe5b610591611482565b60408051600160a060020a039092168252519081900360200190f35b341561072c57fe5b61024c611491565b604080516020808252835181830152835191928392908301918501908083838215610292575b80518252602083111561029257601f199092019160209182019101610272565b505050905090810190601f1680156102be5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156107bc57fe5b610228600160a060020a036004351661151f565b604080519115158252519081900360200190f35b34156107ec57fe5b610228611544565b604080519115158252519081900360200190f35b341561081057fe5b610228611554565b604080519115158252519081900360200190f35b341561083457fe5b610228600160a060020a036004351660243561157a565b604080519115158252519081900360200190f35b341561086757fe5b610228600160a060020a03600435166115d0565b604080519115158252519081900360200190f35b341561089757fe5b61030f6115fa565b60408051918252519081900360200190f35b34156108b957fe5b61030f611600565b60408051918252519081900360200190f35b34156108db57fe5b610591611606565b60408051600160a060020a039092168252519081900360200190f35b341561090757fe5b610216600160a060020a0360043516611615565b005b341561092557fe5b61030f600160a060020a03600435811690602435166117f7565b60408051918252519081900360200190f35b341561095957fe5b610216600160a060020a0360043516611824565b005b341561097757fe5b6102286119a6565b604080519115158252519081900360200190f35b341561099b57fe5b610216600480803590602001908201803590602001908080602002602001604051908101604052809392919081815260200183836020028082843750506040805187358901803560208181028481018201909552818452989a998901989297509082019550935083925085019084908082843750506040805187358901803560208181028481018201909552818452989a998901989297509082019550935083925085019084908082843750506040805187358901803560208181028481018201909552818452989a9989019892975090820195509350839250850190849080828437509496506119ac95505050505050565b005b3415610a9857fe5b610216600160a060020a0360043516611ac9565b005b3415610ab657fe5b610216600160a060020a0360043516611b62565b005b60035433600160a060020a03908116911614610ae85760006000fd5b60045460009060a060020a900460ff1615610b035760006000fd5b600160a060020a0383166000908152600560205260409020805460ff19168315151790555b5b505b5050565b60065460ff1681565b600e805460408051602060026001851615610100026000190190941693909304601f81018490048402820184019092528181529291830182828015610bbe5780601f10610b9357610100808354040283529160200191610bbe565b820191906000526020600020905b815481529060010190602001808311610ba157829003601f168201915b505050505081565b60008115801590610bfb5750600160a060020a0333811660009081526002602090815260408083209387168352929052205415155b15610c065760006000fd5b600160a060020a03338116600081815260026020908152604080832094881680845294825291829020869055815186815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a35060015b92915050565b60005481565b600454600090849060a060020a900460ff161515610cb357600160a060020a03811660009081526005602052604090205460ff161515610cb35760006000fd5b5b610cbf858585611bca565b91505b5b509392505050565b60035433600160a060020a03908116911614610ce75760006000fd5b60045460009060a060020a900460ff1615610d025760006000fd5b6004805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0384161790555b5b505b50565b60105481565b600160a060020a0381166000908152600860205260409020600101545b919050565b60115481565b600160a060020a03331660009081526007602052604090205460ff161515610d875760006000fd5b60065460ff1615610d985760006000fd5b60005473b478c34e8111f719612beba18a101a01cde0e5836366098d4f9091836000604051602001526040518363ffffffff1660e060020a028152600401808381526020018281526020019250505060206040518083038186803b1515610dfb57fe5b6102c65a03f41515610e0957fe5b50506040805180516000908155600160a060020a038616815260016020908152838220549281019190915282517f66098d4f000000000000000000000000000000000000000000000000000000008152600481019290925260248201859052915173b478c34e8111f719612beba18a101a01cde0e58393506366098d4f92604480840193919291829003018186803b1515610ea057fe5b6102c65a03f41515610eae57fe5b5050604080518051600160a060020a0386166000818152600160209081528582209390935586845293519094507fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35b5b5b5050565b60076020526000908152604090205460ff1681565b60035433600160a060020a03908116911614610f3d5760006000fd5b60065460ff1615610f4e5760006000fd5b600160a060020a038216600081815260076020908152604091829020805460ff191685151590811790915582519384529083015280517f4b0adf6c802794c7dde28a08a4e07131abcff3bf9603cd71f14f90bec7865efa9281900390910190a15b5b5b5050565b6000610fbf611420565b905060035b816004811115610fd057fe5b1480610fe8575060045b816004811115610fe657fe5b145b1515610ff45760006000fd5b8115156110015760006000fd5b600160a060020a0333166000908152600160205260409020546110249083611ccd565b600160a060020a0333166000908152600160205260408120919091555461104b9083611ccd565b600055600d5461105b9083611ce4565b600d55600c54604080517f753e88e5000000000000000000000000000000000000000000000000000000008152600160a060020a033381166004830152602482018690529151919092169163753e88e591604480830192600092919082900301818387803b15156110c857fe5b6102c65a03f115156110d657fe5b5050600c54604080518581529051600160a060020a03928316935033909216917f7e5c344a8141a805725cb476f76c6953b842222b967edd1f78ddb6e8b3f397ac9181900360200190a35b5050565b600160a060020a0381166000908152600860205260409020600201545b919050565b60035433600160a060020a039081169116146111635760006000fd5b815161117690600e906020850190611f2b565b50805161118a90600f906020840190611f2b565b5060408051818152600e8054600260001961010060018416150201909116049282018390527fd131ab1e6f279deea74e13a18477e13e2107deb6dc8ae955648948be5841fb46929091600f91819060208201906060830190869080156112315780601f1061120657610100808354040283529160200191611231565b820191906000526020600020905b81548152906001019060200180831161121457829003601f168201915b50508381038252845460026000196101006001841615020190911604808252602090910190859080156112a55780601f1061127a576101008083540402835291602001916112a5565b820191906000526020600020905b81548152906001019060200180831161128857829003601f168201915b505094505050505060405180910390a15b5b5050565b60086020526000908152604090208054600182015460028301546003909301549192909160ff8082169161010090041685565b600c54600160a060020a031681565b60045433600160a060020a039081169116146113195760006000fd5b6006805460ff1916600117905561132e611d0c565b5b5b565b600b546101009004600160a060020a031681565b600160a060020a0381166000908152600860205260409020545b919050565b600160a060020a03331660009081526007602052604081205460ff16151561138d5760006000fd5b60065460ff161561139e5760006000fd5b50600160a060020a038116600090815260086020526040902060038101805461ff0019166101001790555b5b5b5050565b600160a060020a0381166000908152600160205260409020545b919050565b60098054829081106113fc57fe5b906000526020600020900160005b915054906101000a9004600160a060020a031681565b600061142a611554565b151561143857506001611467565b600c54600160a060020a0316151561145257506002611467565b600d54151561146357506003611467565b5060045b5b5b5b90565b60056020526000908152604090205460ff1681565b600354600160a060020a031681565b600f805460408051602060026001851615610100026000190190941693909304601f81018490048402820184019092528181529291830182828015610bbe5780601f10610b9357610100808354040283529160200191610bbe565b820191906000526020600020905b815481529060010190602001808311610ba157829003601f168201915b505050505081565b600160a060020a03811660009081526008602052604090206003015460ff165b919050565b60045460a060020a900460ff1681565b60045460009060a060020a900460ff16801561157357506115736119a6565b5b90505b90565b600454600090339060a060020a900460ff1615156115ba57600160a060020a03811660009081526005602052604090205460ff1615156115ba5760006000fd5b5b6115c58484611d56565b91505b5b5092915050565b600160a060020a038116600090815260086020526040902060030154610100900460ff165b919050565b600a5481565b600d5481565b600454600160a060020a031681565b61161d611554565b15156116295760006000fd5b600160a060020a038116151561163f5760006000fd5b600b5433600160a060020a0390811661010090920416146116605760006000fd5b60045b61166b611420565b600481111561167657fe5b14156116825760006000fd5b600c805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a038381169190911791829055604080516000602091820181905282517f61d3d7a6000000000000000000000000000000000000000000000000000000008152925194909316936361d3d7a6936004808501948390030190829087803b151561170857fe5b6102c65a03f1151561171657fe5b5050604051511515905061172a5760006000fd5b60008054600c5460408051602090810185905281517f4b2ba0dd00000000000000000000000000000000000000000000000000000000815291519394600160a060020a0390931693634b2ba0dd936004808501948390030190829087803b151561179057fe5b6102c65a03f1151561179e57fe5b5050604051519190911490506117b45760006000fd5b600c5460408051600160a060020a039092168252517f7845d5aa74cc410e35571258d954f23b82276e160fe8c188fa80566580f279cc9181900360200190a15b50565b600160a060020a038083166000908152600260209081526040808320938516835292905220545b92915050565b600354600090819033600160a060020a039081169116146118455760006000fd5b600160a060020a038316151561185b5760006000fd5b82915081600160a060020a03166370a08231306000604051602001526040518263ffffffff1660e060020a0281526004018082600160a060020a0316600160a060020a03168152602001915050602060405180830381600087803b15156118be57fe5b6102c65a03f115156118cc57fe5b50506040805180516003546000602093840181905284517fa9059cbb000000000000000000000000000000000000000000000000000000008152600160a060020a039283166004820152602481018490529451929650908716945063a9059cbb936044808201949392918390030190829087803b151561194857fe5b6102c65a03f1151561195657fe5b5050604080516003548482529151600160a060020a039283169350918616917ff931edb47c50b4b4104c187b5814a9aef5f709e17e2ecf9617e860cacade929c9181900360200190a35b5b505050565b60015b90565b60065460009060ff16156119c05760006000fd5b60035433600160a060020a039081169116146119dc5760006000fd5b600b5460ff16156119e957fe5b83518551146119f457fe5b82518451146119ff57fe5b8151835114611a0a57fe5b5060005b8451811015611ab2578451600090869083908110611a2857fe5b60209081029091010151600160a060020a031614611aa857611aa88582815181101515611a5157fe5b906020019060200201518583815181101515611a6957fe5b906020019060200201518584815181101515611a8157fe5b906020019060200201518585815181101515611a9957fe5b90602001906020020151611e0a565b5b5b600101611a0e565b600b805460ff191660011790555b5b5b5050505050565b60035433600160a060020a03908116911614611ae55760006000fd5b600160a060020a0381161515611afb5760006000fd5b600354604051600160a060020a038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a36003805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383161790555b5b50565b600160a060020a0381161515611b785760006000fd5b600b5433600160a060020a039081166101009092041614611b995760006000fd5b600b805474ffffffffffffffffffffffffffffffffffffffff001916610100600160a060020a038416021790555b50565b600160a060020a038084166000908152600260209081526040808320338516845282528083205493861683526001909152812054909190611c0b9084611ce4565b600160a060020a038086166000908152600160205260408082209390935590871681522054611c3a9084611ccd565b600160a060020a038616600090815260016020526040902055611c5d8184611ccd565b600160a060020a038087166000818152600260209081526040808320338616845282529182902094909455805187815290519288169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a3600191505b509392505050565b600082821115611cd957fe5b508082035b92915050565b6000828201838110801590611cf95750828110155b1515611d0157fe5b8091505b5092915050565b60045433600160a060020a03908116911614611d285760006000fd5b6004805474ff0000000000000000000000000000000000000000191660a060020a1790555b5b565b60015b90565b600160a060020a033316600090815260016020526040812054611d799083611ccd565b600160a060020a033381166000908152600160205260408082209390935590851681522054611da89083611ce4565b600160a060020a038085166000818152600160209081526040918290209490945580518681529051919333909316927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060015b92915050565b60065460ff1615611e1b5760006000fd5b60035433600160a060020a03908116911614611e375760006000fd5b600160a060020a0384161515611e4957fe5b611e528461151f565b1515611ea1576009805460018101611e6a8382611faa565b916000526020600020900160005b8154600160a060020a038089166101009390930a9283029202191617905550600a805460010190555b6040805160a0810182528481526020808201858152828401858152600160608501818152600060808701818152600160a060020a038d16825260089096529690962094518555915191840191909155516002830155915160039091018054925115156101000261ff001992151560ff1990941693909317919091169190911790555b5b5b50505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10611f6c57805160ff1916838001178555611f99565b82800160010185558215611f99579182015b82811115611f99578251825591602001919060010190611f7e565b5b50611fa6929150611fd4565b5090565b815481835581811511610b2857600083815260209020610b28918101908301611fd4565b5b505050565b61146791905b80821115611fa65760008155600101611fda565b5090565b905600a165627a7a7230582051cdcd01e28bff7e6c64773a244d30a010ae885e9a0e9e16188e1055e87dcd56002900000000000000000000000000000000000000000000000000000000000000c000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001200000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000de0b6b3a764000000000000000000000000000000000000000000000000000000000000000000084f726967696e204400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000024f44000000000000000000000000000000000000000000000000000000000000

0x606060405236156101f35763ffffffff60e060020a60003504166302f652a381146101f557806305d2035b1461021857806306fdde031461023c578063095ea7b3146102cc57806318160ddd146102ff57806323b872dd1461032157806329ff4f531461035a578063313ce567146103785780633d0acdaa1461039a5780633fa615b0146103c857806340c10f19146103ea57806342c1867b1461040b578063432146751461043b57806345977d031461045e57806345e7e140146104735780634eee966f146104a157806351ed17a4146105365780635de4ccb0146105815780635f412d4f146105ad578063600440cb146105bf578063612544b3146105eb5780636ffc22b81461061957806370a08231146106375780637386f0a7146106655780638444b39114610694578063867c2857146106c85780638da5cb5b146106f857806395d89b411461072457806395fe6f1d146107b457806396132521146107e45780639738968c14610808578063a9059cbb1461082c578063b4ecb8471461085f578063c33105171461088f578063c752ff62146108b1578063d1f276d3146108d3578063d7e7088a146108ff578063dd62ed3e1461091d578063df8de3e714610951578063eefa597b1461096f578063f05834d614610993578063f2fde38b14610a90578063ffeb7d7514610aae575bfe5b34156101fd57fe5b610216600160a060020a03600435166024351515610acc565b005b341561022057fe5b610228610b2f565b604080519115158252519081900360200190f35b341561024457fe5b61024c610b38565b604080516020808252835181830152835191928392908301918501908083838215610292575b80518252602083111561029257601f199092019160209182019101610272565b505050905090810190601f1680156102be5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156102d457fe5b610228600160a060020a0360043516602435610bc6565b604080519115158252519081900360200190f35b341561030757fe5b61030f610c6d565b60408051918252519081900360200190f35b341561032957fe5b610228600160a060020a0360043581169060243516604435610c73565b604080519115158252519081900360200190f35b341561036257fe5b610216600160a060020a0360043516610ccb565b005b341561038057fe5b61030f610d31565b60408051918252519081900360200190f35b34156103a257fe5b61030f600160a060020a0360043516610d37565b60408051918252519081900360200190f35b34156103d057fe5b61030f610d59565b60408051918252519081900360200190f35b34156103f257fe5b610216600160a060020a0360043516602435610d5f565b005b341561041357fe5b610228600160a060020a0360043516610f0c565b604080519115158252519081900360200190f35b341561044357fe5b610216600160a060020a03600435166024351515610f21565b005b341561046657fe5b610216600435610fb5565b005b341561047b57fe5b61030f600160a060020a0360043516611125565b60408051918252519081900360200190f35b34156104a957fe5b610216600480803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284375050604080516020601f89358b0180359182018390048302840183019094528083529799988101979196509182019450925082915084018382808284375094965061114795505050505050565b005b341561053e57fe5b610552600160a060020a03600435166112bb565b604080519586526020860194909452848401929092521515606084015215156080830152519081900360a00190f35b341561058957fe5b6105916112ee565b60408051600160a060020a039092168252519081900360200190f35b34156105b557fe5b6102166112fd565b005b34156105c757fe5b610591611332565b60408051600160a060020a039092168252519081900360200190f35b34156105f357fe5b61030f600160a060020a0360043516611346565b60408051918252519081900360200190f35b341561062157fe5b610216600160a060020a0360043516611365565b005b341561063f57fe5b61030f600160a060020a03600435166113cf565b60408051918252519081900360200190f35b341561066d57fe5b6105916004356113ee565b60408051600160a060020a039092168252519081900360200190f35b341561069c57fe5b6106a4611420565b604051808260048111156106b457fe5b60ff16815260200191505060405180910390f35b34156106d057fe5b610228600160a060020a036004351661146d565b604080519115158252519081900360200190f35b341561070057fe5b610591611482565b60408051600160a060020a039092168252519081900360200190f35b341561072c57fe5b61024c611491565b604080516020808252835181830152835191928392908301918501908083838215610292575b80518252602083111561029257601f199092019160209182019101610272565b505050905090810190601f1680156102be5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156107bc57fe5b610228600160a060020a036004351661151f565b604080519115158252519081900360200190f35b34156107ec57fe5b610228611544565b604080519115158252519081900360200190f35b341561081057fe5b610228611554565b604080519115158252519081900360200190f35b341561083457fe5b610228600160a060020a036004351660243561157a565b604080519115158252519081900360200190f35b341561086757fe5b610228600160a060020a03600435166115d0565b604080519115158252519081900360200190f35b341561089757fe5b61030f6115fa565b60408051918252519081900360200190f35b34156108b957fe5b61030f611600565b60408051918252519081900360200190f35b34156108db57fe5b610591611606565b60408051600160a060020a039092168252519081900360200190f35b341561090757fe5b610216600160a060020a0360043516611615565b005b341561092557fe5b61030f600160a060020a03600435811690602435166117f7565b60408051918252519081900360200190f35b341561095957fe5b610216600160a060020a0360043516611824565b005b341561097757fe5b6102286119a6565b604080519115158252519081900360200190f35b341561099b57fe5b610216600480803590602001908201803590602001908080602002602001604051908101604052809392919081815260200183836020028082843750506040805187358901803560208181028481018201909552818452989a998901989297509082019550935083925085019084908082843750506040805187358901803560208181028481018201909552818452989a998901989297509082019550935083925085019084908082843750506040805187358901803560208181028481018201909552818452989a9989019892975090820195509350839250850190849080828437509496506119ac95505050505050565b005b3415610a9857fe5b610216600160a060020a0360043516611ac9565b005b3415610ab657fe5b610216600160a060020a0360043516611b62565b005b60035433600160a060020a03908116911614610ae85760006000fd5b60045460009060a060020a900460ff1615610b035760006000fd5b600160a060020a0383166000908152600560205260409020805460ff19168315151790555b5b505b5050565b60065460ff1681565b600e805460408051602060026001851615610100026000190190941693909304601f81018490048402820184019092528181529291830182828015610bbe5780601f10610b9357610100808354040283529160200191610bbe565b820191906000526020600020905b815481529060010190602001808311610ba157829003601f168201915b505050505081565b60008115801590610bfb5750600160a060020a0333811660009081526002602090815260408083209387168352929052205415155b15610c065760006000fd5b600160a060020a03338116600081815260026020908152604080832094881680845294825291829020869055815186815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a35060015b92915050565b60005481565b600454600090849060a060020a900460ff161515610cb357600160a060020a03811660009081526005602052604090205460ff161515610cb35760006000fd5b5b610cbf858585611bca565b91505b5b509392505050565b60035433600160a060020a03908116911614610ce75760006000fd5b60045460009060a060020a900460ff1615610d025760006000fd5b6004805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0384161790555b5b505b50565b60105481565b600160a060020a0381166000908152600860205260409020600101545b919050565b60115481565b600160a060020a03331660009081526007602052604090205460ff161515610d875760006000fd5b60065460ff1615610d985760006000fd5b60005473b478c34e8111f719612beba18a101a01cde0e5836366098d4f9091836000604051602001526040518363ffffffff1660e060020a028152600401808381526020018281526020019250505060206040518083038186803b1515610dfb57fe5b6102c65a03f41515610e0957fe5b50506040805180516000908155600160a060020a038616815260016020908152838220549281019190915282517f66098d4f000000000000000000000000000000000000000000000000000000008152600481019290925260248201859052915173b478c34e8111f719612beba18a101a01cde0e58393506366098d4f92604480840193919291829003018186803b1515610ea057fe5b6102c65a03f41515610eae57fe5b5050604080518051600160a060020a0386166000818152600160209081528582209390935586845293519094507fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35b5b5b5050565b60076020526000908152604090205460ff1681565b60035433600160a060020a03908116911614610f3d5760006000fd5b60065460ff1615610f4e5760006000fd5b600160a060020a038216600081815260076020908152604091829020805460ff191685151590811790915582519384529083015280517f4b0adf6c802794c7dde28a08a4e07131abcff3bf9603cd71f14f90bec7865efa9281900390910190a15b5b5b5050565b6000610fbf611420565b905060035b816004811115610fd057fe5b1480610fe8575060045b816004811115610fe657fe5b145b1515610ff45760006000fd5b8115156110015760006000fd5b600160a060020a0333166000908152600160205260409020546110249083611ccd565b600160a060020a0333166000908152600160205260408120919091555461104b9083611ccd565b600055600d5461105b9083611ce4565b600d55600c54604080517f753e88e5000000000000000000000000000000000000000000000000000000008152600160a060020a033381166004830152602482018690529151919092169163753e88e591604480830192600092919082900301818387803b15156110c857fe5b6102c65a03f115156110d657fe5b5050600c54604080518581529051600160a060020a03928316935033909216917f7e5c344a8141a805725cb476f76c6953b842222b967edd1f78ddb6e8b3f397ac9181900360200190a35b5050565b600160a060020a0381166000908152600860205260409020600201545b919050565b60035433600160a060020a039081169116146111635760006000fd5b815161117690600e906020850190611f2b565b50805161118a90600f906020840190611f2b565b5060408051818152600e8054600260001961010060018416150201909116049282018390527fd131ab1e6f279deea74e13a18477e13e2107deb6dc8ae955648948be5841fb46929091600f91819060208201906060830190869080156112315780601f1061120657610100808354040283529160200191611231565b820191906000526020600020905b81548152906001019060200180831161121457829003601f168201915b50508381038252845460026000196101006001841615020190911604808252602090910190859080156112a55780601f1061127a576101008083540402835291602001916112a5565b820191906000526020600020905b81548152906001019060200180831161128857829003601f168201915b505094505050505060405180910390a15b5b5050565b60086020526000908152604090208054600182015460028301546003909301549192909160ff8082169161010090041685565b600c54600160a060020a031681565b60045433600160a060020a039081169116146113195760006000fd5b6006805460ff1916600117905561132e611d0c565b5b5b565b600b546101009004600160a060020a031681565b600160a060020a0381166000908152600860205260409020545b919050565b600160a060020a03331660009081526007602052604081205460ff16151561138d5760006000fd5b60065460ff161561139e5760006000fd5b50600160a060020a038116600090815260086020526040902060038101805461ff0019166101001790555b5b5b5050565b600160a060020a0381166000908152600160205260409020545b919050565b60098054829081106113fc57fe5b906000526020600020900160005b915054906101000a9004600160a060020a031681565b600061142a611554565b151561143857506001611467565b600c54600160a060020a0316151561145257506002611467565b600d54151561146357506003611467565b5060045b5b5b5b90565b60056020526000908152604090205460ff1681565b600354600160a060020a031681565b600f805460408051602060026001851615610100026000190190941693909304601f81018490048402820184019092528181529291830182828015610bbe5780601f10610b9357610100808354040283529160200191610bbe565b820191906000526020600020905b815481529060010190602001808311610ba157829003601f168201915b505050505081565b600160a060020a03811660009081526008602052604090206003015460ff165b919050565b60045460a060020a900460ff1681565b60045460009060a060020a900460ff16801561157357506115736119a6565b5b90505b90565b600454600090339060a060020a900460ff1615156115ba57600160a060020a03811660009081526005602052604090205460ff1615156115ba5760006000fd5b5b6115c58484611d56565b91505b5b5092915050565b600160a060020a038116600090815260086020526040902060030154610100900460ff165b919050565b600a5481565b600d5481565b600454600160a060020a031681565b61161d611554565b15156116295760006000fd5b600160a060020a038116151561163f5760006000fd5b600b5433600160a060020a0390811661010090920416146116605760006000fd5b60045b61166b611420565b600481111561167657fe5b14156116825760006000fd5b600c805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a038381169190911791829055604080516000602091820181905282517f61d3d7a6000000000000000000000000000000000000000000000000000000008152925194909316936361d3d7a6936004808501948390030190829087803b151561170857fe5b6102c65a03f1151561171657fe5b5050604051511515905061172a5760006000fd5b60008054600c5460408051602090810185905281517f4b2ba0dd00000000000000000000000000000000000000000000000000000000815291519394600160a060020a0390931693634b2ba0dd936004808501948390030190829087803b151561179057fe5b6102c65a03f1151561179e57fe5b5050604051519190911490506117b45760006000fd5b600c5460408051600160a060020a039092168252517f7845d5aa74cc410e35571258d954f23b82276e160fe8c188fa80566580f279cc9181900360200190a15b50565b600160a060020a038083166000908152600260209081526040808320938516835292905220545b92915050565b600354600090819033600160a060020a039081169116146118455760006000fd5b600160a060020a038316151561185b5760006000fd5b82915081600160a060020a03166370a08231306000604051602001526040518263ffffffff1660e060020a0281526004018082600160a060020a0316600160a060020a03168152602001915050602060405180830381600087803b15156118be57fe5b6102c65a03f115156118cc57fe5b50506040805180516003546000602093840181905284517fa9059cbb000000000000000000000000000000000000000000000000000000008152600160a060020a039283166004820152602481018490529451929650908716945063a9059cbb936044808201949392918390030190829087803b151561194857fe5b6102c65a03f1151561195657fe5b5050604080516003548482529151600160a060020a039283169350918616917ff931edb47c50b4b4104c187b5814a9aef5f709e17e2ecf9617e860cacade929c9181900360200190a35b5b505050565b60015b90565b60065460009060ff16156119c05760006000fd5b60035433600160a060020a039081169116146119dc5760006000fd5b600b5460ff16156119e957fe5b83518551146119f457fe5b82518451146119ff57fe5b8151835114611a0a57fe5b5060005b8451811015611ab2578451600090869083908110611a2857fe5b60209081029091010151600160a060020a031614611aa857611aa88582815181101515611a5157fe5b906020019060200201518583815181101515611a6957fe5b906020019060200201518584815181101515611a8157fe5b906020019060200201518585815181101515611a9957fe5b90602001906020020151611e0a565b5b5b600101611a0e565b600b805460ff191660011790555b5b5b5050505050565b60035433600160a060020a03908116911614611ae55760006000fd5b600160a060020a0381161515611afb5760006000fd5b600354604051600160a060020a038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a36003805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383161790555b5b50565b600160a060020a0381161515611b785760006000fd5b600b5433600160a060020a039081166101009092041614611b995760006000fd5b600b805474ffffffffffffffffffffffffffffffffffffffff001916610100600160a060020a038416021790555b50565b600160a060020a038084166000908152600260209081526040808320338516845282528083205493861683526001909152812054909190611c0b9084611ce4565b600160a060020a038086166000908152600160205260408082209390935590871681522054611c3a9084611ccd565b600160a060020a038616600090815260016020526040902055611c5d8184611ccd565b600160a060020a038087166000818152600260209081526040808320338616845282529182902094909455805187815290519288169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a3600191505b509392505050565b600082821115611cd957fe5b508082035b92915050565b6000828201838110801590611cf95750828110155b1515611d0157fe5b8091505b5092915050565b60045433600160a060020a03908116911614611d285760006000fd5b6004805474ff0000000000000000000000000000000000000000191660a060020a1790555b5b565b60015b90565b600160a060020a033316600090815260016020526040812054611d799083611ccd565b600160a060020a033381166000908152600160205260408082209390935590851681522054611da89083611ce4565b600160a060020a038085166000818152600160209081526040918290209490945580518681529051919333909316927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060015b92915050565b60065460ff1615611e1b5760006000fd5b60035433600160a060020a03908116911614611e375760006000fd5b600160a060020a0384161515611e4957fe5b611e528461151f565b1515611ea1576009805460018101611e6a8382611faa565b916000526020600020900160005b8154600160a060020a038089166101009390930a9283029202191617905550600a805460010190555b6040805160a0810182528481526020808201858152828401858152600160608501818152600060808701818152600160a060020a038d16825260089096529690962094518555915191840191909155516002830155915160039091018054925115156101000261ff001992151560ff1990941693909317919091169190911790555b5b5b50505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10611f6c57805160ff1916838001178555611f99565b82800160010185558215611f99579182015b82811115611f99578251825591602001919060010190611f7e565b5b50611fa6929150611fd4565b5090565b815481835581811511610b2857600083815260209020610b28918101908301611fd4565b5b505050565b61146791905b80821115611fa65760008155600101611fda565b5090565b905600a165627a7a7230582051cdcd01e28bff7e6c64773a244d30a010ae885e9a0e9e16188e1055e87dcd560029

00000000000000000000000000000000000000000000000000000000000000c000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001200000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000de0b6b3a764000000000000000000000000000000000000000000000000000000000000000000084f726967696e204400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000024f44000000000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : _name (string): Origin D
Arg [1] : _symbol (string): OD
Arg [2] : _initialSupply (uint256): 0
Arg [3] : _decimals (uint256): 18
Arg [4] : _mintable (bool): True
Arg [5] : _globalMinCap (uint256): 1000000000000000000

-----Encoded View---------------
10 Constructor Arguments found :
Arg [0] : 00000000000000000000000000000000000000000000000000000000000000c0
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000100
Arg [2] : 0000000000000000000000000000000000000000000000000000000000000000
Arg [3] : 0000000000000000000000000000000000000000000000000000000000000012
Arg [4] : 0000000000000000000000000000000000000000000000000000000000000001
Arg [5] : 0000000000000000000000000000000000000000000000000de0b6b3a7640000
Arg [6] : 0000000000000000000000000000000000000000000000000000000000000008
Arg [7] : 4f726967696e2044000000000000000000000000000000000000000000000000
Arg [8] : 0000000000000000000000000000000000000000000000000000000000000002
Arg [9] : 4f44000000000000000000000000000000000000000000000000000000000000

SafeMathLibExt : 0xb478c34e8111f719612beba18a101a01cde0e583

19883:3291:0:-;;;;;;;;-1:-1:-1;;;19883:3291:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12354:132;;;;;;;;-1:-1:-1;;;;;12354:132:0;;;;;;;;;;;15299:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;20175:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18:2:-1;;13:3;7:5;32;59:3;53:5;48:3;41:6;93:2;88:3;85:2;78:6;73:3;67:5;-1:-1;;152:3;;;;117:2;108:3;;;;130;172:5;167:4;181:3;3:186;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5138:552:0;;;;;;;;-1:-1:-1;;;;;5138:552:0;;;;;;;;;;;;;;;;;;;;;;;;;278:26;;;;;;;;;;;;;;;;;;;;;;;;;;13394:205;;;;;;;;-1:-1:-1;;;;;13394:205:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11998:223;;;;;;;;-1:-1:-1;;;;;11998:223:0;;;;;;;20227:20;;;;;;;;;;;;;;;;;;;;;;;;;;17046:158;;;;;;;;-1:-1:-1;;;;;17046:158:0;;;;;;;;;;;;;;;;;;;;;20310:18;;;;;;;;;;;;;;;;;;;;;;;;;;18237:359;;;;;;;;-1:-1:-1;;;;;18237:359:0;;;;;;;;;15404:43;;;;;;;;-1:-1:-1;;;;;15404:43:0;;;;;;;;;;;;;;;;;;;;;;;18679:149;;;;;;;;-1:-1:-1;;;;;18679:149:0;;;;;;;;;;;8378:671;;;;;;;;;;;;;;17210:170;;;;;;;;-1:-1:-1;;;;;17210:170:0;;;;;;;;;;;;;;;;;;;;;22577:163;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;22577:163:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;22577:163:0;;;;-1:-1:-1;22577:163:0;-1:-1:-1;22577:163:0;;-1:-1:-1;22577:163:0;;;;;;;;-1:-1:-1;22577:163:0;;-1:-1:-1;22577:163:0;;-1:-1:-1;;;;;;22577:163:0;;;15887:65;;;;;;;;-1:-1:-1;;;;;15887:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7264:32;;;;;;;;;;;;;;-1:-1:-1;;;;;7264:32:0;;;;;;;;;;;;;;21845:126;;;;;;;;;;;;7166:28;;;;;;;;;;;;;;-1:-1:-1;;;;;7166:28:0;;;;;;;;;;;;;;16906:134;;;;;;;;-1:-1:-1;;;;;16906:134:0;;;;;;;;;;;;;;;;;;;;;16386:207;;;;;;;;-1:-1:-1;;;;;16386:207:0;;;;;;;5029:103;;;;;;;;-1:-1:-1;;;;;5029:103:0;;;;;;;;;;;;;;;;;;;;;15957:43;;;;;;;;;;;;;;;;-1:-1:-1;;;;;15957:43:0;;;;;;;;;;;;;;9891:317;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11530:47;;;;;;;;-1:-1:-1;;;;;11530:47:0;;;;;;;;;;;;;;;;;;;;;;;750:20;;;;;;;;;;;;;;-1:-1:-1;;;;;750:20:0;;;;;;;;;;;;;;20200;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18:2:-1;;13:3;7:5;32;59:3;53:5;48:3;41:6;93:2;88:3;85:2;78:6;73:3;67:5;-1:-1;;152:3;;;;117:2;108:3;;;;130;172:5;167:4;181:3;3:186;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16599:138:0;;;;;;;;-1:-1:-1;;;;;16599:138:0;;;;;;;;;;;;;;;;;;;;;;;11330:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;22074:102;;;;;;;;;;;;;;;;;;;;;;;;;;;;13213:175;;;;;;;;-1:-1:-1;;;;;13213:175:0;;;;;;;;;;;;;;;;;;;;;;;;;16743:157;;;;;;;;-1:-1:-1;;;;;16743:157:0;;;;;;;;;;;;;;;;;;;;;;;16005:45;;;;;;;;;;;;;;;;;;;;;;;;;;7354:28;;;;;;;;;;;;;;;;;;;;;;;;;;11175:27;;;;;;;;;;;;;;-1:-1:-1;;;;;11175:27:0;;;;;;;;;;;;;;9109:720;;;;;;;;-1:-1:-1;;;;;9109:720:0;;;;;;;5696:132;;;;;;;;-1:-1:-1;;;;;5696:132:0;;;;;;;;;;;;;;;;;;;;;;;;;;22911:258;;;;;;;;-1:-1:-1;;;;;22911:258:0;;;;;;;4309:80;;;;;;;;;;;;;;;;;;;;;;;;;;;;17386:709;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;17386:709:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;17386:709:0;;;;-1:-1:-1;17386:709:0;-1:-1:-1;17386:709:0;;-1:-1:-1;17386:709:0;;;;;;;;;-1:-1:-1;;17386:709:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;17386:709:0;;;;-1:-1:-1;17386:709:0;-1:-1:-1;17386:709:0;;-1:-1:-1;17386:709:0;;;;;;;;;-1:-1:-1;;17386:709:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;17386:709:0;;;;-1:-1:-1;17386:709:0;-1:-1:-1;17386:709:0;;-1:-1:-1;17386:709:0;;;;;;;;;-1:-1:-1;17386:709:0;;-1:-1:-1;17386:709:0;;-1:-1:-1;;;;;;17386:709:0;;;1367:173;;;;;;;;-1:-1:-1;;;;;1367:173:0;;;;;;;10334:166;;;;;;;;-1:-1:-1;;;;;10334:166:0;;;;;;;12354:132;1178:5;;1164:10;-1:-1:-1;;;;;1164:19:0;;;1178:5;;1164:19;1156:28;;;;;;12977:8;;12431:5;;-1:-1:-1;;;12977:8:0;;;;12961:24;12958:53;;12998:5;;;12958:53;-1:-1:-1;;;;;12452:20:0;;;;;;:14;:20;;;;;:28;;-1:-1:-1;;12452:28:0;;;;;;;13017:1;1191;;12354:132;;;:::o;15299:35::-;;;;;;:::o;20175:18::-;;;;;;;;;;;;;;;-1:-1:-1;;20175:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5138:552::-;5195:12;5515:11;;;;;5514:53;;-1:-1:-1;;;;;;5540:10:0;5532:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;;:34;;5514:53;5510:64;;;5569:5;;;5510:64;-1:-1:-1;;;;;5591:10:0;5583:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;;:38;;;5628;;;;;;;;;;;;;;;;;-1:-1:-1;5680:4:0;5138:552;;;;;:::o;278:26::-;;;;:::o;13394:205::-;11711:8;;13485:12;;13469:5;;-1:-1:-1;;;11711:8:0;;;;11710:9;11707:93;;;-1:-1:-1;;;;;11736:23:0;;;;;;:14;:23;;;;;;;;11735:24;11732:61;;;11776:5;;;11732:61;11707:93;13555:38;13574:5;13581:3;13586:6;13555:18;:38::i;:::-;13548:45;;11808:1;13394:205;;;;;;;:::o;11998:223::-;1178:5;;1164:10;-1:-1:-1;;;;;1164:19:0;;;1178:5;;1164:19;1156:28;;;;;;12977:8;;12062:5;;-1:-1:-1;;;12977:8:0;;;;12961:24;12958:53;;12998:5;;;12958:53;12196:12;:19;;-1:-1:-1;;12196:19:0;-1:-1:-1;;;;;12196:19:0;;;;;13017:1;1191;;11998:223;;:::o;20227:20::-;;;;:::o;17046:158::-;-1:-1:-1;;;;;17157:24:0;;17120:21;17157:24;;;:18;:24;;;;;:41;;;17046:158;;;;:::o;20310:18::-;;;;:::o;18237:359::-;-1:-1:-1;;;;;16218:10:0;16207:22;;;;;:10;:22;;;;;;;;16206:23;16203:52;;;16242:5;;;16203:52;16344:15;;;;16341:25;;;16361:5;;;16341:25;18332:11;;:16;;;;18349:6;18332:24;;;;;;;;;;;-1:-1:-1;;;18332:24:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;18332:24:0;;;;;18318:11;:38;;;-1:-1:-1;;;;;18384:18:0;;;;:8;:18;;;;;;;;:31;;;;;;;;;;;;;;;;;;;;;;;;;;;:23;;-1:-1:-1;18384:23:0;;:31;;;;;:18;;:31;;;;;;:23;:31;;;;;;;;;;;;;;;;;;-1:-1:-1;;18384:31:0;;;;;-1:-1:-1;;;;;18363:18:0;;;;;;:8;:18;;;;;;;:52;;;;18561:29;;;;;18363:18;;-1:-1:-1;18561:29:0;;;;;;;;;;16373:1;16261;18237:359;;;:::o;15404:43::-;;;;;;;;;;;;;;;:::o;18679:149::-;1178:5;;1164:10;-1:-1:-1;;;;;1164:19:0;;;1178:5;;1164:19;1156:28;;;;;;16344:15;;;;16341:25;;;16361:5;;;16341:25;-1:-1:-1;;;;;18759:16:0;;;;;;:10;:16;;;;;;;;;:24;;-1:-1:-1;;18759:24:0;;;;;;;;;;18790:32;;;;;;;;;;;;;;;;;;;;;16373:1;1191;18679:149;;;:::o;8378:671::-;8428:18;8449:17;:15;:17::i;:::-;8428:38;-1:-1:-1;8489:27:0;8480:36;:5;:36;;;;;;;;;:71;;;-1:-1:-1;8529:22:0;8520:31;:5;:31;;;;;;;;;8480:71;8478:74;8475:139;;;8599:5;;;8475:139;8660:10;;8656:21;;;8672:5;;;8656:21;-1:-1:-1;;;;;8728:10:0;8719:20;;;;;:8;:20;;;;;;8711:36;;8741:5;8711:7;:36::i;:::-;-1:-1:-1;;;;;8697:10:0;8688:20;;;;;:8;:20;;;;;:59;;;;8823:11;8815:27;;8836:5;8815:7;:27::i;:::-;8801:11;:41;8875:13;;8867:29;;8890:5;8867:7;:29::i;:::-;8851:13;:45;8951:12;;:43;;;;;;-1:-1:-1;;;;;8976:10:0;8951:43;;;;;;;;;;;;;;:12;;;;;:24;;:43;;;;;-1:-1:-1;;8951:43:0;;;;;;;-1:-1:-1;8951:12:0;:43;;;;;;;;;;;;;;;;;;-1:-1:-1;;9023:12:0;;9003:40;;;;;;;;-1:-1:-1;;;;;9023:12:0;;;;-1:-1:-1;9011:10:0;9003:40;;;;;;;;;;;;;8378:671;;;:::o;17210:170::-;-1:-1:-1;;;;;17329:24:0;;17288:25;17329:24;;;:18;:24;;;;;:45;;;17210:170;;;;:::o;22577:163::-;1178:5;;1164:10;-1:-1:-1;;;;;1164:19:0;;;1178:5;;1164:19;1156:28;;;;;;22653:12;;;;:4;;:12;;;;;:::i;:::-;-1:-1:-1;22672:16:0;;;;:6;;:16;;;;;:::i;:::-;-1:-1:-1;22697:37:0;;;;;;22721:4;22697:37;;;-1:-1:-1;;22697:37:0;;;;;;;;;;;;;;;;;;;22721:4;;22727:6;;22697:37;;;;;;;;;;22721:4;;22697:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;22697:37:0;;;;;;;;-1:-1:-1;;22697:37:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1191:1;22577:163;;;:::o;15887:65::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;7264:32::-;;;-1:-1:-1;;;;;7264:32:0;;:::o;21845:126::-;13156:12;;13142:10;-1:-1:-1;;;;;13142:26:0;;;13156:12;;13142:26;13139:55;;13181:5;;;13139:55;21908:15;:22;;-1:-1:-1;;21908:22:0;21926:4;21908:22;;;21937:28;:26;:28::i;:::-;13200:1;21845:126;:::o;7166:28::-;;;;;;-1:-1:-1;;;;;7166:28:0;;:::o;16906:134::-;-1:-1:-1;;;;;17001:24:0;;16972:13;17001:24;;;:18;:24;;;;;:33;16906:134;;;;:::o;16386:207::-;-1:-1:-1;;;;;16218:10:0;16207:22;16469:45;16207:22;;;:10;:22;;;;;;;;16206:23;16203:52;;;16242:5;;;16203:52;16344:15;;;;16341:25;;;16361:5;;;16341:25;-1:-1:-1;;;;;;16517:24:0;;;;;;:18;:24;;;;;16548:32;;;:39;;-1:-1:-1;;16548:39:0;;;;;16373:1;16261;16386:207;;;:::o;5029:103::-;-1:-1:-1;;;;;5110:16:0;;5082:12;5110:16;;;:8;:16;;;;;;5029:103;;;;:::o;15957:43::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;15957:43:0;;:::o;9891:317::-;9942:12;9967;:10;:12::i;:::-;9966:13;9963:239;;;-1:-1:-1;9988:23:0;9981:30;;9963:239;10034:12;;-1:-1:-1;;;;;10034:12:0;10026:29;10023:179;;;-1:-1:-1;10064:28:0;10057:35;;10023:179;10107:13;;:18;10104:98;;;-1:-1:-1;10134:27:0;10127:34;;10104:98;-1:-1:-1;10180:22:0;10104:98;10023:179;9963:239;9891:317;;:::o;11530:47::-;;;;;;;;;;;;;;;:::o;750:20::-;;;-1:-1:-1;;;;;750:20:0;;:::o;20200:::-;;;;;;;;;;;;;;;-1:-1:-1;;20200:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;16599:138::-;-1:-1:-1;;;;;16696:24:0;;16665:15;16696:24;;;:18;:24;;;;;:35;;;;;16599:138;;;;:::o;11330:28::-;;;-1:-1:-1;;;11330:28:0;;;;;:::o;22074:102::-;22140:8;;22120:4;;-1:-1:-1;;;22140:8:0;;;;:30;;;;;22152:18;:16;:18::i;:::-;22140:30;22133:37;;22074:102;;:::o;13213:175::-;11711:8;;13290:12;;13269:10;;-1:-1:-1;;;11711:8:0;;;;11710:9;11707:93;;;-1:-1:-1;;;;;11736:23:0;;;;;;:14;:23;;;;;;;;11735:24;11732:61;;;11776:5;;;11732:61;11707:93;13355:27;13370:3;13375:6;13355:14;:27::i;:::-;13348:34;;11808:1;13213:175;;;;;;:::o;16743:157::-;-1:-1:-1;;;;;16856:24:0;;16822:18;16856:24;;;:18;:24;;;;;:38;;;;;;;;16743:157;;;;:::o;16005:45::-;;;;:::o;7354:28::-;;;;:::o;11175:27::-;;;-1:-1:-1;;;;;11175:27:0;;:::o;9109:720::-;9173:12;:10;:12::i;:::-;9172:13;9169:118;;;9272:5;;;9169:118;-1:-1:-1;;;;;9301:12:0;;;9297:23;;;9315:5;;;9297:23;9400:13;;9386:10;-1:-1:-1;;;;;9386:27:0;;;9400:13;;;;;9386:27;9382:38;;9415:5;;;9382:38;9503:22;9482:43;:17;:15;:17::i;:::-;:43;;;;;;;;;9478:54;;;9527:5;;;9478:54;9543:12;:34;;-1:-1:-1;;9543:34:0;-1:-1:-1;;;;;9543:34:0;;;;;;;;;;;9616:29;;;-1:-1:-1;9616:29:0;;;;;;;;;;;;;;:12;;;;;:27;;:29;;;;;;;;;;;;:12;:29;;;;;;;;;;;;;;;;;;-1:-1:-1;;9616:29:0;;;9615:30;9612:40;;-1:-1:-1;9612:40:0;;9647:5;;;9612:40;9765:11;;;9732:12;;:29;;;;;;;;;;;;;;;;;9765:11;;-1:-1:-1;;;;;9732:12:0;;;;:27;;:29;;;;;;;;;;;;:12;:29;;;;;;;;;;;;;;;;;;-1:-1:-1;;9732:29:0;;;:44;;;;;-1:-1:-1;9728:55:0;;9778:5;;;9728:55;9810:12;;9794:29;;;-1:-1:-1;;;;;9810:12:0;;;9794:29;;;;;;;;;;;;9109:720;;:::o;5696:132::-;-1:-1:-1;;;;;5797:15:0;;;5767:14;5797:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;5696:132;;;;;:::o;22911:258::-;1178:5;;23010:11;;;;1164:10;-1:-1:-1;;;;;1164:19:0;;;1178:5;;1164:19;1156:28;;;;;;-1:-1:-1;;;;;22980:20:0;;;;22972:29;;;;;;23030:6;23010:27;;23059:5;-1:-1:-1;;;;;23059:15:0;;23075:4;23059:21;;;;;;;;;;;-1:-1:-1;;;23059:21:0;;;;;;;-1:-1:-1;;;;;23059:21:0;-1:-1:-1;;;;;23059:21:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;23059:21:0;;;;;23102:5;;;23087:30;;;;;;;;;;;;-1:-1:-1;;;;;23102:5:0;;;23087:30;;;;;;;;;;;;23059:21;;-1:-1:-1;23087:14:0;;;;-1:-1:-1;23087:14:0;;:30;;;;;;;;;;;;;;;:14;:30;;;;;;;;;;;;;;;;;;-1:-1:-1;;23087:30:0;;;23148:5;;23126:37;;;;;-1:-1:-1;;;;;23148:5:0;;;;-1:-1:-1;23126:37:0;;;;;;;;;;;;;1191:1;22911:258;;;;:::o;4309:80::-;4379:4;4309:80;;:::o;17386:709::-;16344:15;;17798:13;;16344:15;;16341:25;;;16361:5;;;16341:25;1178:5;;1164:10;-1:-1:-1;;;;;1164:19:0;;;1178:5;;1164:19;1156:28;;;;;;17581:32;;;;17580:33;17573:41;;;;17644:15;;17628:12;;:31;17621:39;;;;17693:23;;17674:15;;:42;17667:50;;;;17758:27;;17731:23;;:54;17724:62;;;;-1:-1:-1;17814:1:0;17793:251;17828:5;:12;17817:8;:23;17793:251;;;17867:15;;17894:1;;17867:5;;17873:8;;17867:15;;;;;;;;;;;;;;;-1:-1:-1;;;;;17867:29:0;;17863:174;;17909:118;17931:5;17937:8;17931:15;;;;;;;;;;;;;;;;;;17948:8;17957;17948:18;;;;;;;;;;;;;;;;;;17968:16;17985:8;17968:26;;;;;;;;;;;;;;;;;;17996:20;18017:8;17996:30;;;;;;;;;;;;;;;;;;17909:21;:118::i;:::-;17863:174;17793:251;17842:10;;17793:251;;;18050:32;:39;;-1:-1:-1;;18050:39:0;18085:4;18050:39;;;1191:1;16373;17386:709;;;;;;:::o;1367:173::-;1178:5;;1164:10;-1:-1:-1;;;;;1164:19:0;;;1178:5;;1164:19;1156:28;;;;;;-1:-1:-1;;;;;1444:22:0;;;;1436:31;;;;;;1495:5;;1474:37;;-1:-1:-1;;;;;1474:37:0;;;;1495:5;;1474:37;;1495:5;;1474:37;1518:5;:16;;-1:-1:-1;;1518:16:0;-1:-1:-1;;;;;1518:16:0;;;;;1191:1;1367:173;;:::o;10334:166::-;-1:-1:-1;;;;;10396:13:0;;;10392:24;;;10411:5;;;10392:24;10443:13;;10429:10;-1:-1:-1;;;;;10429:27:0;;;10443:13;;;;;10429:27;10425:38;;10458:5;;;10425:38;10472:13;:22;;-1:-1:-1;;10472:22:0;;-1:-1:-1;;;;;10472:22:0;;;;;;10334:166;;:::o;4652:371::-;-1:-1:-1;;;;;4763:14:0;;;4724:12;4763:14;;;:7;:14;;;;;;;;4778:10;4763:26;;;;;;;;;;4822:13;;;;;:8;:13;;;;;;4724:12;;4763:26;4814:30;;4837:6;4814:7;:30::i;:::-;-1:-1:-1;;;;;4798:13:0;;;;;;;:8;:13;;;;;;:46;;;;4877:15;;;;;;;4869:32;;4894:6;4869:7;:32::i;:::-;-1:-1:-1;;;;;4851:15:0;;;;;;:8;:15;;;;;:50;4937:27;4945:10;4957:6;4937:7;:27::i;:::-;-1:-1:-1;;;;;4908:14:0;;;;;;;:7;:14;;;;;;;;4923:10;4908:26;;;;;;;;;;:56;;;;4971:28;;;;;;;;;;;4908:14;;4971:28;;;;;;;;;;;5013:4;5006:11;;4652:371;;;;;;;:::o;2040:103::-;2091:4;2111:6;;;;2104:14;;;;-1:-1:-1;2132:5:0;;;2040:103;;;;;:::o;2149:126::-;2200:4;2222:5;;;2241:4;;;;;;:12;;;2252:1;2249;:4;;2241:12;2234:20;;;;;;2268:1;2261:8;;2149:126;;;;;;:::o;12729:84::-;13156:12;;13142:10;-1:-1:-1;;;;;13142:26:0;;;13156:12;;13142:26;13139:55;;13181:5;;;13139:55;12792:8;:15;;-1:-1:-1;;12792:15:0;-1:-1:-1;;;12792:15:0;;;13200:1;12729:84;:::o;10605:77::-;10672:4;10605:77;;:::o;4395:251::-;-1:-1:-1;;;;;4509:10:0;4500:20;4448:12;4500:20;;;:8;:20;;;;;;4492:37;;4522:6;4492:7;:37::i;:::-;-1:-1:-1;;;;;4478:10:0;4469:20;;;;;;:8;:20;;;;;;:60;;;;4560:13;;;;;;;4552:30;;4575:6;4552:7;:30::i;:::-;-1:-1:-1;;;;;4536:13:0;;;;;;;:8;:13;;;;;;;;;:46;;;;4589:33;;;;;;;4536:13;;4598:10;4589:33;;;;;;;;;;;;;-1:-1:-1;4636:4:0;4395:251;;;;;:::o;18834:545::-;16344:15;;;;16341:25;;;16361:5;;;16341:25;1178:5;;1164:10;-1:-1:-1;;;;;1164:19:0;;;1178:5;;1164:19;1156:28;;;;;;-1:-1:-1;;;;;18984:18:0;;;;18977:26;;;;19015:23;19033:4;19015:17;:23::i;:::-;19014:24;19010:124;;;19049:26;:37;;;;;;:26;:37;;:::i;:::-;;;;;;;;;;;;;-1:-1:-1;;;;;19049:37:0;;;;;;;;;;;;;;;;;;-1:-1:-1;19095:29:0;:31;;-1:-1:-1;19095:31:0;;;19010:124;19169:204;;;;;;;;;;;;;;;;;;;;;;;;19332:4;19169:204;;;;;;-1:-1:-1;19169:204:0;;;;;;-1:-1:-1;;;;;19142:24:0;;;;:18;:24;;;;;;;:231;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;19142:231:0;;;-1:-1:-1;;19142:231:0;;;;;;;;;;;;;;;;;1191:1;16373;18834:545;;;;;:::o;19883:3291::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;19883:3291:0;;;-1:-1:-1;19883:3291:0;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://51cdcd01e28bff7e6c64773a244d30a010ae885e9a0e9e16188e1055e87dcd56