Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•  contract ERC20Interface
•    - function transfer(address _to, uint25 ...
•    - function balanceOf(address _owner)
•  contract CorionXLocker *
•    - function init(uint8 _shiftParts)
•    - function withdraw()
•    - function calculateAmount()
•    - function _calculateAmount()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/*
	CorionX token locker contract
	corionXLocker.sol
	v0.3.1
	Author: Andor 'iFA' Rajci - https://www.fusionsolutions.io
*/
pragma solidity 0.4.26;
/* Imports */

/* Libraries */
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) {
		return a / b;
	}

	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;
	}
}

/* Contracts */
contract ERC20Interface {
	function transfer(address _to, uint256 _value) public returns (bool) {}
	function balanceOf(address _owner) public view returns (uint256) {}
}
contract CorionXLocker {
	/* Libraries */
	using SafeMath for uint256;
	
	/* Structures */
	
	/* Variables */
	ERC20Interface public constant CORIONX     = ERC20Interface(0x26a604DFFE3ddaB3BEE816097F81d3C4a2A4CF97);
	uint8                 constant BLOCK_DELAY = 14;
	uint32         public constant PART_DELAY  = uint32( uint256(60).mul(60).mul(24).mul(365).div(4).div(BLOCK_DELAY) );
	address        public          owner;
	string         public          name;
	uint256        public          totalAmount;
	uint256        public          amountPaid;
	uint256        public          partAmount;
	uint32         public          startBlock;
	uint8          public          parts;
	
	/* Connstructor */
	constructor(address _owner, uint8 _parts, string _name) {
		require( _owner != 0x00 && _parts != 0 );
		owner = _owner;
		name = _name;
		parts = _parts;
	}
	
	/* Modifiers */
	modifier forOwner { require(msg.sender == owner); _; }
	modifier beforeInitialization { require( startBlock == 0); _; }
	modifier afterInitialization { require( startBlock > 0); _; }
	
	/* Fallback */
	
	/* Externals */
	function init(uint8 _shiftParts) forOwner beforeInitialization external {
		startBlock = uint32(block.number);
		if ( _shiftParts > 0 ) {
			startBlock += PART_DELAY * _shiftParts;
		}
		totalAmount = CORIONX.balanceOf(address(this));
		partAmount = totalAmount.div( uint256(parts) );
		require( totalAmount > 0 );
	}
	function withdraw() forOwner afterInitialization external {
		uint256 payAmount = this.calculateAmount();
		require( payAmount > 0 );
		bool success = CORIONX.transfer(owner, payAmount);
		require( success );
		emit Paid(payAmount);
		amountPaid = amountPaid.add(payAmount);
	}
	
	/* Constants */
	function calculateAmount() constant returns (uint256 amount) {
		amount = _calculateAmount();
		if ( amount == 0 || amount == amountPaid ) {
			return 0;
		}
		return amount.sub(amountPaid);
	}
	
	/* Internals */
	function _calculateAmount() internal view returns (uint256 amount) {
		if ( startBlock == 0 || startBlock >= block.number) {
			return 0;
		}
		uint256 partsToPay = uint256((block.number - startBlock) / PART_DELAY);
		if ( partsToPay == 0 ) {
			return 0;
		}
		else if ( partsToPay >= parts ) {
			return totalAmount;
		}
		return partsToPay.mul(partAmount);
	}
	
	/* Privates */
	
	/* Events */
	event Paid(uint256 amount);
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalAmount","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"CORIONX","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"amountPaid","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"partAmount","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"startBlock","outputs":[{"name":"","type":"uint32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"calculateAmount","outputs":[{"name":"amount","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"parts","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"PART_DELAY","outputs":[{"name":"","type":"uint32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_shiftParts","type":"uint8"}],"name":"init","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[{"name":"_owner","type":"address"},{"name":"_parts","type":"uint8"},{"name":"_name","type":"string"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"name":"amount","type":"uint256"}],"name":"Paid","type":"event"}]

608060405234801561001057600080fd5b50604051610a1c380380610a1c8339810160409081528151602083015191830151909201600160a060020a0383161580159061004e575060ff821615155b151561005957600080fd5b60008054600160a060020a031916600160a060020a03851617905580516100879060019060208401906100af565b50506005805460ff9092166401000000000264ff00000000199092169190911790555061014a565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106100f057805160ff191683800117855561011d565b8280016001018555821561011d579182015b8281111561011d578251825591602001919060010190610102565b5061012992915061012d565b5090565b61014791905b808211156101295760008155600101610133565b90565b6108c3806101596000396000f3006080604052600436106100b95763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100be5780631a39d8ef146101485780631c0ac90d1461016f578063216340c3146101ad5780632f9e51b2146101c25780633ccfd60b146101d757806348cd4cb1146101ee5780638595475e1461021c5780638da5cb5b14610231578063b47e9c7914610246578063f31821fe14610271578063fce290d414610286575b600080fd5b3480156100ca57600080fd5b506100d36102a1565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561010d5781810151838201526020016100f5565b50505050905090810190601f16801561013a5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015457600080fd5b5061015d61032e565b60408051918252519081900360200190f35b34801561017b57600080fd5b50610184610334565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b3480156101b957600080fd5b5061015d61034c565b3480156101ce57600080fd5b5061015d610352565b3480156101e357600080fd5b506101ec610358565b005b3480156101fa57600080fd5b5061020361054b565b6040805163ffffffff9092168252519081900360200190f35b34801561022857600080fd5b5061015d610557565b34801561023d57600080fd5b50610184610598565b34801561025257600080fd5b5061025b6105b4565b6040805160ff9092168252519081900360200190f35b34801561027d57600080fd5b506102036105c5565b34801561029257600080fd5b506101ec60ff60043516610602565b60018054604080516020600284861615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103265780601f106102fb57610100808354040283529160200191610326565b820191906000526020600020905b81548152906001019060200180831161030957829003601f168201915b505050505081565b60025481565b7326a604dffe3ddab3bee816097f81d3c4a2a4cf9781565b60035481565b60045481565b60008054819073ffffffffffffffffffffffffffffffffffffffff16331461037f57600080fd5b600554600063ffffffff9091161161039657600080fd5b3073ffffffffffffffffffffffffffffffffffffffff16638595475e6040518163ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401602060405180830381600087803b1580156103fa57600080fd5b505af115801561040e573d6000803e3d6000fd5b505050506040513d602081101561042457600080fd5b505191506000821161043557600080fd5b60008054604080517fa9059cbb00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff909216600483015260248201859052517326a604dffe3ddab3bee816097f81d3c4a2a4cf979263a9059cbb92604480820193602093909283900390910190829087803b1580156104c457600080fd5b505af11580156104d8573d6000803e3d6000fd5b505050506040513d60208110156104ee57600080fd5b505190508015156104fe57600080fd5b6040805183815290517f581d416ae9dff30c9305c2b35cb09ed5991897ab97804db29ccf92678e9531609181900360200190a1600354610544908363ffffffff61076a16565b6003555050565b60055463ffffffff1681565b6000610561610784565b9050801580610571575060035481145b1561057e57506000610595565b60035461059290829063ffffffff61083c16565b90505b90565b60005473ffffffffffffffffffffffffffffffffffffffff1681565b600554640100000000900460ff1681565b6105ff600e6105f360048161016d6105e7601881603c8063ffffffff61084e16565b9063ffffffff61084e16565b9063ffffffff61088216565b81565b60005473ffffffffffffffffffffffffffffffffffffffff16331461062657600080fd5b60055463ffffffff161561063957600080fd5b6005805463ffffffff19164363ffffffff16179055600060ff821611156106a05760ff8116610680600e6105f360048161016d6105e7601881603c8063ffffffff61084e16565b6005805463ffffffff1981169290930263ffffffff938416019092161790555b604080517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015290517326a604dffe3ddab3bee816097f81d3c4a2a4cf97916370a082319160248083019260209291908290030181600087803b15801561070c57600080fd5b505af1158015610720573d6000803e3d6000fd5b505050506040513d602081101561073657600080fd5b505160028190556005546107559190640100000000900460ff16610882565b60045560025460001061076757600080fd5b50565b60008282018381101561077957fe5b8091505b5092915050565b600554600090819063ffffffff1615806107a857506005544363ffffffff90911610155b156107b65760009150610838565b6107d8600e6105f360048161016d6105e7601881603c8063ffffffff61084e16565b60055463ffffffff918216911643038115156107f057fe5b0490508015156108035760009150610838565b600554640100000000900460ff168110610821576002549150610838565b60045461083590829063ffffffff61084e16565b91505b5090565b60008282111561084857fe5b50900390565b60008083158061085c575082155b1561086a576000915061077d565b5082820282848281151561087a57fe5b041461077957fe5b6000818381151561088f57fe5b0493925050505600a165627a7a72305820d4c4aa4e9196f928a8d46fbd4709f671420bfdefbadbadd3ffbe8358d54ff049002900000000000000000000000087c640959cd273a5216f0aced6aece7c78579d24000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000025434f525820446576656c6f706d656e7420616e6420506172746e6572736869702046756e64000000000000000000000000000000000000000000000000000000

0x6080604052600436106100b95763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100be5780631a39d8ef146101485780631c0ac90d1461016f578063216340c3146101ad5780632f9e51b2146101c25780633ccfd60b146101d757806348cd4cb1146101ee5780638595475e1461021c5780638da5cb5b14610231578063b47e9c7914610246578063f31821fe14610271578063fce290d414610286575b600080fd5b3480156100ca57600080fd5b506100d36102a1565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561010d5781810151838201526020016100f5565b50505050905090810190601f16801561013a5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561015457600080fd5b5061015d61032e565b60408051918252519081900360200190f35b34801561017b57600080fd5b50610184610334565b6040805173ffffffffffffffffffffffffffffffffffffffff9092168252519081900360200190f35b3480156101b957600080fd5b5061015d61034c565b3480156101ce57600080fd5b5061015d610352565b3480156101e357600080fd5b506101ec610358565b005b3480156101fa57600080fd5b5061020361054b565b6040805163ffffffff9092168252519081900360200190f35b34801561022857600080fd5b5061015d610557565b34801561023d57600080fd5b50610184610598565b34801561025257600080fd5b5061025b6105b4565b6040805160ff9092168252519081900360200190f35b34801561027d57600080fd5b506102036105c5565b34801561029257600080fd5b506101ec60ff60043516610602565b60018054604080516020600284861615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103265780601f106102fb57610100808354040283529160200191610326565b820191906000526020600020905b81548152906001019060200180831161030957829003601f168201915b505050505081565b60025481565b7326a604dffe3ddab3bee816097f81d3c4a2a4cf9781565b60035481565b60045481565b60008054819073ffffffffffffffffffffffffffffffffffffffff16331461037f57600080fd5b600554600063ffffffff9091161161039657600080fd5b3073ffffffffffffffffffffffffffffffffffffffff16638595475e6040518163ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401602060405180830381600087803b1580156103fa57600080fd5b505af115801561040e573d6000803e3d6000fd5b505050506040513d602081101561042457600080fd5b505191506000821161043557600080fd5b60008054604080517fa9059cbb00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff909216600483015260248201859052517326a604dffe3ddab3bee816097f81d3c4a2a4cf979263a9059cbb92604480820193602093909283900390910190829087803b1580156104c457600080fd5b505af11580156104d8573d6000803e3d6000fd5b505050506040513d60208110156104ee57600080fd5b505190508015156104fe57600080fd5b6040805183815290517f581d416ae9dff30c9305c2b35cb09ed5991897ab97804db29ccf92678e9531609181900360200190a1600354610544908363ffffffff61076a16565b6003555050565b60055463ffffffff1681565b6000610561610784565b9050801580610571575060035481145b1561057e57506000610595565b60035461059290829063ffffffff61083c16565b90505b90565b60005473ffffffffffffffffffffffffffffffffffffffff1681565b600554640100000000900460ff1681565b6105ff600e6105f360048161016d6105e7601881603c8063ffffffff61084e16565b9063ffffffff61084e16565b9063ffffffff61088216565b81565b60005473ffffffffffffffffffffffffffffffffffffffff16331461062657600080fd5b60055463ffffffff161561063957600080fd5b6005805463ffffffff19164363ffffffff16179055600060ff821611156106a05760ff8116610680600e6105f360048161016d6105e7601881603c8063ffffffff61084e16565b6005805463ffffffff1981169290930263ffffffff938416019092161790555b604080517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015290517326a604dffe3ddab3bee816097f81d3c4a2a4cf97916370a082319160248083019260209291908290030181600087803b15801561070c57600080fd5b505af1158015610720573d6000803e3d6000fd5b505050506040513d602081101561073657600080fd5b505160028190556005546107559190640100000000900460ff16610882565b60045560025460001061076757600080fd5b50565b60008282018381101561077957fe5b8091505b5092915050565b600554600090819063ffffffff1615806107a857506005544363ffffffff90911610155b156107b65760009150610838565b6107d8600e6105f360048161016d6105e7601881603c8063ffffffff61084e16565b60055463ffffffff918216911643038115156107f057fe5b0490508015156108035760009150610838565b600554640100000000900460ff168110610821576002549150610838565b60045461083590829063ffffffff61084e16565b91505b5090565b60008282111561084857fe5b50900390565b60008083158061085c575082155b1561086a576000915061077d565b5082820282848281151561087a57fe5b041461077957fe5b6000818381151561088f57fe5b0493925050505600a165627a7a72305820d4c4aa4e9196f928a8d46fbd4709f671420bfdefbadbadd3ffbe8358d54ff0490029

00000000000000000000000087c640959cd273a5216f0aced6aece7c78579d24000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000025434f525820446576656c6f706d656e7420616e6420506172746e6572736869702046756e64000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : _owner (address): 0x87C640959cD273a5216F0aCed6aeCE7c78579d24
Arg [1] : _parts (uint8): 16
Arg [2] : _name (string): CORX Development and Partnership Fund

-----Encoded View---------------
6 Constructor Arguments found :
Arg [0] : 00000000000000000000000087c640959cd273a5216f0aced6aece7c78579d24
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000010
Arg [2] : 0000000000000000000000000000000000000000000000000000000000000060
Arg [3] : 0000000000000000000000000000000000000000000000000000000000000025
Arg [4] : 434f525820446576656c6f706d656e7420616e6420506172746e657273686970
Arg [5] : 2046756e64000000000000000000000000000000000000000000000000000000

924:2436:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1359:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1359:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;1359:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1398:42;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1398:42:0;;;;;;;;;;;;;;;;;;;;1042:103;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1042:103:0;;;;;;;;;;;;;;;;;;;;;;;1444:41;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1444:41:0;;;;1489;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1489:41:0;;;;2384:284;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2384:284:0;;;;;;1534:41;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1534:41:0;;;;;;;;;;;;;;;;;;;;;;;2692:199;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2692:199:0;;;;1319:36;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1319:36:0;;;;1579;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1579:36:0;;;;;;;;;;;;;;;;;;;;;;;1200:115;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1200:115:0;;;;2056:325;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;2056:325:0;;;;;;;1359:35;;;;;;;;;;;;;;;-1:-1:-1;;1359:35:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1398:42::-;;;;:::o;1042:103::-;1102:42;1042:103;:::o;1444:41::-;;;;:::o;1489:::-;;;;:::o;2384:284::-;2447:17;1870:5;;2447:17;;1870:5;;1856:10;:19;1848:28;;;;;;1991:10;;2004:1;1991:10;;;;:14;1982:24;;;;;;2467:4;:20;;;:22;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2467:22:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2467:22:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2467:22:0;;-1:-1:-1;2515:1:0;2503:13;;2494:24;;;;;;2555:5;;;2538:34;;;;;;:16;2555:5;;;2538:34;;;;;;;;;;;1102:42;;2538:16;;:34;;;;;;;;;;;;;;;;;;1102:42;2538:34;;;5:2:-1;;;;30:1;27;20:12;5:2;2538:34:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2538:34:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2538:34:0;;-1:-1:-1;2577:18:0;;;;;;;;;2605:15;;;;;;;;;;;;;;;;;2638:10;;:25;;2653:9;2638:25;:14;:25;:::i;:::-;2625:10;:38;-1:-1:-1;;2384:284:0:o;1534:41::-;;;;;;:::o;2692:199::-;2737:14;2767:18;:16;:18::i;:::-;2758:27;-1:-1:-1;2795:11:0;;;:35;;;2820:10;;2810:6;:20;2795:35;2790:63;;;-1:-1:-1;2846:1:0;2839:8;;2790:63;2875:10;;2864:22;;:6;;:22;:10;:22;:::i;:::-;2857:29;;2692:199;;:::o;1319:36::-;;;;;;:::o;1579:::-;;;;;;;;;:::o;1200:115::-;1253:60;1194:2;1253:43;1294:1;1253:43;1285:3;1253:27;1277:2;1253:27;1269:2;;1253:19;:15;:19;:::i;:::-;:23;:27;:23;:27;:::i;:36::-;:40;:43;:40;:43;:::i;:60::-;1200:115;:::o;2056:325::-;1870:5;;;;1856:10;:19;1848:28;;;;;;1926:10;;;;:15;1917:25;;;;;;2133:10;:33;;-1:-1:-1;;2133:33:0;2153:12;2133:33;;;;;-1:-1:-1;2176:15:0;;;;2171:73;;;2214:24;;;1253:60;1194:2;1253:43;1294:1;1253:43;1285:3;1253:27;1277:2;1253:27;1269:2;;1253:19;:15;:19;:::i;:60::-;2200:10;:38;;-1:-1:-1;;2200:38:0;;2214:24;;;;2200:38;;;;;;;;;;;2171:73;2262:32;;;;;;2288:4;2262:32;;;;;;1102:42;;2262:17;;:32;;;;;;;;;;;;;;-1:-1:-1;1102:42:0;2262:32;;;5:2:-1;;;;30:1;27;20:12;5:2;2262:32:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2262:32:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2262:32:0;2248:11;:46;;;2337:5;;2312:33;;2262:32;2337:5;;;;;2312:15;:33::i;:::-;2299:10;:46;2359:11;;2373:1;-1:-1:-1;2350:26:0;;;;;;2056:325;:::o;600:126::-;658:7;684:5;;;701:6;;;;694:14;;;;720:1;713:8;;600:126;;;;;;:::o;2915:374::-;2992:10;;2966:14;;;;2992:10;;:15;;:45;;-1:-1:-1;3011:10:0;;3025:12;3011:10;;;;:26;;2992:45;2987:72;;;3052:1;3045:8;;;;2987:72;1253:60;1194:2;1253:43;1294:1;1253:43;1285:3;1253:27;1277:2;1253:27;1269:2;;1253:19;:15;:19;:::i;:60::-;3108:10;;3092:40;;;;;3108:10;3093:12;:25;3092:40;;;;;;;;;-1:-1:-1;3143:15:0;;3138:109;;;3174:1;3167:8;;;;3138:109;3209:5;;;;;;;3195:19;;3190:57;;3230:11;;3223:18;;;;3190:57;3273:10;;3258:26;;:10;;:26;:14;:26;:::i;:::-;3251:33;;2915:374;;;:::o;487:108::-;545:7;566:6;;;;559:14;;;;-1:-1:-1;585:5:0;;;487:108::o;210:178::-;268:7;;287:6;;;:16;;-1:-1:-1;297:6:0;;287:16;282:44;;;319:1;312:8;;;;282:44;-1:-1:-1;342:5:0;;;346:1;342;:5;359;;;;;;;;:10;352:18;;;393:89;451:7;476:1;472;:5;;;;;;;;;393:89;-1:-1:-1;;;393:89:0:o

bzzr://d4c4aa4e9196f928a8d46fbd4709f671420bfdefbadbadd3ffbe8358d54ff049