Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract ERC20
•    - function balanceOf(address who)
•    - function allowance(address owner, add ...
•    - function transfer(address to, uint va ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
•  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 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 _tokenHo ...
•  contract UpgradeableToken is Stand ...
•    - function upgrade(uint256 value)
•    - function setUpgradeAgent(address agen ...
•    - function getUpgradeState()
•    - function setUpgradeMaster(address mas ...
•    - function canUpgrade()
•  contract SHx is UpgradeableToken *
•    - function setTokenInformation(string m ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.5.1;

/*
 * ERC20 interface
 * see https://github.com/ethereum/EIPs/issues/20
 */
contract ERC20 {
  uint public totalSupply;
  function balanceOf(address who) public view returns (uint);
  function allowance(address owner, address spender) public view returns (uint);

  function transfer(address to, uint value) public returns (bool ok);
  function transferFrom(address from, address to, uint value) public returns (bool ok);
  function approve(address spender, uint value) public returns (bool ok);
  event Transfer(address indexed from, address indexed to, uint value);
  event Approval(address indexed owner, address indexed spender, uint value);
}

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

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

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

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

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

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

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

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

/**
 * 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 {
  /* Actual balances of token holders */
  mapping(address => uint) balances;

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

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

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

  function transferFrom(address _from, address _to, uint _value) public 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);
    emit Transfer(_from, _to, _value);
    return true;
  }

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

  function approve(address _spender, uint _value) public 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
    assert((_value == 0) || (allowed[msg.sender][_spender] == 0));

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

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

}

/**
 * Upgrade agent interface inspired by Lunyr.
 *
 * Upgrade agent transfers tokens to a new version of a token contract.
 * Upgrade agent can be set on a token by the upgrade master.
 *
 * Steps are
 * - Upgradeabletoken.upgradeMaster calls UpgradeableToken.setUpgradeAgent()
 * - Individual token holders can now call UpgradeableToken.upgrade()
 *   -> This results to call UpgradeAgent.upgradeFrom() that issues new tokens
 *   -> UpgradeableToken.upgrade() reduces the original total supply based on amount of upgraded tokens
 *
 * 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 pure returns (bool) {
    return true;
  }

  /**
   * Upgrade amount of tokens to a new version.
   *
   * Only callable by UpgradeableToken.
   *
   * @param _tokenHolder Address that wants to upgrade its tokens
   * @param _amount Number of tokens to upgrade. The address may consider to hold back some amount of tokens in the old version.
   */
  function upgradeFrom(address _tokenHolder, uint256 _amount) external;
}


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

  /**
   * Upgrade master updated.
   */
  event NewUpgradeMaster(address upgradeMaster);

  /**
   * Do not allow construction without upgrade master set.
   */
  constructor(address _upgradeMaster) public {
    upgradeMaster = _upgradeMaster;
    emit NewUpgradeMaster(upgradeMaster);
  }

  /**
   * Allow the token holder to upgrade some of their tokens to a new contract.
   */
  function upgrade(uint256 value) public {
      UpgradeState state = getUpgradeState();
      require(state == UpgradeState.ReadyToUpgrade || state == UpgradeState.Upgrading);

      // Validate input value.
      require(value != 0);

      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);
      emit Upgrade(msg.sender, address(upgradeAgent), value);
  }

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

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

      upgradeAgent = UpgradeAgent(agent);

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

      emit UpgradeAgentSet(address(upgradeAgent));
  }

  /**
   * Get the state of the token upgrade.
   */
  function getUpgradeState() public view returns(UpgradeState) {
    if(!canUpgrade()) return UpgradeState.NotAllowed;
    else if(address(upgradeAgent) == address(0)) 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 {
      require(master != address(0));
      require(msg.sender == upgradeMaster);
      upgradeMaster = master;
      emit NewUpgradeMaster(upgradeMaster);
  }

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

/**
 * Centrally issued Ethereum token. The SHx issued here are 'cross-issued' from Stellar.
 * (GDSTRSHXHGJ7ZIVRBXEYE5Q74XUVCUSEKEBR7UCHEUUEK72N7I7KJ6JH:SHX)
 *
 * We mix in burnable and upgradeable traits.
 *
 * Token supply is created in the token contract creation and allocated to owner.
 * The owner can then transfer from its supply to crowdsale participants.
 * The owner, or anybody, can burn any excessive tokens they are holding.
 *
 */
contract SHx is UpgradeableToken {
  string public name;
  string public symbol;
  uint public decimals;

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

  constructor(address _owner, string memory _name, string memory _symbol, uint _totalSupply, uint _decimals) public UpgradeableToken(_owner) {
    name = _name;
    symbol = _symbol;
    totalSupply = _totalSupply;
    decimals = _decimals;

    // Allocate initial balance to the owner
    balances[_owner] = _totalSupply;
  }

  /**
   * 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.
   * In this case the initial token can be supplied with empty name and symbol information.
   *
   * 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 memory _name, string memory _symbol) public {
    require(msg.sender == upgradeMaster);

    require(bytes(name).length == 0 && bytes(symbol).length == 0);

    name = _name;
    symbol = _symbol;
    emit UpdatedTokenInformation(name, symbol);
  }
}

• 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":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"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":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"value","type":"uint256"}],"name":"upgrade","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_name","type":"string"},{"name":"_symbol","type":"string"}],"name":"setTokenInformation","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"upgradeAgent","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"upgradeMaster","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","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":"getUpgradeState","outputs":[{"name":"","type":"uint8"}],"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":"canUpgrade","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalUpgraded","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"agent","type":"address"}],"name":"setUpgradeAgent","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"isToken","outputs":[{"name":"weAre","type":"bool"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":false,"inputs":[{"name":"master","type":"address"}],"name":"setUpgradeMaster","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[{"name":"_owner","type":"address"},{"name":"_name","type":"string"},{"name":"_symbol","type":"string"},{"name":"_totalSupply","type":"uint256"},{"name":"_decimals","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","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":"_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":"upgradeMaster","type":"address"}],"name":"NewUpgradeMaster","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"},{"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"}]

60806040523480156200001157600080fd5b506040516200125038038062001250833981018060405260a08110156200003757600080fd5b8151602083018051919392830192916401000000008111156200005957600080fd5b820160208101848111156200006d57600080fd5b81516401000000008111828201871017156200008857600080fd5b50509291906020018051640100000000811115620000a557600080fd5b82016020810184811115620000b957600080fd5b8151640100000000811182820187101715620000d457600080fd5b505060208281015160409384015160038054600160a060020a031916600160a060020a038b8116919091179182905586519116815294519396509094509287927f41215aff8c294dab52583f38146756951783ca3d8b887e22e03f4b276d02606c929181900390910190a1508351620001559060069060208701906200019b565b5082516200016b9060079060208601906200019b565b506000828155600891909155600160a060020a039094168452600160205260409093209290925550620002409050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620001de57805160ff19168380011785556200020e565b828001600101855582156200020e579182015b828111156200020e578251825591602001919060010190620001f1565b506200021c92915062000220565b5090565b6200023d91905b808211156200021c576000815560010162000227565b90565b61100080620002506000396000f3fe608060405260043610610100577c0100000000000000000000000000000000000000000000000000000000600035046306fdde038114610105578063095ea7b31461018f57806318160ddd146101dc57806323b872dd14610203578063313ce5671461024657806345977d031461025b5780634eee966f146102875780635de4ccb0146103c1578063600440cb146103f257806370a08231146104075780638444b3911461043a57806395d89b41146104735780639738968c14610488578063a9059cbb1461049d578063c752ff62146104d6578063d7e7088a146104eb578063dd62ed3e1461051e578063eefa597b14610488578063ffeb7d7514610559575b600080fd5b34801561011157600080fd5b5061011a61058c565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561015457818101518382015260200161013c565b50505050905090810190601f1680156101815780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561019b57600080fd5b506101c8600480360360408110156101b257600080fd5b50600160a060020a03813516906020013561061a565b604080519115158252519081900360200190f35b3480156101e857600080fd5b506101f16106b9565b60408051918252519081900360200190f35b34801561020f57600080fd5b506101c86004803603606081101561022657600080fd5b50600160a060020a038135811691602081013590911690604001356106bf565b34801561025257600080fd5b506101f16107bc565b34801561026757600080fd5b506102856004803603602081101561027e57600080fd5b50356107c2565b005b34801561029357600080fd5b50610285600480360360408110156102aa57600080fd5b8101906020810181356401000000008111156102c557600080fd5b8201836020820111156102d757600080fd5b803590602001918460018302840111640100000000831117156102f957600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929594936020810193503591505064010000000081111561034c57600080fd5b82018360208201111561035e57600080fd5b8035906020019184600183028401116401000000008311171561038057600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929550610923945050505050565b3480156103cd57600080fd5b506103d6610ad1565b60408051600160a060020a039092168252519081900360200190f35b3480156103fe57600080fd5b506103d6610ae0565b34801561041357600080fd5b506101f16004803603602081101561042a57600080fd5b5035600160a060020a0316610aef565b34801561044657600080fd5b5061044f610b0a565b6040518082600481111561045f57fe5b60ff16815260200191505060405180910390f35b34801561047f57600080fd5b5061011a610b54565b34801561049457600080fd5b506101c8610baf565b3480156104a957600080fd5b506101c8600480360360408110156104c057600080fd5b50600160a060020a038135169060200135610bb4565b3480156104e257600080fd5b506101f1610c58565b3480156104f757600080fd5b506102856004803603602081101561050e57600080fd5b5035600160a060020a0316610c5e565b34801561052a57600080fd5b506101f16004803603604081101561054157600080fd5b50600160a060020a0381358116916020013516610e48565b34801561056557600080fd5b506102856004803603602081101561057c57600080fd5b5035600160a060020a0316610e73565b6006805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156106125780601f106105e757610100808354040283529160200191610612565b820191906000526020600020905b8154815290600101906020018083116105f557829003601f168201915b505050505081565b600081158061064a5750336000908152600260209081526040808320600160a060020a0387168452909152902054155b151561065257fe5b336000818152600260209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60005481565b600160a060020a038084166000908152600260209081526040808320338452825280832054938616835260019091528120549091906106fe9084610f06565b600160a060020a03808616600090815260016020526040808220939093559087168152205461072d9084610f2a565b600160a060020a0386166000908152600160205260409020556107508184610f2a565b600160a060020a03808716600081815260026020908152604080832033845282529182902094909455805187815290519288169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a3506001949350505050565b60085481565b60006107cc610b0a565b905060038160048111156107dc57fe5b14806107f3575060048160048111156107f157fe5b145b15156107fe57600080fd5b81151561080a57600080fd5b336000908152600160205260409020546108249083610f2a565b33600090815260016020526040812091909155546108429083610f2a565b6000556005546108529083610f06565b60055560048054604080517f753e88e500000000000000000000000000000000000000000000000000000000815233938101939093526024830185905251600160a060020a039091169163753e88e591604480830192600092919082900301818387803b1580156108c257600080fd5b505af11580156108d6573d6000803e3d6000fd5b5050600454604080518681529051600160a060020a0390921693503392507f7e5c344a8141a805725cb476f76c6953b842222b967edd1f78ddb6e8b3f397ac919081900360200190a35050565b600354600160a060020a0316331461093a57600080fd5b60065460026000196101006001841615020190911604158015610970575060075460026000196101006001841615020190911604155b151561097b57600080fd5b815161098e906006906020850190610f3c565b5080516109a2906007906020840190610f3c565b506040805181815260068054600260001961010060018416150201909116049282018390527fd131ab1e6f279deea74e13a18477e13e2107deb6dc8ae955648948be5841fb4692909160079181906020820190606083019086908015610a495780601f10610a1e57610100808354040283529160200191610a49565b820191906000526020600020905b815481529060010190602001808311610a2c57829003601f168201915b5050838103825284546002600019610100600184161502019091160480825260209091019085908015610abd5780601f10610a9257610100808354040283529160200191610abd565b820191906000526020600020905b815481529060010190602001808311610aa057829003601f168201915b505094505050505060405180910390a15050565b600454600160a060020a031681565b600354600160a060020a031681565b600160a060020a031660009081526001602052604090205490565b6000610b14610baf565b1515610b2257506001610b51565b600454600160a060020a03161515610b3c57506002610b51565b6005541515610b4d57506003610b51565b5060045b90565b6007805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156106125780601f106105e757610100808354040283529160200191610612565b600190565b33600090815260016020526040812054610bce9083610f2a565b3360009081526001602052604080822092909255600160a060020a03851681522054610bfa9083610f06565b600160a060020a0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b60055481565b610c66610baf565b1515610c7157600080fd5b600160a060020a0381161515610c8657600080fd5b600354600160a060020a03163314610c9d57600080fd5b6004610ca7610b0a565b6004811115610cb257fe5b1415610cbd57600080fd5b6004805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383811691909117808355604080517f61d3d7a6000000000000000000000000000000000000000000000000000000008152905191909216926361d3d7a692808201926020929091829003018186803b158015610d3b57600080fd5b505afa158015610d4f573d6000803e3d6000fd5b505050506040513d6020811015610d6557600080fd5b50511515610d7257600080fd5b60005460048054604080517f4b2ba0dd0000000000000000000000000000000000000000000000000000000081529051600160a060020a0390921692634b2ba0dd928282019260209290829003018186803b158015610dd057600080fd5b505afa158015610de4573d6000803e3d6000fd5b505050506040513d6020811015610dfa57600080fd5b505114610e0657600080fd5b60045460408051600160a060020a039092168252517f7845d5aa74cc410e35571258d954f23b82276e160fe8c188fa80566580f279cc9181900360200190a150565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b600160a060020a0381161515610e8857600080fd5b600354600160a060020a03163314610e9f57600080fd5b6003805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a03838116919091179182905560408051929091168252517f41215aff8c294dab52583f38146756951783ca3d8b887e22e03f4b276d02606c916020908290030190a150565b6000828201838110801590610f1b5750828110155b1515610f2357fe5b9392505050565b600082821115610f3657fe5b50900390565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10610f7d57805160ff1916838001178555610faa565b82800160010185558215610faa579182015b82811115610faa578251825591602001919060010190610f8f565b50610fb6929150610fba565b5090565b610b5191905b80821115610fb65760008155600101610fc056fea165627a7a72305820a12706ca3407337178db3795e4ccce576490e35e3cf80ae19327bca13fd4c04b002900000000000000000000000088ced58411e0278948e30abeaca91a0e6607a36900000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000000e00000000000000000000000000000000000000000000000000de0b6b3a76400000000000000000000000000000000000000000000000000000000000000000007000000000000000000000000000000000000000000000000000000000000000e5374726f6e67686f6c642053487800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000035348580000000000000000000000000000000000000000000000000000000000

0x608060405260043610610100577c0100000000000000000000000000000000000000000000000000000000600035046306fdde038114610105578063095ea7b31461018f57806318160ddd146101dc57806323b872dd14610203578063313ce5671461024657806345977d031461025b5780634eee966f146102875780635de4ccb0146103c1578063600440cb146103f257806370a08231146104075780638444b3911461043a57806395d89b41146104735780639738968c14610488578063a9059cbb1461049d578063c752ff62146104d6578063d7e7088a146104eb578063dd62ed3e1461051e578063eefa597b14610488578063ffeb7d7514610559575b600080fd5b34801561011157600080fd5b5061011a61058c565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561015457818101518382015260200161013c565b50505050905090810190601f1680156101815780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561019b57600080fd5b506101c8600480360360408110156101b257600080fd5b50600160a060020a03813516906020013561061a565b604080519115158252519081900360200190f35b3480156101e857600080fd5b506101f16106b9565b60408051918252519081900360200190f35b34801561020f57600080fd5b506101c86004803603606081101561022657600080fd5b50600160a060020a038135811691602081013590911690604001356106bf565b34801561025257600080fd5b506101f16107bc565b34801561026757600080fd5b506102856004803603602081101561027e57600080fd5b50356107c2565b005b34801561029357600080fd5b50610285600480360360408110156102aa57600080fd5b8101906020810181356401000000008111156102c557600080fd5b8201836020820111156102d757600080fd5b803590602001918460018302840111640100000000831117156102f957600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929594936020810193503591505064010000000081111561034c57600080fd5b82018360208201111561035e57600080fd5b8035906020019184600183028401116401000000008311171561038057600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250929550610923945050505050565b3480156103cd57600080fd5b506103d6610ad1565b60408051600160a060020a039092168252519081900360200190f35b3480156103fe57600080fd5b506103d6610ae0565b34801561041357600080fd5b506101f16004803603602081101561042a57600080fd5b5035600160a060020a0316610aef565b34801561044657600080fd5b5061044f610b0a565b6040518082600481111561045f57fe5b60ff16815260200191505060405180910390f35b34801561047f57600080fd5b5061011a610b54565b34801561049457600080fd5b506101c8610baf565b3480156104a957600080fd5b506101c8600480360360408110156104c057600080fd5b50600160a060020a038135169060200135610bb4565b3480156104e257600080fd5b506101f1610c58565b3480156104f757600080fd5b506102856004803603602081101561050e57600080fd5b5035600160a060020a0316610c5e565b34801561052a57600080fd5b506101f16004803603604081101561054157600080fd5b50600160a060020a0381358116916020013516610e48565b34801561056557600080fd5b506102856004803603602081101561057c57600080fd5b5035600160a060020a0316610e73565b6006805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156106125780601f106105e757610100808354040283529160200191610612565b820191906000526020600020905b8154815290600101906020018083116105f557829003601f168201915b505050505081565b600081158061064a5750336000908152600260209081526040808320600160a060020a0387168452909152902054155b151561065257fe5b336000818152600260209081526040808320600160a060020a03881680855290835292819020869055805186815290519293927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a350600192915050565b60005481565b600160a060020a038084166000908152600260209081526040808320338452825280832054938616835260019091528120549091906106fe9084610f06565b600160a060020a03808616600090815260016020526040808220939093559087168152205461072d9084610f2a565b600160a060020a0386166000908152600160205260409020556107508184610f2a565b600160a060020a03808716600081815260026020908152604080832033845282529182902094909455805187815290519288169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a3506001949350505050565b60085481565b60006107cc610b0a565b905060038160048111156107dc57fe5b14806107f3575060048160048111156107f157fe5b145b15156107fe57600080fd5b81151561080a57600080fd5b336000908152600160205260409020546108249083610f2a565b33600090815260016020526040812091909155546108429083610f2a565b6000556005546108529083610f06565b60055560048054604080517f753e88e500000000000000000000000000000000000000000000000000000000815233938101939093526024830185905251600160a060020a039091169163753e88e591604480830192600092919082900301818387803b1580156108c257600080fd5b505af11580156108d6573d6000803e3d6000fd5b5050600454604080518681529051600160a060020a0390921693503392507f7e5c344a8141a805725cb476f76c6953b842222b967edd1f78ddb6e8b3f397ac919081900360200190a35050565b600354600160a060020a0316331461093a57600080fd5b60065460026000196101006001841615020190911604158015610970575060075460026000196101006001841615020190911604155b151561097b57600080fd5b815161098e906006906020850190610f3c565b5080516109a2906007906020840190610f3c565b506040805181815260068054600260001961010060018416150201909116049282018390527fd131ab1e6f279deea74e13a18477e13e2107deb6dc8ae955648948be5841fb4692909160079181906020820190606083019086908015610a495780601f10610a1e57610100808354040283529160200191610a49565b820191906000526020600020905b815481529060010190602001808311610a2c57829003601f168201915b5050838103825284546002600019610100600184161502019091160480825260209091019085908015610abd5780601f10610a9257610100808354040283529160200191610abd565b820191906000526020600020905b815481529060010190602001808311610aa057829003601f168201915b505094505050505060405180910390a15050565b600454600160a060020a031681565b600354600160a060020a031681565b600160a060020a031660009081526001602052604090205490565b6000610b14610baf565b1515610b2257506001610b51565b600454600160a060020a03161515610b3c57506002610b51565b6005541515610b4d57506003610b51565b5060045b90565b6007805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156106125780601f106105e757610100808354040283529160200191610612565b600190565b33600090815260016020526040812054610bce9083610f2a565b3360009081526001602052604080822092909255600160a060020a03851681522054610bfa9083610f06565b600160a060020a0384166000818152600160209081526040918290209390935580518581529051919233927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a350600192915050565b60055481565b610c66610baf565b1515610c7157600080fd5b600160a060020a0381161515610c8657600080fd5b600354600160a060020a03163314610c9d57600080fd5b6004610ca7610b0a565b6004811115610cb257fe5b1415610cbd57600080fd5b6004805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383811691909117808355604080517f61d3d7a6000000000000000000000000000000000000000000000000000000008152905191909216926361d3d7a692808201926020929091829003018186803b158015610d3b57600080fd5b505afa158015610d4f573d6000803e3d6000fd5b505050506040513d6020811015610d6557600080fd5b50511515610d7257600080fd5b60005460048054604080517f4b2ba0dd0000000000000000000000000000000000000000000000000000000081529051600160a060020a0390921692634b2ba0dd928282019260209290829003018186803b158015610dd057600080fd5b505afa158015610de4573d6000803e3d6000fd5b505050506040513d6020811015610dfa57600080fd5b505114610e0657600080fd5b60045460408051600160a060020a039092168252517f7845d5aa74cc410e35571258d954f23b82276e160fe8c188fa80566580f279cc9181900360200190a150565b600160a060020a03918216600090815260026020908152604080832093909416825291909152205490565b600160a060020a0381161515610e8857600080fd5b600354600160a060020a03163314610e9f57600080fd5b6003805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a03838116919091179182905560408051929091168252517f41215aff8c294dab52583f38146756951783ca3d8b887e22e03f4b276d02606c916020908290030190a150565b6000828201838110801590610f1b5750828110155b1515610f2357fe5b9392505050565b600082821115610f3657fe5b50900390565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10610f7d57805160ff1916838001178555610faa565b82800160010185558215610faa579182015b82811115610faa578251825591602001919060010190610f8f565b50610fb6929150610fba565b5090565b610b5191905b80821115610fb65760008155600101610fc056fea165627a7a72305820a12706ca3407337178db3795e4ccce576490e35e3cf80ae19327bca13fd4c04b0029

00000000000000000000000088ced58411e0278948e30abeaca91a0e6607a36900000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000000e00000000000000000000000000000000000000000000000000de0b6b3a76400000000000000000000000000000000000000000000000000000000000000000007000000000000000000000000000000000000000000000000000000000000000e5374726f6e67686f6c642053487800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000035348580000000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : _owner (address): 0x88cED58411e0278948e30AbeacA91A0e6607A369
Arg [1] : _name (string): Stronghold SHx
Arg [2] : _symbol (string): SHX
Arg [3] : _totalSupply (uint256): 1000000000000000000
Arg [4] : _decimals (uint256): 7

-----Encoded View---------------
9 Constructor Arguments found :
Arg [0] : 00000000000000000000000088ced58411e0278948e30abeaca91a0e6607a369
Arg [1] : 00000000000000000000000000000000000000000000000000000000000000a0
Arg [2] : 00000000000000000000000000000000000000000000000000000000000000e0
Arg [3] : 0000000000000000000000000000000000000000000000000de0b6b3a7640000
Arg [4] : 0000000000000000000000000000000000000000000000000000000000000007
Arg [5] : 000000000000000000000000000000000000000000000000000000000000000e
Arg [6] : 5374726f6e67686f6c6420534878000000000000000000000000000000000000
Arg [7] : 0000000000000000000000000000000000000000000000000000000000000003
Arg [8] : 5348580000000000000000000000000000000000000000000000000000000000

9402:1345:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9440:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9440:18:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;9440:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3082:559;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3082:559:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3082:559:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;127:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;127:23:0;;;:::i;:::-;;;;;;;;;;;;;;;;2581:383;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2581:383:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2581:383:0;;;;;;;;;;;;;;;;;:::i;9488:20::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9488:20:0;;;:::i;6721:623::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6721:623:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6721:623:0;;:::i;:::-;;10452:292;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10452:292:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10452:292:0;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;10452:292:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;10452:292:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;10452:292:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;10452:292:0;;;;;;;;-1:-1:-1;10452:292:0;;-1:-1:-1;;21:11;5:28;;2:2;;;46:1;43;36:12;2:2;10452:292:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;10452:292:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;10452:292:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;10452:292:0;;-1:-1:-1;10452:292:0;;-1:-1:-1;;;;;10452:292:0:i;5475:32::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5475:32:0;;;:::i;:::-;;;;-1:-1:-1;;;;;5475:32:0;;;;;;;;;;;;;;5377:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5377:28:0;;;:::i;2970:106::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2970:106:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2970:106:0;-1:-1:-1;;;;;2970:106:0;;:::i;8099:319::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8099:319:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9463:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9463:20:0;;;:::i;8863:73::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8863:73:0;;;:::i;2312:263::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2312:263:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2312:263:0;;;;;;;;:::i;5565:28::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5565:28:0;;;:::i;7404:633::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7404:633:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7404:633:0;-1:-1:-1;;;;;7404:633:0;;:::i;3647:135::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3647:135:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3647:135:0;;;;;;;;;;:::i;8544:214::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8544:214:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8544:214:0;-1:-1:-1;;;;;8544:214:0;;:::i;9440:18::-;;;;;;;;;;;;;;;-1:-1:-1;;9440:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3082:559::-;3146:12;3467:11;;;3466:53;;-1:-1:-1;3492:10:0;3484:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3484:29:0;;;;;;;;;;:34;3466:53;3459:61;;;;;;3537:10;3529:19;;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3529:29:0;;;;;;;;;;;;:38;;;3579;;;;;;;3529:29;;3537:10;3579:38;;;;;;;;;;;-1:-1:-1;3631:4:0;3082:559;;;;:::o;127:23::-;;;;:::o;2581:383::-;-1:-1:-1;;;;;2699:14:0;;;2660:12;2699:14;;;:7;:14;;;;;;;;2714:10;2699:26;;;;;;;;2758:13;;;;;:8;:13;;;;;;2660:12;;2699:26;2750:30;;2773:6;2750:7;:30::i;:::-;-1:-1:-1;;;;;2734:13:0;;;;;;;:8;:13;;;;;;:46;;;;2813:15;;;;;;;2805:32;;2830:6;2805:7;:32::i;:::-;-1:-1:-1;;;;;2787:15:0;;;;;;:8;:15;;;;;:50;2873:27;2881:10;2893:6;2873:7;:27::i;:::-;-1:-1:-1;;;;;2844:14:0;;;;;;;:7;:14;;;;;;;;2859:10;2844:26;;;;;;;;:56;;;;2912:28;;;;;;;;;;;2844:14;;2912:28;;;;;;;;;;;-1:-1:-1;2954:4:0;;2581:383;-1:-1:-1;;;;2581:383:0:o;9488:20::-;;;;:::o;6721:623::-;6769:18;6790:17;:15;:17::i;:::-;6769:38;-1:-1:-1;6833:27:0;6824:5;:36;;;;;;;;;:71;;;-1:-1:-1;6873:22:0;6864:5;:31;;;;;;;;;6824:71;6816:80;;;;;;;;6947:10;;;6939:19;;;;;;7009:10;7000:20;;;;:8;:20;;;;;;6992:36;;7022:5;6992:7;:36::i;:::-;6978:10;6969:20;;;;:8;:20;;;;;:59;;;;7104:11;7096:27;;7117:5;7096:7;:27::i;:::-;7082:11;:41;7156:13;;7148:29;;7171:5;7148:7;:29::i;:::-;7132:13;:45;7232:12;;;:43;;;;;;7257:10;7232:43;;;;;;;;;;;;;;-1:-1:-1;;;;;7232:12:0;;;;:24;;:43;;;;;:12;;:43;;;;;;;:12;;:43;;;5:2:-1;;;;30:1;27;20:12;5:2;7232:43:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;7317:12:0;;7289:49;;;;;;;;-1:-1:-1;;;;;7317:12:0;;;;-1:-1:-1;7297:10:0;;-1:-1:-1;7289:49:0;;;;;;;;;;6721:623;;:::o;10452:292::-;10561:13;;-1:-1:-1;;;;;10561:13:0;10547:10;:27;10539:36;;;;;;10598:4;10592:18;;-1:-1:-1;;10592:18:0;;;;;;;;;;;:23;:52;;;;-1:-1:-1;10625:6:0;10619:20;;-1:-1:-1;;10619:20:0;;;;;;;;;;;:25;10592:52;10584:61;;;;;;;;10654:12;;;;:4;;:12;;;;;:::i;:::-;-1:-1:-1;10673:16:0;;;;:6;;:16;;;;;:::i;:::-;-1:-1:-1;10701:37:0;;;;;;10725:4;10701:37;;;-1:-1:-1;;10701:37:0;;;;;;;;;;;;;;;;;;;10725:4;;10731:6;;10701:37;;;;;;;;;;10725:4;;10701:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;10701:37:0;;;;;;;;-1:-1:-1;;10701:37:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10452:292;;:::o;5475:32::-;;;-1:-1:-1;;;;;5475:32:0;;:::o;5377:28::-;;;-1:-1:-1;;;;;5377:28:0;;:::o;2970:106::-;-1:-1:-1;;;;;3054:16:0;3026:12;3054:16;;;:8;:16;;;;;;;2970:106::o;8099:319::-;8146:12;8171;:10;:12::i;:::-;8170:13;8167:245;;;-1:-1:-1;8192:23:0;8185:30;;8167:245;8238:12;;-1:-1:-1;;;;;8238:12:0;8230:35;8227:185;;;-1:-1:-1;8274:28:0;8267:35;;8227:185;8317:13;;:18;8314:98;;;-1:-1:-1;8344:27:0;8337:34;;8314:98;-1:-1:-1;8390:22:0;8314:98;8099:319;:::o;9463:20::-;;;;;;;;;;;;;;;-1:-1:-1;;9463:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8863:73;8926:4;8863:73;:::o;2312:263::-;2433:10;2372:12;2424:20;;;:8;:20;;;;;;2416:37;;2446:6;2416:7;:37::i;:::-;2402:10;2393:20;;;;:8;:20;;;;;;:60;;;;-1:-1:-1;;;;;2484:13:0;;;;;;2476:30;;2499:6;2476:7;:30::i;:::-;-1:-1:-1;;;;;2460:13:0;;;;;;:8;:13;;;;;;;;;:46;;;;2518:33;;;;;;;2460:13;;2527:10;;2518:33;;;;;;;;;;-1:-1:-1;2565:4:0;2312:263;;;;:::o;5565:28::-;;;;:::o;7404:633::-;7470:12;:10;:12::i;:::-;7462:21;;;;;;;;-1:-1:-1;;;;;7502:19:0;;;;7494:28;;;;;;7606:13;;-1:-1:-1;;;;;7606:13:0;7592:10;:27;7584:36;;;;;;7707:22;7686:17;:15;:17::i;:::-;:43;;;;;;;;;;7678:52;;;;;;7741:12;:34;;-1:-1:-1;;7741:34:0;-1:-1:-1;;;;;7741:34:0;;;;;;;;;;7818:29;;;;;;;;:12;;;;;:27;;:29;;;;;;;;;;;;;:12;:29;;;5:2:-1;;;;30:1;27;20:12;5:2;7818:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7818:29:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7818:29:0;7810:38;;;;;;;;7965:11;;7932:12;;;:29;;;;;;;;-1:-1:-1;;;;;7932:12:0;;;;:27;;:29;;;;;;;;;;;;:12;:29;;;5:2:-1;;;;30:1;27;20:12;5:2;7932:29:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7932:29:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7932:29:0;:44;7924:53;;;;;;8017:12;;7993:38;;;-1:-1:-1;;;;;8017:12:0;;;7993:38;;;;;;;;;;;;7404:633;:::o;3647:135::-;-1:-1:-1;;;;;3751:15:0;;;3721:14;3751:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;;3647:135::o;8544:214::-;-1:-1:-1;;;;;8610:20:0;;;;8602:29;;;;;;8662:13;;-1:-1:-1;;;;;8662:13:0;8648:10;:27;8640:36;;;;;;8685:13;:22;;-1:-1:-1;;8685:22:0;-1:-1:-1;;;;;8685:22:0;;;;;;;;;;;8721:31;;;8738:13;;;;8721:31;;;;;;;;;;;;;8544:214;:::o;1186:131::-;1242:4;1264:5;;;1283:4;;;;;;:12;;;1294:1;1291;:4;;1283:12;1276:20;;;;;;1310:1;1186:131;-1:-1:-1;;;1186:131:0:o;1072:108::-;1128:4;1148:6;;;;1141:14;;;;-1:-1:-1;1169:5:0;;;1072:108::o;9402:1345::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;9402:1345:0;;;-1:-1:-1;9402:1345:0;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;

bzzr://a12706ca3407337178db3795e4ccce576490e35e3cf80ae19327bca13fd4c04b