Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract ERC20Basic    - function totalSupply()    - function balanceOf(address who)    - function transfer(address to, uint256 ...  contract ERC20 is ERC20Basic    - function allowance(address owner, add ...    - function transferFrom(address from, a ...    - function approve(address spender, uin ...  contract DetailedERC20 is ERC20  contract BasicToken is ERC20Basic    - function totalSupply()    - function transfer(address _to, uint25 ...    - function balanceOf(address _owner)  contract ERC20Token is BasicToken, ...    - function approve(address _spender, ui ...    - function allowance(address _owner, ad ...    - function increaseApproval(address _sp ...    - function decreaseApproval(address _sp ...  contract Ownable    - function transferOwnership(address ne ...    - function setAdmin(address newAdmin)    - function unsetAdmin(address Admin)  contract Pausable is Ownable    - function pause()    - function unpause()  contract PauserRole    - function isPauser(address account)    - function addPauser(address account)    - function renouncePauser()    - function _addPauser(address account)    - function _removePauser(address accoun ... 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) library Roles    - function add(Role storage role, addre ...    - function remove(Role storage role, ad ...    - function has(Role storage role, addre ...  contract BurnableToken is BasicTok ...    - function burn(uint256 _value)  contract InsightProtocol is Burnab ... *    - function transfer(address _to, uint25 ...    - function transferFrom(address _from, ...    - function lockOf(address _address)    - function setLock(address _address, ui ...    - function recall(address _from, uint25 ...    - function transferList(address[] _reci ...    - function setLockList(address[] _recip ...    - function()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-05-27
*/

pragma solidity 0.4.25;

contract ERC20Basic {
	function totalSupply() public view returns (uint256);
	function balanceOf(address who) public view returns (uint256);
	function transfer(address to, uint256 value) public returns (bool);
	event Transfer(address indexed from, address indexed to, uint256 value);
}

contract ERC20 is ERC20Basic {
	function allowance(address owner, address spender) public view returns (uint256);
	function transferFrom(address from, address to, uint256 value) public returns (bool);
	function approve(address spender, uint256 value) public returns (bool);
	event Approval(address indexed owner, address indexed spender, uint256 value);
}

contract DetailedERC20 is ERC20 {
	string public name;
	string public symbol;
	uint8 public decimals;
	
	constructor(string _name, string _symbol, uint8 _decimals) public {
		name = _name;
		symbol = _symbol;
		decimals = _decimals;
	}
}

contract BasicToken is ERC20Basic {
	using SafeMath for uint256;
	mapping(address => uint256) balances;
	mapping (address => uint256) freezeOf;
	uint256 _totalSupply;
	function totalSupply() public view returns (uint256) {
		return _totalSupply;
	}

	function transfer(address _to, uint256 _value) public returns (bool) {
		require(_to != address(0) && _value > 0 &&_value <= balances[msg.sender]);
        balances[msg.sender] = balances[msg.sender].sub(_value);
		balances[_to] = balances[_to].add(_value);
		emit Transfer(msg.sender, _to, _value);
		
		return true;
	}
	
	function balanceOf(address _owner) public view returns (uint256 balance) {
		return balances[_owner];
	}
}

contract ERC20Token is BasicToken, ERC20 {
	using SafeMath for uint256;
	mapping (address => mapping (address => uint256)) allowed;
	mapping (address => uint256) freezeOf;
	
	function approve(address _spender, uint256 _value) public returns (bool) {
		require(_value == 0 || allowed[msg.sender][_spender] == 0);
		allowed[msg.sender][_spender] = _value;
		emit Approval(msg.sender, _spender, _value);
		
		return true;
	}
	
	function allowance(address _owner, address _spender) public view returns (uint256 remaining) {
		return allowed[_owner][_spender];
	}

	function increaseApproval(address _spender, uint256 _addedValue) public returns (bool success) {
		allowed[msg.sender][_spender] = allowed[msg.sender][_spender].add(_addedValue);
		emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
		
		return true;
	}
	
	function decreaseApproval(address _spender, uint256 _subtractedValue) public returns (bool success) {
		uint256 oldValue = allowed[msg.sender][_spender];
		if (_subtractedValue >= oldValue) {
			allowed[msg.sender][_spender] = 0;
		} else {
			allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
		}
		
		emit Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
		
		return true;
		
	}
	
}

contract Ownable {

	address public owner;
	mapping (address => bool) admin;
	
	event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
	
	constructor() public {
		owner = msg.sender;
	}


	modifier onlyOwner() {
		require(msg.sender == owner);
		_;
	}
	
	modifier onlyOwnerOrAdmin() {
		require(msg.sender != address(0) || msg.sender == owner || admin[msg.sender] == true);
		_;
	}
	
	function transferOwnership(address newOwner) onlyOwner public {
		require(newOwner != address(0) && newOwner != owner && admin[newOwner] == true);
		emit OwnershipTransferred(owner, newOwner);
		owner = newOwner;
	}

	function setAdmin(address newAdmin) onlyOwner public {
		require(admin[newAdmin] != true && owner != newAdmin);
		admin[newAdmin] = true;
	}
	
	function unsetAdmin(address Admin) onlyOwner public {
		require(admin[Admin] != false && owner != Admin);
		admin[Admin] = false;
	}
  
}

contract Pausable is Ownable {
	event Pause();
	event Unpause();

	bool public paused = false;

	modifier whenNotPaused() {
		require(!paused);
		_;
	}

	modifier whenPaused() {
		require(paused);
		_;
	}

	function pause() onlyOwner whenNotPaused public {
		paused = true;
		emit Pause();
	}

	function unpause() onlyOwner whenPaused public {
		paused = false;
		emit Unpause();
	}
	
}


contract PauserRole {
	using Roles for Roles.Role;
	
	event PauserAdded(address indexed account);
	event PauserRemoved(address indexed account);

	Roles.Role private pausers;

	constructor() internal {
		_addPauser(msg.sender);
	}

	modifier onlyPauser() {
		require(isPauser(msg.sender));
		_;
	}

	function isPauser(address account) public view returns (bool) {
		return pausers.has(account);
	}

	function addPauser(address account) public onlyPauser {
		_addPauser(account);
	}

	function renouncePauser() public {
		_removePauser(msg.sender);
	}

	function _addPauser(address account) internal {
		pausers.add(account);
		emit PauserAdded(account);
	}

	function _removePauser(address account) internal {
		pausers.remove(account);
		emit PauserRemoved(account);
	}

}

library SafeMath {
	function mul(uint256 a, uint256 b) internal pure returns (uint256) {
		if (a == 0 || b == 0) {
			return 0;
		}
		
		uint256 c = a * b;
		assert(c / a == b);
		return c;
	}

	function div(uint256 a, uint256 b) internal pure returns (uint256) {
		uint256 c = a / b;
		return c;
	}
	
	function sub(uint256 a, uint256 b) internal pure returns (uint256) {
		assert(b <= a);
		return a - b;
	}

	function add(uint256 a, uint256 b) internal pure returns (uint256) {
		uint256 c = a + b;
		assert(c >= a);
		return c;
	}
}


library Roles {
	struct Role {
		mapping (address => bool) bearer;
	}

	function add(Role storage role, address account) internal {
		require(account != address(0));
		require(!has(role, account));

		role.bearer[account] = true;
	}

	function remove(Role storage role, address account) internal {
		require(account != address(0));
		require(has(role, account));

		role.bearer[account] = false;
	}

	function has(Role storage role, address account) internal view returns (bool){
		require(account != address(0));
		return role.bearer[account];
	}
	
}

contract BurnableToken is BasicToken, Ownable {
	event Burn(address indexed burner, uint256 amount);

	function burn(uint256 _value) onlyOwner public {
		balances[msg.sender] = balances[msg.sender].sub(_value);
		_totalSupply = _totalSupply.sub(_value);
		emit Burn(msg.sender, _value);
		emit Transfer(msg.sender, address(0), _value);
	}
}



contract InsightProtocol is BurnableToken, DetailedERC20, ERC20Token,Pausable{
	using SafeMath for uint256;

	event Approval(address indexed owner, address indexed spender, uint256 value);
	event LockerChanged(address indexed _address, uint256 amount);
	event Recall(address indexed from, uint256 amount);
	
	mapping(address => uint) public locker;
	
	string public constant symbol = "INX";
 	string public constant name = "InsightProtocol";
	uint8 public constant decimals = 18;
	
	uint256 public constant TOTAL_SUPPLY = 20*(10**8)*(10**uint256(decimals));

	constructor() DetailedERC20(name, symbol, decimals) public {
		_totalSupply = TOTAL_SUPPLY;
		balances[owner] = _totalSupply;
		emit Transfer(address(0x0), msg.sender, _totalSupply);
	}

	
	function transfer(address _to, uint256 _value)  public whenNotPaused returns (bool){
		require(balances[msg.sender] - _value >= locker[msg.sender]);
		return super.transfer(_to, _value);
	}

	function transferFrom(address _from, address _to, uint256 _value) public whenNotPaused returns (bool){
		balances[_from] = balances[_from].sub(_value);
		balances[_to] = balances[_to].add(_value);
		allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_value);

		emit Transfer(_from, _to, _value);

		return true;
		
	}
	
	function lockOf(address _address) public view returns (uint256 _locker) {
		return locker[_address];
	}

	function setLock(address _address, uint256 _value) public onlyOwnerOrAdmin {
		require(_value <= _totalSupply &&_address != address(0));
		locker[_address] = _value;
		emit LockerChanged(_address, _value);
	}

	function recall(address _from, uint256 _amount) public onlyOwnerOrAdmin {
	
		require(_amount > 0);

		uint256 currentLocker = locker[_from];
		uint256 currentBalance = balances[_from];

		require(currentLocker >= _amount && currentBalance >= _amount);

		uint256 newLock = currentLocker - _amount;
		locker[_from] = newLock;
		emit LockerChanged(_from, newLock);

		
		balances[_from] = balances[_from].sub(_amount);
		balances[owner] = balances[owner].add(_amount);
		emit Transfer(_from, owner, _amount);
		emit Recall(_from, _amount);
		
    }
		
	function transferList(address[] _recipients, uint256[] _balances) public onlyOwnerOrAdmin{
		require(_recipients.length == _balances.length);
		
		for (uint i=0; i < _recipients.length; i++) {
		    balances[msg.sender] = balances[msg.sender].sub(_balances[i]);
			balances[_recipients[i]] = balances[_recipients[i]].add(_balances[i]);
    		emit Transfer(msg.sender,_recipients[i],_balances[i]);
		}
	}

	function setLockList(address[] _recipients, uint256[] _balances) public onlyOwnerOrAdmin{
		require(_recipients.length == _balances.length);
		
		for (uint i=0; i < _recipients.length; i++) {
			locker[_recipients[i]] = _balances[i];
		    emit LockerChanged(_recipients[i], _balances[i]);
		}
	}
	
	function() public payable {
		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":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","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":"_recipients","type":"address[]"},{"name":"_balances","type":"uint256[]"}],"name":"setLockList","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_amount","type":"uint256"}],"name":"recall","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"Admin","type":"address"}],"name":"unsetAdmin","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_address","type":"address"}],"name":"lockOf","outputs":[{"name":"_locker","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_subtractedValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"newAdmin","type":"address"}],"name":"setAdmin","outputs":[],"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":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_recipients","type":"address[]"},{"name":"_balances","type":"uint256[]"}],"name":"transferList","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"TOTAL_SUPPLY","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":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_address","type":"address"},{"name":"_value","type":"uint256"}],"name":"setLock","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"locker","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_addedValue","type":"uint256"}],"name":"increaseApproval","outputs":[{"name":"success","type":"bool"}],"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":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"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":"_address","type":"address"},{"indexed":false,"name":"amount","type":"uint256"}],"name":"LockerChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":false,"name":"amount","type":"uint256"}],"name":"Recall","type":"event"},{"anonymous":false,"inputs":[],"name":"Pause","type":"event"},{"anonymous":false,"inputs":[],"name":"Unpause","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"burner","type":"address"},{"indexed":false,"name":"amount","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"}]

60806040526000600a60006101000a81548160ff0219169083151502179055503480156200002c57600080fd5b506040805190810160405280600f81526020017f496e736967687450726f746f636f6c00000000000000000000000000000000008152506040805190810160405280600381526020017f494e580000000000000000000000000000000000000000000000000000000000815250601233600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508260059080519060200190620000f492919062000215565b5081600690805190602001906200010d92919062000215565b5080600760006101000a81548160ff021916908360ff160217905550505050601260ff16600a0a637735940002600281905550600254600080600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6002546040518082815260200191505060405180910390a3620002c4565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200025857805160ff191683800117855562000289565b8280016001018555821562000289579182015b82811115620002885782518255916020019190600101906200026b565b5b5090506200029891906200029c565b5090565b620002c191905b80821115620002bd576000816000905550600101620002a3565b5090565b90565b612c0880620002d46000396000f300608060405260043610610154576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610159578063095ea7b3146101e957806318160ddd1461024e5780631d539764146102795780631f035c7a1461032257806323b872dd1461036f578063313ce567146103f45780633f4ba83a1461042557806342966c681461043c5780634d253b50146104695780635a46d3b5146104ac5780635c975abb146105035780636618846314610532578063704b6c021461059757806370a08231146105da5780638456cb5914610631578063859bc2f3146106485780638da5cb5b146106f1578063902d55a51461074857806395d89b4114610773578063a9059cbb14610803578063b0fc29e614610868578063d71c9c12146108b5578063d73dd6231461090c578063dd62ed3e14610971578063f2fde38b146109e8575b600080fd5b34801561016557600080fd5b5061016e610a2b565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101ae578082015181840152602081019050610193565b50505050905090810190601f1680156101db5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101f557600080fd5b50610234600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a64565b604051808215151515815260200191505060405180910390f35b34801561025a57600080fd5b50610263610beb565b6040518082815260200191505060405180910390f35b34801561028557600080fd5b506103206004803603810190808035906020019082018035906020019080806020026020016040519081016040528093929190818152602001838360200280828437820191505050505050919291929080359060200190820180359060200190808060200260200160405190810160405280939291908181526020018383602002808284378201915050505050509192919290505050610bf5565b005b34801561032e57600080fd5b5061036d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e03565b005b34801561037b57600080fd5b506103da600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611280565b604051808215151515815260200191505060405180910390f35b34801561040057600080fd5b50610409611543565b604051808260ff1660ff16815260200191505060405180910390f35b34801561043157600080fd5b5061043a611548565b005b34801561044857600080fd5b5061046760048036038101908080359060200190929190505050611608565b005b34801561047557600080fd5b506104aa600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506117c9565b005b3480156104b857600080fd5b506104ed600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061193a565b6040518082815260200191505060405180910390f35b34801561050f57600080fd5b50610518611983565b604051808215151515815260200191505060405180910390f35b34801561053e57600080fd5b5061057d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611996565b604051808215151515815260200191505060405180910390f35b3480156105a357600080fd5b506105d8600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c28565b005b3480156105e657600080fd5b5061061b600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611d99565b6040518082815260200191505060405180910390f35b34801561063d57600080fd5b50610646611de1565b005b34801561065457600080fd5b506106ef6004803603810190808035906020019082018035906020019080806020026020016040519081016040528093929190818152602001838360200280828437820191505050505050919291929080359060200190820180359060200190808060200260200160405190810160405280939291908181526020018383602002808284378201915050505050509192919290505050611ea2565b005b3480156106fd57600080fd5b506107066121d7565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561075457600080fd5b5061075d6121fd565b6040518082815260200191505060405180910390f35b34801561077f57600080fd5b5061078861220e565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156107c85780820151818401526020810190506107ad565b50505050905090810190601f1680156107f55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561080f57600080fd5b5061084e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612247565b604051808215151515815260200191505060405180910390f35b34801561087457600080fd5b506108b3600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612305565b005b3480156108c157600080fd5b506108f6600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506124d4565b6040518082815260200191505060405180910390f35b34801561091857600080fd5b50610957600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506124ec565b604051808215151515815260200191505060405180910390f35b34801561097d57600080fd5b506109d2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506126e8565b6040518082815260200191505060405180910390f35b3480156109f457600080fd5b50610a29600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061276f565b005b6040805190810160405280600f81526020017f496e736967687450726f746f636f6c000000000000000000000000000000000081525081565b600080821480610af057506000600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054145b1515610afb57600080fd5b81600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600254905090565b60008073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141580610c7f5750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b80610cda575060011515600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515145b1515610ce557600080fd5b81518351141515610cf557600080fd5b600090505b8251811015610dfe578181815181101515610d1157fe5b90602001906020020151600b60008584815181101515610d2d57fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508281815181101515610d8357fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff167f173c6954f6574ae8ea8afd3eed2fc6ddd6f1aac55aab5e2c3a10edc59ba2dfd38383815181101515610dd257fe5b906020019060200201516040518082815260200191505060405180910390a28080600101915050610cfa565b505050565b60008060008073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141580610e905750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b80610eeb575060011515600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515145b1515610ef657600080fd5b600084111515610f0557600080fd5b600b60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205492506000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549150838310158015610f985750838210155b1515610fa357600080fd5b838303905080600b60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff167f173c6954f6574ae8ea8afd3eed2fc6ddd6f1aac55aab5e2c3a10edc59ba2dfd3826040518082815260200191505060405180910390a261108b846000808873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461297d90919063ffffffff16565b6000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061114084600080600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461299690919063ffffffff16565b600080600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a38473ffffffffffffffffffffffffffffffffffffffff167f292f6683f4c6c70f710d3458e1113ffc895a78fd70fb44e8f8ad0e18f06fd87d856040518082815260200191505060405180910390a25050505050565b6000600a60009054906101000a900460ff1615151561129e57600080fd5b6112ef826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461297d90919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611382826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461299690919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061145382600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461297d90919063ffffffff16565b600860008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b601281565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156115a457600080fd5b600a60009054906101000a900460ff1615156115bf57600080fd5b6000600a60006101000a81548160ff0219169083151502179055507f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3360405160405180910390a1565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561166457600080fd5b6116b5816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461297d90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061170c8160025461297d90919063ffffffff16565b6002819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5826040518082815260200191505060405180910390a2600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a350565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561182557600080fd5b60001515600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515141580156118d457508073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614155b15156118df57600080fd5b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b6000600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600a60009054906101000a900460ff1681565b600080600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508083101515611aa8576000600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611b3c565b611abb838261297d90919063ffffffff16565b600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611c8457600080fd5b60011515600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151514158015611d3357508073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614155b1515611d3e57600080fd5b6001600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611e3d57600080fd5b600a60009054906101000a900460ff16151515611e5957600080fd5b6001600a60006101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405160405180910390a1565b60008073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141580611f2c5750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b80611f87575060011515600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515145b1515611f9257600080fd5b81518351141515611fa257600080fd5b600090505b82518110156121d2576120188282815181101515611fc157fe5b906020019060200201516000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461297d90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506120d9828281518110151561206b57fe5b90602001906020020151600080868581518110151561208657fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461299690919063ffffffff16565b60008085848151811015156120ea57fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550828181518110151561214057fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84848151811015156121a657fe5b906020019060200201516040518082815260200191505060405180910390a38080600101915050611fa7565b505050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b601260ff16600a0a63773594000281565b6040805190810160405280600381526020017f494e58000000000000000000000000000000000000000000000000000000000081525081565b6000600a60009054906101000a900460ff1615151561226557600080fd5b600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205403101515156122f357600080fd5b6122fd83836129b4565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614158061238e5750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b806123e9575060011515600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515145b15156123f457600080fd5b60025481111580156124335750600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b151561243e57600080fd5b80600b60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff167f173c6954f6574ae8ea8afd3eed2fc6ddd6f1aac55aab5e2c3a10edc59ba2dfd3826040518082815260200191505060405180910390a25050565b600b6020528060005260406000206000915090505481565b600061257d82600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461299690919063ffffffff16565b600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156127cb57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141580156128565750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b80156128b2575060011515600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515145b15156128bd57600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600082821115151561298b57fe5b818303905092915050565b60008082840190508381101515156129aa57fe5b8091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141580156129f25750600082115b8015612a3c57506000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211155b1515612a4757600080fd5b612a98826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461297d90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612b2b826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461299690919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019050929150505600a165627a7a7230582022508343e85c295481b99fefb8ad04ddf2560bb01015e1559bc41f043252057f0029

0x608060405260043610610154576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde0314610159578063095ea7b3146101e957806318160ddd1461024e5780631d539764146102795780631f035c7a1461032257806323b872dd1461036f578063313ce567146103f45780633f4ba83a1461042557806342966c681461043c5780634d253b50146104695780635a46d3b5146104ac5780635c975abb146105035780636618846314610532578063704b6c021461059757806370a08231146105da5780638456cb5914610631578063859bc2f3146106485780638da5cb5b146106f1578063902d55a51461074857806395d89b4114610773578063a9059cbb14610803578063b0fc29e614610868578063d71c9c12146108b5578063d73dd6231461090c578063dd62ed3e14610971578063f2fde38b146109e8575b600080fd5b34801561016557600080fd5b5061016e610a2b565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101ae578082015181840152602081019050610193565b50505050905090810190601f1680156101db5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156101f557600080fd5b50610234600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a64565b604051808215151515815260200191505060405180910390f35b34801561025a57600080fd5b50610263610beb565b6040518082815260200191505060405180910390f35b34801561028557600080fd5b506103206004803603810190808035906020019082018035906020019080806020026020016040519081016040528093929190818152602001838360200280828437820191505050505050919291929080359060200190820180359060200190808060200260200160405190810160405280939291908181526020018383602002808284378201915050505050509192919290505050610bf5565b005b34801561032e57600080fd5b5061036d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610e03565b005b34801561037b57600080fd5b506103da600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611280565b604051808215151515815260200191505060405180910390f35b34801561040057600080fd5b50610409611543565b604051808260ff1660ff16815260200191505060405180910390f35b34801561043157600080fd5b5061043a611548565b005b34801561044857600080fd5b5061046760048036038101908080359060200190929190505050611608565b005b34801561047557600080fd5b506104aa600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506117c9565b005b3480156104b857600080fd5b506104ed600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061193a565b6040518082815260200191505060405180910390f35b34801561050f57600080fd5b50610518611983565b604051808215151515815260200191505060405180910390f35b34801561053e57600080fd5b5061057d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611996565b604051808215151515815260200191505060405180910390f35b3480156105a357600080fd5b506105d8600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611c28565b005b3480156105e657600080fd5b5061061b600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611d99565b6040518082815260200191505060405180910390f35b34801561063d57600080fd5b50610646611de1565b005b34801561065457600080fd5b506106ef6004803603810190808035906020019082018035906020019080806020026020016040519081016040528093929190818152602001838360200280828437820191505050505050919291929080359060200190820180359060200190808060200260200160405190810160405280939291908181526020018383602002808284378201915050505050509192919290505050611ea2565b005b3480156106fd57600080fd5b506107066121d7565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561075457600080fd5b5061075d6121fd565b6040518082815260200191505060405180910390f35b34801561077f57600080fd5b5061078861220e565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156107c85780820151818401526020810190506107ad565b50505050905090810190601f1680156107f55780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561080f57600080fd5b5061084e600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612247565b604051808215151515815260200191505060405180910390f35b34801561087457600080fd5b506108b3600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612305565b005b3480156108c157600080fd5b506108f6600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506124d4565b6040518082815260200191505060405180910390f35b34801561091857600080fd5b50610957600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506124ec565b604051808215151515815260200191505060405180910390f35b34801561097d57600080fd5b506109d2600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506126e8565b6040518082815260200191505060405180910390f35b3480156109f457600080fd5b50610a29600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061276f565b005b6040805190810160405280600f81526020017f496e736967687450726f746f636f6c000000000000000000000000000000000081525081565b600080821480610af057506000600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054145b1515610afb57600080fd5b81600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600254905090565b60008073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141580610c7f5750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b80610cda575060011515600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515145b1515610ce557600080fd5b81518351141515610cf557600080fd5b600090505b8251811015610dfe578181815181101515610d1157fe5b90602001906020020151600b60008584815181101515610d2d57fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508281815181101515610d8357fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff167f173c6954f6574ae8ea8afd3eed2fc6ddd6f1aac55aab5e2c3a10edc59ba2dfd38383815181101515610dd257fe5b906020019060200201516040518082815260200191505060405180910390a28080600101915050610cfa565b505050565b60008060008073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141580610e905750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b80610eeb575060011515600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515145b1515610ef657600080fd5b600084111515610f0557600080fd5b600b60008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205492506000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549150838310158015610f985750838210155b1515610fa357600080fd5b838303905080600b60008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff167f173c6954f6574ae8ea8afd3eed2fc6ddd6f1aac55aab5e2c3a10edc59ba2dfd3826040518082815260200191505060405180910390a261108b846000808873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461297d90919063ffffffff16565b6000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061114084600080600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461299690919063ffffffff16565b600080600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef866040518082815260200191505060405180910390a38473ffffffffffffffffffffffffffffffffffffffff167f292f6683f4c6c70f710d3458e1113ffc895a78fd70fb44e8f8ad0e18f06fd87d856040518082815260200191505060405180910390a25050505050565b6000600a60009054906101000a900460ff1615151561129e57600080fd5b6112ef826000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461297d90919063ffffffff16565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611382826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461299690919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061145382600860008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461297d90919063ffffffff16565b600860008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b601281565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156115a457600080fd5b600a60009054906101000a900460ff1615156115bf57600080fd5b6000600a60006101000a81548160ff0219169083151502179055507f7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b3360405160405180910390a1565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561166457600080fd5b6116b5816000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461297d90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061170c8160025461297d90919063ffffffff16565b6002819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5826040518082815260200191505060405180910390a2600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a350565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561182557600080fd5b60001515600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515141580156118d457508073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614155b15156118df57600080fd5b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b6000600b60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600a60009054906101000a900460ff1681565b600080600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508083101515611aa8576000600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611b3c565b611abb838261297d90919063ffffffff16565b600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8373ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a3600191505092915050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611c8457600080fd5b60011515600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151514158015611d3357508073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614155b1515611d3e57600080fd5b6001600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611e3d57600080fd5b600a60009054906101000a900460ff16151515611e5957600080fd5b6001600a60006101000a81548160ff0219169083151502179055507f6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff62560405160405180910390a1565b60008073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141580611f2c5750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b80611f87575060011515600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515145b1515611f9257600080fd5b81518351141515611fa257600080fd5b600090505b82518110156121d2576120188282815181101515611fc157fe5b906020019060200201516000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461297d90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506120d9828281518110151561206b57fe5b90602001906020020151600080868581518110151561208657fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461299690919063ffffffff16565b60008085848151811015156120ea57fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550828181518110151561214057fe5b9060200190602002015173ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84848151811015156121a657fe5b906020019060200201516040518082815260200191505060405180910390a38080600101915050611fa7565b505050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b601260ff16600a0a63773594000281565b6040805190810160405280600381526020017f494e58000000000000000000000000000000000000000000000000000000000081525081565b6000600a60009054906101000a900460ff1615151561226557600080fd5b600b60003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205403101515156122f357600080fd5b6122fd83836129b4565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614158061238e5750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b806123e9575060011515600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515145b15156123f457600080fd5b60025481111580156124335750600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614155b151561243e57600080fd5b80600b60008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff167f173c6954f6574ae8ea8afd3eed2fc6ddd6f1aac55aab5e2c3a10edc59ba2dfd3826040518082815260200191505060405180910390a25050565b600b6020528060005260406000206000915090505481565b600061257d82600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461299690919063ffffffff16565b600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600860003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156127cb57600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141580156128565750600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614155b80156128b2575060011515600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515145b15156128bd57600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600082821115151561298b57fe5b818303905092915050565b60008082840190508381101515156129aa57fe5b8091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141580156129f25750600082115b8015612a3c57506000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211155b1515612a4757600080fd5b612a98826000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461297d90919063ffffffff16565b6000803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612b2b826000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461299690919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019050929150505600a165627a7a7230582022508343e85c295481b99fefb8ad04ddf2560bb01015e1559bc41f043252057f0029

6623:2983:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9590:8;;;7026:47;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7026:47: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;7026:47:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1822:252;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1822:252:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1109:82;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1109:82:0;;;;;;;;;;;;;;;;;;;;;;;9250:303;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9250:303:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8261:566;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8261:566:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7592:336;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7592:336:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7077:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7077:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4202:90;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4202:90:0;;;;;;6372:240;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6372:240:0;;;;;;;;;;;;;;;;;;;;;;;;;;3740:135;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3740:135:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;7934:105;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7934:105:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3957:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3957:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;2500:420;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2500:420:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3591:143;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3591:143:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;1529:106;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1529:106:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4109:88;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4109:88:0;;;;;;8834:411;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8834:411:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2953:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2953:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;7119:73;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7119:73:0;;;;;;;;;;;;;;;;;;;;;;;6984:37;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6984:37: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;6984:37:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7395:192;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7395:192:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8044:212;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8044:212:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6939:38;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6939:38:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2220:274;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2220:274:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2080:135;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2080:135:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3367:219;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3367:219:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;7026:47;;;;;;;;;;;;;;;;;;;;:::o;1822:252::-;1889:4;1918:1;1908:6;:11;:49;;;;1956:1;1923:7;:19;1931:10;1923:19;;;;;;;;;;;;;;;:29;1943:8;1923:29;;;;;;;;;;;;;;;;:34;1908:49;1900:58;;;;;;;;1995:6;1963:7;:19;1971:10;1963:19;;;;;;;;;;;;;;;:29;1983:8;1963:29;;;;;;;;;;;;;;;:38;;;;2032:8;2011:38;;2020:10;2011:38;;;2042:6;2011:38;;;;;;;;;;;;;;;;;;2065:4;2058:11;;1822:252;;;;:::o;1109:82::-;1153:7;1174:12;;1167:19;;1109:82;:::o;9250:303::-;9404:6;3295:1;3273:24;;:10;:24;;;;:47;;;;3315:5;;;;;;;;;;;3301:19;;:10;:19;;;3273:47;:76;;;;3345:4;3324:25;;:5;:17;3330:10;3324:17;;;;;;;;;;;;;;;;;;;;;;;;;:25;;;3273:76;3265:85;;;;;;;;9373:9;:16;9351:11;:18;:38;9343:47;;;;;;;;9411:1;9404:8;;9399:150;9418:11;:18;9414:1;:22;9399:150;;;9474:9;9484:1;9474:12;;;;;;;;;;;;;;;;;;9449:6;:22;9456:11;9468:1;9456:14;;;;;;;;;;;;;;;;;;9449:22;;;;;;;;;;;;;;;:37;;;;9514:11;9526:1;9514:14;;;;;;;;;;;;;;;;;;9500:43;;;9530:9;9540:1;9530:12;;;;;;;;;;;;;;;;;;9500:43;;;;;;;;;;;;;;;;;;9438:3;;;;;;;9399:150;;;9250:303;;;:::o;8261:566::-;8368:21;8410:22;8526:15;3295:1;3273:24;;:10;:24;;;;:47;;;;3315:5;;;;;;;;;;;3301:19;;:10;:19;;;3273:47;:76;;;;3345:4;3324:25;;:5;:17;3330:10;3324:17;;;;;;;;;;;;;;;;;;;;;;;;;:25;;;3273:76;3265:85;;;;;;;;8359:1;8349:7;:11;8341:20;;;;;;;;8392:6;:13;8399:5;8392:13;;;;;;;;;;;;;;;;8368:37;;8435:8;:15;8444:5;8435:15;;;;;;;;;;;;;;;;8410:40;;8482:7;8465:13;:24;;:53;;;;;8511:7;8493:14;:25;;8465:53;8457:62;;;;;;;;8560:7;8544:13;:23;8526:41;;8588:7;8572:6;:13;8579:5;8572:13;;;;;;;;;;;;;;;:23;;;;8619:5;8605:29;;;8626:7;8605:29;;;;;;;;;;;;;;;;;;8663:28;8683:7;8663:8;:15;8672:5;8663:15;;;;;;;;;;;;;;;;:19;;:28;;;;:::i;:::-;8645:8;:15;8654:5;8645:15;;;;;;;;;;;;;;;:46;;;;8714:28;8734:7;8714:8;:15;8723:5;;;;;;;;;;;8714:15;;;;;;;;;;;;;;;;:19;;:28;;;;:::i;:::-;8696:8;:15;8705:5;;;;;;;;;;;8696:15;;;;;;;;;;;;;;;:46;;;;8768:5;;;;;;;;;;;8752:31;;8761:5;8752:31;;;8775:7;8752:31;;;;;;;;;;;;;;;;;;8800:5;8793:22;;;8807:7;8793:22;;;;;;;;;;;;;;;;;;8261:566;;;;;:::o;7592:336::-;7688:4;4028:6;;;;;;;;;;;4027:7;4019:16;;;;;;;;7716:27;7736:6;7716:8;:15;7725:5;7716:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;7698:8;:15;7707:5;7698:15;;;;;;;;;;;;;;;:45;;;;7764:25;7782:6;7764:8;:13;7773:3;7764:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;7748:8;:13;7757:3;7748:13;;;;;;;;;;;;;;;:41;;;;7823:38;7854:6;7823:7;:14;7831:5;7823:14;;;;;;;;;;;;;;;:26;7838:10;7823:26;;;;;;;;;;;;;;;;:30;;:38;;;;:::i;:::-;7794:7;:14;7802:5;7794:14;;;;;;;;;;;;;;;:26;7809:10;7794:26;;;;;;;;;;;;;;;:67;;;;7889:3;7873:28;;7882:5;7873:28;;;7894:6;7873:28;;;;;;;;;;;;;;;;;;7915:4;7908:11;;7592:336;;;;;:::o;7077:35::-;7110:2;7077:35;:::o;4202:90::-;3209:5;;;;;;;;;;;3195:19;;:10;:19;;;3187:28;;;;;;;;4086:6;;;;;;;;;;;4078:15;;;;;;;;4263:5;4254:6;;:14;;;;;;;;;;;;;;;;;;4278:9;;;;;;;;;;4202:90::o;6372:240::-;3209:5;;;;;;;;;;;3195:19;;:10;:19;;;3187:28;;;;;;;;6447:32;6472:6;6447:8;:20;6456:10;6447:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;6424:8;:20;6433:10;6424:20;;;;;;;;;;;;;;;:55;;;;6499:24;6516:6;6499:12;;:16;;:24;;;;:::i;:::-;6484:12;:39;;;;6538:10;6533:24;;;6550:6;6533:24;;;;;;;;;;;;;;;;;;6596:1;6567:40;;6576:10;6567:40;;;6600:6;6567:40;;;;;;;;;;;;;;;;;;6372:240;:::o;3740:135::-;3209:5;;;;;;;;;;;3195:19;;:10;:19;;;3187:28;;;;;;;;3821:5;3805:21;;:5;:12;3811:5;3805:12;;;;;;;;;;;;;;;;;;;;;;;;;:21;;;;:39;;;;;3839:5;3830:14;;:5;;;;;;;;;;;:14;;;;3805:39;3797:48;;;;;;;;3865:5;3850;:12;3856:5;3850:12;;;;;;;;;;;;;;;;:20;;;;;;;;;;;;;;;;;;3740:135;:::o;7934:105::-;7989:15;8018:6;:16;8025:8;8018:16;;;;;;;;;;;;;;;;8011:23;;7934:105;;;:::o;3957:26::-;;;;;;;;;;;;;:::o;2500:420::-;2586:12;2605:16;2624:7;:19;2632:10;2624:19;;;;;;;;;;;;;;;:29;2644:8;2624:29;;;;;;;;;;;;;;;;2605:48;;2682:8;2662:16;:28;;2658:159;;;2730:1;2698:7;:19;2706:10;2698:19;;;;;;;;;;;;;;;:29;2718:8;2698:29;;;;;;;;;;;;;;;:33;;;;2658:159;;;2781:30;2794:16;2781:8;:12;;:30;;;;:::i;:::-;2749:7;:19;2757:10;2749:19;;;;;;;;;;;;;;;:29;2769:8;2749:29;;;;;;;;;;;;;;;:62;;;;2658:159;2851:8;2830:61;;2839:10;2830:61;;;2861:7;:19;2869:10;2861:19;;;;;;;;;;;;;;;:29;2881:8;2861:29;;;;;;;;;;;;;;;;2830:61;;;;;;;;;;;;;;;;;;2907:4;2900:11;;2500:420;;;;;:::o;3591:143::-;3209:5;;;;;;;;;;;3195:19;;:10;:19;;;3187:28;;;;;;;;3676:4;3657:23;;:5;:15;3663:8;3657:15;;;;;;;;;;;;;;;;;;;;;;;;;:23;;;;:44;;;;;3693:8;3684:17;;:5;;;;;;;;;;;:17;;;;3657:44;3649:53;;;;;;;;3725:4;3707:5;:15;3713:8;3707:15;;;;;;;;;;;;;;;;:22;;;;;;;;;;;;;;;;;;3591:143;:::o;1529:106::-;1585:15;1614:8;:16;1623:6;1614:16;;;;;;;;;;;;;;;;1607:23;;1529:106;;;:::o;4109:88::-;3209:5;;;;;;;;;;;3195:19;;:10;:19;;;3187:28;;;;;;;;4028:6;;;;;;;;;;;4027:7;4019:16;;;;;;;;4171:4;4162:6;;:13;;;;;;;;;;;;;;;;;;4185:7;;;;;;;;;;4109:88::o;8834:411::-;8989:6;3295:1;3273:24;;:10;:24;;;;:47;;;;3315:5;;;;;;;;;;;3301:19;;:10;:19;;;3273:47;:76;;;;3345:4;3324:25;;:5;:17;3330:10;3324:17;;;;;;;;;;;;;;;;;;;;;;;;;:25;;;3273:76;3265:85;;;;;;;;8958:9;:16;8936:11;:18;:38;8928:47;;;;;;;;8996:1;8989:8;;8984:257;9003:11;:18;8999:1;:22;8984:257;;;9060:38;9085:9;9095:1;9085:12;;;;;;;;;;;;;;;;;;9060:8;:20;9069:10;9060:20;;;;;;;;;;;;;;;;:24;;:38;;;;:::i;:::-;9037:8;:20;9046:10;9037:20;;;;;;;;;;;;;;;:61;;;;9131:42;9160:9;9170:1;9160:12;;;;;;;;;;;;;;;;;;9131:8;:24;9140:11;9152:1;9140:14;;;;;;;;;;;;;;;;;;9131:24;;;;;;;;;;;;;;;;:28;;:42;;;;:::i;:::-;9104:8;:24;9113:11;9125:1;9113:14;;;;;;;;;;;;;;;;;;9104:24;;;;;;;;;;;;;;;:69;;;;9207:11;9219:1;9207:14;;;;;;;;;;;;;;;;;;9187:48;;9196:10;9187:48;;;9222:9;9232:1;9222:12;;;;;;;;;;;;;;;;;;9187:48;;;;;;;;;;;;;;;;;;9023:3;;;;;;;8984:257;;;8834:411;;;:::o;2953:20::-;;;;;;;;;;;;;:::o;7119:73::-;7110:2;7174:17;;7170:2;:21;7158:10;:34;7119:73;:::o;6984:37::-;;;;;;;;;;;;;;;;;;;;:::o;7395:192::-;7473:4;4028:6;;;;;;;;;;;4027:7;4019:16;;;;;;;;7524:6;:18;7531:10;7524:18;;;;;;;;;;;;;;;;7514:6;7491:8;:20;7500:10;7491:20;;;;;;;;;;;;;;;;:29;:51;;7483:60;;;;;;;;7555:27;7570:3;7575:6;7555:14;:27::i;:::-;7548:34;;7395:192;;;;:::o;8044:212::-;3295:1;3273:24;;:10;:24;;;;:47;;;;3315:5;;;;;;;;;;;3301:19;;:10;:19;;;3273:47;:76;;;;3345:4;3324:25;;:5;:17;3330:10;3324:17;;;;;;;;;;;;;;;;;;;;;;;;;:25;;;3273:76;3265:85;;;;;;;;8142:12;;8132:6;:22;;:47;;;;;8177:1;8157:22;;:8;:22;;;;8132:47;8124:56;;;;;;;;8204:6;8185;:16;8192:8;8185:16;;;;;;;;;;;;;;;:25;;;;8234:8;8220:31;;;8244:6;8220:31;;;;;;;;;;;;;;;;;;8044:212;;:::o;6939:38::-;;;;;;;;;;;;;;;;;:::o;2220:274::-;2301:12;2352:46;2386:11;2352:7;:19;2360:10;2352:19;;;;;;;;;;;;;;;:29;2372:8;2352:29;;;;;;;;;;;;;;;;:33;;:46;;;;:::i;:::-;2320:7;:19;2328:10;2320:19;;;;;;;;;;;;;;;:29;2340:8;2320:29;;;;;;;;;;;;;;;:78;;;;2429:8;2408:61;;2417:10;2408:61;;;2439:7;:19;2447:10;2439:19;;;;;;;;;;;;;;;:29;2459:8;2439:29;;;;;;;;;;;;;;;;2408:61;;;;;;;;;;;;;;;;;;2485:4;2478:11;;2220:274;;;;:::o;2080:135::-;2154:17;2185:7;:15;2193:6;2185:15;;;;;;;;;;;;;;;:25;2201:8;2185:25;;;;;;;;;;;;;;;;2178:32;;2080:135;;;;:::o;3367:219::-;3209:5;;;;;;;;;;;3195:19;;:10;:19;;;3187:28;;;;;;;;3462:1;3442:22;;:8;:22;;;;:43;;;;;3480:5;;;;;;;;;;;3468:17;;:8;:17;;;;3442:43;:70;;;;;3508:4;3489:23;;:5;:15;3495:8;3489:15;;;;;;;;;;;;;;;;;;;;;;;;;:23;;;3442:70;3434:79;;;;;;;;3551:8;3523:37;;3544:5;;;;;;;;;;;3523:37;;;;;;;;;;;;3573:8;3565:5;;:16;;;;;;;;;;;;;;;;;;3367:219;:::o;5439:108::-;5497:7;5523:1;5518;:6;;5511:14;;;;;;5541:1;5537;:5;5530:12;;5439:108;;;;:::o;5552:126::-;5610:7;5624:9;5640:1;5636;:5;5624:17;;5658:1;5653;:6;;5646:14;;;;;;5672:1;5665:8;;5552:126;;;;;:::o;1196:327::-;1259:4;1293:1;1278:17;;:3;:17;;;;:31;;;;;1308:1;1299:6;:10;1278:31;:64;;;;;1322:8;:20;1331:10;1322:20;;;;;;;;;;;;;;;;1312:6;:30;;1278:64;1270:73;;;;;;;;1377:32;1402:6;1377:8;:20;1386:10;1377:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;1354:8;:20;1363:10;1354:20;;;;;;;;;;;;;;;:55;;;;1430:25;1448:6;1430:8;:13;1439:3;1430:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;1414:8;:13;1423:3;1414:13;;;;;;;;;;;;;;;:41;;;;1486:3;1465:33;;1474:10;1465:33;;;1491:6;1465:33;;;;;;;;;;;;;;;;;;1514:4;1507:11;;1196:327;;;;:::o

bzzr://22508343e85c295481b99fefb8ad04ddf2560bb01015e1559bc41f043252057f