Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract SafeMath
•    - function safeMul(uint256 a, uint256 b ...
•    - function safeDiv(uint256 a, uint256 b ...
•    - function safeSub(uint256 a, uint256 b ...
•    - function safeAdd(uint256 a, uint256 b ...
•    - function safeMulWithPresent(uint256 a ...
•    - function judgement(bool assertion)
•  contract ZMAuth
•    - function setOwner (address newOwner)
•  contract ZMStop is ZMAuth
•    - function _status()
•    - function stop()
•    - function start()
•  contract Token is SafeMath
•    - function balanceOf(address _owner)
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•    - function burn(uint256 amount)
•    - function frozenCheck(address _from , ...
•    - function freezeAccount(address target ...
•  contract StandardToken is Token ,Z ...
•    - function transfer(address _to, uint25 ...
•    - function transferFrom(address _from, ...
•    - function balanceOf(address _owner)
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•    - function burn(uint256 amount)
•    - function frozenCheck(address _from , ...
•    - function freezeAccount(address target ...
•  contract ZMToken is StandardToken *
•    - function ()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-03-23
*/

pragma solidity ^0.4.24;
/**
 * Math operations with safety checks
 */
contract SafeMath {

	function safeMul(uint256 a, uint256 b) pure internal returns (uint256) {
		uint256 c = a * b;
		judgement(a == 0 || c / a == b);
		return c;
	}

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

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

	function safeAdd(uint256 a, uint256 b) pure internal returns (uint256) {
		uint256 c = a + b;
		judgement(c>=a && c>=b);
		return c;
	}
	function safeMulWithPresent(uint256 a , uint256 b) pure internal returns (uint256){
		uint256 c = safeDiv(safeMul(a,b),1000);
		judgement(b == (c*1000)/a);
		return c;
	}
	function judgement(bool assertion) pure internal {
		if (!assertion) {
			revert();
		}
	}
}
contract ZMAuth{
	address public owner;
	constructor () public{
		owner = msg.sender;
	}
	event LogOwnerChanged (address msgSender );

	///@notice check if the msgSender is owner
	modifier onlyOwner{
		assert(msg.sender == owner);
		_;
	}

	function setOwner (address newOwner) public onlyOwner returns (bool){
		if (owner == msg.sender){
			owner = newOwner;
			emit LogOwnerChanged(msg.sender);
			return true;
		}else{
			return false;
		}
	}

}
contract ZMStop is ZMAuth{
	bool internal stopped = false;

	modifier stoppable {
		assert (!stopped);
		_;
	}

	function _status() view public returns (bool){
		return stopped;
	}
	function stop() public onlyOwner{
		stopped = true;
	}
	function start() public onlyOwner{
		stopped = false;
	}

}
contract Token is SafeMath {
	/*
		Standard ERC20 token
	*/
	uint256 public totalSupply;                                 /// total amount of tokens
	/// @param _owner The address from which the balance will be retrieved
	/// @return The balance
	function balanceOf(address _owner) public view returns (uint256 balance);

	/// @notice send `_value` token to `_to` from `msg.sender`
	/// @param _to The address of the recipient
	/// @param _value The amount of token to be transferred
	/// @return Whether the transfer was successful or not
	function transfer(address _to, uint256 _value) public returns (bool success);

	/// @notice send `_value` token to `_to` from `_from` on the condition it is approved by `_from`
	/// @param _from The address of the sender
	/// @param _to The address of the recipient
	/// @param _value The amount of token to be transferred
	/// @return Whether the transfer was successful or not
	function transferFrom(address _from, address _to, uint256 _value) public returns (bool success);

	/// @notice `msg.sender` approves `_spender` to spend `_value` tokens
	/// @param _spender The address of the account able to transfer the tokens
	/// @param _value The amount of tokens to be approved for transfer
	/// @return Whether the approval was successful or not
	function approve(address _spender, uint256 _value) public returns (bool success);

	/// @param _owner The address of the account owning tokens
	/// @param _spender The address of the account able to transfer the tokens
	/// @return Amount of remaining tokens allowed to spent
	function allowance(address _owner, address _spender) view public returns (uint256 remaining);

	function burn(uint256 amount) public returns (bool);
	
	function frozenCheck(address _from , address _to) view private returns (bool);

	function freezeAccount(address target , bool freeze) public;

	event Transfer(address indexed _from, address indexed _to, uint256 _value);
	event Approval(address indexed _owner, address indexed _spender, uint256 _value);
	event Burn    (address indexed _owner , uint256 _value);
}
contract StandardToken is Token ,ZMStop{

	function transfer(address _to, uint256 _value) stoppable public returns (bool ind) {
		//Default assumes totalSupply can't be over max (2^256 - 1).
		//If your token leaves out totalSupply and can issue more tokens as time goes on, you need to check if it doesn't wrap.
		//Replace the if with this one instead.
		//if (balances[msg.sender] >= _value && balances[_to] + _value > balances[_to]) {
		require(_to!= address(0));
		require(frozenCheck(msg.sender,_to));
		if (balances[msg.sender] >= _value && _value > 0) {
			balances[msg.sender] = safeSub(balances[msg.sender] , _value);
			balances[_to]  = safeAdd(balances[_to],_value);
			emit Transfer(msg.sender, _to, _value);
			return true;
		} else { return false; }
	}

	function transferFrom(address _from, address _to, uint256 _value) stoppable public returns (bool success) {
		//same as above. Replace this line with the following if you want to protect against wrapping uints.
		require(frozenCheck(_from,_to));
		require(_to!= address(0));
		if (balances[_from] >= _value && allowed[_from][msg.sender] >= _value && _value > 0) {
			balances[_to]  = safeAdd(balances[_to],_value);
			balances[_from] = safeSub(balances[_from] , _value);
			allowed[_from][msg.sender] = safeSub(allowed[_from][msg.sender],_value);
			emit Transfer(_from, _to, _value);
			return true;
		} else { return false; }
	}

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

	function approve(address _spender, uint256 _value) stoppable public returns (bool success) {
		require(frozenCheck(_spender,msg.sender));
		require(_spender!= address(0));
		require(_value>0);
		require(allowed[msg.sender][_spender]==0);
		allowed[msg.sender][_spender] = _value;
		emit Approval(msg.sender, _spender, _value);
		return true;
	}

	function allowance(address _owner, address _spender) view public returns (uint256 remaining) {
		return allowed[_owner][_spender];
	}
	function burn(uint256 amount) stoppable onlyOwner public returns (bool){
		if(balances[msg.sender] > amount ){
			balances[msg.sender] = safeSub(balances[msg.sender],amount);
			totalSupply = safeSub(totalSupply,amount);
			emit Burn(msg.sender,amount);
			return true;
		}else{
			return false;
		}
	}
	function frozenCheck(address _from , address _to) view private returns (bool){
		require(!frozenAccount[_from]);
		require(!frozenAccount[_to]);
		return true;
	}
	function freezeAccount(address target , bool freeze) onlyOwner public{
		frozenAccount[target] = freeze;
	}

	mapping (address => uint256)                      internal  balances;
	mapping (address => mapping (address => uint256)) private  allowed;
	mapping (address => bool)                         private  frozenAccount;    //Save frozen account

}
contract ZMToken is StandardToken{

	string public name = "ZM";                                   /// Set the full name of this contract
	uint256 public decimals = 18;                                 /// Set the decimal
	string public symbol = "ZM";                                 /// Set the symbol of this contract

	constructor() public {                    /// Should have sth in this
		owner = msg.sender;
		totalSupply = 1000000000000000000000000000;
		balances[msg.sender] = totalSupply;
	}

	function () stoppable public {
		revert();
	}

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"stop","outputs":[],"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":"_status","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"setOwner","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"amount","type":"uint256"}],"name":"burn","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"ind","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"start","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"target","type":"address"},{"name":"freeze","type":"bool"}],"name":"freezeAccount","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":false,"stateMutability":"nonpayable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":false,"name":"msgSender","type":"address"}],"name":"LogOwnerChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_owner","type":"address"},{"indexed":true,"name":"_spender","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_owner","type":"address"},{"indexed":false,"name":"_value","type":"uint256"}],"name":"Burn","type":"event"}]

60806040526000600160146101000a81548160ff0219169083151502179055506040805190810160405280600281526020017f5a4d000000000000000000000000000000000000000000000000000000000000815250600590805190602001906200006c929190620001af565b5060126006556040805190810160405280600281526020017f5a4d00000000000000000000000000000000000000000000000000000000000081525060079080519060200190620000bf929190620001af565b50348015620000cd57600080fd5b5033600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555033600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506b033b2e3c9fd0803ce8000000600081905550600054600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506200025e565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620001f257805160ff191683800117855562000223565b8280016001018555821562000223579182015b828111156200022257825182559160200191906001019062000205565b5b50905062000232919062000236565b5090565b6200025b91905b80821115620002575760008160009055506001016200023d565b5090565b90565b6116c0806200026e6000396000f3006080604052600436106100e6576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461011157806307da68f5146101a1578063095ea7b3146101b85780630fb3844c1461021d57806313af40351461024c57806318160ddd146102a757806323b872dd146102d2578063313ce5671461035757806342966c681461038257806370a08231146103c75780638da5cb5b1461041e57806395d89b4114610475578063a9059cbb14610505578063be9a65551461056a578063dd62ed3e14610581578063e724529c146105f8575b3480156100f257600080fd5b50600160149054906101000a900460ff1615151561010c57fe5b600080fd5b34801561011d57600080fd5b50610126610647565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561016657808201518184015260208101905061014b565b50505050905090810190601f1680156101935780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101ad57600080fd5b506101b66106e5565b005b3480156101c457600080fd5b50610203600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061075a565b604051808215151515815260200191505060405180910390f35b34801561022957600080fd5b50610232610950565b604051808215151515815260200191505060405180910390f35b34801561025857600080fd5b5061028d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610967565b604051808215151515815260200191505060405180910390f35b3480156102b357600080fd5b506102bc610acf565b6040518082815260200191505060405180910390f35b3480156102de57600080fd5b5061033d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ad5565b604051808215151515815260200191505060405180910390f35b34801561036357600080fd5b5061036c610eb5565b6040518082815260200191505060405180910390f35b34801561038e57600080fd5b506103ad60048036038101908080359060200190929190505050610ebb565b604051808215151515815260200191505060405180910390f35b3480156103d357600080fd5b50610408600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611075565b6040518082815260200191505060405180910390f35b34801561042a57600080fd5b506104336110be565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561048157600080fd5b5061048a6110e4565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156104ca5780820151818401526020810190506104af565b50505050905090810190601f1680156104f75780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561051157600080fd5b50610550600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611182565b604051808215151515815260200191505060405180910390f35b34801561057657600080fd5b5061057f6113d3565b005b34801561058d57600080fd5b506105e2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611449565b6040518082815260200191505060405180910390f35b34801561060457600080fd5b50610645600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035151590602001909291905050506114d0565b005b60058054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156106dd5780601f106106b2576101008083540402835291602001916106dd565b820191906000526020600020905b8154815290600101906020018083116106c057829003601f168201915b505050505081565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561073e57fe5b60018060146101000a81548160ff021916908315150217905550565b6000600160149054906101000a900460ff1615151561077557fe5b61077f8333611584565b151561078a57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156107c657600080fd5b6000821115156107d557600080fd5b6000600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414151561086057600080fd5b81600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600160149054906101000a900460ff16905090565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156109c257fe5b3373ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610ac55781600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507fa414b3eaf11f6c863a0bb4b36d8231c14e687177fa35fc1ac22b8ff4cd2c109f33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a160019050610aca565b600090505b919050565b60005481565b6000600160149054906101000a900460ff16151515610af057fe5b610afa8484611584565b1515610b0557600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515610b4157600080fd5b81600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410158015610c0c575081600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410155b8015610c185750600082115b15610ea957610c66600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611642565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610cf2600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548361166c565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610dbb600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548361166c565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019050610eae565b600090505b9392505050565b60065481565b6000600160149054906101000a900460ff16151515610ed657fe5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610f2f57fe5b81600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054111561106b57610fbf600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548361166c565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061100e6000548361166c565b6000819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a260019050611070565b600090505b919050565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60078054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561117a5780601f1061114f5761010080835404028352916020019161117a565b820191906000526020600020905b81548152906001019060200180831161115d57829003601f168201915b505050505081565b6000600160149054906101000a900460ff1615151561119d57fe5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156111d957600080fd5b6111e33384611584565b15156111ee57600080fd5b81600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015801561123d5750600082115b156113c85761128b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548361166c565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611317600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611642565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190506113cd565b600090505b92915050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561142c57fe5b6000600160146101000a81548160ff021916908315150217905550565b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561152957fe5b80600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515156115df57600080fd5b600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151561163857600080fd5b6001905092915050565b600080828401905061166284821015801561165d5750838210155b611685565b8091505092915050565b600061167a83831115611685565b818303905092915050565b80151561169157600080fd5b505600a165627a7a72305820b8d7b0cfb55215b9164d8ec28f93950db3314322373ecb9484f4a67cbb6560f90029

0x6080604052600436106100e6576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde031461011157806307da68f5146101a1578063095ea7b3146101b85780630fb3844c1461021d57806313af40351461024c57806318160ddd146102a757806323b872dd146102d2578063313ce5671461035757806342966c681461038257806370a08231146103c75780638da5cb5b1461041e57806395d89b4114610475578063a9059cbb14610505578063be9a65551461056a578063dd62ed3e14610581578063e724529c146105f8575b3480156100f257600080fd5b50600160149054906101000a900460ff1615151561010c57fe5b600080fd5b34801561011d57600080fd5b50610126610647565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561016657808201518184015260208101905061014b565b50505050905090810190601f1680156101935780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101ad57600080fd5b506101b66106e5565b005b3480156101c457600080fd5b50610203600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061075a565b604051808215151515815260200191505060405180910390f35b34801561022957600080fd5b50610232610950565b604051808215151515815260200191505060405180910390f35b34801561025857600080fd5b5061028d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610967565b604051808215151515815260200191505060405180910390f35b3480156102b357600080fd5b506102bc610acf565b6040518082815260200191505060405180910390f35b3480156102de57600080fd5b5061033d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ad5565b604051808215151515815260200191505060405180910390f35b34801561036357600080fd5b5061036c610eb5565b6040518082815260200191505060405180910390f35b34801561038e57600080fd5b506103ad60048036038101908080359060200190929190505050610ebb565b604051808215151515815260200191505060405180910390f35b3480156103d357600080fd5b50610408600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611075565b6040518082815260200191505060405180910390f35b34801561042a57600080fd5b506104336110be565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561048157600080fd5b5061048a6110e4565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156104ca5780820151818401526020810190506104af565b50505050905090810190601f1680156104f75780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561051157600080fd5b50610550600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611182565b604051808215151515815260200191505060405180910390f35b34801561057657600080fd5b5061057f6113d3565b005b34801561058d57600080fd5b506105e2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611449565b6040518082815260200191505060405180910390f35b34801561060457600080fd5b50610645600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035151590602001909291905050506114d0565b005b60058054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156106dd5780601f106106b2576101008083540402835291602001916106dd565b820191906000526020600020905b8154815290600101906020018083116106c057829003601f168201915b505050505081565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561073e57fe5b60018060146101000a81548160ff021916908315150217905550565b6000600160149054906101000a900460ff1615151561077557fe5b61077f8333611584565b151561078a57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156107c657600080fd5b6000821115156107d557600080fd5b6000600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414151561086057600080fd5b81600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600160149054906101000a900460ff16905090565b6000600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156109c257fe5b3373ffffffffffffffffffffffffffffffffffffffff16600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610ac55781600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507fa414b3eaf11f6c863a0bb4b36d8231c14e687177fa35fc1ac22b8ff4cd2c109f33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a160019050610aca565b600090505b919050565b60005481565b6000600160149054906101000a900460ff16151515610af057fe5b610afa8484611584565b1515610b0557600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515610b4157600080fd5b81600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410158015610c0c575081600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410155b8015610c185750600082115b15610ea957610c66600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611642565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610cf2600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548361166c565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610dbb600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548361166c565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019050610eae565b600090505b9392505050565b60065481565b6000600160149054906101000a900460ff16151515610ed657fe5b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610f2f57fe5b81600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054111561106b57610fbf600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548361166c565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061100e6000548361166c565b6000819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040518082815260200191505060405180910390a260019050611070565b600090505b919050565b6000600260008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60078054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561117a5780601f1061114f5761010080835404028352916020019161117a565b820191906000526020600020905b81548152906001019060200180831161115d57829003601f168201915b505050505081565b6000600160149054906101000a900460ff1615151561119d57fe5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156111d957600080fd5b6111e33384611584565b15156111ee57600080fd5b81600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015801561123d5750600082115b156113c85761128b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548361166c565b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611317600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483611642565b600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190506113cd565b600090505b92915050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561142c57fe5b6000600160146101000a81548160ff021916908315150217905550565b6000600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561152957fe5b80600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515156115df57600080fd5b600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151561163857600080fd5b6001905092915050565b600080828401905061166284821015801561165d5750838210155b611685565b8091505092915050565b600061167a83831115611685565b818303905092915050565b80151561169157600080fd5b505600a165627a7a72305820b8d7b0cfb55215b9164d8ec28f93950db3314322373ecb9484f4a67cbb6560f90029

6758:565:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6758:565:0;1530:7;;;;;;;;;;;1529:8;1521:17;;;;;;7305:8;;;6797:25;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6797:25: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;6797:25:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1626:56;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1626:56:0;;;;;;5419:352;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5419:352:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1554:69;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1554:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;1214:212;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1214:212:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1815:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1815:26:0;;;;;;;;;;;;;;;;;;;;;;;4662:641;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4662:641:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6899:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6899:28:0;;;;;;;;;;;;;;;;;;;;;;;5914:311;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5914:311:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5308:106;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5308:106:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;979:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;979:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;6983:27;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6983:27: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;6983:27:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3920:737;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3920:737:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1685:58;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1685:58:0;;;;;;5776:135;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5776:135:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6397:109;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6397:109:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6797:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1626:56::-;1192:5;;;;;;;;;;;1178:19;;:10;:19;;;1171:27;;;;;;1673:4;1663:7;;:14;;;;;;;;;;;;;;;;;;1626:56::o;5419:352::-;5496:12;1530:7;;;;;;;;;;;1529:8;1521:17;;;;;;5523:32;5535:8;5544:10;5523:11;:32::i;:::-;5515:41;;;;;;;;5588:1;5569:21;;:8;:21;;;;5561:30;;;;;;;;5611:1;5604:6;:8;5596:17;;;;;;;;5657:1;5626:7;:19;5634:10;5626:19;;;;;;;;;;;;;;;:29;5646:8;5626:29;;;;;;;;;;;;;;;;:32;5618:41;;;;;;;;5696:6;5664:7;:19;5672:10;5664:19;;;;;;;;;;;;;;;:29;5684:8;5664:29;;;;;;;;;;;;;;;:38;;;;5733:8;5712:38;;5721:10;5712:38;;;5743:6;5712:38;;;;;;;;;;;;;;;;;;5762:4;5755:11;;5419:352;;;;:::o;1554:69::-;1594:4;1611:7;;;;;;;;;;;1604:14;;1554:69;:::o;1214:212::-;1277:4;1192:5;;;;;;;;;;;1178:19;;:10;:19;;;1171:27;;;;;;1300:10;1291:19;;:5;;;;;;;;;;;:19;;;1287:135;;;1325:8;1317:5;;:16;;;;;;;;;;;;;;;;;;1344:27;1360:10;1344:27;;;;;;;;;;;;;;;;;;;;;;1384:4;1377:11;;;;1287:135;1411:5;1404:12;;1203:1;1214:212;;;:::o;1815:26::-;;;;:::o;4662:641::-;4754:12;1530:7;;;;;;;;;;;1529:8;1521:17;;;;;;4885:22;4897:5;4903:3;4885:11;:22::i;:::-;4877:31;;;;;;;;4935:1;4921:16;;:3;:16;;;;4913:25;;;;;;;;4966:6;4947:8;:15;4956:5;4947:15;;;;;;;;;;;;;;;;:25;;:65;;;;;5006:6;4976:7;:14;4984:5;4976:14;;;;;;;;;;;;;;;:26;4991:10;4976:26;;;;;;;;;;;;;;;;:36;;4947:65;:79;;;;;5025:1;5016:6;:10;4947:79;4943:356;;;5051:29;5059:8;:13;5068:3;5059:13;;;;;;;;;;;;;;;;5073:6;5051:7;:29::i;:::-;5034:8;:13;5043:3;5034:13;;;;;;;;;;;;;;;:46;;;;5104:33;5112:8;:15;5121:5;5112:15;;;;;;;;;;;;;;;;5130:6;5104:7;:33::i;:::-;5086:8;:15;5095:5;5086:15;;;;;;;;;;;;;;;:51;;;;5172:42;5180:7;:14;5188:5;5180:14;;;;;;;;;;;;;;;:26;5195:10;5180:26;;;;;;;;;;;;;;;;5207:6;5172:7;:42::i;:::-;5143:7;:14;5151:5;5143:14;;;;;;;;;;;;;;;:26;5158:10;5143:26;;;;;;;;;;;;;;;:71;;;;5241:3;5225:28;;5234:5;5225:28;;;5246:6;5225:28;;;;;;;;;;;;;;;;;;5266:4;5259:11;;;;4943:356;5291:5;5284:12;;1543:1;4662:641;;;;;:::o;6899:28::-;;;;:::o;5914:311::-;5980:4;1530:7;;;;;;;;;;;1529:8;1521:17;;;;;;1192:5;;;;;;;;;;;1178:19;;:10;:19;;;1171:27;;;;;;6016:6;5993:8;:20;6002:10;5993:20;;;;;;;;;;;;;;;;:29;5990:231;;;6053:36;6061:8;:20;6070:10;6061:20;;;;;;;;;;;;;;;;6082:6;6053:7;:36::i;:::-;6030:8;:20;6039:10;6030:20;;;;;;;;;;;;;;;:59;;;;6109:27;6117:11;;6129:6;6109:7;:27::i;:::-;6095:11;:41;;;;6152:10;6147:23;;;6163:6;6147:23;;;;;;;;;;;;;;;;;;6183:4;6176:11;;;;5990:231;6210:5;6203:12;;1203:1;5914:311;;;:::o;5308:106::-;5364:15;5393:8;:16;5402:6;5393:16;;;;;;;;;;;;;;;;5386:23;;5308:106;;;:::o;979:20::-;;;;;;;;;;;;;:::o;6983:27::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3920:737::-;3993:8;1530:7;;;;;;;;;;;1529:8;1521:17;;;;;;4345:1;4331:16;;:3;:16;;;;4323:25;;;;;;;;4361:27;4373:10;4384:3;4361:11;:27::i;:::-;4353:36;;;;;;;;4422:6;4398:8;:20;4407:10;4398:20;;;;;;;;;;;;;;;;:30;;:44;;;;;4441:1;4432:6;:10;4398:44;4394:259;;;4473:38;4481:8;:20;4490:10;4481:20;;;;;;;;;;;;;;;;4504:6;4473:7;:38::i;:::-;4450:8;:20;4459:10;4450:20;;;;;;;;;;;;;;;:61;;;;4534:29;4542:8;:13;4551:3;4542:13;;;;;;;;;;;;;;;;4556:6;4534:7;:29::i;:::-;4517:8;:13;4526:3;4517:13;;;;;;;;;;;;;;;:46;;;;4595:3;4574:33;;4583:10;4574:33;;;4600:6;4574:33;;;;;;;;;;;;;;;;;;4620:4;4613:11;;;;4394:259;4645:5;4638:12;;1543:1;3920:737;;;;:::o;1685:58::-;1192:5;;;;;;;;;;;1178:19;;:10;:19;;;1171:27;;;;;;1733:5;1723:7;;:15;;;;;;;;;;;;;;;;;;1685:58::o;5776:135::-;5850:17;5881:7;:15;5889:6;5881:15;;;;;;;;;;;;;;;:25;5897:8;5881:25;;;;;;;;;;;;;;;;5874:32;;5776:135;;;;:::o;6397:109::-;1192:5;;;;;;;;;;;1178:19;;:10;:19;;;1171:27;;;;;;6495:6;6471:13;:21;6485:6;6471:21;;;;;;;;;;;;;;;;:30;;;;;;;;;;;;;;;;;;6397:109;;:::o;6228:166::-;6300:4;6319:13;:20;6333:5;6319:20;;;;;;;;;;;;;;;;;;;;;;;;;6318:21;6310:30;;;;;;;;6354:13;:18;6368:3;6354:18;;;;;;;;;;;;;;;;;;;;;;;;;6353:19;6345:28;;;;;;;;6385:4;6378:11;;6228:166;;;;:::o;542:139::-;604:7;618:9;634:1;630;:5;618:17;;640:23;653:1;650;:4;;:12;;;;;661:1;658;:4;;650:12;640:9;:23::i;:::-;675:1;668:8;;542:139;;;;;:::o;422:115::-;484:7;498:17;513:1;508;:6;;498:9;:17::i;:::-;531:1;527;:5;520:12;;422:115;;;;:::o;861:94::-;920:9;919:10;915:36;;;937:8;;;915:36;861:94;:::o

bzzr://b8d7b0cfb55215b9164d8ec28f93950db3314322373ecb9484f4a67cbb6560f9