/**
 *Submitted for verification at celoscan.io on 2025-07-03
*/

pragma solidity ^0.8.0;

// Author:	Louis Holbrook <[email protected]> 0826EDA1702D1E87C6E2875121D2E7BB88C2A746
// SPDX-License-Identifier: AGPL-3.0-or-later
// File-Version: 1
// Description: ACL-enabled ERC20 token swap for tokens with compatible properties.

contract SwapPool {
	// Implements EIP173
	address public owner;

	address public tokenRegistry;
	address public tokenLimiter;
	address public quoter;
	uint256 public feePpm;
	address public feeAddress;

	string public name;
	string public symbol;
	uint256 public immutable decimals;

	uint256 public totalSupply;

	mapping ( address => uint256 ) public fees;

	// Implements Seal
	uint256 public sealState;
	uint8 constant FEE_STATE = 1;
	uint8 constant FEEADDRESS_STATE = 2;
	uint8 constant QUOTER_STATE = 4;
	uint256 constant public maxSealState = 7;

	// Implements Seal
	event SealStateChange(bool indexed _final, uint256 _sealState);

	// EIP173
	event OwnershipTransferred(address indexed previousOwner, address indexed newOwner); // EIP173

	// Emitted after a successful swap
  	event Swap(
  		address indexed initiator,
  	  	address indexed tokenIn,
  	  	address tokenOut,
  	  	uint256 amountIn,
  	  	uint256 amountOut,
	  	uint256 fee
  	);

	// Emitted only after a liquidity donation
	event Deposit(
		address indexed initiator,
		address indexed tokenIn,
		uint256 amountIn
	);

	// Emitted when collecting fees to the set feeAddress
	event Collect(
		address indexed feeAddress,
		address tokenOut,
		uint256 amountOut
	);

	event QuoterUpdated(address indexed newQuoter);

	constructor(string memory _name, string memory _symbol, uint8 _decimals, address _tokenRegistry, address _tokenLimiter) {
		name = _name;
		symbol = _symbol;
		decimals = _decimals;
		tokenRegistry = _tokenRegistry;
		tokenLimiter = _tokenLimiter;
		owner = msg.sender;
	}

	function seal(uint256 _state) public returns(uint256) {
		require(_state <= maxSealState, 'ERR_INVALID_STATE');
		require(_state & sealState == 0, 'ERR_ALREADY_LOCKED');
		sealState |= _state;
		emit SealStateChange(sealState == maxSealState, sealState);
		return uint256(sealState);
	}

	function isSealed(uint256 _state) public view returns(bool) {
		require(_state < maxSealState);
		if (_state == 0) {
			return sealState == maxSealState;
		}
		return _state & sealState == _state;
	}

	// Change address for collecting fees
	function setFeeAddress(address _feeAddress) public {
		require(!isSealed(FEEADDRESS_STATE), "ERR_SEAL");
		require(msg.sender == owner, "ERR_AXX");
		feeAddress = _feeAddress;
	}

	// Change address for collecting fees
	function setFee(uint256 _fee) public {
		require(!isSealed(FEE_STATE), "ERR_SEAL");
		require(msg.sender == owner, "ERR_AXX");
		require(_fee < 1000000, "ERR_FEE_TOO_HIGH");
		feePpm = _fee;
	}

	// Change address for the quoter contract
	function setQuoter(address _quoter) public {
		require(!isSealed(QUOTER_STATE), "ERR_SEAL");
		require(msg.sender == owner, "ERR_AXX");
		quoter = _quoter;
		emit QuoterUpdated(_quoter);
	}

	// Implements EIP173
	function transferOwnership(address _newOwner) public returns (bool) {
		address oldOwner;

		require(msg.sender == owner);
		oldOwner = owner;
		owner = _newOwner;

		emit OwnershipTransferred(oldOwner, owner);
		return true;
	}

	function deposit(address _token, uint256 _value) public {
		_deposit(_token, _value);
		emit Deposit(msg.sender, _token, _value);
	}

	function _deposit(address _token, uint256 _value) private {
		bool r;
		bytes memory v;

		mustAllowedToken(_token, tokenRegistry);
		mustWithinLimit(_token, _value);

		(r, v) = _token.call(abi.encodeWithSignature('transferFrom(address,address,uint256)', msg.sender, this, _value));
		require(r, "ERR_TOKEN");
		r = abi.decode(v, (bool));
		require(r, "ERR_TRANSFER");

		totalSupply += _value;
	}

	function getFee(uint256 _value) private view returns (uint256) {
		uint256 fee;
		
		fee = _value * feePpm;
		fee /= 1000000;

		return fee;
	}

	function getQuote(address _outToken, address _inToken, uint256 _value) public returns (uint256) {
		bool r;
		bytes memory v;
		uint256 quote;

		if (quoter == address(0x0)) {
			return _value;
		}

		(r, v) = quoter.call(abi.encodeWithSignature('valueFor(address,address,uint256)', _outToken, _inToken, _value));
		require(r, "ERR_QUOTER");
		quote = abi.decode(v, (uint256));
		return quote;
	}

	function withdraw_less_fee(address _outToken, address _inToken, uint256 _value) public {
		bool r;
		bytes memory v;
		uint256 balance;
		uint256 fee;
		uint256 outValue;

		outValue = getQuote(_outToken, _inToken, _value);

		(r, v) = _outToken.call(abi.encodeWithSignature("balanceOf(address)", this));
		require(r, "ERR_TOKEN");
		balance = abi.decode(v, (uint256));

		// deduct the fees from the quoted outValue
		fee = getFee(outValue);
		outValue -= fee;
		
		// pool should have enough balance to cover the final outValue (fees already deducted)
		require(balance >= outValue, "ERR_BALANCE");

		_deposit(_inToken, _value);

		(r, v) = _outToken.call(abi.encodeWithSignature('transfer(address,uint256)', msg.sender, outValue));
		require(r, "ERR_TOKEN");
		r = abi.decode(v, (bool));
		require(r, "ERR_TRANSFER");
		
		if (feeAddress != address(0)) {
			fees[_outToken] += fee;
		}

		emit Swap(msg.sender, _inToken, _outToken, _value, outValue, fee);
	}

	function withdraw(address _outToken, address _inToken, uint256 _value) public {
		bool r;
		bytes memory v;
		uint256 netValue;
		uint256 outValue;
		uint256 balance;
		uint256 fee;

		fee = getFee(_value);
		netValue = _value - fee;
		netValue = getQuote(_outToken, _inToken, netValue);

		(r, v) = _outToken.call(abi.encodeWithSignature("balanceOf(address)", this));
		require(r, "ERR_TOKEN");
		balance = abi.decode(v, (uint256));
		outValue = netValue + fee;
		require(balance >= outValue, "ERR_BALANCE");

		deposit(_inToken, _value);

		(r, v) = _outToken.call(abi.encodeWithSignature('transfer(address,uint256)', msg.sender, netValue));
		require(r, "ERR_TOKEN");
		r = abi.decode(v, (bool));
		require(r, "ERR_TRANSFER");
		
		if (feeAddress != address(0)) {
			fees[_outToken] += fee;
		}

		emit Swap(msg.sender, _inToken, _outToken, _value, outValue, fee);
	}

	function withdraw(address _outToken, address _inToken, uint256 _value, bool _deduct_fee) public {
		if (_deduct_fee) {
			withdraw_less_fee(_outToken, _inToken, _value);
		} else {
			withdraw(_outToken, _inToken, _value);
		}
	}

	// Withdraw token to fee address
	function withdraw(address _outToken) public returns (uint256) {
		uint256 balance;

		balance = fees[_outToken];
		fees[_outToken] = 0;

		return withdraw(_outToken, balance);
	}

	function withdraw(address _outToken, uint256 _value) public returns (uint256) {
		bool r;
		bytes memory v;

		// This is a GE specific feature. However, it can be removed to allow anyone to push fees into a common feeAddress (profit-sharing)
		require(msg.sender == owner, "ERR_OWNER");
		require(feeAddress != address(0), "ERR_AXX");
		require(_value <= fees[_outToken], "ERR_BALANCE");

		(r, v) = _outToken.call(abi.encodeWithSignature('transfer(address,uint256)', feeAddress, _value));
		require(r, "ERR_TOKEN");
		r = abi.decode(v, (bool));
		require(r, "ERR_TRANSFER");

		emit Collect(feeAddress, _outToken, _value);
		return _value;
	}

	function mustAllowedToken(address _token, address _tokenRegistry) private {
		bool r;
		bytes memory v;

		if (_tokenRegistry == address(0)) {
			return;
		}
		
		(r, v) = _tokenRegistry.call(abi.encodeWithSignature('have(address)', _token));
		require(r, "ERR_REGISTRY");
		r = abi.decode(v, (bool));
		require(r, "ERR_UNAUTH_TOKEN");
	}
	
	function mustWithinLimit(address _token, uint256 _valueDelta) private {
		bool r;
		bytes memory v;
		uint256 limit;
		uint256 balance;

		if (tokenLimiter == address(0)) {
			return;
		}


		(r, v) = tokenLimiter.call(abi.encodeWithSignature("limitOf(address,address)", _token, this));
		require(r, "ERR_LIMITER");
		limit = abi.decode(v, (uint256));

		(r, v) = _token.call(abi.encodeWithSignature("balanceOf(address)", this));
		require(r, "ERR_TOKEN");
		balance = abi.decode(v, (uint256));
		require(balance + _valueDelta <= limit, "ERR_LIMIT");
	}

	// Implements EIP165
	function supportsInterface(bytes4 _sum) public pure returns (bool) {
		if (_sum == 0x01ffc9a7) { // ERC165
			return true;
		}
		if (_sum == 0x9493f8b2) { // ERC173
			return true;
		}
		if (_sum == 0x0d7491f8) { // Seal
			return true;
		}
		return false;
	}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"_name","type":"string"},{"internalType":"string","name":"_symbol","type":"string"},{"internalType":"uint8","name":"_decimals","type":"uint8"},{"internalType":"address","name":"_tokenRegistry","type":"address"},{"internalType":"address","name":"_tokenLimiter","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"feeAddress","type":"address"},{"indexed":false,"internalType":"address","name":"tokenOut","type":"address"},{"indexed":false,"internalType":"uint256","name":"amountOut","type":"uint256"}],"name":"Collect","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"initiator","type":"address"},{"indexed":true,"internalType":"address","name":"tokenIn","type":"address"},{"indexed":false,"internalType":"uint256","name":"amountIn","type":"uint256"}],"name":"Deposit","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"newQuoter","type":"address"}],"name":"QuoterUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bool","name":"_final","type":"bool"},{"indexed":false,"internalType":"uint256","name":"_sealState","type":"uint256"}],"name":"SealStateChange","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"initiator","type":"address"},{"indexed":true,"internalType":"address","name":"tokenIn","type":"address"},{"indexed":false,"internalType":"address","name":"tokenOut","type":"address"},{"indexed":false,"internalType":"uint256","name":"amountIn","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"amountOut","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"fee","type":"uint256"}],"name":"Swap","type":"event"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_token","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"deposit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"feeAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"feePpm","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"fees","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_outToken","type":"address"},{"internalType":"address","name":"_inToken","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"getQuote","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_state","type":"uint256"}],"name":"isSealed","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxSealState","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"quoter","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_state","type":"uint256"}],"name":"seal","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"sealState","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_fee","type":"uint256"}],"name":"setFee","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_feeAddress","type":"address"}],"name":"setFeeAddress","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_quoter","type":"address"}],"name":"setQuoter","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes4","name":"_sum","type":"bytes4"}],"name":"supportsInterface","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"tokenLimiter","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"tokenRegistry","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_outToken","type":"address"}],"name":"withdraw","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_outToken","type":"address"},{"internalType":"address","name":"_inToken","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"},{"internalType":"bool","name":"_deduct_fee","type":"bool"}],"name":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_outToken","type":"address"},{"internalType":"address","name":"_inToken","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_outToken","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"withdraw","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_outToken","type":"address"},{"internalType":"address","name":"_inToken","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"withdraw_less_fee","outputs":[],"stateMutability":"nonpayable","type":"function"}]

0x60a060405234801561000f575f5ffd5b50604051611c49380380611c4983398101604081905261002e9161015f565b600661003a868261027f565b506007610047858261027f565b5060ff909216608052600180546001600160a01b039283166001600160a01b03199182161790915560028054939092169281169290921790555f805490911633179055506103399050565b634e487b7160e01b5f52604160045260245ffd5b5f82601f8301126100b5575f5ffd5b81516001600160401b038111156100ce576100ce610092565b604051601f8201601f19908116603f011681016001600160401b03811182821017156100fc576100fc610092565b604052818152838201602001851015610113575f5ffd5b5f5b8281101561013157602081860181015183830182015201610115565b505f918101602001919091529392505050565b80516001600160a01b038116811461015a575f5ffd5b919050565b5f5f5f5f5f60a08688031215610173575f5ffd5b85516001600160401b03811115610188575f5ffd5b610194888289016100a6565b602088015190965090506001600160401b038111156101b1575f5ffd5b6101bd888289016100a6565b945050604086015160ff811681146101d3575f5ffd5b92506101e160608701610144565b91506101ef60808701610144565b90509295509295909350565b600181811c9082168061020f57607f821691505b60208210810361022d57634e487b7160e01b5f52602260045260245ffd5b50919050565b601f82111561027a57805f5260205f20601f840160051c810160208510156102585750805b601f840160051c820191505b81811015610277575f8155600101610264565b50505b505050565b81516001600160401b0381111561029857610298610092565b6102ac816102a684546101fb565b84610233565b6020601f8211600181146102de575f83156102c75750848201515b5f19600385901b1c1916600184901b178455610277565b5f84815260208120601f198516915b8281101561030d57878501518255602094850194600190920191016102ed565b508482101561032a57868401515f19600387901b60f8161c191681555b50505050600190811b01905550565b6080516118f86103515f395f61021901526118f85ff3fe608060405234801561000f575f5ffd5b50600436106101a1575f3560e01c806386fe212d116100f3578063c515ee2311610093578063f2fde38b1161006e578063f2fde38b14610378578063f3fef3a31461038b578063f912c64b1461039e578063faaebd21146103b1575f5ffd5b8063c515ee231461033f578063c6bbd5a714610352578063d9caed1214610365575f5ffd5b8063934785b7116100ce578063934785b71461030857806395d89b411461031b5780639d23c4c714610323578063a534150c14610336575f5ffd5b806386fe212d146102d05780638705fcd4146102e35780638da5cb5b146102f6575f5ffd5b806331a5995d1161015e57806351cff8d91161013957806351cff8d91461028457806353799c571461029757806369fe0e2d146102aa57806375e3bb43146102bd575f5ffd5b806331a5995d1461023b578063412753581461024457806347e7ef241461026f575f5ffd5b806301ffc9a7146101a557806306fdde03146101cd57806318160ddd146101e257806318cbbcfc146101f95780632c1758c114610201578063313ce56714610214575b5f5ffd5b6101b86101b3366004611598565b6103d0565b60405190151581526020015b60405180910390f35b6101d5610438565b6040516101c491906115e1565b6101eb60085481565b6040519081526020016101c4565b6101eb600781565b6101b861020f366004611613565b6104c4565b6101eb7f000000000000000000000000000000000000000000000000000000000000000081565b6101eb600a5481565b600554610257906001600160a01b031681565b6040516001600160a01b0390911681526020016101c4565b61028261027d366004611645565b6104ed565b005b6101eb61029236600461166d565b61053b565b600254610257906001600160a01b031681565b6102826102b8366004611613565b610569565b6102826102cb366004611686565b61060c565b6101eb6102de366004611613565b6108ab565b6102826102f136600461166d565b610988565b5f54610257906001600160a01b031681565b6102826103163660046116d0565b6109fa565b6101d5610a21565b600154610257906001600160a01b031681565b6101eb60045481565b6101eb61034d366004611686565b610a2e565b600354610257906001600160a01b031681565b610282610373366004611686565b610b50565b6101b861038636600461166d565b610dfd565b6101eb610399366004611645565b610e6a565b6102826103ac36600461166d565b611057565b6101eb6103bf36600461166d565b60096020525f908152604090205481565b5f6001600160e01b031982166301ffc9a760e01b036103f157506001919050565b6001600160e01b03198216634a49fc5960e11b0361041157506001919050565b6001600160e01b031982166301ae923f60e31b0361043157506001919050565b505f919050565b600680546104459061171c565b80601f01602080910402602001604051908101604052809291908181526020018280546104719061171c565b80156104bc5780601f10610493576101008083540402835291602001916104bc565b820191905f5260205f20905b81548152906001019060200180831161049f57829003601f168201915b505050505081565b5f600782106104d1575f5ffd5b815f036104e3575050600a5460071490565b50600a5481161490565b6104f782826110f0565b6040518181526001600160a01b0383169033907f5548c837ab068cf56a2c2479df0882a4922fd203edb7517321831d95078c5f629060200160405180910390a35050565b6001600160a01b0381165f9081526009602052604081208054908290556105628382610e6a565b9392505050565b61057360016104c4565b156105995760405162461bcd60e51b815260040161059090611754565b60405180910390fd5b5f546001600160a01b031633146105c25760405162461bcd60e51b815260040161059090611776565b620f424081106106075760405162461bcd60e51b815260206004820152601060248201526f08aa4a4be8c8a8abea89e9ebe90928e960831b6044820152606401610590565b600455565b5f60605f5f5f61061d888888610a2e565b6040513060248201529091506001600160a01b0389169060440160408051601f198184030181529181526020820180516001600160e01b03166370a0823160e01b1790525161066c9190611797565b5f604051808303815f865af19150503d805f81146106a5576040519150601f19603f3d011682016040523d82523d5f602084013e6106aa565b606091505b509095509350846106cd5760405162461bcd60e51b8152600401610590906117b2565b838060200190518101906106e191906117d5565b92506106ec8161121f565b91506106f88282611800565b90508083101561071a5760405162461bcd60e51b815260040161059090611813565b61072487876110f0565b604051336024820152604481018290526001600160a01b0389169060640160408051601f198184030181529181526020820180516001600160e01b031663a9059cbb60e01b179052516107779190611797565b5f604051808303815f865af19150503d805f81146107b0576040519150601f19603f3d011682016040523d82523d5f602084013e6107b5565b606091505b509095509350846107d85760405162461bcd60e51b8152600401610590906117b2565b838060200190518101906107ec9190611838565b94508461080b5760405162461bcd60e51b815260040161059090611853565b6005546001600160a01b031615610849576001600160a01b0388165f9081526009602052604081208054849290610843908490611879565b90915550505b604080516001600160a01b038a8116825260208201899052918101839052606081018490529088169033907fd6d34547c69c5ee3d2667625c188acf1006abb93e0ee7cf03925c67cf77604139060800160405180910390a35050505050505050565b5f60078211156108f15760405162461bcd60e51b81526020600482015260116024820152704552525f494e56414c49445f535441544560781b6044820152606401610590565b600a548216156109385760405162461bcd60e51b815260206004820152601260248201527111549497d053149150511657d313d0d2d15160721b6044820152606401610590565b600a805483179081905560405160078214917f6b7e2e653f93b645d4ed7292d6429f96637084363e477c8aaea1a43ed13c284e9161097891815260200190565b60405180910390a25050600a5490565b61099260026104c4565b156109af5760405162461bcd60e51b815260040161059090611754565b5f546001600160a01b031633146109d85760405162461bcd60e51b815260040161059090611776565b600580546001600160a01b0319166001600160a01b0392909216919091179055565b8015610a1057610a0b84848461060c565b610a1b565b610a1b848484610b50565b50505050565b600780546104459061171c565b6003545f90819060609082906001600160a01b0316610a5257849350505050610562565b6003546040516001600160a01b0389811660248301528881166044830152606482018890529091169060840160408051601f198184030181529181526020820180516001600160e01b031663036ec87560e61b17905251610ab39190611797565b5f604051808303815f865af19150503d805f8114610aec576040519150601f19603f3d011682016040523d82523d5f602084013e610af1565b606091505b50909350915082610b315760405162461bcd60e51b815260206004820152600a60248201526922a9292fa8aaa7aa22a960b11b6044820152606401610590565b81806020019051810190610b4591906117d5565b979650505050505050565b5f60605f5f5f5f610b608761121f565b9050610b6c8188611800565b9350610b79898986610a2e565b6040513060248201529094506001600160a01b038a169060440160408051601f198184030181529181526020820180516001600160e01b03166370a0823160e01b17905251610bc89190611797565b5f604051808303815f865af19150503d805f8114610c01576040519150601f19603f3d011682016040523d82523d5f602084013e610c06565b606091505b50909650945085610c295760405162461bcd60e51b8152600401610590906117b2565b84806020019051810190610c3d91906117d5565b9150610c498185611879565b925082821015610c6b5760405162461bcd60e51b815260040161059090611813565b610c7588886104ed565b604051336024820152604481018590526001600160a01b038a169060640160408051601f198184030181529181526020820180516001600160e01b031663a9059cbb60e01b17905251610cc89190611797565b5f604051808303815f865af19150503d805f8114610d01576040519150601f19603f3d011682016040523d82523d5f602084013e610d06565b606091505b50909650945085610d295760405162461bcd60e51b8152600401610590906117b2565b84806020019051810190610d3d9190611838565b955085610d5c5760405162461bcd60e51b815260040161059090611853565b6005546001600160a01b031615610d9a576001600160a01b0389165f9081526009602052604081208054839290610d94908490611879565b90915550505b604080516001600160a01b038b81168252602082018a9052918101859052606081018390529089169033907fd6d34547c69c5ee3d2667625c188acf1006abb93e0ee7cf03925c67cf77604139060800160405180910390a3505050505050505050565b5f805481906001600160a01b03163314610e15575f5ffd5b505f80546001600160a01b038481166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a350600192915050565b5f805481906060906001600160a01b03163314610eb55760405162461bcd60e51b815260206004820152600960248201526822a9292fa7aba722a960b91b6044820152606401610590565b6005546001600160a01b0316610edd5760405162461bcd60e51b815260040161059090611776565b6001600160a01b0385165f90815260096020526040902054841115610f145760405162461bcd60e51b815260040161059090611813565b6005546040516001600160a01b039182166024820152604481018690529086169060640160408051601f198184030181529181526020820180516001600160e01b031663a9059cbb60e01b17905251610f6d9190611797565b5f604051808303815f865af19150503d805f8114610fa6576040519150601f19603f3d011682016040523d82523d5f602084013e610fab565b606091505b50909250905081610fce5760405162461bcd60e51b8152600401610590906117b2565b80806020019051810190610fe29190611838565b9150816110015760405162461bcd60e51b815260040161059090611853565b600554604080516001600160a01b03888116825260208201889052909216917f1314fd112a381beea61539dbd21ec04afcff2662ac7d1b83273aade1f53d1b97910160405180910390a283925050505b92915050565b61106160046104c4565b1561107e5760405162461bcd60e51b815260040161059090611754565b5f546001600160a01b031633146110a75760405162461bcd60e51b815260040161059090611776565b600380546001600160a01b0319166001600160a01b0383169081179091556040517f06526a30af2ff868c2686df12e95844d8ae300416bbec5d5ccc2d2f4afdb17a0905f90a250565b6001545f9060609061110c9085906001600160a01b031661123e565b6111168484611379565b604051336024820152306044820152606481018490526001600160a01b0385169060840160408051601f198184030181529181526020820180516001600160e01b03166323b872dd60e01b1790525161116f9190611797565b5f604051808303815f865af19150503d805f81146111a8576040519150601f19603f3d011682016040523d82523d5f602084013e6111ad565b606091505b509092509050816111d05760405162461bcd60e51b8152600401610590906117b2565b808060200190518101906111e49190611838565b9150816112035760405162461bcd60e51b815260040161059090611853565b8260085f8282546112149190611879565b909155505050505050565b5f5f6004548361122f919061188c565b9050610562620f4240826118a3565b5f60606001600160a01b0383166112555750505050565b6040516001600160a01b03858116602483015284169060440160408051601f198184030181529181526020820180516001600160e01b0316633ef2501360e01b179052516112a39190611797565b5f604051808303815f865af19150503d805f81146112dc576040519150601f19603f3d011682016040523d82523d5f602084013e6112e1565b606091505b509092509050816113235760405162461bcd60e51b815260206004820152600c60248201526b4552525f524547495354525960a01b6044820152606401610590565b808060200190518101906113379190611838565b915081610a1b5760405162461bcd60e51b815260206004820152601060248201526f22a9292faaa720aaaa242faa27a5a2a760811b6044820152606401610590565b6002545f90606090829081906001600160a01b031661139a57505050505050565b6002546040516001600160a01b0388811660248301523060448301529091169060640160408051601f198184030181529181526020820180516001600160e01b0316632377861360e01b179052516113f29190611797565b5f604051808303815f865af19150503d805f811461142b576040519150601f19603f3d011682016040523d82523d5f602084013e611430565b606091505b509094509250836114715760405162461bcd60e51b815260206004820152600b60248201526a22a9292fa624a6a4aa22a960a91b6044820152606401610590565b8280602001905181019061148591906117d5565b6040513060248201529092506001600160a01b0387169060440160408051601f198184030181529181526020820180516001600160e01b03166370a0823160e01b179052516114d49190611797565b5f604051808303815f865af19150503d805f811461150d576040519150601f19603f3d011682016040523d82523d5f602084013e611512565b606091505b509094509250836115355760405162461bcd60e51b8152600401610590906117b2565b8280602001905181019061154991906117d5565b9050816115568683611879565b11156115905760405162461bcd60e51b815260206004820152600960248201526811549497d31253525560ba1b6044820152606401610590565b505050505050565b5f602082840312156115a8575f5ffd5b81356001600160e01b031981168114610562575f5ffd5b5f5b838110156115d95781810151838201526020016115c1565b50505f910152565b602081525f82518060208401526115ff8160408501602087016115bf565b601f01601f19169190910160400192915050565b5f60208284031215611623575f5ffd5b5035919050565b80356001600160a01b0381168114611640575f5ffd5b919050565b5f5f60408385031215611656575f5ffd5b61165f8361162a565b946020939093013593505050565b5f6020828403121561167d575f5ffd5b6105628261162a565b5f5f5f60608486031215611698575f5ffd5b6116a18461162a565b92506116af6020850161162a565b929592945050506040919091013590565b80151581146116cd575f5ffd5b50565b5f5f5f5f608085870312156116e3575f5ffd5b6116ec8561162a565b93506116fa6020860161162a565b9250604085013591506060850135611711816116c0565b939692955090935050565b600181811c9082168061173057607f821691505b60208210810361174e57634e487b7160e01b5f52602260045260245ffd5b50919050565b60208082526008908201526711549497d4d1505360c21b604082015260600190565b60208082526007908201526608aa4a4be82b0b60cb1b604082015260600190565b5f82516117a88184602087016115bf565b9190910192915050565b60208082526009908201526822a9292faa27a5a2a760b91b604082015260600190565b5f602082840312156117e5575f5ffd5b5051919050565b634e487b7160e01b5f52601160045260245ffd5b81810381811115611051576110516117ec565b6020808252600b908201526a4552525f42414c414e434560a81b604082015260600190565b5f60208284031215611848575f5ffd5b8151610562816116c0565b6020808252600c908201526b22a9292faa2920a729a322a960a11b604082015260600190565b80820180821115611051576110516117ec565b8082028115828204841417611051576110516117ec565b5f826118bd57634e487b7160e01b5f52601260045260245ffd5b50049056fea26469706673582212201520e1c16e2d09a3e6e6fe4f137b17dc4b7a96696fc3e29f58d4a26fb34fed0264736f6c634300081e003300000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000000e0000000000000000000000000000000000000000000000000000000000000000600000000000000000000000029589f305a080746016288e9852ebfe7c5a7b41f00000000000000000000000081b53d9555e33698f3c0a90e413b0a1e83bdc67500000000000000000000000000000000000000000000000000000000000000144b6974756920436f6d6d756e69747920506f6f6c00000000000000000000000000000000000000000000000000000000000000000000000000000000000000054b69747569000000000000000000000000000000000000000000000000000000

0x608060405234801561000f575f5ffd5b50600436106101a1575f3560e01c806386fe212d116100f3578063c515ee2311610093578063f2fde38b1161006e578063f2fde38b14610378578063f3fef3a31461038b578063f912c64b1461039e578063faaebd21146103b1575f5ffd5b8063c515ee231461033f578063c6bbd5a714610352578063d9caed1214610365575f5ffd5b8063934785b7116100ce578063934785b71461030857806395d89b411461031b5780639d23c4c714610323578063a534150c14610336575f5ffd5b806386fe212d146102d05780638705fcd4146102e35780638da5cb5b146102f6575f5ffd5b806331a5995d1161015e57806351cff8d91161013957806351cff8d91461028457806353799c571461029757806369fe0e2d146102aa57806375e3bb43146102bd575f5ffd5b806331a5995d1461023b578063412753581461024457806347e7ef241461026f575f5ffd5b806301ffc9a7146101a557806306fdde03146101cd57806318160ddd146101e257806318cbbcfc146101f95780632c1758c114610201578063313ce56714610214575b5f5ffd5b6101b86101b3366004611598565b6103d0565b60405190151581526020015b60405180910390f35b6101d5610438565b6040516101c491906115e1565b6101eb60085481565b6040519081526020016101c4565b6101eb600781565b6101b861020f366004611613565b6104c4565b6101eb7f000000000000000000000000000000000000000000000000000000000000000681565b6101eb600a5481565b600554610257906001600160a01b031681565b6040516001600160a01b0390911681526020016101c4565b61028261027d366004611645565b6104ed565b005b6101eb61029236600461166d565b61053b565b600254610257906001600160a01b031681565b6102826102b8366004611613565b610569565b6102826102cb366004611686565b61060c565b6101eb6102de366004611613565b6108ab565b6102826102f136600461166d565b610988565b5f54610257906001600160a01b031681565b6102826103163660046116d0565b6109fa565b6101d5610a21565b600154610257906001600160a01b031681565b6101eb60045481565b6101eb61034d366004611686565b610a2e565b600354610257906001600160a01b031681565b610282610373366004611686565b610b50565b6101b861038636600461166d565b610dfd565b6101eb610399366004611645565b610e6a565b6102826103ac36600461166d565b611057565b6101eb6103bf36600461166d565b60096020525f908152604090205481565b5f6001600160e01b031982166301ffc9a760e01b036103f157506001919050565b6001600160e01b03198216634a49fc5960e11b0361041157506001919050565b6001600160e01b031982166301ae923f60e31b0361043157506001919050565b505f919050565b600680546104459061171c565b80601f01602080910402602001604051908101604052809291908181526020018280546104719061171c565b80156104bc5780601f10610493576101008083540402835291602001916104bc565b820191905f5260205f20905b81548152906001019060200180831161049f57829003601f168201915b505050505081565b5f600782106104d1575f5ffd5b815f036104e3575050600a5460071490565b50600a5481161490565b6104f782826110f0565b6040518181526001600160a01b0383169033907f5548c837ab068cf56a2c2479df0882a4922fd203edb7517321831d95078c5f629060200160405180910390a35050565b6001600160a01b0381165f9081526009602052604081208054908290556105628382610e6a565b9392505050565b61057360016104c4565b156105995760405162461bcd60e51b815260040161059090611754565b60405180910390fd5b5f546001600160a01b031633146105c25760405162461bcd60e51b815260040161059090611776565b620f424081106106075760405162461bcd60e51b815260206004820152601060248201526f08aa4a4be8c8a8abea89e9ebe90928e960831b6044820152606401610590565b600455565b5f60605f5f5f61061d888888610a2e565b6040513060248201529091506001600160a01b0389169060440160408051601f198184030181529181526020820180516001600160e01b03166370a0823160e01b1790525161066c9190611797565b5f604051808303815f865af19150503d805f81146106a5576040519150601f19603f3d011682016040523d82523d5f602084013e6106aa565b606091505b509095509350846106cd5760405162461bcd60e51b8152600401610590906117b2565b838060200190518101906106e191906117d5565b92506106ec8161121f565b91506106f88282611800565b90508083101561071a5760405162461bcd60e51b815260040161059090611813565b61072487876110f0565b604051336024820152604481018290526001600160a01b0389169060640160408051601f198184030181529181526020820180516001600160e01b031663a9059cbb60e01b179052516107779190611797565b5f604051808303815f865af19150503d805f81146107b0576040519150601f19603f3d011682016040523d82523d5f602084013e6107b5565b606091505b509095509350846107d85760405162461bcd60e51b8152600401610590906117b2565b838060200190518101906107ec9190611838565b94508461080b5760405162461bcd60e51b815260040161059090611853565b6005546001600160a01b031615610849576001600160a01b0388165f9081526009602052604081208054849290610843908490611879565b90915550505b604080516001600160a01b038a8116825260208201899052918101839052606081018490529088169033907fd6d34547c69c5ee3d2667625c188acf1006abb93e0ee7cf03925c67cf77604139060800160405180910390a35050505050505050565b5f60078211156108f15760405162461bcd60e51b81526020600482015260116024820152704552525f494e56414c49445f535441544560781b6044820152606401610590565b600a548216156109385760405162461bcd60e51b815260206004820152601260248201527111549497d053149150511657d313d0d2d15160721b6044820152606401610590565b600a805483179081905560405160078214917f6b7e2e653f93b645d4ed7292d6429f96637084363e477c8aaea1a43ed13c284e9161097891815260200190565b60405180910390a25050600a5490565b61099260026104c4565b156109af5760405162461bcd60e51b815260040161059090611754565b5f546001600160a01b031633146109d85760405162461bcd60e51b815260040161059090611776565b600580546001600160a01b0319166001600160a01b0392909216919091179055565b8015610a1057610a0b84848461060c565b610a1b565b610a1b848484610b50565b50505050565b600780546104459061171c565b6003545f90819060609082906001600160a01b0316610a5257849350505050610562565b6003546040516001600160a01b0389811660248301528881166044830152606482018890529091169060840160408051601f198184030181529181526020820180516001600160e01b031663036ec87560e61b17905251610ab39190611797565b5f604051808303815f865af19150503d805f8114610aec576040519150601f19603f3d011682016040523d82523d5f602084013e610af1565b606091505b50909350915082610b315760405162461bcd60e51b815260206004820152600a60248201526922a9292fa8aaa7aa22a960b11b6044820152606401610590565b81806020019051810190610b4591906117d5565b979650505050505050565b5f60605f5f5f5f610b608761121f565b9050610b6c8188611800565b9350610b79898986610a2e565b6040513060248201529094506001600160a01b038a169060440160408051601f198184030181529181526020820180516001600160e01b03166370a0823160e01b17905251610bc89190611797565b5f604051808303815f865af19150503d805f8114610c01576040519150601f19603f3d011682016040523d82523d5f602084013e610c06565b606091505b50909650945085610c295760405162461bcd60e51b8152600401610590906117b2565b84806020019051810190610c3d91906117d5565b9150610c498185611879565b925082821015610c6b5760405162461bcd60e51b815260040161059090611813565b610c7588886104ed565b604051336024820152604481018590526001600160a01b038a169060640160408051601f198184030181529181526020820180516001600160e01b031663a9059cbb60e01b17905251610cc89190611797565b5f604051808303815f865af19150503d805f8114610d01576040519150601f19603f3d011682016040523d82523d5f602084013e610d06565b606091505b50909650945085610d295760405162461bcd60e51b8152600401610590906117b2565b84806020019051810190610d3d9190611838565b955085610d5c5760405162461bcd60e51b815260040161059090611853565b6005546001600160a01b031615610d9a576001600160a01b0389165f9081526009602052604081208054839290610d94908490611879565b90915550505b604080516001600160a01b038b81168252602082018a9052918101859052606081018390529089169033907fd6d34547c69c5ee3d2667625c188acf1006abb93e0ee7cf03925c67cf77604139060800160405180910390a3505050505050505050565b5f805481906001600160a01b03163314610e15575f5ffd5b505f80546001600160a01b038481166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a350600192915050565b5f805481906060906001600160a01b03163314610eb55760405162461bcd60e51b815260206004820152600960248201526822a9292fa7aba722a960b91b6044820152606401610590565b6005546001600160a01b0316610edd5760405162461bcd60e51b815260040161059090611776565b6001600160a01b0385165f90815260096020526040902054841115610f145760405162461bcd60e51b815260040161059090611813565b6005546040516001600160a01b039182166024820152604481018690529086169060640160408051601f198184030181529181526020820180516001600160e01b031663a9059cbb60e01b17905251610f6d9190611797565b5f604051808303815f865af19150503d805f8114610fa6576040519150601f19603f3d011682016040523d82523d5f602084013e610fab565b606091505b50909250905081610fce5760405162461bcd60e51b8152600401610590906117b2565b80806020019051810190610fe29190611838565b9150816110015760405162461bcd60e51b815260040161059090611853565b600554604080516001600160a01b03888116825260208201889052909216917f1314fd112a381beea61539dbd21ec04afcff2662ac7d1b83273aade1f53d1b97910160405180910390a283925050505b92915050565b61106160046104c4565b1561107e5760405162461bcd60e51b815260040161059090611754565b5f546001600160a01b031633146110a75760405162461bcd60e51b815260040161059090611776565b600380546001600160a01b0319166001600160a01b0383169081179091556040517f06526a30af2ff868c2686df12e95844d8ae300416bbec5d5ccc2d2f4afdb17a0905f90a250565b6001545f9060609061110c9085906001600160a01b031661123e565b6111168484611379565b604051336024820152306044820152606481018490526001600160a01b0385169060840160408051601f198184030181529181526020820180516001600160e01b03166323b872dd60e01b1790525161116f9190611797565b5f604051808303815f865af19150503d805f81146111a8576040519150601f19603f3d011682016040523d82523d5f602084013e6111ad565b606091505b509092509050816111d05760405162461bcd60e51b8152600401610590906117b2565b808060200190518101906111e49190611838565b9150816112035760405162461bcd60e51b815260040161059090611853565b8260085f8282546112149190611879565b909155505050505050565b5f5f6004548361122f919061188c565b9050610562620f4240826118a3565b5f60606001600160a01b0383166112555750505050565b6040516001600160a01b03858116602483015284169060440160408051601f198184030181529181526020820180516001600160e01b0316633ef2501360e01b179052516112a39190611797565b5f604051808303815f865af19150503d805f81146112dc576040519150601f19603f3d011682016040523d82523d5f602084013e6112e1565b606091505b509092509050816113235760405162461bcd60e51b815260206004820152600c60248201526b4552525f524547495354525960a01b6044820152606401610590565b808060200190518101906113379190611838565b915081610a1b5760405162461bcd60e51b815260206004820152601060248201526f22a9292faaa720aaaa242faa27a5a2a760811b6044820152606401610590565b6002545f90606090829081906001600160a01b031661139a57505050505050565b6002546040516001600160a01b0388811660248301523060448301529091169060640160408051601f198184030181529181526020820180516001600160e01b0316632377861360e01b179052516113f29190611797565b5f604051808303815f865af19150503d805f811461142b576040519150601f19603f3d011682016040523d82523d5f602084013e611430565b606091505b509094509250836114715760405162461bcd60e51b815260206004820152600b60248201526a22a9292fa624a6a4aa22a960a91b6044820152606401610590565b8280602001905181019061148591906117d5565b6040513060248201529092506001600160a01b0387169060440160408051601f198184030181529181526020820180516001600160e01b03166370a0823160e01b179052516114d49190611797565b5f604051808303815f865af19150503d805f811461150d576040519150601f19603f3d011682016040523d82523d5f602084013e611512565b606091505b509094509250836115355760405162461bcd60e51b8152600401610590906117b2565b8280602001905181019061154991906117d5565b9050816115568683611879565b11156115905760405162461bcd60e51b815260206004820152600960248201526811549497d31253525560ba1b6044820152606401610590565b505050505050565b5f602082840312156115a8575f5ffd5b81356001600160e01b031981168114610562575f5ffd5b5f5b838110156115d95781810151838201526020016115c1565b50505f910152565b602081525f82518060208401526115ff8160408501602087016115bf565b601f01601f19169190910160400192915050565b5f60208284031215611623575f5ffd5b5035919050565b80356001600160a01b0381168114611640575f5ffd5b919050565b5f5f60408385031215611656575f5ffd5b61165f8361162a565b946020939093013593505050565b5f6020828403121561167d575f5ffd5b6105628261162a565b5f5f5f60608486031215611698575f5ffd5b6116a18461162a565b92506116af6020850161162a565b929592945050506040919091013590565b80151581146116cd575f5ffd5b50565b5f5f5f5f608085870312156116e3575f5ffd5b6116ec8561162a565b93506116fa6020860161162a565b9250604085013591506060850135611711816116c0565b939692955090935050565b600181811c9082168061173057607f821691505b60208210810361174e57634e487b7160e01b5f52602260045260245ffd5b50919050565b60208082526008908201526711549497d4d1505360c21b604082015260600190565b60208082526007908201526608aa4a4be82b0b60cb1b604082015260600190565b5f82516117a88184602087016115bf565b9190910192915050565b60208082526009908201526822a9292faa27a5a2a760b91b604082015260600190565b5f602082840312156117e5575f5ffd5b5051919050565b634e487b7160e01b5f52601160045260245ffd5b81810381811115611051576110516117ec565b6020808252600b908201526a4552525f42414c414e434560a81b604082015260600190565b5f60208284031215611848575f5ffd5b8151610562816116c0565b6020808252600c908201526b22a9292faa2920a729a322a960a11b604082015260600190565b80820180821115611051576110516117ec565b8082028115828204841417611051576110516117ec565b5f826118bd57634e487b7160e01b5f52601260045260245ffd5b50049056fea26469706673582212201520e1c16e2d09a3e6e6fe4f137b17dc4b7a96696fc3e29f58d4a26fb34fed0264736f6c634300081e0033

267:8509:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8503:270;;;;;;:::i;:::-;;:::i;:::-;;;470:14:1;;463:22;445:41;;433:2;418:18;8503:270:0;;;;;;;;482:18;;;:::i;:::-;;;;;;;:::i;567:26::-;;;;;;;;;1299:25:1;;;1287:2;1272:18;567:26:0;1153:177:1;802:40:0;;841:1;802:40;;2200:205;;;;;;:::i;:::-;;:::i;528:33::-;;;;;668:24;;;;;;451:25;;;;;-1:-1:-1;;;;;451:25:0;;;;;;-1:-1:-1;;;;;1730:32:1;;;1712:51;;1700:2;1685:18;451:25:0;1566:203:1;3388:135:0;;;;;;:::i;:::-;;:::i;:::-;;6692:185;;;;;;:::i;:::-;;:::i;370:27::-;;;;;-1:-1:-1;;;;;370:27:0;;;2677:198;;;;;;:::i;:::-;;:::i;4513:994::-;;;;;;:::i;:::-;;:::i;1903:292::-;;;;;;:::i;:::-;;:::i;2450:182::-;;;;;;:::i;:::-;;:::i;312:20::-;;;;;-1:-1:-1;;;;;312:20:0;;;6417:235;;;;;;:::i;:::-;;:::i;504:20::-;;;:::i;338:28::-;;;;;-1:-1:-1;;;;;338:28:0;;;426:21;;;;;;4099:409;;;;;;:::i;:::-;;:::i;401:21::-;;;;;-1:-1:-1;;;;;401:21:0;;;5512:900;;;;;;:::i;:::-;;:::i;3146:237::-;;;;;;:::i;:::-;;:::i;6882:660::-;;;;;;:::i;:::-;;:::i;2924:194::-;;;;;;:::i;:::-;;:::i;599:42::-;;;;;;:::i;:::-;;;;;;;;;;;;;;8503:270;8564:4;-1:-1:-1;;;;;;8579:18:0;;-1:-1:-1;;;8579:18:0;8575:57;;-1:-1:-1;8622:4:0;;8503:270;-1:-1:-1;8503:270:0:o;8575:57::-;-1:-1:-1;;;;;;8640:18:0;;-1:-1:-1;;;8640:18:0;8636:57;;-1:-1:-1;8683:4:0;;8503:270;-1:-1:-1;8503:270:0:o;8636:57::-;-1:-1:-1;;;;;;8701:18:0;;-1:-1:-1;;;8701:18:0;8697:55;;-1:-1:-1;8742:4:0;;8503:270;-1:-1:-1;8503:270:0:o;8697:55::-;-1:-1:-1;8763:5:0;;8503:270;-1:-1:-1;8503:270:0:o;482:18::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2200:205::-;2254:4;841:1;2273:6;:21;2265:30;;;;;;2304:6;2314:1;2304:11;2300:61;;-1:-1:-1;;2330:9:0;;841:1;2330:25;;2200:205::o;2300:61::-;-1:-1:-1;2381:9:0;;2372:18;;:28;;2200:205::o;3388:135::-;3449:24;3458:6;3466;3449:8;:24::i;:::-;3483:35;;1299:25:1;;;-1:-1:-1;;;;;3483:35:0;;;3491:10;;3483:35;;1287:2:1;1272:18;3483:35:0;;;;;;;3388:135;;:::o;6692:185::-;-1:-1:-1;;;;;6791:15:0;;6745:7;6791:15;;;:4;:15;;;;;;;6811:19;;;;6844:28;6796:9;6791:15;6844:8;:28::i;:::-;6837:35;6692:185;-1:-1:-1;;;6692:185:0:o;2677:198::-;2728:19;723:1;2728:8;:19::i;:::-;2727:20;2719:41;;;;-1:-1:-1;;;2719:41:0;;;;;;;:::i;:::-;;;;;;;;;2787:5;;-1:-1:-1;;;;;2787:5:0;2773:10;:19;2765:39;;;;-1:-1:-1;;;2765:39:0;;;;;;;:::i;:::-;2824:7;2817:4;:14;2809:43;;;;-1:-1:-1;;;2809:43:0;;4723:2:1;2809:43:0;;;4705:21:1;4762:2;4742:18;;;4735:30;-1:-1:-1;;;4781:18:1;;;4774:46;4837:18;;2809:43:0;4521:340:1;2809:43:0;2857:6;:13;2677:198::o;4513:994::-;4605:6;4616:14;4635:15;4655:11;4671:16;4705:37;4714:9;4725:8;4735:6;4705:8;:37::i;:::-;4773:51;;4819:4;4773:51;;;1712::1;4694:48:0;;-1:-1:-1;;;;;;4758:14:0;;;1685:18:1;;4773:51:0;;;-1:-1:-1;;4773:51:0;;;;;;;;;;;;;;-1:-1:-1;;;;;4773:51:0;-1:-1:-1;;;4773:51:0;;;4758:67;;;4773:51;4758:67;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;4749:76:0;;-1:-1:-1;4749:76:0;-1:-1:-1;4749:76:0;4830:23;;;;-1:-1:-1;;;4830:23:0;;;;;;;:::i;:::-;4879:1;4868:24;;;;;;;;;;;;:::i;:::-;4858:34;;4952:16;4959:8;4952:6;:16::i;:::-;4946:22;-1:-1:-1;4973:15:0;4946:22;4973:15;;:::i;:::-;;;5106:8;5095:7;:19;;5087:43;;;;-1:-1:-1;;;5087:43:0;;;;;;;:::i;:::-;5137:26;5146:8;5156:6;5137:8;:26::i;:::-;5194:74;;5247:10;5194:74;;;6688:51:1;6755:18;;;6748:34;;;-1:-1:-1;;;;;5179:14:0;;;6661:18:1;;5194:74:0;;;-1:-1:-1;;5194:74:0;;;;;;;;;;;;;;-1:-1:-1;;;;;5194:74:0;-1:-1:-1;;;5194:74:0;;;5179:90;;;5194:74;5179:90;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;5170:99:0;;-1:-1:-1;5170:99:0;-1:-1:-1;5170:99:0;5274:23;;;;-1:-1:-1;;;5274:23:0;;;;;;;:::i;:::-;5317:1;5306:21;;;;;;;;;;;;:::i;:::-;5302:25;;5340:1;5332:26;;;;-1:-1:-1;;;5332:26:0;;;;;;;:::i;:::-;5371:10;;-1:-1:-1;;;;;5371:10:0;:24;5367:64;;-1:-1:-1;;;;;5403:15:0;;;;;;:4;:15;;;;;:22;;5422:3;;5403:15;:22;;5422:3;;5403:22;:::i;:::-;;;;-1:-1:-1;;5367:64:0;5442:60;;;-1:-1:-1;;;;;7763:32:1;;;7745:51;;7827:2;7812:18;;7805:34;;;7855:18;;;7848:34;;;7913:2;7898:18;;7891:34;;;5442:60:0;;;;5447:10;;5442:60;;7732:3:1;7717:19;5442:60:0;;;;;;;4600:907;;;;;4513:994;;;:::o;1903:292::-;1948:7;841:1;1970:6;:22;;1962:52;;;;-1:-1:-1;;;1962:52:0;;8138:2:1;1962:52:0;;;8120:21:1;8177:2;8157:18;;;8150:30;-1:-1:-1;;;8196:18:1;;;8189:47;8253:18;;1962:52:0;7936:341:1;1962:52:0;2036:9;;2027:18;;:23;2019:54;;;;-1:-1:-1;;;2019:54:0;;8484:2:1;2019:54:0;;;8466:21:1;8523:2;8503:18;;;8496:30;-1:-1:-1;;;8542:18:1;;;8535:48;8600:18;;2019:54:0;8282:342:1;2019:54:0;2078:9;:19;;;;;;;;2107:53;;841:1;2123:25;;;2107:53;;;;1299:25:1;;1287:2;1272:18;;1153:177;2107:53:0;;;;;;;;-1:-1:-1;;2180:9:0;;;1903:292::o;2450:182::-;2515:26;762:1;2515:8;:26::i;:::-;2514:27;2506:48;;;;-1:-1:-1;;;2506:48:0;;;;;;;:::i;:::-;2581:5;;-1:-1:-1;;;;;2581:5:0;2567:10;:19;2559:39;;;;-1:-1:-1;;;2559:39:0;;;;;;;:::i;:::-;2603:10;:24;;-1:-1:-1;;;;;;2603:24:0;-1:-1:-1;;;;;2603:24:0;;;;;;;;;;2450:182::o;6417:235::-;6522:11;6518:130;;;6541:46;6559:9;6570:8;6580:6;6541:17;:46::i;:::-;6518:130;;;6605:37;6614:9;6625:8;6635:6;6605:8;:37::i;:::-;6417:235;;;;:::o;504:20::-;;;;;;;:::i;4099:409::-;4254:6;;4186:7;;;;4211:14;;4186:7;;-1:-1:-1;;;;;4254:6:0;4250:53;;4291:6;4284:13;;;;;;;4250:53;4318:6;;4330:89;;-1:-1:-1;;;;;8849:32:1;;;4330:89:0;;;8831:51:1;8918:32;;;8898:18;;;8891:60;8967:18;;;8960:34;;;4318:6:0;;;;8804:18:1;;4330:89:0;;;-1:-1:-1;;4330:89:0;;;;;;;;;;;;;;-1:-1:-1;;;;;4330:89:0;-1:-1:-1;;;4330:89:0;;;4318:102;;;4330:89;4318:102;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;4309:111:0;;-1:-1:-1;4309:111:0;-1:-1:-1;4309:111:0;4425:24;;;;-1:-1:-1;;;4425:24:0;;9207:2:1;4425:24:0;;;9189:21:1;9246:2;9226:18;;;9219:30;-1:-1:-1;;;9265:18:1;;;9258:40;9315:18;;4425:24:0;9005:334:1;4425:24:0;4473:1;4462:24;;;;;;;;;;;;:::i;:::-;4454:32;4099:409;-1:-1:-1;;;;;;;4099:409:0:o;5512:900::-;5595:6;5606:14;5625:16;5646;5667:15;5687:11;5711:14;5718:6;5711;:14::i;:::-;5705:20;-1:-1:-1;5741:12:0;5705:20;5741:6;:12;:::i;:::-;5730:23;;5769:39;5778:9;5789:8;5799;5769;:39::i;:::-;5839:51;;5885:4;5839:51;;;1712::1;5758:50:0;;-1:-1:-1;;;;;;5824:14:0;;;1685:18:1;;5839:51:0;;;-1:-1:-1;;5839:51:0;;;;;;;;;;;;;;-1:-1:-1;;;;;5839:51:0;-1:-1:-1;;;5839:51:0;;;5824:67;;;5839:51;5824:67;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;5815:76:0;;-1:-1:-1;5815:76:0;-1:-1:-1;5815:76:0;5896:23;;;;-1:-1:-1;;;5896:23:0;;;;;;;:::i;:::-;5945:1;5934:24;;;;;;;;;;;;:::i;:::-;5924:34;-1:-1:-1;5974:14:0;5985:3;5974:8;:14;:::i;:::-;5963:25;;6012:8;6001:7;:19;;5993:43;;;;-1:-1:-1;;;5993:43:0;;;;;;;:::i;:::-;6043:25;6051:8;6061:6;6043:7;:25::i;:::-;6099:74;;6152:10;6099:74;;;6688:51:1;6755:18;;;6748:34;;;-1:-1:-1;;;;;6084:14:0;;;6661:18:1;;6099:74:0;;;-1:-1:-1;;6099:74:0;;;;;;;;;;;;;;-1:-1:-1;;;;;6099:74:0;-1:-1:-1;;;6099:74:0;;;6084:90;;;6099:74;6084:90;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;6075:99:0;;-1:-1:-1;6075:99:0;-1:-1:-1;6075:99:0;6179:23;;;;-1:-1:-1;;;6179:23:0;;;;;;;:::i;:::-;6222:1;6211:21;;;;;;;;;;;;:::i;:::-;6207:25;;6245:1;6237:26;;;;-1:-1:-1;;;6237:26:0;;;;;;;:::i;:::-;6276:10;;-1:-1:-1;;;;;6276:10:0;:24;6272:64;;-1:-1:-1;;;;;6308:15:0;;;;;;:4;:15;;;;;:22;;6327:3;;6308:15;:22;;6327:3;;6308:22;:::i;:::-;;;;-1:-1:-1;;6272:64:0;6347:60;;;-1:-1:-1;;;;;7763:32:1;;;7745:51;;7827:2;7812:18;;7805:34;;;7855:18;;;7848:34;;;7913:2;7898:18;;7891:34;;;6347:60:0;;;;6352:10;;6347:60;;7732:3:1;7717:19;6347:60:0;;;;;;;5590:822;;;;;;5512:900;;;:::o;3146:237::-;3208:4;3264:5;;3208:4;;-1:-1:-1;;;;;3264:5:0;3250:10;:19;3242:28;;;;;;-1:-1:-1;3286:5:0;;;-1:-1:-1;;;;;3296:17:0;;;-1:-1:-1;;;;;;3296:17:0;;;;;;3325:37;;3286:5;;;;;;;3325:37;;3286:5;3325:37;-1:-1:-1;3374:4:0;;3146:237;-1:-1:-1;;3146:237:0:o;6882:660::-;6951:7;7154:5;;6951:7;;6976:14;;-1:-1:-1;;;;;7154:5:0;7140:10;:19;7132:41;;;;-1:-1:-1;;;7132:41:0;;9546:2:1;7132:41:0;;;9528:21:1;9585:1;9565:18;;;9558:29;-1:-1:-1;;;9603:18:1;;;9596:39;9652:18;;7132:41:0;9344:332:1;7132:41:0;7186:10;;-1:-1:-1;;;;;7186:10:0;7178:44;;;;-1:-1:-1;;;7178:44:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;7245:15:0;;;;;;:4;:15;;;;;;7235:25;;;7227:49;;;;-1:-1:-1;;;7227:49:0;;;;;;;:::i;:::-;7360:10;;7307:72;;-1:-1:-1;;;;;7360:10:0;;;7307:72;;;6688:51:1;6755:18;;;6748:34;;;7292:14:0;;;;6661:18:1;;7307:72:0;;;-1:-1:-1;;7307:72:0;;;;;;;;;;;;;;-1:-1:-1;;;;;7307:72:0;-1:-1:-1;;;7307:72:0;;;7292:88;;;7307:72;7292:88;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;7283:97:0;;-1:-1:-1;7283:97:0;-1:-1:-1;7283:97:0;7385:23;;;;-1:-1:-1;;;7385:23:0;;;;;;;:::i;:::-;7428:1;7417:21;;;;;;;;;;;;:::i;:::-;7413:25;;7451:1;7443:26;;;;-1:-1:-1;;;7443:26:0;;;;;;;:::i;:::-;7489:10;;7481:38;;;-1:-1:-1;;;;;6706:32:1;;;6688:51;;6770:2;6755:18;;6748:34;;;7489:10:0;;;;7481:38;;6661:18:1;7481:38:0;;;;;;;7531:6;7524:13;;;;6882:660;;;;;:::o;2924:194::-;2981:22;797:1;2981:8;:22::i;:::-;2980:23;2972:44;;;;-1:-1:-1;;;2972:44:0;;;;;;;:::i;:::-;3043:5;;-1:-1:-1;;;;;3043:5:0;3029:10;:19;3021:39;;;;-1:-1:-1;;;3021:39:0;;;;;;;:::i;:::-;3065:6;:16;;-1:-1:-1;;;;;;3065:16:0;-1:-1:-1;;;;;3065:16:0;;;;;;;;3091:22;;;;-1:-1:-1;;3091:22:0;2924:194;:::o;3528:411::-;3648:13;;3591:6;;3602:14;;3623:39;;3640:6;;-1:-1:-1;;;;;3648:13:0;3623:16;:39::i;:::-;3667:31;3683:6;3691;3667:15;:31::i;:::-;3726:90;;3791:10;3726:90;;;8831:51:1;3803:4:0;8898:18:1;;;8891:60;8967:18;;;8960:34;;;-1:-1:-1;;;;;3714:11:0;;;8804:18:1;;3726:90:0;;;-1:-1:-1;;3726:90:0;;;;;;;;;;;;;;-1:-1:-1;;;;;3726:90:0;-1:-1:-1;;;3726:90:0;;;3714:103;;;3726:90;3714:103;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;3705:112:0;;-1:-1:-1;3705:112:0;-1:-1:-1;3705:112:0;3822:23;;;;-1:-1:-1;;;3822:23:0;;;;;;;:::i;:::-;3865:1;3854:21;;;;;;;;;;;;:::i;:::-;3850:25;;3888:1;3880:26;;;;-1:-1:-1;;;3880:26:0;;;;;;;:::i;:::-;3928:6;3913:11;;:21;;;;;;;:::i;:::-;;;;-1:-1:-1;;;;;;3528:411:0:o;3944:150::-;3998:7;4012:11;4047:6;;4038;:15;;;;:::i;:::-;4032:21;-1:-1:-1;4058:14:0;4065:7;4032:21;4058:14;:::i;7547:350::-;7626:6;7637:14;-1:-1:-1;;;;;7662:28:0;;7658:52;;7698:7;;7547:350;;:::o;7658:52::-;7747:48;;-1:-1:-1;;;;;1730:32:1;;;7747:48:0;;;1712:51:1;7727:19:0;;;1685:18:1;;7747:48:0;;;-1:-1:-1;;7747:48:0;;;;;;;;;;;;;;-1:-1:-1;;;;;7747:48:0;-1:-1:-1;;;7747:48:0;;;7727:69;;;7747:48;7727:69;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;7718:78:0;;-1:-1:-1;7718:78:0;-1:-1:-1;7718:78:0;7801:26;;;;-1:-1:-1;;;7801:26:0;;10671:2:1;7801:26:0;;;10653:21:1;10710:2;10690:18;;;10683:30;-1:-1:-1;;;10729:18:1;;;10722:42;10781:18;;7801:26:0;10469:336:1;7801:26:0;7847:1;7836:21;;;;;;;;;;;;:::i;:::-;7832:25;;7870:1;7862:30;;;;-1:-1:-1;;;7862:30:0;;11012:2:1;7862:30:0;;;10994:21:1;11051:2;11031:18;;;11024:30;-1:-1:-1;;;11070:18:1;;;11063:46;11126:18;;7862:30:0;10810:340:1;7903:572:0;8052:12;;7978:6;;7989:14;;7978:6;;;;-1:-1:-1;;;;;8052:12:0;8048:50;;8086:7;;;;7903:572;;:::o;8048:50::-;8115:12;;8133:65;;-1:-1:-1;;;;;11364:32:1;;;8133:65:0;;;11346:51:1;8193:4:0;11413:18:1;;;11406:60;8115:12:0;;;;11319:18:1;;8133:65:0;;;-1:-1:-1;;8133:65:0;;;;;;;;;;;;;;-1:-1:-1;;;;;8133:65:0;-1:-1:-1;;;8133:65:0;;;8115:84;;;8133:65;8115:84;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;8106:93:0;;-1:-1:-1;8106:93:0;-1:-1:-1;8106:93:0;8204:25;;;;-1:-1:-1;;;8204:25:0;;11679:2:1;8204:25:0;;;11661:21:1;11718:2;11698:18;;;11691:30;-1:-1:-1;;;11737:18:1;;;11730:41;11788:18;;8204:25:0;11477:335:1;8204:25:0;8253:1;8242:24;;;;;;;;;;;;:::i;:::-;8294:51;;8340:4;8294:51;;;1712::1;8234:32:0;;-1:-1:-1;;;;;;8282:11:0;;;1685:18:1;;8294:51:0;;;-1:-1:-1;;8294:51:0;;;;;;;;;;;;;;-1:-1:-1;;;;;8294:51:0;-1:-1:-1;;;8294:51:0;;;8282:64;;;8294:51;8282:64;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;8273:73:0;;-1:-1:-1;8273:73:0;-1:-1:-1;8273:73:0;8351:23;;;;-1:-1:-1;;;8351:23:0;;;;;;;:::i;:::-;8400:1;8389:24;;;;;;;;;;;;:::i;:::-;8379:34;-1:-1:-1;8451:5:0;8426:21;8436:11;8379:34;8426:21;:::i;:::-;:30;;8418:52;;;;-1:-1:-1;;;8418:52:0;;12019:2:1;8418:52:0;;;12001:21:1;12058:1;12038:18;;;12031:29;-1:-1:-1;;;12076:18:1;;;12069:39;12125:18;;8418:52:0;11817:332:1;8418:52:0;7973:502;;;;7903:572;;:::o;14:286:1:-;72:6;125:2;113:9;104:7;100:23;96:32;93:52;;;141:1;138;131:12;93:52;167:23;;-1:-1:-1;;;;;;219:32:1;;209:43;;199:71;;266:1;263;256:12;497:250;582:1;592:113;606:6;603:1;600:13;592:113;;;682:11;;;676:18;663:11;;;656:39;628:2;621:10;592:113;;;-1:-1:-1;;739:1:1;721:16;;714:27;497:250::o;752:396::-;901:2;890:9;883:21;864:4;933:6;927:13;976:6;971:2;960:9;956:18;949:34;992:79;1064:6;1059:2;1048:9;1044:18;1039:2;1031:6;1027:15;992:79;:::i;:::-;1132:2;1111:15;-1:-1:-1;;1107:29:1;1092:45;;;;1139:2;1088:54;;752:396;-1:-1:-1;;752:396:1:o;1335:226::-;1394:6;1447:2;1435:9;1426:7;1422:23;1418:32;1415:52;;;1463:1;1460;1453:12;1415:52;-1:-1:-1;1508:23:1;;1335:226;-1:-1:-1;1335:226:1:o;1774:173::-;1842:20;;-1:-1:-1;;;;;1891:31:1;;1881:42;;1871:70;;1937:1;1934;1927:12;1871:70;1774:173;;;:::o;1952:300::-;2020:6;2028;2081:2;2069:9;2060:7;2056:23;2052:32;2049:52;;;2097:1;2094;2087:12;2049:52;2120:29;2139:9;2120:29;:::i;:::-;2110:39;2218:2;2203:18;;;;2190:32;;-1:-1:-1;;;1952:300:1:o;2257:186::-;2316:6;2369:2;2357:9;2348:7;2344:23;2340:32;2337:52;;;2385:1;2382;2375:12;2337:52;2408:29;2427:9;2408:29;:::i;2448:374::-;2525:6;2533;2541;2594:2;2582:9;2573:7;2569:23;2565:32;2562:52;;;2610:1;2607;2600:12;2562:52;2633:29;2652:9;2633:29;:::i;:::-;2623:39;;2681:38;2715:2;2704:9;2700:18;2681:38;:::i;:::-;2448:374;;2671:48;;-1:-1:-1;;;2788:2:1;2773:18;;;;2760:32;;2448:374::o;2827:118::-;2913:5;2906:13;2899:21;2892:5;2889:32;2879:60;;2935:1;2932;2925:12;2879:60;2827:118;:::o;2950:510::-;3033:6;3041;3049;3057;3110:3;3098:9;3089:7;3085:23;3081:33;3078:53;;;3127:1;3124;3117:12;3078:53;3150:29;3169:9;3150:29;:::i;:::-;3140:39;;3198:38;3232:2;3221:9;3217:18;3198:38;:::i;:::-;3188:48;-1:-1:-1;3305:2:1;3290:18;;3277:32;;-1:-1:-1;3385:2:1;3370:18;;3357:32;3398:30;3357:32;3398:30;:::i;:::-;2950:510;;;;-1:-1:-1;2950:510:1;;-1:-1:-1;;2950:510:1:o;3465:380::-;3544:1;3540:12;;;;3587;;;3608:61;;3662:4;3654:6;3650:17;3640:27;;3608:61;3715:2;3707:6;3704:14;3684:18;3681:38;3678:161;;3761:10;3756:3;3752:20;3749:1;3742:31;3796:4;3793:1;3786:15;3824:4;3821:1;3814:15;3678:161;;3465:380;;;:::o;3850:331::-;4052:2;4034:21;;;4091:1;4071:18;;;4064:29;-1:-1:-1;;;4124:2:1;4109:18;;4102:38;4172:2;4157:18;;3850:331::o;4186:330::-;4388:2;4370:21;;;4427:1;4407:18;;;4400:29;-1:-1:-1;;;4460:2:1;4445:18;;4438:37;4507:2;4492:18;;4186:330::o;5091:287::-;5220:3;5258:6;5252:13;5274:66;5333:6;5328:3;5321:4;5313:6;5309:17;5274:66;:::i;:::-;5356:16;;;;;5091:287;-1:-1:-1;;5091:287:1:o;5383:332::-;5585:2;5567:21;;;5624:1;5604:18;;;5597:29;-1:-1:-1;;;5657:2:1;5642:18;;5635:39;5706:2;5691:18;;5383:332::o;5720:184::-;5790:6;5843:2;5831:9;5822:7;5818:23;5814:32;5811:52;;;5859:1;5856;5849:12;5811:52;-1:-1:-1;5882:16:1;;5720:184;-1:-1:-1;5720:184:1:o;5909:127::-;5970:10;5965:3;5961:20;5958:1;5951:31;6001:4;5998:1;5991:15;6025:4;6022:1;6015:15;6041:128;6108:9;;;6129:11;;;6126:37;;;6143:18;;:::i;6174:335::-;6376:2;6358:21;;;6415:2;6395:18;;;6388:30;-1:-1:-1;;;6449:2:1;6434:18;;6427:41;6500:2;6485:18;;6174:335::o;6793:245::-;6860:6;6913:2;6901:9;6892:7;6888:23;6884:32;6881:52;;;6929:1;6926;6919:12;6881:52;6961:9;6955:16;6980:28;7002:5;6980:28;:::i;7043:336::-;7245:2;7227:21;;;7284:2;7264:18;;;7257:30;-1:-1:-1;;;7318:2:1;7303:18;;7296:42;7370:2;7355:18;;7043:336::o;7384:125::-;7449:9;;;7470:10;;;7467:36;;;7483:18;;:::i;10074:168::-;10147:9;;;10178;;10195:15;;;10189:22;;10175:37;10165:71;;10216:18;;:::i;10247:217::-;10287:1;10313;10303:132;;10357:10;10352:3;10348:20;10345:1;10338:31;10392:4;10389:1;10382:15;10420:4;10417:1;10410:15;10303:132;-1:-1:-1;10449:9:1;;10247:217::o

ipfs://1520e1c16e2d09a3e6e6fe4f137b17dc4b7a96696fc3e29f58d4a26fb34fed02