0 txs
0 calls
constructor
No constructor.
functions
burnProofHelper
viewfunction burnProofHelper(uint256 _blockNumber, uint256 startingBlockNumber, bytes4 _locktime, address lockers, bytes _lockerLockingScript, uint256 _burnReqIndexesLength, uint256 _voutIndexesLength) view
checkScriptTypeAndLocker
viewfunction checkScriptTypeAndLocker(bytes _userScript, ScriptTypes _scriptType, address lockers, bytes _lockerLockingScript) view
finalizationParameter
viewfunction finalizationParameter(address _relay) view returns (uint256)
getFinalizedBlockHeaderFee
viewfunction getFinalizedBlockHeaderFee(address _relay, uint256 _blockNumber) view returns (uint256)
lastSubmittedHeight
viewfunction lastSubmittedHeight(address _relay) view returns (uint256)
events
No events.
errors
No errors.
creation bytecode
0x61316961003a600b82828239805160001a60731461002d57634e487b7160e01b600052600060045260246000fd5b30600052607381538281f3fe730000000000000000000000000000000000000000301460806040526004361061008d5760003560e01c806310889dc31461009257806315755789146100b8578063191e28dc146100da578063441d3a211461010a57806344922b641461012a5780637ebc23271461013d5780638d9da5991461015d578063a779a39214610170578063f876615014610183575b600080fd5b6100a56100a03660046128e5565b610196565b6040519081526020015b60405180910390f35b8180156100c457600080fd5b506100d86100d3366004612be1565b61020f565b005b8180156100e657600080fd5b506100fa6100f5366004612c2e565b6103f1565b60405190151581526020016100af565b81801561011657600080fd5b506100d8610125366004612965565b61047a565b6100d8610138366004612c97565b6108d1565b81801561014957600080fd5b506100fa6101583660046128ff565b610a45565b6100a561016b366004612ac9565b610b1e565b6100a561017e3660046128e5565b610ba7565b6100d8610191366004612b2a565b610be2565b6000816001600160a01b0316632f796d906040518163ffffffff1660e01b815260040160206040518083038186803b1580156101d157600080fd5b505afa1580156101e5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906102099190612b12565b92915050565b6001600160a01b038516600090815260208790526040902080548590811061024757634e487b7160e01b600052603260045260246000fd5b600091825260209091206005600790920201015460ff16156102b05760405162461bcd60e51b815260206004820152601d60248201527f4275726e526f757465724c6f6769633a20616c7265616479207061696400000060448201526064015b60405180910390fd5b6001600160a01b03851660009081526020879052604090208054839190869081106102eb57634e487b7160e01b600052603260045260246000fd5b9060005260206000209060070201600401541061031a5760405162461bcd60e51b81526004016102a790612ec7565b6103248382612fc8565b6001600160a01b038616600090815260208890526040902080548690811061035c57634e487b7160e01b600052603260045260246000fd5b9060005260206000209060070201600401541161038b5760405162461bcd60e51b81526004016102a790612f0b565b6001600160a01b0385166000908152602087905260409020805460019190869081106103c757634e487b7160e01b600052603260045260246000fd5b60009182526020909120600790910201600501805460ff1916911515919091179055505050505050565b6000806103fe8585610d46565b6001600160401b03169050600061041486610e57565b90508115801561042357508087145b806104415750811580159061044157508061043f886001612fc8565b145b1561046a575050506000818152602086905260409020805460ff19166001908117909155610471565b6000925050505b95945050505050565b60405163aff2faa360e01b81526001600160a01b038d169063aff2faa3906104a6908e90600401612e13565b60206040518083038186803b1580156104be57600080fd5b505afa1580156104d2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906104f69190612af2565b6105125760405162461bcd60e51b81526004016102a790612e92565b89516002148015610524575082516002145b8015610531575080516003145b61057d5760405162461bcd60e51b815260206004820152601d60248201527f4275726e526f757465724c6f6769633a2077726f6e6720696e7075747300000060448201526064016102a7565b848160028151811061059f57634e487b7160e01b600052603260045260246000fd5b602002602001015110156105c55760405162461bcd60e51b81526004016102a790612f0b565b6106228685836002815181106105eb57634e487b7160e01b600052603260045260246000fd5b6020026020010151858560018151811061061557634e487b7160e01b600052603260045260246000fd5b6020026020010151610a45565b61066e5760405162461bcd60e51b815260206004820152601e60248201527f4275726e526f757465724c6f6769633a206e6f742066696e616c697a6564000060448201526064016102a7565b60008481526020899052604090205460ff16156106cd5760405162461bcd60e51b815260206004820152601d60248201527f4275726e526f757465724c6f6769633a20616c7265616479207573656400000060448201526064016102a7565b6000848152602089905260409020805460ff1916600117905580518190600290811061070957634e487b7160e01b600052603260045260246000fd5b60200260200101518761071c9190612fc8565b61072587610196565b116107425760405162461bcd60e51b81526004016102a790612ec7565b60008061077d8b8260200201518460008151811061077057634e487b7160e01b600052603260045260246000fd5b6020026020010151610e84565b915091506108098c6001815181106107a557634e487b7160e01b600052603260045260246000fd5b60200260200101518c6001600381106107ce57634e487b7160e01b600052603260045260246000fd5b60200201518d60026020020151886001815181106107fc57634e487b7160e01b600052603260045260246000fd5b6020026020010151610f0b565b82146108575760405162461bcd60e51b815260206004820181905260248201527f4275726e526f757465724c6f6769633a2077726f6e67206f757470757420747860448201526064016102a7565b8c5160208e012060408c015161086d908361103e565b80519060200120146108c15760405162461bcd60e51b815260206004820152601f60248201527f4275726e526f757465724c6f6769633a206e6f7420666f72206c6f636b65720060448201526064016102a7565b5050505050505050505050505050565b858710156108f15760405162461bcd60e51b81526004016102a790612f0b565b6001600160e01b03198516156109555760405162461bcd60e51b815260206004820152602360248201527f4275726e526f757465724c6f6769633a206e6f6e2d7a65726f206c6f636b2074604482015262696d6560e81b60648201526084016102a7565b60405163aff2faa360e01b81526001600160a01b0385169063aff2faa390610981908690600401612e13565b60206040518083038186803b15801561099957600080fd5b505afa1580156109ad573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109d19190612af2565b6109ed5760405162461bcd60e51b81526004016102a790612e92565b808214610a3c5760405162461bcd60e51b815260206004820152601e60248201527f4275726e526f757465724c6f6769633a2077726f6e6720696e6465786573000060448201526064016102a7565b50505050505050565b600080610a528786610b1e565b905080341015610a9c5760405162461bcd60e51b8152602060048201526015602482015274426974636f696e52656c61793a206c6f772066656560581b60448201526064016102a7565b6000610ae98888888888604051602401610ab99493929190612db4565b60408051601f198184030181529190526020810180516001600160e01b0316634354da2560e01b179052846110b0565b9050610afe33610af98434613059565b6110d6565b80806020019051810190610b129190612af2565b98975050505050505050565b60405163d0a8973960e01b815260048101829052600060248201819052906001600160a01b0384169063d0a897399060440160206040518083038186803b158015610b6857600080fd5b505afa158015610b7c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ba09190612b12565b9392505050565b6000816001600160a01b031663a072bc506040518163ffffffff1660e01b815260040160206040518083038186803b1580156101d157600080fd5b6000846005811115610c0457634e487b7160e01b600052602160045260246000fd5b1480610c2f57506004846005811115610c2d57634e487b7160e01b600052602160045260246000fd5b145b80610c5957506005846005811115610c5757634e487b7160e01b600052602160045260246000fd5b145b15610c84578451602014610c7f5760405162461bcd60e51b81526004016102a790612e26565b610ca5565b8451601414610ca55760405162461bcd60e51b81526004016102a790612e26565b60405163aff2faa360e01b81526001600160a01b0384169063aff2faa390610cd39085908590600401612de4565b60206040518083038186803b158015610ceb57600080fd5b505afa158015610cff573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610d239190612af2565b610d3f5760405162461bcd60e51b81526004016102a790612e92565b5050505050565b600080610d5d610d58825b86906111f1565b61120c565b9050610d6e62ffffff198216611362565b15610d8b5760405162461bcd60e51b81526004016102a790612e5d565b6000806000610d9b84600061136e565b6001600160401b0316905060005b81811015610e4c57610dbb85826114b7565b9350610dc6846115e2565b925086604051602001610dd99190612d98565b60405160208183030381529060405280519060200120610dfe8462ffffff1916611633565b604051602001610e0e9190612d98565b604051602081830303815290604052805190602001201415610e3a57610e3384611679565b9550610e4c565b80610e44816130c3565b915050610da9565b505050505092915050565b600080610e67610d5884836111f1565b9050610e7481600061136e565b6001600160401b03169392505050565b60008080610e9c610e97825b87906111f1565b61169e565b9050610ead62ffffff198216611362565b15610eca5760405162461bcd60e51b81526004016102a790612f41565b6000610ed6828661179f565b90506000610ee3826118a6565b9050610eee816118ca565b9450610ef9816118ec565b63ffffffff1693505050509250929050565b600080610f1a610e9782610e90565b9050610f2b62ffffff198216611362565b15610f485760405162461bcd60e51b81526004016102a790612f41565b6000600287878787604051602001610f639493929190612d45565b60408051601f1981840301815290829052610f7d91612d98565b602060405180830381855afa158015610f9a573d6000803e3d6000fd5b5050506040513d601f19601f82011682018060405250810190610fbd9190612b12565b90506000600282604051602001610fd691815260200190565b60408051601f1981840301815290829052610ff091612d98565b602060405180830381855afa15801561100d573d6000803e3d6000fd5b5050506040513d601f19601f820116820180604052508101906110309190612b12565b93505050505b949350505050565b6060600061104e610d5882610d51565b905061105f62ffffff198216611362565b1561107c5760405162461bcd60e51b81526004016102a790612e5d565b600061108882856114b7565b90506000611095826115e2565b90506110a662ffffff198216611633565b9695505050505050565b606061103684848460405180606001604052806029815260200161310b60299139611916565b804710156111265760405162461bcd60e51b815260206004820152601d60248201527f416464726573733a20696e73756666696369656e742062616c616e636500000060448201526064016102a7565b6000826001600160a01b03168260405160006040518083038185875af1925050503d8060008114611173576040519150601f19603f3d011682016040523d82523d6000602084013e611178565b606091505b50509050806111ec5760405162461bcd60e51b815260206004820152603a60248201527f416464726573733a20756e61626c6520746f2073656e642076616c75652c20726044820152791958da5c1a595b9d081b585e481a185d99481c995d995c9d195960321b60648201526084016102a7565b505050565b81516000906020840161047164ffffffffff85168284611a3e565b60008181611222815b62ffffff19841690611a82565b5061123262ffffff198516611b5c565b6001600160601b031661124e57611247611b6b565b925061135b565b600061125b85600061136e565b9050600061126e62ffffff198716611b5c565b6001600160601b031690506001600160401b0382166112985761128f611b6b565b9450505061135b565b60006112a383611b73565b60ff16905060005b836001600160401b0316811015611321578282106112d6576112cb611b6b565b96505050505061135b565b60006112f66112e58486613059565b600e5b62ffffff198c169190611bd1565b905061130181611bfb565b61130b9084612fc8565b9250508080611319906130c3565b9150506112ab565b5081811461133b57611331611b6b565b955050505061135b565b611355600f5b60d81b6301000000600160d81b0389161790565b95505050505b5050919050565b62ffffff199081161490565b60008061138362ffffff198516846001611c44565b905060fc811161139e5761139681611c74565b915050610209565b8060fd1415611404576113cc6113c76113b8856001612fc8565b62ffffff198716906002611ce0565b611c74565b91506113d782611b73565b60ff166003146113ff576113fd6113f862ffffff1986168560036000611e23565b611e89565b505b6114b0565b8060fe14156114595761142d6113c761141e856001612fc8565b62ffffff198716906004611ce0565b915061143882611b73565b60ff166005146113ff576113fd6113f862ffffff1986168560056000611e23565b8060ff14156114b0576114826113c7611473856001612fc8565b62ffffff198716906008611ce0565b915061148d82611b73565b60ff166009146114b0576114ae6113f862ffffff1986168560096000611e23565b505b5092915050565b600082600f6114c581611215565b5060006114d386600061136e565b6001600160401b0316905060006114ef62ffffff198816611b5c565b6001600160601b0316905081861061153d5760405162461bcd60e51b81526020600482015260116024820152702b37baba103932b0b21037bb32b9393ab760791b60448201526064016102a7565b600061154883611b73565b60ff1690506000805b888110156115a0576115776115668486613059565b600e5b62ffffff198d169190611bd1565b915061158282611bfb565b61158c9084612fc8565b9250611599600182612fc8565b9050611551565b506115ae6112e58385613059565b905060006115bb82611bfb565b90506115d48382600d5b62ffffff198e16929190611e23565b9a9950505050505050505050565b600081600d6115f081611215565b5060006115fe85600861136e565b905061047161160c82611b73565b611617906008612fe0565b62ffffff1987169060ff166001600160401b0384166007611e23565b606060008061164184611b5c565b60405193508392506001600160601b0316905061166884611663846020612fc8565b611f11565b508181016020016040529052919050565b600081600d61168781611215565b506110366113c762ffffff19861660006008611ce0565b600081816116ab81611215565b506116bb62ffffff198516611b5c565b6001600160601b03166116d057611247611b6b565b60006116dd85600061136e565b905060006116f062ffffff198716611b5c565b6001600160601b031690506001600160401b0382166117115761128f611b6b565b600061171c83611b73565b60ff16905060005b836001600160401b031681101561178557828210611744576112cb611b6b565b600061175a6117538486613059565b60056112e8565b905061176581612054565b61176f9084612fc8565b925050808061177d906130c3565b915050611724565b5081811461179557611331611b6b565b6113556006611341565b60008260066117ad81611215565b5060006117bb86600061136e565b6001600160401b0316905060006117d762ffffff198816611b5c565b6001600160601b031690508186106118245760405162461bcd60e51b815260206004820152601060248201526f2b34b7103932b0b21037bb32b9393ab760811b60448201526064016102a7565b600061182f83611b73565b60ff1690506000805b8881101561187d5761185461184d8486613059565b6005611569565b915061185f82612054565b6118699084612fc8565b9250611876600182612fc8565b9050611838565b5061188b6117538385613059565b9050600061189882612054565b90506115d4838260046115c5565b60008160046118b481611215565b5061103662ffffff198516600060246003611e23565b60008160036118d881611215565b5061103662ffffff198516600060206120a8565b60008160036118fa81611215565b5061103661191162ffffff19861660206004611ce0565b6121d6565b6060824710156119775760405162461bcd60e51b815260206004820152602660248201527f416464726573733a20696e73756666696369656e742062616c616e636520666f6044820152651c8818d85b1b60d21b60648201526084016102a7565b843b6119c55760405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e747261637400000060448201526064016102a7565b600080866001600160a01b031685876040516119e19190612d98565b60006040518083038185875af1925050503d8060008114611a1e576040519150601f19603f3d011682016040523d82523d6000602084013e611a23565b606091505b5091509150611a3382828661223b565b979650505050505050565b600080611a4b8385612fc8565b9050604051811115611a5b575060005b80611a6d5762ffffff19915050610ba0565b5050606092831b9190911790911b1760181b90565b6000611a8e8383612274565b611b55576000611aad611aa18560d81c90565b64ffffffffff16612297565b9150506000611ac28464ffffffffff16612297565b6040517f5479706520617373657274696f6e206661696c65642e20476f7420307800000060208201526001600160b01b031960b086811b8216603d8401526c05c408af0e0cac6e8cac84060f609b1b604784015283901b16605482015290925060009150605e015b60405160208183030381529060405290508060405162461bcd60e51b81526004016102a79190612e13565b5090919050565b60181c6001600160601b031690565b62ffffff1990565b600060fc826001600160401b031611611b8e57506001919050565b61ffff826001600160401b031611611ba857506003919050565b63ffffffff826001600160401b031611611bc457506005919050565b506009919050565b919050565b60006110368484611be187611b5c565b6001600160601b0316611bf49190613059565b8585611e23565b600081600e611c0981611215565b506000611c1785600861136e565b9050806001600160401b0316611c2c82611b73565b60ff16611c399190612fc8565b610471906008612fc8565b6000611c51826020613070565b611c5c906008613030565b60ff16611c6a8585856120a8565b901c949350505050565b60006001600160401b03821115611cdc5760405162461bcd60e51b815260206004820152602660248201527f53616665436173743a2076616c756520646f65736e27742066697420696e203660448201526534206269747360d01b60648201526084016102a7565b5090565b6000611036611cf08585856120a8565b60008190506008817eff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff16901b600882901c7eff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff161790506010817dffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff16901b601082901c7dffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff161790506020817bffffffff00000000ffffffff00000000ffffffff00000000ffffffff16901b602082901c7bffffffff00000000ffffffff00000000ffffffff00000000ffffffff161790506040816001600160401b03600160801b03600160c01b0316901b604082901c6001600160401b03600160801b03600160c01b0316179050608081901b608082901c179050919050565b600080611e2f86612343565b6001600160601b03169050611e4386612352565b84611e4e8784612fc8565b611e589190612fc8565b1115611e6b5762ffffff19915050611036565b611e758582612fc8565b90506110a68364ffffffffff168286611a3e565b60606000611ec7611ec282611eb4611ea662ffffff198816611b5c565b6001600160601b031661237f565b62ffffff1987169190611c44565b612297565b6040517a09cdedc5adad2dcd2dac2d840ecc2e440d2dce85c408edee84060f602b1b60208201526001600160701b0319607083901b16603b82015290925060009150604d01611b2a565b6000611f1c836123e0565b611f795760405162461bcd60e51b815260206004820152602860248201527f54797065644d656d566965772f636f7079546f202d204e756c6c20706f696e7460448201526732b9103232b932b360c11b60648201526084016102a7565b611f82836123f2565b611fe25760405162461bcd60e51b815260206004820152602b60248201527f54797065644d656d566965772f636f7079546f202d20496e76616c696420706f60448201526a34b73a32b9103232b932b360a91b60648201526084016102a7565b6000611fed84611b5c565b6001600160601b03169050600061200385612343565b6001600160601b0316905060006040519050848111156120235760206060fd5b8285848460045afa506110a66120398760d81c90565b64ffffffffff60601b606091821b168717901b841760181b90565b600081600561206281611215565b50600061207085602461136e565b9050806001600160401b031661208582611b73565b60ff166120929190612fc8565b61209d906024612fc8565b610471906004612fc8565b600060ff82166120ba57506000610ba0565b6120c384611b5c565b6001600160601b03166120d960ff841685612fc8565b1115612129576121106120eb85612343565b6001600160601b03166120fd86611b5c565b6001600160601b0316858560ff16612430565b60405162461bcd60e51b81526004016102a79190612e13565b60208260ff1611156121a05760405162461bcd60e51b815260206004820152603a60248201527f54797065644d656d566965772f696e646578202d20417474656d7074656420746044820152796f20696e646578206d6f7265207468616e20333220627974657360301b60648201526084016102a7565b6008820260006121af86612343565b6001600160601b031690506000600160ff1b60001984011d91909501511695945050505050565b600063ffffffff821115611cdc5760405162461bcd60e51b815260206004820152602660248201527f53616665436173743a2076616c756520646f65736e27742066697420696e203360448201526532206269747360d01b60648201526084016102a7565b6060831561224a575081610ba0565b82511561225a5782518084602001fd5b8160405162461bcd60e51b81526004016102a79190612e13565b60008164ffffffffff166122888460d81c90565b64ffffffffff16149392505050565b600080601f5b600f8160ff1611156122f55760006122b6826008613030565b60ff1685901c90506122c78161255a565b61ffff16841793508160ff166010146122e257601084901b93505b506122ee600182613070565b905061229d565b50600f5b60ff8160ff16101561233d5760ff600882021684901c6123188161255a565b61ffff16831792508160ff1660001461233357601083901b92505b50600019016122f9565b50915091565b60781c6001600160601b031690565b600061235d82611b5c565b61236683612343565b6123709190613005565b6001600160601b031692915050565b600060ff821115611cdc5760405162461bcd60e51b815260206004820152602560248201527f53616665436173743a2076616c756520646f65736e27742066697420696e2038604482015264206269747360d81b60648201526084016102a7565b60006123eb82611362565b1592915050565b60006123fe8260d81c90565b64ffffffffff1664ffffffffff141561241957506000919050565b600061242483612352565b60405110199392505050565b6060600061243d86612297565b915050600061244b86612297565b915050600061245986612297565b915050600061246786612297565b604080517f54797065644d656d566965772f696e646578202d204f76657272616e20746865602082015274040ecd2caee5c40a6d8d2c6ca40d2e640c2e84060f605b1b818301526001600160d01b031960d098891b811660558301526e040eed2e8d040d8cadccee8d04060f608b1b605b830181905297891b8116606a8301527f2e20417474656d7074656420746f20696e646578206174206f666673657420306070830152600f60fb1b609083015295881b861660918201526097810196909652951b90921660a68401525050601760f91b60ac8201528151808203608d01815260ad90910190915295945050505050565b600061256c60048360ff16901c61258c565b60ff1661ffff919091161760081b6125838261258c565b60ff1617919050565b600060f08083179060ff821614156125a75750603092915050565b8060ff1660f114156125bc5750603192915050565b8060ff1660f214156125d15750603292915050565b8060ff1660f314156125e65750603392915050565b8060ff1660f414156125fb5750603492915050565b8060ff1660f514156126105750603592915050565b8060ff1660f614156126255750603692915050565b8060ff1660f7141561263a5750603792915050565b8060ff1660f8141561264f5750603892915050565b8060ff1660f914156126645750603992915050565b8060ff1660fa14156126795750606192915050565b8060ff1660fb141561268e5750606292915050565b8060ff1660fc14156126a35750606392915050565b8060ff1660fd14156126b85750606492915050565b8060ff1660fe14156126cd5750606592915050565b8060ff1660ff14156126e25750606692915050565b50919050565b80356001600160a01b0381168114611bcc57600080fd5b600082601f83011261270f578081fd5b8135602061272461271f83612fa5565b612f75565b80838252828201915082860187848660051b8901011115612743578586fd5b855b858110156127685761275682612863565b84529284019290840190600101612745565b5090979650505050505050565b600082601f830112612785578081fd5b604051606081016001600160401b0380821183831017156127a8576127a86130f4565b8160405282915084866060870111156127bf578485fd5b845b60038110156127fa578135838111156127d8578687fd5b6127e489828a0161287b565b85525060209384019391909101906001016127c1565b50929695505050505050565b600082601f830112612816578081fd5b8135602061282661271f83612fa5565b80838252828201915082860187848660051b8901011115612845578586fd5b855b8581101561276857813584529284019290840190600101612847565b80356001600160e01b031981168114611bcc57600080fd5b600082601f83011261288b578081fd5b81356001600160401b038111156128a4576128a46130f4565b6128b7601f8201601f1916602001612f75565b8181528460208386010111156128cb578283fd5b816020850160208301379081016020019190915292915050565b6000602082840312156128f6578081fd5b610ba0826126e8565b600080600080600060a08688031215612916578081fd5b61291f866126e8565b9450602086013593506040860135925060608601356001600160401b03811115612947578182fd5b6129538882890161287b565b95989497509295608001359392505050565b6000806000806000806000806000806000806101808d8f031215612987578687fd5b6129908d6126e8565b9b506001600160401b0360208e013511156129a9578687fd5b6129b98e60208f01358f0161287b565b9a506001600160401b0360408e013511156129d2578687fd5b6129e28e60408f01358f016126ff565b99506001600160401b0360608e013511156129fb578687fd5b612a0b8e60608f01358f01612775565b985060808d0135975060a08d01359650612a2760c08e016126e8565b955060e08d013594506101008d013593506001600160401b036101208e01351115612a50578283fd5b612a618e6101208f01358f016126ff565b92506001600160401b036101408e01351115612a7b578081fd5b612a8c8e6101408f01358f0161287b565b91506001600160401b036101608e01351115612aa6578081fd5b612ab78e6101608f01358f01612806565b90509295989b509295989b509295989b565b60008060408385031215612adb578182fd5b612ae4836126e8565b946020939093013593505050565b600060208284031215612b03578081fd5b81518015158114610ba0578182fd5b600060208284031215612b23578081fd5b5051919050565b600080600080600060808688031215612b41578283fd5b85356001600160401b0380821115612b57578485fd5b612b6389838a0161287b565b96506020880135915060068210612b78578485fd5b819550612b87604089016126e8565b94506060880135915080821115612b9c578283fd5b818801915088601f830112612baf578283fd5b813581811115612bbd578384fd5b896020828501011115612bce578384fd5b9699959850939650602001949392505050565b60008060008060008060c08789031215612bf9578384fd5b86359550612c09602088016126e8565b95989597505050506040840135936060810135936080820135935060a0909101359150565b600080600080600060a08688031215612c45578283fd5b853594506020860135935060408601356001600160401b0380821115612c69578485fd5b612c7589838a0161287b565b94506060880135915080821115612c8a578283fd5b506129538882890161287b565b600080600080600080600060e0888a031215612cb1578081fd5b8735965060208801359550612cc860408901612863565b9450612cd6606089016126e8565b935060808801356001600160401b03811115612cf0578182fd5b612cfc8a828b0161287b565b93505060a0880135915060c0880135905092959891949750929550565b60008151808452612d31816020860160208601613093565b601f01601f19169290920160200192915050565b600063ffffffff60e01b80871683528551612d67816004860160208a01613093565b855190840190612d7e816004840160208a01613093565b919094169301600481019390935250506008019392505050565b60008251612daa818460208701613093565b9190910192915050565b848152836020820152608060408201526000612dd36080830185612d19565b905082606083015295945050505050565b60208152816020820152818360408301376000818301604090810191909152601f909201601f19160101919050565b602081526000610ba06020830184612d19565b6020808252601f908201527f4275726e526f757465724c6f6769633a20696e76616c69642073637269707400604082015260600190565b6020808252601b908201527a109a5d18dbda5b92195b1c195c8e881d9bdd5d081a5cc81b9d5b1b602a1b604082015260600190565b6020808252601b908201527a213ab9372937baba32b92637b3b4b19d103737ba103637b1b5b2b960291b604082015260600190565b60208082526024908201527f4275726e526f757465724c6f6769633a20646561646c696e65206e6f742070616040820152631cdcd95960e21b606082015260800190565b6020808252601c908201527b109d5c9b949bdd5d195c931bd9da58ce881bdb19081c995c5d595cdd60221b604082015260600190565b6020808252601a9082015279109a5d18dbda5b92195b1c195c8e881d9a5b881a5cc81b9d5b1b60321b604082015260600190565b604051601f8201601f191681016001600160401b0381118282101715612f9d57612f9d6130f4565b604052919050565b60006001600160401b03821115612fbe57612fbe6130f4565b5060051b60200190565b60008219821115612fdb57612fdb6130de565b500190565b600060ff821660ff84168060ff03821115612ffd57612ffd6130de565b019392505050565b60006001600160601b03828116848216808303821115613027576130276130de565b01949350505050565b600060ff821660ff84168160ff0481118215151615613051576130516130de565b029392505050565b60008282101561306b5761306b6130de565b500390565b600060ff821660ff84168082101561308a5761308a6130de565b90039392505050565b60005b838110156130ae578181015183820152602001613096565b838111156130bd576000848401525b50505050565b60006000198214156130d7576130d76130de565b5060010190565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052604160045260246000fdfe416464726573733a206c6f772d6c6576656c2063616c6c20776974682076616c7565206661696c6564a2646970667358221220e5fb220871b642c002dc4ec50ded05028354dbfaf04013a6c2b7cfaf22c6b60e64736f6c63430008040033