@excubiae/contracts

{ "_format": "hh-sol-artifact-1", "contractName": "AdvancedChecker", "sourceName": "contracts/test/examples/Advanced.t.sol", "abi": [ { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "clone", "type": "address" } ], "name": "CloneDeployed", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "string", "name": "", "type": "string" } ], "name": "log", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "address", "name": "", "type": "address" } ], "name": "log_address", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "uint256[]", "name": "val", "type": "uint256[]" } ], "name": "log_array", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "int256[]", "name": "val", "type": "int256[]" } ], "name": "log_array", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "address[]", "name": "val", "type": "address[]" } ], "name": "log_array", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "bytes", "name": "", "type": "bytes" } ], "name": "log_bytes", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "bytes32", "name": "", "type": "bytes32" } ], "name": "log_bytes32", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "int256", "name": "", "type": "int256" } ], "name": "log_int", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "string", "name": "key", "type": "string" }, { "indexed": false, "internalType": "address", "name": "val", "type": "address" } ], "name": "log_named_address", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "string", "name": "key", "type": "string" }, { "indexed": false, "internalType": "uint256[]", "name": "val", "type": "uint256[]" } ], "name": "log_named_array", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "string", "name": "key", "type": "string" }, { "indexed": false, "internalType": "int256[]", "name": "val", "type": "int256[]" } ], "name": "log_named_array", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "string", "name": "key", "type": "string" }, { "indexed": false, "internalType": "address[]", "name": "val", "type": "address[]" } ], "name": "log_named_array", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "string", "name": "key", "type": "string" }, { "indexed": false, "internalType": "bytes", "name": "val", "type": "bytes" } ], "name": "log_named_bytes", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "string", "name": "key", "type": "string" }, { "indexed": false, "internalType": "bytes32", "name": "val", "type": "bytes32" } ], "name": "log_named_bytes32", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "string", "name": "key", "type": "string" }, { "indexed": false, "internalType": "int256", "name": "val", "type": "int256" }, { "indexed": false, "internalType": "uint256", "name": "decimals", "type": "uint256" } ], "name": "log_named_decimal_int", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "string", "name": "key", "type": "string" }, { "indexed": false, "internalType": "uint256", "name": "val", "type": "uint256" }, { "indexed": false, "internalType": "uint256", "name": "decimals", "type": "uint256" } ], "name": "log_named_decimal_uint", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "string", "name": "key", "type": "string" }, { "indexed": false, "internalType": "int256", "name": "val", "type": "int256" } ], "name": "log_named_int", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "string", "name": "key", "type": "string" }, { "indexed": false, "internalType": "string", "name": "val", "type": "string" } ], "name": "log_named_string", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "string", "name": "key", "type": "string" }, { "indexed": false, "internalType": "uint256", "name": "val", "type": "uint256" } ], "name": "log_named_uint", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "string", "name": "", "type": "string" } ], "name": "log_string", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "uint256", "name": "", "type": "uint256" } ], "name": "log_uint", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "bytes", "name": "", "type": "bytes" } ], "name": "logs", "type": "event" }, { "inputs": [], "name": "IS_TEST", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "deployer", "outputs": [ { "internalType": "address", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "evidence", "outputs": [ { "internalType": "bytes", "name": "", "type": "bytes" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "excludeArtifacts", "outputs": [ { "internalType": "string[]", "name": "excludedArtifacts_", "type": "string[]" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "excludeContracts", "outputs": [ { "internalType": "address[]", "name": "excludedContracts_", "type": "address[]" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "excludeSelectors", "outputs": [ { "components": [ { "internalType": "address", "name": "addr", "type": "address" }, { "internalType": "bytes4[]", "name": "selectors", "type": "bytes4[]" } ], "internalType": "struct StdInvariant.FuzzSelector[]", "name": "excludedSelectors_", "type": "tuple[]" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "excludeSenders", "outputs": [ { "internalType": "address[]", "name": "excludedSenders_", "type": "address[]" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "failed", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "guarded", "outputs": [ { "internalType": "address", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "notOwner", "outputs": [ { "internalType": "address", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "setUp", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "subject", "outputs": [ { "internalType": "address", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "targetArtifactSelectors", "outputs": [ { "components": [ { "internalType": "string", "name": "artifact", "type": "string" }, { "internalType": "bytes4[]", "name": "selectors", "type": "bytes4[]" } ], "internalType": "struct StdInvariant.FuzzArtifactSelector[]", "name": "targetedArtifactSelectors_", "type": "tuple[]" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "targetArtifacts", "outputs": [ { "internalType": "string[]", "name": "targetedArtifacts_", "type": "string[]" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "targetContracts", "outputs": [ { "internalType": "address[]", "name": "targetedContracts_", "type": "address[]" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "targetInterfaces", "outputs": [ { "components": [ { "internalType": "address", "name": "addr", "type": "address" }, { "internalType": "string[]", "name": "artifacts", "type": "string[]" } ], "internalType": "struct StdInvariant.FuzzInterface[]", "name": "targetedInterfaces_", "type": "tuple[]" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "targetSelectors", "outputs": [ { "components": [ { "internalType": "address", "name": "addr", "type": "address" }, { "internalType": "bytes4[]", "name": "selectors", "type": "bytes4[]" } ], "internalType": "struct StdInvariant.FuzzSelector[]", "name": "targetedSelectors_", "type": "tuple[]" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "targetSenders", "outputs": [ { "internalType": "address[]", "name": "targetedSenders_", "type": "address[]" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "test_checkMain_whenCallerHasNoTokens_returnsFalse", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_checkMain_whenCallerHasTokens_succeeds", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_checkPost_whenCallerBalanceGreaterThanZero_returnsFalse", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_checkPost_whenValid_succeeds", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_checkPre_whenCallerNotOwner_returnsFalse", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_checkPre_whenTokenDoesNotExist_reverts", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_checkPre_whenValid_succeeds", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_checker_getAppendedBytes", "outputs": [], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "test_checker_whenAlreadyInitialized_reverts", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_factory_deployAndInitialize", "outputs": [], "stateMutability": "view", "type": "function" } ], "bytecode": "0x60806040819052600c8054600160ff199182168117909255601f8054909116821790556001625e79b760e01b0319909152608452737109709ecfa91a80626ff3989d68f67f5b1dd12d63ffa1864960a4602060405180830381865afa15801561006c573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061009091906102b0565b602580546001600160a01b0319166001600160a01b03929092169190911790556040516001625e79b760e01b0319815260026004820152737109709ecfa91a80626ff3989d68f67f5b1dd12d9063ffa1864990602401602060405180830381865afa158015610103573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061012791906102b0565b602680546001600160a01b0319166001600160a01b03929092169190911790556040516001625e79b760e01b0319815260036004820152737109709ecfa91a80626ff3989d68f67f5b1dd12d9063ffa1864990602401602060405180830381865afa15801561019a573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906101be91906102b0565b602780546001600160a01b0319166001600160a01b03929092169190911790556040516001625e79b760e01b03198152600480820152737109709ecfa91a80626ff3989d68f67f5b1dd12d9063ffa1864990602401602060405180830381865afa158015610230573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061025491906102b0565b602880546001600160a01b0319166001600160a01b03929092169190911790556040805160006020820152016040516020818303038152906040526029908161029d919061037f565b503480156102aa57600080fd5b5061043d565b6000602082840312156102c257600080fd5b81516001600160a01b03811681146102d957600080fd5b9392505050565b634e487b7160e01b600052604160045260246000fd5b600181811c9082168061030a57607f821691505b60208210810361032a57634e487b7160e01b600052602260045260246000fd5b50919050565b601f82111561037a57806000526020600020601f840160051c810160208510156103575750805b601f840160051c820191505b818110156103775760008155600101610363565b50505b505050565b81516001600160401b03811115610398576103986102e0565b6103ac816103a684546102f6565b84610330565b6020601f8211600181146103e057600083156103c85750848201515b600019600385901b1c1916600184901b178455610377565b600084815260208120601f198516915b8281101561041057878501518255602094850194600190920191016103f0565b508482101561042e5786840151600019600387901b60f8161c191681555b50505050600190811b01905550565b6148708061044c6000396000f3fe608060405234801561001057600080fd5b50600436106101c45760003560e01c806372f7a030116100f9578063ba414fa611610097578063e20c9f7111610071578063e20c9f7114610332578063eb5579d61461033a578063f69861a914610342578063fa7626d41461034a57600080fd5b8063ba414fa6146102ff578063c760612d14610317578063d5f394881461031f57600080fd5b8063916a17c6116100d3578063916a17c6146102c5578063a77e0987146102da578063b0464fdc146102ef578063b5508aa9146102f757600080fd5b806372f7a0301461029557806385226c81146102a85780638e3822d6146102bd57600080fd5b80633f7286f41161016657806366d9a9a01161014057806366d9a9a014610268578063671b21501461027d578063694bce44146102855780636a18430c1461028d57600080fd5b80633f7286f414610250578063555335521461025857806362f210f51461026057600080fd5b80631ed7831c116101a25780631ed7831c1461020b578063251c9d63146102205780632ade3880146102335780633e5e3c231461024857600080fd5b80630a59a98c146101c95780630a9254e4146101f95780631879c20a14610203575b600080fd5b6027546101dc906001600160a01b031681565b6040516001600160a01b0390911681526020015b60405180910390f35b610201610357565b005b6102016108c2565b6102136109b4565b6040516101f09190611d8c565b6028546101dc906001600160a01b031681565b61023b610a16565b6040516101f09190611e28565b610213610b58565b610213610bb8565b610201610c18565b610201610dbe565b610270610eca565b6040516101f09190611f3a565b610201611037565b61020161110e565b6102016112dd565b6026546101dc906001600160a01b031681565b6102b06113e4565b6040516101f09190611fba565b6102016114b4565b6102cd61160d565b6040516101f09190612013565b6102e26116f3565b6040516101f0919061208c565b6102cd611781565b6102b0611867565b610307611937565b60405190151581526020016101f0565b6102016119d5565b6025546101dc906001600160a01b031681565b610213611ae1565b610201611b41565b610201611bb7565b601f546103079060ff1681565b6025546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206147fb833981519152906306447d5690602401600060405180830381600087803b1580156103aa57600080fd5b505af11580156103be573d6000803e3d6000fd5b505050506040516103ce90611d65565b604051809103906000f0801580156103ea573d6000803e3d6000fd5b50601f60016101000a8154816001600160a01b0302191690836001600160a01b0316021790555060405161041d90611d65565b604051809103906000f080158015610439573d6000803e3d6000fd5b50602080546001600160a01b0319166001600160a01b039290921691909117905560405161046690611d72565b604051809103906000f080158015610482573d6000803e3d6000fd5b50602380546001600160a01b0319166001600160a01b03929092169190911790556040516104af90611d7f565b604051809103906000f0801580156104cb573d6000803e3d6000fd5b50602460006101000a8154816001600160a01b0302191690836001600160a01b0316021790555060008051602061481b83398151915260001c6001600160a01b03166341af2f526040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561053e57600080fd5b505af1158015610552573d6000803e3d6000fd5b5050602354601f54604051634c96a38960e01b81526001600160a01b036101009092048216600482015291169250634c96a3899150602401600060405180830381600087803b1580156105a457600080fd5b505af11580156105b8573d6000803e3d6000fd5b50505050600060008051602061481b83398151915260001c6001600160a01b031663191553a46040518163ffffffff1660e01b81526004016000604051808303816000875af115801561060f573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f1916820160405261063791908101906121c2565b905060008160008151811061064e5761064e612353565b60200260200101516000015160018151811061066c5761066c612353565b6020908102919091010151602180546001600160a01b0319166001600160a01b038316179055604080516320d797a960e11b815290519192506000805160206147fb833981519152916341af2f529160048082019260009290919082900301818387803b1580156106dc57600080fd5b505af11580156106f0573d6000803e3d6000fd5b505060248054601f54602054602154604051635bbaa00160e11b81526001600160a01b03610100909404841660048201529183169482019490945292811660448401526001606484015260006084840152600a60a484015216925063b7754002915060c401600060405180830381600087803b15801561076f57600080fd5b505af1158015610783573d6000803e3d6000fd5b5050505060008051602061481b83398151915260001c6001600160a01b031663191553a46040518163ffffffff1660e01b81526004016000604051808303816000875af11580156107d8573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f1916820160405261080091908101906121c2565b915060008260008151811061081757610817612353565b60200260200101516000015160018151811061083557610835612353565b6020908102919091010151602280546001600160a01b0319166001600160a01b038316179055604080516390c5013b60e01b815290519192506000805160206147fb833981519152916390c5013b9160048082019260009290919082900301818387803b1580156108a557600080fd5b505af11580156108b9573d6000803e3d6000fd5b50505050505050565b6040805160048082526024820183526020820180516001600160e01b031662dc149f60e41b179052915163f28dceb360e01b81526000805160206147fb8339815191529263f28dceb3926109189290910161208c565b600060405180830381600087803b15801561093257600080fd5b505af1158015610946573d6000803e3d6000fd5b50505050602260009054906101000a90046001600160a01b03166001600160a01b0316638129fc1c6040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561099a57600080fd5b505af11580156109ae573d6000803e3d6000fd5b50505050565b60606016805480602002602001604051908101604052809291908181526020018280548015610a0c57602002820191906000526020600020905b81546001600160a01b031681526001909101906020018083116109ee575b5050505050905090565b6060601e805480602002602001604051908101604052809291908181526020016000905b82821015610b4f57600084815260208082206040805180820182526002870290920180546001600160a01b03168352600181018054835181870281018701909452808452939591948681019491929084015b82821015610b38578382906000526020600020018054610aab90612369565b80601f0160208091040260200160405190810160405280929190818152602001828054610ad790612369565b8015610b245780601f10610af957610100808354040283529160200191610b24565b820191906000526020600020905b815481529060010190602001808311610b0757829003601f168201915b505050505081526020019060010190610a8c565b505050508152505081526020019060010190610a3a565b50505050905090565b60606018805480602002602001604051908101604052809291908181526020018280548015610a0c576020028201919060005260206000209081546001600160a01b031681526001909101906020018083116109ee575050505050905090565b60606017805480602002602001604051908101604052809291908181526020018280548015610a0c576020028201919060005260206000209081546001600160a01b031681526001909101906020018083116109ee575050505050905090565b6026546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206147fb833981519152906306447d5690602401600060405180830381600087803b158015610c6b57600080fd5b505af1158015610c7f573d6000803e3d6000fd5b5050601f546027546040516335313c2160e11b81526001600160a01b039182166004820152610100909204169250636a6278429150602401600060405180830381600087803b158015610cd157600080fd5b505af1158015610ce5573d6000803e3d6000fd5b50506022546028546040516349ccc06f60e11b81526001600160a01b03928316945063939980de9350610d2492909116906029906000906004016123c5565b602060405180830381865afa158015610d41573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d65919061248a565b15610d7257610d726124ac565b60008051602061481b83398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561099a57600080fd5b6026546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206147fb833981519152906306447d5690602401600060405180830381600087803b158015610e1157600080fd5b505af1158015610e25573d6000803e3d6000fd5b5050601f546027546040516335313c2160e11b81526001600160a01b039182166004820152610100909204169250636a6278429150602401600060405180830381600087803b158015610e7757600080fd5b505af1158015610e8b573d6000803e3d6000fd5b50506022546028546040516349ccc06f60e11b81526001600160a01b03928316945063939980de9350610d2492909116906029906001906004016123c5565b6060601b805480602002602001604051908101604052809291908181526020016000905b82821015610b4f5783829060005260206000209060020201604051806040016040529081600082018054610f2190612369565b80601f0160208091040260200160405190810160405280929190818152602001828054610f4d90612369565b8015610f9a5780601f10610f6f57610100808354040283529160200191610f9a565b820191906000526020600020905b815481529060010190602001808311610f7d57829003601f168201915b505050505081526020016001820180548060200260200160405190810160405280929190818152602001828054801561101f57602002820191906000526020600020906000905b82829054906101000a900460e01b6001600160e01b03191681526020019060040190602082600301049283019260010382029150808411610fe15790505b50505050508152505081526020019060010190610eee565b6022546040805163b41a4b1960e01b8152905161110c926001600160a01b03169163b41a4b199160048083019260009291908290030181865afa158015611082573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f191682016040526110aa91908101906124c2565b601f5460208054602154604080516101009095046001600160a01b03908116948601949094529183169184019190915216606082015260016080820152600060a0820152600a60c082015260e001604051602081830303815290604052611cc3565b565b6026546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206147fb833981519152906306447d5690602401600060405180830381600087803b15801561116157600080fd5b505af1158015611175573d6000803e3d6000fd5b505060408051600060248083019190915282518083039091018152604490910182526020810180516001600160e01b0316637e27328960e01b179052905163f28dceb360e01b81526000805160206147fb833981519152935063f28dceb392506111e2919060040161208c565b600060405180830381600087803b1580156111fc57600080fd5b505af1158015611210573d6000803e3d6000fd5b50506022546027546040516349ccc06f60e11b81526001600160a01b03928316945063939980de935061124f92909116906029906000906004016123c5565b602060405180830381865afa15801561126c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611290919061248a565b5060008051602061481b83398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561099a57600080fd5b6026546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206147fb833981519152906306447d5690602401600060405180830381600087803b15801561133057600080fd5b505af1158015611344573d6000803e3d6000fd5b50506020546027546040516335313c2160e11b81526001600160a01b03918216600482015291169250636a6278429150602401600060405180830381600087803b15801561139157600080fd5b505af11580156113a5573d6000803e3d6000fd5b50506022546027546040516349ccc06f60e11b81526001600160a01b03928316945063939980de9350610d2492909116906029906002906004016123c5565b6060601a805480602002602001604051908101604052809291908181526020016000905b82821015610b4f57838290600052602060002001805461142790612369565b80601f016020809104026020016040519081016040528092919081815260200182805461145390612369565b80156114a05780601f10611475576101008083540402835291602001916114a0565b820191906000526020600020905b81548152906001019060200180831161148357829003601f168201915b505050505081526020019060010190611408565b6026546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206147fb833981519152906306447d5690602401600060405180830381600087803b15801561150757600080fd5b505af115801561151b573d6000803e3d6000fd5b5050601f546027546040516335313c2160e11b81526001600160a01b039182166004820152610100909204169250636a6278429150602401600060405180830381600087803b15801561156d57600080fd5b505af1158015611581573d6000803e3d6000fd5b50506022546027546040516349ccc06f60e11b81526001600160a01b03928316945063939980de93506115c092909116906029906000906004016123c5565b602060405180830381865afa1580156115dd573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611601919061248a565b610d7257610d726124ac565b6060601d805480602002602001604051908101604052809291908181526020016000905b82821015610b4f5760008481526020908190206040805180820182526002860290920180546001600160a01b031683526001810180548351818702810187019094528084529394919385830193928301828280156116db57602002820191906000526020600020906000905b82829054906101000a900460e01b6001600160e01b0319168152602001906004019060208260030104928301926001038202915080841161169d5790505b50505050508152505081526020019060010190611631565b6029805461170090612369565b80601f016020809104026020016040519081016040528092919081815260200182805461172c90612369565b80156117795780601f1061174e57610100808354040283529160200191611779565b820191906000526020600020905b81548152906001019060200180831161175c57829003601f168201915b505050505081565b6060601c805480602002602001604051908101604052809291908181526020016000905b82821015610b4f5760008481526020908190206040805180820182526002860290920180546001600160a01b0316835260018101805483518187028101870190945280845293949193858301939283018282801561184f57602002820191906000526020600020906000905b82829054906101000a900460e01b6001600160e01b031916815260200190600401906020826003010492830192600103820291508084116118115790505b505050505081525050815260200190600101906117a5565b60606019805480602002602001604051908101604052809291908181526020016000905b82821015610b4f5783829060005260206000200180546118aa90612369565b80601f01602080910402602001604051908101604052809291908181526020018280546118d690612369565b80156119235780601f106118f857610100808354040283529160200191611923565b820191906000526020600020905b81548152906001019060200180831161190657829003601f168201915b50505050508152602001906001019061188b565b60085460009060ff161561194f575060085460ff1690565b604051630667f9d760e41b81526000805160206147fb833981519152600482018190526519985a5b195960d21b602483015260009163667f9d7090604401602060405180830381865afa1580156119aa573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906119ce91906124f7565b1415905090565b6026546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206147fb833981519152906306447d5690602401600060405180830381600087803b158015611a2857600080fd5b505af1158015611a3c573d6000803e3d6000fd5b5050601f546027546040516335313c2160e11b81526001600160a01b039182166004820152610100909204169250636a6278429150602401600060405180830381600087803b158015611a8e57600080fd5b505af1158015611aa2573d6000803e3d6000fd5b50506022546027546040516349ccc06f60e11b81526001600160a01b03928316945063939980de93506115c092909116906029906001906004016123c5565b60606015805480602002602001604051908101604052809291908181526020018280548015610a0c576020028201919060005260206000209081546001600160a01b031681526001909101906020018083116109ee575050505050905090565b60225460408051630ac77c9f60e11b8152905161110c926001600160a01b03169163158ef93e9160048083019260209291908290030181865afa158015611b8c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611bb0919061248a565b6001611d2a565b6026546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206147fb833981519152906306447d5690602401600060405180830381600087803b158015611c0a57600080fd5b505af1158015611c1e573d6000803e3d6000fd5b5050601f546027546040516335313c2160e11b81526001600160a01b039182166004820152610100909204169250636a6278429150602401600060405180830381600087803b158015611c7057600080fd5b505af1158015611c84573d6000803e3d6000fd5b50506022546027546040516349ccc06f60e11b81526001600160a01b03928316945063939980de93506115c092909116906029906002906004016123c5565b604051639762463160e01b81526000805160206147fb83398151915290639762463190611cf69085908590600401612510565b60006040518083038186803b158015611d0e57600080fd5b505afa158015611d22573d6000803e3d6000fd5b505050505050565b60405163f7fe347760e01b8152821515600482015281151560248201526000805160206147fb8339815191529063f7fe347790604401611cf6565b6111c48061253f83390190565b6106cc8061370383390190565b610a2c80613dcf83390190565b602080825282518282018190526000918401906040840190835b81811015611dcd5783516001600160a01b0316835260209384019390920191600101611da6565b509095945050505050565b60005b83811015611df3578181015183820152602001611ddb565b50506000910152565b60008151808452611e14816020860160208601611dd8565b601f01601f19169290920160200192915050565b6000602082016020835280845180835260408501915060408160051b86010192506020860160005b82811015611ee857603f19878603018452815180516001600160a01b03168652602090810151604082880181905281519088018190529101906060600582901b88018101919088019060005b81811015611ece57605f198a8503018352611eb8848651611dfc565b6020958601959094509290920191600101611e9c565b509197505050602094850194929092019150600101611e50565b50929695505050505050565b600081518084526020840193506020830160005b82811015611f305781516001600160e01b031916865260209586019590910190600101611f08565b5093949350505050565b6000602082016020835280845180835260408501915060408160051b86010192506020860160005b82811015611ee857603f198786030184528151805160408752611f886040880182611dfc565b9050602082015191508681036020880152611fa38183611ef4565b965050506020938401939190910190600101611f62565b6000602082016020835280845180835260408501915060408160051b86010192506020860160005b82811015611ee857603f19878603018452611ffe858351611dfc565b94506020938401939190910190600101611fe2565b6000602082016020835280845180835260408501915060408160051b86010192506020860160005b82811015611ee857868503603f19018452815180516001600160a01b0316865260209081015160409187018290529061207690870182611ef4565b955050602093840193919091019060010161203b565b60208152600061209f6020830184611dfc565b9392505050565b634e487b7160e01b600052604160045260246000fd5b6040516060810167ffffffffffffffff811182821017156120df576120df6120a6565b60405290565b604051601f8201601f1916810167ffffffffffffffff8111828210171561210e5761210e6120a6565b604052919050565b600067ffffffffffffffff821115612130576121306120a6565b5060051b60200190565b600082601f83011261214b57600080fd5b815167ffffffffffffffff811115612165576121656120a6565b612178601f8201601f19166020016120e5565b81815284602083860101111561218d57600080fd5b61219e826020830160208701611dd8565b949350505050565b80516001600160a01b03811681146121bd57600080fd5b919050565b6000602082840312156121d457600080fd5b815167ffffffffffffffff8111156121eb57600080fd5b8201601f810184136121fc57600080fd5b805161220f61220a82612116565b6120e5565b8082825260208201915060208360051b85010192508683111561223157600080fd5b602084015b8381101561234857805167ffffffffffffffff81111561225557600080fd5b85016060818a03601f1901121561226b57600080fd5b6122736120bc565b602082015167ffffffffffffffff81111561228d57600080fd5b82016020810190603f018b136122a257600080fd5b80516122b061220a82612116565b8082825260208201915060208360051b85010192508d8311156122d257600080fd5b6020840193505b828410156122f45783518252602093840193909101906122d9565b8452505050604082015167ffffffffffffffff81111561231357600080fd5b6123228b60208386010161213a565b602083015250612334606083016121a6565b604082015284525060209283019201612236565b509695505050505050565b634e487b7160e01b600052603260045260246000fd5b600181811c9082168061237d57607f821691505b60208210810361239d57634e487b7160e01b600052602260045260246000fd5b50919050565b600381106123c157634e487b7160e01b600052602160045260246000fd5b9052565b6001600160a01b03841681526060602082015282546000908190600181811c908216806123f357607f821691505b60208210810361241157634e487b7160e01b84526022600452602484fd5b6060860182905260808601818015612430576001811461244657612474565b60ff198516825283151560051b82019550612474565b60008a81526020902060005b8581101561246e57815484820152600190910190602001612452565b83019650505b50505050508091505061219e60408301846123a3565b60006020828403121561249c57600080fd5b8151801515811461209f57600080fd5b634e487b7160e01b600052600160045260246000fd5b6000602082840312156124d457600080fd5b815167ffffffffffffffff8111156124eb57600080fd5b61219e8482850161213a565b60006020828403121561250957600080fd5b5051919050565b6040815260006125236040830185611dfc565b82810360208401526125358185611dfc565b9594505050505056fe608060405234801561001057600080fd5b5060408051808201825260038082526213919560ea1b602080840182905284518086019095529184529083015290600061004a83826100fe565b50600161005782826100fe565b5050506101bc565b634e487b7160e01b600052604160045260246000fd5b600181811c9082168061008957607f821691505b6020821081036100a957634e487b7160e01b600052602260045260246000fd5b50919050565b601f8211156100f957806000526020600020601f840160051c810160208510156100d65750805b601f840160051c820191505b818110156100f657600081556001016100e2565b50505b505050565b81516001600160401b038111156101175761011761005f565b61012b816101258454610075565b846100af565b6020601f82116001811461015f57600083156101475750848201515b600019600385901b1c1916600184901b1784556100f6565b600084815260208120601f198516915b8281101561018f578785015182556020948501946001909201910161016f565b50848210156101ad5786840151600019600387901b60f8161c191681555b50505050600190811b01905550565b610ff9806101cb6000396000f3fe608060405234801561001057600080fd5b50600436106100ea5760003560e01c80636a6278421161008c578063a22cb46511610066578063a22cb465146101e1578063b88d4fde146101f4578063c87b56dd14610207578063e985e9c51461021a57600080fd5b80636a627842146101a557806370a08231146101b857806395d89b41146101d957600080fd5b8063095ea7b3116100c8578063095ea7b31461015757806323b872dd1461016c57806342842e0e1461017f5780636352211e1461019257600080fd5b806301ffc9a7146100ef57806306fdde0314610117578063081812fc1461012c575b600080fd5b6101026100fd366004610c39565b61022d565b60405190151581526020015b60405180910390f35b61011f61027f565b60405161010e9190610ca6565b61013f61013a366004610cb9565b610311565b6040516001600160a01b03909116815260200161010e565b61016a610165366004610cee565b61033a565b005b61016a61017a366004610d18565b610349565b61016a61018d366004610d18565b6103d9565b61013f6101a0366004610cb9565b6103f9565b61016a6101b3366004610d55565b610404565b6101cb6101c6366004610d55565b610428565b60405190815260200161010e565b61011f610470565b61016a6101ef366004610d70565b61047f565b61016a610202366004610dc2565b61048a565b61011f610215366004610cb9565b6104a2565b610102610228366004610ea6565b610517565b60006001600160e01b031982166380ac58cd60e01b148061025e57506001600160e01b03198216635b5e139f60e01b145b8061027957506301ffc9a760e01b6001600160e01b03198316145b92915050565b60606000805461028e90610ed9565b80601f01602080910402602001604051908101604052809291908181526020018280546102ba90610ed9565b80156103075780601f106102dc57610100808354040283529160200191610307565b820191906000526020600020905b8154815290600101906020018083116102ea57829003601f168201915b5050505050905090565b600061031c82610545565b506000828152600460205260409020546001600160a01b0316610279565b61034582823361057e565b5050565b6001600160a01b03821661037857604051633250574960e11b8152600060048201526024015b60405180910390fd5b600061038583833361058b565b9050836001600160a01b0316816001600160a01b0316146103d3576040516364283d7b60e01b81526001600160a01b038086166004830152602482018490528216604482015260640161036f565b50505050565b6103f48383836040518060200160405280600081525061048a565b505050565b600061027982610545565b61041081600654610684565b6006805490600061042083610f13565b919050555050565b60006001600160a01b038216610454576040516322718ad960e21b81526000600482015260240161036f565b506001600160a01b031660009081526003602052604090205490565b60606001805461028e90610ed9565b61034533838361069e565b610495848484610349565b6103d3338585858561073d565b60606104ad82610545565b5060006104c560408051602081019091526000815290565b905060008151116104e55760405180602001604052806000815250610510565b806104ef84610868565b604051602001610500929190610f3a565b6040516020818303038152906040525b9392505050565b6001600160a01b03918216600090815260056020908152604080832093909416825291909152205460ff1690565b6000818152600260205260408120546001600160a01b03168061027957604051637e27328960e01b81526004810184905260240161036f565b6103f483838360016108fb565b6000828152600260205260408120546001600160a01b03908116908316156105b8576105b8818486610a01565b6001600160a01b038116156105f6576105d56000856000806108fb565b6001600160a01b038116600090815260036020526040902080546000190190555b6001600160a01b03851615610625576001600160a01b0385166000908152600360205260409020805460010190555b60008481526002602052604080822080546001600160a01b0319166001600160a01b0389811691821790925591518793918516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91a4949350505050565b610345828260405180602001604052806000815250610a65565b6001600160a01b0382166106d057604051630b61174360e31b81526001600160a01b038316600482015260240161036f565b6001600160a01b03838116600081815260056020908152604080832094871680845294825291829020805460ff191686151590811790915591519182527f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31910160405180910390a3505050565b6001600160a01b0383163b1561086157604051630a85bd0160e11b81526001600160a01b0384169063150b7a029061077f908890889087908790600401610f69565b6020604051808303816000875af19250505080156107ba575060408051601f3d908101601f191682019092526107b791810190610fa6565b60015b610823573d8080156107e8576040519150601f19603f3d011682016040523d82523d6000602084013e6107ed565b606091505b50805160000361081b57604051633250574960e11b81526001600160a01b038516600482015260240161036f565b805181602001fd5b6001600160e01b03198116630a85bd0160e11b1461085f57604051633250574960e11b81526001600160a01b038516600482015260240161036f565b505b5050505050565b6060600061087583610a7d565b600101905060008167ffffffffffffffff81111561089557610895610dac565b6040519080825280601f01601f1916602001820160405280156108bf576020820181803683370190505b5090508181016020015b600019016f181899199a1a9b1b9c1cb0b131b232b360811b600a86061a8153600a85049450846108c957509392505050565b808061090f57506001600160a01b03821615155b156109d157600061091f84610545565b90506001600160a01b0383161580159061094b5750826001600160a01b0316816001600160a01b031614155b801561095e575061095c8184610517565b155b156109875760405163a9fbf51f60e01b81526001600160a01b038416600482015260240161036f565b81156109cf5783856001600160a01b0316826001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45b505b5050600090815260046020526040902080546001600160a01b0319166001600160a01b0392909216919091179055565b610a0c838383610b55565b6103f4576001600160a01b038316610a3a57604051637e27328960e01b81526004810182905260240161036f565b60405163177e802f60e01b81526001600160a01b03831660048201526024810182905260440161036f565b610a6f8383610bbb565b6103f433600085858561073d565b60008072184f03e93ff9f4daa797ed6e38ed64bf6a1f0160401b8310610abc5772184f03e93ff9f4daa797ed6e38ed64bf6a1f0160401b830492506040015b6d04ee2d6d415b85acef81000000008310610ae8576d04ee2d6d415b85acef8100000000830492506020015b662386f26fc100008310610b0657662386f26fc10000830492506010015b6305f5e1008310610b1e576305f5e100830492506008015b6127108310610b3257612710830492506004015b60648310610b44576064830492506002015b600a83106102795760010192915050565b60006001600160a01b03831615801590610bb35750826001600160a01b0316846001600160a01b03161480610b8f5750610b8f8484610517565b80610bb357506000828152600460205260409020546001600160a01b038481169116145b949350505050565b6001600160a01b038216610be557604051633250574960e11b81526000600482015260240161036f565b6000610bf38383600061058b565b90506001600160a01b038116156103f4576040516339e3563760e11b81526000600482015260240161036f565b6001600160e01b031981168114610c3657600080fd5b50565b600060208284031215610c4b57600080fd5b813561051081610c20565b60005b83811015610c71578181015183820152602001610c59565b50506000910152565b60008151808452610c92816020860160208601610c56565b601f01601f19169290920160200192915050565b6020815260006105106020830184610c7a565b600060208284031215610ccb57600080fd5b5035919050565b80356001600160a01b0381168114610ce957600080fd5b919050565b60008060408385031215610d0157600080fd5b610d0a83610cd2565b946020939093013593505050565b600080600060608486031215610d2d57600080fd5b610d3684610cd2565b9250610d4460208501610cd2565b929592945050506040919091013590565b600060208284031215610d6757600080fd5b61051082610cd2565b60008060408385031215610d8357600080fd5b610d8c83610cd2565b915060208301358015158114610da157600080fd5b809150509250929050565b634e487b7160e01b600052604160045260246000fd5b60008060008060808587031215610dd857600080fd5b610de185610cd2565b9350610def60208601610cd2565b925060408501359150606085013567ffffffffffffffff811115610e1257600080fd5b8501601f81018713610e2357600080fd5b803567ffffffffffffffff811115610e3d57610e3d610dac565b604051601f8201601f19908116603f0116810167ffffffffffffffff81118282101715610e6c57610e6c610dac565b604052818152828201602001891015610e8457600080fd5b8160208401602083013760006020838301015280935050505092959194509250565b60008060408385031215610eb957600080fd5b610ec283610cd2565b9150610ed060208401610cd2565b90509250929050565b600181811c90821680610eed57607f821691505b602082108103610f0d57634e487b7160e01b600052602260045260246000fd5b50919050565b600060018201610f3357634e487b7160e01b600052601160045260246000fd5b5060010190565b60008351610f4c818460208801610c56565b835190830190610f60818360208801610c56565b01949350505050565b6001600160a01b0385811682528416602082015260408101839052608060608201819052600090610f9c90830184610c7a565b9695505050505050565b600060208284031215610fb857600080fd5b815161051081610c2056fea2646970667358221220852f3f4e4d3f981dc57f0411c0cec76ae968bf080effedfdb57fe8b3ca18ac0f64736f6c634300081c003360a0604052348015600f57600080fd5b50604051601a906046565b604051809103906000f0801580156035573d6000803e3d6000fd5b506001600160a01b03166080526053565b6103e7806102e583390190565b608051610271610074600039600081816040015261012701526102716000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c80633a4741bd1461003b5780634c96a3891461007e575b600080fd5b6100627f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b03909116815260200160405180910390f35b61009161008c366004610212565b610093565b005b604080516001600160a01b038316602082015260009101604051602081830303815290604052905060006100c682610120565b9050806001600160a01b0316638129fc1c6040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561010357600080fd5b505af1158015610117573d6000803e3d6000fd5b50505050505050565b600061014c7f000000000000000000000000000000000000000000000000000000000000000083610188565b6040519091506001600160a01b038216907f2158cde9935cbf85d0b02e02fbc315ad0be2f3f017a603a2ebeedead21b8d60b90600090a2919050565b60006101966000848461019d565b9392505050565b600060405182518060438301826020870160045afa506e5af43d82803e903d91602b57fd5bf360238301528460148301528060881b74fe61002d3d81600a3d39f3363d3d373d3d3d363d730182526037810161ffd38210600b01830187f092505050806101965763301164256000526004601cfd5b60006020828403121561022457600080fd5b81356001600160a01b038116811461019657600080fdfea2646970667358221220edb01e51dc5c11fcf02190ba7538e56e13e9ec46a8f6a02f2d0b7eaae7d2c07264736f6c634300081c00336080604052348015600f57600080fd5b506103c88061001f6000396000f3fe608060405234801561001057600080fd5b50600436106100575760003560e01c8063158ef93e1461005c57806347ccca021461007e5780638129fc1c146100ae578063b41a4b19146100b8578063e2b24085146100cd575b600080fd5b6000546100699060ff1681565b60405190151581526020015b60405180910390f35b6000546100969061010090046001600160a01b031681565b6040516001600160a01b039091168152602001610075565b6100b66100e0565b005b6100c06100ea565b6040516100759190610268565b6100696100db3660046102ce565b6100f9565b6100e861010e565b565b60606100f4610162565b905090565b600061010684848461016d565b949350505050565b610116610207565b6000610120610162565b90506000818060200190518101906101389190610355565b600080546001600160a01b0390921661010002610100600160a81b03199092169190911790555050565b60606100f430610239565b60008061017c83850185610379565b6000546040516331a9108f60e11b8152600481018390529192506001600160a01b03878116926101009092041690636352211e90602401602060405180830381865afa1580156101d0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906101f49190610355565b6001600160a01b03161495945050505050565b60005460ff161561022a5760405162dc149f60e41b815260040160405180910390fd5b6000805460ff19166001179055565b60405164ffffffffff602c19833b0116808252602090810190602d908301843c60408101815101604052919050565b602081526000825180602084015260005b818110156102965760208186018101516040868401015201610279565b506000604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146102cb57600080fd5b50565b6000806000604084860312156102e357600080fd5b83356102ee816102b6565b9250602084013567ffffffffffffffff81111561030a57600080fd5b8401601f8101861361031b57600080fd5b803567ffffffffffffffff81111561033257600080fd5b86602082840101111561034457600080fd5b939660209190910195509293505050565b60006020828403121561036757600080fd5b8151610372816102b6565b9392505050565b60006020828403121561038b57600080fd5b503591905056fea2646970667358221220332a0aa4504af2f6c74684f7aa29c91a1e04107b45733aaa9249e1954636744364736f6c634300081c003360a0604052348015600f57600080fd5b50604051601a906046565b604051809103906000f0801580156035573d6000803e3d6000fd5b506001600160a01b03166080526053565b6106ce8061035e83390190565b6080516102ea610074600039600081816040015261014e01526102ea6000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c80633a4741bd1461003b578063b77540021461007e575b600080fd5b6100627f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b03909116815260200160405180910390f35b61009161008c366004610255565b610093565b005b