Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b)  contract owned    - function transferOwnership(address pa ...  contract SETIcoin is owned *    - function _transfer(address _from, add ...    - function transfer(address _to, uint25 ...    - function transferFrom(address _from, ...    - function approve(address _spender, ui ...    - function burn(uint256 _value)    - function freezeAccount(address target ...    - function manualWithdrawEther()    - function manualWithdrawTokens(uint256 ...    - function changeSafeguardStatus()    - function airdrop(address[] memory rec ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity 0.5.11; /*

  ___________________________________________________________________
    _      _                                        ______
    |  |  /          /                                /
  --|-/|-/-----__---/----__----__---_--_----__-------/-------__------
    |/ |/    /___) /   /   ' /   ) / /  ) /___)     /      /   )
  __/__|____(___ _/___(___ _(___/_/_/__/_(___ _____/______(___/__o_o_



  ███████╗███████╗████████╗██╗     ██████╗ ██████╗ ██╗███╗   ██╗
  ██╔════╝██╔════╝╚══██╔══╝██║    ██╔════╝██╔═══██╗██║████╗  ██║
  ███████╗█████╗     ██║   ██║    ██║     ██║   ██║██║██╔██╗ ██║
  ╚════██║██╔══╝     ██║   ██║    ██║     ██║   ██║██║██║╚██╗██║
  ███████║███████╗   ██║   ██║    ╚██████╗╚██████╔╝██║██║ ╚████║
  ╚══════╝╚══════╝   ╚═╝   ╚═╝     ╚═════╝ ╚═════╝ ╚═╝╚═╝  ╚═══╝



----------------------------------------------------------------------------
 'SETI' Token contract with following features
    => ERC20 Compliance
    => Higher degree of control by owner - safeguard functionality
    => SafeMath implementation
    => Burnable
    => air drop

 Name        : South East Trading Investment
 Symbol      : SETI
 Total supply: 600,000,000 (600 Million)
 Decimals    : 18


------------------------------------------------------------------------------------
 Copyright (c) 2019 onwards South East Trading Investment. ( http://seti.network )
-----------------------------------------------------------------------------------
*/


//*******************************************************************//
//------------------------ SafeMath Library -------------------------//
//*******************************************************************//
/* Safemath library */
library SafeMath {
  /**
   * @dev Returns the addition of two unsigned integers, reverting on
   * overflow.
   *
   * Counterpart to Solidity's `+` operator.
   *
   * Requirements:
   * - Addition cannot overflow.
   */
  function add(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a + b;
    require(c >= a, "SafeMath: addition overflow");

    return c;
  }

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

    return c;
  }

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

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

    return c;
  }

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

    return c;
  }

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

//*******************************************************************//
//------------------ Contract to Manage Ownership -------------------//
//*******************************************************************//

// Owner Handler
contract owned {
  address payable public owner;

    constructor () public {
    owner = msg.sender;
  }

  modifier onlyOwner {
    require(msg.sender == owner, 'not the owner');
    _;
  }

  function transferOwnership(address payable newOwner) public onlyOwner {
    owner = newOwner;
  }
}

//*****************************************************************//
//------------------ SETI Coin main code starts -------------------//
//*****************************************************************//

contract SETIcoin is owned {
  // Public variables of the token
  using SafeMath for uint256;
  string public name = "South East Trading Investment";
  string public symbol = "SETI";
  uint256 public decimals = 18; // 18 decimals is the strongly suggested default, avoid changing it
  uint256 public totalSupply = 600000000 * (10 ** decimals) ; // 600 Million with 18 decimal points
  bool public safeguard; // putting safeguard on will halt all non-owner functions


  // This creates an array with all balances
  mapping (address => uint256) public balanceOf;
  mapping (address => mapping (address => uint256)) public allowance;
  mapping (address => bool) public frozenAccount;


  /* This generates a public event on the blockchain that will notify clients */
  event FrozenAccounts(address target, bool frozen);

  // This generates a public event on the blockchain that will notify clients
  event Transfer(address indexed from, address indexed to, uint256 value);

  // This notifies clients about the amount burnt
  event Burn(address indexed from, uint256 value);

  // Approval
  event Approval(address indexed tokenOwner, address indexed spender, uint256 indexed tokenAmount);


  /**
    * Constrctor function
    *
    * Initializes contract with initial supply tokens to the creator of the contract
    */
  constructor () public {

    //sending all the tokens to Owner
    balanceOf[owner] = totalSupply;

    emit Transfer(address(0), msg.sender, totalSupply);

  }

  /**
    * Internal transfer, only can be called by this contract
    */
  function _transfer(address _from, address _to, uint _value) internal {
    require(!safeguard, 'safeguard is active');
    // Prevent transfer to 0x0 address. Use burn() instead
    require(_to != address(0x0), 'zero address');

    uint previousBalances = balanceOf[_from].add(balanceOf[_to]);
    balanceOf[_from] = balanceOf[_from].sub(_value);
    balanceOf[_to] = balanceOf[_to].add(_value);

    assert(balanceOf[_from].add(balanceOf[_to]) == previousBalances);

    emit Transfer(_from, _to, _value);
  }

  /**
    * Transfer tokens
    *
    * Send `_value` tokens to `_to` from your account
    *
    * @param _to The address of the recipient
    * @param _value the amount to send
    */
  function transfer(address _to, uint256 _value) public returns (bool success) {
    _transfer(msg.sender, _to, _value);
    return true;
  }

  /**
    * Transfer tokens from other address
    *
    * Send `_value` tokens to `_to` in behalf of `_from`
    *
    * @param _from The address of the sender
    * @param _to The address of the recipient
    * @param _value the amount to send
    */
  function transferFrom(address _from, address _to, uint256 _value) public returns (bool success) {
    allowance[_from][msg.sender] = allowance[_from][msg.sender].sub(_value);
    _transfer(_from, _to, _value);
    return true;
  }

  /**
    * Set allowance for other address
    *
    * Allows `_spender` to spend no more than `_value` tokens in your behalf
    *
    * @param _spender The address authorized to spend
    * @param _value the max amount they can spend
    */
  function approve(address _spender, uint256 _value) public returns (bool success) {
    require(!safeguard, 'safeguard is active');
    allowance[msg.sender][_spender] = _value;
    emit Approval(msg.sender, _spender, _value);
    return true;
  }


  /**
    * Destroy tokens
    *
    * Remove `_value` tokens from the system irreversibly
    *
    * @param _value the amount of money to burn
    */
  function burn(uint256 _value) public returns (bool success) {
    require(!safeguard, 'safeguard is active');
    balanceOf[msg.sender] = balanceOf[msg.sender].sub(_value);
    totalSupply = totalSupply.sub(_value);
    emit Burn(msg.sender, _value);
    emit Transfer(msg.sender, address(0), _value);
    return true;
  }


  /// @notice `freeze? Prevent | Allow` `target` from sending & receiving tokens
  /// @param target Address to be frozen
  /// @param freeze either to freeze it or not
  function freezeAccount(address target, bool freeze) public onlyOwner {
    frozenAccount[target] = freeze;
    emit FrozenAccounts(target, freeze);
  }



  // Just in rare case, owner wants to transfer Ether from contract to owner address
  function manualWithdrawEther() public onlyOwner {
    address(owner).transfer(address(this).balance);
  }

  function manualWithdrawTokens(uint256 tokenAmount) public onlyOwner {
    // no need for overflow checking as that will be done in transfer function
    _transfer(address(this), owner, tokenAmount);
  }



  /**
    * Change safeguard status on or off
    *
    * When safeguard is true, then all the non-owner functions will stop working.
    * When safeguard is false, then all the functions will resume working back again!
    */
  function changeSafeguardStatus() public onlyOwner {
    if (safeguard == false) {
      safeguard = true;
    }
    else {
      safeguard = false;
    }
  }

  /********************************/
  /*    Code for the Air drop     */
  /********************************/

  /**
    * Run an Air-Drop
    *
    * It requires an array of all the addresses and amount of tokens to distribute
    * It will only process first 150 recipients. That limit is fixed to prevent gas limit
    */
  function airdrop(address[] memory recipients, uint[] memory tokenAmount) public onlyOwner {
    uint256 addressCount = recipients.length;
    require(addressCount <= 150, 'address count over 150');
    for(uint i = 0; i < addressCount; i++) {
      // This will loop through all the recipients and send them the specified tokens
      _transfer(address(this), recipients[i], tokenAmount[i]);
    }
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"burn","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"changeSafeguardStatus","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"manualWithdrawEther","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address[]","name":"recipients","type":"address[]"},{"internalType":"uint256[]","name":"tokenAmount","type":"uint256[]"}],"name":"airdrop","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address payable","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"frozenAccount","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"safeguard","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"target","type":"address"},{"internalType":"bool","name":"freeze","type":"bool"}],"name":"freezeAccount","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address payable","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"tokenAmount","type":"uint256"}],"name":"manualWithdrawTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"target","type":"address"},{"indexed":false,"internalType":"bool","name":"frozen","type":"bool"}],"name":"FrozenAccounts","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"tokenOwner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":true,"internalType":"uint256","name":"tokenAmount","type":"uint256"}],"name":"Approval","type":"event"}]

