Skip to content

N
nebula
Commit f1fd2a38 authored by clabby's avatar clabby Committed by GitHub
Browse files
Options

chore(ctb): Cleanup `FaultDisputeGame` (#10208)

parent 99598729
Hide whitespace changes
Inline Side-by-side
Showing with 100 additions and 164 deletions
op-bindings/bindings/faultdisputegame.go
View file @ f1fd2a38
This source diff could not be displayed because it is too large. You can view the blob instead.
op-bindings/bindings/faultdisputegame_more.go
View file @ f1fd2a38
......@@ -13,7 +13,7 @@ const FaultDisputeGameStorageLayoutJSON = "{\"storage\":[{\"astId\":1000,\"contr
var FaultDisputeGameStorageLayout = new(solc.StorageLayout)
var FaultDisputeGameDeployedBin = "0x60806040526004361061022f5760003560e01c80638b85902b11610126578063d5d44d80116100a7578063ec5e630811610079578063fa24f74311610061578063fa24f74314610837578063fa315aa91461085b578063fdffbb281461088e57005b8063ec5e6308146107e4578063f8f43ff61461081757005b8063d5d44d8014610731578063d6ae3cd51461075e578063d8cc1a3c14610791578063dabd396d146107b157005b8063bd8da956116100f8578063c55cd0c7116100e0578063c55cd0c714610673578063c6f0308c14610686578063cf09e0d01461071057005b8063bd8da95614610633578063c395e1ca1461065357005b80638b85902b1461053f5780638d450a951461057f578063bbdc02db146105b2578063bcef3b55146105f357005b806357da950e116101b05780636361506d1161018257806370872aa51161016a57806370872aa51461050d5780638129fc1c146105225780638980e0cc1461052a57005b80636361506d1461049a5780636b6716c0146104da57005b806357da950e14610422578063609d33341461045257806360e2746414610467578063632247ea1461048757005b806335fef567116102015780633a768463116101e95780633a768463146103665780633fc8cef31461039957806354fd4d50146103cc57005b806335fef567146102f257806337b1b2291461030557005b806319effeb414610238578063200d2ed21461028357806325fc2ace146102be5780632810e1d6146102dd57005b3661023657005b005b34801561024457600080fd5b506000546102659068010000000000000000900467ffffffffffffffff1681565b60405167ffffffffffffffff90911681526020015b60405180910390f35b34801561028f57600080fd5b506000546102b190700100000000000000000000000000000000900460ff1681565b60405161027a9190614114565b3480156102ca57600080fd5b506007545b60405190815260200161027a565b3480156102e957600080fd5b506102b16108ae565b610236610300366004614155565b610b53565b34801561031157600080fd5b50367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81013560f01c90033560601c5b60405173ffffffffffffffffffffffffffffffffffffffff909116815260200161027a565b34801561037257600080fd5b507f0000000000000000000000000000000000000000000000000000000000000000610341565b3480156103a557600080fd5b507f0000000000000000000000000000000000000000000000000000000000000000610341565b3480156103d857600080fd5b506104156040518060400160405280600681526020017f302e31362e31000000000000000000000000000000000000000000000000000081525081565b60405161027a91906141e2565b34801561042e57600080fd5b5060075460085461043d919082565b6040805192835260208301919091520161027a565b34801561045e57600080fd5b50610415610b68565b34801561047357600080fd5b5061023661048236600461421a565b610b76565b610236610495366004614253565b610d22565b3480156104a657600080fd5b50367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81013560f01c9003603401356102cf565b3480156104e657600080fd5b507f0000000000000000000000000000000000000000000000000000000000000000610265565b34801561051957600080fd5b506008546102cf565b610236611622565b34801561053657600080fd5b506001546102cf565b34801561054b57600080fd5b50367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81013560f01c9003605401356102cf565b34801561058b57600080fd5b507f00000000000000000000000000000000000000000000000000000000000000006102cf565b3480156105be57600080fd5b5060405163ffffffff7f000000000000000000000000000000000000000000000000000000000000000016815260200161027a565b3480156105ff57600080fd5b50367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81013560f01c9003601401356102cf565b34801561063f57600080fd5b5061026561064e366004614288565b611b56565b34801561065f57600080fd5b506102cf61066e3660046142a1565b611d36565b610236610681366004614155565b611f19565b34801561069257600080fd5b506106a66106a1366004614288565b611f25565b6040805163ffffffff909816885273ffffffffffffffffffffffffffffffffffffffff968716602089015295909416948601949094526fffffffffffffffffffffffffffffffff9182166060860152608085015291821660a08401521660c082015260e00161027a565b34801561071c57600080fd5b506000546102659067ffffffffffffffff1681565b34801561073d57600080fd5b506102cf61074c36600461421a565b60026020526000908152604090205481565b34801561076a57600080fd5b507f00000000000000000000000000000000000000000000000000000000000000006102cf565b34801561079d57600080fd5b506102366107ac36600461431c565b611fbc565b3480156107bd57600080fd5b507f0000000000000000000000000000000000000000000000000000000000000000610265565b3480156107f057600080fd5b507f00000000000000000000000000000000000000000000000000000000000000006102cf565b34801561082357600080fd5b506102366108323660046143a6565b6125eb565b34801561084357600080fd5b5061084c612a4b565b60405161027a939291906143d2565b34801561086757600080fd5b507f00000000000000000000000000000000000000000000000000000000000000006102cf565b34801561089a57600080fd5b506102366108a9366004614288565b612aab565b600080600054700100000000000000000000000000000000900460ff1660028111156108dc576108dc6140e5565b14610913576040517f67fe195000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6000805260056020527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc5460ff16610977576040517f9a07664600000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1660016000815481106109a3576109a36143f7565b6000918252602090912060059091020154640100000000900473ffffffffffffffffffffffffffffffffffffffff16146109de5760016109e1565b60025b6000805467ffffffffffffffff421668010000000000000000027fffffffffffffffffffffffffffffffff0000000000000000ffffffffffffffff82168117835592935083927fffffffffffffffffffffffffffffff00ffffffffffffffffffffffffffffffff167fffffffffffffffffffffffffffffff000000000000000000ffffffffffffffff90911617700100000000000000000000000000000000836002811115610a9257610a926140e5565b021790556002811115610aa757610aa76140e5565b6040517f5e186f09b9c93491f14e277eea7faa5de6a2d4bda75a79af7a3684fbfb42da6090600090a27f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663838c2d1e6040518163ffffffff1660e01b8152600401600060405180830381600087803b158015610b3857600080fd5b505af1158015610b4c573d6000803e3d6000fd5b5050505090565b610b5f82826000610d22565b5050565b905090565b6060610b6360546020612ebd565b73ffffffffffffffffffffffffffffffffffffffff8116600090815260026020526040812080549082905590819003610bdb576040517f17bfe5f700000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6040517ff3fef3a300000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8381166004830152602482018390527f0000000000000000000000000000000000000000000000000000000000000000169063f3fef3a390604401600060405180830381600087803b158015610c6b57600080fd5b505af1158015610c7f573d6000803e3d6000fd5b5050505060008273ffffffffffffffffffffffffffffffffffffffff168260405160006040518083038185875af1925050503d8060008114610cdd576040519150601f19603f3d011682016040523d82523d6000602084013e610ce2565b606091505b5050905080610d1d576040517f83e6cc6b00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b505050565b60008054700100000000000000000000000000000000900460ff166002811115610d4e57610d4e6140e5565b14610d85576040517f67fe195000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600060018481548110610d9a57610d9a6143f7565b600091825260208083206040805160e0810182526005909402909101805463ffffffff808216865273ffffffffffffffffffffffffffffffffffffffff6401000000009092048216948601949094526001820154169184019190915260028101546fffffffffffffffffffffffffffffffff90811660608501526003820154608085015260049091015480821660a0850181905270010000000000000000000000000000000090910490911660c0840152919350909190610e5f9083908690612f0f16565b90506000610eff826fffffffffffffffffffffffffffffffff167e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b60ff169050861580610f3a5750610f377f00000000000000000000000000000000000000000000000000000000000000006002614455565b81145b8015610f44575084155b15610f7b576040517fa42637bc00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b7f0000000000000000000000000000000000000000000000000000000000000000811115610fd5576040517f56f57b2b00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6110007f00000000000000000000000000000000000000000000000000000000000000006001614455565b81036110125761101286888588612f17565b3461101c83611d36565b14611053576040517f8620aa1900000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600061105e88611b56565b905067ffffffffffffffff7f00000000000000000000000000000000000000000000000000000000000000008116908216036110c6576040517f3381d11400000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b67ffffffffffffffff7f00000000000000000000000000000000000000000000000000000000000000001667ffffffffffffffff7f000000000000000000000000000000000000000000000000000000000000000016611126919061446d565b67ffffffffffffffff166111418267ffffffffffffffff1690565b67ffffffffffffffff16111561122357600061117e60017f0000000000000000000000000000000000000000000000000000000000000000614496565b83146111b45767ffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000166111e9565b6111e97f000000000000000000000000000000000000000000000000000000000000000067ffffffffffffffff1660026144ad565b905061121f817f000000000000000000000000000000000000000000000000000000000000000067ffffffffffffffff1661446d565b9150505b6000604082901b42176000898152608086901b6fffffffffffffffffffffffffffffffff8c1617602052604081209192509060008181526003602052604090205490915060ff16156112a1576040517f80497e3b00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60016003600083815260200190815260200160002060006101000a81548160ff02191690831515021790555060016040518060e001604052808c63ffffffff168152602001600073ffffffffffffffffffffffffffffffffffffffff1681526020013373ffffffffffffffffffffffffffffffffffffffff168152602001346fffffffffffffffffffffffffffffffff1681526020018b8152602001876fffffffffffffffffffffffffffffffff168152602001846fffffffffffffffffffffffffffffffff16815250908060018154018082558091505060019003906000526020600020906005020160009091909190915060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060408201518160010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060608201518160020160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff1602179055506080820151816003015560a08201518160040160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060c08201518160040160106101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff1602179055505050600460008b8152602001908152602001600020600180805490506115369190614496565b81546001810183556000928352602083200155604080517fd0e30db0000000000000000000000000000000000000000000000000000000008152905173ffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000169263d0e30db09234926004808301939282900301818588803b1580156115ce57600080fd5b505af11580156115e2573d6000803e3d6000fd5b50506040513393508c92508d91507f9b3245740ec3b155098a55be84957a4da13eaf7f14a8bc6f53126c0b9350f2be90600090a450505050505050505050565b60065460ff161561165f576040517f0dc149f000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6040517f7258a80700000000000000000000000000000000000000000000000000000000815263ffffffff7f0000000000000000000000000000000000000000000000000000000000000000166004820152600090819073ffffffffffffffffffffffffffffffffffffffff7f00000000000000000000000000000000000000000000000000000000000000001690637258a807906024016040805180830381865afa158015611713573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061173791906144dd565b909250905081611773576040517f6a6bc3b200000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b604080518082019091528281526020018190526007829055600881905536607a146117a657639824bdab6000526004601cfd5b80367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81013560f01c90036054013511611840576040517ff40239db000000000000000000000000000000000000000000000000000000008152367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81013560f01c90036014013560048201526024015b60405180910390fd5b6040805160e08101825263ffffffff8082526000602083018181527ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe369081013560f01c90038035606090811c868801908152346fffffffffffffffffffffffffffffffff81811693890193845260149094013560808901908152600160a08a0181815242871660c08c0190815282548084018455928a529a5160059092027fb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf681018054995173ffffffffffffffffffffffffffffffffffffffff908116640100000000027fffffffffffffffff000000000000000000000000000000000000000000000000909b1694909c16939093179890981790915592517fb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf787018054918a167fffffffffffffffffffffffff000000000000000000000000000000000000000090921691909117905592517fb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf8860180549186167fffffffffffffffffffffffffffffffff0000000000000000000000000000000090921691909117905591517fb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf985015551955182167001000000000000000000000000000000000295909116949094177fb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cfa9091015583517fd0e30db000000000000000000000000000000000000000000000000000000000815293517f00000000000000000000000000000000000000000000000000000000000000009092169363d0e30db093926004828101939282900301818588803b158015611ada57600080fd5b505af1158015611aee573d6000803e3d6000fd5b5050600080547fffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000164267ffffffffffffffff161790555050600680547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00166001179055505050565b600080600054700100000000000000000000000000000000900460ff166002811115611b8457611b846140e5565b14611bbb576040517f67fe195000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600060018381548110611bd057611bd06143f7565b600091825260208220600590910201805490925063ffffffff90811614611c3f57815460018054909163ffffffff16908110611c0e57611c0e6143f7565b906000526020600020906005020160040160109054906101000a90046fffffffffffffffffffffffffffffffff1690505b6004820154600090611c7790700100000000000000000000000000000000900467ffffffffffffffff165b67ffffffffffffffff1690565b611c8b9067ffffffffffffffff1642614496565b611caa611c6a846fffffffffffffffffffffffffffffffff1660401c90565b67ffffffffffffffff16611cbe9190614455565b905067ffffffffffffffff7f00000000000000000000000000000000000000000000000000000000000000001667ffffffffffffffff168167ffffffffffffffff1611611d0b5780611d2d565b7f00000000000000000000000000000000000000000000000000000000000000005b95945050505050565b600080611dd5836fffffffffffffffffffffffffffffffff167e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b60ff1690507f0000000000000000000000000000000000000000000000000000000000000000811115611e34576040517f56f57b2b00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b642e90edd00062061a80630bebc2006000611e4f8383614530565b9050670de0b6b3a76400006000611e86827f0000000000000000000000000000000000000000000000000000000000000000614544565b90506000611ea4611e9f670de0b6b3a764000086614544565b6130d1565b90506000611eb2848461332c565b90506000611ec0838361337b565b90506000611ecd826133a9565b90506000611eec82611ee7670de0b6b3a76400008f614544565b613591565b90506000611efa8b8361337b565b9050611f06818d614544565b9f9e505050505050505050505050505050565b610b5f82826001610d22565b60018181548110611f3557600080fd5b60009182526020909120600590910201805460018201546002830154600384015460049094015463ffffffff8416955064010000000090930473ffffffffffffffffffffffffffffffffffffffff908116949216926fffffffffffffffffffffffffffffffff91821692918082169170010000000000000000000000000000000090041687565b60008054700100000000000000000000000000000000900460ff166002811115611fe857611fe86140e5565b1461201f576040517f67fe195000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600060018781548110612034576120346143f7565b6000918252602082206005919091020160048101549092506fffffffffffffffffffffffffffffffff16908715821760011b90506120937f00000000000000000000000000000000000000000000000000000000000000006001614455565b61212f826fffffffffffffffffffffffffffffffff167e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b60ff1614612169576040517f5f53dd9800000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6000808915612260576121bc7f00000000000000000000000000000000000000000000000000000000000000007f0000000000000000000000000000000000000000000000000000000000000000614496565b6001901b6121db846fffffffffffffffffffffffffffffffff166135cb565b6fffffffffffffffffffffffffffffffff166121f79190614581565b156122345761222b61221c60016fffffffffffffffffffffffffffffffff8716614595565b865463ffffffff16600061366a565b60030154612256565b7f00000000000000000000000000000000000000000000000000000000000000005b915084905061228a565b6003850154915061228761221c6fffffffffffffffffffffffffffffffff861660016145be565b90505b600882901b60088a8a6040516122a19291906145f2565b6040518091039020901b146122e2576040517f696550ff00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60006122ed8c61374e565b905060006122fc836003015490565b6040517fe14ced320000000000000000000000000000000000000000000000000000000081527f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff169063e14ced3290612376908f908f908f908f908a9060040161464b565b6020604051808303816000875af1158015612395573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906123b99190614685565b600485015491149150600090600290612464906fffffffffffffffffffffffffffffffff167e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b612500896fffffffffffffffffffffffffffffffff167e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b61250a919061469e565b61251491906146c1565b60ff161590508115158103612555576040517ffb4e40dd00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8754640100000000900473ffffffffffffffffffffffffffffffffffffffff16156125ac576040517f9071e6af00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b505085547fffffffffffffffff0000000000000000000000000000000000000000ffffffff163364010000000002179095555050505050505050505050565b60008054700100000000000000000000000000000000900460ff166002811115612617576126176140e5565b1461264e576040517f67fe195000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60008060008061265d8661377d565b9350935093509350600061267385858585613b86565b905060007f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16637dc0d1d06040518163ffffffff1660e01b8152600401602060405180830381865afa1580156126e2573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061270691906146e3565b9050600189036128015773ffffffffffffffffffffffffffffffffffffffff81166352f0f3ad8a84612765367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81013560f01c90036034013590565b90565b6040517fffffffff0000000000000000000000000000000000000000000000000000000060e086901b16815260048101939093526024830191909152604482015260206064820152608481018a905260a4015b6020604051808303816000875af11580156127d7573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906127fb9190614685565b50612a40565b6002890361282d5773ffffffffffffffffffffffffffffffffffffffff81166352f0f3ad8a8489612765565b600389036128595773ffffffffffffffffffffffffffffffffffffffff81166352f0f3ad8a8487612765565b6004890361297557600061289f6fffffffffffffffffffffffffffffffff85167f0000000000000000000000000000000000000000000000000000000000000000613c40565b6008546128ac9190614455565b6128b7906001614455565b905073ffffffffffffffffffffffffffffffffffffffff82166352f0f3ad8b8560405160e084901b7fffffffff000000000000000000000000000000000000000000000000000000001681526004810192909252602482015260c084901b604482015260086064820152608481018b905260a4016020604051808303816000875af115801561294a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061296e9190614685565b5050612a40565b60058903612a0e576040517f52f0f3ad000000000000000000000000000000000000000000000000000000008152600481018a9052602481018390527f000000000000000000000000000000000000000000000000000000000000000060c01b6044820152600860648201526084810188905273ffffffffffffffffffffffffffffffffffffffff8216906352f0f3ad9060a4016127b8565b6040517fff137e6500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b505050505050505050565b7f0000000000000000000000000000000000000000000000000000000000000000367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81013560f01c9003601401356060612aa4610b68565b9050909192565b60008054700100000000000000000000000000000000900460ff166002811115612ad757612ad76140e5565b14612b0e576040517f67fe195000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600060018281548110612b2357612b236143f7565b906000526020600020906005020190506000612b3e83611b56565b905067ffffffffffffffff7f000000000000000000000000000000000000000000000000000000000000000081169082161015612ba7576040517ff2440b5300000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60008381526005602052604090205460ff1615612bf0576040517ff1a9458100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6000838152600460205260409020805480158015612c0d57508415155b15612ca7578354640100000000900473ffffffffffffffffffffffffffffffffffffffff1660008115612c405781612c5c565b600186015473ffffffffffffffffffffffffffffffffffffffff165b9050612c688187613cee565b505050600093845250506005602052506040902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00166001179055565b60006fffffffffffffffffffffffffffffffff815b83811015612def576000858281548110612cd857612cd86143f7565b6000918252602080832090910154808352600590915260409091205490915060ff16612d30576040517f9a07664600000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600060018281548110612d4557612d456143f7565b600091825260209091206005909102018054909150640100000000900473ffffffffffffffffffffffffffffffffffffffff16158015612d9e575060048101546fffffffffffffffffffffffffffffffff908116908516115b15612ddc576001810154600482015473ffffffffffffffffffffffffffffffffffffffff90911695506fffffffffffffffffffffffffffffffff1693505b505080612de890614700565b9050612cbc565b50612e3773ffffffffffffffffffffffffffffffffffffffff831615612e155782612e31565b600187015473ffffffffffffffffffffffffffffffffffffffff165b87613cee565b50845473ffffffffffffffffffffffffffffffffffffffff909116640100000000027fffffffffffffffff0000000000000000000000000000000000000000ffffffff90911617909355505050600090815260056020526040902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00166001179055565b604051818152367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81013560f01c90038284820160208401378260208301016000815260208101604052505092915050565b151760011b90565b6000612f366fffffffffffffffffffffffffffffffff841660016145be565b90506000612f468286600161366a565b9050600086901a83806130325750612f7f60027f0000000000000000000000000000000000000000000000000000000000000000614581565b6004830154600290613023906fffffffffffffffffffffffffffffffff167e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b61302d91906146c1565b60ff16145b1561308a5760ff81166001148061304c575060ff81166002145b613085576040517ff40239db00000000000000000000000000000000000000000000000000000000815260048101889052602401611837565b6130c8565b60ff8116156130c8576040517ff40239db00000000000000000000000000000000000000000000000000000000815260048101889052602401611837565b50505050505050565b6fffffffffffffffffffffffffffffffff811160071b81811c67ffffffffffffffff1060061b1781811c63ffffffff1060051b1781811c61ffff1060041b1781811c60ff1060031b176000821361313057631615e6386000526004601cfd5b7ff8f9f9faf9fdfafbf9fdfcfdfafbfcfef9fafdfafcfcfbfefafafcfbffffffff6f8421084210842108cc6318c6db6d54be83831c1c601f161a1890811b609f90811c6c465772b2bbbb5f824b15207a3081018102606090811d6d0388eaa27412d5aca026815d636e018202811d6d0df99ac502031bf953eff472fdcc018202811d6d13cdffb29d51d99322bdff5f2211018202811d6d0a0f742023def783a307a986912e018202811d6d01920d8043ca89b5239253284e42018202811d6c0b7a86d7375468fac667a0a527016c29508e458543d8aa4df2abee7883018302821d6d0139601a2efabe717e604cbb4894018302821d6d02247f7a7b6594320649aa03aba1018302821d7fffffffffffffffffffffffffffffffffffffff73c0c716a594e00d54e3c4cbc9018302821d7ffffffffffffffffffffffffffffffffffffffdc7b88c420e53a9890533129f6f01830290911d7fffffffffffffffffffffffffffffffffffffff465fda27eb4d63ded474e5f832019091027ffffffffffffffff5f6af8f7b3396644f18e157960000000000000000000000000105711340daa0d5f769dba1915cef59f0815a5506029190037d0267a36c0c95b3975ab3ee5b203a7614a3f75373f047d803ae7b6687f2b302017d57115e47018c7177eebf7cd370a3356a1b7863008a5ae8028c72b88642840160ae1d90565b60007812725dd1d243aba0e75fe645cc4873f9e65afe688c928e1f218311670de0b6b3a76400000215820261336957637c5f487d6000526004601cfd5b50670de0b6b3a7640000919091020490565b6000816000190483118202156133995763bac65e5b6000526004601cfd5b50670de0b6b3a764000091020490565b60007ffffffffffffffffffffffffffffffffffffffffffffffffdc0d0570925a462d782136133d757919050565b680755bf798b4a1bf1e582126133f55763a37bfec96000526004601cfd5b6503782dace9d9604e83901b059150600060606bb17217f7d1cf79abc9e3b39884821b056b80000000000000000000000001901d6bb17217f7d1cf79abc9e3b39881029093037fffffffffffffffffffffffffffffffffffffffdbf3ccf1604d263450f02a550481018102606090811d6d0277594991cfc85f6e2461837cd9018202811d7fffffffffffffffffffffffffffffffffffffe5adedaa1cb095af9e4da10e363c018202811d6db1bbb201f443cf962f1a1d3db4a5018202811d7ffffffffffffffffffffffffffffffffffffd38dc772608b0ae56cce01296c0eb018202811d6e05180bb14799ab47a8a8cb2a527d57016d02d16720577bd19bf614176fe9ea6c10fe68e7fd37d0007b713f765084018402831d9081019084017ffffffffffffffffffffffffffffffffffffffe2c69812cf03b0763fd454a8f7e010290911d6e0587f503bb6ea29d25fcb7401964500190910279d835ebba824c98fb31b83b2ca45c000000000000000000000000010574029d9dc38563c32e5c2f6dc192ee70ef65f9978af30260c3939093039290921c92915050565b60006135c2670de0b6b3a7640000836135a9866130d1565b6135b39190614738565b6135bd91906147f4565b6133a9565b90505b92915050565b600080613658837e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b600160ff919091161b90920392915050565b600080826136b3576136ae6fffffffffffffffffffffffffffffffff86167f0000000000000000000000000000000000000000000000000000000000000000613de7565b6136ce565b6136ce856fffffffffffffffffffffffffffffffff16613f97565b9050600184815481106136e3576136e36143f7565b906000526020600020906005020191505b60048201546fffffffffffffffffffffffffffffffff82811691161461374657815460018054909163ffffffff16908110613731576137316143f7565b906000526020600020906005020191506136f4565b509392505050565b600080600080600061375f8661377d565b935093509350935061377384848484613b86565b9695505050505050565b600080600080600085905060006001828154811061379d5761379d6143f7565b600091825260209091206004600590920201908101549091507f000000000000000000000000000000000000000000000000000000000000000090613874906fffffffffffffffffffffffffffffffff167e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b60ff16116138ae576040517fb34b5c2200000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6000815b60048301547f000000000000000000000000000000000000000000000000000000000000000090613975906fffffffffffffffffffffffffffffffff167e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b60ff1692508211156139ea57825463ffffffff166139b47f00000000000000000000000000000000000000000000000000000000000000006001614455565b83036139be578391505b600181815481106139d1576139d16143f7565b90600052602060002090600502019350809450506138b2565b600481810154908401546fffffffffffffffffffffffffffffffff91821691166000816fffffffffffffffffffffffffffffffff16613a53613a3e856fffffffffffffffffffffffffffffffff1660011c90565b6fffffffffffffffffffffffffffffffff1690565b6fffffffffffffffffffffffffffffffff161490508015613b22576000613a8b836fffffffffffffffffffffffffffffffff166135cb565b6fffffffffffffffffffffffffffffffff161115613af6576000613acd613ac560016fffffffffffffffffffffffffffffffff8616614595565b89600161366a565b6003810154600490910154909c506fffffffffffffffffffffffffffffffff169a50613afc9050565b6007549a505b600386015460048701549099506fffffffffffffffffffffffffffffffff169750613b78565b6000613b44613ac56fffffffffffffffffffffffffffffffff851660016145be565b6003808901546004808b015492840154930154909e506fffffffffffffffffffffffffffffffff9182169d50919b50169850505b505050505050509193509193565b60006fffffffffffffffffffffffffffffffff841615613bf35760408051602081018790526fffffffffffffffffffffffffffffffff8087169282019290925260608101859052908316608082015260a00160405160208183030381529060405280519060200120611d2d565b8282604051602001613c219291909182526fffffffffffffffffffffffffffffffff16602082015260400190565b6040516020818303038152906040528051906020012095945050505050565b600080613ccd847e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b60ff1690508083036001841b600180831b0386831b17039250505092915050565b60028082015473ffffffffffffffffffffffffffffffffffffffff841660009081526020929092526040822080546fffffffffffffffffffffffffffffffff909216928392613d3e908490614455565b90915550506040517f7eee288d00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8481166004830152602482018390527f00000000000000000000000000000000000000000000000000000000000000001690637eee288d90604401600060405180830381600087803b158015613dd357600080fd5b505af11580156130c8573d6000803e3d6000fd5b600081613e86846fffffffffffffffffffffffffffffffff167e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b60ff1611613ec0576040517fb34b5c2200000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b613ec983613f97565b905081613f68826fffffffffffffffffffffffffffffffff167e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b60ff16116135c5576135c2613f7e836001614455565b6fffffffffffffffffffffffffffffffff83169061403c565b6000811960018301168161402b827e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b60ff169390931c8015179392505050565b6000806140c9847e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b60ff169050808303600180821b0385821b179250505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b602081016003831061414f577f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b91905290565b6000806040838503121561416857600080fd5b50508035926020909101359150565b6000815180845260005b8181101561419d57602081850181015186830182015201614181565b818111156141af576000602083870101525b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169290920160200192915050565b6020815260006135c26020830184614177565b73ffffffffffffffffffffffffffffffffffffffff8116811461421757600080fd5b50565b60006020828403121561422c57600080fd5b8135614237816141f5565b9392505050565b8035801515811461424e57600080fd5b919050565b60008060006060848603121561426857600080fd5b833592506020840135915061427f6040850161423e565b90509250925092565b60006020828403121561429a57600080fd5b5035919050565b6000602082840312156142b357600080fd5b81356fffffffffffffffffffffffffffffffff8116811461423757600080fd5b60008083601f8401126142e557600080fd5b50813567ffffffffffffffff8111156142fd57600080fd5b60208301915083602082850101111561431557600080fd5b9250929050565b6000806000806000806080878903121561433557600080fd5b863595506143456020880161423e565b9450604087013567ffffffffffffffff8082111561436257600080fd5b61436e8a838b016142d3565b9096509450606089013591508082111561438757600080fd5b5061439489828a016142d3565b979a9699509497509295939492505050565b6000806000606084860312156143bb57600080fd5b505081359360208301359350604090920135919050565b63ffffffff84168152826020820152606060408201526000611d2d6060830184614177565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000821982111561446857614468614426565b500190565b600067ffffffffffffffff8381169083168181101561448e5761448e614426565b039392505050565b6000828210156144a8576144a8614426565b500390565b600067ffffffffffffffff808316818516818304811182151516156144d4576144d4614426565b02949350505050565b600080604083850312156144f057600080fd5b505080516020909101519092909150565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b60008261453f5761453f614501565b500490565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561457c5761457c614426565b500290565b60008261459057614590614501565b500690565b60006fffffffffffffffffffffffffffffffff8381169083168181101561448e5761448e614426565b60006fffffffffffffffffffffffffffffffff8083168185168083038211156145e9576145e9614426565b01949350505050565b8183823760009101908152919050565b8183528181602085013750600060208284010152600060207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f840116840101905092915050565b60608152600061465f606083018789614602565b8281036020840152614672818688614602565b9150508260408301529695505050505050565b60006020828403121561469757600080fd5b5051919050565b600060ff821660ff8416808210156146b8576146b8614426565b90039392505050565b600060ff8316806146d4576146d4614501565b8060ff84160691505092915050565b6000602082840312156146f557600080fd5b8151614237816141f5565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff820361473157614731614426565b5060010190565b60007f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60008413600084138583048511828216161561477957614779614426565b7f800000000000000000000000000000000000000000000000000000000000000060008712868205881281841616156147b4576147b4614426565b600087129250878205871284841616156147d0576147d0614426565b878505871281841616156147e6576147e6614426565b505050929093029392505050565b60008261480357614803614501565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83147f80000000000000000000000000000000000000000000000000000000000000008314161561485757614857614426565b50059056fea164736f6c634300080f000a"
var FaultDisputeGameDeployedBin = "0x60806040526004361061024f5760003560e01c80638b85902b11610138578063d5d44d80116100b0578063ec5e63081161007f578063fa24f74311610064578063fa24f74314610855578063fa315aa914610879578063fdffbb28146108ac57600080fd5b8063ec5e630814610802578063f8f43ff61461083557600080fd5b8063d5d44d801461074f578063d6ae3cd51461077c578063d8cc1a3c146107af578063dabd396d146107cf57600080fd5b8063bd8da95611610107578063c55cd0c7116100ec578063c55cd0c714610691578063c6f0308c146106a4578063cf09e0d01461072e57600080fd5b8063bd8da95614610651578063c395e1ca1461067157600080fd5b80638b85902b1461055d5780638d450a951461059d578063bbdc02db146105d0578063bcef3b551461061157600080fd5b806357da950e116101cb5780636361506d1161019a57806370872aa51161017f57806370872aa51461052b5780638129fc1c146105405780638980e0cc1461054857600080fd5b80636361506d146104b85780636b6716c0146104f857600080fd5b806357da950e14610440578063609d33341461047057806360e2746414610485578063632247ea146104a557600080fd5b806335fef567116102225780633a768463116102075780633a768463146103845780633fc8cef3146103b757806354fd4d50146103ea57600080fd5b806335fef5671461030e57806337b1b2291461032357600080fd5b806319effeb414610254578063200d2ed21461029f57806325fc2ace146102da5780632810e1d6146102f9575b600080fd5b34801561026057600080fd5b506000546102819068010000000000000000900467ffffffffffffffff1681565b60405167ffffffffffffffff90911681526020015b60405180910390f35b3480156102ab57600080fd5b506000546102cd90700100000000000000000000000000000000900460ff1681565b6040516102969190614133565b3480156102e657600080fd5b506007545b604051908152602001610296565b34801561030557600080fd5b506102cd6108cc565b61032161031c366004614174565b610b71565b005b34801561032f57600080fd5b50367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81013560f01c90033560601c5b60405173ffffffffffffffffffffffffffffffffffffffff9091168152602001610296565b34801561039057600080fd5b507f000000000000000000000000000000000000000000000000000000000000000061035f565b3480156103c357600080fd5b507f000000000000000000000000000000000000000000000000000000000000000061035f565b3480156103f657600080fd5b506104336040518060400160405280600681526020017f302e31362e31000000000000000000000000000000000000000000000000000081525081565b6040516102969190614201565b34801561044c57600080fd5b5060075460085461045b919082565b60408051928352602083019190915201610296565b34801561047c57600080fd5b50610433610b86565b34801561049157600080fd5b506103216104a0366004614239565b610b94565b6103216104b3366004614272565b610d40565b3480156104c457600080fd5b50367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81013560f01c9003603401356102eb565b34801561050457600080fd5b507f0000000000000000000000000000000000000000000000000000000000000000610281565b34801561053757600080fd5b506008546102eb565b610321611640565b34801561055457600080fd5b506001546102eb565b34801561056957600080fd5b50367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81013560f01c9003605401356102eb565b3480156105a957600080fd5b507f00000000000000000000000000000000000000000000000000000000000000006102eb565b3480156105dc57600080fd5b5060405163ffffffff7f0000000000000000000000000000000000000000000000000000000000000000168152602001610296565b34801561061d57600080fd5b50367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81013560f01c9003601401356102eb565b34801561065d57600080fd5b5061028161066c3660046142a7565b611b75565b34801561067d57600080fd5b506102eb61068c3660046142c0565b611d55565b61032161069f366004614174565b611f38565b3480156106b057600080fd5b506106c46106bf3660046142a7565b611f44565b6040805163ffffffff909816885273ffffffffffffffffffffffffffffffffffffffff968716602089015295909416948601949094526fffffffffffffffffffffffffffffffff9182166060860152608085015291821660a08401521660c082015260e001610296565b34801561073a57600080fd5b506000546102819067ffffffffffffffff1681565b34801561075b57600080fd5b506102eb61076a366004614239565b60026020526000908152604090205481565b34801561078857600080fd5b507f00000000000000000000000000000000000000000000000000000000000000006102eb565b3480156107bb57600080fd5b506103216107ca36600461433b565b611fdb565b3480156107db57600080fd5b507f0000000000000000000000000000000000000000000000000000000000000000610281565b34801561080e57600080fd5b507f00000000000000000000000000000000000000000000000000000000000000006102eb565b34801561084157600080fd5b506103216108503660046143c5565b61260a565b34801561086157600080fd5b5061086a612a6a565b604051610296939291906143f1565b34801561088557600080fd5b507f00000000000000000000000000000000000000000000000000000000000000006102eb565b3480156108b857600080fd5b506103216108c73660046142a7565b612aca565b600080600054700100000000000000000000000000000000900460ff1660028111156108fa576108fa614104565b14610931576040517f67fe195000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6000805260056020527f05b8ccbb9d4d8fb16ea74ce3c29a41f1b461fbdaff4714a0d9a8eb05499746bc5460ff16610995576040517f9a07664600000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff1660016000815481106109c1576109c1614416565b6000918252602090912060059091020154640100000000900473ffffffffffffffffffffffffffffffffffffffff16146109fc5760016109ff565b60025b6000805467ffffffffffffffff421668010000000000000000027fffffffffffffffffffffffffffffffff0000000000000000ffffffffffffffff82168117835592935083927fffffffffffffffffffffffffffffff00ffffffffffffffffffffffffffffffff167fffffffffffffffffffffffffffffff000000000000000000ffffffffffffffff90911617700100000000000000000000000000000000836002811115610ab057610ab0614104565b021790556002811115610ac557610ac5614104565b6040517f5e186f09b9c93491f14e277eea7faa5de6a2d4bda75a79af7a3684fbfb42da6090600090a27f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663838c2d1e6040518163ffffffff1660e01b8152600401600060405180830381600087803b158015610b5657600080fd5b505af1158015610b6a573d6000803e3d6000fd5b5050505090565b610b7d82826000610d40565b5050565b905090565b6060610b8160546020612edc565b73ffffffffffffffffffffffffffffffffffffffff8116600090815260026020526040812080549082905590819003610bf9576040517f17bfe5f700000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6040517ff3fef3a300000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8381166004830152602482018390527f0000000000000000000000000000000000000000000000000000000000000000169063f3fef3a390604401600060405180830381600087803b158015610c8957600080fd5b505af1158015610c9d573d6000803e3d6000fd5b5050505060008273ffffffffffffffffffffffffffffffffffffffff168260405160006040518083038185875af1925050503d8060008114610cfb576040519150601f19603f3d011682016040523d82523d6000602084013e610d00565b606091505b5050905080610d3b576040517f83e6cc6b00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b505050565b60008054700100000000000000000000000000000000900460ff166002811115610d6c57610d6c614104565b14610da3576040517f67fe195000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600060018481548110610db857610db8614416565b600091825260208083206040805160e0810182526005909402909101805463ffffffff808216865273ffffffffffffffffffffffffffffffffffffffff6401000000009092048216948601949094526001820154169184019190915260028101546fffffffffffffffffffffffffffffffff90811660608501526003820154608085015260049091015480821660a0850181905270010000000000000000000000000000000090910490911660c0840152919350909190610e7d9083908690612f2e16565b90506000610f1d826fffffffffffffffffffffffffffffffff167e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b60ff169050861580610f585750610f557f00000000000000000000000000000000000000000000000000000000000000006002614474565b81145b8015610f62575084155b15610f99576040517fa42637bc00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b7f0000000000000000000000000000000000000000000000000000000000000000811115610ff3576040517f56f57b2b00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b61101e7f00000000000000000000000000000000000000000000000000000000000000006001614474565b81036110305761103086888588612f36565b3461103a83611d55565b14611071576040517f8620aa1900000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600061107c88611b75565b905067ffffffffffffffff7f00000000000000000000000000000000000000000000000000000000000000008116908216036110e4576040517f3381d11400000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b67ffffffffffffffff7f00000000000000000000000000000000000000000000000000000000000000001667ffffffffffffffff7f000000000000000000000000000000000000000000000000000000000000000016611144919061448c565b67ffffffffffffffff1661115f8267ffffffffffffffff1690565b67ffffffffffffffff16111561124157600061119c60017f00000000000000000000000000000000000000000000000000000000000000006144b5565b83146111d25767ffffffffffffffff7f000000000000000000000000000000000000000000000000000000000000000016611207565b6112077f000000000000000000000000000000000000000000000000000000000000000067ffffffffffffffff1660026144cc565b905061123d817f000000000000000000000000000000000000000000000000000000000000000067ffffffffffffffff1661448c565b9150505b6000604082901b42176000898152608086901b6fffffffffffffffffffffffffffffffff8c1617602052604081209192509060008181526003602052604090205490915060ff16156112bf576040517f80497e3b00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60016003600083815260200190815260200160002060006101000a81548160ff02191690831515021790555060016040518060e001604052808c63ffffffff168152602001600073ffffffffffffffffffffffffffffffffffffffff1681526020013373ffffffffffffffffffffffffffffffffffffffff168152602001346fffffffffffffffffffffffffffffffff1681526020018b8152602001876fffffffffffffffffffffffffffffffff168152602001846fffffffffffffffffffffffffffffffff16815250908060018154018082558091505060019003906000526020600020906005020160009091909190915060008201518160000160006101000a81548163ffffffff021916908363ffffffff16021790555060208201518160000160046101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060408201518160010160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060608201518160020160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff1602179055506080820151816003015560a08201518160040160006101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff16021790555060c08201518160040160106101000a8154816fffffffffffffffffffffffffffffffff02191690836fffffffffffffffffffffffffffffffff1602179055505050600460008b81526020019081526020016000206001808054905061155491906144b5565b81546001810183556000928352602083200155604080517fd0e30db0000000000000000000000000000000000000000000000000000000008152905173ffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000169263d0e30db09234926004808301939282900301818588803b1580156115ec57600080fd5b505af1158015611600573d6000803e3d6000fd5b50506040513393508c92508d91507f9b3245740ec3b155098a55be84957a4da13eaf7f14a8bc6f53126c0b9350f2be90600090a450505050505050505050565b60065460ff161561167d576040517f0dc149f000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6040517f7258a80700000000000000000000000000000000000000000000000000000000815263ffffffff7f0000000000000000000000000000000000000000000000000000000000000000166004820152600090819073ffffffffffffffffffffffffffffffffffffffff7f00000000000000000000000000000000000000000000000000000000000000001690637258a807906024016040805180830381865afa158015611731573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061175591906144fc565b909250905081611791576040517f6a6bc3b200000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b604080518082019091528281526020018190526007829055600881905536607a146117c457639824bdab6000526004601cfd5b80367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81013560f01c9003605401351161185e576040517ff40239db000000000000000000000000000000000000000000000000000000008152367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81013560f01c90036014013560048201526024015b60405180910390fd5b6040805160e08101825263ffffffff808252600060208301818152367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81013560f01c90038035606090811c8688019081526fffffffffffffffffffffffffffffffff3481811693890193845260149094013560808901908152600160a08a0181815242841660c08c0190815282548084018455838b529b517fb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf66005909d029c8d0180549a5191909c167fffffffffffffffff000000000000000000000000000000000000000000000000909a169990991764010000000073ffffffffffffffffffffffffffffffffffffffff9a8b160217909a5593517fb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf78b0180547fffffffffffffffffffffffff00000000000000000000000000000000000000001691891691909117905593517fb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf88a0180547fffffffffffffffffffffffffffffffff0000000000000000000000000000000016918416919091179055517fb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf9890155905195519581167001000000000000000000000000000000009690911695909502949094177fb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cfa90950194909455600680547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001690931790925583517fd0e30db000000000000000000000000000000000000000000000000000000000815293517f00000000000000000000000000000000000000000000000000000000000000009092169363d0e30db093926004808301939282900301818588803b158015611b2457600080fd5b505af1158015611b38573d6000803e3d6000fd5b5050600080547fffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000164267ffffffffffffffff161790555050505050565b600080600054700100000000000000000000000000000000900460ff166002811115611ba357611ba3614104565b14611bda576040517f67fe195000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600060018381548110611bef57611bef614416565b600091825260208220600590910201805490925063ffffffff90811614611c5e57815460018054909163ffffffff16908110611c2d57611c2d614416565b906000526020600020906005020160040160109054906101000a90046fffffffffffffffffffffffffffffffff1690505b6004820154600090611c9690700100000000000000000000000000000000900467ffffffffffffffff165b67ffffffffffffffff1690565b611caa9067ffffffffffffffff16426144b5565b611cc9611c89846fffffffffffffffffffffffffffffffff1660401c90565b67ffffffffffffffff16611cdd9190614474565b905067ffffffffffffffff7f00000000000000000000000000000000000000000000000000000000000000001667ffffffffffffffff168167ffffffffffffffff1611611d2a5780611d4c565b7f00000000000000000000000000000000000000000000000000000000000000005b95945050505050565b600080611df4836fffffffffffffffffffffffffffffffff167e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b60ff1690507f0000000000000000000000000000000000000000000000000000000000000000811115611e53576040517f56f57b2b00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b642e90edd00062061a80630bebc2006000611e6e838361454f565b9050670de0b6b3a76400006000611ea5827f0000000000000000000000000000000000000000000000000000000000000000614563565b90506000611ec3611ebe670de0b6b3a764000086614563565b6130f0565b90506000611ed1848461334b565b90506000611edf838361339a565b90506000611eec826133c8565b90506000611f0b82611f06670de0b6b3a76400008f614563565b6135b0565b90506000611f198b8361339a565b9050611f25818d614563565b9f9e505050505050505050505050505050565b610b7d82826001610d40565b60018181548110611f5457600080fd5b60009182526020909120600590910201805460018201546002830154600384015460049094015463ffffffff8416955064010000000090930473ffffffffffffffffffffffffffffffffffffffff908116949216926fffffffffffffffffffffffffffffffff91821692918082169170010000000000000000000000000000000090041687565b60008054700100000000000000000000000000000000900460ff16600281111561200757612007614104565b1461203e576040517f67fe195000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60006001878154811061205357612053614416565b6000918252602082206005919091020160048101549092506fffffffffffffffffffffffffffffffff16908715821760011b90506120b27f00000000000000000000000000000000000000000000000000000000000000006001614474565b61214e826fffffffffffffffffffffffffffffffff167e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b60ff1614612188576040517f5f53dd9800000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600080891561227f576121db7f00000000000000000000000000000000000000000000000000000000000000007f00000000000000000000000000000000000000000000000000000000000000006144b5565b6001901b6121fa846fffffffffffffffffffffffffffffffff166135ea565b6fffffffffffffffffffffffffffffffff1661221691906145a0565b156122535761224a61223b60016fffffffffffffffffffffffffffffffff87166145b4565b865463ffffffff166000613689565b60030154612275565b7f00000000000000000000000000000000000000000000000000000000000000005b91508490506122a9565b600385015491506122a661223b6fffffffffffffffffffffffffffffffff861660016145dd565b90505b600882901b60088a8a6040516122c0929190614611565b6040518091039020901b14612301576040517f696550ff00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600061230c8c61376d565b9050600061231b836003015490565b6040517fe14ced320000000000000000000000000000000000000000000000000000000081527f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff169063e14ced3290612395908f908f908f908f908a9060040161466a565b6020604051808303816000875af11580156123b4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906123d891906146a4565b600485015491149150600090600290612483906fffffffffffffffffffffffffffffffff167e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b61251f896fffffffffffffffffffffffffffffffff167e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b61252991906146bd565b61253391906146e0565b60ff161590508115158103612574576040517ffb4e40dd00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b8754640100000000900473ffffffffffffffffffffffffffffffffffffffff16156125cb576040517f9071e6af00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b505085547fffffffffffffffff0000000000000000000000000000000000000000ffffffff163364010000000002179095555050505050505050505050565b60008054700100000000000000000000000000000000900460ff16600281111561263657612636614104565b1461266d576040517f67fe195000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60008060008061267c8661379c565b9350935093509350600061269285858585613ba5565b905060007f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff16637dc0d1d06040518163ffffffff1660e01b8152600401602060405180830381865afa158015612701573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906127259190614702565b9050600189036128205773ffffffffffffffffffffffffffffffffffffffff81166352f0f3ad8a84612784367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81013560f01c90036034013590565b90565b6040517fffffffff0000000000000000000000000000000000000000000000000000000060e086901b16815260048101939093526024830191909152604482015260206064820152608481018a905260a4015b6020604051808303816000875af11580156127f6573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061281a91906146a4565b50612a5f565b6002890361284c5773ffffffffffffffffffffffffffffffffffffffff81166352f0f3ad8a8489612784565b600389036128785773ffffffffffffffffffffffffffffffffffffffff81166352f0f3ad8a8487612784565b600489036129945760006128be6fffffffffffffffffffffffffffffffff85167f0000000000000000000000000000000000000000000000000000000000000000613c5f565b6008546128cb9190614474565b6128d6906001614474565b905073ffffffffffffffffffffffffffffffffffffffff82166352f0f3ad8b8560405160e084901b7fffffffff000000000000000000000000000000000000000000000000000000001681526004810192909252602482015260c084901b604482015260086064820152608481018b905260a4016020604051808303816000875af1158015612969573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061298d91906146a4565b5050612a5f565b60058903612a2d576040517f52f0f3ad000000000000000000000000000000000000000000000000000000008152600481018a9052602481018390527f000000000000000000000000000000000000000000000000000000000000000060c01b6044820152600860648201526084810188905273ffffffffffffffffffffffffffffffffffffffff8216906352f0f3ad9060a4016127d7565b6040517fff137e6500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b505050505050505050565b7f0000000000000000000000000000000000000000000000000000000000000000367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81013560f01c9003601401356060612ac3610b86565b9050909192565b60008054700100000000000000000000000000000000900460ff166002811115612af657612af6614104565b14612b2d576040517f67fe195000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600060018281548110612b4257612b42614416565b906000526020600020906005020190506000612b5d83611b75565b905067ffffffffffffffff7f000000000000000000000000000000000000000000000000000000000000000081169082161015612bc6576040517ff2440b5300000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b60008381526005602052604090205460ff1615612c0f576040517ff1a9458100000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6000838152600460205260409020805480158015612c2c57508415155b15612cc6578354640100000000900473ffffffffffffffffffffffffffffffffffffffff1660008115612c5f5781612c7b565b600186015473ffffffffffffffffffffffffffffffffffffffff165b9050612c878187613d0d565b505050600093845250506005602052506040902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00166001179055565b60006fffffffffffffffffffffffffffffffff815b83811015612e0e576000858281548110612cf757612cf7614416565b6000918252602080832090910154808352600590915260409091205490915060ff16612d4f576040517f9a07664600000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b600060018281548110612d6457612d64614416565b600091825260209091206005909102018054909150640100000000900473ffffffffffffffffffffffffffffffffffffffff16158015612dbd575060048101546fffffffffffffffffffffffffffffffff908116908516115b15612dfb576001810154600482015473ffffffffffffffffffffffffffffffffffffffff90911695506fffffffffffffffffffffffffffffffff1693505b505080612e079061471f565b9050612cdb565b50612e5673ffffffffffffffffffffffffffffffffffffffff831615612e345782612e50565b600187015473ffffffffffffffffffffffffffffffffffffffff165b87613d0d565b50845473ffffffffffffffffffffffffffffffffffffffff909116640100000000027fffffffffffffffff0000000000000000000000000000000000000000ffffffff90911617909355505050600090815260056020526040902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00166001179055565b604051818152367ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe81013560f01c90038284820160208401378260208301016000815260208101604052505092915050565b151760011b90565b6000612f556fffffffffffffffffffffffffffffffff841660016145dd565b90506000612f6582866001613689565b9050600086901a83806130515750612f9e60027f00000000000000000000000000000000000000000000000000000000000000006145a0565b6004830154600290613042906fffffffffffffffffffffffffffffffff167e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b61304c91906146e0565b60ff16145b156130a95760ff81166001148061306b575060ff81166002145b6130a4576040517ff40239db00000000000000000000000000000000000000000000000000000000815260048101889052602401611855565b6130e7565b60ff8116156130e7576040517ff40239db00000000000000000000000000000000000000000000000000000000815260048101889052602401611855565b50505050505050565b6fffffffffffffffffffffffffffffffff811160071b81811c67ffffffffffffffff1060061b1781811c63ffffffff1060051b1781811c61ffff1060041b1781811c60ff1060031b176000821361314f57631615e6386000526004601cfd5b7ff8f9f9faf9fdfafbf9fdfcfdfafbfcfef9fafdfafcfcfbfefafafcfbffffffff6f8421084210842108cc6318c6db6d54be83831c1c601f161a1890811b609f90811c6c465772b2bbbb5f824b15207a3081018102606090811d6d0388eaa27412d5aca026815d636e018202811d6d0df99ac502031bf953eff472fdcc018202811d6d13cdffb29d51d99322bdff5f2211018202811d6d0a0f742023def783a307a986912e018202811d6d01920d8043ca89b5239253284e42018202811d6c0b7a86d7375468fac667a0a527016c29508e458543d8aa4df2abee7883018302821d6d0139601a2efabe717e604cbb4894018302821d6d02247f7a7b6594320649aa03aba1018302821d7fffffffffffffffffffffffffffffffffffffff73c0c716a594e00d54e3c4cbc9018302821d7ffffffffffffffffffffffffffffffffffffffdc7b88c420e53a9890533129f6f01830290911d7fffffffffffffffffffffffffffffffffffffff465fda27eb4d63ded474e5f832019091027ffffffffffffffff5f6af8f7b3396644f18e157960000000000000000000000000105711340daa0d5f769dba1915cef59f0815a5506029190037d0267a36c0c95b3975ab3ee5b203a7614a3f75373f047d803ae7b6687f2b302017d57115e47018c7177eebf7cd370a3356a1b7863008a5ae8028c72b88642840160ae1d90565b60007812725dd1d243aba0e75fe645cc4873f9e65afe688c928e1f218311670de0b6b3a76400000215820261338857637c5f487d6000526004601cfd5b50670de0b6b3a7640000919091020490565b6000816000190483118202156133b85763bac65e5b6000526004601cfd5b50670de0b6b3a764000091020490565b60007ffffffffffffffffffffffffffffffffffffffffffffffffdc0d0570925a462d782136133f657919050565b680755bf798b4a1bf1e582126134145763a37bfec96000526004601cfd5b6503782dace9d9604e83901b059150600060606bb17217f7d1cf79abc9e3b39884821b056b80000000000000000000000001901d6bb17217f7d1cf79abc9e3b39881029093037fffffffffffffffffffffffffffffffffffffffdbf3ccf1604d263450f02a550481018102606090811d6d0277594991cfc85f6e2461837cd9018202811d7fffffffffffffffffffffffffffffffffffffe5adedaa1cb095af9e4da10e363c018202811d6db1bbb201f443cf962f1a1d3db4a5018202811d7ffffffffffffffffffffffffffffffffffffd38dc772608b0ae56cce01296c0eb018202811d6e05180bb14799ab47a8a8cb2a527d57016d02d16720577bd19bf614176fe9ea6c10fe68e7fd37d0007b713f765084018402831d9081019084017ffffffffffffffffffffffffffffffffffffffe2c69812cf03b0763fd454a8f7e010290911d6e0587f503bb6ea29d25fcb7401964500190910279d835ebba824c98fb31b83b2ca45c000000000000000000000000010574029d9dc38563c32e5c2f6dc192ee70ef65f9978af30260c3939093039290921c92915050565b60006135e1670de0b6b3a7640000836135c8866130f0565b6135d29190614757565b6135dc9190614813565b6133c8565b90505b92915050565b600080613677837e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b600160ff919091161b90920392915050565b600080826136d2576136cd6fffffffffffffffffffffffffffffffff86167f0000000000000000000000000000000000000000000000000000000000000000613e06565b6136ed565b6136ed856fffffffffffffffffffffffffffffffff16613fb6565b90506001848154811061370257613702614416565b906000526020600020906005020191505b60048201546fffffffffffffffffffffffffffffffff82811691161461376557815460018054909163ffffffff1690811061375057613750614416565b90600052602060002090600502019150613713565b509392505050565b600080600080600061377e8661379c565b935093509350935061379284848484613ba5565b9695505050505050565b60008060008060008590506000600182815481106137bc576137bc614416565b600091825260209091206004600590920201908101549091507f000000000000000000000000000000000000000000000000000000000000000090613893906fffffffffffffffffffffffffffffffff167e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b60ff16116138cd576040517fb34b5c2200000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6000815b60048301547f000000000000000000000000000000000000000000000000000000000000000090613994906fffffffffffffffffffffffffffffffff167e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b60ff169250821115613a0957825463ffffffff166139d37f00000000000000000000000000000000000000000000000000000000000000006001614474565b83036139dd578391505b600181815481106139f0576139f0614416565b90600052602060002090600502019350809450506138d1565b600481810154908401546fffffffffffffffffffffffffffffffff91821691166000816fffffffffffffffffffffffffffffffff16613a72613a5d856fffffffffffffffffffffffffffffffff1660011c90565b6fffffffffffffffffffffffffffffffff1690565b6fffffffffffffffffffffffffffffffff161490508015613b41576000613aaa836fffffffffffffffffffffffffffffffff166135ea565b6fffffffffffffffffffffffffffffffff161115613b15576000613aec613ae460016fffffffffffffffffffffffffffffffff86166145b4565b896001613689565b6003810154600490910154909c506fffffffffffffffffffffffffffffffff169a50613b1b9050565b6007549a505b600386015460048701549099506fffffffffffffffffffffffffffffffff169750613b97565b6000613b63613ae46fffffffffffffffffffffffffffffffff851660016145dd565b6003808901546004808b015492840154930154909e506fffffffffffffffffffffffffffffffff9182169d50919b50169850505b505050505050509193509193565b60006fffffffffffffffffffffffffffffffff841615613c125760408051602081018790526fffffffffffffffffffffffffffffffff8087169282019290925260608101859052908316608082015260a00160405160208183030381529060405280519060200120611d4c565b8282604051602001613c409291909182526fffffffffffffffffffffffffffffffff16602082015260400190565b6040516020818303038152906040528051906020012095945050505050565b600080613cec847e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b60ff1690508083036001841b600180831b0386831b17039250505092915050565b60028082015473ffffffffffffffffffffffffffffffffffffffff841660009081526020929092526040822080546fffffffffffffffffffffffffffffffff909216928392613d5d908490614474565b90915550506040517f7eee288d00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff8481166004830152602482018390527f00000000000000000000000000000000000000000000000000000000000000001690637eee288d90604401600060405180830381600087803b158015613df257600080fd5b505af11580156130e7573d6000803e3d6000fd5b600081613ea5846fffffffffffffffffffffffffffffffff167e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b60ff1611613edf576040517fb34b5c2200000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b613ee883613fb6565b905081613f87826fffffffffffffffffffffffffffffffff167e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b60ff16116135e4576135e1613f9d836001614474565b6fffffffffffffffffffffffffffffffff83169061405b565b6000811960018301168161404a827e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b60ff169390931c8015179392505050565b6000806140e8847e09010a0d15021d0b0e10121619031e080c141c0f111807131b17061a05041f7f07c4acdd0000000000000000000000000000000000000000000000000000000067ffffffffffffffff831160061b83811c63ffffffff1060051b1792831c600181901c17600281901c17600481901c17600881901c17601081901c170260fb1c1a1790565b60ff169050808303600180821b0385821b179250505092915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b602081016003831061416e577f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b91905290565b6000806040838503121561418757600080fd5b50508035926020909101359150565b6000815180845260005b818110156141bc576020818501810151868301820152016141a0565b818111156141ce576000602083870101525b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169290920160200192915050565b6020815260006135e16020830184614196565b73ffffffffffffffffffffffffffffffffffffffff8116811461423657600080fd5b50565b60006020828403121561424b57600080fd5b813561425681614214565b9392505050565b8035801515811461426d57600080fd5b919050565b60008060006060848603121561428757600080fd5b833592506020840135915061429e6040850161425d565b90509250925092565b6000602082840312156142b957600080fd5b5035919050565b6000602082840312156142d257600080fd5b81356fffffffffffffffffffffffffffffffff8116811461425657600080fd5b60008083601f84011261430457600080fd5b50813567ffffffffffffffff81111561431c57600080fd5b60208301915083602082850101111561433457600080fd5b9250929050565b6000806000806000806080878903121561435457600080fd5b863595506143646020880161425d565b9450604087013567ffffffffffffffff8082111561438157600080fd5b61438d8a838b016142f2565b909650945060608901359150808211156143a657600080fd5b506143b389828a016142f2565b979a9699509497509295939492505050565b6000806000606084860312156143da57600080fd5b505081359360208301359350604090920135919050565b63ffffffff84168152826020820152606060408201526000611d4c6060830184614196565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000821982111561448757614487614445565b500190565b600067ffffffffffffffff838116908316818110156144ad576144ad614445565b039392505050565b6000828210156144c7576144c7614445565b500390565b600067ffffffffffffffff808316818516818304811182151516156144f3576144f3614445565b02949350505050565b6000806040838503121561450f57600080fd5b505080516020909101519092909150565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b60008261455e5761455e614520565b500490565b6000817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161561459b5761459b614445565b500290565b6000826145af576145af614520565b500690565b60006fffffffffffffffffffffffffffffffff838116908316818110156144ad576144ad614445565b60006fffffffffffffffffffffffffffffffff80831681851680830382111561460857614608614445565b01949350505050565b8183823760009101908152919050565b8183528181602085013750600060208284010152600060207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f840116840101905092915050565b60608152600061467e606083018789614621565b8281036020840152614691818688614621565b9150508260408301529695505050505050565b6000602082840312156146b657600080fd5b5051919050565b600060ff821660ff8416808210156146d7576146d7614445565b90039392505050565b600060ff8316806146f3576146f3614520565b8060ff84160691505092915050565b60006020828403121561471457600080fd5b815161425681614214565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff820361475057614750614445565b5060010190565b60007f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60008413600084138583048511828216161561479857614798614445565b7f800000000000000000000000000000000000000000000000000000000000000060008712868205881281841616156147d3576147d3614445565b600087129250878205871284841616156147ef576147ef614445565b8785058712818416161561480557614805614445565b505050929093029392505050565b60008261482257614822614520565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83147f80000000000000000000000000000000000000000000000000000000000000008314161561487657614876614445565b50059056fea164736f6c634300080f000a"
func init() {
......
packages/contracts-bedrock/semver-lock.json
View file @ f1fd2a38
......@@ -116,8 +116,8 @@
"sourceCodeHash": "0xc4dbd17217b63f8117f56f78c213e57dda304fee7577fe296e1d804ebe049542"
},
"src/dispute/FaultDisputeGame.sol": {
"initCodeHash": "0xf1a4519238b2e5ac5d1ca83c33135dc47e5c38029c82443975cfd00abf76a8bf",
"sourceCodeHash": "0x221732fb84ae56d7c526c2437820ec15cdd3ef293ae47f3383df8c943c737805"
"initCodeHash": "0x989b87a852a1c4f50e4fb6872b8481334c8f11281984c96db565d40e042448ef",
"sourceCodeHash": "0x27b900bb305c9ee2c98df3f611bee8a9408086cf95d34442c557136803cdf8c6"
},
"src/dispute/weth/DelayedWETH.sol": {
"initCodeHash": "0x7b6ec89eaec09e369426e73161a9c6932223bb1f974377190c3f6f552995da35",
......
packages/contracts-bedrock/snapshots/abi/FaultDisputeGame.json
View file @ f1fd2a38
......@@ -55,14 +55,6 @@
"stateMutability": "nonpayable",
"type": "constructor"
},
{
"stateMutability": "payable",
"type": "fallback"
},
{
"stateMutability": "payable",
"type": "receive"
},
{
"inputs": [],
"name": "absolutePrestate",
......
packages/contracts-bedrock/snapshots/abi/PermissionedDisputeGame.json
View file @ f1fd2a38
......@@ -65,14 +65,6 @@
"stateMutability": "nonpayable",
"type": "constructor"
},
{
"stateMutability": "payable",
"type": "fallback"
},
{
"stateMutability": "payable",
"type": "receive"
},
{
"inputs": [],
"name": "absolutePrestate",
......
packages/contracts-bedrock/src/dispute/FaultDisputeGame.sol
View file @ f1fd2a38
......@@ -61,6 +61,10 @@ contract FaultDisputeGame is IFaultDisputeGame, Clone, ISemver {
/// @notice The global root claim's position is always at gindex 1.
Position internal constant ROOT_POSITION = Position.wrap(1);
/// @notice Semantic version.
/// @custom:semver 0.16.1
string public constant version = "0.16.1";
/// @notice The starting timestamp of the game
Timestamp public createdAt;
......@@ -91,10 +95,6 @@ contract FaultDisputeGame is IFaultDisputeGame, Clone, ISemver {
/// @notice The latest finalized output root, serving as the anchor for output bisection.
OutputRoot public startingOutputRoot;
/// @notice Semantic version.
/// @custom:semver 0.16.1
string public constant version = "0.16.1";
/// @param _gameType The type ID of the game.
/// @param _absolutePrestate The absolute prestate of the instruction trace.
/// @param _maxGameDepth The maximum depth of bisection.
......@@ -136,11 +136,78 @@ contract FaultDisputeGame is IFaultDisputeGame, Clone, ISemver {
L2_CHAIN_ID = _l2ChainId;
}
/// @notice Receive function to allow the contract to receive ETH.
receive() external payable { }
/// @inheritdoc IInitializable
function initialize() public payable virtual {
// SAFETY: Any revert in this function will bubble up to the DisputeGameFactory and
// prevent the game from being created.
//
// Implicit assumptions:
// - The `gameStatus` state variable defaults to 0, which is `GameStatus.IN_PROGRESS`
// - The dispute game factory will enforce the required bond to initialize the game.
//
// Explicit checks:
// - The game must not have already been initialized.
// - An output root cannot be proposed at or before the starting block number.
// INVARIANT: The game must not have already been initialized.
if (initialized) revert AlreadyInitialized();
// Grab the latest anchor root.
(Hash root, uint256 rootBlockNumber) = ANCHOR_STATE_REGISTRY.anchors(GAME_TYPE);
// Should only happen if this is a new game type that hasn't been set up yet.
if (root.raw() == bytes32(0)) revert AnchorRootNotFound();
// Set the starting output root.
startingOutputRoot = OutputRoot({ l2BlockNumber: rootBlockNumber, root: root });
// Revert if the calldata size is not the expected length.
//
// This is to prevent adding extra or omitting bytes from to `extraData` that result in a different game UUID
// in the factory, but are not used by the game, which would allow for multiple dispute games for the same
// output proposal to be created.
//
// Expected length: 0x7A
// - 0x04 selector
// - 0x14 creator address
// - 0x20 root claim
// - 0x20 l1 head
// - 0x20 extraData
// - 0x02 CWIA bytes
assembly {
if iszero(eq(calldatasize(), 0x7A)) {
// Store the selector for `BadExtraData()` & revert
mstore(0x00, 0x9824bdab)
revert(0x1C, 0x04)
}
}
// Do not allow the game to be initialized if the root claim corresponds to a block at or before the
// configured starting block number.
if (l2BlockNumber() <= rootBlockNumber) revert UnexpectedRootClaim(rootClaim());
// Set the root claim
claimData.push(
ClaimData({
parentIndex: type(uint32).max,
counteredBy: address(0),
claimant: gameCreator(),
bond: uint128(msg.value),
claim: rootClaim(),
position: ROOT_POSITION,
clock: LibClock.wrap(Duration.wrap(0), Timestamp.wrap(uint64(block.timestamp)))
})
);
// Set the game as initialized.
initialized = true;
// Deposit the bond.
WETH.deposit{ value: msg.value }();
/// @notice Fallback function to allow the contract to receive ETH.
fallback() external payable { }
// Set the game's starting timestamp
createdAt = Timestamp.wrap(uint64(block.timestamp));
}
////////////////////////////////////////////////////////////////
// `IFaultDisputeGame` impl //
......@@ -374,15 +441,20 @@ contract FaultDisputeGame is IFaultDisputeGame, Clone, ISemver {
l2BlockNumber_ = _getArgUint256(0x54);
}
/// @inheritdoc IFaultDisputeGame
function startingBlockNumber() external view returns (uint256 startingBlockNumber_) {
startingBlockNumber_ = startingOutputRoot.l2BlockNumber;
}
/// @inheritdoc IFaultDisputeGame
function startingRootHash() external view returns (Hash startingRootHash_) {
startingRootHash_ = startingOutputRoot.root;
}
////////////////////////////////////////////////////////////////
// `IDisputeGame` impl //
////////////////////////////////////////////////////////////////
/// @inheritdoc IDisputeGame
function gameType() public view override returns (GameType gameType_) {
gameType_ = GAME_TYPE;
}
/// @inheritdoc IDisputeGame
function resolve() external returns (GameStatus status_) {
// INVARIANT: Resolution cannot occur unless the game is currently in progress.
......@@ -470,6 +542,11 @@ contract FaultDisputeGame is IFaultDisputeGame, Clone, ISemver {
resolvedSubgames[_claimIndex] = true;
}
/// @inheritdoc IDisputeGame
function gameType() public view override returns (GameType gameType_) {
gameType_ = GAME_TYPE;
}
/// @inheritdoc IDisputeGame
function gameCreator() public pure returns (address creator_) {
creator_ = _getArgAddress(0x00);
......@@ -499,98 +576,10 @@ contract FaultDisputeGame is IFaultDisputeGame, Clone, ISemver {
extraData_ = extraData();
}
/// @inheritdoc IFaultDisputeGame
function startingBlockNumber() external view returns (uint256 startingBlockNumber_) {
startingBlockNumber_ = startingOutputRoot.l2BlockNumber;
}
/// @inheritdoc IFaultDisputeGame
function startingRootHash() external view returns (Hash startingRootHash_) {
startingRootHash_ = startingOutputRoot.root;
}
////////////////////////////////////////////////////////////////
// MISC EXTERNAL //
////////////////////////////////////////////////////////////////
/// @inheritdoc IInitializable
function initialize() public payable virtual {
// SAFETY: Any revert in this function will bubble up to the DisputeGameFactory and
// prevent the game from being created.
//
// Implicit assumptions:
// - The `gameStatus` state variable defaults to 0, which is `GameStatus.IN_PROGRESS`
// - The dispute game factory will enforce the required bond to initialize the game.
//
// Explicit checks:
// - The game must not have already been initialized.
// - An output root cannot be proposed at or before the starting block number.
// INVARIANT: The game must not have already been initialized.
if (initialized) revert AlreadyInitialized();
// Grab the latest anchor root.
(Hash root, uint256 rootBlockNumber) = ANCHOR_STATE_REGISTRY.anchors(GAME_TYPE);
// Should only happen if this is a new game type that hasn't been set up yet.
if (root.raw() == bytes32(0)) revert AnchorRootNotFound();
// Set the starting output root.
startingOutputRoot = OutputRoot({ l2BlockNumber: rootBlockNumber, root: root });
// Revert if the calldata size is not the expected length.
//
// This is to prevent adding extra or omitting bytes from to `extraData` that result in a different game UUID
// in the factory, but are not used by the game, which would allow for multiple dispute games for the same
// output proposal to be created.
//
// Expected length: 0x7A
// - 0x04 selector
// - 0x14 creator address
// - 0x20 root claim
// - 0x20 l1 head
// - 0x20 extraData
// - 0x02 CWIA bytes
assembly {
if iszero(eq(calldatasize(), 0x7A)) {
// Store the selector for `BadExtraData()` & revert
mstore(0x00, 0x9824bdab)
revert(0x1C, 0x04)
}
}
// Do not allow the game to be initialized if the root claim corresponds to a block at or before the
// configured starting block number.
if (l2BlockNumber() <= rootBlockNumber) revert UnexpectedRootClaim(rootClaim());
// Set the root claim
claimData.push(
ClaimData({
parentIndex: type(uint32).max,
counteredBy: address(0),
claimant: gameCreator(),
bond: uint128(msg.value),
claim: rootClaim(),
position: ROOT_POSITION,
clock: LibClock.wrap(Duration.wrap(0), Timestamp.wrap(uint64(block.timestamp)))
})
);
// Deposit the bond.
WETH.deposit{ value: msg.value }();
// Set the game's starting timestamp
createdAt = Timestamp.wrap(uint64(block.timestamp));
// Set the game as initialized.
initialized = true;
}
/// @notice Returns the length of the `claimData` array.
function claimDataLen() external view returns (uint256 len_) {
len_ = claimData.length;
}
/// @notice Returns the required bond for a given move kind.
/// @param _position The position of the bonded interaction.
/// @return requiredBond_ The required ETH bond for the given move, in wei.
......@@ -682,6 +671,11 @@ contract FaultDisputeGame is IFaultDisputeGame, Clone, ISemver {
duration_ = challengeDuration > MAX_CLOCK_DURATION.raw() ? MAX_CLOCK_DURATION : Duration.wrap(challengeDuration);
}
/// @notice Returns the length of the `claimData` array.
function claimDataLen() external view returns (uint256 len_) {
len_ = claimData.length;
}
////////////////////////////////////////////////////////////////
// IMMUTABLE GETTERS //
////////////////////////////////////////////////////////////////
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment