Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface DPlayCoinInterface    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address owner)    - function transfer(address to, uint va ...    - function transferFrom(address from, a ...    - function approve(address spender, uin ...    - function allowance(address owner, add ...    - function getPower(address user) interface ERC20    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address owner)    - function transfer(address to, uint va ...    - function transferFrom(address from, a ...    - function approve(address spender, uin ...    - function allowance(address owner, add ... interface ERC165    - function supportsInterface(bytes4 int ...  contract NetworkChecker    - function checkIsSmartContract(address ... library SafeMath    - function add(uint a, uint b)    - function sub(uint a, uint b)    - function mul(uint a, uint b)    - function div(uint a, uint b)  contract DPlayCoin is DPlayCoinInt ... *    - function setDPlayStoreOnce(address ad ...    - function setDPlayTradingPostOnce(addr ...    - function checkAddressMisused(address ...    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address user)    - function transfer(address to, uint am ...    - function approve(address spender, uin ...    - function allowance(address user, addr ...    - function transferFrom(address from, a ...    - function supportsInterface(bytes4 int ...    - function getPower(address user)    - function createDCForTest(uint amount)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.5.9;

interface DPlayCoinInterface {
	
	event Transfer(address indexed from, address indexed to, uint value);
	event Approval(address indexed owner, address indexed spender, uint value);
	
	function name() external view returns (string memory);
	function symbol() external view returns (string memory);
	function decimals() external view returns (uint8);
	
	function totalSupply() external view returns (uint);
	function balanceOf(address owner) external view returns (uint balance);
	function transfer(address to, uint value) external returns (bool success);
	function transferFrom(address from, address to, uint value) external returns (bool success);
	function approve(address spender, uint value) external returns (bool success);
	function allowance(address owner, address spender) external view returns (uint remaining);
	
	// Returns the DC power.
	// DC 파워를 반환합니다.
	function getPower(address user) external view returns (uint power);
}

interface ERC20 {
	
	event Transfer(address indexed from, address indexed to, uint value);
	event Approval(address indexed owner, address indexed spender, uint value);
	
	function name() external view returns (string memory);
	function symbol() external view returns (string memory);
	function decimals() external view returns (uint8);
	
	function totalSupply() external view returns (uint);
	function balanceOf(address owner) external view returns (uint balance);
	function transfer(address to, uint value) external returns (bool success);
	function transferFrom(address from, address to, uint value) external returns (bool success);
	function approve(address spender, uint value) external returns (bool success);
	function allowance(address owner, address spender) external view returns (uint remaining);
}

interface ERC165 {
    function supportsInterface(bytes4 interfaceID) external view returns (bool);
}

contract NetworkChecker {
	
	address constant private MAINNET_MILESTONE_ADDRESS = 0xa6e90A28F446D3639916959B6087F68D9B83fca9;
	address constant private KOVAN_MILESTONE_ADDRESS = 0x9a6Dc2a58256239500D96fb6f13D73b70C3d88f9;
	address constant private ROPSTEN_MILESTONE_ADDRESS = 0x212cC55dd760Ec5352185A922c61Ac41c8dDB197;
	address constant private RINKEBY_MILESTONE_ADDRESS = 0x54d1991a37cbA30E5371F83e8c2B1F762c7096c2;
	
	enum Network {
		Mainnet,
		Kovan,
		Ropsten,
		Rinkeby,
		Unknown
	}
	
	Network public network;
	
	// Checks if the given address is a smart contract.
	// 주어진 주소가 스마트 계약인지 확인합니다.
	function checkIsSmartContract(address addr) private view returns (bool) {
		uint32 size;
		assembly { size := extcodesize(addr) }
		return size > 0;
	}
	
	constructor() public {
		
		// Checks if the contract runs on the main network.
		// Main 네트워크인지 확인합니다.
		if (checkIsSmartContract(MAINNET_MILESTONE_ADDRESS) == true) {
			(bool success, ) = MAINNET_MILESTONE_ADDRESS.call(abi.encodeWithSignature("helloMainnet()"));
			if (success == true) {
				network = Network.Mainnet;
				return;
			}
		}
		
		// Checks if the contract is in the Kovan network.
		// Kovan 네트워크인지 확인합니다.
		if (checkIsSmartContract(KOVAN_MILESTONE_ADDRESS) == true) {
			(bool success, ) = KOVAN_MILESTONE_ADDRESS.call(abi.encodeWithSignature("helloKovan()"));
			if (success == true) {
				network = Network.Kovan;
				return;
			}
		}
		
		// Checks if the contract is in the Ropsten network.
		// Ropsten 네트워크인지 확인합니다.
		if (checkIsSmartContract(ROPSTEN_MILESTONE_ADDRESS) == true) {
			(bool success, ) = ROPSTEN_MILESTONE_ADDRESS.call(abi.encodeWithSignature("helloRopsten()"));
			if (success == true) {
				network = Network.Ropsten;
				return;
			}
		}
		
		// Checks if the contract is in the Rinkeby network.
		// Rinkeby 네트워크인지 확인합니다.
		if (checkIsSmartContract(RINKEBY_MILESTONE_ADDRESS) == true) {
			(bool success, ) = RINKEBY_MILESTONE_ADDRESS.call(abi.encodeWithSignature("helloRinkeby()"));
			if (success == true) {
				network = Network.Rinkeby;
				return;
			}
		}
		
		// The network is unknown.
		// 알 수 없는 네트워크
		network = Network.Unknown;
	}
}

// This library is for preventing overflow problems while calculating numbers.
// 숫자 계산 시 오버플로우 문제를 방지하기 위한 라이브러리
library SafeMath {
	
	function add(uint a, uint b) pure internal returns (uint c) {
		c = a + b;
		assert(c >= a);
		return c;
	}
	
	function sub(uint a, uint b) pure internal returns (uint c) {
		assert(b <= a);
		return a - b;
	}
	
	function mul(uint a, uint b) pure internal returns (uint c) {
		if (a == 0) {
			return 0;
		}
		c = a * b;
		assert(c / a == b);
		return c;
	}
	
	function div(uint a, uint b) pure internal returns (uint c) {
		return a / b;
	}
}

contract DPlayCoin is DPlayCoinInterface, ERC20, ERC165, NetworkChecker {
	using SafeMath for uint;
	
	// Token information
	// 토큰 정보
	string constant private NAME = "DPlay Coin";
	string constant private SYMBOL = "DC";
	uint8 constant private DECIMALS = 18;
	uint constant private TOTAL_SUPPLY = 10000000000 * (10 ** uint(DECIMALS));
	
	mapping(address => uint) private balances;
	mapping(address => mapping(address => uint)) private allowed;
	
	// The two addresses below are the addresses of the trusted smart contract, and don't need to be allowed.
	// 아래 두 주소는 신뢰하는 스마트 계약의 주소로 허락받을 필요가 없습니다.
	
	// The address of DPlay store
	// DPlay 스토어 주소
	address public dplayStore;
	
	// The address of DPlay trading post
	// DPlay 교역소 주소
	address public dplayTradingPost;
	
	constructor() NetworkChecker() public {
		
		balances[msg.sender] = TOTAL_SUPPLY;
		
		emit Transfer(address(0x0), msg.sender, TOTAL_SUPPLY);
	}
	
	// Sets the address of DPlay store. (Done only once.)
	// DPlay 스토어 주소를 지정합니다. (단 한번만 가능합니다.)
	function setDPlayStoreOnce(address addr) external {
		
		// 비어있는 주소인 경우에만
		require(dplayStore == address(0));
		
		dplayStore = addr;
	}
	
	// Sets the address of DPlay trading post. (Done only once.)
	// DPlay 교역소 주소를 지정합니다. (단 한번만 가능합니다.)
	function setDPlayTradingPostOnce(address addr) external {
		
		// Only an unused address can be used.
		// 비어있는 주소인 경우에만
		require(dplayTradingPost == address(0));
		
		dplayTradingPost = addr;
	}
	
	// Checks if the address is misued.
	// 주소를 잘못 사용하는 것인지 체크 
	function checkAddressMisused(address target) internal view returns (bool) {
		return
			target == address(0) ||
			target == address(this);
	}
	
	//ERC20: Returns the name of the token.
	//ERC20: 토큰의 이름 반환
	function name() external view returns (string memory) {
		return NAME;
	}
	
	//ERC20: Returns the symbol of the token.
	//ERC20: 토큰의 심볼 반환
	function symbol() external view returns (string memory) {
		return SYMBOL;
	}
	
	//ERC20: Returns the decimals of the token.
	//ERC20: 토큰의 소수점 반환
	function decimals() external view returns (uint8) {
		return DECIMALS;
	}
	
	//ERC20: Returns the total number of tokens.
	//ERC20: 전체 토큰 수 반환
	function totalSupply() external view returns (uint) {
		return TOTAL_SUPPLY;
	}
	
	//ERC20: Returns the number of tokens of a specific user.
	//ERC20: 특정 유저의 토큰 수를 반환합니다.
	function balanceOf(address user) external view returns (uint balance) {
		return balances[user];
	}
	
	//ERC20: Transmits tokens to a specific user.
	//ERC20: 특정 유저에게 토큰을 전송합니다.
	function transfer(address to, uint amount) external returns (bool success) {
		
		// Blocks misuse of an address.
		// 주소 오용 차단
		require(checkAddressMisused(to) != true);
		
		require(amount <= balances[msg.sender]);
		
		balances[msg.sender] = balances[msg.sender].sub(amount);
		balances[to] = balances[to].add(amount);
		
		emit Transfer(msg.sender, to, amount);
		
		return true;
	}
	
	//ERC20: Grants rights to send the amount of tokens to the spender.
	//ERC20: spender에 amount만큼의 토큰을 보낼 권리를 부여합니다.
	function approve(address spender, uint amount) external returns (bool success) {
		
		allowed[msg.sender][spender] = amount;
		
		emit Approval(msg.sender, spender, amount);
		
		return true;
	}
	
	//ERC20: Returns the quantity of tokens to the spender
	//ERC20: spender가 인출하도록 허락 받은 토큰의 양을 반환합니다.
	function allowance(address user, address spender) external view returns (uint remaining) {
		
		if (
		// DPlay 스토어와 교역소는 모든 토큰을 전송할 수 있습니다.
		spender == dplayStore ||
		spender == dplayTradingPost) {
			return balances[user];
		}
		
		return allowed[user][spender];
	}
	
	//ERC20: The allowed spender sends the "amount" of tokens from the "from" to the "to".
	//ERC20: 허락된 spender가 from으로부터 amount만큼의 토큰을 to에게 전송합니다.
	function transferFrom(address from, address to, uint amount) external returns (bool success) {
		
		// Blocks misuse of an address.
		// 주소 오용 차단
		require(checkAddressMisused(to) != true);
		
		require(amount <= balances[from]);
		
		require(
			// DPlay 스토어와 교역소는 모든 토큰을 전송할 수 있습니다.
			msg.sender == dplayStore ||
			msg.sender == dplayTradingPost ||
			
			amount <= allowed[from][msg.sender]
		);
		
		balances[from] = balances[from].sub(amount);
		balances[to] = balances[to].add(amount);
		
		if (
			msg.sender != dplayStore &&
			msg.sender != dplayTradingPost
		) {
			allowed[from][msg.sender] = allowed[from][msg.sender].sub(amount);
		}
		
		emit Transfer(from, to, amount);
		
		return true;
	}
	
	//ERC165: Checks if the given interface has been implemented.
	//ERC165: 주어진 인터페이스가 구현되어 있는지 확인합니다.
	function supportsInterface(bytes4 interfaceID) external view returns (bool) {
		return
			// ERC165
			interfaceID == this.supportsInterface.selector ||
			// ERC20
			interfaceID == 0x942e8b22 ||
			interfaceID == 0x36372b07;
	}
	
	// Returns the DC power.
	// DC 파워를 반환합니다.
	function getPower(address user) external view returns (uint power) {
		return balances[user];
	}
	
	// Creates DCs for testing.
	// 테스트용 DC를 생성합니다.
	function createDCForTest(uint amount) external {
		if (network == Network.Mainnet) {
			revert();
		} else {
			balances[msg.sender] += amount;
		}
	}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[{"name":"interfaceID","type":"bytes4"}],"name":"supportsInterface","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"amount","type":"uint256"}],"name":"approve","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"to","type":"address"},{"name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"addr","type":"address"}],"name":"setDPlayTradingPostOnce","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"user","type":"address"}],"name":"getPower","outputs":[{"name":"power","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"network","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"user","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","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":"amount","type":"uint256"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"amount","type":"uint256"}],"name":"createDCForTest","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"addr","type":"address"}],"name":"setDPlayStoreOnce","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"dplayStore","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"user","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"dplayTradingPost","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"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"}]

60806040523480156200001157600080fd5b50600115156200003b73a6e90a28f446d3639916959b6087f68d9b83fca9620007ff60201b60201c565b15151415620001d157600073a6e90a28f446d3639916959b6087f68d9b83fca973ffffffffffffffffffffffffffffffffffffffff166040516024016040516020818303038152906040527fb1bcbca4000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040518082805190602001908083835b6020831062000129578051825260208201915060208101905060208303925062000104565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d80600081146200018d576040519150601f19603f3d011682016040523d82523d6000602084013e62000192565b606091505b50509050600115158115151415620001cf5760008060006101000a81548160ff02191690836004811115620001c357fe5b02179055505062000733565b505b60011515620001fa739a6dc2a58256239500d96fb6f13d73b70c3d88f9620007ff60201b60201c565b1515141562000390576000739a6dc2a58256239500d96fb6f13d73b70c3d88f973ffffffffffffffffffffffffffffffffffffffff166040516024016040516020818303038152906040527f49aa4ea5000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040518082805190602001908083835b60208310620002e85780518252602082019150602081019050602083039250620002c3565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d80600081146200034c576040519150601f19603f3d011682016040523d82523d6000602084013e62000351565b606091505b505090506001151581151514156200038e5760016000806101000a81548160ff021916908360048111156200038257fe5b02179055505062000733565b505b60011515620003b973212cc55dd760ec5352185a922c61ac41c8ddb197620007ff60201b60201c565b151514156200054f57600073212cc55dd760ec5352185a922c61ac41c8ddb19773ffffffffffffffffffffffffffffffffffffffff166040516024016040516020818303038152906040527f8c74307d000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040518082805190602001908083835b60208310620004a7578051825260208201915060208101905060208303925062000482565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d80600081146200050b576040519150601f19603f3d011682016040523d82523d6000602084013e62000510565b606091505b505090506001151581151514156200054d5760026000806101000a81548160ff021916908360048111156200054157fe5b02179055505062000733565b505b60011515620005787354d1991a37cba30e5371f83e8c2b1f762c7096c2620007ff60201b60201c565b151514156200070e5760007354d1991a37cba30e5371f83e8c2b1f762c7096c273ffffffffffffffffffffffffffffffffffffffff166040516024016040516020818303038152906040527fa17b701a000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040518082805190602001908083835b6020831062000666578051825260208201915060208101905060208303925062000641565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114620006ca576040519150601f19603f3d011682016040523d82523d6000602084013e620006cf565b606091505b505090506001151581151514156200070c5760036000806101000a81548160ff021916908360048111156200070057fe5b02179055505062000733565b505b60046000806101000a81548160ff021916908360048111156200072d57fe5b02179055505b601260ff16600a0a6402540be40002600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef601260ff16600a0a6402540be400026040518082815260200191505060405180910390a362000818565b600080823b905060008163ffffffff1611915050919050565b6114e780620008286000396000f3fe608060405234801561001057600080fd5b506004361061010b5760003560e01c80636739afca116100a2578063c11746b511610071578063c11746b51461052f578063cdd7b7151461055d578063d659d11d146105a1578063dd62ed3e146105eb578063e8672bc9146106635761010b565b80636739afca146103c257806370a08231146103ee57806395d89b4114610446578063a9059cbb146104c95761010b565b806323b872dd116100de57806323b872dd1461027c5780632901669f14610302578063313ce567146103465780635dd9147c1461036a5761010b565b806301ffc9a71461011057806306fdde0314610175578063095ea7b3146101f857806318160ddd1461025e575b600080fd5b61015b6004803603602081101561012657600080fd5b8101908080357bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690602001909291905050506106ad565b604051808215151515815260200191505060405180910390f35b61017d61075e565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101bd5780820151818401526020810190506101a2565b50505050905090810190601f1680156101ea5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102446004803603604081101561020e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061079b565b604051808215151515815260200191505060405180910390f35b61026661088d565b6040518082815260200191505060405180910390f35b6102e86004803603606081101561029257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108a3565b604051808215151515815260200191505060405180910390f35b6103446004803603602081101561031857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610d9f565b005b61034e610e3e565b604051808260ff1660ff16815260200191505060405180910390f35b6103ac6004803603602081101561038057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e47565b6040518082815260200191505060405180910390f35b6103ca610e90565b604051808260048111156103da57fe5b60ff16815260200191505060405180910390f35b6104306004803603602081101561040457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ea2565b6040518082815260200191505060405180910390f35b61044e610eeb565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561048e578082015181840152602081019050610473565b50505050905090810190601f1680156104bb5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610515600480360360408110156104df57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f28565b604051808215151515815260200191505060405180910390f35b61055b6004803603602081101561054557600080fd5b8101908080359060200190929190505050611129565b005b61059f6004803603602081101561057357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111ab565b005b6105a961124a565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61064d6004803603604081101561060157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611270565b6040518082815260200191505060405180910390f35b61066b6113ed565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b60006301ffc9a760e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161480610727575063942e8b2260e01b827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b8061075757506336372b0760e01b827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b9050919050565b60606040518060400160405280600a81526020017f44506c617920436f696e00000000000000000000000000000000000000000000815250905090565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000601260ff16600a0a6402540be40002905090565b6000600115156108b284611413565b151514156108bf57600080fd5b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561090b57600080fd5b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614806109b45750600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b80610a3b5750600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211155b610a4457600080fd5b610a9682600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461148190919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610b2b82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461149890919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614158015610c1a5750600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614155b15610d2f57610cae82600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461148190919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600073ffffffffffffffffffffffffffffffffffffffff16600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610dfa57600080fd5b80600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60006012905090565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000809054906101000a900460ff1681565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60606040518060400160405280600281526020017f4443000000000000000000000000000000000000000000000000000000000000815250905090565b600060011515610f3784611413565b15151415610f4457600080fd5b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610f9057600080fd5b610fe282600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461148190919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061107782600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461149890919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b6000600481111561113657fe5b6000809054906101000a900460ff16600481111561115057fe5b141561115b57600080fd5b80600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254019250508190555050565b600073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461120657600080fd5b80600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16148061131b5750600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16145b1561136757600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506113e7565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b92915050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16148061147a57503073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16145b9050919050565b60008282111561148d57fe5b818303905092915050565b60008183019050828110156114a957fe5b8090509291505056fea265627a7a72305820dd0cf612ea801cb3eb071890f1c6ba7b056fec0ba556eb18a1c800722adf371564736f6c63430005090032

0x608060405234801561001057600080fd5b506004361061010b5760003560e01c80636739afca116100a2578063c11746b511610071578063c11746b51461052f578063cdd7b7151461055d578063d659d11d146105a1578063dd62ed3e146105eb578063e8672bc9146106635761010b565b80636739afca146103c257806370a08231146103ee57806395d89b4114610446578063a9059cbb146104c95761010b565b806323b872dd116100de57806323b872dd1461027c5780632901669f14610302578063313ce567146103465780635dd9147c1461036a5761010b565b806301ffc9a71461011057806306fdde0314610175578063095ea7b3146101f857806318160ddd1461025e575b600080fd5b61015b6004803603602081101561012657600080fd5b8101908080357bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191690602001909291905050506106ad565b604051808215151515815260200191505060405180910390f35b61017d61075e565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101bd5780820151818401526020810190506101a2565b50505050905090810190601f1680156101ea5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102446004803603604081101561020e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061079b565b604051808215151515815260200191505060405180910390f35b61026661088d565b6040518082815260200191505060405180910390f35b6102e86004803603606081101561029257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108a3565b604051808215151515815260200191505060405180910390f35b6103446004803603602081101561031857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610d9f565b005b61034e610e3e565b604051808260ff1660ff16815260200191505060405180910390f35b6103ac6004803603602081101561038057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e47565b6040518082815260200191505060405180910390f35b6103ca610e90565b604051808260048111156103da57fe5b60ff16815260200191505060405180910390f35b6104306004803603602081101561040457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ea2565b6040518082815260200191505060405180910390f35b61044e610eeb565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561048e578082015181840152602081019050610473565b50505050905090810190601f1680156104bb5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610515600480360360408110156104df57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f28565b604051808215151515815260200191505060405180910390f35b61055b6004803603602081101561054557600080fd5b8101908080359060200190929190505050611129565b005b61059f6004803603602081101561057357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111ab565b005b6105a961124a565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61064d6004803603604081101561060157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611270565b6040518082815260200191505060405180910390f35b61066b6113ed565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b60006301ffc9a760e01b7bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19161480610727575063942e8b2260e01b827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b8061075757506336372b0760e01b827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916145b9050919050565b60606040518060400160405280600a81526020017f44506c617920436f696e00000000000000000000000000000000000000000000815250905090565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000601260ff16600a0a6402540be40002905090565b6000600115156108b284611413565b151514156108bf57600080fd5b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482111561090b57600080fd5b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614806109b45750600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16145b80610a3b5750600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211155b610a4457600080fd5b610a9682600160008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461148190919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610b2b82600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461149890919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614158015610c1a5750600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614155b15610d2f57610cae82600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461148190919063ffffffff16565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b8273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600073ffffffffffffffffffffffffffffffffffffffff16600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610dfa57600080fd5b80600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60006012905090565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6000809054906101000a900460ff1681565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60606040518060400160405280600281526020017f4443000000000000000000000000000000000000000000000000000000000000815250905090565b600060011515610f3784611413565b15151415610f4457600080fd5b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610f9057600080fd5b610fe282600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461148190919063ffffffff16565b600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061107782600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461149890919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b6000600481111561113657fe5b6000809054906101000a900460ff16600481111561115057fe5b141561115b57600080fd5b80600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254019250508190555050565b600073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161461120657600080fd5b80600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16148061131b5750600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16145b1561136757600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506113e7565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490505b92915050565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16148061147a57503073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16145b9050919050565b60008282111561148d57fe5b818303905092915050565b60008183019050828110156114a957fe5b8090509291505056fea265627a7a72305820dd0cf612ea801cb3eb071890f1c6ba7b056fec0ba556eb18a1c800722adf371564736f6c63430005090032

4955:5969:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4955:5969:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10286:236;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10286:236:0;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6995:75;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;6995:75:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8478:201;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8478:201:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7488:81;;;:::i;:::-;;;;;;;;;;;;;;;;;;;9345:790;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9345:790:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6444:225;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6444:225:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;7324:75;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10590:98;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10590:98:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2445:22;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7694:101;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7694:101:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7155:79;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;7155:79:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7907:413;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7907:413:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10765:156;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10765:156:0;;;;;;;;;;;;;;;;;:::i;:::-;;6129:165;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6129:165:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;5700:25;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;8828:321;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8828:321:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5799:31;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;10286:236;10356:4;10407:31;;;10392:46;;;:11;:46;;;;:92;;;;10474:10;10459:25;;:11;:25;;;;10392:92;:125;;;;10507:10;10492:25;;:11;:25;;;;10392:125;10367:150;;10286:236;;;:::o;6995:75::-;7034:13;7061:4;;;;;;;;;;;;;;;;;7054:11;;6995:75;:::o;8478:201::-;8543:12;8597:6;8566:7;:19;8574:10;8566:19;;;;;;;;;;;;;;;:28;8586:7;8566:28;;;;;;;;;;;;;;;:37;;;;8638:7;8617:37;;8626:10;8617:37;;;8647:6;8617:37;;;;;;;;;;;;;;;;;;8670:4;8663:11;;8478:201;;;;:::o;7488:81::-;7534:4;5225:2;5289:14;;5283:2;:20;5268:11;:36;7545:19;;7488:81;:::o;9345:790::-;9424:12;9544:4;9517:31;;:23;9537:2;9517:19;:23::i;:::-;:31;;;;9509:40;;;;;;9576:8;:14;9585:4;9576:14;;;;;;;;;;;;;;;;9566:6;:24;;9558:33;;;;;;9711:10;;;;;;;;;;;9697:24;;:10;:24;;;:62;;;;9743:16;;;;;;;;;;;9729:30;;:10;:30;;;9697:62;:110;;;;9782:7;:13;9790:4;9782:13;;;;;;;;;;;;;;;:25;9796:10;9782:25;;;;;;;;;;;;;;;;9772:6;:35;;9697:110;9600:212;;;;;;9838:26;9857:6;9838:8;:14;9847:4;9838:14;;;;;;;;;;;;;;;;:18;;:26;;;;:::i;:::-;9821:8;:14;9830:4;9821:14;;;;;;;;;;;;;;;:43;;;;9884:24;9901:6;9884:8;:12;9893:2;9884:12;;;;;;;;;;;;;;;;:16;;:24;;;;:::i;:::-;9869:8;:12;9878:2;9869:12;;;;;;;;;;;;;;;:39;;;;9940:10;;;;;;;;;;;9926:24;;:10;:24;;;;:62;;;;;9972:16;;;;;;;;;;;9958:30;;:10;:30;;;;9926:62;9917:154;;;10028:37;10058:6;10028:7;:13;10036:4;10028:13;;;;;;;;;;;;;;;:25;10042:10;10028:25;;;;;;;;;;;;;;;;:29;;:37;;;;:::i;:::-;10000:7;:13;10008:4;10000:13;;;;;;;;;;;;;;;:25;10014:10;10000:25;;;;;;;;;;;;;;;:65;;;;9917:154;10099:2;10084:26;;10093:4;10084:26;;;10103:6;10084:26;;;;;;;;;;;;;;;;;;10126:4;10119:11;;9345:790;;;;;:::o;6444:225::-;6629:1;6601:30;;:16;;;;;;;;;;;:30;;;6593:39;;;;;;6660:4;6641:16;;:23;;;;;;;;;;;;;;;;;;6444:225;:::o;7324:75::-;7367:5;5225:2;7379:15;;7324:75;:::o;10590:98::-;10645:10;10669:8;:14;10678:4;10669:14;;;;;;;;;;;;;;;;10662:21;;10590:98;;;:::o;2445:22::-;;;;;;;;;;;;;:::o;7694:101::-;7750:12;7776:8;:14;7785:4;7776:14;;;;;;;;;;;;;;;;7769:21;;7694:101;;;:::o;7155:79::-;7196:13;7223:6;;;;;;;;;;;;;;;;;7216:13;;7155:79;:::o;7907:413::-;7968:12;8088:4;8061:31;;:23;8081:2;8061:19;:23::i;:::-;:31;;;;8053:40;;;;;;8120:8;:20;8129:10;8120:20;;;;;;;;;;;;;;;;8110:6;:30;;8102:39;;;;;;8173:32;8198:6;8173:8;:20;8182:10;8173:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;8150:8;:20;8159:10;8150:20;;;;;;;;;;;;;;;:55;;;;8225:24;8242:6;8225:8;:12;8234:2;8225:12;;;;;;;;;;;;;;;;:16;;:24;;;;:::i;:::-;8210:8;:12;8219:2;8210:12;;;;;;;;;;;;;;;:39;;;;8284:2;8263:32;;8272:10;8263:32;;;8288:6;8263:32;;;;;;;;;;;;;;;;;;8311:4;8304:11;;7907:413;;;;:::o;10765:156::-;10832:15;10821:26;;;;;;;;:7;;;;;;;;;;;:26;;;;;;;;;10817:100;;;10855:8;;;10817:100;10905:6;10881:8;:20;10890:10;10881:20;;;;;;;;;;;;;;;;:30;;;;;;;;;;;10765:156;:::o;6129:165::-;6260:1;6238:24;;:10;;;;;;;;;;;:24;;;6230:33;;;;;;6285:4;6272:10;;:17;;;;;;;;;;;;;;;;;;6129:165;:::o;5700:25::-;;;;;;;;;;;;;:::o;8828:321::-;8901:14;9028:10;;;;;;;;;;;9017:21;;:7;:21;;;:55;;;;9056:16;;;;;;;;;;;9045:27;;:7;:27;;;9017:55;8926:181;;;9087:8;:14;9096:4;9087:14;;;;;;;;;;;;;;;;9080:21;;;;8926:181;9122:7;:13;9130:4;9122:13;;;;;;;;;;;;;;;:22;9136:7;9122:22;;;;;;;;;;;;;;;;9115:29;;8828:321;;;;;:::o;5799:31::-;;;;;;;;;;;;;:::o;6766:146::-;6834:4;6874:1;6856:20;;:6;:20;;;:51;;;;6902:4;6884:23;;:6;:23;;;6856:51;6845:62;;6766:146;;;:::o;4602:101::-;4654:6;4679:1;4674;:6;;4667:14;;;;4697:1;4693;:5;4686:12;;4602:101;;;;:::o;4485:111::-;4537:6;4558:1;4554;:5;4550:9;;4576:1;4571;:6;;4564:14;;;;4590:1;4583:8;;4485:111;;;;:::o

bzzr://dd0cf612ea801cb3eb071890f1c6ba7b056fec0ba556eb18a1c800722adf3715