60806040526040518060400160405280601d81526020017f536f75746820456173742054726164696e6720496e766573746d656e740000008152506001908051906020019062000051929190620001d7565b506040518060400160405280600481526020017f5345544900000000000000000000000000000000000000000000000000000000815250600290805190602001906200009f929190620001d7565b506012600355600354600a0a6323c3460002600455348015620000c157600080fd5b50336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600454600660008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6004546040518082815260200191505060405180910390a362000286565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200021a57805160ff19168380011785556200024b565b828001600101855582156200024b579182015b828111156200024a5782518255916020019190600101906200022d565b5b5090506200025a91906200025e565b5090565b6200028391905b808211156200027f57600081600090555060010162000265565b5090565b90565b611ad380620002966000396000f3fe608060405234801561001057600080fd5b50600436106101215760003560e01c806370a08231116100ad578063b57dbdc611610071578063b57dbdc61461065e578063dd62ed3e14610680578063e724529c146106f8578063f2fde38b14610748578063fbde8d751461078c57610121565b806370a08231146104775780638da5cb5b146104cf57806395d89b4114610519578063a9059cbb1461059c578063b414d4b61461060257610121565b8063313ce567116100f4578063313ce567146102b357806342966c68146102d15780634bec8335146103175780635954c8c514610321578063672434821461032b57610121565b806306fdde0314610126578063095ea7b3146101a957806318160ddd1461020f57806323b872dd1461022d575b600080fd5b61012e6107ba565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561016e578082015181840152602081019050610153565b50505050905090810190601f16801561019b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101f5600480360360408110156101bf57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610858565b604051808215151515815260200191505060405180910390f35b6102176109c3565b6040518082815260200191505060405180910390f35b6102996004803603606081101561024357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506109c9565b604051808215151515815260200191505060405180910390f35b6102bb610af0565b6040518082815260200191505060405180910390f35b6102fd600480360360208110156102e757600080fd5b8101908080359060200190929190505050610af6565b604051808215151515815260200191505060405180910390f35b61031f610ce8565b005b610329610e04565b005b6104756004803603604081101561034157600080fd5b810190808035906020019064010000000081111561035e57600080fd5b82018360208201111561037057600080fd5b8035906020019184602083028401116401000000008311171561039257600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803590602001906401000000008111156103f257600080fd5b82018360208201111561040457600080fd5b8035906020019184602083028401116401000000008311171561042657600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050610f47565b005b6104b96004803603602081101561048d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506110d8565b6040518082815260200191505060405180910390f35b6104d76110f0565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610521611115565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610561578082015181840152602081019050610546565b50505050905090810190601f16801561058e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6105e8600480360360408110156105b257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111b3565b604051808215151515815260200191505060405180910390f35b6106446004803603602081101561061857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111ca565b604051808215151515815260200191505060405180910390f35b6106666111ea565b604051808215151515815260200191505060405180910390f35b6106e26004803603604081101561069657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111fd565b6040518082815260200191505060405180910390f35b6107466004803603604081101561070e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050611222565b005b61078a6004803603602081101561075e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113ae565b005b6107b8600480360360208110156107a257600080fd5b81019080803590602001909291905050506114b3565b005b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108505780601f1061082557610100808354040283529160200191610850565b820191906000526020600020905b81548152906001019060200180831161083357829003601f168201915b505050505081565b6000600560009054906101000a900460ff16156108dd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f736166656775617264206973206163746976650000000000000000000000000081525060200191505060405180910390fd5b81600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550818373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a46001905092915050565b60045481565b6000610a5a82600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546115a490919063ffffffff16565b600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ae584848461162d565b600190509392505050565b60035481565b6000600560009054906101000a900460ff1615610b7b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f736166656775617264206973206163746976650000000000000000000000000081525060200191505060405180910390fd5b610bcd82600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546115a490919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c25826004546115a490919063ffffffff16565b6004819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a2600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610daa576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f6e6f7420746865206f776e65720000000000000000000000000000000000000081525060200191505060405180910390fd5b60001515600560009054906101000a900460ff1615151415610de6576001600560006101000a81548160ff021916908315150217905550610e02565b6000600560006101000a81548160ff0219169083151502179055505b565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610ec6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f6e6f7420746865206f776e65720000000000000000000000000000000000000081525060200191505060405180910390fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f19350505050158015610f44573d6000803e3d6000fd5b50565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611009576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f6e6f7420746865206f776e65720000000000000000000000000000000000000081525060200191505060405180910390fd5b6000825190506096811115611086576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f6164647265737320636f756e74206f766572203135300000000000000000000081525060200191505060405180910390fd5b60008090505b818110156110d2576110c5308583815181106110a457fe5b60200260200101518584815181106110b857fe5b602002602001015161162d565b808060010191505061108c565b50505050565b60066020528060005260406000206000915090505481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60028054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111ab5780601f10611180576101008083540402835291602001916111ab565b820191906000526020600020905b81548152906001019060200180831161118e57829003601f168201915b505050505081565b60006111c033848461162d565b6001905092915050565b60086020528060005260406000206000915054906101000a900460ff1681565b600560009054906101000a900460ff1681565b6007602052816000526040600020602052806000526040600020600091509150505481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146112e4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f6e6f7420746865206f776e65720000000000000000000000000000000000000081525060200191505060405180910390fd5b80600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507f0a5b43af0ef09ecb703ee244f015ac762879d4da4b736850137608ea10ecc2a48282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a15050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611470576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f6e6f7420746865206f776e65720000000000000000000000000000000000000081525060200191505060405180910390fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611575576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f6e6f7420746865206f776e65720000000000000000000000000000000000000081525060200191505060405180910390fd5b6115a1306000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff168361162d565b50565b60008282111561161c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525060200191505060405180910390fd5b600082840390508091505092915050565b600560009054906101000a900460ff16156116b0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f736166656775617264206973206163746976650000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611753576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f7a65726f2061646472657373000000000000000000000000000000000000000081525060200191505060405180910390fd5b60006117e6600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1690919063ffffffff16565b905061183a82600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546115a490919063ffffffff16565b600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506118cf82600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1690919063ffffffff16565b600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550806119a4600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600660008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1690919063ffffffff16565b146119ab57fe5b8273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a350505050565b600080828401905083811015611a94576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b809150509291505056fea265627a7a723158206ab24e7536f69464046621ab2d7b04e7b95922d0eb379f5d26679a26ec08919764736f6c634300050b0032

