Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract MultiSigWallet *
•    - function()
•    - function addOwner(address owner)
•    - function removeOwner(address owner)
•    - function replaceOwner(address owner, ...
•    - function changeRequirement(uint256 _r ...
•    - function submitTransaction(
•    - function confirmTransaction(uint256 t ...
•    - function revokeConfirmation(uint256 t ...
•    - function executeTransaction(uint256 t ...
•    - function external_call(
•    - function isConfirmed(uint256 transact ...
•    - function addTransaction(
•    - function getConfirmationCount(uint256 ...
•    - function getTransactionCount(bool pen ...
•    - function getOwners()
•    - function getConfirmations(uint256 tra ...
•    - function getTransactionIds(

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-09-21
*/

pragma solidity 0.5.0;

/// @title Multisignature wallet - Allows multiple parties to agree on transactions before execution.
/// @author Stefan George - <[email protected]>
contract MultiSigWallet {
	/*
	 *  Events
	 */
	event Confirmation(address indexed sender, uint256 indexed transactionId);
	event Revocation(address indexed sender, uint256 indexed transactionId);
	event Submission(uint256 indexed transactionId);
	event Execution(uint256 indexed transactionId);
	event ExecutionFailure(uint256 indexed transactionId);
	event Deposit(address indexed sender, uint256 value);
	event OwnerAddition(address indexed owner);
	event OwnerRemoval(address indexed owner);
	event RequirementChange(uint256 required);

	/*
	 *  Constants
	 */
	uint256 public constant MAX_OWNER_COUNT = 50;

	/*
	 *  Storage
	 */
	mapping(uint256 => Transaction) public transactions;
	mapping(uint256 => mapping(address => bool)) public confirmations;
	mapping(address => bool) public isOwner;
	address[] public owners;
	uint256 public required;
	uint256 public transactionCount;

	struct Transaction {
		address destination;
		uint256 value;
		bytes data;
		bool executed;
	}

	/*
	 *  Modifiers
	 */
	modifier onlyWallet() {
		require(msg.sender == address(this));
		_;
	}

	modifier ownerDoesNotExist(address owner) {
		require(!isOwner[owner]);
		_;
	}

	modifier ownerExists(address owner) {
		require(isOwner[owner]);
		_;
	}

	modifier transactionExists(uint256 transactionId) {
		require(transactions[transactionId].destination != address(0));
		_;
	}

	modifier confirmed(uint256 transactionId, address owner) {
		require(confirmations[transactionId][owner]);
		_;
	}

	modifier notConfirmed(uint256 transactionId, address owner) {
		require(!confirmations[transactionId][owner]);
		_;
	}

	modifier notExecuted(uint256 transactionId) {
		require(!transactions[transactionId].executed);
		_;
	}

	modifier notNull(address _address) {
		require(_address != address(0));
		_;
	}

	modifier validRequirement(uint256 ownerCount, uint256 _required) {
		require(
			ownerCount <= MAX_OWNER_COUNT &&
				_required <= ownerCount &&
				_required != 0 &&
				ownerCount != 0
		);
		_;
	}

	/// @dev Fallback function allows to deposit ether.
	function() external payable {
		if (msg.value > 0) emit Deposit(msg.sender, msg.value);
	}

	/*
	 * Public functions
	 */
	/// @dev Contract constructor sets initial owners and required number of confirmations.
	/// @param _owners List of initial owners.
	/// @param _required Number of required confirmations.
	constructor(address[] memory _owners, uint256 _required)
		public
		validRequirement(_owners.length, _required)
	{
		for (uint256 i = 0; i < _owners.length; i++) {
			require(!isOwner[_owners[i]] && _owners[i] != address(0));
			isOwner[_owners[i]] = true;
		}
		owners = _owners;
		required = _required;
	}

	/// @dev Allows to add a new owner. Transaction has to be sent by wallet.
	/// @param owner Address of new owner.
	function addOwner(address owner)
		public
		onlyWallet
		ownerDoesNotExist(owner)
		notNull(owner)
		validRequirement(owners.length + 1, required)
	{
		isOwner[owner] = true;
		owners.push(owner);
		emit OwnerAddition(owner);
	}

	/// @dev Allows to remove an owner. Transaction has to be sent by wallet.
	/// @param owner Address of owner.
	function removeOwner(address owner) public onlyWallet ownerExists(owner) {
		isOwner[owner] = false;
		for (uint256 i = 0; i < owners.length - 1; i++)
			if (owners[i] == owner) {
				owners[i] = owners[owners.length - 1];
				break;
			}
		owners.length -= 1;
		if (required > owners.length) changeRequirement(owners.length);
		emit OwnerRemoval(owner);
	}

	/// @dev Allows to replace an owner with a new owner. Transaction has to be sent by wallet.
	/// @param owner Address of owner to be replaced.
	/// @param newOwner Address of new owner.
	function replaceOwner(address owner, address newOwner)
		public
		onlyWallet
		ownerExists(owner)
		ownerDoesNotExist(newOwner)
	{
		for (uint256 i = 0; i < owners.length; i++)
			if (owners[i] == owner) {
				owners[i] = newOwner;
				break;
			}
		isOwner[owner] = false;
		isOwner[newOwner] = true;
		emit OwnerRemoval(owner);
		emit OwnerAddition(newOwner);
	}

	/// @dev Allows to change the number of required confirmations. Transaction has to be sent by wallet.
	/// @param _required Number of required confirmations.
	function changeRequirement(uint256 _required)
		public
		onlyWallet
		validRequirement(owners.length, _required)
	{
		required = _required;
		emit RequirementChange(_required);
	}

	/// @dev Allows an owner to submit and confirm a transaction.
	/// @param destination Transaction target address.
	/// @param value Transaction ether value.
	/// @param data Transaction data payload.
	/// @return Returns transaction ID.
	function submitTransaction(
		address destination,
		uint256 value,
		bytes memory data
	) public returns (uint256 transactionId) {
		transactionId = addTransaction(destination, value, data);
		confirmTransaction(transactionId);
	}

	/// @dev Allows an owner to confirm a transaction.
	/// @param transactionId Transaction ID.
	function confirmTransaction(uint256 transactionId)
		public
		ownerExists(msg.sender)
		transactionExists(transactionId)
		notConfirmed(transactionId, msg.sender)
	{
		confirmations[transactionId][msg.sender] = true;
		emit Confirmation(msg.sender, transactionId);
		executeTransaction(transactionId);
	}

	/// @dev Allows an owner to revoke a confirmation for a transaction.
	/// @param transactionId Transaction ID.
	function revokeConfirmation(uint256 transactionId)
		public
		ownerExists(msg.sender)
		confirmed(transactionId, msg.sender)
		notExecuted(transactionId)
	{
		confirmations[transactionId][msg.sender] = false;
		emit Revocation(msg.sender, transactionId);
	}

	/// @dev Allows anyone to execute a confirmed transaction.
	/// @param transactionId Transaction ID.
	function executeTransaction(uint256 transactionId)
		public
		ownerExists(msg.sender)
		confirmed(transactionId, msg.sender)
		notExecuted(transactionId)
	{
		if (isConfirmed(transactionId)) {
			Transaction storage txn = transactions[transactionId];
			txn.executed = true;
			if (
				external_call(
					txn.destination,
					txn.value,
					txn.data.length,
					txn.data
				)
			) emit Execution(transactionId);
			else {
				emit ExecutionFailure(transactionId);
				txn.executed = false;
			}
		}
	}

	// call has been separated into its own function in order to take advantage
	// of the Solidity's code generator to produce a loop that copies tx.data into memory.
	function external_call(
		address destination,
		uint256 value,
		uint256 dataLength,
		bytes memory data
	) private returns (bool) {
		bool result;
		assembly {
			let x := mload(0x40) // "Allocate" memory for output (0x40 is where "free memory" pointer is stored by convention)
			let d := add(data, 32) // First 32 bytes are the padded length of data, so exclude that
			result := call(
				sub(gas, 34710), // 34710 is the value that solidity is currently emitting
				// It includes callGas (700) + callVeryLow (3, to pay for SUB) + callValueTransferGas (9000) +
				// callNewAccountGas (25000, in case the destination address does not exist and needs creating)
				destination,
				value,
				d,
				dataLength, // Size of the input (in bytes) - this is what fixes the padding problem
				x,
				0 // Output is ignored, therefore the output size is zero
			)
		}
		return result;
	}

	/// @dev Returns the confirmation status of a transaction.
	/// @param transactionId Transaction ID.
	/// @return Confirmation status.
	function isConfirmed(uint256 transactionId) public view returns (bool) {
		uint256 count = 0;
		for (uint256 i = 0; i < owners.length; i++) {
			if (confirmations[transactionId][owners[i]]) count += 1;
			if (count == required) return true;
		}
	}

	/*
	 * Internal functions
	 */
	/// @dev Adds a new transaction to the transaction mapping, if transaction does not exist yet.
	/// @param destination Transaction target address.
	/// @param value Transaction ether value.
	/// @param data Transaction data payload.
	/// @return Returns transaction ID.
	function addTransaction(
		address destination,
		uint256 value,
		bytes memory data
	) internal notNull(destination) returns (uint256 transactionId) {
		transactionId = transactionCount;
		transactions[transactionId] = Transaction({
			destination: destination,
			value: value,
			data: data,
			executed: false
		});
		transactionCount += 1;
		emit Submission(transactionId);
	}

	/*
	 * Web3 call functions
	 */
	/// @dev Returns number of confirmations of a transaction.
	/// @param transactionId Transaction ID.
	/// @return Number of confirmations.
	function getConfirmationCount(uint256 transactionId)
		public
		view
		returns (uint256 count)
	{
		for (uint256 i = 0; i < owners.length; i++)
			if (confirmations[transactionId][owners[i]]) count += 1;
	}

	/// @dev Returns total number of transactions after filers are applied.
	/// @param pending Include pending transactions.
	/// @param executed Include executed transactions.
	/// @return Total number of transactions after filters are applied.
	function getTransactionCount(bool pending, bool executed)
		public
		view
		returns (uint256 count)
	{
		for (uint256 i = 0; i < transactionCount; i++)
			if (
				(pending && !transactions[i].executed) ||
				(executed && transactions[i].executed)
			) count += 1;
	}

	/// @dev Returns list of owners.
	/// @return List of owner addresses.
	function getOwners() public view returns (address[] memory) {
		return owners;
	}

	/// @dev Returns array with owner addresses, which confirmed transaction.
	/// @param transactionId Transaction ID.
	/// @return Returns array of owner addresses.
	function getConfirmations(uint256 transactionId)
		public
		view
		returns (address[] memory _confirmations)
	{
		address[] memory confirmationsTemp = new address[](owners.length);
		uint256 count = 0;
		uint256 i;
		for (i = 0; i < owners.length; i++)
			if (confirmations[transactionId][owners[i]]) {
				confirmationsTemp[count] = owners[i];
				count += 1;
			}
		_confirmations = new address[](count);
		for (i = 0; i < count; i++) _confirmations[i] = confirmationsTemp[i];
	}

	/// @dev Returns list of transaction IDs in defined range.
	/// @param from Index start position of transaction array.
	/// @param to Index end position of transaction array.
	/// @param pending Include pending transactions.
	/// @param executed Include executed transactions.
	/// @return Returns array of transaction IDs.
	function getTransactionIds(
		uint256 from,
		uint256 to,
		bool pending,
		bool executed
	) public view returns (uint256[] memory _transactionIds) {
		uint256[] memory transactionIdsTemp = new uint256[](transactionCount);
		uint256 count = 0;
		uint256 i;
		for (i = 0; i < transactionCount; i++)
			if (
				(pending && !transactions[i].executed) ||
				(executed && transactions[i].executed)
			) {
				transactionIdsTemp[count] = i;
				count += 1;
			}
		_transactionIds = new uint256[](to - from);
		for (i = from; i < to; i++)
			_transactionIds[i - from] = transactionIdsTemp[i];
	}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[{"name":"","type":"uint256"}],"name":"owners","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"owner","type":"address"}],"name":"removeOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"transactionId","type":"uint256"}],"name":"revokeConfirmation","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"isOwner","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"uint256"},{"name":"","type":"address"}],"name":"confirmations","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"pending","type":"bool"},{"name":"executed","type":"bool"}],"name":"getTransactionCount","outputs":[{"name":"count","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"owner","type":"address"}],"name":"addOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"transactionId","type":"uint256"}],"name":"isConfirmed","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"transactionId","type":"uint256"}],"name":"getConfirmationCount","outputs":[{"name":"count","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"uint256"}],"name":"transactions","outputs":[{"name":"destination","type":"address"},{"name":"value","type":"uint256"},{"name":"data","type":"bytes"},{"name":"executed","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"getOwners","outputs":[{"name":"","type":"address[]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"from","type":"uint256"},{"name":"to","type":"uint256"},{"name":"pending","type":"bool"},{"name":"executed","type":"bool"}],"name":"getTransactionIds","outputs":[{"name":"_transactionIds","type":"uint256[]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"transactionId","type":"uint256"}],"name":"getConfirmations","outputs":[{"name":"_confirmations","type":"address[]"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"transactionCount","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_required","type":"uint256"}],"name":"changeRequirement","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"transactionId","type":"uint256"}],"name":"confirmTransaction","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"destination","type":"address"},{"name":"value","type":"uint256"},{"name":"data","type":"bytes"}],"name":"submitTransaction","outputs":[{"name":"transactionId","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"MAX_OWNER_COUNT","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"required","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"owner","type":"address"},{"name":"newOwner","type":"address"}],"name":"replaceOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"transactionId","type":"uint256"}],"name":"executeTransaction","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[{"name":"_owners","type":"address[]"},{"name":"_required","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"name":"sender","type":"address"},{"indexed":true,"name":"transactionId","type":"uint256"}],"name":"Confirmation","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"sender","type":"address"},{"indexed":true,"name":"transactionId","type":"uint256"}],"name":"Revocation","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"transactionId","type":"uint256"}],"name":"Submission","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"transactionId","type":"uint256"}],"name":"Execution","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"transactionId","type":"uint256"}],"name":"ExecutionFailure","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"sender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Deposit","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"}],"name":"OwnerAddition","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"}],"name":"OwnerRemoval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"required","type":"uint256"}],"name":"RequirementChange","type":"event"}]

