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)
prepareSlashLockerForDispute
viewfunction prepareSlashLockerForDispute(address lockers, bytes _inputVout, bytes _lockerLockingScript, uint256 _slasherPercentageReward, uint256 _MAX_PERCENTAGE_FEE) view returns (address _lockerTargetAddress, uint256 slasherReward, uint256 totalValue)
events
No events.
errors
No errors.
creation bytecode
0x613f2c61003a600b82828239805160001a60731461002d57634e487b7160e01b600052600060045260246000fd5b30600052607381538281f3fe73000000000000000000000000000000000000000030146080604052600436106100ae5760003560e01c806310889dc3146100b357806315755789146100d9578063191e28dc146100fb578063441d3a211461012b57806344922b641461014b5780637ebc23271461015e578063846852f91461017e5780638d9da599146101b6578063a779a392146101c9578063aa25f840146101dc578063f8766150146101fc578063fadc64651461020f575b600080fd5b6100c66100c13660046133fe565b61022f565b6040519081526020015b60405180910390f35b8180156100e557600080fd5b506100f96100f436600461379c565b6102a8565b005b81801561010757600080fd5b5061011b610116366004613941565b61048a565b60405190151581526020016100d0565b81801561013757600080fd5b506100f961014636600461349e565b610513565b6100f96101593660046139aa565b61096a565b81801561016a57600080fd5b5061011b610179366004613436565b610ade565b61019161018c366004613602565b610bb7565b604080516001600160a01b0390941684526020840192909252908201526060016100d0565b6100c66101c4366004613686565b610c70565b6100c66101d73660046133fe565b610cf9565b8180156101e857600080fd5b506100c66101f73660046137eb565b610d34565b6100f961020a3660046136e9565b610f0d565b81801561021b57600080fd5b506100c661022a366004613899565b611071565b6000816001600160a01b0316632f796d906040518163ffffffff1660e01b815260040160206040518083038186803b15801561026a57600080fd5b505afa15801561027e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906102a291906136d1565b92915050565b6001600160a01b03851660009081526020879052604090208054859081106102e057634e487b7160e01b600052603260045260246000fd5b600091825260209091206005600790920201015460ff16156103495760405162461bcd60e51b815260206004820152601d60248201527f4275726e526f757465724c6f6769633a20616c7265616479207061696400000060448201526064015b60405180910390fd5b6001600160a01b038516600090815260208790526040902080548391908690811061038457634e487b7160e01b600052603260045260246000fd5b906000526020600020906007020160040154106103b35760405162461bcd60e51b815260040161034090613bdc565b6103bd8382613cdd565b6001600160a01b03861660009081526020889052604090208054869081106103f557634e487b7160e01b600052603260045260246000fd5b906000526020600020906007020160040154116104245760405162461bcd60e51b815260040161034090613c20565b6001600160a01b03851660009081526020879052604090208054600191908690811061046057634e487b7160e01b600052603260045260246000fd5b60009182526020909120600790910201600501805460ff1916911515919091179055505050505050565b60008061049785856114ab565b6001600160401b0316905060006104ad866115bc565b9050811580156104bc57508087145b806104da575081158015906104da5750806104d8886001613cdd565b145b15610503575050506000818152602086905260409020805460ff1916600190811790915561050a565b6000925050505b95945050505050565b60405163aff2faa360e01b81526001600160a01b038d169063aff2faa39061053f908e90600401613b28565b60206040518083038186803b15801561055757600080fd5b505afa15801561056b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061058f91906136b1565b6105ab5760405162461bcd60e51b815260040161034090613ba7565b895160021480156105bd575082516002145b80156105ca575080516003145b6106165760405162461bcd60e51b815260206004820152601d60248201527f4275726e526f757465724c6f6769633a2077726f6e6720696e707574730000006044820152606401610340565b848160028151811061063857634e487b7160e01b600052603260045260246000fd5b6020026020010151101561065e5760405162461bcd60e51b815260040161034090613c20565b6106bb86858360028151811061068457634e487b7160e01b600052603260045260246000fd5b602002602001015185856001815181106106ae57634e487b7160e01b600052603260045260246000fd5b6020026020010151610ade565b6107075760405162461bcd60e51b815260206004820152601e60248201527f4275726e526f757465724c6f6769633a206e6f742066696e616c697a656400006044820152606401610340565b60008481526020899052604090205460ff16156107665760405162461bcd60e51b815260206004820152601d60248201527f4275726e526f757465724c6f6769633a20616c726561647920757365640000006044820152606401610340565b6000848152602089905260409020805460ff191660011790558051819060029081106107a257634e487b7160e01b600052603260045260246000fd5b6020026020010151876107b59190613cdd565b6107be8761022f565b116107db5760405162461bcd60e51b815260040161034090613bdc565b6000806108168b8260200201518460008151811061080957634e487b7160e01b600052603260045260246000fd5b60200260200101516115eb565b915091506108a28c60018151811061083e57634e487b7160e01b600052603260045260246000fd5b60200260200101518c60016003811061086757634e487b7160e01b600052603260045260246000fd5b60200201518d600260200201518860018151811061089557634e487b7160e01b600052603260045260246000fd5b6020026020010151611672565b82146108f05760405162461bcd60e51b815260206004820181905260248201527f4275726e526f757465724c6f6769633a2077726f6e67206f75747075742074786044820152606401610340565b8c5160208e012060408c015161090690836117a5565b805190602001201461095a5760405162461bcd60e51b815260206004820152601f60248201527f4275726e526f757465724c6f6769633a206e6f7420666f72206c6f636b6572006044820152606401610340565b5050505050505050505050505050565b8587101561098a5760405162461bcd60e51b815260040161034090613c20565b6001600160e01b03198516156109ee5760405162461bcd60e51b815260206004820152602360248201527f4275726e526f757465724c6f6769633a206e6f6e2d7a65726f206c6f636b2074604482015262696d6560e81b6064820152608401610340565b60405163aff2faa360e01b81526001600160a01b0385169063aff2faa390610a1a908690600401613b28565b60206040518083038186803b158015610a3257600080fd5b505afa158015610a46573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a6a91906136b1565b610a865760405162461bcd60e51b815260040161034090613ba7565b808214610ad55760405162461bcd60e51b815260206004820152601e60248201527f4275726e526f757465724c6f6769633a2077726f6e6720696e646578657300006044820152606401610340565b50505050505050565b600080610aeb8786610c70565b905080341015610b355760405162461bcd60e51b8152602060048201526015602482015274426974636f696e52656c61793a206c6f772066656560581b6044820152606401610340565b6000610b828888888888604051602401610b529493929190613ac9565b60408051601f198184030181529190526020810180516001600160e01b0316634354da2560e01b17905284611817565b9050610b9733610b928434613dcf565b61183d565b80806020019051810190610bab91906136b1565b98975050505050505050565b6000806000610bc587611958565b6001600160401b03169050876001600160a01b031663c4d10b6a876040518263ffffffff1660e01b8152600401610bfc9190613b28565b60206040518083038186803b158015610c1457600080fd5b505afa158015610c28573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c4c919061341a565b925083610c598683613d87565b610c639190613d67565b9150955095509592505050565b60405163d0a8973960e01b815260048101829052600060248201819052906001600160a01b0384169063d0a897399060440160206040518083038186803b158015610cba57600080fd5b505afa158015610cce573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610cf291906136d1565b9392505050565b6000816001600160a01b031663a072bc506040518163ffffffff1660e01b815260040160206040518083038186803b15801561026a57600080fd5b604080516101008101825260006080820181905260a0820181905260c0820181815260e083018290528b8352602083018b90526001600160a01b038516938301939093526060820189905291876005811115610da057634e487b7160e01b600052602160045260246000fd5b90816005811115610dc157634e487b7160e01b600052602160045260246000fd5b905250610dce8487613cdd565b6080820152600060a082018190526001600160a01b03861680825260208d8152604083205460e0850181905291909252908c90529150610e0f826001613cdd565b6001600160a01b03868116600090815260208e81526040808320949094558f81528382208054600180820183559184529282902086516007909402019283558582015190830155928401516002820180546001600160a01b0319169190931617909155606083015180518493610e8c92600385019291019061316e565b506080820151600482015560a08201516005808301805492151560ff1984168117825560c086015193919261ff001990911661ffff199092169190911790610100908490811115610eed57634e487b7160e01b600052602160045260246000fd5b021790555060e082015181600601555050509a9950505050505050505050565b6000846005811115610f2f57634e487b7160e01b600052602160045260246000fd5b1480610f5a57506004846005811115610f5857634e487b7160e01b600052602160045260246000fd5b145b80610f8457506005846005811115610f8257634e487b7160e01b600052602160045260246000fd5b145b15610faf578451602014610faa5760405162461bcd60e51b815260040161034090613b3b565b610fd0565b8451601414610fd05760405162461bcd60e51b815260040161034090613b3b565b60405163aff2faa360e01b81526001600160a01b0384169063aff2faa390610ffe9085908590600401613af9565b60206040518083038186803b15801561101657600080fd5b505afa15801561102a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061104e91906136b1565b61106a5760405162461bcd60e51b815260040161034090613ba7565b5050505050565b60008080805b855181101561149e57806110b4578481815181106110a557634e487b7160e01b600052603260045260246000fd5b60200260200101519150611165565b818582815181106110d557634e487b7160e01b600052603260045260246000fd5b60200260200101511161113a5760405162461bcd60e51b815260206004820152602760248201527f4275726e526f757465724c6f6769633a20756e2d736f7274656420766f757420604482015266696e646578657360c81b6064820152608401610340565b84818151811061115a57634e487b7160e01b600052603260045260246000fd5b602002602001015191505b600086828151811061118757634e487b7160e01b600052603260045260246000fd5b602002602001015190508a60008a6001600160a01b03166001600160a01b0316815260200190815260200160002081815481106111d457634e487b7160e01b600052603260045260246000fd5b600091825260209091206005600790920201015460ff1615801561124357506001600160a01b038916600090815260208c90526040902080548b91908390811061122e57634e487b7160e01b600052603260045260246000fd5b90600052602060002090600702016004015410155b1561148b576113b88887848151811061126c57634e487b7160e01b600052603260045260246000fd5b60200260200101518d60008d6001600160a01b03166001600160a01b0316815260200190815260200160002084815481106112b757634e487b7160e01b600052603260045260246000fd5b906000526020600020906007020160030180546112d390613e39565b80601f01602080910402602001604051908101604052809291908181526020018280546112ff90613e39565b801561134c5780601f106113215761010080835404028352916020019161134c565b820191906000526020600020905b81548152906001019060200180831161132f57829003601f168201915b50505050508e60008e6001600160a01b03166001600160a01b03168152602001908152602001600020858154811061139457634e487b7160e01b600052603260045260246000fd5b906000526020600020906007020160050160019054906101000a900460ff166119f5565b6001600160401b03169350838b60008b6001600160a01b03166001600160a01b03168152602001908152602001600020828154811061140757634e487b7160e01b600052603260045260246000fd5b906000526020600020906007020160010154141561148b576001600160a01b038916600090815260208c9052604090208054600191908390811061145b57634e487b7160e01b600052603260045260246000fd5b60009182526020909120600790910201600501805460ff1916911515919091179055611488856001613cdd565b94505b508061149681613e6e565b915050611077565b5050509695505050505050565b6000806114c26114bd825b8690611c69565b611c84565b90506114d362ffffff198216611dda565b156114f05760405162461bcd60e51b815260040161034090613b72565b6000806000611500846000611de6565b6001600160401b0316905060005b818110156115b1576115208582611f2f565b935061152b8461205a565b92508660405160200161153e9190613aad565b604051602081830303815290604052805190602001206115638462ffffff19166120ab565b6040516020016115739190613aad565b60405160208183030381529060405280519060200120141561159f57611598846120f1565b95506115b1565b806115a981613e6e565b91505061150e565b505050505092915050565b6000806115ce6114bd825b8590611c69565b90506115db816000611de6565b6001600160401b03169392505050565b600080806116036115fe825b8790611c69565b612116565b905061161462ffffff198216611dda565b156116315760405162461bcd60e51b815260040161034090613c56565b600061163d8286612217565b9050600061164a8261231e565b905061165581612342565b945061166081612364565b63ffffffff1693505050509250929050565b6000806116816115fe826115f7565b905061169262ffffff198216611dda565b156116af5760405162461bcd60e51b815260040161034090613c56565b60006002878787876040516020016116ca9493929190613a5a565b60408051601f19818403018152908290526116e491613aad565b602060405180830381855afa158015611701573d6000803e3d6000fd5b5050506040513d601f19601f8201168201806040525081019061172491906136d1565b9050600060028260405160200161173d91815260200190565b60408051601f198184030181529082905261175791613aad565b602060405180830381855afa158015611774573d6000803e3d6000fd5b5050506040513d601f19601f8201168201806040525081019061179791906136d1565b93505050505b949350505050565b606060006117b56114bd826114b6565b90506117c662ffffff198216611dda565b156117e35760405162461bcd60e51b815260040161034090613b72565b60006117ef8285611f2f565b905060006117fc8261205a565b905061180d62ffffff1982166120ab565b9695505050505050565b606061179d848484604051806060016040528060298152602001613ece6029913961238e565b8047101561188d5760405162461bcd60e51b815260206004820152601d60248201527f416464726573733a20696e73756666696369656e742062616c616e63650000006044820152606401610340565b6000826001600160a01b03168260405160006040518083038185875af1925050503d80600081146118da576040519150601f19603f3d011682016040523d82523d6000602084013e6118df565b606091505b50509050806119535760405162461bcd60e51b815260206004820152603a60248201527f416464726573733a20756e61626c6520746f2073656e642076616c75652c20726044820152791958da5c1a595b9d081b585e481a185d99481c995d995c9d195960321b6064820152608401610340565b505050565b6000806119676114bd826115c7565b905061197862ffffff198216611dda565b156119955760405162461bcd60e51b815260040161034090613b72565b6000806119a3836000611de6565b6001600160401b0316905060005b818110156119ec576119c38482611f2f565b92506119ce836120f1565b6119d89086613cf5565b9450806119e481613e6e565b9150506119b1565b50505050919050565b600080611a056114bd8783611c69565b9050611a1662ffffff198216611dda565b15611a335760405162461bcd60e51b815260040161034090613b72565b6000611a3f8287611f2f565b90506000611a4c8261205a565b90506005856005811115611a7057634e487b7160e01b600052602160045260246000fd5b1415611ad557611a8962ffffff198216600260206124b6565b604051602001611a9b91815260200190565b60405160208183030381529060405280519060200120868051906020012014611ac5576000611ace565b611ace826120f1565b9350611c5e565b6000856005811115611af757634e487b7160e01b600052602160045260246000fd5b1415611b1057611a8962ffffff198216600160206124b6565b6001856005811115611b3257634e487b7160e01b600052602160045260246000fd5b1415611b6c57611b4962ffffff19821660036125e4565b604051602001611a9b919060609190911b6001600160601b031916815260140190565b6002856005811115611b8e57634e487b7160e01b600052602160045260246000fd5b1415611ba557611b4962ffffff19821660026125e4565b6003856005811115611bc757634e487b7160e01b600052602160045260246000fd5b1415611bde57611b4962ffffff19821660026125e4565b6004856005811115611c0057634e487b7160e01b600052602160045260246000fd5b1415611c5e57611c1962ffffff198216600260206124b6565b604051602001611c2b91815260200190565b60405160208183030381529060405280519060200120868051906020012014611c55576000611797565b611797826120f1565b505050949350505050565b81516000906020840161050a64ffffffffff851682846125f2565b60008181611c9a815b62ffffff19841690612636565b50611caa62ffffff198516612710565b6001600160601b0316611cc657611cbf61271f565b9250611dd3565b6000611cd3856000611de6565b90506000611ce662ffffff198716612710565b6001600160601b031690506001600160401b038216611d1057611d0761271f565b94505050611dd3565b6000611d1b83612727565b60ff16905060005b836001600160401b0316811015611d9957828210611d4e57611d4361271f565b965050505050611dd3565b6000611d6e611d5d8486613dcf565b600e5b62ffffff198c169190612785565b9050611d79816127af565b611d839084613cdd565b9250508080611d9190613e6e565b915050611d23565b50818114611db357611da961271f565b9550505050611dd3565b611dcd600f5b60d81b6301000000600160d81b0389161790565b95505050505b5050919050565b62ffffff199081161490565b600080611dfb62ffffff1985168460016127f8565b905060fc8111611e1657611e0e81612828565b9150506102a2565b8060fd1415611e7c57611e44611e3f611e30856001613cdd565b62ffffff198716906002612894565b612828565b9150611e4f82612727565b60ff16600314611e7757611e75611e7062ffffff19861685600360006129d7565b612a3d565b505b611f28565b8060fe1415611ed157611ea5611e3f611e96856001613cdd565b62ffffff198716906004612894565b9150611eb082612727565b60ff16600514611e7757611e75611e7062ffffff19861685600560006129d7565b8060ff1415611f2857611efa611e3f611eeb856001613cdd565b62ffffff198716906008612894565b9150611f0582612727565b60ff16600914611f2857611f26611e7062ffffff19861685600960006129d7565b505b5092915050565b600082600f611f3d81611c8d565b506000611f4b866000611de6565b6001600160401b031690506000611f6762ffffff198816612710565b6001600160601b03169050818610611fb55760405162461bcd60e51b81526020600482015260116024820152702b37baba103932b0b21037bb32b9393ab760791b6044820152606401610340565b6000611fc083612727565b60ff1690506000805b8881101561201857611fef611fde8486613dcf565b600e5b62ffffff198d169190612785565b9150611ffa826127af565b6120049084613cdd565b9250612011600182613cdd565b9050611fc9565b50612026611d5d8385613dcf565b90506000612033826127af565b905061204c8382600d5b62ffffff198e169291906129d7565b9a9950505050505050505050565b600081600d61206881611c8d565b506000612076856008611de6565b905061050a61208482612727565b61208f906008613d20565b62ffffff1987169060ff166001600160401b03841660076129d7565b60606000806120b984612710565b60405193508392506001600160601b031690506120e0846120db846020613cdd565b612ac5565b508181016020016040529052919050565b600081600d6120ff81611c8d565b5061179d611e3f62ffffff19861660006008612894565b6000818161212381611c8d565b5061213362ffffff198516612710565b6001600160601b031661214857611cbf61271f565b6000612155856000611de6565b9050600061216862ffffff198716612710565b6001600160601b031690506001600160401b03821661218957611d0761271f565b600061219483612727565b60ff16905060005b836001600160401b03168110156121fd578282106121bc57611d4361271f565b60006121d26121cb8486613dcf565b6005611d60565b90506121dd81612c08565b6121e79084613cdd565b92505080806121f590613e6e565b91505061219c565b5081811461220d57611da961271f565b611dcd6006611db9565b600082600661222581611c8d565b506000612233866000611de6565b6001600160401b03169050600061224f62ffffff198816612710565b6001600160601b0316905081861061229c5760405162461bcd60e51b815260206004820152601060248201526f2b34b7103932b0b21037bb32b9393ab760811b6044820152606401610340565b60006122a783612727565b60ff1690506000805b888110156122f5576122cc6122c58486613dcf565b6005611fe1565b91506122d782612c08565b6122e19084613cdd565b92506122ee600182613cdd565b90506122b0565b506123036121cb8385613dcf565b9050600061231082612c08565b905061204c8382600461203d565b600081600461232c81611c8d565b5061179d62ffffff1985166000602460036129d7565b600081600361235081611c8d565b5061179d62ffffff198516600060206124b6565b600081600361237281611c8d565b5061179d61238962ffffff19861660206004612894565b612c5c565b6060824710156123ef5760405162461bcd60e51b815260206004820152602660248201527f416464726573733a20696e73756666696369656e742062616c616e636520666f6044820152651c8818d85b1b60d21b6064820152608401610340565b843b61243d5760405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e74726163740000006044820152606401610340565b600080866001600160a01b031685876040516124599190613aad565b60006040518083038185875af1925050503d8060008114612496576040519150601f19603f3d011682016040523d82523d6000602084013e61249b565b606091505b50915091506124ab828286612cc1565b979650505050505050565b600060ff82166124c857506000610cf2565b6124d184612710565b6001600160601b03166124e760ff841685613cdd565b11156125375761251e6124f985612cfa565b6001600160601b031661250b86612710565b6001600160601b0316858560ff16612d09565b60405162461bcd60e51b81526004016103409190613b28565b60208260ff1611156125ae5760405162461bcd60e51b815260206004820152603a60248201527f54797065644d656d566965772f696e646578202d20417474656d7074656420746044820152796f20696e646578206d6f7265207468616e20333220627974657360301b6064820152608401610340565b6008820260006125bd86612cfa565b6001600160601b031690506000600160ff1b60001984011d91909501511695945050505050565b6000610cf2838360146127f8565b6000806125ff8385613cdd565b905060405181111561260f575060005b806126215762ffffff19915050610cf2565b5050606092831b9190911790911b1760181b90565b60006126428383612e33565b6127095760006126616126558560d81c90565b64ffffffffff16612e56565b91505060006126768464ffffffffff16612e56565b6040517f5479706520617373657274696f6e206661696c65642e20476f7420307800000060208201526001600160b01b031960b086811b8216603d8401526c05c408af0e0cac6e8cac84060f609b1b604784015283901b16605482015290925060009150605e015b60405160208183030381529060405290508060405162461bcd60e51b81526004016103409190613b28565b5090919050565b60181c6001600160601b031690565b62ffffff1990565b600060fc826001600160401b03161161274257506001919050565b61ffff826001600160401b03161161275c57506003919050565b63ffffffff826001600160401b03161161277857506005919050565b506009919050565b919050565b600061179d848461279587612710565b6001600160601b03166127a89190613dcf565b85856129d7565b600081600e6127bd81611c8d565b5060006127cb856008611de6565b9050806001600160401b03166127e082612727565b60ff166127ed9190613cdd565b61050a906008613cdd565b6000612805826020613de6565b612810906008613da6565b60ff1661281e8585856124b6565b901c949350505050565b60006001600160401b038211156128905760405162461bcd60e51b815260206004820152602660248201527f53616665436173743a2076616c756520646f65736e27742066697420696e203660448201526534206269747360d01b6064820152608401610340565b5090565b600061179d6128a48585856124b6565b60008190506008817eff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff16901b600882901c7eff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff161790506010817dffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff16901b601082901c7dffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff0000ffff161790506020817bffffffff00000000ffffffff00000000ffffffff00000000ffffffff16901b602082901c7bffffffff00000000ffffffff00000000ffffffff00000000ffffffff161790506040816001600160401b03600160801b03600160c01b0316901b604082901c6001600160401b03600160801b03600160c01b0316179050608081901b608082901c179050919050565b6000806129e386612cfa565b6001600160601b031690506129f786612f02565b84612a028784613cdd565b612a0c9190613cdd565b1115612a1f5762ffffff1991505061179d565b612a298582613cdd565b905061180d8364ffffffffff1682866125f2565b60606000612a7b612a7682612a68612a5a62ffffff198816612710565b6001600160601b0316612f2f565b62ffffff19871691906127f8565b612e56565b6040517a09cdedc5adad2dcd2dac2d840ecc2e440d2dce85c408edee84060f602b1b60208201526001600160701b0319607083901b16603b82015290925060009150604d016126de565b6000612ad083612f90565b612b2d5760405162461bcd60e51b815260206004820152602860248201527f54797065644d656d566965772f636f7079546f202d204e756c6c20706f696e7460448201526732b9103232b932b360c11b6064820152608401610340565b612b3683612fa2565b612b965760405162461bcd60e51b815260206004820152602b60248201527f54797065644d656d566965772f636f7079546f202d20496e76616c696420706f60448201526a34b73a32b9103232b932b360a91b6064820152608401610340565b6000612ba184612710565b6001600160601b031690506000612bb785612cfa565b6001600160601b031690506000604051905084811115612bd75760206060fd5b8285848460045afa5061180d612bed8760d81c90565b64ffffffffff60601b606091821b168717901b841760181b90565b6000816005612c1681611c8d565b506000612c24856024611de6565b9050806001600160401b0316612c3982612727565b60ff16612c469190613cdd565b612c51906024613cdd565b61050a906004613cdd565b600063ffffffff8211156128905760405162461bcd60e51b815260206004820152602660248201527f53616665436173743a2076616c756520646f65736e27742066697420696e203360448201526532206269747360d01b6064820152608401610340565b60608315612cd0575081610cf2565b825115612ce05782518084602001fd5b8160405162461bcd60e51b81526004016103409190613b28565b60781c6001600160601b031690565b60606000612d1686612e56565b9150506000612d2486612e56565b9150506000612d3286612e56565b9150506000612d4086612e56565b604080517f54797065644d656d566965772f696e646578202d204f76657272616e20746865602082015274040ecd2caee5c40a6d8d2c6ca40d2e640c2e84060f605b1b818301526001600160d01b031960d098891b811660558301526e040eed2e8d040d8cadccee8d04060f608b1b605b830181905297891b8116606a8301527f2e20417474656d7074656420746f20696e646578206174206f666673657420306070830152600f60fb1b609083015295881b861660918201526097810196909652951b90921660a68401525050601760f91b60ac8201528151808203608d01815260ad90910190915295945050505050565b60008164ffffffffff16612e478460d81c90565b64ffffffffff16149392505050565b600080601f5b600f8160ff161115612eb4576000612e75826008613da6565b60ff1685901c9050612e8681612fe0565b61ffff16841793508160ff16601014612ea157601084901b93505b50612ead600182613de6565b9050612e5c565b50600f5b60ff8160ff161015612efc5760ff600882021684901c612ed781612fe0565b61ffff16831792508160ff16600014612ef257601083901b92505b5060001901612eb8565b50915091565b6000612f0d82612710565b612f1683612cfa565b612f209190613d45565b6001600160601b031692915050565b600060ff8211156128905760405162461bcd60e51b815260206004820152602560248201527f53616665436173743a2076616c756520646f65736e27742066697420696e2038604482015264206269747360d81b6064820152608401610340565b6000612f9b82611dda565b1592915050565b6000612fae8260d81c90565b64ffffffffff1664ffffffffff1415612fc957506000919050565b6000612fd483612f02565b60405110199392505050565b6000612ff260048360ff16901c613012565b60ff1661ffff919091161760081b61300982613012565b60ff1617919050565b600060f08083179060ff8216141561302d5750603092915050565b8060ff1660f114156130425750603192915050565b8060ff1660f214156130575750603292915050565b8060ff1660f3141561306c5750603392915050565b8060ff1660f414156130815750603492915050565b8060ff1660f514156130965750603592915050565b8060ff1660f614156130ab5750603692915050565b8060ff1660f714156130c05750603792915050565b8060ff1660f814156130d55750603892915050565b8060ff1660f914156130ea5750603992915050565b8060ff1660fa14156130ff5750606192915050565b8060ff1660fb14156131145750606292915050565b8060ff1660fc14156131295750606392915050565b8060ff1660fd141561313e5750606492915050565b8060ff1660fe14156131535750606592915050565b8060ff1660ff14156131685750606692915050565b50919050565b82805461317a90613e39565b90600052602060002090601f01602090048101928261319c57600085556131e2565b82601f106131b557805160ff19168380011785556131e2565b828001600101855582156131e2579182015b828111156131e25782518255916020019190600101906131c7565b506128909291505b8082111561289057600081556001016131ea565b803561278081613eb5565b600082601f830112613219578081fd5b8135602061322e61322983613cba565b613c8a565b80838252828201915082860187848660051b890101111561324d578586fd5b855b85811015613272576132608261336d565b8452928401929084019060010161324f565b5090979650505050505050565b600082601f83011261328f578081fd5b604051606081016001600160401b0380821183831017156132b2576132b2613e9f565b8160405282915084866060870111156132c9578485fd5b845b6003811015613304578135838111156132e2578687fd5b6132ee89828a01613385565b85525060209384019391909101906001016132cb565b50929695505050505050565b600082601f830112613320578081fd5b8135602061333061322983613cba565b80838252828201915082860187848660051b890101111561334f578586fd5b855b8581101561327257813584529284019290840190600101613351565b80356001600160e01b03198116811461278057600080fd5b600082601f830112613395578081fd5b81356001600160401b038111156133ae576133ae613e9f565b6133c1601f8201601f1916602001613c8a565b8181528460208386010111156133d5578283fd5b816020850160208301379081016020019190915292915050565b80356006811061278057600080fd5b60006020828403121561340f578081fd5b8135610cf281613eb5565b60006020828403121561342b578081fd5b8151610cf281613eb5565b600080600080600060a0868803121561344d578081fd5b853561345881613eb5565b9450602086013593506040860135925060608601356001600160401b03811115613480578182fd5b61348c88828901613385565b95989497509295608001359392505050565b6000806000806000806000806000806000806101808d8f0312156134c0578687fd5b6134c98d6131fe565b9b506001600160401b0360208e013511156134e2578687fd5b6134f28e60208f01358f01613385565b9a506001600160401b0360408e0135111561350b578687fd5b61351b8e60408f01358f01613209565b99506001600160401b0360608e01351115613534578687fd5b6135448e60608f01358f0161327f565b985060808d0135975060a08d0135965061356060c08e016131fe565b955060e08d013594506101008d013593506001600160401b036101208e01351115613589578283fd5b61359a8e6101208f01358f01613209565b92506001600160401b036101408e013511156135b4578081fd5b6135c58e6101408f01358f01613385565b91506001600160401b036101608e013511156135df578081fd5b6135f08e6101608f01358f01613310565b90509295989b509295989b509295989b565b600080600080600060a08688031215613619578283fd5b853561362481613eb5565b945060208601356001600160401b038082111561363f578485fd5b61364b89838a01613385565b95506040880135915080821115613660578485fd5b5061366d88828901613385565b9598949750949560608101359550608001359392505050565b60008060408385031215613698578182fd5b82356136a381613eb5565b946020939093013593505050565b6000602082840312156136c2578081fd5b81518015158114610cf2578182fd5b6000602082840312156136e2578081fd5b5051919050565b600080600080600060808688031215613700578283fd5b85356001600160401b0380821115613716578485fd5b61372289838a01613385565b9650613730602089016133ef565b95506040880135915061374282613eb5565b90935060608701359080821115613757578283fd5b818801915088601f83011261376a578283fd5b813581811115613778578384fd5b896020828501011115613789578384fd5b9699959850939650602001949392505050565b60008060008060008060c087890312156137b4578384fd5b8635955060208701356137c681613eb5565b95989597505050506040840135936060810135936080820135935060a0909101359150565b6000806000806000806000806000806101408b8d03121561380a578384fd5b8a35995060208b0135985060408b0135975060608b0135965060808b01356001600160401b0381111561383b578485fd5b6138478d828e01613385565b96505061385660a08c016133ef565b945060c08b0135935060e08b013561386d81613eb5565b92506101008b013591506101208b013561388681613eb5565b809150509295989b9194979a5092959850565b60008060008060008060c087890312156138b1578384fd5b863595506020870135945060408701356138ca81613eb5565b935060608701356001600160401b03808211156138e5578384fd5b6138f18a838b01613385565b94506080890135915080821115613906578384fd5b6139128a838b01613310565b935060a0890135915080821115613927578283fd5b5061393489828a01613310565b9150509295509295509295565b600080600080600060a08688031215613958578283fd5b853594506020860135935060408601356001600160401b038082111561397c578485fd5b61398889838a01613385565b9450606088013591508082111561399d578283fd5b5061348c88828901613385565b600080600080600080600060e0888a0312156139c4578081fd5b87359650602088013595506139db6040890161336d565b945060608801356139eb81613eb5565b935060808801356001600160401b03811115613a05578182fd5b613a118a828b01613385565b93505060a0880135915060c0880135905092959891949750929550565b60008151808452613a46816020860160208601613e09565b601f01601f19169290920160200192915050565b600063ffffffff60e01b80871683528551613a7c816004860160208a01613e09565b855190840190613a93816004840160208a01613e09565b919094169301600481019390935250506008019392505050565b60008251613abf818460208701613e09565b9190910192915050565b848152836020820152608060408201526000613ae86080830185613a2e565b905082606083015295945050505050565b60208152816020820152818360408301376000818301604090810191909152601f909201601f19160101919050565b602081526000610cf26020830184613a2e565b6020808252601f908201527f4275726e526f757465724c6f6769633a20696e76616c69642073637269707400604082015260600190565b6020808252601b908201527a109a5d18dbda5b92195b1c195c8e881d9bdd5d081a5cc81b9d5b1b602a1b604082015260600190565b6020808252601b908201527a213ab9372937baba32b92637b3b4b19d103737ba103637b1b5b2b960291b604082015260600190565b60208082526024908201527f4275726e526f757465724c6f6769633a20646561646c696e65206e6f742070616040820152631cdcd95960e21b606082015260800190565b6020808252601c908201527b109d5c9b949bdd5d195c931bd9da58ce881bdb19081c995c5d595cdd60221b604082015260600190565b6020808252601a9082015279109a5d18dbda5b92195b1c195c8e881d9a5b881a5cc81b9d5b1b60321b604082015260600190565b604051601f8201601f191681016001600160401b0381118282101715613cb257613cb2613e9f565b604052919050565b60006001600160401b03821115613cd357613cd3613e9f565b5060051b60200190565b60008219821115613cf057613cf0613e89565b500190565b60006001600160401b03828116848216808303821115613d1757613d17613e89565b01949350505050565b600060ff821660ff84168060ff03821115613d3d57613d3d613e89565b019392505050565b60006001600160601b03828116848216808303821115613d1757613d17613e89565b600082613d8257634e487b7160e01b81526012600452602481fd5b500490565b6000816000190483118215151615613da157613da1613e89565b500290565b600060ff821660ff84168160ff0481118215151615613dc757613dc7613e89565b029392505050565b600082821015613de157613de1613e89565b500390565b600060ff821660ff841680821015613e0057613e00613e89565b90039392505050565b60005b83811015613e24578181015183820152602001613e0c565b83811115613e33576000848401525b50505050565b600181811c90821680613e4d57607f821691505b6020821081141561316857634e487b7160e01b600052602260045260246000fd5b6000600019821415613e8257613e82613e89565b5060010190565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052604160045260246000fd5b6001600160a01b0381168114613eca57600080fd5b5056fe416464726573733a206c6f772d6c6576656c2063616c6c20776974682076616c7565206661696c6564a26469706673582212207d17ecbce7b068ddc49bdd4ef03e0094e59a92485be8af3109b124d58017f47264736f6c63430008040033