0x608060405234801561001057600080fd5b50600436106101215760003560e01c806370a08231116100ad578063b57dbdc611610071578063b57dbdc61461065e578063dd62ed3e14610680578063e724529c146106f8578063f2fde38b14610748578063fbde8d751461078c57610121565b806370a08231146104775780638da5cb5b146104cf57806395d89b4114610519578063a9059cbb1461059c578063b414d4b61461060257610121565b8063313ce567116100f4578063313ce567146102b357806342966c68146102d15780634bec8335146103175780635954c8c514610321578063672434821461032b57610121565b806306fdde0314610126578063095ea7b3146101a957806318160ddd1461020f57806323b872dd1461022d575b600080fd5b61012e6107ba565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561016e578082015181840152602081019050610153565b50505050905090810190601f16801561019b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101f5600480360360408110156101bf57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610858565b604051808215151515815260200191505060405180910390f35b6102176109c3565b6040518082815260200191505060405180910390f35b6102996004803603606081101561024357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506109c9565b604051808215151515815260200191505060405180910390f35b6102bb610af0565b6040518082815260200191505060405180910390f35b6102fd600480360360208110156102e757600080fd5b8101908080359060200190929190505050610af6565b604051808215151515815260200191505060405180910390f35b61031f610ce8565b005b610329610e04565b005b6104756004803603604081101561034157600080fd5b810190808035906020019064010000000081111561035e57600080fd5b82018360208201111561037057600080fd5b8035906020019184602083028401116401000000008311171561039257600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803590602001906401000000008111156103f257600080fd5b82018360208201111561040457600080fd5b8035906020019184602083028401116401000000008311171561042657600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050610f47565b005b6104b96004803603602081101561048d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506110d8565b6040518082815260200191505060405180910390f35b6104d76110f0565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610521611115565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610561578082015181840152602081019050610546565b50505050905090810190601f16801561058e5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6105e8600480360360408110156105b257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111b3565b604051808215151515815260200191505060405180910390f35b6106446004803603602081101561061857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111ca565b604051808215151515815260200191505060405180910390f35b6106666111ea565b604051808215151515815260200191505060405180910390f35b6106e26004803603604081101561069657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111fd565b6040518082815260200191505060405180910390f35b6107466004803603604081101561070e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803515159060200190929190505050611222565b005b61078a6004803603602081101561075e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113ae565b005b6107b8600480360360208110156107a257600080fd5b81019080803590602001909291905050506114b3565b005b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108505780601f1061082557610100808354040283529160200191610850565b820191906000526020600020905b81548152906001019060200180831161083357829003601f168201915b505050505081565b6000600560009054906101000a900460ff16156108dd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f736166656775617264206973206163746976650000000000000000000000000081525060200191505060405180910390fd5b81600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550818373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a46001905092915050565b60045481565b6000610a5a82600760008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546115a490919063ffffffff16565b600760008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ae584848461162d565b600190509392505050565b60035481565b6000600560009054906101000a900460ff1615610b7b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f736166656775617264206973206163746976650000000000000000000000000081525060200191505060405180910390fd5b610bcd82600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546115a490919063ffffffff16565b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610c25826004546115a490919063ffffffff16565b6004819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a2600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019050919050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610daa576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f6e6f7420746865206f776e65720000000000000000000000000000000000000081525060200191505060405180910390fd5b60001515600560009054906101000a900460ff1615151415610de6576001600560006101000a81548160ff021916908315150217905550610e02565b6000600560006101000a81548160ff0219169083151502179055505b565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610ec6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f6e6f7420746865206f776e65720000000000000000000000000000000000000081525060200191505060405180910390fd5b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f19350505050158015610f44573d6000803e3d6000fd5b50565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611009576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f6e6f7420746865206f776e65720000000000000000000000000000000000000081525060200191505060405180910390fd5b6000825190506096811115611086576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260168152602001807f6164647265737320636f756e74206f766572203135300000000000000000000081525060200191505060405180910390fd5b60008090505b818110156110d2576110c5308583815181106110a457fe5b60200260200101518584815181106110b857fe5b602002602001015161162d565b808060010191505061108c565b50505050565b60066020528060005260406000206000915090505481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60028054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156111ab5780601f10611180576101008083540402835291602001916111ab565b820191906000526020600020905b81548152906001019060200180831161118e57829003601f168201915b505050505081565b60006111c033848461162d565b6001905092915050565b60086020528060005260406000206000915054906101000a900460ff1681565b600560009054906101000a900460ff1681565b6007602052816000526040600020602052806000526040600020600091509150505481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146112e4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f6e6f7420746865206f776e65720000000000000000000000000000000000000081525060200191505060405180910390fd5b80600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507f0a5b43af0ef09ecb703ee244f015ac762879d4da4b736850137608ea10ecc2a48282604051808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001821515151581526020019250505060405180910390a15050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611470576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f6e6f7420746865206f776e65720000000000000000000000000000000000000081525060200191505060405180910390fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611575576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600d8152602001807f6e6f7420746865206f776e65720000000000000000000000000000000000000081525060200191505060405180910390fd5b6115a1306000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff168361162d565b50565b60008282111561161c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525060200191505060405180910390fd5b600082840390508091505092915050565b600560009054906101000a900460ff16156116b0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260138152602001807f736166656775617264206973206163746976650000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611753576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600c8152602001807f7a65726f2061646472657373000000000000000000000000000000000000000081525060200191505060405180910390fd5b60006117e6600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1690919063ffffffff16565b905061183a82600660008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546115a490919063ffffffff16565b600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506118cf82600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1690919063ffffffff16565b600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550806119a4600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600660008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a1690919063ffffffff16565b146119ab57fe5b8273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a350505050565b600080828401905083811015611a94576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b809150509291505056fea265627a7a723158206ab24e7536f69464046621ab2d7b04e7b95922d0eb379f5d26679a26ec08919764736f6c634300050b0032

