@excubiae/contracts

{ "_format": "hh-sol-artifact-1", "contractName": "BaseChecker", "sourceName": "contracts/test/examples/Base.t.sol", "abi": [ { "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_checker_getAppendedBytes", "outputs": [], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "test_checker_whenAlreadyInitialized_reverts", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_checker_whenCallerIsOwner_succeeds", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_checker_whenCallerNotOwner_returnsFalse", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_checker_whenTokenDoesNotExist_reverts", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_factory_deployAndInitialize", "outputs": [], "stateMutability": "view", "type": "function" } ], "bytecode": "0x60806040819052600c8054600160ff199182168117909255601f8054909116821790556001625e79b760e01b0319909152608452737109709ecfa91a80626ff3989d68f67f5b1dd12d63ffa1864960a4602060405180830381865afa15801561006c573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061009091906102ae565b602280546001600160a01b0319166001600160a01b03929092169190911790556040516001625e79b760e01b0319815260026004820152737109709ecfa91a80626ff3989d68f67f5b1dd12d9063ffa1864990602401602060405180830381865afa158015610103573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061012791906102ae565b602380546001600160a01b0319166001600160a01b03929092169190911790556040516001625e79b760e01b0319815260036004820152737109709ecfa91a80626ff3989d68f67f5b1dd12d9063ffa1864990602401602060405180830381865afa15801561019a573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906101be91906102ae565b602480546001600160a01b0319166001600160a01b03929092169190911781556040516001625e79b760e01b03198152600480820152737109709ecfa91a80626ff3989d68f67f5b1dd12d9163ffa186499101602060405180830381865afa15801561022e573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061025291906102ae565b602580546001600160a01b0319166001600160a01b03929092169190911790556040805160006020820152016040516020818303038152906040526026908161029b919061037d565b503480156102a857600080fd5b5061043b565b6000602082840312156102c057600080fd5b81516001600160a01b03811681146102d757600080fd5b9392505050565b634e487b7160e01b600052604160045260246000fd5b600181811c9082168061030857607f821691505b60208210810361032857634e487b7160e01b600052602260045260246000fd5b50919050565b601f82111561037857806000526020600020601f840160051c810160208510156103555750805b601f840160051c820191505b818110156103755760008155600101610361565b50505b505050565b81516001600160401b03811115610396576103966102de565b6103aa816103a484546102f4565b8461032e565b6020601f8211600181146103de57600083156103c65750848201515b600019600385901b1c1916600184901b178455610375565b600084815260208120601f198516915b8281101561040e57878501518255602094850194600190920191016103ee565b508482101561042c5786840151600019600387901b60f8161c191681555b50505050600190811b01905550565b6136d08061044a6000396000f3fe608060405234801561001057600080fd5b50600436106101585760003560e01c806385226c81116100c3578063ba414fa61161007c578063ba414fa61461027b578063c71b0d4914610293578063d5f394881461029b578063e20c9f71146102ae578063eb5579d6146102b6578063fa7626d4146102be57600080fd5b806385226c81146102245780639145838914610239578063916a17c614610241578063a77e098714610256578063b0464fdc1461026b578063b5508aa91461027357600080fd5b80633e5e3c23116101155780633e5e3c23146101dc5780633f7286f4146101e457806360c4b18c146101ec57806366d9a9a0146101f4578063671b21501461020957806372f7a0301461021157600080fd5b80630a59a98c1461015d5780630a9254e41461018d5780631879c20a146101975780631ed7831c1461019f578063251c9d63146101b45780632ade3880146101c7575b600080fd5b602454610170906001600160a01b031681565b6040516001600160a01b0390911681526020015b60405180910390f35b6101956102cb565b005b6101956105e6565b6101a76106de565b6040516101849190611662565b602554610170906001600160a01b031681565b6101cf610740565b60405161018491906116fe565b6101a7610882565b6101a76108e2565b610195610942565b6101fc610ae9565b6040516101849190611810565b610195610c56565b602354610170906001600160a01b031681565b61022c610cfb565b6040516101849190611890565b610195610dcb565b610249610fa3565b60405161018491906118e9565b61025e611089565b6040516101849190611962565b610249611117565b61022c6111fd565b6102836112cd565b6040519015158152602001610184565b610195611371565b602254610170906001600160a01b031681565b6101a76114cd565b61019561152d565b601f546102839060ff1681565b6022546040516303223eab60e11b81526001600160a01b039091166004820152737109709ecfa91a80626ff3989d68f67f5b1dd12d906306447d5690602401600060405180830381600087803b15801561032457600080fd5b505af1158015610338573d6000803e3d6000fd5b5050505060405161034890611648565b604051809103906000f080158015610364573d6000803e3d6000fd5b50601f60016101000a8154816001600160a01b0302191690836001600160a01b0316021790555060405161039790611655565b604051809103906000f0801580156103b3573d6000803e3d6000fd5b50602160006101000a8154816001600160a01b0302191690836001600160a01b0316021790555060008051602061367b83398151915260001c6001600160a01b03166341af2f526040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561042657600080fd5b505af115801561043a573d6000803e3d6000fd5b5050602154601f54604051634c96a38960e01b81526001600160a01b036101009092048216600482015291169250634c96a3899150602401600060405180830381600087803b15801561048c57600080fd5b505af11580156104a0573d6000803e3d6000fd5b50505050600060008051602061367b83398151915260001c6001600160a01b031663191553a46040518163ffffffff1660e01b81526004016000604051808303816000875af11580156104f7573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f1916820160405261051f9190810190611a98565b905060008160008151811061053657610536611c29565b60200260200101516000015160018151811061055457610554611c29565b60209081029190910181015181546001600160a01b0319166001600160a01b03821617909155604080516390c5013b60e01b81529051919250737109709ecfa91a80626ff3989d68f67f5b1dd12d916390c5013b9160048082019260009290919082900301818387803b1580156105ca57600080fd5b505af11580156105de573d6000803e3d6000fd5b505050505050565b6040805160048082526024820183526020820180516001600160e01b031662dc149f60e41b179052915163f28dceb360e01b8152737109709ecfa91a80626ff3989d68f67f5b1dd12d9263f28dceb39261064292909101611962565b600060405180830381600087803b15801561065c57600080fd5b505af1158015610670573d6000803e3d6000fd5b50505050602060009054906101000a90046001600160a01b03166001600160a01b0316638129fc1c6040518163ffffffff1660e01b8152600401600060405180830381600087803b1580156106c457600080fd5b505af11580156106d8573d6000803e3d6000fd5b50505050565b6060601680548060200260200160405190810160405280929190818152602001828054801561073657602002820191906000526020600020905b81546001600160a01b03168152600190910190602001808311610718575b5050505050905090565b6060601e805480602002602001604051908101604052809291908181526020016000905b8282101561087957600084815260208082206040805180820182526002870290920180546001600160a01b03168352600181018054835181870281018701909452808452939591948681019491929084015b828210156108625783829060005260206000200180546107d590611c3f565b80601f016020809104026020016040519081016040528092919081815260200182805461080190611c3f565b801561084e5780601f106108235761010080835404028352916020019161084e565b820191906000526020600020905b81548152906001019060200180831161083157829003601f168201915b5050505050815260200190600101906107b6565b505050508152505081526020019060010190610764565b50505050905090565b60606018805480602002602001604051908101604052809291908181526020018280548015610736576020028201919060005260206000209081546001600160a01b03168152600190910190602001808311610718575050505050905090565b60606017805480602002602001604051908101604052809291908181526020018280548015610736576020028201919060005260206000209081546001600160a01b03168152600190910190602001808311610718575050505050905090565b6023546040516303223eab60e11b81526001600160a01b039091166004820152737109709ecfa91a80626ff3989d68f67f5b1dd12d906306447d5690602401600060405180830381600087803b15801561099b57600080fd5b505af11580156109af573d6000803e3d6000fd5b5050601f54602480546040516335313c2160e11b81526001600160a01b039182166004820152610100909304169350636a627842925001600060405180830381600087803b158015610a0057600080fd5b505af1158015610a14573d6000803e3d6000fd5b505060205460245460405163e2b2408560e01b81526001600160a01b03928316945063e2b240859350610a509290911690602690600401611c79565b602060405180830381865afa158015610a6d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a919190611d36565b610a9d57610a9d611d58565b60008051602061367b83398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b1580156106c457600080fd5b6060601b805480602002602001604051908101604052809291908181526020016000905b828210156108795783829060005260206000209060020201604051806040016040529081600082018054610b4090611c3f565b80601f0160208091040260200160405190810160405280929190818152602001828054610b6c90611c3f565b8015610bb95780601f10610b8e57610100808354040283529160200191610bb9565b820191906000526020600020905b815481529060010190602001808311610b9c57829003601f168201915b5050505050815260200160018201805480602002602001604051908101604052809291908181526020018280548015610c3e57602002820191906000526020600020906000905b82829054906101000a900460e01b6001600160e01b03191681526020019060040190602082600301049283019260010382029150808411610c005790505b50505050508152505081526020019060010190610b0d565b6020546040805163b41a4b1960e01b81529051610cf9926001600160a01b03169163b41a4b199160048083019260009291908290030181865afa158015610ca1573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f19168201604052610cc99190810190611d6e565b601f54604080516101009092046001600160a01b03166020830152016040516020818303038152906040526115a2565b565b6060601a805480602002602001604051908101604052809291908181526020016000905b82821015610879578382906000526020600020018054610d3e90611c3f565b80601f0160208091040260200160405190810160405280929190818152602001828054610d6a90611c3f565b8015610db75780601f10610d8c57610100808354040283529160200191610db7565b820191906000526020600020905b815481529060010190602001808311610d9a57829003601f168201915b505050505081526020019060010190610d1f565b6023546040516303223eab60e11b81526001600160a01b039091166004820152737109709ecfa91a80626ff3989d68f67f5b1dd12d906306447d5690602401600060405180830381600087803b158015610e2457600080fd5b505af1158015610e38573d6000803e3d6000fd5b505060408051600060248083019190915282518083039091018152604490910182526020810180516001600160e01b0316637e27328960e01b179052905163f28dceb360e01b8152737109709ecfa91a80626ff3989d68f67f5b1dd12d935063f28dceb39250610eab9190600401611962565b600060405180830381600087803b158015610ec557600080fd5b505af1158015610ed9573d6000803e3d6000fd5b505060205460245460405163e2b2408560e01b81526001600160a01b03928316945063e2b240859350610f159290911690602690600401611c79565b602060405180830381865afa158015610f32573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f569190611d36565b5060008051602061367b83398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b1580156106c457600080fd5b6060601d805480602002602001604051908101604052809291908181526020016000905b828210156108795760008481526020908190206040805180820182526002860290920180546001600160a01b0316835260018101805483518187028101870190945280845293949193858301939283018282801561107157602002820191906000526020600020906000905b82829054906101000a900460e01b6001600160e01b031916815260200190600401906020826003010492830192600103820291508084116110335790505b50505050508152505081526020019060010190610fc7565b6026805461109690611c3f565b80601f01602080910402602001604051908101604052809291908181526020018280546110c290611c3f565b801561110f5780601f106110e45761010080835404028352916020019161110f565b820191906000526020600020905b8154815290600101906020018083116110f257829003601f168201915b505050505081565b6060601c805480602002602001604051908101604052809291908181526020016000905b828210156108795760008481526020908190206040805180820182526002860290920180546001600160a01b031683526001810180548351818702810187019094528084529394919385830193928301828280156111e557602002820191906000526020600020906000905b82829054906101000a900460e01b6001600160e01b031916815260200190600401906020826003010492830192600103820291508084116111a75790505b5050505050815250508152602001906001019061113b565b60606019805480602002602001604051908101604052809291908181526020016000905b8282101561087957838290600052602060002001805461124090611c3f565b80601f016020809104026020016040519081016040528092919081815260200182805461126c90611c3f565b80156112b95780601f1061128e576101008083540402835291602001916112b9565b820191906000526020600020905b81548152906001019060200180831161129c57829003601f168201915b505050505081526020019060010190611221565b60085460009060ff16156112e5575060085460ff1690565b604051630667f9d760e41b8152737109709ecfa91a80626ff3989d68f67f5b1dd12d600482018190526519985a5b195960d21b602483015260009163667f9d7090604401602060405180830381865afa158015611346573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061136a9190611da3565b1415905090565b6023546040516303223eab60e11b81526001600160a01b039091166004820152737109709ecfa91a80626ff3989d68f67f5b1dd12d906306447d5690602401600060405180830381600087803b1580156113ca57600080fd5b505af11580156113de573d6000803e3d6000fd5b5050601f54602480546040516335313c2160e11b81526001600160a01b039182166004820152610100909304169350636a627842925001600060405180830381600087803b15801561142f57600080fd5b505af1158015611443573d6000803e3d6000fd5b505060205460255460405163e2b2408560e01b81526001600160a01b03928316945063e2b24085935061147f9290911690602690600401611c79565b602060405180830381865afa15801561149c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906114c09190611d36565b15610a9d57610a9d611d58565b60606015805480602002602001604051908101604052809291908181526020018280548015610736576020028201919060005260206000209081546001600160a01b03168152600190910190602001808311610718575050505050905090565b6020805460408051630ac77c9f60e11b81529051610cf9936001600160a01b039093169263158ef93e92600480820193918290030181865afa158015611577573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061159b9190611d36565b6001611607565b604051639762463160e01b8152737109709ecfa91a80626ff3989d68f67f5b1dd12d906397624631906115db9085908590600401611dbc565b60006040518083038186803b1580156115f357600080fd5b505afa1580156105de573d6000803e3d6000fd5b60405163f7fe347760e01b815282151560048201528115156024820152737109709ecfa91a80626ff3989d68f67f5b1dd12d9063f7fe3477906044016115db565b6111c480611deb83390190565b6106cc80612faf83390190565b602080825282518282018190526000918401906040840190835b818110156116a35783516001600160a01b031683526020938401939092019160010161167c565b509095945050505050565b60005b838110156116c95781810151838201526020016116b1565b50506000910152565b600081518084526116ea8160208601602086016116ae565b601f01601f19169290920160200192915050565b6000602082016020835280845180835260408501915060408160051b86010192506020860160005b828110156117be57603f19878603018452815180516001600160a01b03168652602090810151604082880181905281519088018190529101906060600582901b88018101919088019060005b818110156117a457605f198a850301835261178e8486516116d2565b6020958601959094509290920191600101611772565b509197505050602094850194929092019150600101611726565b50929695505050505050565b600081518084526020840193506020830160005b828110156118065781516001600160e01b0319168652602095860195909101906001016117de565b5093949350505050565b6000602082016020835280845180835260408501915060408160051b86010192506020860160005b828110156117be57603f19878603018452815180516040875261185e60408801826116d2565b905060208201519150868103602088015261187981836117ca565b965050506020938401939190910190600101611838565b6000602082016020835280845180835260408501915060408160051b86010192506020860160005b828110156117be57603f198786030184526118d48583516116d2565b945060209384019391909101906001016118b8565b6000602082016020835280845180835260408501915060408160051b86010192506020860160005b828110156117be57868503603f19018452815180516001600160a01b0316865260209081015160409187018290529061194c908701826117ca565b9550506020938401939190910190600101611911565b60208152600061197560208301846116d2565b9392505050565b634e487b7160e01b600052604160045260246000fd5b6040516060810167ffffffffffffffff811182821017156119b5576119b561197c565b60405290565b604051601f8201601f1916810167ffffffffffffffff811182821017156119e4576119e461197c565b604052919050565b600067ffffffffffffffff821115611a0657611a0661197c565b5060051b60200190565b600082601f830112611a2157600080fd5b815167ffffffffffffffff811115611a3b57611a3b61197c565b611a4e601f8201601f19166020016119bb565b818152846020838601011115611a6357600080fd5b611a748260208301602087016116ae565b949350505050565b80516001600160a01b0381168114611a9357600080fd5b919050565b600060208284031215611aaa57600080fd5b815167ffffffffffffffff811115611ac157600080fd5b8201601f81018413611ad257600080fd5b8051611ae5611ae0826119ec565b6119bb565b8082825260208201915060208360051b850101925086831115611b0757600080fd5b602084015b83811015611c1e57805167ffffffffffffffff811115611b2b57600080fd5b85016060818a03601f19011215611b4157600080fd5b611b49611992565b602082015167ffffffffffffffff811115611b6357600080fd5b82016020810190603f018b13611b7857600080fd5b8051611b86611ae0826119ec565b8082825260208201915060208360051b85010192508d831115611ba857600080fd5b6020840193505b82841015611bca578351825260209384019390910190611baf565b8452505050604082015167ffffffffffffffff811115611be957600080fd5b611bf88b602083860101611a10565b602083015250611c0a60608301611a7c565b604082015284525060209283019201611b0c565b509695505050505050565b634e487b7160e01b600052603260045260246000fd5b600181811c90821680611c5357607f821691505b602082108103611c7357634e487b7160e01b600052602260045260246000fd5b50919050565b6001600160a01b03831681526040602082015281546000908190600181811c90821680611ca757607f821691505b602082108103611cc557634e487b7160e01b84526022600452602484fd5b6040860182905260608601818015611ce45760018114611cfa57611d28565b60ff198516825283151560051b82019550611d28565b60008981526020902060005b85811015611d2257815484820152600190910190602001611d06565b83019650505b509398975050505050505050565b600060208284031215611d4857600080fd5b8151801515811461197557600080fd5b634e487b7160e01b600052600160045260246000fd5b600060208284031215611d8057600080fd5b815167ffffffffffffffff811115611d9757600080fd5b611a7484828501611a10565b600060208284031215611db557600080fd5b5051919050565b604081526000611dcf60408301856116d2565b8281036020840152611de181856116d2565b9594505050505056fe608060405234801561001057600080fd5b5060408051808201825260038082526213919560ea1b602080840182905284518086019095529184529083015290600061004a83826100fe565b50600161005782826100fe565b5050506101bc565b634e487b7160e01b600052604160045260246000fd5b600181811c9082168061008957607f821691505b6020821081036100a957634e487b7160e01b600052602260045260246000fd5b50919050565b601f8211156100f957806000526020600020601f840160051c810160208510156100d65750805b601f840160051c820191505b818110156100f657600081556001016100e2565b50505b505050565b81516001600160401b038111156101175761011761005f565b61012b816101258454610075565b846100af565b6020601f82116001811461015f57600083156101475750848201515b600019600385901b1c1916600184901b1784556100f6565b600084815260208120601f198516915b8281101561018f578785015182556020948501946001909201910161016f565b50848210156101ad5786840151600019600387901b60f8161c191681555b50505050600190811b01905550565b610ff9806101cb6000396000f3fe608060405234801561001057600080fd5b50600436106100ea5760003560e01c80636a6278421161008c578063a22cb46511610066578063a22cb465146101e1578063b88d4fde146101f4578063c87b56dd14610207578063e985e9c51461021a57600080fd5b80636a627842146101a557806370a08231146101b857806395d89b41146101d957600080fd5b8063095ea7b3116100c8578063095ea7b31461015757806323b872dd1461016c57806342842e0e1461017f5780636352211e1461019257600080fd5b806301ffc9a7146100ef57806306fdde0314610117578063081812fc1461012c575b600080fd5b6101026100fd366004610c39565b61022d565b60405190151581526020015b60405180910390f35b61011f61027f565b60405161010e9190610ca6565b61013f61013a366004610cb9565b610311565b6040516001600160a01b03909116815260200161010e565b61016a610165366004610cee565b61033a565b005b61016a61017a366004610d18565b610349565b61016a61018d366004610d18565b6103d9565b61013f6101a0366004610cb9565b6103f9565b61016a6101b3366004610d55565b610404565b6101cb6101c6366004610d55565b610428565b60405190815260200161010e565b61011f610470565b61016a6101ef366004610d70565b61047f565b61016a610202366004610dc2565b61048a565b61011f610215366004610cb9565b6104a2565b610102610228366004610ea6565b610517565b60006001600160e01b031982166380ac58cd60e01b148061025e57506001600160e01b03198216635b5e139f60e01b145b8061027957506301ffc9a760e01b6001600160e01b03198316145b92915050565b60606000805461028e90610ed9565b80601f01602080910402602001604051908101604052809291908181526020018280546102ba90610ed9565b80156103075780601f106102dc57610100808354040283529160200191610307565b820191906000526020600020905b8154815290600101906020018083116102ea57829003601f168201915b5050505050905090565b600061031c82610545565b506000828152600460205260409020546001600160a01b0316610279565b61034582823361057e565b5050565b6001600160a01b03821661037857604051633250574960e11b8152600060048201526024015b60405180910390fd5b600061038583833361058b565b9050836001600160a01b0316816001600160a01b0316146103d3576040516364283d7b60e01b81526001600160a01b038086166004830152602482018490528216604482015260640161036f565b50505050565b6103f48383836040518060200160405280600081525061048a565b505050565b600061027982610545565b61041081600654610684565b6006805490600061042083610f13565b919050555050565b60006001600160a01b038216610454576040516322718ad960e21b81526000600482015260240161036f565b506001600160a01b031660009081526003602052604090205490565b60606001805461028e90610ed9565b61034533838361069e565b610495848484610349565b6103d3338585858561073d565b60606104ad82610545565b5060006104c560408051602081019091526000815290565b905060008151116104e55760405180602001604052806000815250610510565b806104ef84610868565b604051602001610500929190610f3a565b6040516020818303038152906040525b9392505050565b6001600160a01b03918216600090815260056020908152604080832093909416825291909152205460ff1690565b6000818152600260205260408120546001600160a01b03168061027957604051637e27328960e01b81526004810184905260240161036f565b6103f483838360016108fb565b6000828152600260205260408120546001600160a01b03908116908316156105b8576105b8818486610a01565b6001600160a01b038116156105f6576105d56000856000806108fb565b6001600160a01b038116600090815260036020526040902080546000190190555b6001600160a01b03851615610625576001600160a01b0385166000908152600360205260409020805460010190555b60008481526002602052604080822080546001600160a01b0319166001600160a01b0389811691821790925591518793918516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91a4949350505050565b610345828260405180602001604052806000815250610a65565b6001600160a01b0382166106d057604051630b61174360e31b81526001600160a01b038316600482015260240161036f565b6001600160a01b03838116600081815260056020908152604080832094871680845294825291829020805460ff191686151590811790915591519182527f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31910160405180910390a3505050565b6001600160a01b0383163b1561086157604051630a85bd0160e11b81526001600160a01b0384169063150b7a029061077f908890889087908790600401610f69565b6020604051808303816000875af19250505080156107ba575060408051601f3d908101601f191682019092526107b791810190610fa6565b60015b610823573d8080156107e8576040519150601f19603f3d011682016040523d82523d6000602084013e6107ed565b606091505b50805160000361081b57604051633250574960e11b81526001600160a01b038516600482015260240161036f565b805181602001fd5b6001600160e01b03198116630a85bd0160e11b1461085f57604051633250574960e11b81526001600160a01b038516600482015260240161036f565b505b5050505050565b6060600061087583610a7d565b600101905060008167ffffffffffffffff81111561089557610895610dac565b6040519080825280601f01601f1916602001820160405280156108bf576020820181803683370190505b5090508181016020015b600019016f181899199a1a9b1b9c1cb0b131b232b360811b600a86061a8153600a85049450846108c957509392505050565b808061090f57506001600160a01b03821615155b156109d157600061091f84610545565b90506001600160a01b0383161580159061094b5750826001600160a01b0316816001600160a01b031614155b801561095e575061095c8184610517565b155b156109875760405163a9fbf51f60e01b81526001600160a01b038416600482015260240161036f565b81156109cf5783856001600160a01b0316826001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45b505b5050600090815260046020526040902080546001600160a01b0319166001600160a01b0392909216919091179055565b610a0c838383610b55565b6103f4576001600160a01b038316610a3a57604051637e27328960e01b81526004810182905260240161036f565b60405163177e802f60e01b81526001600160a01b03831660048201526024810182905260440161036f565b610a6f8383610bbb565b6103f433600085858561073d565b60008072184f03e93ff9f4daa797ed6e38ed64bf6a1f0160401b8310610abc5772184f03e93ff9f4daa797ed6e38ed64bf6a1f0160401b830492506040015b6d04ee2d6d415b85acef81000000008310610ae8576d04ee2d6d415b85acef8100000000830492506020015b662386f26fc100008310610b0657662386f26fc10000830492506010015b6305f5e1008310610b1e576305f5e100830492506008015b6127108310610b3257612710830492506004015b60648310610b44576064830492506002015b600a83106102795760010192915050565b60006001600160a01b03831615801590610bb35750826001600160a01b0316846001600160a01b03161480610b8f5750610b8f8484610517565b80610bb357506000828152600460205260409020546001600160a01b038481169116145b949350505050565b6001600160a01b038216610be557604051633250574960e11b81526000600482015260240161036f565b6000610bf38383600061058b565b90506001600160a01b038116156103f4576040516339e3563760e11b81526000600482015260240161036f565b6001600160e01b031981168114610c3657600080fd5b50565b600060208284031215610c4b57600080fd5b813561051081610c20565b60005b83811015610c71578181015183820152602001610c59565b50506000910152565b60008151808452610c92816020860160208601610c56565b601f01601f19169290920160200192915050565b6020815260006105106020830184610c7a565b600060208284031215610ccb57600080fd5b5035919050565b80356001600160a01b0381168114610ce957600080fd5b919050565b60008060408385031215610d0157600080fd5b610d0a83610cd2565b946020939093013593505050565b600080600060608486031215610d2d57600080fd5b610d3684610cd2565b9250610d4460208501610cd2565b929592945050506040919091013590565b600060208284031215610d6757600080fd5b61051082610cd2565b60008060408385031215610d8357600080fd5b610d8c83610cd2565b915060208301358015158114610da157600080fd5b809150509250929050565b634e487b7160e01b600052604160045260246000fd5b60008060008060808587031215610dd857600080fd5b610de185610cd2565b9350610def60208601610cd2565b925060408501359150606085013567ffffffffffffffff811115610e1257600080fd5b8501601f81018713610e2357600080fd5b803567ffffffffffffffff811115610e3d57610e3d610dac565b604051601f8201601f19908116603f0116810167ffffffffffffffff81118282101715610e6c57610e6c610dac565b604052818152828201602001891015610e8457600080fd5b8160208401602083013760006020838301015280935050505092959194509250565b60008060408385031215610eb957600080fd5b610ec283610cd2565b9150610ed060208401610cd2565b90509250929050565b600181811c90821680610eed57607f821691505b602082108103610f0d57634e487b7160e01b600052602260045260246000fd5b50919050565b600060018201610f3357634e487b7160e01b600052601160045260246000fd5b5060010190565b60008351610f4c818460208801610c56565b835190830190610f60818360208801610c56565b01949350505050565b6001600160a01b0385811682528416602082015260408101839052608060608201819052600090610f9c90830184610c7a565b9695505050505050565b600060208284031215610fb857600080fd5b815161051081610c2056fea2646970667358221220852f3f4e4d3f981dc57f0411c0cec76ae968bf080effedfdb57fe8b3ca18ac0f64736f6c634300081c003360a0604052348015600f57600080fd5b50604051601a906046565b604051809103906000f0801580156035573d6000803e3d6000fd5b506001600160a01b03166080526053565b6103e7806102e583390190565b608051610271610074600039600081816040015261012701526102716000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c80633a4741bd1461003b5780634c96a3891461007e575b600080fd5b6100627f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b03909116815260200160405180910390f35b61009161008c366004610212565b610093565b005b604080516001600160a01b038316602082015260009101604051602081830303815290604052905060006100c682610120565b9050806001600160a01b0316638129fc1c6040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561010357600080fd5b505af1158015610117573d6000803e3d6000fd5b50505050505050565b600061014c7f000000000000000000000000000000000000000000000000000000000000000083610188565b6040519091506001600160a01b038216907f2158cde9935cbf85d0b02e02fbc315ad0be2f3f017a603a2ebeedead21b8d60b90600090a2919050565b60006101966000848461019d565b9392505050565b600060405182518060438301826020870160045afa506e5af43d82803e903d91602b57fd5bf360238301528460148301528060881b74fe61002d3d81600a3d39f3363d3d373d3d3d363d730182526037810161ffd38210600b01830187f092505050806101965763301164256000526004601cfd5b60006020828403121561022457600080fd5b81356001600160a01b038116811461019657600080fdfea2646970667358221220edb01e51dc5c11fcf02190ba7538e56e13e9ec46a8f6a02f2d0b7eaae7d2c07264736f6c634300081c00336080604052348015600f57600080fd5b506103c88061001f6000396000f3fe608060405234801561001057600080fd5b50600436106100575760003560e01c8063158ef93e1461005c57806347ccca021461007e5780638129fc1c146100ae578063b41a4b19146100b8578063e2b24085146100cd575b600080fd5b6000546100699060ff1681565b60405190151581526020015b60405180910390f35b6000546100969061010090046001600160a01b031681565b6040516001600160a01b039091168152602001610075565b6100b66100e0565b005b6100c06100ea565b6040516100759190610268565b6100696100db3660046102ce565b6100f9565b6100e861010e565b565b60606100f4610162565b905090565b600061010684848461016d565b949350505050565b610116610207565b6000610120610162565b90506000818060200190518101906101389190610355565b600080546001600160a01b0390921661010002610100600160a81b03199092169190911790555050565b60606100f430610239565b60008061017c83850185610379565b6000546040516331a9108f60e11b8152600481018390529192506001600160a01b03878116926101009092041690636352211e90602401602060405180830381865afa1580156101d0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906101f49190610355565b6001600160a01b03161495945050505050565b60005460ff161561022a5760405162dc149f60e41b815260040160405180910390fd5b6000805460ff19166001179055565b60405164ffffffffff602c19833b0116808252602090810190602d908301843c60408101815101604052919050565b602081526000825180602084015260005b818110156102965760208186018101516040868401015201610279565b506000604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146102cb57600080fd5b50565b6000806000604084860312156102e357600080fd5b83356102ee816102b6565b9250602084013567ffffffffffffffff81111561030a57600080fd5b8401601f8101861361031b57600080fd5b803567ffffffffffffffff81111561033257600080fd5b86602082840101111561034457600080fd5b939660209190910195509293505050565b60006020828403121561036757600080fd5b8151610372816102b6565b9392505050565b60006020828403121561038b57600080fd5b503591905056fea2646970667358221220332a0aa4504af2f6c74684f7aa29c91a1e04107b45733aaa9249e1954636744364736f6c634300081c0033885cb69240a935d632d79c317109709ecfa91a80626ff3989d68f67f5b1dd12da2646970667358221220dddad9e18690653d8bed334847e771a2f03bc45b0b981405771c0fb7e64a85d264736f6c634300081c0033", "deployedBytecode": "0x608060405234801561001057600080fd5b50600436106101585760003560e01c806385226c81116100c3578063ba414fa61161007c578063ba414fa61461027b578063c71b0d4914610293578063d5f394881461029b578063e20c9f71146102ae578063eb5579d6146102b6578063fa7626d4146102be57600080fd5b806385226c81146102245780639145838914610239578063916a17c614610241578063a77e098714610256578063b0464fdc1461026b578063b5508aa91461027357600080fd5b80633e5e3c23116101155780633e5e3c23146101dc5780633f7286f4146101e457806360c4b18c146101ec57806366d9a9a0146101f4578063671b21501461020957806372f7a0301461021157600080fd5b80630a59a98c1461015d5780630a9254e41461018d5780631879c20a146101975780631ed7831c1461019f578063251c9d63146101b45780632ade3880146101c7575b600080fd5b602454610170906001600160a01b031681565b6040516001600160a01b0390911681526020015b60405180910390f35b6101956102cb565b005b6101956105e6565b6101a76106de565b6040516101849190611662565b602554610170906001600160a01b031681565b6101cf610740565b60405161018491906116fe565b6101a7610882565b6101a76108e2565b610195610942565b6101fc610ae9565b6040516101849190611810565b610195610c56565b602354610170906001600160a01b031681565b61022c610cfb565b6040516101849190611890565b610195610dcb565b610249610fa3565b60405161018491906118e9565b61025e611089565b6040516101849190611962565b610249611117565b61022c6111fd565b6102836112cd565b6040519015158152602001610184565b610195611371565b602254610170906001600160a01b031681565b6101a76114cd565b61019561152d565b601f546102839060ff1681565b6022546040516303223eab60e11b81526001600160a01b039091166004820152737109709ecfa91a80626ff3989d68f67f5b1dd12d906306447d5690602401600060405180830381600087803b15801561032457600080fd5b505af1158015610338573d6000803e3d6000fd5b5050505060405161034890611648565b604051809103906000f080158015610364573d6000803e3d6000fd5b50601f60016101000a8154816001600160a01b0302191690836001600160a01b0316021790555060405161039790611655565b604051809103906000f0801580156103b3573d6000803e3d6000fd5b50602160006101000a8154816001600160a01b0302191690836001600160a01b0316021790555060008051602061367b83398151915260001c6001600160a01b03166341af2f526040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561042657600080fd5b505af115801561043a573d6000803e3d6000fd5b5050602154601f54604051634c96a38960e01b81526001600160a01b036101009092048216600482015291169250634c96a3899150602401600060405180830381600087803b15801561048c57600080fd5b505af11580156104a0573d6000803e3d6000fd5b50505050600060008051602061367b83398151915260001c6001600160a01b031663191553a46040518163ffffffff1660e01b81526004016000604051808303816000875af11580156104f7573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f1916820160405261051f9190810190611a98565b905060008160008151811061053657610536611c29565b60200260200101516000015160018151811061055457610554611c29565b60209081029190910181015181546001600160a01b0319166001600160a01b03821617909155604080516390c5013b60e01b81529051919250737109709ecfa91a80626ff3989d68f67f5b1dd12d916390c5013b9160048082019260009290919082900301818387803b1580156105ca57600080fd5b505af11580156105de573d6000803e3d6000fd5b505050505050565b6040805160048082526024820183526020820180516001600160e01b031662dc149f60e41b179052915163f28dceb360e01b8152737109709ecfa91a80626ff3989d68f67f5b1dd12d9263f28dceb39261064292909101611962565b600060405180830381600087803b15801561065c57600080fd5b505af1158015610670573d6000803e3d6000fd5b50505050602060009054906101000a90046001600160a01b03166001600160a01b0316638129fc1c6040518163ffffffff1660e01b8152600401600060405180830381600087803b1580156106c457600080fd5b505af11580156106d8573d6000803e3d6000fd5b50505050565b6060601680548060200260200160405190810160405280929190818152602001828054801561073657602002820191906000526020600020905b81546001600160a01b03168152600190910190602001808311610718575b5050505050905090565b6060601e805480602002602001604051908101604052809291908181526020016000905b8282101561087957600084815260208082206040805180820182526002870290920180546001600160a01b03168352600181018054835181870281018701909452808452939591948681019491929084015b828210156108625783829060005260206000200180546107d590611c3f565b80601f016020809104026020016040519081016040528092919081815260200182805461080190611c3f565b801561084e5780601f106108235761010080835404028352916020019161084e565b820191906000526020600020905b81548152906001019060200180831161083157829003601f168201915b5050505050815260200190600101906107b6565b505050508152505081526020019060010190610764565b50505050905090565b60606018805480602002602001604051908101604052809291908181526020018280548015610736576020028201919060005260206000209081546001600160a01b03168152600190910190602001808311610718575050505050905090565b60606017805480602002602001604051908101604052809291908181526020018280548015610736576020028201919060005260206000209081546001600160a01b03168152600190910190602001808311610718575050505050905090565b6023546040516303223eab60e11b81526001600160a01b039091166004820152737109709ecfa91a80626ff3989d68f67f5b1dd12d906306447d5690602401600060405180830381600087803b15801561099b57600080fd5b505af11580156109af573d6000803e3d6000fd5b5050601f54602480546040516335313c2160e11b81526001600160a01b039182166004820152610100909304169350636a627842925001600060