@excubiae/contracts

{ "_format": "hh-sol-artifact-1", "contractName": "Voting", "sourceName": "contracts/test/examples/Base.t.sol", "abi": [ { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "address", "name": "voter", "type": "address" } ], "name": "Registered", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "address", "name": "voter", "type": "address" }, { "indexed": false, "internalType": "uint8", "name": "option", "type": "uint8" } ], "name": "Voted", "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": "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": "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_register_whenCallerNotTarget_reverts", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_register_whenCheckFails_reverts", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_register_whenTokenDoesNotExist_reverts", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_register_whenValid_succeeds", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_vote_whenAlreadyVoted_reverts", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_vote_whenInvalidOption_reverts", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_vote_whenNotRegistered_reverts", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_vote_whenValid_succeeds", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "test_voting_deployed", "outputs": [], "stateMutability": "view", "type": "function" } ], "bytecode": "0x60806040819052600c8054600160ff199182168117909255601f8054909116821790556001625e79b760e01b0319909152608452737109709ecfa91a80626ff3989d68f67f5b1dd12d63ffa1864960a4602060405180830381865afa15801561006c573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061009091906101f0565b602580546001600160a01b0319166001600160a01b03929092169190911790556040516001625e79b760e01b0319815260026004820152737109709ecfa91a80626ff3989d68f67f5b1dd12d9063ffa1864990602401602060405180830381865afa158015610103573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061012791906101f0565b602680546001600160a01b0319166001600160a01b03929092169190911790556040516001625e79b760e01b0319815260036004820152737109709ecfa91a80626ff3989d68f67f5b1dd12d9063ffa1864990602401602060405180830381865afa15801561019a573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906101be91906101f0565b602780546001600160a01b0319166001600160a01b03929092169190911790553480156101ea57600080fd5b50610220565b60006020828403121561020257600080fd5b81516001600160a01b038116811461021957600080fd5b9392505050565b6159ff8061022f6000396000f3fe608060405234801561001057600080fd5b50600436106101735760003560e01c80637a901d08116100de578063b5508aa911610097578063d5f3948811610071578063d5f39488146102a6578063e20c9f71146102b9578063ebf62e50146102c1578063fa7626d4146102c957600080fd5b8063b5508aa91461027e578063ba414fa614610286578063c92d1e531461029e57600080fd5b80637a901d08146102345780637f711e181461023c57806385226c8114610244578063916a17c614610259578063999a7d7a1461026e578063b0464fdc1461027657600080fd5b80633e5e3c23116101305780633e5e3c23146101f75780633f7286f4146101ff5780635c1c3cad1461020757806366d9a9a01461020f5780636a5d41d1146102245780637710ffad1461022c57600080fd5b806307128a84146101785780630a59a98c146101825780630a9254e4146101b25780631ed7831c146101ba578063251c9d63146101cf5780632ade3880146101e2575b600080fd5b6101806102d6565b005b602654610195906001600160a01b031681565b6040516001600160a01b0390911681526020015b60405180910390f35b610180610635565b6101c2610b8d565b6040516101a99190612b20565b602754610195906001600160a01b031681565b6101ea610bef565b6040516101a99190612bbc565b6101c2610d31565b6101c2610d91565b610180610df1565b6102176110a8565b6040516101a99190612cce565b610180611215565b610180611688565b61018061193f565b610180611b95565b61024c611e7a565b6040516101a99190612d4e565b610261611f4a565b6040516101a99190612da7565b610180612030565b610261612168565b61024c61224e565b61028e61231e565b60405190151581526020016101a9565b6101806123bc565b602554610195906001600160a01b031681565b6101c26126d0565b610180612730565b601f5461028e9060ff1681565b6025546040516303223eab60e11b81526001600160a01b03909116600482015260008051602061598a833981519152906306447d5690602401600060405180830381600087803b15801561032957600080fd5b505af115801561033d573d6000803e3d6000fd5b50506022546024805460405163776d1a0160e01b81526001600160a01b0391821660048201529216935063776d1a01925001600060405180830381600087803b15801561038957600080fd5b505af115801561039d573d6000803e3d6000fd5b5050601f546026546040516335313c2160e11b81526001600160a01b039182166004820152610100909204169250636a6278429150602401600060405180830381600087803b1580156103ef57600080fd5b505af1158015610403573d6000803e3d6000fd5b505050506000805160206159aa83398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561045357600080fd5b505af1158015610467573d6000803e3d6000fd5b50506026546040516303223eab60e11b81526001600160a01b03909116600482015260008051602061598a83398151915292506306447d569150602401600060405180830381600087803b1580156104be57600080fd5b505af11580156104d2573d6000803e3d6000fd5b505060408051600160248083019190915282518083039091018152604490910182526020810180516001600160e01b0316637e27328960e01b179052905163f28dceb360e01b815260008051602061598a833981519152935063f28dceb3925061053f9190600401612e20565b600060405180830381600087803b15801561055957600080fd5b505af115801561056d573d6000803e3d6000fd5b505060248054604051637903ab2760e11b8152600160048201526001600160a01b03909116935063f207564e9250015b600060405180830381600087803b1580156105b757600080fd5b505af11580156105cb573d6000803e3d6000fd5b505050506000805160206159aa83398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561061b57600080fd5b505af115801561062f573d6000803e3d6000fd5b50505050565b6025546040516303223eab60e11b81526001600160a01b03909116600482015260008051602061598a833981519152906306447d5690602401600060405180830381600087803b15801561068857600080fd5b505af115801561069c573d6000803e3d6000fd5b505050506040516106ac90612aec565b604051809103906000f0801580156106c8573d6000803e3d6000fd5b50601f60016101000a8154816001600160a01b0302191690836001600160a01b031602179055506040516106fb90612af9565b604051809103906000f080158015610717573d6000803e3d6000fd5b50602180546001600160a01b0319166001600160a01b039290921691909117905560405161074490612b06565b604051809103906000f080158015610760573d6000803e3d6000fd5b50602360006101000a8154816001600160a01b0302191690836001600160a01b031602179055506000805160206159aa83398151915260001c6001600160a01b03166341af2f526040518163ffffffff1660e01b8152600401600060405180830381600087803b1580156107d357600080fd5b505af11580156107e7573d6000803e3d6000fd5b5050602154601f54604051634c96a38960e01b81526001600160a01b036101009092048216600482015291169250634c96a3899150602401600060405180830381600087803b15801561083957600080fd5b505af115801561084d573d6000803e3d6000fd5b5050505060006000805160206159aa83398151915260001c6001600160a01b031663191553a46040518163ffffffff1660e01b81526004016000604051808303816000875af11580156108a4573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f191682016040526108cc9190810190612f62565b90506000816000815181106108e3576108e36130f3565b602002602001015160000151600181518110610901576109016130f3565b60209081029190910181015181546001600160a01b0319166001600160a01b03821617909155604080516320d797a960e11b8152905191925060008051602061598a833981519152916341af2f529160048082019260009290919082900301818387803b15801561097157600080fd5b505af1158015610985573d6000803e3d6000fd5b5050602354602054604051634c96a38960e01b81526001600160a01b03918216600482015291169250634c96a3899150602401600060405180830381600087803b1580156109d257600080fd5b505af11580156109e6573d6000803e3d6000fd5b505050506000805160206159aa83398151915260001c6001600160a01b031663191553a46040518163ffffffff1660e01b81526004016000604051808303816000875af1158015610a3b573d6000803e3d6000fd5b505050506040513d6000823e601f3d908101601f19168201604052610a639190810190612f62565b9150600082600081518110610a7a57610a7a6130f3565b602002602001015160000151600181518110610a9857610a986130f3565b6020908102919091010151602280546001600160a01b0319166001600160a01b03831690811790915560405191925090610ad190612b13565b6001600160a01b039091168152602001604051809103906000f080158015610afd573d6000803e3d6000fd5b50602460006101000a8154816001600160a01b0302191690836001600160a01b031602179055506000805160206159aa83398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b158015610b7057600080fd5b505af1158015610b84573d6000803e3d6000fd5b50505050505050565b60606016805480602002602001604051908101604052809291908181526020018280548015610be557602002820191906000526020600020905b81546001600160a01b03168152600190910190602001808311610bc7575b5050505050905090565b6060601e805480602002602001604051908101604052809291908181526020016000905b82821015610d2857600084815260208082206040805180820182526002870290920180546001600160a01b03168352600181018054835181870281018701909452808452939591948681019491929084015b82821015610d11578382906000526020600020018054610c8490613109565b80601f0160208091040260200160405190810160405280929190818152602001828054610cb090613109565b8015610cfd5780601f10610cd257610100808354040283529160200191610cfd565b820191906000526020600020905b815481529060010190602001808311610ce057829003601f168201915b505050505081526020019060010190610c65565b505050508152505081526020019060010190610c13565b50505050905090565b60606018805480602002602001604051908101604052809291908181526020018280548015610be5576020028201919060005260206000209081546001600160a01b03168152600190910190602001808311610bc7575050505050905090565b60606017805480602002602001604051908101604052809291908181526020018280548015610be5576020028201919060005260206000209081546001600160a01b03168152600190910190602001808311610bc7575050505050905090565b6025546040516303223eab60e11b81526001600160a01b03909116600482015260008051602061598a833981519152906306447d5690602401600060405180830381600087803b158015610e4457600080fd5b505af1158015610e58573d6000803e3d6000fd5b50506022546024805460405163776d1a0160e01b81526001600160a01b0391821660048201529216935063776d1a01925001600060405180830381600087803b158015610ea457600080fd5b505af1158015610eb8573d6000803e3d6000fd5b5050601f546026546040516335313c2160e11b81526001600160a01b039182166004820152610100909204169250636a6278429150602401600060405180830381600087803b158015610f0a57600080fd5b505af1158015610f1e573d6000803e3d6000fd5b505050506000805160206159aa83398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b158015610f6e57600080fd5b505af1158015610f82573d6000803e3d6000fd5b50506027546040516303223eab60e11b81526001600160a01b03909116600482015260008051602061598a83398151915292506306447d569150602401600060405180830381600087803b158015610fd957600080fd5b505af1158015610fed573d6000803e3d6000fd5b50506040805160048082526024820183526020820180516001600160e01b0316634715494560e01b179052915163f28dceb360e01b815260008051602061598a833981519152945063f28dceb393506110469201612e20565b600060405180830381600087803b15801561106057600080fd5b505af1158015611074573d6000803e3d6000fd5b505060248054604051637903ab2760e11b8152600060048201526001600160a01b03909116935063f207564e92500161059d565b6060601b805480602002602001604051908101604052809291908181526020016000905b82821015610d2857838290600052602060002090600202016040518060400160405290816000820180546110ff90613109565b80601f016020809104026020016040519081016040528092919081815260200182805461112b90613109565b80156111785780601f1061114d57610100808354040283529160200191611178565b820191906000526020600020905b81548152906001019060200180831161115b57829003601f168201915b50505050508152602001600182018054806020026020016040519081016040528092919081815260200182805480156111fd57602002820191906000526020600020906000905b82829054906101000a900460e01b6001600160e01b031916815260200190600401906020826003010492830192600103820291508084116111bf5790505b505050505081525050815260200190600101906110cc565b6025546040516303223eab60e11b81526001600160a01b03909116600482015260008051602061598a833981519152906306447d5690602401600060405180830381600087803b15801561126857600080fd5b505af115801561127c573d6000803e3d6000fd5b50506022546024805460405163776d1a0160e01b81526001600160a01b0391821660048201529216935063776d1a01925001600060405180830381600087803b1580156112c857600080fd5b505af11580156112dc573d6000803e3d6000fd5b5050601f546026546040516335313c2160e11b81526001600160a01b039182166004820152610100909204169250636a6278429150602401600060405180830381600087803b15801561132e57600080fd5b505af1158015611342573d6000803e3d6000fd5b505050506000805160206159aa83398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561139257600080fd5b505af11580156113a6573d6000803e3d6000fd5b50506026546040516303223eab60e11b81526001600160a01b03909116600482015260008051602061598a83398151915292506306447d569150602401600060405180830381600087803b1580156113fd57600080fd5b505af1158015611411573d6000803e3d6000fd5b505060248054604051637903ab2760e11b8152600060048201526001600160a01b03909116935063f207564e925001600060405180830381600087803b15801561145a57600080fd5b505af115801561146e573d6000803e3d6000fd5b50506024805460265460405163b2dd5c0760e01b81526001600160a01b0391821660048201526114ed95509116925063b2dd5c0791015b602060405180830381865afa1580156114c2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906114e69190613143565b6001612a3f565b60405163248e63e160e11b81526001600482018190526024820181905260448201819052606482015260008051602061598a8339815191529063491cc7c290608401600060405180830381600087803b15801561154957600080fd5b505af115801561155d573d6000803e3d6000fd5b5050602654604080516001600160a01b039092168252600060208301527f14075e33dffdc00c1fcaf75d0f86d667170be57fb566b12b41b499e5fa53b125935001905060405180910390a160248054604051632cfe62b760e21b8152600060048201526001600160a01b039091169163b3f98adc9101600060405180830381600087803b1580156115ed57600080fd5b505af1158015611601573d6000803e3d6000fd5b5050602480546026546040516304f77a1f60e11b81526001600160a01b03918216600482015261163c9550911692506309eef43e91016114a5565b6000805160206159aa83398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561061b57600080fd5b6025546040516303223eab60e11b81526001600160a01b03909116600482015260008051602061598a833981519152906306447d5690602401600060405180830381600087803b1580156116db57600080fd5b505af11580156116ef573d6000803e3d6000fd5b50506022546024805460405163776d1a0160e01b81526001600160a01b0391821660048201529216935063776d1a01925001600060405180830381600087803b15801561173b57600080fd5b505af115801561174f573d6000803e3d6000fd5b5050601f546026546040516335313c2160e11b81526001600160a01b039182166004820152610100909204169250636a6278429150602401600060405180830381600087803b1580156117a157600080fd5b505af11580156117b5573d6000803e3d6000fd5b505050506000805160206159aa83398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561180557600080fd5b505af1158015611819573d6000803e3d6000fd5b50506026546040516303223eab60e11b81526001600160a01b03909116600482015260008051602061598a83398151915292506306447d569150602401600060405180830381600087803b15801561187057600080fd5b505af1158015611884573d6000803e3d6000fd5b50506040805160048082526024820183526020820180516001600160e01b031663aba4733960e01b179052915163f28dceb360e01b815260008051602061598a833981519152945063f28dceb393506118dd9201612e20565b600060405180830381600087803b1580156118f757600080fd5b505af115801561190b573d6000803e3d6000fd5b505060248054604051632cfe62b760e21b8152600060048201526001600160a01b03909116935063b3f98adc92500161059d565b6025546040516303223eab60e11b81526001600160a01b03909116600482015260008051602061598a833981519152906306447d5690602401600060405180830381600087803b15801561199257600080fd5b505af11580156119a6573d6000803e3d6000fd5b505060225460255460405163776d1a0160e01b81526001600160a01b0391821660048201529116925063776d1a019150602401600060405180830381600087803b1580156119f357600080fd5b505af1158015611a07573d6000803e3d6000fd5b5050601f546026546040516335313c2160e11b81526001600160a01b039182166004820152610100909204169250636a6278429150602401600060405180830381600087803b158015611a5957600080fd5b505af1158015611a6d573d6000803e3d6000fd5b505050506000805160206159aa83398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b158015611abd57600080fd5b505af1158015611ad1573d6000803e3d6000fd5b50506027546040516303223eab60e11b81526001600160a01b03909116600482015260008051602061598a83398151915292506306447d569150602401600060405180830381600087803b158015611b2857600080fd5b505af1158015611b3c573d6000803e3d6000fd5b50506040805160048082526024820183526020820180516001600160e01b0316631f492dbf60e21b179052915163f28dceb360e01b815260008051602061598a833981519152945063f28dceb393506110469201612e20565b6025546040516303223eab60e11b81526001600160a01b03909116600482015260008051602061598a833981519152906306447d5690602401600060405180830381600087803b158015611be857600080fd5b505af1158015611bfc573d6000803e3d6000fd5b50506022546024805460405163776d1a0160e01b81526001600160a01b0391821660048201529216935063776d1a01925001600060405180830381600087803b158015611c4857600080fd5b505af1158015611c5c573d6000803e3d6000fd5b5050601f546026546040516335313c2160e11b81526001600160a01b039182166004820152610100909204169250636a6278429150602401600060405180830381600087803b158015611cae57600080fd5b505af1158015611cc2573d6000803e3d6000fd5b505050506000805160206159aa83398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b158015611d1257600080fd5b505af1158015611d26573d6000803e3d6000fd5b50506026546040516303223eab60e11b81526001600160a01b03909116600482015260008051602061598a83398151915292506306447d569150602401600060405180830381600087803b158015611d7d57600080fd5b505af1158015611d91573d6000803e3d6000fd5b505060405163248e63e160e11b81526001600482018190526024820181905260448201819052606482015260008051602061598a833981519152925063491cc7c29150608401600060405180830381600087803b158015611df157600080fd5b505af1158015611e05573d6000803e3d6000fd5b50506026546040516001600160a01b0390911681527f2d3734a8e47ac8316e500ac231c90a6e1848ca2285f40d07eaa52005e4b3a0e99250602001905060405180910390a160248054604051637903ab2760e11b8152600060048201526001600160a01b039091169163f207564e910161059d565b6060601a805480602002602001604051908101604052809291908181526020016000905b82821015610d28578382906000526020600020018054611ebd90613109565b80601f0160208091040260200160405190810160405280929190818152602001828054611ee990613109565b8015611f365780601f10611f0b57610100808354040283529160200191611f36565b820191906000526020600020905b815481529060010190602001808311611f1957829003601f168201915b505050505081526020019060010190611e9e565b6060601d805480602002602001604051908101604052809291908181526020016000905b82821015610d285760008481526020908190206040805180820182526002860290920180546001600160a01b0316835260018101805483518187028101870190945280845293949193858301939283018282801561201857602002820191906000526020600020906000905b82829054906101000a900460e01b6001600160e01b03191681526020019060040190602082600301049283019260010382029150808411611fda5790505b50505050508152505081526020019060010190611f6e565b60245460408051636d6de67760e11b815290516120b0926001600160a01b03169163dadbccee9160048083019260209291908290030181865afa15801561207b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061209f9190613165565b6022546001600160a01b0316612aaa565b602480546026546040516304f77a1f60e11b81526001600160a01b03918216600482015261212d9391909216916309eef43e91015b602060405180830381865afa158015612102573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906121269190613143565b6000612a3f565b6024805460265460405163b2dd5c0760e01b81526001600160a01b03918216600482015261216693919092169163b2dd5c0791016120e5565b565b6060601c805480602002602001604051908101604052809291908181526020016000905b82821015610d285760008481526020908190206040805180820182526002860290920180546001600160a01b0316835260018101805483518187028101870190945280845293949193858301939283018282801561223657602002820191906000526020600020906000905b82829054906101000a900460e01b6001600160e01b031916815260200190600401906020826003010492830192600103820291508084116121f85790505b5050505050815250508152602001906001019061218c565b60606019805480602002602001604051908101604052809291908181526020016000905b82821015610d2857838290600052602060002001805461229190613109565b80601f01602080910402602001604051908101604052809291908181526020018280546122bd90613109565b801561230a5780601f106122df5761010080835404028352916020019161230a565b820191906000526020600020905b8154815290600101906020018083116122ed57829003601f168201915b505050505081526020019060010190612272565b60085460009060ff1615612336575060085460ff1690565b604051630667f9d760e41b815260008051602061598a833981519152600482018190526519985a5b195960d21b602483015260009163667f9d7090604401602060405180830381865afa158015612391573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906123b59190613182565b1415905090565b6025546040516303223eab60e11b81526001600160a01b03909116600482015260008051602061598a833981519152906306447d5690602401600060405180830381600087803b15801561240f57600080fd5b505af1158015612423573d6000803e3d6000fd5b50506022546024805460405163776d1a0160e01b81526001600160a01b0391821660048201529216935063776d1a01925001600060405180830381600087803b15801561246f57600080fd5b505af1158015612483573d6000803e3d6000fd5b5050601f546026546040516335313c2160e11b81526001600160a01b039182166004820152610100909204169250636a6278429150602401600060405180830381600087803b1580156124d557600080fd5b505af11580156124e9573d6000803e3d6000fd5b505050506000805160206159aa83398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b15801561253957600080fd5b505af115801561254d573d6000803e3d6000fd5b50506026546040516303223eab60e11b81526001600160a01b03909116600482015260008051602061598a83398151915292506306447d569150602401600060405180830381600087803b1580156125a457600080fd5b505af11580156125b8573d6000803e3d6000fd5b505060248054604051637903ab2760e11b8152600060048201526001600160a01b03909116935063f207564e925001600060405180830381600087803b15801561260157600080fd5b505af1158015612615573d6000803e3d6000fd5b50506040805160048082526024820183526020820180516001600160e01b0316632a71953160e01b179052915163f28dceb360e01b815260008051602061598a833981519152945063f28dceb3935061266e9201612e20565b600060405180830381600087803b15801561268857600080fd5b505af115801561269c573d6000803e3d6000fd5b505060248054604051632cfe62b760e21b8152600360048201526001600160a01b03909116935063b3f98adc92500161059d565b60606015805480602002602001604051908101604052809291908181526020018280548015610be5576020028201919060005260206000209081546001600160a01b03168152600190910190602001808311610bc7575050505050905090565b6025546040516303223eab60e11b81526001600160a01b03909116600482015260008051602061598a833981519152906306447d5690602401600060405180830381600087803b15801561278357600080fd5b505af1158015612797573d6000803e3d6000fd5b50506022546024805460405163776d1a0160e01b81526001600160a01b0391821660048201529216935063776d1a01925001600060405180830381600087803b1580156127e357600080fd5b505af11580156127f7573d6000803e3d6000fd5b5050601f546026546040516335313c2160e11b81526001600160a01b039182166004820152610100909204169250636a6278429150602401600060405180830381600087803b15801561284957600080fd5b505af115801561285d573d6000803e3d6000fd5b505050506000805160206159aa83398151915260001c6001600160a01b03166390c5013b6040518163ffffffff1660e01b8152600401600060405180830381600087803b1580156128ad57600080fd5b505af11580156128c1573d6000803e3d6000fd5b50506026546040516303223eab60e11b81526001600160a01b03909116600482015260008051602061598a83398151915292506306447d569150602401600060405180830381600087803b15801561291857600080fd5b505af115801561292c573d6000803e3d6000fd5b505060248054604051637903ab2760e11b8152600060048201526001600160a01b03909116935063f207564e925001600060405180830381600087803b15801561297557600080fd5b505af1158015612989573d6000803e3d6000fd5b505060248054604051632cfe62b760e21b8152600060048201526001600160a01b03909116935063b3f98adc925001600060405180830381600087803b1580156129d257600080fd5b505af11580156129e6573d6000803e3d6000fd5b50506040805160048082526024820183526020820180516001600160e01b0316637c9a1cf960e01b179052915163f28dceb360e01b815260008051602061598a833981519152945063f28dceb393506118dd9201612e20565b60405163f7fe347760e01b81528215156004820152811515602482015260008051602061598a8339815191529063f7fe3477906044015b60006040518083038186803b158015612a8e57600080fd5b505afa158015612aa2573d6000803e3d6000fd5b505050505050565b6040516328a9b0fb60e11b81526001600160a01b0380841660048301528216602482015260008051602061598a8339815191529063515361f690604401612a76565b6111c48061319c83390190565b6106cc8061436083390190565b610aeb80614a2c83390190565b6104738061551783390190565b602080825282518282018190526000918401906040840190835b81811015612b615783516001600160a01b0316835260209384019390920191600101612b3a565b509095945050505050565b60005b83811015612b87578181015183820152602001612b6f565b50506000910152565b60008151808452612ba8816020860160208601612b6c565b601f01601f19169290920160200192915050565b6000602082016020835280845180835260408501915060408160051b86010192506020860160005b82811015612c7c57603f19878603018452815180516001600160a01b03168652602090810151604082880181905281519088018190529101906060600582901b88018101919088019060005b81811015612c6257605f198a8503018352612c4c848651612b90565b6020958601959094509290920191600101612c30565b509197505050602094850194929092019150600101612be4565b50929695505050505050565b600081518084526020840193506020830160005b82811015612cc45781516001600160e01b031916865260209586019590910190600101612c9c565b5093949350505050565b6000602082016020835280845180835260408501915060408160051b86010192506020860160005b82811015612c7c57603f198786030184528151805160408752612d1c6040880182612b90565b9050602082015191508681036020880152612d378183612c88565b965050506020938401939190910190600101612cf6565b6000602082016020835280845180835260408501915060408160051b86010192506020860160005b82811015612c7c57603f19878603018452612d92858351612b90565b94506020938401939190910190600101612d76565b6000602082016020835280845180835260408501915060408160051b86010192506020860160005b82811015612c7c57868503603f19018452815180516001600160a01b03168652602090810151604091870182905290612e0a90870182612c88565b9550506020938401939190910190600101612dcf565b602081526000612e336020830184612b90565b9392505050565b634e487b7160e01b600052604160045260246000fd5b6040516060810167ffffffffffffffff81118282101715612e7357612e73612e3a565b60405290565b604051601f8201601f1916810167ffffffffffffffff81118282101715612ea257612ea2612e3a565b604052919050565b600067ffffffffffffffff821115612ec457612ec4612e3a565b5060051b60200190565b600082601f830112612edf57600080fd5b815167ffffffffffffffff811115612ef957612ef9612e3a565b612f0c601f8201601f1916602001612e79565b818152846020838601011115612f2157600080fd5b612f32826020830160208701612b6c565b949350505050565b6001600160a01b0381168114612f4f57600080fd5b50565b8051612f5d81612f3a565b919050565b600060208284031215612f7457600080fd5b815167ffffffffffffffff811115612f8b57600080fd5b8201601f81018413612f9c57600080fd5b8051612faf612faa82612eaa565b612e79565b8082825260208201915060208360051b850101925086831115612fd157600080fd5b602084015b838110156130e857805167ffffffffffffffff811115612ff557600080fd5b85016060818a03601f1901121561300b57600080fd5b613013612e50565b602082015167ffffffffffffffff81111561302d57600080fd5b82016020810190603f018b1361304257600080fd5b8051613050612faa82612eaa565b8082825260208201915060208360051b85010192508d83111561307257600080fd5b6020840193505b82841015613094578351825260209384019390910190613079565b8452505050604082015167ffffffffffffffff8111156130b357600080fd5b6130c28b602083860101612ece565b6020830152506130d460608301612f52565b604082015284525060209283019201612fd6565b509695505050505050565b634e487b7160e01b600052603260045260246000fd5b600181811c9082168061311d57607f821691505b60208210810361313d57634e487b7160e01b600052602260045260246000fd5b50919050565b60006020828403121561315557600080fd5b81518015158114612e3357600080fd5b60006020828403121561317757600080fd5b8151612e3381612f3a565b60006020828403121561319457600080fd5b505191905056fe608060405234801561001057600080fd5b5060408051808201825260038082526213919560ea1b602080840182905284518086019095529184529083015290600061004a83826100fe565b50600161005782826100fe565b5050506101bc565b634e487b7160e01b600052604160045260246000fd5b600181811c9082168061008957607f821691505b6020821081036100a957634e487b7160e01b600052602260045260246000fd5b50919050565b601f8211156100f957806000526020600020601f840160051c810160208510156100d65750805b601f840160051c820191505b818110156100f657600081556001016100e2565b50505b505050565b81516001600160401b038111156101175761011761005f565b61012b816101258454610075565b846100af565b6020601f82116001811461015f57600083156101475750848201515b600019600385901b1c1916600184901b1784556100f6565b600084815260208120601f198516915b8281101561018f578785015182556020948501946001909201910161016f565b50848210156101ad5786840151600019600387901b60f8161c191681555b50505050600190811b01905550565b610ff9806101cb6000396000f3fe608060405234801561001057600080fd5b50600436106100ea5760003560e01c80636a6278421161008c578063a22cb46511610066578063a22cb465146101e1578063b88d4fde146101f4578063c87b56dd14610207578063e985e9c51461021a57600080fd5b80636a627842146101a557806370a08231146101b857806395d89b41146101d957600080fd5b8063095ea7b3116100c8578063095ea7b31461015757806323b872dd1461016c57806342842e0e1461017f5780636352211e1461019257600080fd5b806301ffc9a7146100ef57806306fdde0314610117578063081812fc1461012c575b600080fd5b6101026100fd366004610c39565b61022d565b60405190151581526020015b60405180910390f35b61011f61027f565b60405161010e9190610ca6565b61013f61013a366004610cb9565b610311565b6040516001600160a01b03909116815260200161010e565b61016a610165366004610cee565b61033a565b005b61016a61017a366004610d18565b610349565b61016a61018d366004610d18565b6103d9565b61013f6101a0366004610cb9565b6103f9565b61016a6101b3366004610d55565b610404565b6101cb6101c6366004610d55565b610428565b60405190815260200161010e565b61011f610470565b61016a6101ef366004610d70565b61047f565b61016a610202366004610dc2565b61048a565b61011f610215366004610cb9565b6104a2565b610102610228366004610ea6565b610517565b60006001600160e01b031982166380ac58cd60e01b148061025e57506001600160e01b03198216635b5e139f60e01b145b8061027957506301ffc9a760e01b6001600160e01b03198316145b92915050565b60606000805461028e90610ed9565b80601f01602080910402602001604051908101604052809291908181526020018280546102ba90610ed9565b80156103075780601f106102dc57610100808354040283529160200191610307565b820191906000526020600020905b8154815290600101906020018083116102ea57829003601f168201915b5050505050905090565b600061031c82610545565b506000828152600460205260409020546001600160a01b0316610279565b61034582823361057e565b5050565b6001600160a01b03821661037857604051633250574960e11b8152600060048201526024015b60405180910390fd5b600061038583833361058b565b9050836001600160a01b0316816001600160a01b0316146103d3576040516364283d7b60e01b81526001600160a01b038086166004830152602482018490528216604482015260640161036f565b50505050565b6103f48383836040518060200160405280600081525061048a565b505050565b600061027982610545565b61041081600654610684565b6006805490600061042083610f13565b919050555050565b60006001600160a01b038216610454576040516322718ad960e21b81526000600482015260240161036f565b506001600160a01b031660009081526003602052604090205490565b60606001805461028e90610ed9565b61034533838361069e565b610495848484610349565b6103d3338585858561073d565b60606104ad82610545565b5060006104c560408051602081019091526000815290565b905060008151116104e55760405180602001604052806000815250610510565b806104ef84610868565b604051602001610500929190610f3a565b6040516020818303038152906040525b9392505050565b6001600160a01b03918216600090815260056020908152604080832093909416825291909152205460ff1690565b6000818152600260205260408120546001600160a01b03168061027957604051637e27328960e01b81526004810184905260240161036f565b6103f483838360016108fb565b6000828152600260205260408120546001600160a01b03908116908316156105b8576105b8818486610a01565b6001600160a01b038116156105f6576105d56000856000806108fb565b6001600160a01b038116600090815260036020526040902080546000190190555b6001600160a01b03851615610625576001600160a01b0385166000908152600360205260409020805460010190555b60008481526002602052604080822080546001600160a01b0319166001600160a01b0389811691821790925591518793918516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91a4949350505050565b610345828260405180602001604052806000815250610a65565b6001600160a01b0382166106d057604051630b61174360e31b81526001600160a01b038316600482015260240161036f565b6001600160a01b03838116600081815260056020908152604080832094871680845294825291829020805460ff191686151590811790915591519182527f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31910160405180910390a3505050565b6001600160a01b0383163b1561086157604051630a85bd0160e11b81526001600160a01b0384169063150b7a029061077f908890889087908790600401610f69565b6020604051808303816000875af19250505080156107ba575060408051601f3d908101601f191682019092526107b791810190610fa6565b60015b610823573d8080156107e8576040519150601f19603f3d011682016040523d82523d6000602084013e6107ed565b606091505b50805160000361081b57604051633250574960e11b81526001600160a01b038516600482015260240161036f565b805181602001fd5b6001600160e01b03198116630a85bd0160e11b1461085f57604051633250574960e11b81526001600160a01b038516600482015260240161036f565b505b5050505050565b6060600061087583610a7d565b600101905060008167ffffffffffffffff81111561089557610895610dac565b6040519080825280601f01601f1916602001820160405280156108bf576020820181803683370190505b5090508181016020015b600019016f181899199a1a9b1b9c1cb0b131b232b360811b600a86061a8153600a85049450846108c957509392505050565b808061090f57506001600160a01b03821615155b156109d157600061091f84610545565b90506001600160a01b0383161580159061094b5750826001600160a01b0316816001600160a01b031614155b801561095e575061095c8184610517565b155b156109875760405163a9fbf51f60e01b81526001600160a01b038416600482015260240161036f565b81156109cf5783856001600160a01b0316826001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45b505b5050600090815260046020526040902080546001600160a01b0319166001600160a01b0392909216919091179055565b610a0c838383610b55565b6103f4576001600160a01b038316610a3a57604051637e27328960e01b81526004810182905260240161036f565b60405163177e802f60e01b81526001600160a01b03831660048201526024810182905260440161036f565b610a6f8383610bbb565b6103f433600085858561073d565b60008072184f03e93ff9f4daa797ed6e38ed64bf6a1f0160401b8310610abc5772184f03e93ff9f4daa797ed6e38ed64bf6a1f0160401b830492506040015b6d04ee2d6d415b85acef81000000008310610ae8576d04ee2d6d415b85acef8100000000830492506020015b662386f26fc100008310610b0657662386f26fc10000830492506010015b6305f5e1008310610b1e576305f5e100830492506008015b6127108310610b3257612710830492506004015b60648310610b44576064830492506002015b600a83106102795760010192915050565b60006001600160a01b03831615801590610bb35750826001600160a01b0316846001600160a01b03161480610b8f5750610b8f8484610517565b80610bb357506000828152600460205260409020546001600160a01b038481169116145b949350505050565b6001600160a01b038216610be557604051633250574960e11b81526000600482015260240161036f565b6000610bf38383600061058b565b90506001600160a01b038116156103f4576040516339e3563760e11b81526000600482015260240161036f565b6001600160e01b031981168114610c3657600080fd5b50565b600060208284031215610c4b57600080fd5b813561051081610c20565b60005b83811015610c71578181015183820152602001610c59565b50506000910152565b60008151808452610c92816020860160208601610c56565b601f01601f19169290920160200192915050565b6020815260006105106020830184610c7a565b600060208284031215610ccb57600080fd5b5035919050565b80356001600160a01b0381168114610ce957600080fd5b919050565b60008060408385031215610d0157600080fd5b610d0a83610cd2565b946020939093013593505050565b600080600060608486031215610d2d57600080fd5b610d3684610cd2565b9250610d4460208501610cd2565b929592945050506040919091013590565b600060208284031215610d6757600080fd5b61051082610cd2565b60008060408385031215610d8357600080fd5b610d8c83610cd2565b915060208301358015158114610da157600080fd5b809150509250929050565b634e487b7160e01b600052604160045260246000fd5b60008060008060808587031215610dd857600080fd5b610de185610cd2565b9350610def60208601610cd2565b925060408501359150606085013567ffffffffffffffff811115610e1257600080fd5b8501601f81018713610e2357600080fd5b803567ffffffffffffffff811115610e3d57610e3d610dac565b604051