@excubiae/contracts

{ "_format": "hh-sol-artifact-1", "contractName": "BasePolicy", "sourceName": "contracts/test/examples/Base.t.sol", "abi": [ { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "subject", "type": "address" }, { "indexed": true, "internalType": "address", "name": "guarded", "type": "address" }, { "indexed": false, "internalType": "bytes", "name": "evidence", "type": "bytes" } ], "name": "Enforced", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "guarded", "type": "address" } ], "name": "TargetSet", "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_factory_deployAndInitialize", "outputs": [], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "test_policy_enforce_whenCallerNotTarget_reverts", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_policy_enforce_whenCheckFails_reverts", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_policy_enforce_whenTokenDoesNotExist_reverts", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_policy_enforce_whenValid_succeeds", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_policy_getAppendedBytes", "outputs": [], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "test_policy_setTarget_whenAlreadySet_reverts", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_policy_setTarget_whenCallerNotOwner_reverts", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_policy_setTarget_whenValidAddress_succeeds", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_policy_setTarget_whenZeroAddress_reverts", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_policy_target_returnsExpectedAddress", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_policy_trait_returnsCorrectValue", "outputs": [], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "test_policy_whenAlreadyInitialized_reverts", "outputs": [], "stateMutability": "nonpayable", "type": "function" } ], "bytecode": "0x60806040819052600c8054600160ff199182168117909255601f8054909116821790556001625e79b760e01b0319909152608452737109709ecfa91a80626ff3989d68f67f5b1dd12d63ffa1864960a4602060405180830381865afa15801561006c573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061009091906102ae565b602480546001600160a01b0319166001600160a01b03929092169190911781556040516001625e79b760e01b0319815260026004820152737109709ecfa91a80626ff3989d68f67f5b1dd12d9163ffa186499101602060405180830381865afa158015610101573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061012591906102ae565b602580546001600160a01b0319166001600160a01b03929092169190911790556040516001625e79b760e01b0319815260036004820152737109709ecfa91a80626ff3989d68f67f5b1dd12d9063ffa1864990602401602060405180830381865afa158015610198573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906101bc91906102ae565b602680546001600160a01b0319166001600160a01b03929092169190911790556040516001625e79b760e01b03198152600480820152737109709ecfa91a80626ff3989d68f67f5b1dd12d9063ffa1864990602401602060405180830381865afa15801561022e573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061025291906102ae565b602780546001600160a01b0319166001600160a01b03929092169190911790556040805160006020820152016040516020818303038152906040526028908161029b919061037d565b503480156102a857600080fd5b5061043b565b6000602082840312156102c057600080fd5b81516001600160a01b03811681146102d757600080fd5b9392505050565b634e487b7160e01b600052604160045260246000fd5b600181811c9082168061030857607f821691505b60208210810361032857634e487b7160e01b600052602260045260246000fd5b50919050565b601f82111561037857806000526020600020601f840160051c810160208510156103555750805b601f840160051c820191505b818110156103755760008155600101610361565b50505b505050565b81516001600160401b03811115610396576103966102de565b6103aa816103a484546102f4565b8461032e565b6020601f8211600181146103de57600083156103c65750848201515b600019600385901b1c1916600184901b178455610375565b600084815260208120601f198516915b8281101561040e57878501518255602094850194600190920191016103ee565b508482101561042c5786840151600019600387901b60f8161c191681555b50505050600190811b01905550565b6152278061044a6000396000f3fe608060405234801561001057600080fd5b50600436106101e55760003560e01c806389d8bda91161010f578063c7e76f91116100a2578063e20c9f7111610071578063e20c9f711461036b578063e5f05d7014610373578063eb5579d61461037b578063fa7626d41461038357600080fd5b8063c7e76f9114610340578063d25a8bd714610348578063d5f3948814610350578063db5b7a511461036357600080fd5b8063b0464fdc116100de578063b0464fdc14610310578063b5508aa914610318578063ba414fa614610320578063bb2353681461033857600080fd5b806389d8bda9146102d6578063916a17c6146102de57806399ccfc42146102f3578063a77e0987146102fb57600080fd5b80634e693a63116101875780637468b87f116101565780637468b87f146102a957806376548b75146102b157806385226c81146102b95780638956ab22146102ce57600080fd5b80634e693a631461027157806366d9a9a01461027957806372f7a0301461028e57806374374578146102a157600080fd5b8063251c9d63116101c3578063251c9d63146102395780632ade38801461024c5780633e5e3c23146102615780633f7286f41461026957600080fd5b80630a59a98c146101ea5780630a9254e41461021a5780631ed7831c14610224575b600080fd5b6026546101fd906001600160a01b031681565b6040516001600160a01b0390911681526020015b60405180910390f35b610222610390565b005b61022c61087f565b6040516102119190612634565b6027546101fd906001600160a01b031681565b6102546108e1565b60405161021191906126d0565b61022c610a23565b61022c610a83565b610222610ae3565b610281610c99565b60405161021191906127e2565b6025546101fd906001600160a01b031681565b610222610e06565b61022261105f565b610222611358565b6102c16114fa565b6040516102119190612862565b6102226115ca565b610222611889565b6102e6611926565b60405161021191906128bb565b610222611a0c565b610303611b56565b6040516102119190612934565b6102e6611be4565b6102c1611cca565b610328611d9a565b6040519015158152602001610211565b610222611e38565b61022261203b565b610222612180565b6024546101fd906001600160a01b031681565b61022261222c565b61022c61234c565b6102226123ac565b610222612484565b601f546103289060ff1681565b602480546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206151b2833981519152916306447d569101600060405180830381600087803b1580156103e257600080fd5b505af11580156103f6573d6000803e3d6000fd5b505050506040516104069061260d565b604051809103906000f080158015610422573d6000803e3d6000fd5b50601f60016101000a8154816001600160a01b0302191690836001600160a01b031602179055506040516104559061261a565b604051809103906000f080158015610471573d6000803e3d6000fd5b50602180546001600160a01b0319166001600160a01b039290921691909117905560405161049e90612627565b604051809103906000f0801580156104ba573d6000803e3d6000fd5b50602360006101000a8154816001600160a01b0302191690836001600160a01b031602179055506000805160206151d283398151915260001c6001600160a01b03166341af2f526040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561052d57600080fd5b505af1158015610541573d6000803e3d6000fd5b5050602154601f54604051634c96a38960e01b81526001600160a01b036101009092048216600482015291169250634c96a3899150602401600060405180830381600087803b15801561059357600080fd5b505af11580156105a7573d6000803e3d6000fd5b5050505060006000805160206151d283398151915260001c6001600160a01b031663191553a46040518163ffffffff1660e01b81526004016000604051808303816000875af11580156105fe573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f191682016040526106269190810190612a71565b905060008160008151811061063d5761063d612c02565b60200260200101516000015160018151811061065b5761065b612c02565b60209081029190910181015181546001600160a01b0319166001600160a01b03821617909155604080516320d797a960e11b815290519192506000805160206151b2833981519152916341af2f529160048082019260009290919082900301818387803b1580156106cb57600080fd5b505af11580156106df573d6000803e3d6000fd5b5050602354602054604051634c96a38960e01b81526001600160a01b03918216600482015291169250634c96a3899150602401600060405180830381600087803b15801561072c57600080fd5b505af1158015610740573d6000803e3d6000fd5b505050506000805160206151d283398151915260001c6001600160a01b031663191553a46040518163ffffffff1660e01b81526004016000604051808303816000875af1158015610795573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f191682016040526107bd9190810190612a71565b91506000826000815181106107d4576107d4612c02565b6020026020010151600001516001815181106107f2576107f2612c02565b6020908102919091010151602280546001600160a01b0319166001600160a01b038316179055604080516390c5013b60e01b815290519192506000805160206151b2833981519152916390c5013b9160048082019260009290919082900301818387803b15801561086257600080fd5b505af1158015610876573d6000803e3d6000fd5b50505050505050565b606060168054806020026020016040519081016040528092919081815260200182805480156108d757602002820191906000526020600020905b81546001600160a01b031681526001909101906020018083116108b9575b5050505050905090565b6060601e805480602002602001604051908101604052809291908181526020016000905b82821015610a1a57600084815260208082206040805180820182526002870290920180546001600160a01b03168352600181018054835181870281018701909452808452939591948681019491929084015b82821015610a0357838290600052602060002001805461097690612c18565b80601f01602080910402602001604051908101604052809291908181526020018280546109a290612c18565b80156109ef5780601f106109c4576101008083540402835291602001916109ef565b820191906000526020600020905b8154815290600101906020018083116109d257829003601f168201915b505050505081526020019060010190610957565b505050508152505081526020019060010190610905565b50505050905090565b606060188054806020026020016040519081016040528092919081815260200182805480156108d7576020028201919060005260206000209081546001600160a01b031681526001909101906020018083116108b9575050505050905090565b606060178054806020026020016040519081016040528092919081815260200182805480156108d7576020028201919060005260206000209081546001600160a01b031681526001909101906020018083116108b9575050505050905090565b602480546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206151b2833981519152916306447d569101600060405180830381600087803b158015610b3557600080fd5b505af1158015610b49573d6000803e3d6000fd5b50506040805160048082526024820183526020820180516001600160e01b031663d92e233d60e01b179052915163f28dceb360e01b81526000805160206151b2833981519152945063f28dceb39350610ba29201612934565b600060405180830381600087803b158015610bbc57600080fd5b505af1158015610bd0573d6000803e3d6000fd5b505060225460405163776d1a0160e01b8152600060048201526001600160a01b03909116925063776d1a0191506024015b600060405180830381600087803b158015610c1b57600080fd5b505af1158015610c2f573d6000803e3d6000fd5b505050506000805160206151d283398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b158015610c7f57600080fd5b505af1158015610c93573d6000803e3d6000fd5b50505050565b6060601b805480602002602001604051908101604052809291908181526020016000905b82821015610a1a5783829060005260206000209060020201604051806040016040529081600082018054610cf090612c18565b80601f0160208091040260200160405190810160405280929190818152602001828054610d1c90612c18565b8015610d695780601f10610d3e57610100808354040283529160200191610d69565b820191906000526020600020905b815481529060010190602001808311610d4c57829003601f168201915b5050505050815260200160018201805480602002602001604051908101604052809291908181526020018280548015610dee57602002820191906000526020600020906000905b82829054906101000a900460e01b6001600160e01b03191681526020019060040190602082600301049283019260010382029150808411610db05790505b50505050508152505081526020019060010190610cbd565b602480546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206151b2833981519152916306447d569101600060405180830381600087803b158015610e5857600080fd5b505af1158015610e6c573d6000803e3d6000fd5b505060225460255460405163776d1a0160e01b81526001600160a01b0391821660048201529116925063776d1a019150602401600060405180830381600087803b158015610eb957600080fd5b505af1158015610ecd573d6000803e3d6000fd5b505050506000805160206151d283398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b158015610f1d57600080fd5b505af1158015610f31573d6000803e3d6000fd5b50506026546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206151b283398151915292506306447d569150602401600060405180830381600087803b158015610f8857600080fd5b505af1158015610f9c573d6000803e3d6000fd5b50506040805160048082526024820183526020820180516001600160e01b0316631f492dbf60e21b179052915163f28dceb360e01b81526000805160206151b2833981519152945063f28dceb39350610ff59201612934565b600060405180830381600087803b15801561100f57600080fd5b505af1158015611023573d6000803e3d6000fd5b5050602254602654604051631e898ef160e01b81526001600160a01b039283169450631e898ef19350610c019290911690602890600401612cf5565b602480546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206151b2833981519152916306447d569101600060405180830381600087803b1580156110b157600080fd5b505af11580156110c5573d6000803e3d6000fd5b505060225460255460405163776d1a0160e01b81526001600160a01b0391821660048201529116925063776d1a019150602401600060405180830381600087803b15801561111257600080fd5b505af1158015611126573d6000803e3d6000fd5b5050601f546026546040516335313c2160e11b81526001600160a01b039182166004820152610100909204169250636a6278429150602401600060405180830381600087803b15801561117857600080fd5b505af115801561118c573d6000803e3d6000fd5b505050506000805160206151d283398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b1580156111dc57600080fd5b505af11580156111f0573d6000803e3d6000fd5b50506025546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206151b283398151915292506306447d569150602401600060405180830381600087803b15801561124757600080fd5b505af115801561125b573d6000803e3d6000fd5b505060405163248e63e160e11b8152600160048201819052602482018190526044820181905260648201526000805160206151b2833981519152925063491cc7c29150608401600060405180830381600087803b1580156112bb57600080fd5b505af11580156112cf573d6000803e3d6000fd5b50506025546026546040516001600160a01b039283169450911691507fc013b39287cb7a53f776482ac9573829321f002f31ef8782129b41d60047bda09061131990602890612d21565b60405180910390a3602254602654604051631e898ef160e01b81526001600160a01b0392831692631e898ef192610c0192911690602890600401612cf5565b602480546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206151b2833981519152916306447d569101600060405180830381600087803b1580156113aa57600080fd5b505af11580156113be573d6000803e3d6000fd5b505060225460255460405163776d1a0160e01b81526001600160a01b0391821660048201529116925063776d1a019150602401600060405180830381600087803b15801561140b57600080fd5b505af115801561141f573d6000803e3d6000fd5b505050506114ae602260009054906101000a90046001600160a01b03166001600160a01b03166372f7a0306040518163ffffffff1660e01b8152600401602060405180830381865afa158015611479573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061149d9190612d34565b6025546001600160a01b03166124fa565b6000805160206151d283398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b158015610c7f57600080fd5b6060601a805480602002602001604051908101604052809291908181526020016000905b82821015610a1a57838290600052602060002001805461153d90612c18565b80601f016020809104026020016040519081016040528092919081815260200182805461156990612c18565b80156115b65780601f1061158b576101008083540402835291602001916115b6565b820191906000526020600020905b81548152906001019060200180831161159957829003601f168201915b50505050508152602001906001019061151e565b602480546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206151b2833981519152916306447d569101600060405180830381600087803b15801561161c57600080fd5b505af1158015611630573d6000803e3d6000fd5b505060225460255460405163776d1a0160e01b81526001600160a01b0391821660048201529116925063776d1a019150602401600060405180830381600087803b15801561167d57600080fd5b505af1158015611691573d6000803e3d6000fd5b5050601f546026546040516335313c2160e11b81526001600160a01b039182166004820152610100909204169250636a6278429150602401600060405180830381600087803b1580156116e357600080fd5b505af11580156116f7573d6000803e3d6000fd5b505050506000805160206151d283398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561174757600080fd5b505af115801561175b573d6000803e3d6000fd5b50506025546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206151b283398151915292506306447d569150602401600060405180830381600087803b1580156117b257600080fd5b505af11580156117c6573d6000803e3d6000fd5b50506040805160048082526024820183526020820180516001600160e01b0316634715494560e01b179052915163f28dceb360e01b81526000805160206151b2833981519152945063f28dceb3935061181f9201612934565b600060405180830381600087803b15801561183957600080fd5b505af115801561184d573d6000803e3d6000fd5b5050602254602754604051631e898ef160e01b81526001600160a01b039283169450631e898ef19350610c019290911690602890600401612cf5565b6022546040805163ce343deb60e01b81529051611924926001600160a01b03169163ce343deb9160048083019260009291908290030181865afa1580156118d4573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f191682016040526118fc9190810190612d4f565b6040518060400160405280600a8152602001694261736545524337323160b01b81525061256c565b565b6060601d805480602002602001604051908101604052809291908181526020016000905b82821015610a1a5760008481526020908190206040805180820182526002860290920180546001600160a01b031683526001810180548351818702810187019094528084529394919385830193928301828280156119f457602002820191906000526020600020906000905b82829054906101000a900460e01b6001600160e01b031916815260200190600401906020826003010492830192600103820291508084116119b65790505b5050505050815250508152602001906001019061194a565b602480546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206151b2833981519152916306447d569101600060405180830381600087803b158015611a5e57600080fd5b505af1158015611a72573d6000803e3d6000fd5b505060405163248e63e160e11b8152600160048201819052602482018190526044820181905260648201526000805160206151b2833981519152925063491cc7c29150608401600060405180830381600087803b158015611ad257600080fd5b505af1158015611ae6573d6000803e3d6000fd5b50506025546040516001600160a01b0390911692507f3bfb4bbf112628248058745a3c57e35b13369386e474b8e56c552f3063a4a1969150600090a260225460255460405163776d1a0160e01b81526001600160a01b03918216600482015291169063776d1a0190602401610c01565b60288054611b6390612c18565b80601f0160208091040260200160405190810160405280929190818152602001828054611b8f90612c18565b8015611bdc5780601f10611bb157610100808354040283529160200191611bdc565b820191906000526020600020905b815481529060010190602001808311611bbf57829003601f168201915b505050505081565b6060601c805480602002602001604051908101604052809291908181526020016000905b82821015610a1a5760008481526020908190206040805180820182526002860290920180546001600160a01b03168352600181018054835181870281018701909452808452939491938583019392830182828015611cb257602002820191906000526020600020906000905b82829054906101000a900460e01b6001600160e01b03191681526020019060040190602082600301049283019260010382029150808411611c745790505b50505050508152505081526020019060010190611c08565b60606019805480602002602001604051908101604052809291908181526020016000905b82821015610a1a578382906000526020600020018054611d0d90612c18565b80601f0160208091040260200160405190810160405280929190818152602001828054611d3990612c18565b8015611d865780601f10611d5b57610100808354040283529160200191611d86565b820191906000526020600020905b815481529060010190602001808311611d6957829003601f168201915b505050505081526020019060010190611cee565b60085460009060ff1615611db2575060085460ff1690565b604051630667f9d760e41b81526000805160206151b2833981519152600482018190526519985a5b195960d21b602483015260009163667f9d7090604401602060405180830381865afa158015611e0d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611e319190612d98565b1415905090565b602480546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206151b2833981519152916306447d569101600060405180830381600087803b158015611e8a57600080fd5b505af1158015611e9e573d6000803e3d6000fd5b505060225460255460405163776d1a0160e01b81526001600160a01b0391821660048201529116925063776d1a019150602401600060405180830381600087803b158015611eeb57600080fd5b505af1158015611eff573d6000803e3d6000fd5b505050506000805160206151d283398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b158015611f4f57600080fd5b505af1158015611f63573d6000803e3d6000fd5b50506025546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206151b283398151915292506306447d569150602401600060405180830381600087803b158015611fba57600080fd5b505af1158015611fce573d6000803e3d6000fd5b505060408051600060248083019190915282518083039091018152604490910182526020810180516001600160e01b0316637e27328960e01b179052905163f28dceb360e01b81526000805160206151b2833981519152935063f28dceb39250610ff59190600401612934565b6027546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206151b2833981519152906306447d5690602401600060405180830381600087803b15801561208e57600080fd5b505af11580156120a2573d6000803e3d6000fd5b5050602754604080516001600160a01b0390921660248084019190915281518084039091018152604490920181526020820180516001600160e01b031663118cdaa760e01b1790525163f28dceb360e01b81526000805160206151b2833981519152935063f28dceb3925061211a9190600401612934565b600060405180830381600087803b15801561213457600080fd5b505af1158015612148573d6000803e3d6000fd5b505060225460255460405163776d1a0160e01b81526001600160a01b0391821660048201529116925063776d1a019150602401610c01565b6022546040805163b41a4b1960e01b81529051611924926001600160a01b03169163b41a4b199160048083019260009291908290030181865afa1580156121cb573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f191682016040526121f39190810190612db1565b60245460208054604080516001600160a01b0394851693810193909352921681830152815180820383018152606090910190915261259f565b602480546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206151b2833981519152916306447d569101600060405180830381600087803b15801561227e57600080fd5b505af1158015612292573d6000803e3d6000fd5b505060225460255460405163776d1a0160e01b81526001600160a01b0391821660048201529116925063776d1a019150602401600060405180830381600087803b1580156122df57600080fd5b505af11580156122f3573d6000803e3d6000fd5b50506040805160048082526024820183526020820180516001600160e01b031663e0f2d7b160e01b179052915163f28dceb360e01b81526000805160206151b2833981519152945063f28dceb3935061211a9201612934565b606060158054806020026020016040519081016040528092919081815260200182805480156108d7576020028201919060005260206000209081546001600160a01b031681526001909101906020018083116108b9575050505050905090565b6040805160048082526024820183526020820180516001600160e01b031662dc149f60e41b179052915163f28dceb360e01b81526000805160206151b28339815191529263f28dceb39261240292909101612934565b600060405180830381600087803b15801561241c57600080fd5b505af1158015612430573d6000803e3d6000fd5b50505050602260009054906101000a90046001600160a01b03166001600160a01b0316638129fc1c6040518163ffffffff1660e01b8152600401600060405180830381600087803b158015610c7f57600080fd5b60225460408051630ac77c9f60e11b81529051611924926001600160a01b03169163158ef93e9160048083019260209291908290030181865afa1580156124cf573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906124f39190612de6565b60016125d2565b6040516328a9b0fb60e11b81526001600160a01b038084166004830152821660248201526000805160206151b28339815191529063515361f6906044015b60006040518083038186803b15801561255057600080fd5b505afa158015612564573d6000803e3d6000fd5b505050505050565b60405163f320d96360e01b81526000805160206151b28339815191529063f320d963906125389085908590600401612e08565b604051639762463160e01b81526000805160206151b2833981519152906397624631906125389085908590600401612e08565b60405163f7fe347760e01b8152821515600482015281151560248201526000805160206151b28339815191529063f7fe347790604401612538565b6111c480612e3783390190565b6106cc80613ffb83390190565b610aeb806146c783390190565b602080825282518282018190526000918401906040840190835b818110156126755783516001600160a01b031683526020938401939092019160010161264e565b509095945050505050565b60005b8381101561269b578181015183820152602001612683565b50506000910152565b600081518084526126bc816020860160208601612680565b601f01601f19169290920160200192915050565b6000602082016020835280845180835260408501915060408160051b86010192506020860160005b8281101561279057603f19878603018452815180516001600160a01b03168652602090810151604082880181905281519088018190529101906060600582901b88018101919088019060005b8181101561277657605f198a85030183526127608486516126a4565b6020958601959094509290920191600101612744565b5091975050506020948501949290920191506001016126f8565b50929695505050505050565b600081518084526020840193506020830160005b828110156127d85781516001600160e01b0319168652602095860195909101906001016127b0565b5093949350505050565b6000602082016020835280845180835260408501915060408160051b86010192506020860160005b8281101561279057603f19878603018452815180516040875261283060408801826126a4565b905060208201519150868103602088015261284b818361279c565b96505050602093840193919091019060010161280a565b6000602082016020835280845180835260408501915060408160051b86010192506020860160005b8281101561279057603f198786030184526128a68583516126a4565b9450602093840193919091019060010161288a565b6000602082016020835280845180835260408501915060408160051b86010192506020860160005b8281101561279057868503603f19018452815180516001600160a01b0316865260209081015160409187018290529061291e9087018261279c565b95505060209384019391909101906001016128e3565b60208152600061294760208301846126a4565b9392505050565b634e487b7160e01b600052604160045260246000fd5b6040516060810167ffffffffffffffff811182821017156129875761298761294e565b60405290565b604051601f8201601f1916810167ffffffffffffffff811182821017156129b6576129b661294e565b604052919050565b600067ffffffffffffffff8211156129d8576129d861294e565b5060051b60200190565b60008067ffffffffffffffff8411156129fd576129fd61294e565b50601f8301601f1916602001612a128161298d565b915050828152838383011115612a2757600080fd5b612947836020830184612680565b600082601f830112612a4657600080fd5b612947838351602085016129e2565b80516001600160a01b0381168114612a6c57600080fd5b919050565b600060208284031215612a8357600080fd5b815167ffffffffffffffff811115612a9a57600080fd5b8201601f81018413612aab57600080fd5b8051612abe612ab9826129be565b61298d565b8082825260208201915060208360051b850101925086831115612ae057600080fd5b602084015b83811015612bf757805167ffffffffffffffff811115612b0457600080fd5b85016060818a03601f19011215612b1a57600080fd5b612b22612964565b602082015167ffffffffffffffff811115612b3c57600080fd5b82016020810190603f018b13612b5157600080fd5b8051612b5f612ab9826129be565b8082825260208201915060208360051b85010192508d831115612b8157600080fd5b6020840193505b82841015612ba3578351825260209384019390910190612b88565b8452505050604082015167ffffffffffffffff811115612bc257600080fd5b612bd18b602083860101612a35565b602083015250612be360608301612a55565b604082015284525060209283019201612ae5565b509695505050505050565b634e487b7160e01b600052603260045260246000fd5b600181811c90821680612c2c57607f821691505b602082108103612c4c57634e487b7160e01b600052602260045260246000fd5b50919050565b8054600090600181811c90821680612c6b57607f821691505b602082108103612c8b57634e487b7160e01b600052602260045260246000fd5b81865260208601818015612ca65760018114612cbc57612cea565b60ff198516825283151560051b82019550612cea565b60008781526020902060005b85811015612ce457815484820152600190910190602001612cc8565b83019650505b505050505092915050565b6001600160a01b0383168152604060208201819052600090612d1990830184612c52565b949350505050565b6020815260006129476020830184612c52565b600060208284031215612d4657600080fd5b61294782612a55565b600060208284031215612d6157600080fd5b815167ffffffffffffffff811115612d7857600080fd5b8201601f81018413612d8957600080fd5b612d19848251602084016129e2565b600060208284031215612daa57600080fd5b5051919050565b600060208284031215612dc357600080fd5b815167ffffffffffffffff811115612dda57600080fd5b612d1984828501612a35565b600060208284031215612df857600080fd5b8151801515811461294757600080fd5b604081526000612e1b60408301856126a4565b8281036020840152612e2d81856126a4565b9594505050505056fe608060405234801561001057600080fd5b5060408051808201825260038082526213919560ea1b602080840182905284518086019095529184529083015290600061004a83826100fe565b50600161005782826100fe565b5050506101bc565b634e487b7160e01b600052604160045260246000fd5b600181811c9082168061008957607f821691505b6020821081036100a957634e487b7160e01b600052602260045260246000fd5b50919050565b601f8211156100f957806000526020600020601f840160051c810160208510156100d65750805b601f840160051c820191505b818110156100f657600081556001016100e2565b50505b505050565b81516001600160401b038111156101175761011761005f565b61012b816101258454610075565b846100af565b6020601f82116001811461015f57600083156101475750848201515b600019600385901b1c1916600184901b1784556100f6565b600084815260208120601f198516915b8281101561018f578785015182556020948501946001909201910161016f565b50848210156101ad5786840151600019600387901b60f8161c191681555b50505050600190811b01905550565b610ff9806101cb6000396000f3fe608060405234801561001057600080fd5b50600436106100ea5760003560e01c80636a6278421161008c578063a22cb46511610066578063a22cb465146101e1578063b88d4fde146101f4578063c87b56dd14610207578063e985e9c51461021a57600080fd5b80636a627842146101a557806370a08231146101b857806395d89b41146101d957600080fd5b8063095ea7b3116100c8578063095ea7b31461015757806323b872dd1461016c57806342842e0e1461017f5780636352211e1461019257600080fd5b806301ffc9a7146100ef57806306fdde0314610117578063081812fc1461012c575b600080fd5b6101026100fd366004610c39565b61022d565b60405190151581526020015b60405180910390f35b61011f61027f565b60405161010e9190610ca6565b61013f61013a366004610cb9565b610311565b6040516001600160a01b03909116815260200161010e565b61016a610165366004610cee565b61033a565b005b61016a61017a366004610d18565b610349565b61016a61018d366004610d18565b6103d9565b61013f6101a0366004610cb9565b6103f9565b61016a6101b3366004610d55565b610404565b6101cb6101c6366004610d55565b610428565b60405190815260200161010e565b61011f610470565b61016a6101ef366004610d70565b61047f565b61016a610202366004610dc2565b61048a565b61011f610215366004610cb9565b6104a2565b610102610228366004610ea6565b610517565b60006001600160e01b031982166380ac58cd60e01b148061025e57506001600160e01b03198216635b5e139f60e01b145b8061027957506301ffc9a760e01b6001600160e01b03198316145b92915050565b60606000805461028e90610ed9565b80601f01602080910402602001604051908101604052809291908181526020018280546102ba90610ed9565b80156103075780601f106102dc57610100808354040283529160200191610307565b820191906000526020600020905b8154815290600101906020018083116102ea57829003601f168201915b5050505050905090565b600061031c82610545565b506000828152600460205260409020546001600160a01b0316610279565b61034582823361057e565b5050565b6001600160a01b03821661037857604051633250574960e11b8152600060048201526024015b60405180910390fd5b600061038583833361058b565b9050836001600160a01b0316816001600160a01b0316146103d3576040516364283d7b60e01b81526001600160a01b038086166004830152602482018490528216604482015260640161036f565b50505050565b6103f48383836040518060200160405280600081525061048a565b505050565b600061027982610545565b61041081600654610684565b6006805490600061042083610f13565b919050555050565b60006001600160a01b038216610454576040516322718ad960e21b81526000600482015260240161036f565b506001600160a01b031660009081526003602052604090205490565b60606001805461028e90610ed9565b61034533838361069e565b610495848484610349565b6103d3338585858561073d565b60606104ad82610545565b5060006104c560408051602081019091526000815290565b905060008151116104e55760405180602001604052806000815250610510565b806104ef84610868565b604051602001610500929190610f3a565b6040516020818303038152906040525b9392505050565b6001600160a01b03918216600090815260056020908152604080832093909416825291909152205460ff1690565b6000818152600260205260408120546001600160a01b03168061027957604051637e27328960e01b81526004810184905260240161036f565b6103f483838360016108fb565b6000828152600260205260408120546001600160a01b03908116908316156105b8576105b8818486610a01565b6001600160a01b038116156105f6576105d56000856000806108fb565b6001600160a01b038116600090815260036020526040902080546000190190555b6001600160a01b03851615610625576001600160a01b0385166000908152600360205260409020805460010190555b60008481526002602052604080822080546001600160a01b0319166001600160a01b0389811691821790925591518793918516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91a4949350505050565b610345828260405180602001604052806000815250610a65565b6001600160a01b0382166106d057604051630b61174360e31b81526001600160a01b038316600482015260240161036f565b6001600160a01b03838116600081815260056020908152604080832094871680845294825291829020805460ff191686151590811790915591519182527f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31910160405180910390a3505050565b6001600160a01b0383163b1561086157604051630a85bd0160e11b81526001600160a01b0384169063150b7a029061077f908890889087908790600401610f69565b6020604051808303816000875af19250505080156107ba575060408051601f3d908101601f191682019092526107b791810190610fa6565b60015b610823573d8080156107e8576040519150601f19603f3d011682016040523d82523d6000602084013e6107ed565b606091505b50805160000361081b57604051633250574960e11b81526001600160a01b038516600482015260240161036f565b805181602001fd5b6001600160e01b03198116630a85bd0160e11b1461085f57604051633250574960e11b81526001600160a01b038516600482015260240161036f565b505b5050505050565b6060600061087583610a7d565b600101905060008167ffffffffffffffff81111561089557610895610dac565b6040519080825280601f01601f1916602001820160405280156108bf576020820181803683370190505b5090508181016020015b600019016f181899199a1a9b1b9c1cb0b131b232b360811b600a86061a8153600a85049450846108c957509392505050565b808061090f57506001600160a01b03821615155b156109d157600061091f84610545565b90506001600160a01b0383161580159061094b5750826001600160a01b0316816001600160a01b031614155b801561095e575061095c8184610517565b155b156109875760405163a9fbf51f60e01b81526001600160a01b038416600482015260240161036f565b81156109cf5783856001600160a01b0316826001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45b505b5050600090815260046020526040902080546001600160a01b0319166001600160a01b0392909216919091179055565b610a0c838383610b55565b6103f4576001600160a01b038316610a3a57604051637e27328960e01b81526004810182905260240161036f565b60405163177e802f60e01b81526001600160a01b03831660048201526024810182905260440161036f565b610a6f8383610bbb565b6103f433600085858561073d565b60008072184f03e93ff9f4daa797ed6e38ed64bf6a1f0160401b8310610abc5772184f03e93ff9f4daa797ed6e38ed64bf6a1f0160401b830492506040015b6d04ee2d6d415b85acef81000000008310610ae8576d04ee2d6d415b85acef8100000000830492506020015b662386f26fc100008310610b0657662386f26fc10000830492506010015b6305f5e1008310610b1e576305f5e100830492506008015b6127108310610b3257612710830492506004015b60648310610b44576064830492506002015b600a83106102795760010192915050565b60006001600160a01b03831615801590610bb35750826001600160a01b0316846001600160a01b03161480610b8f5750610b8f8484610517565b80610bb357506000828152600460205260409020546001600160a01b038481169116145b949350505050565b6001600160a01b038216610be557604051633250574960e11b81526000600482015260240161036f565b6000610bf38383600061058b565b90506001600160a01b038116156103f4576040516339e3563760e11b81526000600482015260240161036f565b6001600160e01b031981168114610c3657600080fd5b50565b600060208284031215610c4b57600080fd5b813561051081610c20565b60005b83811015610c71578181015183820152602001610c59565b50506000910152565b60008151808452610c92816020860160208601610c56565b601f01601f19169290920160200192915050565b6020815260006105106020830184610c7a565b600060208284031215610cc