0x60806040526004361061011d576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff168063025e7c2714610177578063173825d9146101f257806320ea8d86146102435780632f54bf6e1461027e5780633411c81c146102e7578063547415251461035a5780637065cb48146103b7578063784547a7146104085780638b51d13f1461045b5780639ace38c2146104aa578063a0e67e2b146105a3578063a8abe69a1461060f578063b5dc40c3146106c1578063b77bf60014610751578063ba51a6df1461077c578063c01a8c84146107b7578063c6427474146107f2578063d74f8edd146108f8578063dc8452cd14610923578063e20056e61461094e578063ee22610b146109bf575b6000341115610175573373ffffffffffffffffffffffffffffffffffffffff167fe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c346040518082815260200191505060405180910390a25b005b34801561018357600080fd5b506101b06004803603602081101561019a57600080fd5b81019080803590602001909291905050506109fa565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156101fe57600080fd5b506102416004803603602081101561021557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610a38565b005b34801561024f57600080fd5b5061027c6004803603602081101561026657600080fd5b8101908080359060200190929190505050610cd0565b005b34801561028a57600080fd5b506102cd600480360360208110156102a157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e78565b604051808215151515815260200191505060405180910390f35b3480156102f357600080fd5b506103406004803603604081101561030a57600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610e98565b604051808215151515815260200191505060405180910390f35b34801561036657600080fd5b506103a16004803603604081101561037d57600080fd5b81019080803515159060200190929190803515159060200190929190505050610ec7565b6040518082815260200191505060405180910390f35b3480156103c357600080fd5b50610406600480360360208110156103da57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610f59565b005b34801561041457600080fd5b506104416004803603602081101561042b57600080fd5b8101908080359060200190929190505050611174565b604051808215151515815260200191505060405180910390f35b34801561046757600080fd5b506104946004803603602081101561047e57600080fd5b810190808035906020019092919050505061125b565b6040518082815260200191505060405180910390f35b3480156104b657600080fd5b506104e3600480360360208110156104cd57600080fd5b8101908080359060200190929190505050611326565b604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018060200183151515158152602001828103825284818151815260200191508051906020019080838360005b8381101561056557808201518184015260208101905061054a565b50505050905090810190601f1680156105925780820380516001836020036101000a031916815260200191505b509550505050505060405180910390f35b3480156105af57600080fd5b506105b861141b565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b838110156105fb5780820151818401526020810190506105e0565b505050509050019250505060405180910390f35b34801561061b57600080fd5b5061066a6004803603608081101561063257600080fd5b8101908080359060200190929190803590602001909291908035151590602001909291908035151590602001909291905050506114a9565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b838110156106ad578082015181840152602081019050610692565b505050509050019250505060405180910390f35b3480156106cd57600080fd5b506106fa600480360360208110156106e457600080fd5b8101908080359060200190929190505050611619565b6040518080602001828103825283818151815260200191508051906020019060200280838360005b8381101561073d578082015181840152602081019050610722565b505050509050019250505060405180910390f35b34801561075d57600080fd5b50610766611855565b6040518082815260200191505060405180910390f35b34801561078857600080fd5b506107b56004803603602081101561079f57600080fd5b810190808035906020019092919050505061185b565b005b3480156107c357600080fd5b506107f0600480360360208110156107da57600080fd5b8101908080359060200190929190505050611915565b005b3480156107fe57600080fd5b506108e26004803603606081101561081557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291908035906020019064010000000081111561085c57600080fd5b82018360208201111561086e57600080fd5b8035906020019184600183028401116401000000008311171561089057600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f820116905080830192505050505050509192919290505050611b08565b6040518082815260200191505060405180910390f35b34801561090457600080fd5b5061090d611b27565b6040518082815260200191505060405180910390f35b34801561092f57600080fd5b50610938611b2c565b6040518082815260200191505060405180910390f35b34801561095a57600080fd5b506109bd6004803603604081101561097157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b32565b005b3480156109cb57600080fd5b506109f8600480360360208110156109e257600080fd5b8101908080359060200190929190505050611e46565b005b600381815481101515610a0957fe5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b3073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610a7257600080fd5b80600260008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515610acb57600080fd5b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555060008090505b600160038054905003811015610c51578273ffffffffffffffffffffffffffffffffffffffff16600382815481101515610b5f57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415610c44576003600160038054905003815481101515610bbd57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600382815481101515610bf757fe5b9060005260206000200160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550610c51565b8080600101915050610b29565b506001600381818054905003915081610c6a919061227d565b506003805490506004541115610c8957610c8860038054905061185b565b5b8173ffffffffffffffffffffffffffffffffffffffff167f8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b9060405160405180910390a25050565b33600260008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515610d2957600080fd5b81336001600083815260200190815260200160002060008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515610d9457600080fd5b8360008082815260200190815260200160002060030160009054906101000a900460ff16151515610dc457600080fd5b60006001600087815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550843373ffffffffffffffffffffffffffffffffffffffff167ff6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e960405160405180910390a35050505050565b60026020528060005260406000206000915054906101000a900460ff1681565b60016020528160005260406000206020528060005260406000206000915091509054906101000a900460ff1681565b600080600090505b600554811015610f5257838015610f06575060008082815260200190815260200160002060030160009054906101000a900460ff16155b80610f395750828015610f38575060008082815260200190815260200160002060030160009054906101000a900460ff165b5b15610f45576001820191505b8080600101915050610ecf565b5092915050565b3073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610f9357600080fd5b80600260008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515610fed57600080fd5b81600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561102a57600080fd5b600160038054905001600454603282111580156110475750818111155b8015611054575060008114155b8015611061575060008214155b151561106c57600080fd5b6001600260008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff02191690831515021790555060038590806001815401808255809150509060018203906000526020600020016000909192909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550508473ffffffffffffffffffffffffffffffffffffffff167ff39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d60405160405180910390a25050505050565b6000806000905060008090505b600380549050811015611253576001600085815260200190815260200160002060006003838154811015156111b257fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615611231576001820191505b60045482141561124657600192505050611256565b8080600101915050611181565b50505b919050565b600080600090505b6003805490508110156113205760016000848152602001908152602001600020600060038381548110151561129457fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615611313576001820191505b8080600101915050611263565b50919050565b60006020528060005260406000206000915090508060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1690806001015490806002018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156113fe5780601f106113d3576101008083540402835291602001916113fe565b820191906000526020600020905b8154815290600101906020018083116113e157829003601f168201915b5050505050908060030160009054906101000a900460ff16905084565b6060600380548060200260200160405190810160405280929190818152602001828054801561149f57602002820191906000526020600020905b8160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019060010190808311611455575b5050505050905090565b6060806005546040519080825280602002602001820160405280156114dd5781602001602082028038833980820191505090505b509050600080905060008090505b60055481101561158b57858015611522575060008082815260200190815260200160002060030160009054906101000a900460ff16155b806115555750848015611554575060008082815260200190815260200160002060030160009054906101000a900460ff165b5b1561157e5780838381518110151561156957fe5b90602001906020020181815250506001820191505b80806001019150506114eb565b8787036040519080825280602002602001820160405280156115bc5781602001602082028038833980820191505090505b5093508790505b8681101561160e5782818151811015156115d957fe5b90602001906020020151848983038151811015156115f357fe5b906020019060200201818152505080806001019150506115c3565b505050949350505050565b6060806003805490506040519080825280602002602001820160405280156116505781602001602082028038833980820191505090505b509050600080905060008090505b60038054905081101561179f5760016000868152602001908152602001600020600060038381548110151561168f57fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16156117925760038181548110151561171657fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16838381518110151561174f57fe5b9060200190602002019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff16815250506001820191505b808060010191505061165e565b816040519080825280602002602001820160405280156117ce5781602001602082028038833980820191505090505b509350600090505b8181101561184d5782818151811015156117ec57fe5b90602001906020020151848281518110151561180457fe5b9060200190602002019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff168152505080806001019150506117d6565b505050919050565b60055481565b3073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561189557600080fd5b60038054905081603282111580156118ad5750818111155b80156118ba575060008114155b80156118c7575060008214155b15156118d257600080fd5b826004819055507fa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a836040518082815260200191505060405180910390a1505050565b33600260008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151561196e57600080fd5b81600073ffffffffffffffffffffffffffffffffffffffff1660008083815260200190815260200160002060000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16141515156119e057600080fd5b82336001600083815260200190815260200160002060008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515611a4c57600080fd5b600180600087815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550843373ffffffffffffffffffffffffffffffffffffffff167f4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef60405160405180910390a3611b0185611e46565b5050505050565b6000611b158484846120ee565b9050611b2081611915565b9392505050565b603281565b60045481565b3073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515611b6c57600080fd5b81600260008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515611bc557600080fd5b81600260008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515611c1f57600080fd5b60008090505b600380549050811015611d09578473ffffffffffffffffffffffffffffffffffffffff16600382815481101515611c5857fe5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415611cfc5783600382815481101515611caf57fe5b9060005260206000200160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550611d09565b8080600101915050611c25565b506000600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055506001600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508373ffffffffffffffffffffffffffffffffffffffff167f8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b9060405160405180910390a28273ffffffffffffffffffffffffffffffffffffffff167ff39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d60405160405180910390a250505050565b33600260008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515611e9f57600080fd5b81336001600083815260200190815260200160002060008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515611f0a57600080fd5b8360008082815260200190815260200160002060030160009054906101000a900460ff16151515611f3a57600080fd5b611f4385611174565b156120e7576000806000878152602001908152602001600020905060018160030160006101000a81548160ff0219169083151502179055506120638160000160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16826001015483600201805460018160011615610100020316600290049050846002018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156120595780601f1061202e57610100808354040283529160200191612059565b820191906000526020600020905b81548152906001019060200180831161203c57829003601f168201915b5050505050612256565b1561209a57857f33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed7560405160405180910390a26120e5565b857f526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b7923660405160405180910390a260008160030160006101000a81548160ff0219169083151502179055505b505b5050505050565b600083600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561212d57600080fd5b60055491506080604051908101604052808673ffffffffffffffffffffffffffffffffffffffff1681526020018581526020018481526020016000151581525060008084815260200190815260200160002060008201518160000160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506020820151816001015560408201518160020190805190602001906121ec9291906122a9565b5060608201518160030160006101000a81548160ff0219169083151502179055509050506001600560008282540192505081905550817fc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e5160405160405180910390a2509392505050565b6000806040516020840160008287838a8c6187965a03f19250505080915050949350505050565b8154818355818111156122a4578183600052602060002091820191016122a39190612329565b5b505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106122ea57805160ff1916838001178555612318565b82800160010185558215612318579182015b828111156123175782518255916020019190600101906122fc565b5b5090506123259190612329565b5090565b61234b91905b8082111561234757600081600090555060010161232f565b5090565b9056fea165627a7a72305820f8e421dfda19ada34bdb137dbd1e757ea686861dcb24f19ecc42ea5a2ed555c80029