5929:5887:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5929:5887:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6028:52;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;6028:52:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9161:251;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9161:251:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6220:57;;;:::i;:::-;;;;;;;;;;;;;;;;;;;8669:234;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8669:234:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6119:28;;;:::i;:::-;;;;;;;;;;;;;;;;;;;9579:329;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9579:329:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10899:164;;;:::i;:::-;;10338:107;;;:::i;:::-;;11405:408;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11405:408:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;11405:408:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;11405:408:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;11405:408:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;11405:408:0;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;11405:408:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;11405:408:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;11405:408:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;11405:408:0;;;;;;;;;;;;;;;:::i;:::-;;6455:45;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6455:45:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5421:28;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6085:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;6085:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8259:142;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8259:142:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6576:46;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6576:46:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6321:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6505:66;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6505:66:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10088:154;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10088:154:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;5608:99;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5608:99:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;10451:205;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10451:205:0;;;;;;;;;;;;;;;;;:::i;:::-;;6028:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;9161:251::-;9228:12;9258:9;;;;;;;;;;;9257:10;9249:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9332:6;9298:9;:21;9308:10;9298:21;;;;;;;;;;;;;;;:31;9320:8;9298:31;;;;;;;;;;;;;;;:40;;;;9381:6;9371:8;9350:38;;9359:10;9350:38;;;;;;;;;;;;9402:4;9395:11;;9161:251;;;;:::o;6220:57::-;;;;:::o;8669:234::-;8751:12;8803:40;8836:6;8803:9;:16;8813:5;8803:16;;;;;;;;;;;;;;;:28;8820:10;8803:28;;;;;;;;;;;;;;;;:32;;:40;;;;:::i;:::-;8772:9;:16;8782:5;8772:16;;;;;;;;;;;;;;;:28;8789:10;8772:28;;;;;;;;;;;;;;;:71;;;;8850:29;8860:5;8867:3;8872:6;8850:9;:29::i;:::-;8893:4;8886:11;;8669:234;;;;;:::o;6119:28::-;;;;:::o;9579:329::-;9625:12;9655:9;;;;;;;;;;;9654:10;9646:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9719:33;9745:6;9719:9;:21;9729:10;9719:21;;;;;;;;;;;;;;;;:25;;:33;;;;:::i;:::-;9695:9;:21;9705:10;9695:21;;;;;;;;;;;;;;;:57;;;;9773:23;9789:6;9773:11;;:15;;:23;;;;:::i;:::-;9759:11;:37;;;;9813:10;9808:24;;;9825:6;9808:24;;;;;;;;;;;;;;;;;;9873:1;9844:40;;9853:10;9844:40;;;9877:6;9844:40;;;;;;;;;;;;;;;;;;9898:4;9891:11;;9579:329;;;:::o;10899:164::-;5565:5;;;;;;;;;;;5551:19;;:10;:19;;;5543:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10973:5;10960:18;;:9;;;;;;;;;;;:18;;;10956:102;;;11001:4;10989:9;;:16;;;;;;;;;;;;;;;;;;10956:102;;;11045:5;11033:9;;:17;;;;;;;;;;;;;;;;;;10956:102;10899:164::o;10338:107::-;5565:5;;;;;;;;;;;5551:19;;:10;:19;;;5543:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10401:5;;;;;;;;;;;10393:23;;:46;10425:4;10417:21;;;10393:46;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10393:46:0;10338:107::o;11405:408::-;5565:5;;;;;;;;;;;5551:19;;:10;:19;;;5543:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11502:20;11525:10;:17;11502:40;;11573:3;11557:12;:19;;11549:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11614:6;11623:1;11614:10;;11610:198;11630:12;11626:1;:16;11610:198;;;11745:55;11763:4;11770:10;11781:1;11770:13;;;;;;;;;;;;;;11785:11;11797:1;11785:14;;;;;;;;;;;;;;11745:9;:55::i;:::-;11644:3;;;;;;;11610:198;;;;5595:1;11405:408;;:::o;6455:45::-;;;;;;;;;;;;;;;;;:::o;5421:28::-;;;;;;;;;;;;;:::o;6085:29::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;8259:142::-;8322:12;8343:34;8353:10;8365:3;8370:6;8343:9;:34::i;:::-;8391:4;8384:11;;8259:142;;;;:::o;6576:46::-;;;;;;;;;;;;;;;;;;;;;;:::o;6321:21::-;;;;;;;;;;;;;:::o;6505:66::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;10088:154::-;5565:5;;;;;;;;;;;5551:19;;:10;:19;;;5543:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10188:6;10164:13;:21;10178:6;10164:21;;;;;;;;;;;;;;;;:30;;;;;;;;;;;;;;;;;;10206;10221:6;10229;10206:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10088:154;;:::o;5608:99::-;5565:5;;;;;;;;;;;5551:19;;:10;:19;;;5543:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5693:8;5685:5;;:16;;;;;;;;;;;;;;;;;;5608:99;:::o;10451:205::-;5565:5;;;;;;;;;;;5551:19;;:10;:19;;;5543:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10606:44;10624:4;10631:5;;;;;;;;;;;10638:11;10606:9;:44::i;:::-;10451:205;:::o;2994:170::-;3052:7;3081:1;3076;:6;;3068:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3124:9;3140:1;3136;:5;3124:17;;3157:1;3150:8;;;2994:170;;;;:::o;7536:523::-;7621:9;;;;;;;;;;;7620:10;7612:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7744:3;7729:19;;:3;:19;;;;7721:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7774:21;7798:36;7819:9;:14;7829:3;7819:14;;;;;;;;;;;;;;;;7798:9;:16;7808:5;7798:16;;;;;;;;;;;;;;;;:20;;:36;;;;:::i;:::-;7774:60;;7860:28;7881:6;7860:9;:16;7870:5;7860:16;;;;;;;;;;;;;;;;:20;;:28;;;;:::i;:::-;7841:9;:16;7851:5;7841:16;;;;;;;;;;;;;;;:47;;;;7912:26;7931:6;7912:9;:14;7922:3;7912:14;;;;;;;;;;;;;;;;:18;;:26;;;;:::i;:::-;7895:9;:14;7905:3;7895:14;;;;;;;;;;;;;;;:43;;;;7994:16;7954:36;7975:9;:14;7985:3;7975:14;;;;;;;;;;;;;;;;7954:9;:16;7964:5;7954:16;;;;;;;;;;;;;;;;:20;;:36;;;;:::i;:::-;:56;7947:64;;;;8041:3;8025:28;;8034:5;8025:28;;;8046:6;8025:28;;;;;;;;;;;;;;;;;;7536:523;;;;:::o;2572:167::-;2630:7;2646:9;2662:1;2658;:5;2646:17;;2683:1;2678;:6;;2670:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2732:1;2725:8;;;2572:167;;;;:::o

bzzr://6ab24e7536f69464046621ab2d7b04e7b95922d0eb379f5d26679a26ec089197