Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC165    - function supportsInterface(bytes4 int ... interface IERC721 is IERC165    - function balanceOf(address owner)    - function ownerOf(uint256 tokenId)    - function safeTransferFrom(address fro ...    - function transferFrom(address from, a ...    - function approve(address to, uint256 ...    - function getApproved(uint256 tokenId)    - function setApprovalForAll(address op ...    - function isApprovedForAll(address own ...    - function safeTransferFrom(address fro ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ...    - function mod(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b, st ... interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function totalSupply()    - function balanceOf(address account)    - function allowance(address owner, add ...    - function approve(address _spender, ui ...    - function transfer(address _to, uint25 ...    - function transferFrom(address _from, ...    - function _mint(address _to, uint256 _ ...    - function _burn(address _from, uint256 ...  contract Ownable    - function setOwnership(address _newOwn ...  contract Pausable is Ownable    - function pause()    - function unpause() interface ILeviathanClaim    - function release(uint256 payID)    - function totalReleased()    - function released(uint256 payID)  contract WrappedLeviathan is ERC20 ... *    - function _getSeed(uint256 _seed, addr ...    - function checkClaim(uint ID)    - function wrap(uint256[] calldata _lev ...    - function unwrap(uint256 _amount)    - function unwrapFor(uint256 _amount, a ...    - function onERC721Received(address _fr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-11-20
*/

pragma solidity ^0.6.12;

interface IERC165 {
    /**
     * @dev Returns true if this contract implements the interface defined by
     * `interfaceId`. See the corresponding
     * https://eips.ethereum.org/EIPS/eip-165#how-interfaces-are-identified[EIP section]
     * to learn more about how these ids are created.
     *
     * This function call must use less than 30 000 gas.
     */
    function supportsInterface(bytes4 interfaceId) external view returns (bool);
}

/**
 * @dev Required interface of an ERC721 compliant contract.
 */
interface IERC721 is IERC165 {
    function balanceOf(address owner) external view returns (uint256 balance);
    function ownerOf(uint256 tokenId) external view returns (address owner);
    function safeTransferFrom(address from, address to, uint256 tokenId) external;
    function transferFrom(address from, address to, uint256 tokenId) external;
    function approve(address to, uint256 tokenId) external;
    function getApproved(uint256 tokenId) external view returns (address operator);
    function setApprovalForAll(address operator, bool _approved) external;
    function isApprovedForAll(address owner, address operator) external view returns (bool);
    function safeTransferFrom(address from, address to, uint256 tokenId, bytes calldata data) external;
}

library SafeMath {
	function add(uint256 a, uint256 b) internal pure returns (uint256) {
		uint256 c = a + b;
		require(c >= a, "SafeMath: addition overflow.");
		return c;
	}

	function sub(uint256 a, uint256 b) internal pure returns (uint256) {
		return sub(a, b, "SafeMath: subtraction overflow.");
	}

	function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
		require(b <= a, errorMessage);
		uint256 c = a - b;
		return c;
	}

	function mul(uint256 a, uint256 b) internal pure returns (uint256) {
		if (a == 0) {
			return 0;
		}
		uint256 c = a * b;
		require(c / a == b, "SafeMath: multiplication overflow.");
		return c;
	}

	function div(uint256 a, uint256 b) internal pure returns (uint256) {
		return div(a, b, "SafeMath: division by zero.");
	}

	function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
		// Solidity only automatically asserts when dividing by 0
		require(b > 0, errorMessage);
		uint256 c = a / b;
		return c;
	}

	function mod(uint256 a, uint256 b) internal pure returns (uint256) {
		return mod(a, b, "SafeMath: modulo by zero.");
	}

	function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
		require(b != 0, errorMessage);
		return a % b;
	}
}

interface IERC20 {
	function totalSupply() external view returns (uint256);
	function balanceOf(address account) external view returns (uint256);
	function transfer(address recipient, uint256 amount) external returns (bool);
	function allowance(address owner, address spender) external view returns (uint256);
	function approve(address spender, uint256 amount) external returns (bool);
	function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
	event Transfer(address indexed from, address indexed to, uint256 value);
	event Approval(address indexed owner, address indexed spender, uint256 value);
}

abstract contract ERC20 is IERC20 {
	using SafeMath for uint256;

	string public name;
	string public symbol;
	uint8 public decimals;

	uint256 public _totalSupply;
	mapping (address => uint256) public _balanceOf;
	mapping (address => mapping (address => uint256)) public _allowance;

	constructor (string memory _name, string memory _symbol, uint8 _decimals) public {
		name = _name;
		symbol = _symbol;
		decimals = _decimals;
	}

	function totalSupply() public view override returns (uint256) {
		return _totalSupply;
	}

	function balanceOf(address account) public view override returns (uint256) {
		return _balanceOf[account];
	}

	function allowance(address owner, address spender) public view override returns (uint256) {
		return _allowance[owner][spender];
	}

	function approve(address _spender, uint256 _value) public override returns (bool _success) {
		_allowance[msg.sender][_spender] = _value;
		emit Approval(msg.sender, _spender, _value);
		return true;
	}

	function transfer(address _to, uint256 _value) public override returns (bool _success) {
		require(_to != address(0), "ERC20: Recipient address is null.");
		_balanceOf[msg.sender] = _balanceOf[msg.sender].sub(_value);
		_balanceOf[_to] = _balanceOf[_to].add(_value);
		emit Transfer(msg.sender, _to, _value);
		return true;
	}

	function transferFrom(address _from, address _to, uint256 _value) public override returns (bool _success) {
		require(_to != address(0), "ERC20: Recipient address is null.");
		_balanceOf[_from] = _balanceOf[_from].sub(_value);
		_balanceOf[_to] = _balanceOf[_to].add(_value);
		_allowance[_from][msg.sender] = _allowance[_from][msg.sender].sub(_value);
		emit Transfer(_from, _to, _value);
		return true;
	}

	function _mint(address _to, uint256 _amount) internal {
		_totalSupply = _totalSupply.add(_amount);
		_balanceOf[_to] = _balanceOf[_to].add(_amount);
		emit Transfer(address(0), _to, _amount);
	}

	function _burn(address _from, uint256 _amount) internal {
		require(_from != address(0), "ERC20: Burning from address 0.");
		_balanceOf[_from] = _balanceOf[_from].sub(_amount, "ERC20: burn amount exceeds balance.");
		_totalSupply = _totalSupply.sub(_amount);
		emit Transfer(_from, address(0), _amount);
	}
}

contract Ownable {
	address public owner;

	constructor () public {
		owner = msg.sender;
	}

	modifier onlyOwner() {
		require(msg.sender == owner, "Not owner");
		_;
	}
	
	function setOwnership(address _newOwner) external onlyOwner {
		owner = _newOwner;
	}
}

contract Pausable is Ownable {
	bool public isPaused;
	
	constructor () public {
		isPaused = false;
	}
	
	modifier notPaused() {
		require(!isPaused, "paused");
		_;
	}
	
	function pause() external onlyOwner {
		isPaused = true;
	}
	
	function unpause() external onlyOwner {
		isPaused = false;
	}
}

interface ILeviathanClaim {
    function release(uint256 payID) external;
    function totalReleased() external view returns (uint256);
    function released(uint256 payID) external view returns (uint256);
}

contract WrappedLeviathan is ERC20("Wrapped Leviathan", "WLEV", 18), Pausable {
	using SafeMath for uint256;

	IERC721 public constant LEVIATHAN = IERC721(0xeE52c053e091e8382902E7788Ac27f19bBdFeeDc);
    address private _leviathanClaim = 0xb4345a489e4aF3a33F81df5FB26E88fFeCEd6489;
    address private _surf = 0xEa319e87Cf06203DAe107Dd8E5672175e3Ee976c;

	uint256[] public leviathans;

	event LeviathanWrapped(uint256 leviathanID);
	event LeviathanUnwrapped(uint256 leviathanID);

    function _getSeed(uint256 _seed, address _sender) internal view returns (uint256) {
		if (_seed == 0)
			return uint256(keccak256(abi.encodePacked(block.timestamp, block.difficulty, _sender)));
		else
			return uint256(keccak256(abi.encodePacked(_seed)));
	}

    function checkClaim(uint ID)
    public view returns (uint256) {
        uint256 totalReleased = ILeviathanClaim(_leviathanClaim).totalReleased();
        uint256 released = ILeviathanClaim(_leviathanClaim).released(ID);
        uint256 totalReceived = IERC20(_surf).balanceOf(_leviathanClaim).add(totalReleased);
        return totalReceived.mul(1).div(333).sub(released);
    }

	function wrap(uint256[] calldata _leviathansToWrap) public notPaused {
		for (uint256 i = 0; i < _leviathansToWrap.length; i++) {
			require(_leviathansToWrap[i] >= 1 && _leviathansToWrap[i] <= 333, "WrappedLeviathan: Invalid ID.");
			leviathans.push(_leviathansToWrap[i]);
			LEVIATHAN.transferFrom(msg.sender, address(this), _leviathansToWrap[i]);

            if(checkClaim(_leviathansToWrap[i]) > 0 )
                ILeviathanClaim(_leviathanClaim).release(_leviathansToWrap[i]);
            
			emit LeviathanWrapped(_leviathansToWrap[i]);
		}
		_mint(msg.sender, _leviathansToWrap.length * (10**uint256(decimals)));

        uint surfBalance = IERC20(_surf).balanceOf(address(this));
        if(surfBalance > 0)
            IERC20(_surf).transfer(_leviathanClaim, surfBalance);
	}

	function unwrap(uint256 _amount) public notPaused{
		unwrapFor(_amount, msg.sender);
	}

	function unwrapFor(uint256 _amount, address _recipient) public notPaused {
		require(_recipient != address(0), "WrappedLeviathan: Cannot send to void address.");

		_burn(msg.sender, _amount * (10**uint256(decimals)));
		uint256 _seed = 0;
		for (uint256 i = 0; i < _amount; i++) {
			_seed = _getSeed(_seed, msg.sender);
			uint256 _index = _seed % leviathans.length;
			uint256 _tokenId = leviathans[_index];

			leviathans[_index] = leviathans[leviathans.length - 1];
			leviathans.pop();

            if(checkClaim(_tokenId) > 0)
                ILeviathanClaim(_leviathanClaim).release(_tokenId);

			LEVIATHAN.transferFrom(address(this), _recipient, _tokenId);

			emit LeviathanUnwrapped(_tokenId);
		}

        uint surfBalance = IERC20(_surf).balanceOf(address(this));
        if(surfBalance > 0)
            IERC20(_surf).transfer(_leviathanClaim, surfBalance);
	}

	function onERC721Received(address _from, uint256 _tokenId, bytes calldata _data) external view returns (bytes4) {
		require(msg.sender == address(LEVIATHAN), "Not Leviathan NFT");
		return WrappedLeviathan.onERC721Received.selector;
	}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"leviathanID","type":"uint256"}],"name":"LeviathanUnwrapped","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"leviathanID","type":"uint256"}],"name":"LeviathanWrapped","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"LEVIATHAN","outputs":[{"internalType":"contract IERC721","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"_allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"_balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"_success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"ID","type":"uint256"}],"name":"checkClaim","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"isPaused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"leviathans","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"uint256","name":"_tokenId","type":"uint256"},{"internalType":"bytes","name":"_data","type":"bytes"}],"name":"onERC721Received","outputs":[{"internalType":"bytes4","name":"","type":"bytes4"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_newOwner","type":"address"}],"name":"setOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"_success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"_success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"unpause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"unwrap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_amount","type":"uint256"},{"internalType":"address","name":"_recipient","type":"address"}],"name":"unwrapFor","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256[]","name":"_leviathansToWrap","type":"uint256[]"}],"name":"wrap","outputs":[],"stateMutability":"nonpayable","type":"function"}]

608060405273b4345a489e4af3a33f81df5fb26e88ffeced6489600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555073ea319e87cf06203dae107dd8e5672175e3ee976c600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550348015620000bb57600080fd5b506040518060400160405280601181526020017f57726170706564204c657669617468616e0000000000000000000000000000008152506040518060400160405280600481526020017f574c4556000000000000000000000000000000000000000000000000000000008152506012826000908051906020019062000142929190620001dc565b5081600190805190602001906200015b929190620001dc565b5080600260006101000a81548160ff021916908360ff16021790555050505033600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600660146101000a81548160ff02191690831515021790555062000282565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200021f57805160ff191683800117855562000250565b8280016001018555821562000250579182015b828111156200024f57825182559160200191906001019062000232565b5b5090506200025f919062000263565b5090565b5b808211156200027e57600081600090555060010162000264565b5090565b612aae80620002926000396000f3fe608060405234801561001057600080fd5b50600436106101585760003560e01c806395d89b41116100c3578063cca3e8321161007c578063cca3e8321461064d578063dd336c12146106a5578063dd62ed3e1461071d578063de0e9a3e14610795578063ea9ebb76146107c3578063f0b9e5ba1461080557610158565b806395d89b4114610455578063a7016023146104d8578063a9059cbb1461051c578063b187bd2614610580578063c585965a146105a0578063cc17a5bf146105d457610158565b8063313ce56711610115578063313ce567146103765780633eaaf86b146103975780633f4ba83a146103b557806370a08231146103bf5780638456cb59146104175780638da5cb5b1461042157610158565b806306fdde031461015d578063095ea7b3146101e05780631681d1581461024457806318160ddd1461028657806323b872dd146102a45780632ab180e914610328575b600080fd5b6101656108db565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101a557808201518184015260208101905061018a565b50505050905090810190601f1680156101d25780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61022c600480360360408110156101f657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610979565b60405180821515815260200191505060405180910390f35b6102706004803603602081101561025a57600080fd5b8101908080359060200190929190505050610a6b565b6040518082815260200191505060405180910390f35b61028e610d05565b6040518082815260200191505060405180910390f35b610310600480360360608110156102ba57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d0f565b60405180821515815260200191505060405180910390f35b6103746004803603604081101561033e57600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061103f565b005b61037e611576565b604051808260ff16815260200191505060405180910390f35b61039f611589565b6040518082815260200191505060405180910390f35b6103bd61158f565b005b610401600480360360208110156103d557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061166f565b6040518082815260200191505060405180910390f35b61041f6116b8565b005b610429611798565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61045d6117be565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561049d578082015181840152602081019050610482565b50505050905090810190601f1680156104ca5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61051a600480360360208110156104ee57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061185c565b005b6105686004803603604081101561053257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611963565b60405180821515815260200191505060405180910390f35b610588611b83565b60405180821515815260200191505060405180910390f35b6105a8611b96565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61064b600480360360208110156105ea57600080fd5b810190808035906020019064010000000081111561060757600080fd5b82018360208201111561061957600080fd5b8035906020019184602083028401116401000000008311171561063b57600080fd5b9091929391929390505050611bae565b005b61068f6004803603602081101561066357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506120f6565b6040518082815260200191505060405180910390f35b610707600480360360408110156106bb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061210e565b6040518082815260200191505060405180910390f35b61077f6004803603604081101561073357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612133565b6040518082815260200191505060405180910390f35b6107c1600480360360208110156107ab57600080fd5b81019080803590602001909291905050506121ba565b005b6107ef600480360360208110156107d957600080fd5b810190808035906020019092919050505061224a565b6040518082815260200191505060405180910390f35b6108a66004803603606081101561081b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291908035906020019064010000000081111561086257600080fd5b82018360208201111561087457600080fd5b8035906020019184600183028401116401000000008311171561089657600080fd5b909192939192939050505061226b565b60405180827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200191505060405180910390f35b60008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156109715780601f1061094657610100808354040283529160200191610971565b820191906000526020600020905b81548152906001019060200180831161095457829003601f168201915b505050505081565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b600080600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e33b7de36040518163ffffffff1660e01b815260040160206040518083038186803b158015610ad657600080fd5b505afa158015610aea573d6000803e3d6000fd5b505050506040513d6020811015610b0057600080fd5b810190808051906020019092919050505090506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a94d373b856040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015610b8857600080fd5b505afa158015610b9c573d6000803e3d6000fd5b505050506040513d6020811015610bb257600080fd5b810190808051906020019092919050505090506000610cbf83600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610c7657600080fd5b505afa158015610c8a573d6000803e3d6000fd5b505050506040513d6020811015610ca057600080fd5b810190808051906020019092919050505061233490919063ffffffff16565b9050610cfb82610ced61014d610cdf6001866123bc90919063ffffffff16565b61244290919063ffffffff16565b61248c90919063ffffffff16565b9350505050919050565b6000600354905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610d96576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612a076021913960400191505060405180910390fd5b610de882600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461248c90919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610e7d82600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461233490919063ffffffff16565b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610f4f82600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461248c90919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600660149054906101000a900460ff16156110c2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260068152602001807f706175736564000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611148576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180612a28602e913960400191505060405180910390fd5b61116933600260009054906101000a900460ff1660ff16600a0a84026124d6565b6000805b838110156113ac5761117f82336126ad565b91506000600980549050838161119157fe5b0690506000600982815481106111a357fe5b906000526020600020015490506009600160098054905003815481106111c557fe5b9060005260206000200154600983815481106111dd57fe5b906000526020600020018190555060098054806111f657fe5b60019003818190600052602060002001600090559055600061121782610a6b565b11156112ab57600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166337bdc99b826040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b15801561129257600080fd5b505af11580156112a6573d6000803e3d6000fd5b505050505b73ee52c053e091e8382902e7788ac27f19bbdfeedc73ffffffffffffffffffffffffffffffffffffffff166323b872dd3087846040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b15801561134e57600080fd5b505af1158015611362573d6000803e3d6000fd5b505050507f598d88df7b669519a42fc5fbda762f0ebfa7151aa6dec9307ecabb7f331739d2816040518082815260200191505060405180910390a15050808060010191505061116d565b506000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561143857600080fd5b505afa15801561144c573d6000803e3d6000fd5b505050506040513d602081101561146257600080fd5b81019080805190602001909291905050509050600081111561157057600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561153357600080fd5b505af1158015611547573d6000803e3d6000fd5b505050506040513d602081101561155d57600080fd5b8101908080519060200190929190505050505b50505050565b600260009054906101000a900460ff1681565b60035481565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611652576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260098152602001807f4e6f74206f776e6572000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600660146101000a81548160ff021916908315150217905550565b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461177b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260098152602001807f4e6f74206f776e6572000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6001600660146101000a81548160ff021916908315150217905550565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156118545780601f1061182957610100808354040283529160200191611854565b820191906000526020600020905b81548152906001019060200180831161183757829003601f168201915b505050505081565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461191f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260098152602001807f4e6f74206f776e6572000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b80600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156119ea576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612a076021913960400191505060405180910390fd5b611a3c82600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461248c90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611ad182600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461233490919063ffffffff16565b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b600660149054906101000a900460ff1681565b73ee52c053e091e8382902e7788ac27f19bbdfeedc81565b600660149054906101000a900460ff1615611c31576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260068152602001807f706175736564000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b60005b82829050811015611f09576001838383818110611c4d57fe5b9050602002013510158015611c76575061014d838383818110611c6c57fe5b9050602002013511155b611ce8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f577261707065644c657669617468616e3a20496e76616c69642049442e00000081525060200191505060405180910390fd5b6009838383818110611cf657fe5b90506020020135908060018154018082558091505060019003906000526020600020016000909190919091505573ee52c053e091e8382902e7788ac27f19bbdfeedc73ffffffffffffffffffffffffffffffffffffffff166323b872dd3330868686818110611d6157fe5b905060200201356040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b158015611dd857600080fd5b505af1158015611dec573d6000803e3d6000fd5b505050506000611e0d848484818110611e0157fe5b90506020020135610a6b565b1115611eb357600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166337bdc99b848484818110611e5d57fe5b905060200201356040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b158015611e9a57600080fd5b505af1158015611eae573d6000803e3d6000fd5b505050505b7fee3291f2d3f67fda4f380b5878ab228513e5f2d5394491f5edcf03cecd57db1f838383818110611ee057fe5b905060200201356040518082815260200191505060405180910390a18080600101915050611c34565b50611f2e33600260009054906101000a900460ff1660ff16600a0a8484905002612744565b6000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611fb957600080fd5b505afa158015611fcd573d6000803e3d6000fd5b505050506040513d6020811015611fe357600080fd5b8101908080519060200190929190505050905060008111156120f157600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b1580156120b457600080fd5b505af11580156120c8573d6000803e3d6000fd5b505050506040513d60208110156120de57600080fd5b8101908080519060200190929190505050505b505050565b60046020528060005260406000206000915090505481565b6005602052816000526040600020602052806000526040600020600091509150505481565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600660149054906101000a900460ff161561223d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260068152602001807f706175736564000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b612247813361103f565b50565b6009818154811061225757fe5b906000526020600020016000915090505481565b600073ee52c053e091e8382902e7788ac27f19bbdfeedc73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614612322576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f4e6f74204c657669617468616e204e465400000000000000000000000000000081525060200191505060405180910390fd5b63f0b9e5ba60e01b9050949350505050565b6000808284019050838110156123b2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f772e0000000081525060200191505060405180910390fd5b8091505092915050565b6000808314156123cf576000905061243c565b60008284029050828482816123e057fe5b0414612437576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806129e56022913960400191505060405180910390fd5b809150505b92915050565b600061248483836040518060400160405280601b81526020017f536166654d6174683a206469766973696f6e206279207a65726f2e000000000081525061285e565b905092915050565b60006124ce83836040518060400160405280601f81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f772e00815250612924565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612579576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f45524332303a204275726e696e672066726f6d206164647265737320302e000081525060200191505060405180910390fd5b6125e581604051806060016040528060238152602001612a5660239139600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546129249092919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061263d8160035461248c90919063ffffffff16565b600381905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008083141561271157424483604051602001808481526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1660601b815260140193505050506040516020818303038152906040528051906020012060001c905061273e565b82604051602001808281526020019150506040516020818303038152906040528051906020012060001c90505b92915050565b6127598160035461233490919063ffffffff16565b6003819055506127b181600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461233490919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000808311829061290a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156128cf5780820151818401526020810190506128b4565b50505050905090810190601f1680156128fc5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50600083858161291657fe5b049050809150509392505050565b60008383111582906129d1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561299657808201518184015260208101905061297b565b50505050905090810190601f1680156129c35780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838503905080915050939250505056fe536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f772e45524332303a20526563697069656e742061646472657373206973206e756c6c2e577261707065644c657669617468616e3a2043616e6e6f742073656e6420746f20766f696420616464726573732e45524332303a206275726e20616d6f756e7420657863656564732062616c616e63652ea2646970667358221220891047a6444a0f084ad4906679029ac0624d5f7c43482db9feed9eb29902083664736f6c634300060c0033

0x608060405234801561001057600080fd5b50600436106101585760003560e01c806395d89b41116100c3578063cca3e8321161007c578063cca3e8321461064d578063dd336c12146106a5578063dd62ed3e1461071d578063de0e9a3e14610795578063ea9ebb76146107c3578063f0b9e5ba1461080557610158565b806395d89b4114610455578063a7016023146104d8578063a9059cbb1461051c578063b187bd2614610580578063c585965a146105a0578063cc17a5bf146105d457610158565b8063313ce56711610115578063313ce567146103765780633eaaf86b146103975780633f4ba83a146103b557806370a08231146103bf5780638456cb59146104175780638da5cb5b1461042157610158565b806306fdde031461015d578063095ea7b3146101e05780631681d1581461024457806318160ddd1461028657806323b872dd146102a45780632ab180e914610328575b600080fd5b6101656108db565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156101a557808201518184015260208101905061018a565b50505050905090810190601f1680156101d25780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61022c600480360360408110156101f657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610979565b60405180821515815260200191505060405180910390f35b6102706004803603602081101561025a57600080fd5b8101908080359060200190929190505050610a6b565b6040518082815260200191505060405180910390f35b61028e610d05565b6040518082815260200191505060405180910390f35b610310600480360360608110156102ba57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d0f565b60405180821515815260200191505060405180910390f35b6103746004803603604081101561033e57600080fd5b8101908080359060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061103f565b005b61037e611576565b604051808260ff16815260200191505060405180910390f35b61039f611589565b6040518082815260200191505060405180910390f35b6103bd61158f565b005b610401600480360360208110156103d557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061166f565b6040518082815260200191505060405180910390f35b61041f6116b8565b005b610429611798565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61045d6117be565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561049d578082015181840152602081019050610482565b50505050905090810190601f1680156104ca5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61051a600480360360208110156104ee57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061185c565b005b6105686004803603604081101561053257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611963565b60405180821515815260200191505060405180910390f35b610588611b83565b60405180821515815260200191505060405180910390f35b6105a8611b96565b604051808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61064b600480360360208110156105ea57600080fd5b810190808035906020019064010000000081111561060757600080fd5b82018360208201111561061957600080fd5b8035906020019184602083028401116401000000008311171561063b57600080fd5b9091929391929390505050611bae565b005b61068f6004803603602081101561066357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506120f6565b6040518082815260200191505060405180910390f35b610707600480360360408110156106bb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061210e565b6040518082815260200191505060405180910390f35b61077f6004803603604081101561073357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612133565b6040518082815260200191505060405180910390f35b6107c1600480360360208110156107ab57600080fd5b81019080803590602001909291905050506121ba565b005b6107ef600480360360208110156107d957600080fd5b810190808035906020019092919050505061224a565b6040518082815260200191505060405180910390f35b6108a66004803603606081101561081b57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291908035906020019064010000000081111561086257600080fd5b82018360208201111561087457600080fd5b8035906020019184600183028401116401000000008311171561089657600080fd5b909192939192939050505061226b565b60405180827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff1916815260200191505060405180910390f35b60008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156109715780601f1061094657610100808354040283529160200191610971565b820191906000526020600020905b81548152906001019060200180831161095457829003601f168201915b505050505081565b600081600560003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b600080600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663e33b7de36040518163ffffffff1660e01b815260040160206040518083038186803b158015610ad657600080fd5b505afa158015610aea573d6000803e3d6000fd5b505050506040513d6020811015610b0057600080fd5b810190808051906020019092919050505090506000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a94d373b856040518263ffffffff1660e01b81526004018082815260200191505060206040518083038186803b158015610b8857600080fd5b505afa158015610b9c573d6000803e3d6000fd5b505050506040513d6020811015610bb257600080fd5b810190808051906020019092919050505090506000610cbf83600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015610c7657600080fd5b505afa158015610c8a573d6000803e3d6000fd5b505050506040513d6020811015610ca057600080fd5b810190808051906020019092919050505061233490919063ffffffff16565b9050610cfb82610ced61014d610cdf6001866123bc90919063ffffffff16565b61244290919063ffffffff16565b61248c90919063ffffffff16565b9350505050919050565b6000600354905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610d96576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612a076021913960400191505060405180910390fd5b610de882600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461248c90919063ffffffff16565b600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610e7d82600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461233490919063ffffffff16565b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610f4f82600560008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461248c90919063ffffffff16565b600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b600660149054906101000a900460ff16156110c2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260068152602001807f706175736564000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415611148576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180612a28602e913960400191505060405180910390fd5b61116933600260009054906101000a900460ff1660ff16600a0a84026124d6565b6000805b838110156113ac5761117f82336126ad565b91506000600980549050838161119157fe5b0690506000600982815481106111a357fe5b906000526020600020015490506009600160098054905003815481106111c557fe5b9060005260206000200154600983815481106111dd57fe5b906000526020600020018190555060098054806111f657fe5b60019003818190600052602060002001600090559055600061121782610a6b565b11156112ab57600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166337bdc99b826040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b15801561129257600080fd5b505af11580156112a6573d6000803e3d6000fd5b505050505b73ee52c053e091e8382902e7788ac27f19bbdfeedc73ffffffffffffffffffffffffffffffffffffffff166323b872dd3087846040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b15801561134e57600080fd5b505af1158015611362573d6000803e3d6000fd5b505050507f598d88df7b669519a42fc5fbda762f0ebfa7151aa6dec9307ecabb7f331739d2816040518082815260200191505060405180910390a15050808060010191505061116d565b506000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b15801561143857600080fd5b505afa15801561144c573d6000803e3d6000fd5b505050506040513d602081101561146257600080fd5b81019080805190602001909291905050509050600081111561157057600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561153357600080fd5b505af1158015611547573d6000803e3d6000fd5b505050506040513d602081101561155d57600080fd5b8101908080519060200190929190505050505b50505050565b600260009054906101000a900460ff1681565b60035481565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611652576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260098152602001807f4e6f74206f776e6572000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6000600660146101000a81548160ff021916908315150217905550565b6000600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461177b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260098152602001807f4e6f74206f776e6572000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b6001600660146101000a81548160ff021916908315150217905550565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156118545780601f1061182957610100808354040283529160200191611854565b820191906000526020600020905b81548152906001019060200180831161183757829003601f168201915b505050505081565b600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461191f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260098152602001807f4e6f74206f776e6572000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b80600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156119ea576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180612a076021913960400191505060405180910390fd5b611a3c82600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461248c90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611ad182600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461233490919063ffffffff16565b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001905092915050565b600660149054906101000a900460ff1681565b73ee52c053e091e8382902e7788ac27f19bbdfeedc81565b600660149054906101000a900460ff1615611c31576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260068152602001807f706175736564000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b60005b82829050811015611f09576001838383818110611c4d57fe5b9050602002013510158015611c76575061014d838383818110611c6c57fe5b9050602002013511155b611ce8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f577261707065644c657669617468616e3a20496e76616c69642049442e00000081525060200191505060405180910390fd5b6009838383818110611cf657fe5b90506020020135908060018154018082558091505060019003906000526020600020016000909190919091505573ee52c053e091e8382902e7788ac27f19bbdfeedc73ffffffffffffffffffffffffffffffffffffffff166323b872dd3330868686818110611d6157fe5b905060200201356040518463ffffffff1660e01b8152600401808473ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050600060405180830381600087803b158015611dd857600080fd5b505af1158015611dec573d6000803e3d6000fd5b505050506000611e0d848484818110611e0157fe5b90506020020135610a6b565b1115611eb357600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166337bdc99b848484818110611e5d57fe5b905060200201356040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b158015611e9a57600080fd5b505af1158015611eae573d6000803e3d6000fd5b505050505b7fee3291f2d3f67fda4f380b5878ab228513e5f2d5394491f5edcf03cecd57db1f838383818110611ee057fe5b905060200201356040518082815260200191505060405180910390a18080600101915050611c34565b50611f2e33600260009054906101000a900460ff1660ff16600a0a8484905002612744565b6000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff16815260200191505060206040518083038186803b158015611fb957600080fd5b505afa158015611fcd573d6000803e3d6000fd5b505050506040513d6020811015611fe357600080fd5b8101908080519060200190929190505050905060008111156120f157600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff1660e01b8152600401808373ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b1580156120b457600080fd5b505af11580156120c8573d6000803e3d6000fd5b505050506040513d60208110156120de57600080fd5b8101908080519060200190929190505050505b505050565b60046020528060005260406000206000915090505481565b6005602052816000526040600020602052806000526040600020600091509150505481565b6000600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600660149054906101000a900460ff161561223d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260068152602001807f706175736564000000000000000000000000000000000000000000000000000081525060200191505060405180910390fd5b612247813361103f565b50565b6009818154811061225757fe5b906000526020600020016000915090505481565b600073ee52c053e091e8382902e7788ac27f19bbdfeedc73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614612322576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260118152602001807f4e6f74204c657669617468616e204e465400000000000000000000000000000081525060200191505060405180910390fd5b63f0b9e5ba60e01b9050949350505050565b6000808284019050838110156123b2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f772e0000000081525060200191505060405180910390fd5b8091505092915050565b6000808314156123cf576000905061243c565b60008284029050828482816123e057fe5b0414612437576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806129e56022913960400191505060405180910390fd5b809150505b92915050565b600061248483836040518060400160405280601b81526020017f536166654d6174683a206469766973696f6e206279207a65726f2e000000000081525061285e565b905092915050565b60006124ce83836040518060400160405280601f81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f772e00815250612924565b905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415612579576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f45524332303a204275726e696e672066726f6d206164647265737320302e000081525060200191505060405180910390fd5b6125e581604051806060016040528060238152602001612a5660239139600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546129249092919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061263d8160035461248c90919063ffffffff16565b600381905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008083141561271157424483604051602001808481526020018381526020018273ffffffffffffffffffffffffffffffffffffffff1660601b815260140193505050506040516020818303038152906040528051906020012060001c905061273e565b82604051602001808281526020019150506040516020818303038152906040528051906020012060001c90505b92915050565b6127598160035461233490919063ffffffff16565b6003819055506127b181600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461233490919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000808311829061290a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b838110156128cf5780820151818401526020810190506128b4565b50505050905090810190601f1680156128fc5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50600083858161291657fe5b049050809150509392505050565b60008383111582906129d1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561299657808201518184015260208101905061297b565b50505050905090810190601f1680156129c35780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b506000838503905080915050939250505056fe536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f772e45524332303a20526563697069656e742061646472657373206973206e756c6c2e577261707065644c657669617468616e3a2043616e6e6f742073656e6420746f20766f696420616464726573732e45524332303a206275726e20616d6f756e7420657863656564732062616c616e63652ea2646970667358221220891047a6444a0f084ad4906679029ac0624d5f7c43482db9feed9eb29902083664736f6c634300060c0033

6455:3205:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3413:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4144:206;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;7223:385;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3794:91;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4693:415;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;8516:898;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;3459:21;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;3486:27;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6169:64;;;:::i;:::-;;3890:111;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6102:61;;;:::i;:::-;;5658:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;3435;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5823:87;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;4355:333;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;5950:20;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;6569:87;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;7613:804;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;3517:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3567:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4006:133;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;8422:89;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;6818:27;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;9419:238;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;3413:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4144:206::-;4220:13;4275:6;4240:10;:22;4251:10;4240:22;;;;;;;;;;;;;;;:32;4263:8;4240:32;;;;;;;;;;;;;;;:41;;;;4312:8;4291:38;;4300:10;4291:38;;;4322:6;4291:38;;;;;;;;;;;;;;;;;;4341:4;4334:11;;4144:206;;;;:::o;7223:385::-;7278:7;7298:21;7338:15;;;;;;;;;;;7322:46;;;:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7298:72;;7381:16;7416:15;;;;;;;;;;;7400:41;;;7442:2;7400:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7381:64;;7456:21;7480:59;7525:13;7487:5;;;;;;;;;;;7480:23;;;7504:15;;;;;;;;;;;7480:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:44;;:59;;;;:::i;:::-;7456:83;;7557:43;7591:8;7557:29;7582:3;7557:20;7575:1;7557:13;:17;;:20;;;;:::i;:::-;:24;;:29;;;;:::i;:::-;:33;;:43;;;;:::i;:::-;7550:50;;;;;7223:385;;;:::o;3794:91::-;3847:7;3868:12;;3861:19;;3794:91;:::o;4693:415::-;4784:13;4827:1;4812:17;;:3;:17;;;;4804:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4892:29;4914:6;4892:10;:17;4903:5;4892:17;;;;;;;;;;;;;;;;:21;;:29;;;;:::i;:::-;4872:10;:17;4883:5;4872:17;;;;;;;;;;;;;;;:49;;;;4944:27;4964:6;4944:10;:15;4955:3;4944:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;4926:10;:15;4937:3;4926:15;;;;;;;;;;;;;;;:45;;;;5008:41;5042:6;5008:10;:17;5019:5;5008:17;;;;;;;;;;;;;;;:29;5026:10;5008:29;;;;;;;;;;;;;;;;:33;;:41;;;;:::i;:::-;4976:10;:17;4987:5;4976:17;;;;;;;;;;;;;;;:29;4994:10;4976:29;;;;;;;;;;;;;;;:73;;;;5075:3;5059:28;;5068:5;5059:28;;;5080:6;5059:28;;;;;;;;;;;;;;;;;;5099:4;5092:11;;4693:415;;;;;:::o;8516:898::-;6066:8;;;;;;;;;;;6065:9;6057:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8624:1:::1;8602:24;;:10;:24;;;;8594:83;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8684:52;8690:10;8725:8;;;;;;;;;;;8717:17;;8713:2;:21;8702:7;:33;8684:5;:52::i;:::-;8741:13;8768:9:::0;8763:481:::1;8787:7;8783:1;:11;8763:481;;;8815:27;8824:5;8831:10;8815:8;:27::i;:::-;8807:35;;8848:14;8873:10;:17;;;;8865:5;:25;;;;;;8848:42;;8896:16;8915:10;8926:6;8915:18;;;;;;;;;;;;;;;;8896:37;;8962:10;8993:1;8973:10;:17;;;;:21;8962:33;;;;;;;;;;;;;;;;8941:10;8952:6;8941:18;;;;;;;;;;;;;;;:54;;;;9001:10;:16;;;;;;;;;;;;;;;;;;;;;;;;9060:1;9037:20;9048:8;9037:10;:20::i;:::-;:24;9034:96;;;9096:15;;;;;;;;;;;9080:40;;;9121:8;9080:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;9034:96;6613:42;9138:22;;;9169:4;9176:10;9188:8;9138:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;9210:28;9229:8;9210:28;;;;;;;;;;;;;;;;;;8763:481;;8796:3;;;;;;;8763:481;;;;9256:16;9282:5;;;;;;;;;;;9275:23;;;9307:4;9275:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;9256:57;;9341:1;9327:11;:15;9324:85;;;9364:5;;;;;;;;;;;9357:22;;;9380:15;;;;;;;;;;;9397:11;9357:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;9324:85;6090:1;;8516:898:::0;;:::o;3459:21::-;;;;;;;;;;;;;:::o;3486:27::-;;;;:::o;6169:64::-;5787:5;;;;;;;;;;;5773:19;;:10;:19;;;5765:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6223:5:::1;6212:8;;:16;;;;;;;;;;;;;;;;;;6169:64::o:0;3890:111::-;3956:7;3977:10;:19;3988:7;3977:19;;;;;;;;;;;;;;;;3970:26;;3890:111;;;:::o;6102:61::-;5787:5;;;;;;;;;;;5773:19;;:10;:19;;;5765:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6154:4:::1;6143:8;;:15;;;;;;;;;;;;;;;;;;6102:61::o:0;5658:20::-;;;;;;;;;;;;;:::o;3435:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5823:87::-;5787:5;;;;;;;;;;;5773:19;;:10;:19;;;5765:41;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5896:9:::1;5888:5;;:17;;;;;;;;;;;;;;;;;;5823:87:::0;:::o;4355:333::-;4427:13;4470:1;4455:17;;:3;:17;;;;4447:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4540:34;4567:6;4540:10;:22;4551:10;4540:22;;;;;;;;;;;;;;;;:26;;:34;;;;:::i;:::-;4515:10;:22;4526:10;4515:22;;;;;;;;;;;;;;;:59;;;;4597:27;4617:6;4597:10;:15;4608:3;4597:15;;;;;;;;;;;;;;;;:19;;:27;;;;:::i;:::-;4579:10;:15;4590:3;4579:15;;;;;;;;;;;;;;;:45;;;;4655:3;4634:33;;4643:10;4634:33;;;4660:6;4634:33;;;;;;;;;;;;;;;;;;4679:4;4672:11;;4355:333;;;;:::o;5950:20::-;;;;;;;;;;;;;:::o;6569:87::-;6613:42;6569:87;:::o;7613:804::-;6066:8;;;;;;;;;;;6065:9;6057:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7692:9:::1;7687:486;7711:17;;:24;;7707:1;:28;7687:486;;;7780:1;7756:17;;7774:1;7756:20;;;;;;;;;;;;;:25;;:56;;;;;7809:3;7785:17;;7803:1;7785:20;;;;;;;;;;;;;:27;;7756:56;7748:98;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;7852:10;7868:17;;7886:1;7868:20;;;;;;;;;;;;;7852:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6613:42;7895:22;;;7918:10;7938:4;7945:17;;7963:1;7945:20;;;;;;;;;;;;;7895:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;8021:1;7986:32;7997:17;;8015:1;7997:20;;;;;;;;;;;;;7986:10;:32::i;:::-;:36;7983:121;;;8058:15;;;;;;;;;;;8042:40;;;8083:17;;8101:1;8083:20;;;;;;;;;;;;;8042:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;7983:121;8129:38;8146:17;;8164:1;8146:20;;;;;;;;;;;;;8129:38;;;;;;;;;;;;;;;;;;7737:3;;;;;;;7687:486;;;;8177:69;8183:10;8235:8;;;;;;;;;;;8227:17;;8223:2;:21;8195:17;;:24;;:50;8177:5;:69::i;:::-;8259:16;8285:5;;;;;;;;;;;8278:23;;;8310:4;8278:38;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;8259:57;;8344:1;8330:11;:15;8327:85;;;8367:5;;;;;;;;;;;8360:22;;;8383:15;;;;;;;;;;;8400:11;8360:52;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;8327:85;6090:1;7613:804:::0;;:::o;3517:46::-;;;;;;;;;;;;;;;;;:::o;3567:67::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4006:133::-;4087:7;4108:10;:17;4119:5;4108:17;;;;;;;;;;;;;;;:26;4126:7;4108:26;;;;;;;;;;;;;;;;4101:33;;4006:133;;;;:::o;8422:89::-;6066:8;;;;;;;;;;;6065:9;6057:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8476:30:::1;8486:7;8495:10;8476:9;:30::i;:::-;8422:89:::0;:::o;6818:27::-;;;;;;;;;;;;;;;;;;;;;;;;;:::o;9419:238::-;9523:6;6613:42;9544:32;;:10;:32;;;9536:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9610:42;;;9603:49;;9419:238;;;;;;:::o;1361:159::-;1419:7;1433:9;1449:1;1445;:5;1433:17;;1468:1;1463;:6;;1455:47;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1514:1;1507:8;;;1361:159;;;;:::o;1832:205::-;1890:7;1913:1;1908;:6;1904:32;;;1929:1;1922:8;;;;1904:32;1940:9;1956:1;1952;:5;1940:17;;1979:1;1974;1970;:5;;;;;;:10;1962:57;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2031:1;2024:8;;;1832:205;;;;;:::o;2042:124::-;2100:7;2121:40;2125:1;2128;2121:40;;;;;;;;;;;;;;;;;:3;:40::i;:::-;2114:47;;2042:124;;;;:::o;1525:128::-;1583:7;1604:44;1608:1;1611;1604:44;;;;;;;;;;;;;;;;;:3;:44::i;:::-;1597:51;;1525:128;;;;:::o;5317:313::-;5403:1;5386:19;;:5;:19;;;;5378:62;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5465:69;5487:7;5465:69;;;;;;;;;;;;;;;;;:10;:17;5476:5;5465:17;;;;;;;;;;;;;;;;:21;;:69;;;;;:::i;:::-;5445:10;:17;5456:5;5445:17;;;;;;;;;;;;;;;:89;;;;5554:25;5571:7;5554:12;;:16;;:25;;;;:::i;:::-;5539:12;:40;;;;5613:1;5589:36;;5598:5;5589:36;;;5617:7;5589:36;;;;;;;;;;;;;;;;;;5317:313;;:::o;6952:263::-;7025:7;7052:1;7043:5;:10;7039:171;;;7101:15;7118:16;7136:7;7084:60;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7074:71;;;;;;7066:80;;7059:87;;;;7039:171;7202:5;7185:23;;;;;;;;;;;;;;;;;;;;;;;;;7175:34;;;;;;7167:43;;7160:50;;6952:263;;;;;:::o;5113:199::-;5187:25;5204:7;5187:12;;:16;;:25;;;;:::i;:::-;5172:12;:40;;;;5235:28;5255:7;5235:10;:15;5246:3;5235:15;;;;;;;;;;;;;;;;:19;;:28;;;;:::i;:::-;5217:10;:15;5228:3;5217:15;;;;;;;;;;;;;;;:46;;;;5294:3;5273:34;;5290:1;5273:34;;;5299:7;5273:34;;;;;;;;;;;;;;;;;;5113:199;;:::o;2171:229::-;2257:7;2344:1;2340;:5;2347:12;2332:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2365:9;2381:1;2377;:5;;;;;;2365:17;;2394:1;2387:8;;;2171:229;;;;;:::o;1658:169::-;1744:7;1771:1;1766;:6;;1774:12;1758:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1792:9;1808:1;1804;:5;1792:17;;1821:1;1814:8;;;1658:169;;;;;:::o

ipfs://891047a6444a0f084ad4906679029ac0624d5f7c43482db9feed9eb299020836