@tokamak-network/thanos-contracts

{ "abi": [ { "inputs": [], "stateMutability": "nonpayable", "type": "constructor" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "uint8", "name": "version", "type": "uint8" } ], "name": "Initialized", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "address", "name": "account", "type": "address" } ], "name": "Paused", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "from", "type": "address" }, { "indexed": true, "internalType": "address", "name": "to", "type": "address" }, { "indexed": true, "internalType": "uint256", "name": "version", "type": "uint256" }, { "indexed": false, "internalType": "bytes", "name": "opaqueData", "type": "bytes" } ], "name": "TransactionDeposited", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": false, "internalType": "address", "name": "account", "type": "address" } ], "name": "Unpaused", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "bytes32", "name": "withdrawalHash", "type": "bytes32" }, { "indexed": false, "internalType": "bool", "name": "success", "type": "bool" } ], "name": "WithdrawalFinalized", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "bytes32", "name": "withdrawalHash", "type": "bytes32" }, { "indexed": true, "internalType": "address", "name": "from", "type": "address" }, { "indexed": true, "internalType": "address", "name": "to", "type": "address" } ], "name": "WithdrawalProven", "type": "event" }, { "inputs": [], "name": "GUARDIAN", "outputs": [ { "internalType": "address", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "L2_ORACLE", "outputs": [ { "internalType": "contract L2OutputOracle", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "SYSTEM_CONFIG", "outputs": [ { "internalType": "contract SystemConfig", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "_to", "type": "address" }, { "internalType": "uint256", "name": "_value", "type": "uint256" }, { "internalType": "uint64", "name": "_gasLimit", "type": "uint64" }, { "internalType": "bool", "name": "_isCreation", "type": "bool" }, { "internalType": "bytes", "name": "_data", "type": "bytes" } ], "name": "depositTransaction", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "depositedAmount", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "donateETH", "outputs": [], "stateMutability": "payable", "type": "function" }, { "inputs": [ { "components": [ { "internalType": "uint256", "name": "nonce", "type": "uint256" }, { "internalType": "address", "name": "sender", "type": "address" }, { "internalType": "address", "name": "target", "type": "address" }, { "internalType": "uint256", "name": "value", "type": "uint256" }, { "internalType": "uint256", "name": "gasLimit", "type": "uint256" }, { "internalType": "bytes", "name": "data", "type": "bytes" } ], "internalType": "struct Types.WithdrawalTransaction", "name": "_tx", "type": "tuple" } ], "name": "finalizeWithdrawalTransaction", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "bytes32", "name": "", "type": "bytes32" } ], "name": "finalizedWithdrawals", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "guardian", "outputs": [ { "internalType": "address", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "_nativeTokenAddress", "type": "address" }, { "internalType": "contract L2OutputOracle", "name": "_l2Oracle", "type": "address" }, { "internalType": "address", "name": "_guardian", "type": "address" }, { "internalType": "contract SystemConfig", "name": "_systemConfig", "type": "address" }, { "internalType": "bool", "name": "_paused", "type": "bool" } ], "name": "initialize", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "uint256", "name": "_l2OutputIndex", "type": "uint256" } ], "name": "isOutputFinalized", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "l2Oracle", "outputs": [ { "internalType": "contract L2OutputOracle", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "l2Sender", "outputs": [ { "internalType": "address", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "uint64", "name": "_byteCount", "type": "uint64" } ], "name": "minimumGasLimit", "outputs": [ { "internalType": "uint64", "name": "", "type": "uint64" } ], "stateMutability": "pure", "type": "function" }, { "inputs": [], "name": "nativeTokenAddress", "outputs": [ { "internalType": "address", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "_owner", "type": "address" }, { "internalType": "address", "name": "", "type": "address" }, { "internalType": "uint256", "name": "_amount", "type": "uint256" }, { "internalType": "bytes", "name": "_data", "type": "bytes" } ], "name": "onApprove", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "params", "outputs": [ { "internalType": "uint128", "name": "prevBaseFee", "type": "uint128" }, { "internalType": "uint64", "name": "prevBoughtGas", "type": "uint64" }, { "internalType": "uint64", "name": "prevBlockNum", "type": "uint64" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "pause", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "paused", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "components": [ { "internalType": "uint256", "name": "nonce", "type": "uint256" }, { "internalType": "address", "name": "sender", "type": "address" }, { "internalType": "address", "name": "target", "type": "address" }, { "internalType": "uint256", "name": "value", "type": "uint256" }, { "internalType": "uint256", "name": "gasLimit", "type": "uint256" }, { "internalType": "bytes", "name": "data", "type": "bytes" } ], "internalType": "struct Types.WithdrawalTransaction", "name": "_tx", "type": "tuple" }, { "internalType": "uint256", "name": "_l2OutputIndex", "type": "uint256" }, { "components": [ { "internalType": "bytes32", "name": "version", "type": "bytes32" }, { "internalType": "bytes32", "name": "stateRoot", "type": "bytes32" }, { "internalType": "bytes32", "name": "messagePasserStorageRoot", "type": "bytes32" }, { "internalType": "bytes32", "name": "latestBlockhash", "type": "bytes32" } ], "internalType": "struct Types.OutputRootProof", "name": "_outputRootProof", "type": "tuple" }, { "internalType": "bytes[]", "name": "_withdrawalProof", "type": "bytes[]" } ], "name": "proveWithdrawalTransaction", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "bytes32", "name": "", "type": "bytes32" } ], "name": "provenWithdrawals", "outputs": [ { "internalType": "bytes32", "name": "outputRoot", "type": "bytes32" }, { "internalType": "uint128", "name": "timestamp", "type": "uint128" }, { "internalType": "uint128", "name": "l2OutputIndex", "type": "uint128" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "bytes4", "name": "interfaceId", "type": "bytes4" } ], "name": "supportsInterface", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "pure", "type": "function" }, { "inputs": [], "name": "systemConfig", "outputs": [ { "internalType": "contract SystemConfig", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "bytes", "name": "_data", "type": "bytes" } ], "name": "unpackOnApproveData", "outputs": [ { "internalType": "uint32", "name": "_minGasLimit", "type": "uint32" }, { "internalType": "bytes", "name": "_message", "type": "bytes" } ], "stateMutability": "pure", "type": "function" }, { "inputs": [], "name": "unpause", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "version", "outputs": [ { "internalType": "string", "name": "", "type": "string" } ], "stateMutability": "view", "type": "function" }, { "stateMutability": "payable", "type": "receive" } ], "address": "0xaf691D829596c58448076f0cB5aE9dfee555723e", "args": [], "bytecode": "0x60806040523480156200001157600080fd5b50620000236000808080600162000029565b6200022b565b600054600390610100900460ff161580156200004c575060005460ff8083169116105b620000b55760405162461bcd60e51b815260206004820152602e60248201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160448201526d191e481a5b9a5d1a585b1a5e995960921b60648201526084015b60405180910390fd5b6000805461ffff191660ff831617610100908117909155603880546001600160a01b03808a166001600160a01b03199283161790925560328054821661dead1790556035805460368054898616908516179055603780548a861694169390931790925585151592891690930260ff19166001600160a81b0319909116171790556200013f62000188565b6000805461ff001916905560405160ff821681527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a1505050505050565b600054610100900460ff16620001f55760405162461bcd60e51b815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201526a6e697469616c697a696e6760a81b6064820152608401620000ac565b60408051606081018252633b9aca0080825260006020830152436001600160401b031691909201819052600160c01b0217600155565b615ed1806200023b6000396000f3fe6080604052600436106101a45760003560e01c80638456cb59116100e1578063a14238e71161008a578063e965084c11610064578063e965084c14610624578063e9e05c42146106b0578063f0498750146106d0578063fc5b5fda146106fb57600080fd5b8063a14238e71461051a578063a35d99df1461054a578063cff0ab961461058357600080fd5b806392a162cf116100bb57806392a162cf1461048d5780639b5f694a146104bb5780639bf62d82146104ed57600080fd5b80638456cb59146104585780638b4c40b0146103015780638c3152e91461046d57600080fd5b8063452a93201161014e57806354fd4d501161012857806354fd4d501461039d5780635c975abb146103f35780636dbffb781461040d578063724c184c1461042d57600080fd5b8063452a9320146103235780634870496f146103505780634d0047ee1461037057600080fd5b806333d7e2bd1161017f57806333d7e2bd146102bf5780633f4ba83a146102ec5780634273ca161461030357600080fd5b80621c2ff61461021557806301ffc9a71461026b5780631d01364c1461029b57600080fd5b36610210576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4e6f7420616c6c6f77206465706f73697420746f204552432d32303a2045544860448201526064015b60405180910390fd5b600080fd5b34801561022157600080fd5b50603554610100900473ffffffffffffffffffffffffffffffffffffffff165b60405173ffffffffffffffffffffffffffffffffffffffff90911681526020015b60405180910390f35b34801561027757600080fd5b5061028b61028636600461515e565b61071b565b6040519015158152602001610262565b3480156102a757600080fd5b506102b160395481565b604051908152602001610262565b3480156102cb57600080fd5b506036546102419073ffffffffffffffffffffffffffffffffffffffff1681565b3480156102f857600080fd5b506103016107b4565b005b34801561030f57600080fd5b5061028b61031e3660046151c5565b6108b9565b34801561032f57600080fd5b506037546102419073ffffffffffffffffffffffffffffffffffffffff1681565b34801561035c57600080fd5b5061030161036b36600461541f565b6109cc565b34801561037c57600080fd5b506038546102419073ffffffffffffffffffffffffffffffffffffffff1681565b3480156103a957600080fd5b506103e66040518060400160405280600681526020017f312e31302e30000000000000000000000000000000000000000000000000000081525081565b6040516102629190615571565b3480156103ff57600080fd5b5060355461028b9060ff1681565b34801561041957600080fd5b5061028b610428366004615584565b611001565b34801561043957600080fd5b5060375473ffffffffffffffffffffffffffffffffffffffff16610241565b34801561046457600080fd5b506103016110ba565b34801561047957600080fd5b5061030161048836600461559d565b6111bc565b34801561049957600080fd5b506104ad6104a83660046155da565b611c53565b60405161026292919061560f565b3480156104c757600080fd5b5060355461024190610100900473ffffffffffffffffffffffffffffffffffffffff1681565b3480156104f957600080fd5b506032546102419073ffffffffffffffffffffffffffffffffffffffff1681565b34801561052657600080fd5b5061028b610535366004615584565b60336020526000908152604090205460ff1681565b34801561055657600080fd5b5061056a61056536600461564b565b611c9c565b60405167ffffffffffffffff9091168152602001610262565b34801561058f57600080fd5b506001546105eb906fffffffffffffffffffffffffffffffff81169067ffffffffffffffff7001000000000000000000000000000000008204811691780100000000000000000000000000000000000000000000000090041683565b604080516fffffffffffffffffffffffffffffffff909416845267ffffffffffffffff9283166020850152911690820152606001610262565b34801561063057600080fd5b5061068261063f366004615584565b603460205260009081526040902080546001909101546fffffffffffffffffffffffffffffffff8082169170010000000000000000000000000000000090041683565b604080519384526fffffffffffffffffffffffffffffffff9283166020850152911690820152606001610262565b3480156106bc57600080fd5b506103016106cb366004615674565b611cb5565b3480156106dc57600080fd5b5060365473ffffffffffffffffffffffffffffffffffffffff16610241565b34801561070757600080fd5b506103016107163660046156f1565b611cc3565b60007fffffffff0000000000000000000000000000000000000000000000000000000082167f4273ca160000000000000000000000000000000000000000000000000000000014806107ae57507fffffffff0000000000000000000000000000000000000000000000000000000082167f01ffc9a700000000000000000000000000000000000000000000000000000000145b92915050565b60375473ffffffffffffffffffffffffffffffffffffffff16331461085b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602960248201527f4f7074696d69736d506f7274616c3a206f6e6c7920677561726469616e20636160448201527f6e20756e706175736500000000000000000000000000000000000000000000006064820152608401610207565b603580547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001690556040513381527f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa906020015b60405180910390a1565b60385460009073ffffffffffffffffffffffffffffffffffffffff163314610963576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602960248201527f6f6e6c7920616363657074206e617469766520746f6b656e20617070726f766560448201527f2063616c6c6261636b00000000000000000000000000000000000000000000006064820152608401610207565b6000806109a585858080601f016020809104026020016040519081016040528093929190818152602001838380828437600092019190915250611c5392505050565b915091506109be8889888563ffffffff16600086611ed7565b506001979650505050505050565b60355460ff1615610a39576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f4f7074696d69736d506f7274616c3a20706175736564000000000000000000006044820152606401610207565b3073ffffffffffffffffffffffffffffffffffffffff16856040015173ffffffffffffffffffffffffffffffffffffffff1603610af8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603f60248201527f4f7074696d69736d506f7274616c3a20796f752063616e6e6f742073656e642060448201527f6d6573736167657320746f2074686520706f7274616c20636f6e7472616374006064820152608401610207565b6035546040517fa25ae55700000000000000000000000000000000000000000000000000000000815260048101869052600091610100900473ffffffffffffffffffffffffffffffffffffffff169063a25ae55790602401606060405180830381865afa158015610b6d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b919190615782565b519050610bab610ba6368690038601866157e7565b6121b1565b8114610c39576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602960248201527f4f7074696d69736d506f7274616c3a20696e76616c6964206f7574707574207260448201527f6f6f742070726f6f6600000000000000000000000000000000000000000000006064820152608401610207565b6000610c448761220d565b6000818152603460209081526040918290208251606081018452815481526001909101546fffffffffffffffffffffffffffffffff8082169383018490527001000000000000000000000000000000009091041692810192909252919250901580610d5e5750805160355460408084015190517fa25ae5570000000000000000000000000000000000000000000000000000000081526fffffffffffffffffffffffffffffffff909116600482015261010090910473ffffffffffffffffffffffffffffffffffffffff169063a25ae55790602401606060405180830381865afa158015610d36573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d5a9190615782565b5114155b610dea576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603760248201527f4f7074696d69736d506f7274616c3a207769746864726177616c20686173682060448201527f68617320616c7265616479206265656e2070726f76656e0000000000000000006064820152608401610207565b60408051602081018490526000918101829052606001604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe081840301815282825280516020918201209083018190529250610eb39101604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0818403018152828201909152600182527f0100000000000000000000000000000000000000000000000000000000000000602083015290610ea9888a61584d565b8a6040013561223d565b610f3f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603260248201527f4f7074696d69736d506f7274616c3a20696e76616c696420776974686472617760448201527f616c20696e636c7573696f6e2070726f6f6600000000000000000000000000006064820152608401610207565b604080516060810182528581526fffffffffffffffffffffffffffffffff42811660208084019182528c831684860190815260008981526034835286812095518655925190518416700100000000000000000000000000000000029316929092176001909301929092558b830151908c0151925173ffffffffffffffffffffffffffffffffffffffff918216939091169186917f67a6208cfcc0801d50f6cbe764733f4fddf66ac0b04442061a8a8c0cb6b63f629190a4505050505050505050565b6035546040517fa25ae557000000000000000000000000000000000000000000000000000000008152600481018390526000916107ae9161010090910473ffffffffffffffffffffffffffffffffffffffff169063a25ae55790602401606060405180830381865afa15801561107b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061109f9190615782565b602001516fffffffffffffffffffffffffffffffff16612261565b60375473ffffffffffffffffffffffffffffffffffffffff163314611161576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602760248201527f4f7074696d69736d506f7274616c3a206f6e6c7920677561726469616e20636160448201527f6e207061757365000000000000000000000000000000000000000000000000006064820152608401610207565b603580547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660011790556040513381527f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258906020016108af565b60355460ff1615611229576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601660248201527f4f7074696d69736d506f7274616c3a20706175736564000000000000000000006044820152606401610207565b60325473ffffffffffffffffffffffffffffffffffffffff1661dead146112d2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603f60248201527f4f7074696d69736d506f7274616c3a2063616e206f6e6c79207472696767657260448201527f206f6e65207769746864726177616c20706572207472616e73616374696f6e006064820152608401610207565b60006112dd8261220d565b60008181526034602090815260408083208151606081018352815481526001909101546fffffffffffffffffffffffffffffffff808216948301859052700100000000000000000000000000000000909104169181019190915292935090036113c8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603260248201527f4f7074696d69736d506f7274616c3a207769746864726177616c20686173206e60448201527f6f74206265656e2070726f76656e2079657400000000000000000000000000006064820152608401610207565b603560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663887862726040518163ffffffff1660e01b8152600401602060405180830381865afa158015611435573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061145991906158d1565b81602001516fffffffffffffffffffffffffffffffff161015611524576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604b60248201527f4f7074696d69736d506f7274616c3a207769746864726177616c2074696d657360448201527f74616d70206c657373207468616e204c32204f7261636c65207374617274696e60648201527f672074696d657374616d70000000000000000000000000000000000000000000608482015260a401610207565b61154381602001516fffffffffffffffffffffffffffffffff16612261565b6115f5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604560248201527f4f7074696d69736d506f7274616c3a2070726f76656e2077697468647261776160448201527f6c2066696e616c697a6174696f6e20706572696f6420686173206e6f7420656c60648201527f6170736564000000000000000000000000000000000000000000000000000000608482015260a401610207565b60355460408281015190517fa25ae5570000000000000000000000000000000000000000000000000000000081526fffffffffffffffffffffffffffffffff9091166004820152600091610100900473ffffffffffffffffffffffffffffffffffffffff169063a25ae55790602401606060405180830381865afa158015611681573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906116a59190615782565b825181519192501461175f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604960248201527f4f7074696d69736d506f7274616c3a206f757470757420726f6f742070726f7660448201527f656e206973206e6f74207468652073616d652061732063757272656e74206f7560648201527f7470757420726f6f740000000000000000000000000000000000000000000000608482015260a401610207565b61177e81602001516fffffffffffffffffffffffffffffffff16612261565b611830576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604360248201527f4f7074696d69736d506f7274616c3a206f75747075742070726f706f73616c2060448201527f66696e616c697a6174696f6e20706572696f6420686173206e6f7420656c617060648201527f7365640000000000000000000000000000000000000000000000000000000000608482015260a401610207565b60008381526033602052604090205460ff16156118cf576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603560248201527f4f7074696d69736d506f7274616c3a207769746864726177616c20686173206160448201527f6c7265616479206265656e2066696e616c697a656400000000000000000000006064820152608401610207565b600083815260336020908152604090912080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660011790558401516032805473ffffffffffffffffffffffffffffffffffffffff9092167fffffffffffffffffffffffff0000000000000000000000000000000000000000909216919091179055606084015115611b295760385460408581015190517fdd62ed3e00000000000000000000000000000000000000000000000000000000815230600482015273ffffffffffffffffffffffffffffffffffffffff80831660248301529092169163095ea7b39190839063dd62ed3e90604401602060405180830381865afa1580156119e0573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611a0491906158d1565b8760600151611a139190615919565b6040517fffffffff0000000000000000000000000000000000000000000000000000000060e085901b16815273ffffffffffffffffffffffffffffffffffffffff909216600483015260248201526044016020604051808303816000875af1158015611a83573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611aa79190615931565b611b0d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f4f7074696d69736d20617070726f76656420746f6b656e206661696c656400006044820152606401610207565b836060015160396000828254611b23919061594e565b90915550505b6000611b448560400151866080015160008860a00151612306565b603280547fffffffffffffffffffffffff00000000000000000000000000000000000000001661dead17905560405190915084907fdb5c7652857aa163daadd670e116628fb42e869d8ac4251ef8971d9e5727df1b90611ba990841515815260200190565b60405180910390a280158015611bbf5750326001145b15611c4c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602160248201527f4f7074696d69736d506f7274616c3a207769746864726177616c206661696c6560448201527f64000000000000000000000000000000000000000000000000000000000000006064820152608401610207565b5050505050565b60006060600483511015611c7857505060408051602081019091526000815262030d40905b825160208401805160e01c93509060048114611c95576004820192505b5050915091565b6000611ca9826010615965565b6107ae90615208615995565b611c4c338686868686611ed7565b600054600390610100900460ff16158015611ce5575060005460ff8083169116105b611d71576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602e60248201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160448201527f647920696e697469616c697a65640000000000000000000000000000000000006064820152608401610207565b600080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00001660ff8316176101009081179091556038805473ffffffffffffffffffffffffffffffffffffffff808a167fffffffffffffffffffffffff00000000000000000000000000000000000000009283161790925560328054821661dead1790556035805460368054898616908516179055603780548a86169416939093179092558515159289169093027fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00167fffffffffffffffffffffff00000000000000000000000000000000000000000090911617179055611e71612364565b600080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ff16905560405160ff821681527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a1505050505050565b8260005a90508515611f2057603854611f089073ffffffffffffffffffffffffffffffffffffffff16893089612447565b8560396000828254611f1a9190615919565b90915550505b8315611fcc5773ffffffffffffffffffffffffffffffffffffffff871615611fcc57604080517f08c379a00000000000000000000000000000000000000000000000000000000081526020600482015260248101919091527f4f7074696d69736d506f7274616c3a206d7573742073656e6420746f2061646460448201527f72657373283029207768656e206372656174696e67206120636f6e74726163746064820152608401610207565b611fd68351611c9c565b67ffffffffffffffff168567ffffffffffffffff161015612079576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f4f7074696d69736d506f7274616c3a20676173206c696d697420746f6f20736d60448201527f616c6c00000000000000000000000000000000000000000000000000000000006064820152608401610207565b6201d4c0835111156120e7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601e60248201527f4f7074696d69736d506f7274616c3a206461746120746f6f206c6172676500006044820152606401610207565b33328114612108575033731111000000000000000000000000000000001111015b600087888888886040516020016121239594939291906159c1565b604051602081830303815290604052905060008973ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fb3813568d9991fc951961fcb4c784893574240a28925604d09fc577c55bb7c32846040516121939190615571565b60405180910390a450506121a782826124e2565b5050505050505050565b600081600001518260200151836040015184606001516040516020016121f0949392919093845260208401929092526040830152606082015260800190565b604051602081830303815290604052805190602001209050919050565b80516020808301516040808501516060860151608087015160a088015193516000976121f0979096959101615a26565b60008061224986612805565b905061225781868686612837565b9695505050505050565b6000603560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f4daa2916040518163ffffffff1660e01b8152600401602060405180830381865afa1580156122d0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906122f491906158d1565b6122fe9083615919565b421192915050565b6000806000612316866000612867565b90508061234c576308c379a06000526020805278185361666543616c6c3a204e6f7420656e6f756768206761736058526064601cfd5b600080855160208701888b5af1979650505050505050565b600054610100900460ff166123fb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201527f6e697469616c697a696e670000000000000000000000000000000000000000006064820152608401610207565b60408051606081018252633b9aca00808252600060208301524367ffffffffffffffff169190920181905278010000000000000000000000000000000000000000000000000217600155565b6040805173ffffffffffffffffffffffffffffffffffffffff85811660248301528416604482015260648082018490528251808303909101815260849091019091526020810180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff167f23b872dd000000000000000000000000000000000000000000000000000000001790526124dc908590612885565b50505050565b600154600090612518907801000000000000000000000000000000000000000000000000900467ffffffffffffffff164361594e565b90506000612524612996565b90506000816020015160ff16826000015163ffffffff166125459190615aac565b9050821561267c5760015460009061257c908390700100000000000000000000000000000000900467ffffffffffffffff16615b14565b90506000836040015160ff16836125939190615b88565b6001546125b39084906fffffffffffffffffffffffffffffffff16615b88565b6125bd9190615aac565b60015490915060009061260e906125e79084906fffffffffffffffffffffffffffffffff16615c44565b866060015163ffffffff168760a001516fffffffffffffffffffffffffffffffff16612a5c565b9050600186111561263d5761263a6125e782876040015160ff1660018a612635919061594e565b612a7b565b90505b6fffffffffffffffffffffffffffffffff16780100000000000000000000000000000000000000000000000067ffffffffffffffff4316021760015550505b600180548691906010906126af908490700100000000000000000000000000000000900467ffffffffffffffff16615995565b92506101000a81548167ffffffffffffffff021916908367ffffffffffffffff160217905550816000015163ffffffff16600160000160109054906101000a900467ffffffffffffffff1667ffffffffffffffff161315612792576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603e60248201527f5265736f757263654d65746572696e673a2063616e6e6f7420627579206d6f7260448201527f6520676173207468616e20617661696c61626c6520676173206c696d697400006064820152608401610207565b6001546000906127be906fffffffffffffffffffffffffffffffff1667ffffffffffffffff8816615cb8565b905060006127d048633b9aca00612ad0565b6127da9083615cf5565b905060005a6127e9908861594e565b9050808211156121a7576121a7612800828461594e565b612ae7565b6060818051906020012060405160200161282191815260200190565b6040516020818303038152906040529050919050565b600061285e84612848878686612b10565b8051602091820120825192909101919091201490565b95945050505050565b600080603f83619c4001026040850201603f5a021015949350505050565b60006128e7826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c65648152508573ffffffffffffffffffffffffffffffffffffffff1661358e9092919063ffffffff16565b80519091501561299157808060200190518101906129059190615931565b612991576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e60448201527f6f742073756363656564000000000000000000000000000000000000000000006064820152608401610207565b505050565b6040805160c08082018352600080835260208301819052828401819052606083018190526080830181905260a083015260365483517fcc731b020000000000000000000000000000000000000000000000000000000081529351929373ffffffffffffffffffffffffffffffffffffffff9091169263cc731b02926004808401939192918290030181865afa158015612a33573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612a579190615d2e565b905090565b6000612a71612a6b858561359d565b836135ad565b90505b9392505050565b6000670de0b6b3a7640000612abc612a938583615aac565b612aa590670de0b6b3a7640000615b14565b612ab785670de0b6b3a7640000615b88565b6135bc565b612ac69086615b88565b612a719190615aac565b600081831015612ae05781612a74565b5090919050565b6000805a90505b825a612afa908361594e565b101561299157612b0982615dcd565b9150612aee565b60606000845111612b7d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601560248201527f4d65726b6c65547269653a20656d707479206b657900000000000000000000006044820152606401610207565b6000612b88846135ed565b90506000612b95866136d9565b9050600084604051602001612bac91815260200190565b60405160208183030381529060405290506000805b8451811015613505576000858281518110612bde57612bde615e05565b602002602001015190508451831115612c79576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602e60248201527f4d65726b6c65547269653a206b657920696e646578206578636565647320746f60448201527f74616c206b6579206c656e6774680000000000000000000000000000000000006064820152608401610207565b82600003612d325780518051602091820120604051612cc792612ca192910190815260200190565b604051602081830303815290604052858051602091820120825192909101919091201490565b612d2d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f4d65726b6c65547269653a20696e76616c696420726f6f7420686173680000006044820152606401610207565b612e89565b805151602011612de85780518051602091820120604051612d5c92612ca192910190815260200190565b612d2d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602760248201527f4d65726b6c65547269653a20696e76616c6964206c6172676520696e7465726e60448201527f616c2068617368000000000000000000000000000000000000000000000000006064820152608401610207565b805184516020808701919091208251919092012014612e89576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f4d65726b6c65547269653a20696e76616c696420696e7465726e616c206e6f6460448201527f65206861736800000000000000000000000000000000000000000000000000006064820152608401610207565b612e9560106001615919565b81602001515103613071578451830361300957612ecf8160200151601081518110612ec257612ec2615e05565b602002602001015161373c565b96506000875111612f62576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603b60248201527f4d65726b6c65547269653a2076616c7565206c656e677468206d75737420626560448201527f2067726561746572207468616e207a65726f20286272616e63682900000000006064820152608401610207565b60018651612f70919061594e565b8214612ffe576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603a60248201527f4d65726b6c65547269653a2076616c7565206e6f6465206d757374206265206c60448201527f617374206e6f646520696e2070726f6f6620286272616e6368290000000000006064820152608401610207565b505050505050612a74565b600085848151811061301d5761301d615e05565b602001015160f81c60f81b60f81c9050600082602001518260ff168151811061304857613048615e05565b6020026020010151905061305b8161389c565b9550613068600186615919565b945050506134f2565b60028160200151510361346a576000613089826138c1565b90506000816000815181106130a0576130a0615e05565b016020015160f81c905060006130b7600283615e34565b6130c2906002615e56565b905060006130d3848360ff166138e5565b905060006130e18a896138e5565b905060006130ef838361391b565b905080835114613181576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603a60248201527f4d65726b6c65547269653a20706174682072656d61696e646572206d7573742060448201527f736861726520616c6c206e6962626c65732077697468206b65790000000000006064820152608401610207565b60ff851660021480613196575060ff85166003145b15613385578082511461322b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603d60248201527f4d65726b6c65547269653a206b65792072656d61696e646572206d757374206260448201527f65206964656e746963616c20746f20706174682072656d61696e6465720000006064820152608401610207565b6132458760200151600181518110612ec257612ec2615e05565b9c5060008d51116132d8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603960248201527f4d65726b6c65547269653a2076616c7565206c656e677468206d75737420626560448201527f2067726561746572207468616e207a65726f20286c65616629000000000000006064820152608401610207565b60018c516132e6919061594e565b8814613374576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603860248201527f4d65726b6c65547269653a2076616c7565206e6f6465206d757374206265206c60448201527f617374206e6f646520696e2070726f6f6620286c6561662900000000000000006064820152608401610207565b505050505050505050505050612a74565b60ff85161580613398575060ff85166001145b156133d7576133c487602001516001815181106133b7576133b7615e05565b602002602001015161389c565b99506133d0818a615919565b985061345f565b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603260248201527f4d65726b6c65547269653a2072656365697665642061206e6f6465207769746860448201527f20616e20756e6b6e6f776e2070726566697800000000000000000000000000006064820152608401610207565b5050505050506134f2565b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602860248201527f4d65726b6c65547269653a20726563656976656420616e20756e70617273656160448201527f626c65206e6f64650000000000000000000000000000000000000000000000006064820152608401610207565b50806134fd81615dcd565b915050612bc1565b506040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f4d65726b6c65547269653a2072616e206f7574206f662070726f6f6620656c6560448201527f6d656e74730000000000000000000000000000000000000000000000000000006064820152608401610207565b6060612a7184846000856139cf565b600081831215612ae05781612a74565b6000818312612ae05781612a74565b6000612a74670de0b6b3a7640000836135d486613b65565b6135de9190615b88565b6135e89190615aac565b613da9565b80516060908067ffffffffffffffff81111561360b5761360b615264565b60405190808252806020026020018201604052801561365057816020015b60408051808201909152606080825260208201528152602001906001900390816136295790505b50915060005b818110156136d257604051806040016040528085838151811061367b5761367b615e05565b602002602001015181526020016136aa86848151811061369d5761369d615e05565b6020026020010151613fe8565b8152508382815181106136bf576136bf615e05565b6020908102919091010152600101613656565b5050919050565b606080604051905082518060011b603f8101601f1916830160405280835250602084016020830160005b83811015613731578060011b82018184015160001a8060041c8253600f811660018301535050600101613703565b509295945050505050565b6060600080600061374c85613ffb565b91945092509050600081600181111561376757613767615e79565b146137f4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603960248201527f524c505265616465723a206465636f646564206974656d207479706520666f7260448201527f206279746573206973206e6f7420612064617461206974656d000000000000006064820152608401610207565b6137fe8284615919565b85511461388d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152603460248201527f524c505265616465723a2062797465732076616c756520636f6e7461696e732060448201527f616e20696e76616c69642072656d61696e6465720000000000000000000000006064820152608401610207565b61285e85602001518484614a68565b606060208260000151106138b8576138b38261373c565b6107ae565b6107ae82614afc565b60606107ae6138e08360200151600081518110612ec257612ec2615e05565b6136d9565b60608251821061390457506040805160208101909152600081526107ae565b612a748383848651613916919061594e565b614b12565b600080825184511061392e578251613931565b83515b90505b80821080156139b8575082828151811061395057613950615e05565b602001015160f81c60f81b7effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff191684838151811061398f5761398f615e05565b01602001517fff0000000000000000000000000000000000000000000000000000000000000016145b156139c857816001019150613934565b5092915050565b606082471015613a61576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f416464726573733a20696e73756666696369656e742062616c616e636520666f60448201527f722063616c6c00000000000000000000000000000000000000000000000000006064820152608401610207565b73ffffffffffffffffffffffffffffffffffffffff85163b613adf576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e74726163740000006044820152606401610207565b6000808673ffffffffffffffffffffffffffffffffffffffff168587604051613b089190615ea8565b60006040518083038185875af1925050503d8060008114613b45576040519150601f19603f3d011682016040523d82523d6000602084013e613b4a565b606091505b5091509150613b5a828286614cea565b979650505050505050565b6000808213613bd0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600960248201527f554e444546494e454400000000000000000000000000000000000000000000006044820152606401610207565b60006060613bdd84614d3d565b03609f8181039490941b90931c6c465772b2bbbb5f824b15207a3081018102606090811d6d0388eaa27412d5aca026815d636e018202811d6d0df99ac502031bf953eff472fdcc018202811d6d13cdffb29d51d99322bdff5f2211018202811d6d0a0f742023def783a307a986912e018202811d6d01920d8043ca89b5239253284e42018202811d6c0b7a86d7375468fac667a0a527016c29508e458543d8aa4df2abee7883018302821d6d0139601a2efabe717e604cbb4894018302821d6d02247f7a7b6594320649aa03aba1018302821d7fffffffffffffffffffffffffffffffffffffff73c0c716a594e00d54e3c4cbc9018302821d7ffffffffffffffffffffffffffffffffffffffdc7b88c420e53a9890533129f6f01830290911d7fffffffffffffffffffffffffffffffffffffff465fda27eb4d63ded474e5f832019091027ffffffffffffffff5f6af8f7b3396644f18e157960000000000000000000000000105711340daa0d5f769dba1915cef59f0815a5506027d0267a36c0c95b3975ab3ee5b203a7614a3f75373f047d803ae7b6687f2b393909302929092017d57115e47018c7177eebf7cd370a3356a1b7863008a5ae8028c72b88642840160ae1d92915050565b60007ffffffffffffffffffffffffffffffffffffffffffffffffdb731c958f34d94c18213613dda57506000919050565b680755bf798b4a1bf1e58212613e4c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152600c60248201527f4558505f4f564552464c4f5700000000000000000000000000000000000000006044820152606401610207565b6503782dace9d9604e83901b059150600060606bb17217f7d1cf79abc9e3b39884821b056b80000000000000000000000001901d6bb17217f7d1cf79abc9e3b39881029093037fffffffffffffffffffffffffffffffffffffffdbf3ccf1604d263450f02a550481018102606090811d6d0277594991cfc85f6e2461837cd9018202811d7fffffffffffffffffffffffffffffffffffffe5adedaa1cb095af9e4da10e363c018202811d6db1bbb201f443cf962f1a1d3db4a5018202811d7ffffffffffffffffffffffffffffffffffffd38dc772608b0ae56cce01296c0eb018202811d6e05180bb14799ab47a8a8cb2a527d57016d02d16720577bd19bf614176fe9ea6c10fe68e7fd37d0007b713f765084018402831d9081019084017ffffffffffffffffffffffffffffffffffffffe2c69812cf03b0763fd454a8f7e010290911d6e0587f503bb6ea29d25fcb7401964500190910279d835ebba824c98fb31b83b2ca45c000000000000000000000000010574029d9dc38563c32e5c2f6dc192ee70ef65f9978af30260c3939093039290921c92915050565b60606107ae613ff683614e13565b614efc565b6000806000808460000151116140b9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604a60248201527f524c505265616465723a206c656e677468206f6620616e20524c50206974656d60448201527f206d7573742062652067726561746572207468616e207a65726f20746f20626560648201527f206465636f6461626c6500000000000000000000000000000000000000000000608482015260a401610207565b6020840151805160001a607f81116140de576000600160009450945094505050614a61565b60b781116142ec5760006140f360808361594e565b9050808760000151116141ae576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604e60248201527f524c505265616465723a206c656e677468206f6620636f6e74656e74206d757360448201527f742062652067726561746572207468616e20737472696e67206c656e6774682060648201527f2873686f727420737472696e6729000000000000000000000000000000000000608482015260a401610207565b6001838101517fff0000000000000000000000000000000000000000000000000000000000000016908214158061422757507f80000000000000000000000000000000000000000000000000000000000000007fff00000000000000000000000000000000000000000000000000000000000000821610155b6142d9576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152604d60248201527f524c505265616465723a20696e76616c6964207072656669782c2073696e676c60448201527f652062797465203c203078383020617265206e6f74207072656669786564202860648201527f73686f727420737472696e672900000000000000000000000000000000000000608482015260a401610207565b5060019550935060009250614a61915050565b60bf811161463a57600061