@excubiae/contracts
Version:
894 lines • 76.1 kB
JSON
{
"_format": "hh-sol-artifact-1",
"contractName": "SemaphoreCheckerTest",
"sourceName": "contracts/test/extensions/Semaphore.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": "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": "invalidEvidence",
"outputs": [
{
"internalType": "bytes",
"name": "",
"type": "bytes"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "invalidGroupId",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "invalidGroupIdEvidence",
"outputs": [
{
"internalType": "bytes",
"name": "",
"type": "bytes"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "invalidGroupIdProof",
"outputs": [
{
"internalType": "uint256",
"name": "merkleTreeDepth",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "merkleTreeRoot",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "nullifier",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "message",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "scope",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "invalidProof",
"outputs": [
{
"internalType": "uint256",
"name": "merkleTreeDepth",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "merkleTreeRoot",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "nullifier",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "message",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "scope",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "invalidProverEvidence",
"outputs": [
{
"internalType": "bytes",
"name": "",
"type": "bytes"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "invalidProverProof",
"outputs": [
{
"internalType": "uint256",
"name": "merkleTreeDepth",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "merkleTreeRoot",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "nullifier",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "message",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "scope",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "notSubject",
"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_whenInvalidProof_reverts",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [],
"name": "test_checker_whenScopeGroupIdIncorrect_reverts",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [],
"name": "test_checker_whenScopeProverIncorrect_reverts",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [],
"name": "test_factory_deployAndInitialize",
"outputs": [],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "validEvidence",
"outputs": [
{
"internalType": "bytes",
"name": "",
"type": "bytes"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "validGroupId",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "validProof",
"outputs": [
{
"internalType": "uint256",
"name": "merkleTreeDepth",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "merkleTreeRoot",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "nullifier",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "message",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "scope",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
}
],
"bytecode": "0x60806040819052600c8054600160ff199182168117909255601f8054909116821790556001625e79b760e01b0319909152608452737109709ecfa91a80626ff3989d68f67f5b1dd12d63ffa1864960a4602060405180830381865afa15801561006c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906100909190610645565b602280546001600160a01b0319166001600160a01b03929092169190911790556040516001625e79b760e01b0319815260026004820152737109709ecfa91a80626ff3989d68f67f5b1dd12d9063ffa1864990602401602060405180830381865afa158015610103573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906101279190610645565b602380546001600160a01b0319166001600160a01b03929092169190911790556040516001625e79b760e01b0319815260036004820152737109709ecfa91a80626ff3989d68f67f5b1dd12d9063ffa1864990602401602060405180830381865afa15801561019a573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906101be9190610645565b602480546001600160a01b0319166001600160a01b03929092169190911781556040516001625e79b760e01b03198152600480820152737109709ecfa91a80626ff3989d68f67f5b1dd12d9163ffa186499101602060405180830381865afa15801561022e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906102529190610645565b602580546001600160a01b0319166001600160a01b0392831617905560006026819055600160278190556040805160c080820183529281526020808201858152828401868152602454909716606080850191825260808086018981528751610100810189528a81529586018a9052968501899052908401889052830187905260a080840188905295830187905260e08301969096529382018190528151602890815593516029559451602a559251602b5551602c55909161031790602d9060086105f2565b50506040805160c0808201835260018252600060208084018281528486018381526025546001600160a01b031660608088019182526026546080808a019182528a5161010081018c5288815296870188905299860187905290850186905297840185905260a084810186905295840185905260e0840194909452938501829052845160359081559051603655925160375590516038559251603955909250906103c490603a9060086105f2565b50506040805160c0808201835260018252600060208084018281528486018381526024546001600160a01b031660608088019182526027546080808a019182528a5161010081018c5288815296870188905299860187905290850186905297840185905260a084810186905295840185905260e0840194909452938501829052845160429081559051604355925160445590516045559251604655909250906104719060479060086105f2565b50506040805160c080820183526001808352600060208085018281528587018481526024546001600160a01b031660608089019182526026546080808b019182528b5161010081018d52988952958801879052998701869052860185905292850184905260a085810185905295850184905260e08501939093529385018390528451604f908155935160505590516051555160525592516053559092509061051d9060549060086105f2565b50505060286040516020016105329190610675565b604051602081830303815290604052605c908161054f9190610778565b5060356040516020016105629190610675565b604051602081830303815290604052605d908161057f9190610778565b5060426040516020016105929190610675565b604051602081830303815290604052605e90816105af9190610778565b50604f6040516020016105c29190610675565b604051602081830303815290604052605f90816105df9190610778565b503480156105ec57600080fd5b50610836565b8260088101928215610620579160200282015b82811115610620578251825591602001919060010190610605565b5061062c929150610630565b5090565b5b8082111561062c5760008155600101610631565b60006020828403121561065757600080fd5b81516001600160a01b038116811461066e57600080fd5b9392505050565b81548152600182015460208201526002820154604082015260038201546060820152600482015460808201526101a0810160a082016005840160005b60088110156106d05781548352602090920191600191820191016106b1565b50505092915050565b634e487b7160e01b600052604160045260246000fd5b600181811c9082168061070357607f821691505b60208210810361072357634e487b7160e01b600052602260045260246000fd5b50919050565b601f82111561077357806000526020600020601f840160051c810160208510156107505750805b601f840160051c820191505b81811015610770576000815560010161075c565b50505b505050565b81516001600160401b03811115610791576107916106d9565b6107a58161079f84546106ef565b84610729565b6020601f8211600181146107d957600083156107c15750848201515b600019600385901b1c1916600184901b178455610770565b600084815260208120601f198516915b8281101561080957878501518255602094850194600190920191016107e9565b50848210156108275786840151600019600387901b60f8161c191681555b50505050600190811b01905550565b613371806108456000396000f3fe608060405234801561001057600080fd5b50600436106102065760003560e01c80637bb29ca91161011a578063ba414fa6116100ad578063e20c9f711161007c578063e20c9f711461041c578063eb5579d614610424578063f448a37a1461042c578063f661a68914610434578063fa7626d41461043c57600080fd5b8063ba414fa6146103c4578063cee617b4146103dc578063d5f39488146103f6578063d81a69591461040957600080fd5b8063916a17c6116100e9578063916a17c614610385578063a2c8490e1461039a578063b0464fdc146103b4578063b5508aa9146103bc57600080fd5b80637bb29ca91461035757806383a323c5146103605780638498417c1461036857806385226c811461037057600080fd5b80632ade38801161019d57806360c4b18c1161016c57806360c4b18c14610308578063629fe4241461031057806366d9a9a014610327578063671b21501461033c57806372f7a0301461034457600080fd5b80632ade3880146102c957806332756e33146102de5780633e5e3c23146102f85780633f7286f41461030057600080fd5b80630a9254e4116101d95780630a9254e41461029c5780631879c20a146102a45780631ed7831c146102ac57806328456146146102c157600080fd5b80630187ba5c1461020b578063074ad4371461025257806307a86e851461025c5780630a59a98c14610271575b600080fd5b604f54605054605154605254605354610225949392919085565b604080519586526020860194909452928401919091526060830152608082015260a0015b60405180910390f35b61025a610449565b005b61026461061b565b6040516102499190611a19565b602454610284906001600160a01b031681565b6040516001600160a01b039091168152602001610249565b61025a6106a9565b61025a610b21565b6102b4610bf9565b6040516102499190611a33565b61025a610c5b565b6102d1610d85565b6040516102499190611a7f565b604254604354604454604554604654610225949392919085565b6102b4610ec7565b6102b4610f27565b61025a610f87565b61031960275481565b604051908152602001610249565b61032f6110c3565b6040516102499190611b91565b61025a611230565b602354610284906001600160a01b031681565b61031960265481565b6102646112dd565b6102646112ea565b6103786112f7565b6040516102499190611c11565b61038d6113c7565b6040516102499190611c6a565b603554603654603754603854603954610225949392919085565b61038d6114ad565b610378611593565b6103cc611663565b6040519015158152602001610249565b602854602954602a54602b54602c54610225949392919085565b602254610284906001600160a01b031681565b602554610284906001600160a01b031681565b6102b4611701565b61025a611761565b61025a6117d6565b610264611900565b601f546103cc9060ff1681565b6023546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206132fc833981519152906306447d5690602401600060405180830381600087803b15801561049c57600080fd5b505af11580156104b0573d6000803e3d6000fd5b50506040805160048082526024820183526020820180516001600160e01b0316635945f53b60e01b179052915163f28dceb360e01b81526000805160206132fc833981519152945063f28dceb393506105099201611a19565b600060405180830381600087803b15801561052357600080fd5b505af1158015610537573d6000803e3d6000fd5b505060205460245460405163e2b2408560e01b81526001600160a01b03928316945063e2b2408593506105739290911690605d90600401611d1d565b602060405180830381865afa158015610590573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105b49190611dda565b5060008051602061331c83398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561060157600080fd5b505af1158015610615573d6000803e3d6000fd5b50505050565b605d805461062890611ce3565b80601f016020809104026020016040519081016040528092919081815260200182805461065490611ce3565b80156106a15780601f10610676576101008083540402835291602001916106a1565b820191906000526020600020905b81548152906001019060200180831161068457829003601f168201915b505050505081565b6022546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206132fc833981519152906306447d5690602401600060405180830381600087803b1580156106fc57600080fd5b505af1158015610710573d6000803e3d6000fd5b5060009250600191506107209050565b604051908082528060200260200182016040528015610749578160200160208202803683370190505b506040805160028082526060820183529293506000929091602083019080368337505060408051600280825260608201835293945060009390925090602083019080368337019050509050602654836000815181106107aa576107aa611e12565b602002602001018181525050602860020154826000815181106107cf576107cf611e12565b602002602001018181525050604f60020154826001815181106107f4576107f4611e12565b60200260200101818152505060018160008151811061081557610815611e12565b60200260200101901515908115158152505060008160018151811061083c5761083c611e12565b60200260200101901515908115158152505082828260405161085d906119af565b61086993929190611e5a565b604051809103906000f080158015610885573d6000803e3d6000fd5b50601f60016101000a8154816001600160a01b0302191690836001600160a01b031602179055506040516108b8906119bc565b604051809103906000f0801580156108d4573d6000803e3d6000fd5b50602160006101000a8154816001600160a01b0302191690836001600160a01b0316021790555060008051602061331c83398151915260001c6001600160a01b03166341af2f526040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561094757600080fd5b505af115801561095b573d6000803e3d6000fd5b5050602154601f546026546040516304956eaf60e41b81526001600160a01b0361010090930483166004820152602481019190915291169250634956eaf091506044016020604051808303816000875af11580156109bd573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109e19190611ee3565b50600060008051602061331c83398151915260001c6001600160a01b031663191553a46040518163ffffffff1660e01b81526004016000604051808303816000875af1158015610a35573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f19168201604052610a5d9190810190611fe8565b9050600081600081518110610a7457610a74611e12565b602002602001015160000151600181518110610a9257610a92611e12565b60209081029190910181015181546001600160a01b0319166001600160a01b03821617909155604080516390c5013b60e01b815290519192506000805160206132fc833981519152916390c5013b9160048082019260009290919082900301818387803b158015610b0257600080fd5b505af1158015610b16573d6000803e3d6000fd5b505050505050505050565b6040805160048082526024820183526020820180516001600160e01b031662dc149f60e41b179052915163f28dceb360e01b81526000805160206132fc8339815191529263f28dceb392610b7792909101611a19565b600060405180830381600087803b158015610b9157600080fd5b505af1158015610ba5573d6000803e3d6000fd5b50505050602060009054906101000a90046001600160a01b03166001600160a01b0316638129fc1c6040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561060157600080fd5b60606016805480602002602001604051908101604052809291908181526020018280548015610c5157602002820191906000526020600020905b81546001600160a01b03168152600190910190602001808311610c33575b5050505050905090565b6023546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206132fc833981519152906306447d5690602401600060405180830381600087803b158015610cae57600080fd5b505af1158015610cc2573d6000803e3d6000fd5b50506040805160048082526024820183526020820180516001600160e01b031663036c503960e61b179052915163f28dceb360e01b81526000805160206132fc833981519152945063f28dceb39350610d1b9201611a19565b600060405180830381600087803b158015610d3557600080fd5b505af1158015610d49573d6000803e3d6000fd5b505060205460245460405163e2b2408560e01b81526001600160a01b03928316945063e2b2408593506105739290911690605e90600401611d1d565b6060601e805480602002602001604051908101604052809291908181526020016000905b82821015610ebe57600084815260208082206040805180820182526002870290920180546001600160a01b03168352600181018054835181870281018701909452808452939591948681019491929084015b82821015610ea7578382906000526020600020018054610e1a90611ce3565b80601f0160208091040260200160405190810160405280929190818152602001828054610e4690611ce3565b8015610e935780601f10610e6857610100808354040283529160200191610e93565b820191906000526020600020905b815481529060010190602001808311610e7657829003601f168201915b505050505081526020019060010190610dfb565b505050508152505081526020019060010190610da9565b50505050905090565b60606018805480602002602001604051908101604052809291908181526020018280548015610c51576020028201919060005260206000209081546001600160a01b03168152600190910190602001808311610c33575050505050905090565b60606017805480602002602001604051908101604052809291908181526020018280548015610c51576020028201919060005260206000209081546001600160a01b03168152600190910190602001808311610c33575050505050905090565b6023546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206132fc833981519152906306447d5690602401600060405180830381600087803b158015610fda57600080fd5b505af1158015610fee573d6000803e3d6000fd5b505060205460245460405163e2b2408560e01b81526001600160a01b03928316945063e2b24085935061102a9290911690605c90600401611d1d565b602060405180830381865afa158015611047573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061106b9190611dda565b61107757611077612179565b60008051602061331c83398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561060157600080fd5b6060601b805480602002602001604051908101604052809291908181526020016000905b82821015610ebe578382906000526020600020906002020160405180604001604052908160008201805461111a90611ce3565b80601f016020809104026020016040519081016040528092919081815260200182805461114690611ce3565b80156111935780601f1061116857610100808354040283529160200191611193565b820191906000526020600020905b81548152906001019060200180831161117657829003601f168201915b505050505081526020016001820180548060200260200160405190810160405280929190818152602001828054801561121857602002820191906000526020600020906000905b82829054906101000a900460e01b6001600160e01b031916815260200190600401906020826003010492830192600103820291508084116111da5790505b505050505081525050815260200190600101906110e7565b6020546040805163b41a4b1960e01b815290516112db926001600160a01b03169163b41a4b199160048083019260009291908290030181865afa15801561127b573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f191682016040526112a3919081019061218f565b601f54602654604080516101009093046001600160a01b0316602084015282015260600160405160208183030381529060405261190d565b565b605f805461062890611ce3565b605e805461062890611ce3565b6060601a805480602002602001604051908101604052809291908181526020016000905b82821015610ebe57838290600052602060002001805461133a90611ce3565b80601f016020809104026020016040519081016040528092919081815260200182805461136690611ce3565b80156113b35780601f10611388576101008083540402835291602001916113b3565b820191906000526020600020905b81548152906001019060200180831161139657829003601f168201915b50505050508152602001906001019061131b565b6060601d805480602002602001604051908101604052809291908181526020016000905b82821015610ebe5760008481526020908190206040805180820182526002860290920180546001600160a01b0316835260018101805483518187028101870190945280845293949193858301939283018282801561149557602002820191906000526020600020906000905b82829054906101000a900460e01b6001600160e01b031916815260200190600401906020826003010492830192600103820291508084116114575790505b505050505081525050815260200190600101906113eb565b6060601c805480602002602001604051908101604052809291908181526020016000905b82821015610ebe5760008481526020908190206040805180820182526002860290920180546001600160a01b0316835260018101805483518187028101870190945280845293949193858301939283018282801561157b57602002820191906000526020600020906000905b82829054906101000a900460e01b6001600160e01b0319168152602001906004019060208260030104928301926001038202915080841161153d5790505b505050505081525050815260200190600101906114d1565b60606019805480602002602001604051908101604052809291908181526020016000905b82821015610ebe5783829060005260206000200180546115d690611ce3565b80601f016020809104026020016040519081016040528092919081815260200182805461160290611ce3565b801561164f5780601f106116245761010080835404028352916020019161164f565b820191906000526020600020905b81548152906001019060200180831161163257829003601f168201915b5050505050815260200190600101906115b7565b60085460009060ff161561167b575060085460ff1690565b604051630667f9d760e41b81526000805160206132fc833981519152600482018190526519985a5b195960d21b602483015260009163667f9d7090604401602060405180830381865afa1580156116d6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906116fa91906121c4565b1415905090565b60606015805480602002602001604051908101604052809291908181526020018280548015610c51576020028201919060005260206000209081546001600160a01b03168152600190910190602001808311610c33575050505050905090565b6020805460408051630ac77c9f60e11b815290516112db936001600160a01b039093169263158ef93e92600480820193918290030181865afa1580156117ab573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906117cf9190611dda565b6001611974565b6023546040516303223eab60e11b81526001600160a01b0390911660048201526000805160206132fc833981519152906306447d5690602401600060405180830381600087803b15801561182957600080fd5b505af115801561183d573d6000803e3d6000fd5b50506040805160048082526024820183526020820180516001600160e01b03166309bde33960e01b179052915163f28dceb360e01b81526000805160206132fc833981519152945063f28dceb393506118969201611a19565b600060405180830381600087803b1580156118b057600080fd5b505af11580156118c4573d6000803e3d6000fd5b505060205460245460405163e2b2408560e01b81526001600160a01b03928316945063e2b2408593506105739290911690605f90600401611d1d565b605c805461062890611ce3565b604051639762463160e01b81526000805160206132fc8339815191529063976246319061194090859085906004016121dd565b60006040518083038186803b15801561195857600080fd5b505afa15801561196c573d6000803e3d6000fd5b505050505050565b60405163f7fe347760e01b8152821515600482015281151560248201526000805160206132fc8339815191529063f7fe347790604401611940565b6107ef8061220c83390190565b610901806129fb83390190565b60005b838110156119e45781810151838201526020016119cc565b50506000910152565b60008151808452611a058160208601602086016119c9565b601f01601f19169290920160200192915050565b602081526000611a2c60208301846119ed565b9392505050565b602080825282518282018190526000918401906040840190835b81811015611a745783516001600160a01b0316835260209384019390920191600101611a4d565b509095945050505050565b6000602082016020835280845180835260408501915060408160051b86010192506020860160005b82811015611b3f57603f19878603018452815180516001600160a01b03168652602090810151604082880181905281519088018190529101906060600582901b88018101919088019060005b81811015611b2557605f198a8503018352611b0f8486516119ed565b6020958601959094509290920191600101611af3565b509197505050602094850194929092019150600101611aa7565b50929695505050505050565b600081518084526020840193506020830160005b82811015611b875781516001600160e01b031916865260209586019590910190600101611b5f565b5093949350505050565b6000602082016020835280845180835260408501915060408160051b86010192506020860160005b82811015611b3f57603f198786030184528151805160408752611bdf60408801826119ed565b9050602082015191508681036020880152611bfa8183611b4b565b965050506020938401939190910190600101611bb9565b6000602082016020835280845180835260408501915060408160051b86010192506020860160005b82811015611b3f57603f19878603018452611c558583516119ed565b94506020938401939190910190600101611c39565b6000602082016020835280845180835260408501915060408160051b86010192506020860160005b82811015611b3f57868503603f19018452815180516001600160a01b03168652602090810151604091870182905290611ccd90870182611b4b565b9550506020938401939190910190600101611c92565b600181811c90821680611cf757607f821691505b602082108103611d1757634e487b7160e01b600052602260045260246000fd5b50919050565b6001600160a01b03831681526040602082015281546000908190600181811c90821680611d4b57607f821691505b602082108103611d6957634e487b7160e01b84526022600452602484fd5b6040860182905260608601818015611d885760018114611d9e57611dcc565b60ff198516825283151560051b82019550611dcc565b60008981526020902060005b85811015611dc657815484820152600190910190602001611daa565b83019650505b509398975050505050505050565b600060208284031215611dec57600080fd5b81518015158114611a2c57600080fd5b634e487b7160e01b600052604160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b600081518084526020840193506020830160005b82811015611b87578151865260209586019590910190600101611e3c565b606081526000611e6d6060830186611e28565b8281036020840152611e7f8186611e28565b83810360408501528451808252602080870193509091019060005b81811015611eba5783511515835260209384019390920191600101611e9a565b5090979650505050505050565b80516001600160a01b0381168114611ede57600080fd5b919050565b600060208284031215611ef557600080fd5b611a2c82611ec7565b6040516060810167ffffffffffffffff81118282101715611f2157611f21611dfc565b60405290565b604051601f8201601f1916810167ffffffffffffffff81118282101715611f5057611f50611dfc565b604052919050565b600067ffffffffffffffff821115611f7257611f72611dfc565b5060051b60200190565b600082601f830112611f8d57600080fd5b815167ffffffffffffffff811115611fa757611fa7611dfc565b611fba601f8201601f1916602001611f27565b818152846020838601011115611fcf57600080fd5b611fe08260208301602087016119c9565b949350505050565b600060208284031215611ffa57600080fd5b815167ffffffffffffffff81111561201157600080fd5b8201601f8101841361202257600080fd5b805161203561203082611f58565b611f27565b8082825260208201915060208360051b85010192508683111561205757600080fd5b602084015b8381101561216e57805167ffffffffffffffff81111561207b57600080fd5b85016060818a03601f1901121561209157600080fd5b612099611efe565b602082015167ffffffffffffffff8111156120b357600080fd5b82016020810190603f018b136120c857600080fd5b80516120d661203082611f58565b8082825260208201915060208360051b85010192508d8311156120f857600080fd5b6020840193505b8284101561211a5783518252602093840193909101906120ff565b8452505050604082015167ffffffffffffffff81111561213957600080fd5b6121488b602083860101611f7c565b60208301525061215a60608301611ec7565b60408201528452506020928301920161205c565b509695505050505050565b634e487b7160e01b600052600160045260246000fd5b6000602082840312156121a157600080fd5b815167ffffffffffffffff8111156121b857600080fd5b611fe084828501611f7c565b6000602082840312156121d657600080fd5b5051919050565b6040815260006121f060408301856119ed565b828103602084015261220281856119ed565b9594505050505056fe608060405234801561001057600080fd5b506040516107ef3803806107ef83398101604081905261002f916101ec565b60005b835181101561009f576001600080868481518110610052576100526102ea565b6020026020010151815260200190815260200160002060006101000a81548160ff0219169083151502179055506002600081548092919061009290610300565b9091555050600101610032565b5060005b825181101561010d578181815181106100be576100be6102ea565b6020026020010151600160008584815181106100dc576100dc6102ea565b6020908102919091018101518252810191909152604001600020805460ff19169115159190911790556001016100a3565b50505050610327565b634e487b7160e01b600052604160045260246000fd5b604051601f8201601f191681016001600160401b038111828210171561015457610154610116565b604052919050565b60006001600160401b0382111561017557610175610116565b5060051b60200190565b600082601f83011261019057600080fd5b81516101a361019e8261015c565b61012c565b8082825260208201915060208360051b8601019250858311156101c557600080fd5b602085015b838110156101e25780518352602092830192016101ca565b5095945050505050565b60008060006060848603121561020157600080fd5b83516001600160401b0381111561021757600080fd5b6102238682870161017f565b602086015190945090506001600160401b0381111561024157600080fd5b61024d8682870161017f565b604086015190935090506001600160401b0381111561026b57600080fd5b8401601f8101861361027c57600080fd5b805161028a61019e8261015c565b8082825260208201915060208360051b8501019250888311156102ac57600080fd5b6020840193505b828410156102dc57835180151581146102cb57600080fd5b8252602093840193909101906102b3565b809450505050509250925092565b634e487b7160e01b600052603260045260246000fd5b60006001820161032057634e487b7160e01b600052601160045260246000fd5b5060010190565b6104b9806103366000396000f3fe608060405234801561001057600080fd5b50600436106100ea5760003560e01c80635c3f3b601161008c578063d24924fe11610066578063d24924fe146101c2578063da3cda52146101cb578063fbad4139146101dc578063fcf0b6ec1461010457600080fd5b80635c3f3b601461018c5780636cdd32fe146101a0578063d0d898dd146101b457600080fd5b80634178c4d5116100c85780634178c4d51461013f578063456f418814610154578063568ee82614610177578063575185ed1461018557600080fd5b806304245371146100ef5780631783efc3146101045780632c88036314610116575b600080fd5b6101026100fd366004610281565b505050565b005b6101026101123660046102cd565b5050565b61012c61012436600461030b565b600092915050565b6040519081526020015b60405180910390f35b61010261014d366004610335565b5050505050565b610167610162366004610396565b6101ff565b6040519015158152602001610136565b6101026101123660046103d0565b600061012c565b61012c61019a3660046103fc565b50600090565b6101026101ae366004610417565b50505050565b610102610112366004610396565b61012c60025481565b6101026101d936600461046a565b50565b6101676101ea36600461046a565b60006020819052908152604090205460ff1681565b60008281526020819052604081205460ff16801561022e575060408083013560009081526001602052205460ff165b9392505050565b60008083601f84011261024757600080fd5b50813567ffffffffffffffff81111561025f57600080fd5b6020830191508360208260051b850101111561027a57600080fd5b9250929050565b60008060006040848603121561029657600080fd5b83359250602084013567ffffffffffffffff8111156102b457600080fd5b6102c086828701610235565b9497909650939450505050565b600080604083850312156102e057600080fd5b50508035926020909101359150565b80356001600160a01b038116811461030657600080fd5b919050565b6000806040838503121561031e57600080fd5b610327836102ef565b946020939093013593505050565b60008060008060006080868803121561034d57600080fd5b853594506020860135935060408601359250606086013567ffffffffffffffff81111561037957600080fd5b61038588828901610235565b969995985093965092949392505050565b6000808284036101c08112156103ab57600080fd5b833592506101a0601f19820112156103c257600080fd5b506020830190509250929050565b600080604083850312156103e357600080fd5b823591506103f3602084016102ef565b90509250929050565b60006020828403121561040e57600080fd5b61022e826102ef565b6000806000806060858703121561042d57600080fd5b8435935060208501359250604085013567ffffffffffffffff81111561045257600080fd5b61045e87828801610235565b95989497509550505050565b60006020828403121561047c57600080fd5b503591905056fea26469706673582212202c03fa9ff30274ee74c709d858418446682a5f7f49124fce75cbdc7869f52d3a64736f6c634300081c003360a0604052348015600f57600080fd5b50604051601a906046565b604051809103906000f0801580156035573d6000803e3d6000fd5b506001600160a01b03166080526053565b61060f806102f283390190565b60805161027e6100746000396000818160400152610125015261027e6000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c80633a4741bd1461003b5780634956eaf01461007e575b600080fd5b6100627f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b03909116815260200160405180910390f35b61006261008c366004610210565b604080516001600160a01b038416602082015280820183905281518082038301815260609091019091526000906100c28161011e565b9150816001600160a01b0316638129fc1c6040518163ffffffff1660e01b8152600401600060405180830381600087803b1580156100ff57600080fd5b505af1158015610113573d6000803e3d6000fd5b505050505092915050565b600061014a7f000000000000000000000000000000000000000000000000000000000000000083610186565b6040519091506001600160a01b038216907f2158cde9935cbf85d0b02e02fbc315ad0be2f3f017a603a2ebeedead21b8d60b90600090a2919050565b60006101946000848461019b565b9392505050565b600060405182518060438301826020870160045afa506e5af43d82803e903d91602b57fd5bf360238301528460148301528060881b74fe61002d3d81600a3d39f3363d3d373d3d3d363d730182526037810161ffd38210600b01830187f092505050806101945763301164256000526004601cfd5b6000806040838503121561022357600080fd5b82356001600160a01b038116811461023a57600080fd5b94602093909301359350505056fea264697066735822122003abe0a31a94cf9dff2223c8a5d58a68547b4a19e37351059de7ac5f4e09189864736f6c634300081c00336080604052348015600f57600080fd5b506105f08061001f6000396000f3fe608060405234801561001057600080fd5b50600436106100625760003560e01c8063158ef93e146100675780637b5d2534146100895780638129fc1c146100b9578063a0f44c92146100c3578063b41a4b19146100da578063e2b24085146100ef575b600080fd5b6000546100749060ff1681565b60405190151581526020015b60405180910390f35b6000546100a19061010090046001600160a01b031681565b6040516001600160a01b039091168152602001610080565b6100c1610102565b005b6100cc60015481565b604051908152602001610080565b6100e261010c565b6040516100809190610303565b6100746100fd366004610369565b61011b565b61010a610130565b565b606061011661018a565b905090565b6000610128848484610195565b949350505050565b6101386102a2565b600061014261018a565b90506000808280602001905181019061015b91906103f0565b600080546001600160a01b0390931661010002610100600160a81b031990931692909217909155600155505050565b6060610116306102d4565b6000806101a483850185610481565b60808101516001549192509081146101cf5760405163036c503960e61b815260040160405180910390fd5b60608201516001600160a01b038082169088161461020057604051635945f53b60e01b815260040160405180910390fd5b6000546001546040516308ade83160e31b81526101009092046001600160a01b03169163456f418891610237918790600401610521565b602060405180830381865afa158015610254573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906102789190610591565b610295576040516309bde33960e01b815260040160405180910390fd5b5060019695505050505050565b60005460ff16156102c55760405162dc149f60e41b815260040160405180910390fd5b6000805460ff19166001179055565b60405164ffffffffff602c19833b0116808252602090810190602d908301843c60408101815101604052919050565b602081526000825180602084015260005b818110156103315760208186018101516040868401015201610314565b506000604082850101526040601f19601f83011684010191505092915050565b6001600160a01b038116811461036657600080fd5b50565b60008060006040848603121561037e57600080fd5b833561038981610351565b9250602084013567ffffffffffffffff8111156103a557600080fd5b8401601f810186136103b657600080fd5b803567ffffffffffffffff8111156103cd57600080fd5b8660208284010111156103df57600080fd5b939660209190910195509293505050565b6000806040838503121561040357600080fd5b825161040e81610351565b6020939093015192949293505050565b634e487b7160e01b600052604160045260246000fd5b60405160c0810167ffffffffffffffff811182821017156104575761045761041e565b60405290565b604051610100810167ffffffffffffffff811182821017156104575761045761041e565b60006101a082840312801561049557600080fd5b5060006104a0610434565b833581526020808501359082015260408085013590820152606080850135908201526080808501359082015260bf840185136104da578182fd5b6104e261045d565b806101a08601878111156104f4578485fd5b60a087015b818110156105115780358452602093840193016104f9565b505060a083015250949350505050565b60006101c08201905083825282516020830152602083015160408301526040830151606083015260608301516080830152608083015160a083015260a083015160c0830160005b6008811015610587578251825260209283019290910190600101610568565b5050509392505050565b6000602082840312156105a357600080fd5b815180151581146105b357600080fd5b939250505056fea2646970667358221220fc67a94ed63919c525be2269490b6a2aa5142c90c534bcdffcdd36d9f4aefc0164736f6c634300081c00330000000000000000000000007109709ecfa91a80626ff3989d68f67f5b1dd12d885cb69240a935d632d79c317109709ecfa91a80626ff3989d68f67f5b1dd12da264697066735822122053df962bd6b719bd0144c69b819561d1ba6cf25618119dfdf1b907ef03971a3c64736f6c634300081c0033",
"deployedBytecode": "0x608060405234801561001057600080fd5b50600436106102065760003560e01c80637bb29ca91161011a578063ba414fa6116100ad578063e20c9f711161007c578063e20c9f711461041c578063eb5579d614610424578063f448a37a1461042c578063f661a68914610434578063fa7626d41461043c57600080fd5b8063ba414fa6146103c4578063cee617b4146103dc578063d5f3948814