Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function mul(uint256 _a, uint256 _b)
•    - function div(uint256 _a, uint256 _b)
•    - function sub(uint256 _a, uint256 _b)
•    - function add(uint256 _a, uint256 _b)
•  contract Owned
•    - function Owned()
•    - function transferOwnership(address ne ...
•  contract MigrationAgent
•    - function migrateFrom(address _from, u ...
• interface tokenRecipient function re ...
•  contract TokenERC20
•    - function TokenERC20(uint256 initialSu ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function approveAndCall(address _spen ...
•    - function burn(uint256 _value)
•    - function burnFrom(address _from, uint ...
•  contract WADCoin is Owned, TokenER ... *
•    - function WADCoin( uint256 _initialSup ...
•    - function mintToken(address target, ui ...
•    - function setPrices(uint256 newSellPri ...
•    - function _transfer(address _from, add ...
•    - function transfer(address _to, uint25 ...
•    - function lock(address _of, bytes32 _r ...
•    - function extendLock(bytes32 _reason, ...
•    - function tokensLocked(address _of, by ...
•    - function transferableBalanceOf(addres ...
•    - function setMigrationAgent(address _a ...
•    - function setMigrationMaster(address _ ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.4.24;

// import 'openzeppelin-solidity/contracts/math/SafeMath.sol';
// pragma solidity ^0.4.24;


/**
 * @title SafeMath
 * @dev Math operations with safety checks that throw on error
 */
library SafeMath {

  /**
  * @dev Multiplies two numbers, throws on overflow.
  */
  function mul(uint256 _a, uint256 _b) internal pure returns (uint256 c) {
    // Gas optimization: this is cheaper than asserting '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;
    }

    c = _a * _b;
    assert(c / _a == _b);
    return c;
  }

  /**
  * @dev Integer division of two numbers, truncating the quotient.
  */
  function div(uint256 _a, uint256 _b) internal pure returns (uint256) {
    // assert(_b > 0); // Solidity automatically throws when dividing by 0
    // uint256 c = _a / _b;
    // assert(_a == _b * c + _a % _b); // There is no case in which this doesn't hold
    return _a / _b;
  }

  /**
  * @dev Subtracts two numbers, throws on overflow (i.e. if subtrahend is greater than minuend).
  */
  function sub(uint256 _a, uint256 _b) internal pure returns (uint256) {
    assert(_b <= _a);
    return _a - _b;
  }

  /**
  * @dev Adds two numbers, throws on overflow.
  */
  function add(uint256 _a, uint256 _b) internal pure returns (uint256 c) {
    c = _a + _b;
    assert(c >= _a);
    return c;
  }
}

contract Owned {
	address public owner;

	function Owned() public {
		owner = msg.sender;
	}

	modifier onlyOwner {
		require(msg.sender == owner);
		_;
	}

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

contract MigrationAgent {
    function migrateFrom(address _from, uint256 _value);
}

interface tokenRecipient { function receiveApproval(address _from, uint256 _value, address _token, bytes _extraData) external; }

contract TokenERC20 {
	// Public variables of the token
	string public name;
	string public symbol;
	// uint8 public decimals = 18;
	uint8 public decimals = 4;
	// 18 decimals is the strongly suggested default, avoid changing it
	uint256 public totalSupply;

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

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

	/**
	 * Constrctor function
	 *
	 * Initializes contract with initial supply tokens to the creator of the contract
	 */
	function TokenERC20(uint256 initialSupply) public {
	    
		totalSupply = initialSupply * 10 ** uint256(decimals);  // Update total supply with the decimal amount
		balanceOf[msg.sender] = totalSupply;                // Give the creator all initial tokens
		name = "WADCoin";                                   // Set the name for display purposes
		symbol = "wad";                               // Set the symbol for display purposes
	}


	/**
	 * 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) {
		require(_value <= allowance[_from][msg.sender]);     // Check allowance
		allowance[_from][msg.sender] -= _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) {
			allowance[msg.sender][_spender] = _value;
			return true;
		}

	/**
	 * Set allowance for other address and notify
	 *
	 * Allows `_spender` to spend no more than `_value` tokens in your behalf, and then ping the contract about it
	 *
	 * @param _spender The address authorized to spend
	 * @param _value the max amount they can spend
	 * @param _extraData some extra information to send to the approved contract
	 */
	function approveAndCall(address _spender, uint256 _value, bytes _extraData)
		public
		returns (bool success) {
			tokenRecipient spender = tokenRecipient(_spender);
			if (approve(_spender, _value)) {
				spender.receiveApproval(msg.sender, _value, this, _extraData);
				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(balanceOf[msg.sender] >= _value);   // Check if the sender has enough
		balanceOf[msg.sender] -= _value;            // Subtract from the sender
		totalSupply -= _value;                      // Updates totalSupply
		emit Burn(msg.sender, _value);
		return true;
	}

	/**
	 * Destroy tokens from other account
	 *
	 * Remove `_value` tokens from the system irreversibly on behalf of `_from`.
	 *
	 * @param _from the address of the sender
	 * @param _value the amount of money to burn
	 */
	function burnFrom(address _from, uint256 _value) public returns (bool success) {
		require(balanceOf[_from] >= _value);                // Check if the targeted balance is enough
		require(_value <= allowance[_from][msg.sender]);    // Check allowance
		balanceOf[_from] -= _value;                         // Subtract from the targeted balance
		allowance[_from][msg.sender] -= _value;             // Subtract from the sender's allowance
		totalSupply -= _value;                              // Update totalSupply
		emit Burn(_from, _value);
		return true;
	}
}

/******************************************/
/*        WADTOKEN STARTS HERE       */
/******************************************/

contract WADCoin is Owned, TokenERC20 {
	using SafeMath for uint256;

	uint256 public sellPrice;
	uint256 public buyPrice;
    address public migrationAgent;
    uint256 public totalMigrated;
    address public migrationMaster;
    
    mapping(address => bytes32[]) public lockReason;
	mapping(address => mapping(bytes32 => lockToken)) public locked;
    
	struct lockToken {
        uint256 amount;
        uint256 validity;
    }
    
    // event Lock(
    //     address indexed _of,
    //     bytes32 indexed _reason,
    //     uint256 _amount,
    //     uint256 _validity
    // );

	/* This generates a public event on the blockchain that will notify clients */
	event Migrate(address indexed _from, address indexed _to, uint256 _value);
    
	/* Initializes contract with initial supply tokens to the creator of the contract */
	// function MyAdvancedToken(
	function WADCoin( uint256 _initialSupply) TokenERC20(_initialSupply) public {
// 		initialSupply = _initialSupply;
// 		tokenName = _tokenName;
// 		tokenSymbol = _tokenSymbol;
	}

	/// @notice Create `mintedAmount` tokens and send it to `target`
	/// @param target Address to receive the tokens
	/// @param mintedAmount the amount of tokens it will receive
	function mintToken(address target, uint256 mintedAmount) onlyOwner public {
		balanceOf[target] += mintedAmount;
		totalSupply += mintedAmount;
		emit Transfer(0, this, mintedAmount);
		emit Transfer(this, target, mintedAmount);
	}

	/// @notice Allow users to buy tokens for `newBuyPrice` eth and sell tokens for `newSellPrice` eth
	/// @param newSellPrice Price the users can sell to the contract
	/// @param newBuyPrice Price users can buy from the contract
	function setPrices(uint256 newSellPrice, uint256 newBuyPrice) onlyOwner public {
		sellPrice = newSellPrice;
		buyPrice = newBuyPrice;
	}
    
    /**
	 * Internal transfer, only can be called by this contract
	 */
	function _transfer(address _from, address _to, uint _value) internal {
	    
		// Prevent transfer to 0x0 address. Use burn() instead
		require(_to != 0x0);
		// Check if the sender has enough
		require(transferableBalanceOf(_from) >= _value);
		// Check for overflows
		require(balanceOf[_to] + _value > balanceOf[_to]);
		// Save this for an assertion in the future
		uint previousBalances = balanceOf[_from] + balanceOf[_to];
		// Subtract from the sender
		balanceOf[_from] -= _value;
		// Add the same to the recipient
		balanceOf[_to] += _value;
		emit Transfer(_from, _to, _value);
		// Asserts are used to use static analysis to find bugs in your code. They should never fail
		assert(balanceOf[_from] + balanceOf[_to] == previousBalances);
	}

	/**
	 * 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 {
		_transfer(msg.sender, _to, _value);
	}
    
	/**
     * @dev Locks a specified amount of tokens against an address,
     *      for a specified reason and time
     */
    
    function lock(address _of, bytes32 _reason, uint256 _amount, uint256 _time)
        onlyOwner
        public
        returns (bool)
    {
        uint256 validUntil = block.timestamp.add(_time);
        // If tokens are already locked, the functions extendLock or
        // increaseLockAmount should be used to make any changes
        //require(tokensLocked(_of, _reason, block.timestamp) == 0);
        require(_amount <= transferableBalanceOf(_of));
        
        if (locked[_of][_reason].amount == 0)
            lockReason[_of].push(_reason);
        
        if(tokensLocked(_of, _reason, block.timestamp) == 0){
            locked[_of][_reason] = lockToken(_amount, validUntil);    
        }else{
            locked[_of][_reason].amount += _amount;   
        }
        
        //emit Lock(_of, _reason, _amount, validUntil);
        return true;
    }
    
    /**
     * @dev Extends lock for a specified reason and time
     * @param _reason The reason to lock tokens
     * @param _time Lock extension time in seconds
     */
    function extendLock(bytes32 _reason, uint256 _time)
        public
        returns (bool)
    {
        require(tokensLocked(msg.sender, _reason, block.timestamp) > 0);
        locked[msg.sender][_reason].validity += _time;
        // emit Lock(msg.sender, _reason, locked[msg.sender][_reason].amount, locked[msg.sender][_reason].validity);
        return true;
    }
    
    
    /**
     * @dev Returns tokens locked for a specified address for a
     *      specified reason at a specified time
     *
     * @param _of The address whose tokens are locked
     * @param _reason The reason to query the lock tokens for
     * @param _time The timestamp to query the lock tokens for
     */
    function tokensLocked(address _of, bytes32 _reason, uint256 _time)
        public
        view
        returns (uint256 amount)
    {
        if (locked[_of][_reason].validity > _time)
            amount = locked[_of][_reason].amount;
    }

	function transferableBalanceOf(address _of)
		public
		view
		returns (uint256 amount)
		{
			uint256 lockedAmount = 0;
			for (uint256 i=0; i < lockReason[_of].length; i++) {
				lockedAmount += tokensLocked(_of,lockReason[_of][i], block.timestamp);
			}
			// amount = balances[_of].sub(lockedAmount);
			amount = balanceOf[_of].sub(lockedAmount);
			return amount;
		}
    
	/// @notice Set address of migration target contract and enable migration
	/// process.
	/// @dev Required state: Operational Normal
	/// @dev State transition: -> Operational Migration
	/// @param _agent The address of the MigrationAgent contract
	function setMigrationAgent(address _agent) external {
		// Abort if not in Operational Normal state.
		if (migrationAgent != 0) throw;
		if (msg.sender != migrationMaster) throw;
		migrationAgent = _agent;
	}

	function setMigrationMaster(address _master) external {
		if (msg.sender != migrationMaster) throw;
		if (_master == 0) throw;
		migrationMaster = _master;
	}
	
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[{"name":"newSellPrice","type":"uint256"},{"name":"newBuyPrice","type":"uint256"}],"name":"setPrices","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_of","type":"address"},{"name":"_reason","type":"bytes32"},{"name":"_amount","type":"uint256"},{"name":"_time","type":"uint256"}],"name":"lock","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","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":false,"inputs":[{"name":"_master","type":"address"}],"name":"setMigrationMaster","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_of","type":"address"},{"name":"_reason","type":"bytes32"},{"name":"_time","type":"uint256"}],"name":"tokensLocked","outputs":[{"name":"amount","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"burn","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"sellPrice","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"migrationMaster","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"uint256"}],"name":"lockReason","outputs":[{"name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_agent","type":"address"}],"name":"setMigrationAgent","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"target","type":"address"},{"name":"mintedAmount","type":"uint256"}],"name":"mintToken","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_value","type":"uint256"}],"name":"burnFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"migrationAgent","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"buyPrice","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalMigrated","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_reason","type":"bytes32"},{"name":"_time","type":"uint256"}],"name":"extendLock","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_of","type":"address"}],"name":"transferableBalanceOf","outputs":[{"name":"amount","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"},{"name":"_extraData","type":"bytes"}],"name":"approveAndCall","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"bytes32"}],"name":"locked","outputs":[{"name":"amount","type":"uint256"},{"name":"validity","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"},{"name":"","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[{"name":"_initialSupply","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Migrate","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":"from","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Burn","type":"event"}]

60806040526004600360006101000a81548160ff021916908360ff1602179055503480156200002d57600080fd5b50604051602080620023138339810180604052810190808051906020019092919050505080336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600360009054906101000a900460ff1660ff16600a0a8102600481905550600454600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506040805190810160405280600781526020017f574144436f696e0000000000000000000000000000000000000000000000000081525060019080519060200190620001439291906200019a565b506040805190810160405280600381526020017f776164000000000000000000000000000000000000000000000000000000000081525060029080519060200190620001919291906200019a565b50505062000249565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620001dd57805160ff19168380011785556200020e565b828001600101855582156200020e579182015b828111156200020d578251825591602001919060010190620001f0565b5b5090506200021d919062000221565b5090565b6200024691905b808211156200024257600081600090555060010162000228565b5090565b90565b6120ba80620002596000396000f300608060405260043610610175576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806305fefda71461017a57806306fdde03146101b1578063087fad4114610241578063095ea7b3146102be57806318160ddd1461032357806323b872dd1461034e57806326316e58146103d3578063313ce567146104165780633cd8e5a51461044757806342966c68146104b65780634b750334146104fb578063676d2e621461052657806370a082311461057d57806371d66f00146105d457806375e2ff651461063d57806379c650681461068057806379cc6790146106cd5780638328dbcd146107325780638620410b146107895780638da5cb5b146107b457806395a0f5eb1461080b57806395d89b4114610836578063a9059cbb146108c6578063a9dab16714610913578063c7d9f4d114610966578063cae9ca51146109bd578063d71be8db14610a68578063dd62ed3e14610ad4578063f2fde38b14610b4b575b600080fd5b34801561018657600080fd5b506101af6004803603810190808035906020019092919080359060200190929190505050610b8e565b005b3480156101bd57600080fd5b506101c6610bfb565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102065780820151818401526020810190506101eb565b50505050905090810190601f1680156102335780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561024d57600080fd5b506102a4600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080356000191690602001909291908035906020019092919080359060200190929190505050610c99565b604051808215151515815260200191505060405180910390f35b3480156102ca57600080fd5b50610309600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f0a565b604051808215151515815260200191505060405180910390f35b34801561032f57600080fd5b50610338610f97565b6040518082815260200191505060405180910390f35b34801561035a57600080fd5b506103b9600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f9d565b604051808215151515815260200191505060405180910390f35b3480156103df57600080fd5b50610414600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506110bf565b005b34801561042257600080fd5b5061042b611183565b604051808260ff1660ff16815260200191505060405180910390f35b34801561045357600080fd5b506104a0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803560001916906020019092919080359060200190929190505050611196565b6040518082815260200191505060405180910390f35b3480156104c257600080fd5b506104e160048036038101908080359060200190929190505050611261565b604051808215151515815260200191505060405180910390f35b34801561050757600080fd5b50610510611365565b6040518082815260200191505060405180910390f35b34801561053257600080fd5b5061053b61136b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561058957600080fd5b506105be600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611391565b6040518082815260200191505060405180910390f35b3480156105e057600080fd5b5061061f600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506113a9565b60405180826000191660001916815260200191505060405180910390f35b34801561064957600080fd5b5061067e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113d9565b005b34801561068c57600080fd5b506106cb600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506114c0565b005b3480156106d957600080fd5b50610718600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611631565b604051808215151515815260200191505060405180910390f35b34801561073e57600080fd5b5061074761184b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561079557600080fd5b5061079e611871565b6040518082815260200191505060405180910390f35b3480156107c057600080fd5b506107c9611877565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561081757600080fd5b5061082061189c565b6040518082815260200191505060405180910390f35b34801561084257600080fd5b5061084b6118a2565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561088b578082015181840152602081019050610870565b50505050905090810190601f1680156108b85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156108d257600080fd5b50610911600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611940565b005b34801561091f57600080fd5b5061094c60048036038101908080356000191690602001909291908035906020019092919050505061194f565b604051808215151515815260200191505060405180910390f35b34801561097257600080fd5b506109a7600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506119dc565b6040518082815260200191505060405180910390f35b3480156109c957600080fd5b50610a4e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290505050611b03565b604051808215151515815260200191505060405180910390f35b348015610a7457600080fd5b50610ab7600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035600019169060200190929190505050611c86565b604051808381526020018281526020019250505060405180910390f35b348015610ae057600080fd5b50610b35600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611cb7565b6040518082815260200191505060405180910390f35b348015610b5757600080fd5b50610b8c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611cdc565b005b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610be957600080fd5b81600781905550806008819055505050565b60018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610c915780601f10610c6657610100808354040283529160200191610c91565b820191906000526020600020905b815481529060010190602001808311610c7457829003601f168201915b505050505081565b6000806000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610cf757600080fd5b610d0a8342611d7a90919063ffffffff16565b9050610d15866119dc565b8411151515610d2357600080fd5b6000600d60008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008760001916600019168152602001908152602001600020600001541415610df757600c60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208590806001815401808255809150509060018203906000526020600020016000909192909190915090600019169055505b6000610e04878742611196565b1415610e9357604080519081016040528085815260200182815250600d60008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600087600019166000191681526020019081526020016000206000820151816000015560208201518160010155905050610efd565b83600d60008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008760001916600019168152602001908152602001600020600001600082825401925050819055505b6001915050949350505050565b600081600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506001905092915050565b60045481565b6000600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561102a57600080fd5b81600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540392505081905550600190509392505050565b600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561111b57600080fd5b60008173ffffffffffffffffffffffffffffffffffffffff16141561113f57600080fd5b80600b60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600360009054906101000a900460ff1681565b600081600d60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000856000191660001916815260200190815260200160002060010154111561125a57600d60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600084600019166000191681526020019081526020016000206000015490505b9392505050565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101515156112b157600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540392505081905550816004600082825403925050819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a260019050919050565b60075481565b600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60056020528060005260406000206000915090505481565b600c602052816000526040600020818154811015156113c457fe5b90600052602060002001600091509150505481565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614151561142057600080fd5b600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561147c57600080fd5b80600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561151b57600080fd5b80600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550806004600082825401925050819055503073ffffffffffffffffffffffffffffffffffffffff1660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600081600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015151561168157600080fd5b600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561170c57600080fd5b81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555081600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540392505081905550816004600082825403925050819055508273ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a26001905092915050565b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60085481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600a5481565b60028054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156119385780601f1061190d57610100808354040283529160200191611938565b820191906000526020600020905b81548152906001019060200180831161191b57829003601f168201915b505050505081565b61194b338383611d96565b5050565b60008061195d338542611196565b11151561196957600080fd5b81600d60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008560001916600019168152602001908152602001600020600101600082825401925050819055506001905092915050565b6000806000809150600090505b600c60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050811015611aa557611a9484600c60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002083815481101515611a8357fe5b906000526020600020015442611196565b8201915080806001019150506119e9565b611af782600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461207590919063ffffffff16565b92508292505050919050565b600080849050611b138585610f0a565b15611c7d578073ffffffffffffffffffffffffffffffffffffffff16638f4ffcb1338630876040518563ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200180602001828103825283818151815260200191508051906020019080838360005b83811015611c0d578082015181840152602081019050611bf2565b50505050905090810190601f168015611c3a5780820380516001836020036101000a031916815260200191505b5095505050505050600060405180830381600087803b158015611c5c57600080fd5b505af1158015611c70573d6000803e3d6000fd5b5050505060019150611c7e565b5b509392505050565b600d602052816000526040600020602052806000526040600020600091509150508060000154908060010154905082565b6006602052816000526040600020602052806000526040600020600091509150505481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611d3757600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008183019050828110151515611d8d57fe5b80905092915050565b6000808373ffffffffffffffffffffffffffffffffffffffff1614151515611dbd57600080fd5b81611dc7856119dc565b10151515611dd457600080fd5b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205401111515611e6257600080fd5b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205401905081600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555081600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a380600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020540114151561206f57fe5b50505050565b600082821115151561208357fe5b8183039050929150505600a165627a7a723058204d7e1cbcb9668751e8cd0ba422bd3cb3e639930324307be7df41dd15da10b7ee0029000000000000000000000000000000000000000000000000000000020c855800

0x608060405260043610610175576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806305fefda71461017a57806306fdde03146101b1578063087fad4114610241578063095ea7b3146102be57806318160ddd1461032357806323b872dd1461034e57806326316e58146103d3578063313ce567146104165780633cd8e5a51461044757806342966c68146104b65780634b750334146104fb578063676d2e621461052657806370a082311461057d57806371d66f00146105d457806375e2ff651461063d57806379c650681461068057806379cc6790146106cd5780638328dbcd146107325780638620410b146107895780638da5cb5b146107b457806395a0f5eb1461080b57806395d89b4114610836578063a9059cbb146108c6578063a9dab16714610913578063c7d9f4d114610966578063cae9ca51146109bd578063d71be8db14610a68578063dd62ed3e14610ad4578063f2fde38b14610b4b575b600080fd5b34801561018657600080fd5b506101af6004803603810190808035906020019092919080359060200190929190505050610b8e565b005b3480156101bd57600080fd5b506101c6610bfb565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102065780820151818401526020810190506101eb565b50505050905090810190601f1680156102335780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561024d57600080fd5b506102a4600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080356000191690602001909291908035906020019092919080359060200190929190505050610c99565b604051808215151515815260200191505060405180910390f35b3480156102ca57600080fd5b50610309600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f0a565b604051808215151515815260200191505060405180910390f35b34801561032f57600080fd5b50610338610f97565b6040518082815260200191505060405180910390f35b34801561035a57600080fd5b506103b9600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f9d565b604051808215151515815260200191505060405180910390f35b3480156103df57600080fd5b50610414600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506110bf565b005b34801561042257600080fd5b5061042b611183565b604051808260ff1660ff16815260200191505060405180910390f35b34801561045357600080fd5b506104a0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803560001916906020019092919080359060200190929190505050611196565b6040518082815260200191505060405180910390f35b3480156104c257600080fd5b506104e160048036038101908080359060200190929190505050611261565b604051808215151515815260200191505060405180910390f35b34801561050757600080fd5b50610510611365565b6040518082815260200191505060405180910390f35b34801561053257600080fd5b5061053b61136b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561058957600080fd5b506105be600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611391565b6040518082815260200191505060405180910390f35b3480156105e057600080fd5b5061061f600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506113a9565b60405180826000191660001916815260200191505060405180910390f35b34801561064957600080fd5b5061067e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506113d9565b005b34801561068c57600080fd5b506106cb600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506114c0565b005b3480156106d957600080fd5b50610718600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611631565b604051808215151515815260200191505060405180910390f35b34801561073e57600080fd5b5061074761184b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561079557600080fd5b5061079e611871565b6040518082815260200191505060405180910390f35b3480156107c057600080fd5b506107c9611877565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561081757600080fd5b5061082061189c565b6040518082815260200191505060405180910390f35b34801561084257600080fd5b5061084b6118a2565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561088b578082015181840152602081019050610870565b50505050905090810190601f1680156108b85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156108d257600080fd5b50610911600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611940565b005b34801561091f57600080fd5b5061094c60048036038101908080356000191690602001909291908035906020019092919050505061194f565b604051808215151515815260200191505060405180910390f35b34801561097257600080fd5b506109a7600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506119dc565b6040518082815260200191505060405180910390f35b3480156109c957600080fd5b50610a4e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290505050611b03565b604051808215151515815260200191505060405180910390f35b348015610a7457600080fd5b50610ab7600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035600019169060200190929190505050611c86565b604051808381526020018281526020019250505060405180910390f35b348015610ae057600080fd5b50610b35600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611cb7565b6040518082815260200191505060405180910390f35b348015610b5757600080fd5b50610b8c600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611cdc565b005b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610be957600080fd5b81600781905550806008819055505050565b60018054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610c915780601f10610c6657610100808354040283529160200191610c91565b820191906000526020600020905b815481529060010190602001808311610c7457829003601f168201915b505050505081565b6000806000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610cf757600080fd5b610d0a8342611d7a90919063ffffffff16565b9050610d15866119dc565b8411151515610d2357600080fd5b6000600d60008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008760001916600019168152602001908152602001600020600001541415610df757600c60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208590806001815401808255809150509060018203906000526020600020016000909192909190915090600019169055505b6000610e04878742611196565b1415610e9357604080519081016040528085815260200182815250600d60008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600087600019166000191681526020019081526020016000206000820151816000015560208201518160010155905050610efd565b83600d60008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008760001916600019168152602001908152602001600020600001600082825401925050819055505b6001915050949350505050565b600081600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506001905092915050565b60045481565b6000600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561102a57600080fd5b81600660008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540392505081905550600190509392505050565b600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561111b57600080fd5b60008173ffffffffffffffffffffffffffffffffffffffff16141561113f57600080fd5b80600b60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600360009054906101000a900460ff1681565b600081600d60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000856000191660001916815260200190815260200160002060010154111561125a57600d60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600084600019166000191681526020019081526020016000206000015490505b9392505050565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054101515156112b157600080fd5b81600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540392505081905550816004600082825403925050819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a260019050919050565b60075481565b600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60056020528060005260406000206000915090505481565b600c602052816000526040600020818154811015156113c457fe5b90600052602060002001600091509150505481565b6000600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614151561142057600080fd5b600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561147c57600080fd5b80600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561151b57600080fd5b80600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540192505081905550806004600082825401925050819055503073ffffffffffffffffffffffffffffffffffffffff1660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a38173ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600081600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015151561168157600080fd5b600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561170c57600080fd5b81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555081600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282540392505081905550816004600082825403925050819055508273ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a26001905092915050565b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60085481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600a5481565b60028054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156119385780601f1061190d57610100808354040283529160200191611938565b820191906000526020600020905b81548152906001019060200180831161191b57829003601f168201915b505050505081565b61194b338383611d96565b5050565b60008061195d338542611196565b11151561196957600080fd5b81600d60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008560001916600019168152602001908152602001600020600101600082825401925050819055506001905092915050565b6000806000809150600090505b600c60008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002080549050811015611aa557611a9484600c60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002083815481101515611a8357fe5b906000526020600020015442611196565b8201915080806001019150506119e9565b611af782600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461207590919063ffffffff16565b92508292505050919050565b600080849050611b138585610f0a565b15611c7d578073ffffffffffffffffffffffffffffffffffffffff16638f4ffcb1338630876040518563ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200180602001828103825283818151815260200191508051906020019080838360005b83811015611c0d578082015181840152602081019050611bf2565b50505050905090810190601f168015611c3a5780820380516001836020036101000a031916815260200191505b5095505050505050600060405180830381600087803b158015611c5c57600080fd5b505af1158015611c70573d6000803e3d6000fd5b5050505060019150611c7e565b5b509392505050565b600d602052816000526040600020602052806000526040600020600091509150508060000154908060010154905082565b6006602052816000526040600020602052806000526040600020600091509150505481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611d3757600080fd5b806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008183019050828110151515611d8d57fe5b80905092915050565b6000808373ffffffffffffffffffffffffffffffffffffffff1614151515611dbd57600080fd5b81611dc7856119dc565b10151515611dd457600080fd5b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205401111515611e6257600080fd5b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205401905081600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254039250508190555081600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a380600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020540114151561206f57fe5b50505050565b600082821115151561208357fe5b8183039050929150505600a165627a7a723058204d7e1cbcb9668751e8cd0ba422bd3cb3e639930324307be7df41dd15da10b7ee0029

000000000000000000000000000000000000000000000000000000020c855800

-----Decoded View---------------
Arg [0] : _initialSupply (uint256): 8800000000

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000000000000000000000000000000000020c855800

6291:6236:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8031:140;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8031:140:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2064:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2064:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;2064:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9451:887;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9451:887:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4031:153;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4031:153:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2242:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2242:26:0;;;;;;;;;;;;;;;;;;;;;;;3518:271;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3518:271:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12359:162;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12359:162:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;2143:25;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2143:25:0;;;;;;;;;;;;;;;;;;;;;;;;;;;11243:247;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11243:247:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5006:341;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5006:341:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6365:24;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6365:24:0;;;;;;;;;;;;;;;;;;;;;;;6494:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6494:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;2319:45;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2319:45:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6537:47;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6537:47:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12141:213;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12141:213:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;7559:236;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7559:236:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5583:566;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5583:566:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6423:29;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6423:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;6393:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6393:23:0;;;;;;;;;;;;;;;;;;;;;;;1537:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1537:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;6459:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6459:28:0;;;;;;;;;;;;;;;;;;;;;;;2086:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2086:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;2086:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9207:98;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9207:98:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10527:375;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10527:375:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11495:383;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11495:383:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4553:302;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4553:302:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6588:63;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6588:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2368:66;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2368:66:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1688:88;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1688:88:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;8031:140;1666:5;;;;;;;;;;;1652:19;;:10;:19;;;1644:28;;;;;;;;8127:12;8115:9;:24;;;;8155:11;8144:8;:22;;;;8031:140;;:::o;2064:18::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;9451:887::-;9580:4;9602:18;1666:5;;;;;;;;;;;1652:19;;:10;:19;;;1644:28;;;;;;;;9623:26;9643:5;9623:15;:19;;:26;;;;:::i;:::-;9602:47;;9885:26;9907:3;9885:21;:26::i;:::-;9874:7;:37;;9866:46;;;;;;;;9968:1;9937:6;:11;9944:3;9937:11;;;;;;;;;;;;;;;:20;9949:7;9937:20;;;;;;;;;;;;;;;;;:27;;;:32;9933:80;;;9984:10;:15;9995:3;9984:15;;;;;;;;;;;;;;;10005:7;9984:29;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;9984:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;9933:80;10084:1;10037:43;10050:3;10055:7;10064:15;10037:12;:43::i;:::-;:48;10034:208;;;10124:30;;;;;;;;;10134:7;10124:30;;;;10143:10;10124:30;;;10101:6;:11;10108:3;10101:11;;;;;;;;;;;;;;;:20;10113:7;10101:20;;;;;;;;;;;;;;;;;:53;;;;;;;;;;;;;;;;;;;10034:208;;;10220:7;10189:6;:11;10196:3;10189:11;;;;;;;;;;;;;;;:20;10201:7;10189:20;;;;;;;;;;;;;;;;;:27;;;:38;;;;;;;;;;;10034:208;10326:4;10319:11;;9451:887;;;;;;;:::o;4031:153::-;4101:12;4155:6;4121:9;:21;4131:10;4121:21;;;;;;;;;;;;;;;:31;4143:8;4121:31;;;;;;;;;;;;;;;:40;;;;4174:4;4167:11;;4031:153;;;;:::o;2242:26::-;;;;:::o;3518:271::-;3600:12;3637:9;:16;3647:5;3637:16;;;;;;;;;;;;;;;:28;3654:10;3637:28;;;;;;;;;;;;;;;;3627:6;:38;;3619:47;;;;;;;;3726:6;3694:9;:16;3704:5;3694:16;;;;;;;;;;;;;;;:28;3711:10;3694:28;;;;;;;;;;;;;;;;:38;;;;;;;;;;;3780:4;3773:11;;3518:271;;;;;:::o;12359:162::-;12436:15;;;;;;;;;;;12422:29;;:10;:29;;;;12418:40;;;12453:5;;;12418:40;12478:1;12467:7;:12;;;12463:23;;;12481:5;;;12463:23;12509:7;12491:15;;:25;;;;;;;;;;;;;;;;;;12359:162;:::o;2143:25::-;;;;;;;;;;;;;:::o;11243:247::-;11358:14;11426:5;11394:6;:11;11401:3;11394:11;;;;;;;;;;;;;;;:20;11406:7;11394:20;;;;;;;;;;;;;;;;;:29;;;:37;11390:92;;;11455:6;:11;11462:3;11455:11;;;;;;;;;;;;;;;:20;11467:7;11455:20;;;;;;;;;;;;;;;;;:27;;;11446:36;;11390:92;11243:247;;;;;:::o;5006:341::-;5052:12;5104:6;5079:9;:21;5089:10;5079:21;;;;;;;;;;;;;;;;:31;;5071:40;;;;;;;;5177:6;5152:9;:21;5162:10;5152:21;;;;;;;;;;;;;;;;:31;;;;;;;;;;;5242:6;5227:11;;:21;;;;;;;;;;;5307:10;5302:24;;;5319:6;5302:24;;;;;;;;;;;;;;;;;;5338:4;5331:11;;5006:341;;;:::o;6365:24::-;;;;:::o;6494:30::-;;;;;;;;;;;;;:::o;2319:45::-;;;;;;;;;;;;;;;;;:::o;6537:47::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;12141:213::-;12268:1;12250:14;;;;;;;;;;;:19;;;;12246:30;;;12271:5;;;12246:30;12299:15;;;;;;;;;;;12285:29;;:10;:29;;;;12281:40;;;12316:5;;;12281:40;12343:6;12326:14;;:23;;;;;;;;;;;;;;;;;;12141:213;:::o;7559:236::-;1666:5;;;;;;;;;;;1652:19;;:10;:19;;;1644:28;;;;;;;;7659:12;7638:9;:17;7648:6;7638:17;;;;;;;;;;;;;;;;:33;;;;;;;;;;;7691:12;7676:11;;:27;;;;;;;;;;;7725:4;7713:31;;7722:1;7713:31;7731:12;7713:31;;;;;;;;;;;;;;;;;;7769:6;7754:36;;7763:4;7754:36;;;7777:12;7754:36;;;;;;;;;;;;;;;;;;7559:236;;:::o;5583:566::-;5648:12;5695:6;5675:9;:16;5685:5;5675:16;;;;;;;;;;;;;;;;:26;;5667:35;;;;;;;;5783:9;:16;5793:5;5783:16;;;;;;;;;;;;;;;:28;5800:10;5783:28;;;;;;;;;;;;;;;;5773:6;:38;;5765:47;;;;;;;;5859:6;5839:9;:16;5849:5;5839:16;;;;;;;;;;;;;;;;:26;;;;;;;;;;;5964:6;5932:9;:16;5942:5;5932:16;;;;;;;;;;;;;;;:28;5949:10;5932:28;;;;;;;;;;;;;;;;:38;;;;;;;;;;;6042:6;6027:11;;:21;;;;;;;;;;;6114:5;6109:19;;;6121:6;6109:19;;;;;;;;;;;;;;;;;;6140:4;6133:11;;5583:566;;;;:::o;6423:29::-;;;;;;;;;;;;;:::o;6393:23::-;;;;:::o;1537:20::-;;;;;;;;;;;;;:::o;6459:28::-;;;;:::o;2086:20::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;9207:98::-;9266:34;9276:10;9288:3;9293:6;9266:9;:34::i;:::-;9207:98;;:::o;10527:375::-;10613:4;10696:1;10643:50;10656:10;10668:7;10677:15;10643:12;:50::i;:::-;:54;10635:63;;;;;;;;10749:5;10709:6;:18;10716:10;10709:18;;;;;;;;;;;;;;;:27;10728:7;10709:27;;;;;;;;;;;;;;;;;:36;;;:45;;;;;;;;;;;10890:4;10883:11;;10527:375;;;;:::o;11495:383::-;11569:14;11594:20;11629:9;11617:1;11594:24;;11639:1;11629:11;;11624:134;11646:10;:15;11657:3;11646:15;;;;;;;;;;;;;;;:22;;;;11642:1;:26;11624:134;;;11698:53;11711:3;11715:10;:15;11726:3;11715:15;;;;;;;;;;;;;;;11731:1;11715:18;;;;;;;;;;;;;;;;;;11735:15;11698:12;:53::i;:::-;11682:69;;;;11670:3;;;;;;;11624:134;;;11821:32;11840:12;11821:9;:14;11831:3;11821:14;;;;;;;;;;;;;;;;:18;;:32;;;;:::i;:::-;11812:41;;11866:6;11859:13;;11495:383;;;;;:::o;4553:302::-;4651:12;4671:22;4711:8;4671:49;;4730:25;4738:8;4748:6;4730:7;:25::i;:::-;4726:124;;;4764:7;:23;;;4788:10;4800:6;4808:4;4814:10;4764:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;4764:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4764:61:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;4764:61:0;;;;4839:4;4832:11;;;;4726:124;4553:302;;;;;;;:::o;6588:63::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2368:66::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1688:88::-;1666:5;;;;;;;;;;;1652:19;;:10;:19;;;1644:28;;;;;;;;1763:8;1755:5;;:16;;;;;;;;;;;;;;;;;;1688:88;:::o;1379:132::-;1439:9;1466:2;1461;:7;1457:11;;1487:2;1482:1;:7;;1475:15;;;;;;1504:1;1497:8;;1379:132;;;;:::o;8255:768::-;8634:21;8409:3;8402;:10;;;;8394:19;;;;;;;;8495:6;8463:28;8485:5;8463:21;:28::i;:::-;:38;;8455:47;;;;;;;;8567:9;:14;8577:3;8567:14;;;;;;;;;;;;;;;;8558:6;8541:9;:14;8551:3;8541:14;;;;;;;;;;;;;;;;:23;:40;8533:49;;;;;;;;8677:9;:14;8687:3;8677:14;;;;;;;;;;;;;;;;8658:9;:16;8668:5;8658:16;;;;;;;;;;;;;;;;:33;8634:57;;8747:6;8727:9;:16;8737:5;8727:16;;;;;;;;;;;;;;;;:26;;;;;;;;;;;8812:6;8794:9;:14;8804:3;8794:14;;;;;;;;;;;;;;;;:24;;;;;;;;;;;8844:3;8828:28;;8837:5;8828:28;;;8849:6;8828:28;;;;;;;;;;;;;;;;;;9001:16;8983:9;:14;8993:3;8983:14;;;;;;;;;;;;;;;;8964:9;:16;8974:5;8964:16;;;;;;;;;;;;;;;;:33;:53;8957:61;;;;;;8255:768;;;;:::o;1193:119::-;1253:7;1282:2;1276;:8;;1269:16;;;;;;1304:2;1299;:7;1292:14;;1193:119;;;;:::o

bzzr://4d7e1cbcb9668751e8cd0ba422bd3cb3e639930324307be7df41dd15da10b7ee