188:11369:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2375:1;2363:9;:13;2359:54;;;2391:10;2383:30;;;2403:9;2383:30;;;;;;;;;;;;;;;;;;2359:54;188:11369;1013:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1013:23:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1013:23:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3443:367;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3443:367:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3443:367:0;;;;;;;;;;;;;;;;;;;;;;5755:265;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5755:265:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5755:265:0;;;;;;;;;;;;;;;;;;;;970:39;;8:9:-1;5:2;;;30:1;27;20:12;5:2;970:39:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;970:39:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;901:65;;8:9:-1;5:2;;;30:1;27;20:12;5:2;901:65:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;901:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9500:278;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9500:278:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9500:278:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3087:238;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3087:238:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3087:238:0;;;;;;;;;;;;;;;;;;;;;;7886:253;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7886:253:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7886:253:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9034:213;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9034:213:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9034:213:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;846:51;;8:9:-1;5:2;;;30:1;27;20:12;5:2;846:51:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;846:51: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;846:51:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9857:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9857:83: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;9857:83:0;;;;;;;;;;;;;;;;;10944:610;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10944:610:0;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;10944:610: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;10944:610:0;;;;;;;;;;;;;;;;;10112:496;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10112:496:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10112:496: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;10112:496:0;;;;;;;;;;;;;;;;;1067:31;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1067:31:0;;;;;;;;;;;;;;;;;;;;;;;4550:186;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4550:186:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4550:186:0;;;;;;;;;;;;;;;;;;;;5323:313;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5323:313:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5323:313:0;;;;;;;;;;;;;;;;;;;;4984:238;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4984:238:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4984:238:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;4984:238:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;4984:238:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;4984:238:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;4984:238:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;771:44;;8:9:-1;5:2;;;30:1;27;20:12;5:2;771:44:0;;;;;;;;;;;;;;;;;;;;;;;1040:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1040:23:0;;;;;;;;;;;;;;;;;;;;;;;4005:379;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4005:379:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4005:379:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6129:529;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6129:529:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6129:529:0;;;;;;;;;;;;;;;;;;;;1013:23;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3443:367::-;1292:4;1270:27;;:10;:27;;;1262:36;;;;;;;;3509:5;1450:7;:14;1458:5;1450:14;;;;;;;;;;;;;;;;;;;;;;;;;1442:23;;;;;;;;3538:5;3521:7;:14;3529:5;3521:14;;;;;;;;;;;;;;;;:22;;;;;;;;;;;;;;;;;;3553:9;3565:1;3553:13;;3548:139;3588:1;3572:6;:13;;;;:17;3568:1;:21;3548:139;;;3617:5;3604:18;;:6;3611:1;3604:9;;;;;;;;;;;;;;;;;;;;;;;;;;;:18;;;3600:87;;;3643:6;3666:1;3650:6;:13;;;;:17;3643:25;;;;;;;;;;;;;;;;;;;;;;;;;;;3631:6;3638:1;3631:9;;;;;;;;;;;;;;;;;;:37;;;;;;;;;;;;;;;;;;3675:5;;3600:87;3591:3;;;;;;;3548:139;;;;3708:1;3691:6;:18;;;;;;;;;;;;;;:::i;:::-;;3729:6;:13;;;;3718:8;;:24;3714:62;;;3744:32;3762:6;:13;;;;3744:17;:32::i;:::-;3714:62;3799:5;3786:19;;;;;;;;;;;;1303:1;3443:367;:::o;5755:265::-;5831:10;1450:7;:14;1458:5;1450:14;;;;;;;;;;;;;;;;;;;;;;;;;1442:23;;;;;;;;5856:13;5871:10;1684:13;:28;1698:13;1684:28;;;;;;;;;;;:35;1713:5;1684:35;;;;;;;;;;;;;;;;;;;;;;;;;1676:44;;;;;;;;5898:13;1920:12;:27;1933:13;1920:27;;;;;;;;;;;:36;;;;;;;;;;;;1919:37;1911:46;;;;;;;;5963:5;5920:13;:28;5934:13;5920:28;;;;;;;;;;;:40;5949:10;5920:40;;;;;;;;;;;;;;;;:48;;;;;;;;;;;;;;;;;;6001:13;5989:10;5978:37;;;;;;;;;;;;1725:1;1470;;5755:265;;:::o;970:39::-;;;;;;;;;;;;;;;;;;;;;;:::o;901:65::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;9500:278::-;9588:13;9615:9;9627:1;9615:13;;9610:163;9634:16;;9630:1;:20;9610:163;;;9672:7;:36;;;;;9684:12;:15;9697:1;9684:15;;;;;;;;;;;:24;;;;;;;;;;;;9683:25;9672:36;9671:85;;;;9719:8;:36;;;;;9731:12;:15;9744:1;9731:15;;;;;;;;;;;:24;;;;;;;;;;;;9719:36;9671:85;9661:112;;;9772:1;9763:10;;;;9661:112;9652:3;;;;;;;9610:163;;;;9500:278;;;;:::o;3087:238::-;1292:4;1270:27;;:10;:27;;;1262:36;;;;;;;;3165:5;1370:7;:14;1378:5;1370:14;;;;;;;;;;;;;;;;;;;;;;;;;1369:15;1361:24;;;;;;;;3183:5;2041:1;2021:22;;:8;:22;;;;2013:31;;;;;;;;3226:1;3210:6;:13;;;;:17;3229:8;;813:2;2143:10;:29;;:61;;;;;2194:10;2181:9;:23;;2143:61;:84;;;;;2226:1;2213:9;:14;;2143:84;:108;;;;;2250:1;2236:10;:15;;2143:108;2130:126;;;;;;;;3263:4;3246:7;:14;3254:5;3246:14;;;;;;;;;;;;;;;;:21;;;;;;;;;;;;;;;;;;3272:6;3284:5;3272:18;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;3272:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3314:5;3300:20;;;;;;;;;;;;2049:1;;1390;1303;3087:238;:::o;7886:253::-;7951:4;7962:13;7978:1;7962:17;;7989:9;8001:1;7989:13;;7984:151;8008:6;:13;;;;8004:1;:17;7984:151;;;8038:13;:28;8052:13;8038:28;;;;;;;;;;;:39;8067:6;8074:1;8067:9;;;;;;;;;;;;;;;;;;;;;;;;;;;8038:39;;;;;;;;;;;;;;;;;;;;;;;;;8034:55;;;8088:1;8079:10;;;;8034:55;8108:8;;8099:5;:17;8095:34;;;8125:4;8118:11;;;;;;8095:34;8023:3;;;;;;;7984:151;;;;7886:253;;;;;:::o;9034:213::-;9117:13;9144:9;9156:1;9144:13;;9139:103;9163:6;:13;;;;9159:1;:17;9139:103;;;9191:13;:28;9205:13;9191:28;;;;;;;;;;;:39;9220:6;9227:1;9220:9;;;;;;;;;;;;;;;;;;;;;;;;;;;9191:39;;;;;;;;;;;;;;;;;;;;;;;;;9187:55;;;9241:1;9232:10;;;;9187:55;9178:3;;;;;;;9139:103;;;;9034:213;;;:::o;846:51::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;9857:83::-;9899:16;9929:6;9922:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9857:83;:::o;10944:610::-;11063:32;11102:35;11154:16;;11140:31;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;148:4;140:6;136:17;126:27;;0:157;11140:31:0;;;;11102:69;;11176:13;11192:1;11176:17;;11198:9;11221:1;11217:5;;11212:205;11228:16;;11224:1;:20;11212:205;;;11266:7;:36;;;;;11278:12;:15;11291:1;11278:15;;;;;;;;;;;:24;;;;;;;;;;;;11277:25;11266:36;11265:85;;;;11313:8;:36;;;;;11325:12;:15;11338:1;11325:15;;;;;;;;;;;:24;;;;;;;;;;;;11313:36;11265:85;11255:162;;;11392:1;11364:18;11383:5;11364:25;;;;;;;;;;;;;;;;;:29;;;;;11409:1;11400:10;;;;11255:162;11246:3;;;;;;;11212:205;;;11458:4;11453:2;:9;11439:24;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;148:4;140:6;136:17;126:27;;0:157;11439:24:0;;;;11421:42;;11477:4;11473:8;;11468:81;11487:2;11483:1;:6;11468:81;;;11528:18;11547:1;11528:21;;;;;;;;;;;;;;;;;;11500:15;11520:4;11516:1;:8;11500:25;;;;;;;;;;;;;;;;;:49;;;;;11491:3;;;;;;;11468:81;;;10944:610;;;;;;;;;:::o;10112:496::-;10191:31;10231:34;10282:6;:13;;;;10268:28;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;148:4;140:6;136:17;126:27;;0:157;10268:28:0;;;;10231:65;;10301:13;10317:1;10301:17;;10323:9;10346:1;10342:5;;10337:152;10353:6;:13;;;;10349:1;:17;10337:152;;;10381:13;:28;10395:13;10381:28;;;;;;;;;;;:39;10410:6;10417:1;10410:9;;;;;;;;;;;;;;;;;;;;;;;;;;;10381:39;;;;;;;;;;;;;;;;;;;;;;;;;10377:112;;;10456:6;10463:1;10456:9;;;;;;;;;;;;;;;;;;;;;;;;;;;10429:17;10447:5;10429:24;;;;;;;;;;;;;;;;;:36;;;;;;;;;;;10481:1;10472:10;;;;10377:112;10368:3;;;;;;;10337:152;;;10524:5;10510:20;;;;;;;;;;;;;;;;;;;;;;29:2:-1;21:6;17:15;117:4;105:10;97:6;88:34;148:4;140:6;136:17;126:27;;0:157;10510:20:0;;;;10493:37;;10544:1;10540:5;;10535:68;10551:5;10547:1;:9;10535:68;;;10583:17;10601:1;10583:20;;;;;;;;;;;;;;;;;;10563:14;10578:1;10563:17;;;;;;;;;;;;;;;;;:40;;;;;;;;;;;10558:3;;;;;;;10535:68;;;10112:496;;;;;;:::o;1067:31::-;;;;:::o;4550:186::-;1292:4;1270:27;;:10;:27;;;1262:36;;;;;;;;4640:6;:13;;;;4655:9;813:2;2143:10;:29;;:61;;;;;2194:10;2181:9;:23;;2143:61;:84;;;;;2226:1;2213:9;:14;;2143:84;:108;;;;;2250:1;2236:10;:15;;2143:108;2130:126;;;;;;;;4684:9;4673:8;:20;;;;4703:28;4721:9;4703:28;;;;;;;;;;;;;;;;;;1303:1;;4550:186;:::o;5323:313::-;5399:10;1450:7;:14;1458:5;1450:14;;;;;;;;;;;;;;;;;;;;;;;;;1442:23;;;;;;;;5432:13;1595:1;1544:53;;:12;:27;1557:13;1544:27;;;;;;;;;;;:39;;;;;;;;;;;;:53;;;;1536:62;;;;;;;;5463:13;5478:10;1810:13;:28;1824:13;1810:28;;;;;;;;;;;:35;1839:5;1810:35;;;;;;;;;;;;;;;;;;;;;;;;;1809:36;1801:45;;;;;;;;5540:4;5497:13;:28;5511:13;5497:28;;;;;;;;;;;:40;5526:10;5497:40;;;;;;;;;;;;;;;;:47;;;;;;;;;;;;;;;;;;5579:13;5567:10;5554:39;;;;;;;;;;;;5598:33;5617:13;5598:18;:33::i;:::-;1603:1;;1470;5323:313;;:::o;4984:238::-;5095:21;5139:40;5154:11;5167:5;5174:4;5139:14;:40::i;:::-;5123:56;;5184:33;5203:13;5184:18;:33::i;:::-;4984:238;;;;;:::o;771:44::-;813:2;771:44;:::o;1040:23::-;;;;:::o;4005:379::-;1292:4;1270:27;;:10;:27;;;1262:36;;;;;;;;4099:5;1450:7;:14;1458:5;1450:14;;;;;;;;;;;;;;;;;;;;;;;;;1442:23;;;;;;;;4127:8;1370:7;:14;1378:5;1370:14;;;;;;;;;;;;;;;;;;;;;;;;;1369:15;1361:24;;;;;;;;4149:9;4161:1;4149:13;;4144:118;4168:6;:13;;;;4164:1;:17;4144:118;;;4209:5;4196:18;;:6;4203:1;4196:9;;;;;;;;;;;;;;;;;;;;;;;;;;;:18;;;4192:70;;;4235:8;4223:6;4230:1;4223:9;;;;;;;;;;;;;;;;;;:20;;;;;;;;;;;;;;;;;;4250:5;;4192:70;4183:3;;;;;;;4144:118;;;;4283:5;4266:7;:14;4274:5;4266:14;;;;;;;;;;;;;;;;:22;;;;;;;;;;;;;;;;;;4313:4;4293:7;:17;4301:8;4293:17;;;;;;;;;;;;;;;;:24;;;;;;;;;;;;;;;;;;4340:5;4327:19;;;;;;;;;;;;4370:8;4356:23;;;;;;;;;;;;1470:1;1303;4005:379;;:::o;6129:529::-;6205:10;1450:7;:14;1458:5;1450:14;;;;;;;;;;;;;;;;;;;;;;;;;1442:23;;;;;;;;6230:13;6245:10;1684:13;:28;1698:13;1684:28;;;;;;;;;;;:35;1713:5;1684:35;;;;;;;;;;;;;;;;;;;;;;;;;1676:44;;;;;;;;6272:13;1920:12;:27;1933:13;1920:27;;;;;;;;;;;:36;;;;;;;;;;;;1919:37;1911:46;;;;;;;;6298:26;6310:13;6298:11;:26::i;:::-;6294:360;;;6332:23;6358:12;:27;6371:13;6358:27;;;;;;;;;;;6332:53;;6406:4;6391:3;:12;;;:19;;;;;;;;;;;;;;;;;;6426:99;6447:3;:15;;;;;;;;;;;;6470:3;:9;;;6487:3;:8;;:15;;;;;;;;;;;;;;;;6510:3;:8;;6426:99;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:13;:99::i;:::-;6416:233;;;6547:13;6537:24;;;;;;;;;;6416:233;;;6601:13;6584:31;;;;;;;;;;6637:5;6622:3;:12;;;:20;;;;;;;;;;;;;;;;;;6416:233;6294:360;;1725:1;1470;;6129:529;;:::o;8455:395::-;8586:21;8564:11;2041:1;2021:22;;:8;:22;;;;2013:31;;;;;;;;8630:16;;8614:32;;8681:103;;;;;;;;;8712:11;8681:103;;;;;;8736:5;8681:103;;;;8753:4;8681:103;;;;8773:5;8681:103;;;;;8651:12;:27;8664:13;8651:27;;;;;;;;;;;:133;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8809:1;8789:16;;:21;;;;;;;;;;;8831:13;8820:25;;;;;;;;;;8455:395;;;;;;:::o;6830:912::-;6961:4;6972:11;7018:4;7012:11;7141:2;7135:4;7131:13;7652:1;7644;7554:10;7546:1;7534:5;7516:11;7244:5;7239:3;7235:15;7224:491;7214:501;;6997:723;;7731:6;7724:13;;;6830:912;;;;;;:::o;188:11369::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o

bzzr://f8e421dfda19ada34bdb137dbd1e757ea686861dcb24f19ecc42ea5a2ed555c8