CometblsClient | Ethereum

codeslaw

CometblsClientSolidityv0.8.27+commit.40a35a09

network

Ethereum

address0x149d87035056317cc2fe1b455e2968de1cc24824

deployer0x95Fb5cb304508d74d855514D7bC9bDA75c304cE2

tx last 12 months

0 txs

calls last 12 months

11.6k calls

32 Files

contracts

clients

CometblsClient.sol

core

02-client

ILightClient.sol

05-port

IIBCModule.sol

24-host

IBCCommitment.sol

IBCStore.sol

Types.sol

internal

Versioned.sol

lib

CometblsZKVerifier.sol

Common.sol

ICS23.sol

ICS23Verifier.sol

UnionICS23.sol

libs

@openzeppelin

contracts

access

manager

AuthorityUtils.sol

IAccessManaged.sol

IAccessManager.sol

IAuthority.sol

interfaces

IERC1967.sol

draft-IERC1822.sol

proxy

ERC1967

ERC1967Utils.sol

beacon

IBeacon.sol

utils

Address.sol

Errors.sol

Panic.sol

StorageSlot.sol

math

Math.sol

SafeCast.sol

types

Time.sol

@openzeppelin-upgradeable

contracts

access

manager

AccessManagedUpgradeable.sol

proxy

utils

Initializable.sol

UUPSUpgradeable.sol

utils

ContextUpgradeable.sol

PausableUpgradeable.sol

Source: Etherscan, Smart Contract Sanctuary, or Sourcify. For more information, see our about page.

abi

constructor

constructor(address _ibcHandler)

functions

authority

view

function authority() view returns (address)

getClientState

view

function getClientState(uint32 clientId) view returns (bytes)

getConsensusState

view

function getConsensusState(uint32 clientId, uint64 height) view returns (bytes)

getLatestHeight

view

function getLatestHeight(uint32 clientId) view returns (uint64)

getTimestampAtHeight

view

function getTimestampAtHeight(uint32 clientId, uint64 height) view returns (uint64)

gitRev

pure

function gitRev() pure returns (string)

IBC_HANDLER

view

function IBC_HANDLER() view returns (address)

isConsumingScheduledOp

view

function isConsumingScheduledOp() view returns (bytes4)

isFrozen

view

function isFrozen(uint32 clientId) view returns (bool)

paused

view

function paused() view returns (bool)

proxiableUUID

view

function proxiableUUID() view returns (bytes32)

UPGRADE_INTERFACE_VERSION

view

function UPGRADE_INTERFACE_VERSION() view returns (string)

createClient

nonpayable

function createClient(address, uint32 clientId, bytes clientStateBytes, bytes consensusStateBytes, address) returns (tuple update, string counterpartyChainId)

initialize

nonpayable

function initialize(address authority)

misbehaviour

nonpayable

function misbehaviour(address, uint32 clientId, bytes clientMessageBytes, address)

pause

nonpayable

function pause()

setAuthority

nonpayable

function setAuthority(address newAuthority)

unpause

nonpayable

function unpause()

updateClient

nonpayable

function updateClient(address, uint32 clientId, bytes clientMessageBytes, address) returns (tuple)

upgradeToAndCall

payable

function upgradeToAndCall(address newImplementation, bytes data) payable

verifyMembership

nonpayable

function verifyMembership(uint32 clientId, uint64 height, bytes proof, bytes path, bytes value) returns (bool)

verifyNonMembership

nonpayable

function verifyNonMembership(uint32 clientId, uint64 height, bytes proof, bytes path) returns (bool)

verifyZKP

nonpayable

function verifyZKP(bytes zkpBytes, bytes31 chainId, bytes32 trustedValidatorsHash, tuple header) returns (bool)

events

AuthorityUpdated

event AuthorityUpdated(address authority)

Initialized

event Initialized(uint64 version)

Paused

event Paused(address account)

Unpaused

event Unpaused(address account)

Upgraded

event Upgraded(address indexed implementation)

errors

AccessManagedInvalidAuthority

error AccessManagedInvalidAuthority(address authority)

AccessManagedRequiredDelay

error AccessManagedRequiredDelay(address caller, uint32 delay)

AccessManagedUnauthorized

error AccessManagedUnauthorized(address caller)

AddressEmptyCode

error AddressEmptyCode(address target)

EnforcedPause

error EnforcedPause()

ERC1967InvalidImplementation

error ERC1967InvalidImplementation(address implementation)

ERC1967NonPayable

error ERC1967NonPayable()

ErrClientFrozen

error ErrClientFrozen()

ErrHeaderExpired

error ErrHeaderExpired()

ErrInvalidInitialConsensusState

error ErrInvalidInitialConsensusState()

ErrInvalidMisbehaviour

error ErrInvalidMisbehaviour()

ErrInvalidMisbehaviourHeadersSequence

error ErrInvalidMisbehaviourHeadersSequence()

ErrInvalidUntrustedValidatorsHash

error ErrInvalidUntrustedValidatorsHash()

ErrInvalidZKP

error ErrInvalidZKP()

ErrMaxClockDriftExceeded

error ErrMaxClockDriftExceeded()

ErrNotIBC

error ErrNotIBC()

ErrTrustedConsensusStateNotFound

error ErrTrustedConsensusStateNotFound()

ErrUntrustedHeightLTETrustedHeight

error ErrUntrustedHeightLTETrustedHeight()

ErrUntrustedTimestampLTETrustedTimestamp

error ErrUntrustedTimestampLTETrustedTimestamp()

ExpectedPause

error ExpectedPause()

FailedCall

error FailedCall()

InvalidInitialization

error InvalidInitialization()

NotInitializing

error NotInitializing()

UUPSUnauthorizedCallContext

error UUPSUnauthorizedCallContext()

UUPSUnsupportedProxiableUUID

error UUPSUnsupportedProxiableUUID(bytes32 slot)

bytecode

creation bytecode

0x60c03461011e57601f6149c138819003918201601f19168301916001600160401b038311848410176101225780849260209460405283398101031261011e57516001600160a01b038116810361011e57306080525f5160206149a15f395f51905f525460ff8160401c1661010f576002600160401b03196001600160401b038216016100b9575b5060a05260405161486a908161013782396080518181816108a50152610a97015260a05181818161174f0152611d600152f35b6001600160401b0319166001600160401b039081175f5160206149a15f395f51905f52556040519081527fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d290602090a15f610086565b63f92ee8a960e01b5f5260045ffd5b5f80fd5b634e487b7160e01b5f52604160045260245ffdfe60806040526004361015610011575f80fd5b5f3560e01c80630d27062c146101845780632886a3a31461017f578063384a3c301461017a5780633f4ba83a146101755780633fd413de146101705780634f1ef2861461016b57806352d1902d1461016657806355393174146101615780635c975abb1461015c5780636659c7ac146101575780636d6f2120146101525780637a9e5e4b1461014d5780638456cb59146101485780638f2a4930146101435780638fb360371461013e578063a9f9396e14610139578063ad3cb1cc14610134578063b4b525081461012f578063b6719c891461012a578063bf7e214f14610125578063c4d66de814610120578063e079e2991461011b5763e9946fc314610116575f80fd5b611773565b611723565b6114c0565b61146e565b611418565b6113b4565b611355565b6112bc565b611229565b610fe2565b610f1a565b610e45565b610df5565b610c78565b610c2b565b610b69565b610a70565b610848565b6105f8565b610527565b610358565b61026b565b6101bc565b5f91031261019357565b5f80fd5b90601f19601f602080948051918291828752018686015e5f8582860101520116010190565b34610193575f600319360112610193576102416040516101dd6060826107b4565b602881527f326436636362616166386463623664323832653865343939353834646539333760208201527f66393731393036360000000000000000000000000000000000000000000000006040820152604051918291602083526020830190610197565b0390f35b6004359063ffffffff8216820361019357565b6024359063ffffffff8216820361019357565b346101935760206003193601126101935763ffffffff610289610245565b165f525f6020526020600160405f20015460c01c604051908152f35b6004359073ffffffffffffffffffffffffffffffffffffffff8216820361019357565b6084359073ffffffffffffffffffffffffffffffffffffffff8216820361019357565b9181601f840112156101935782359167ffffffffffffffff8311610193576020838186019501011161019357565b80610348608092610355959467ffffffffffffffff604080928051855260208101516020860152015116910152565b8160608201520190610197565b90565b346101935760a0600319360112610193576103716102a5565b5061037a610258565b60443567ffffffffffffffff81116101935761039a9036906004016102eb565b509060643567ffffffffffffffff8111610193576103bc9036906004016102eb565b50916103c66102c8565b506103cf6117d8565b506103d8611d49565b6103e0611db0565b608081019067ffffffffffffffff82356103f9816105e6565b16158015610505575b6104dd576104c36104c8926104738661046e61044f8861043b886104366104cd9c63ffffffff165f525f60205260405f2090565b61182e565b63ffffffff165f52600160205260405f2090565b6104588561181a565b67ffffffffffffffff165f5260205260405f2090565b6119b1565b6104a161049b61049661048e6104893688611a0b565b611e03565b983690611a88565b611e16565b9161181a565b906104aa6107d7565b968752602087015267ffffffffffffffff166040860152565b611824565b611e79565b9061024160405192839283610319565b7f920ed63f000000000000000000000000000000000000000000000000000000005f5260045ffd5b506105218435610514816105e6565b67ffffffffffffffff1690565b15610402565b34610193575f600319360112610193576105413633611fc5565b7fcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f033005460ff8116156105be5760ff19167fcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300557f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa6020604051338152a1005b7f8dfc202b000000000000000000000000000000000000000000000000000000005f5260045ffd5b67ffffffffffffffff81160361019357565b3461019357608060031936011261019357610611610245565b6024359061061e826105e6565b60443567ffffffffffffffff81116101935761063e9036906004016102eb565b5060643567ffffffffffffffff81116101935761065f9036906004016102eb565b9091610669611db0565b6106938463ffffffff165f525f60205267ffffffffffffffff600160405f20015460801c16151590565b610722576102419461070b60016106df63ffffffff610710981693845f525f602052600260405f200154945f528260205260405f209067ffffffffffffffff165f5260205260405f2090565b0154916106fd6106ed611ac3565b9560405197889360208501611b0b565b03601f1981018652856107b4565b612293565b60405190151581529081906020820190565b7fb3e34670000000000000000000000000000000000000000000000000000000005f5260045ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b6060810190811067ffffffffffffffff82111761079357604052565b61074a565b60c0810190811067ffffffffffffffff82111761079357604052565b90601f601f19910116810190811067ffffffffffffffff82111761079357604052565b604051906107e66060836107b4565b565b906107e660405192836107b4565b67ffffffffffffffff811161079357601f01601f191660200190565b92919261081e826107f6565b9161082c60405193846107b4565b829481845281830111610193578281602093845f960137010152565b60406003193601126101935761085c6102a5565b60243567ffffffffffffffff811161019357366023820112156101935761088d903690602481600401359101610812565b9073ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000000000000000000000000000000000000000000016803014908115610a2e575b50610a06576108df3633611fc5565b604051917f52d1902d00000000000000000000000000000000000000000000000000000000835260208360048173ffffffffffffffffffffffffffffffffffffffff86165afa5f93816109d5575b50610974577f4c9c8ce3000000000000000000000000000000000000000000000000000000005f5273ffffffffffffffffffffffffffffffffffffffff821660045260245ffd5b907f360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc83036109a8576109a69250612e99565b005b7faa1d49a4000000000000000000000000000000000000000000000000000000005f52600483905260245ffd5b6109f891945060203d6020116109ff575b6109f081836107b4565b8101906122ef565b925f61092d565b503d6109e6565b7fe07c8dba000000000000000000000000000000000000000000000000000000005f5260045ffd5b905073ffffffffffffffffffffffffffffffffffffffff7f360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc541614155f6108d0565b34610193575f6003193601126101935773ffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000163003610a065760206040517f360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc8152f35b60806003198201126101935760043573ffffffffffffffffffffffffffffffffffffffff81168103610193579160243563ffffffff8116810361019357916044359067ffffffffffffffff821161019357610b44916004016102eb565b909160643573ffffffffffffffffffffffffffffffffffffffff811681036101935790565b3461019357610bc0610b7a36610ae7565b5050929150610b87611d49565b610b8f611db0565b63ffffffff81165f525f60205260405f209283610bba610baf8380611b4c565b926020810190611b4c565b92612375565b15610c035760010180547fffffffffffffffff0000000000000000ffffffffffffffffffffffffffffffff16700100000000000000000000000000000000179055005b7fb1333bc8000000000000000000000000000000000000000000000000000000005f5260045ffd5b34610193575f60031936011261019357602060ff7fcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f0330054166040519015158152f35b60ff1981160361019357565b34610193576101206003193601126101935760043567ffffffffffffffff811161019357610caa9036906004016102eb565b50602435610cb781610c6c565b6044359060c07fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff9c3601126101935760205f610d9c610100860194610d90610d1d604051610d1881610d0a8b8a83016124ad565b03601f1981018352826107b4565b613049565b95610d0a610d2c6105146117f6565b93610d38610514611802565b610d4361051461180e565b60c43560e435916101043593604051998a9860081c8e8a019694929091610100989694928852602088015260408701526060860152608085015260a084015260c083015260e08201520190565b604051918280926124b7565b039060025afa15610df05761024192610710927effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff5f511692610ddd60406107e8565b9384526020840152610140820191613193565b611fba565b346101935760206003193601126101935763ffffffff610e13610245565b165f525f602052610241610e31610e2c60405f20611b7f565b6125b1565b604051918291602083526020830190610197565b3461019357602060031936011261019357610e5e6102a5565b73ffffffffffffffffffffffffffffffffffffffff7ff3177357ab46d8af007ab3fdb9af81da189e1068fefdc0073dca88a2cab40a0054163303610eee57803b15610eac576109a69061262d565b73ffffffffffffffffffffffffffffffffffffffff907fc2f31e5e000000000000000000000000000000000000000000000000000000005f521660045260245ffd5b7f068ca9d8000000000000000000000000000000000000000000000000000000005f523360045260245ffd5b34610193575f60031936011261019357610f343633611fc5565b610f3c611db0565b600160ff197fcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f033005416177fcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300557f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2586020604051338152a1005b6107e690929192606081019367ffffffffffffffff604080928051855260208101516020860152015116910152565b3461019357610ff036610ae7565b5050909150610ffd6117d8565b50611006611d49565b61100e611db0565b6110258263ffffffff165f525f60205260405f2090565b600181018054939091608085901c67ffffffffffffffff166107225761049661111961048983610514611140976110dc6102419b6110c58a61109661111f9b8f6110906110a19f6110849063ffffffff165f52600160205260405f2090565b61045860c0840161181a565b906127c0565b96819d919460c01c90565b67ffffffffffffffff8416116111de5763ffffffff165f52600160205260405f2090565b9067ffffffffffffffff165f5260205260405f2090565b809a6110f3610514835467ffffffffffffffff1690565b1561118b579261110e9293608060a082013591013591612a1d565b61114c575b50611b7f565b94611c00565b6111276107d7565b938452602084015267ffffffffffffffff166040830152565b60405191829182610fb3565b80547fffffffffffffffff0000000000000000ffffffffffffffffffffffffffffffff167001000000000000000000000000000000001790555f611113565b91506080926111c8919067ffffffffffffffff167fffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000825416179055565b60a081013560018b015501356002890155611b7f565b845477ffffffffffffffffffffffffffffffffffffffffffffffff1660c084901b7fffffffffffffffff0000000000000000000000000000000000000000000000001617855561043b565b34610193575f600319360112610193577ff3177357ab46d8af007ab3fdb9af81da189e1068fefdc0073dca88a2cab40a005460a01c60ff16156112b45760207f8fb36037000000000000000000000000000000000000000000000000000000005b7fffffffff0000000000000000000000000000000000000000000000000000000060405191168152f35b60205f61128a565b346101935760a0600319360112610193576112d5610245565b6024356112e1816105e6565b60443567ffffffffffffffff8111610193576113019036906004016102eb565b91909260643567ffffffffffffffff8111610193576113249036906004016102eb565b906084359467ffffffffffffffff8611610193576102419661134d6107109736906004016102eb565b969095611c32565b34610193575f600319360112610193576102416040516113766040826107b4565b600581527f352e302e300000000000000000000000000000000000000000000000000000006020820152604051918291602083526020830190610197565b3461019357604060031936011261019357610241610e3161141361140e6113d9610245565b63ffffffff602435916113eb836105e6565b165f52600160205260405f209067ffffffffffffffff165f5260205260405f2090565b611c00565b612a72565b34610193576020600319360112610193576020611464611436610245565b61143e611db0565b63ffffffff165f525f60205267ffffffffffffffff600160405f20015460801c16151590565b6040519015158152f35b34610193575f60031936011261019357602073ffffffffffffffffffffffffffffffffffffffff7ff3177357ab46d8af007ab3fdb9af81da189e1068fefdc0073dca88a2cab40a005416604051908152f35b34610193576020600319360112610193576114d96102a5565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00549067ffffffffffffffff61152860ff604085901c161561151a565b1590565b9367ffffffffffffffff1690565b168015908161171b575b6001149081611711575b159081611708575b506116e0576115c590826115bc60017fffffffffffffffffffffffffffffffffffffffffffffffff00000000000000007ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a005416177ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a0055565b61166557611cce565b6115cb57005b6116367fffffffffffffffffffffffffffffffffffffffffffffff00ffffffffffffffff7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a0054167ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a0055565b604051600181527fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d290602090a1005b6116db680100000000000000007fffffffffffffffffffffffffffffffffffffffffffffff00ffffffffffffffff7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a005416177ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a0055565b611cce565b7ff92ee8a9000000000000000000000000000000000000000000000000000000005f5260045ffd5b9050155f611544565b303b15915061153c565b839150611532565b34610193575f60031936011261019357602060405173ffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000168152f35b3461019357604060031936011261019357602067ffffffffffffffff6117ce61179a610245565b63ffffffff602435916117ac836105e6565b165f526001845260405f209067ffffffffffffffff165f5260205260405f2090565b5416604051908152f35b604051906117e582610777565b5f6040838281528260208201520152565b606435610355816105e6565b608435610355816105e6565b60a435610355816105e6565b35610355816105e6565b3561035581610c6c565b9060a0600291803561183f81610c6c565b60081c7fff000000000000000000000000000000000000000000000000000000000000008554161784556119aa600185016118b66020840135611881816105e6565b829067ffffffffffffffff167fffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000825416179055565b60408301356118c4816105e6565b7fffffffffffffffffffffffffffffffff0000000000000000ffffffffffffffff6fffffffffffffffff000000000000000083549260401b1691161781556060830135611910816105e6565b7fffffffffffffffff0000000000000000ffffffffffffffffffffffffffffffff77ffffffffffffffff0000000000000000000000000000000083549260801b1691161781556119626080840161181a565b77ffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffffffff00000000000000000000000000000000000000000000000083549260c01b169116179055565b0135910155565b9060406002916119fa81356119c5816105e6565b859067ffffffffffffffff167fffffffffffffffffffffffffffffffffffffffffffffffff0000000000000000825416179055565b602081013560018501550135910155565b91908260c091031261019357604051611a2381610798565b60a08082948035611a3381610c6c565b84526020810135611a43816105e6565b60208501526040810135611a56816105e6565b60408501526060810135611a69816105e6565b60608501526080810135611a7c816105e6565b60808501520135910152565b919082606091031261019357604051611aa081610777565b60408082948035611ab0816105e6565b8452602081013560208501520135910152565b60405190611ad26040836107b4565b600482527f7761736d000000000000000000000000000000000000000000000000000000006020830152565b908092918237015f815290565b909280926022947f0300000000000000000000000000000000000000000000000000000000000000845260018401525f60218401528483013701015f815290565b9035907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0181360301821215610193570190565b90604051611b8c81610798565b60a06002829460ff19815460081b168452611bf9611be8600183015467ffffffffffffffff8116602088015267ffffffffffffffff808260401c1616604088015267ffffffffffffffff808260801c1616606088015260c01c90565b67ffffffffffffffff166080860152565b0154910152565b90604051611c0d81610777565b60406002829467ffffffffffffffff8154168452600181015460208501520154910152565b969594925090611c40611db0565b611c6a8763ffffffff165f525f60205267ffffffffffffffff600160405f20015460801c16151590565b61072257611cc06001611cb263ffffffff611cc59a1694855f525f602052600260405f200154955f528260205260405f209067ffffffffffffffff165f5260205260405f2090565b0154926106fd6106ed611ac3565b613439565b61151681612a68565b611ce790611cda613515565b611ce2613515565b61262d565b611cef613515565b611cf7613515565b611cff613515565b60ff197fcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f0330054167fcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f0330055565b73ffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000163303611d8857565b7fe54f8f9d000000000000000000000000000000000000000000000000000000005f5260045ffd5b60ff7fcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f033005416611ddb57565b7fd93c0665000000000000000000000000000000000000000000000000000000005f5260045ffd5b611e0c906125b1565b6020815191012090565b611e0c90612a72565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b905f5b60ff811690601f82108015611efe577fff0000000000000000000000000000000000000000000000000000000000000085841a60f81b16159081611ef6575b5015611ed7575060ff8114611ed257600101611e7c565b611e4c565b929050604051926040840160405280601f03845260031b1b6020830152565b90505f611ebb565b611e1f565b906004116101935790600490565b919091357fffffffff0000000000000000000000000000000000000000000000000000000081169260048110611f45575050565b7fffffffff00000000000000000000000000000000000000000000000000000000929350829060040360031b1b161690565b9183606094601f9273ffffffffffffffffffffffffffffffffffffffff601f199516865260406020870152816040870152868601375f8582860101520116010190565b6040513d5f823e3d90fd5b6120226120067ff3177357ab46d8af007ab3fdb9af81da189e1068fefdc0073dca88a2cab40a005473ffffffffffffffffffffffffffffffffffffffff1690565b612019612013855f611f03565b90611f11565b90833091612aac565b901561202d57505050565b63ffffffff16156121f2576120ba740100000000000000000000000000000000000000007fffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff7ff3177357ab46d8af007ab3fdb9af81da189e1068fefdc0073dca88a2cab40a005416177ff3177357ab46d8af007ab3fdb9af81da189e1068fefdc0073dca88a2cab40a0055565b6121176120fe6120fe7ff3177357ab46d8af007ab3fdb9af81da189e1068fefdc0073dca88a2cab40a005473ffffffffffffffffffffffffffffffffffffffff1690565b73ffffffffffffffffffffffffffffffffffffffff1690565b91823b156101935761215d925f808094604051968795869485937f94c7d7ee00000000000000000000000000000000000000000000000000000000855260048501611f77565b03925af18015610df0576121d8575b506107e67fffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff7ff3177357ab46d8af007ab3fdb9af81da189e1068fefdc0073dca88a2cab40a0054167ff3177357ab46d8af007ab3fdb9af81da189e1068fefdc0073dca88a2cab40a0055565b806121e65f6121ec936107b4565b80610189565b5f61216c565b7f068ca9d8000000000000000000000000000000000000000000000000000000005f5273ffffffffffffffffffffffffffffffffffffffff1660045260245ffd5b9035907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8181360301821215610193570190565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602160045260245ffd5b8135939291368190037fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa101851215610193576122dd946122d66020830183612233565b9101612b72565b60128110156122ea571590565b612266565b90816020910312610193575190565b91909160a08060c083019467ffffffffffffffff813561231d816105e6565b16845267ffffffffffffffff6020820135612337816105e6565b16602085015267ffffffffffffffff6040820135612354816105e6565b16604085015260608101356060850152608081013560808501520135910152565b9061237f8361181a565b67ffffffffffffffff6123946105148761181a565b91161061248557806123f8612401926123f16123e56123d06123c48863ffffffff165f52600160205260405f2090565b61045860c08b0161181a565b9663ffffffff165f52600160205260405f2090565b61045860c08a0161181a565b94866127c0565b939050856127c0565b905061240c8361181a565b67ffffffffffffffff6124216105148761181a565b91160361246957505060405161243f81610d0a6020820194856122fe565b5190209060405161245881610d0a6020820194856122fe565b51902003612464575f90565b600190565b67ffffffffffffffff9250829193501691161115612464575f90565b7f63520534000000000000000000000000000000000000000000000000000000005f5260045ffd5b6040809282370190565b805191908290602001825e015f815290565b90925f612574602092610d90610100860197610d0a6124f6610d0a610d188c6040519283918c83016124ad565b986125036105148661181a565b946125126105148a830161181a565b906125226105146040830161181a565b60608201359060a0608084013593013593604051998a9860081c8e8a019694929091610100989694928852602088015260408701526060860152608085015260a084015260c083015260e08201520190565b039060025afa15610df057610355927effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff5f511692610ddd60406107e8565b60ff198151169067ffffffffffffffff6020820151169067ffffffffffffffff60408201511667ffffffffffffffff6060830151169060a067ffffffffffffffff6080850151169301519360405195602087015260408601526060850152608084015260a083015260c082015260c0815261035560e0826107b4565b602073ffffffffffffffffffffffffffffffffffffffff7f2f658b440c35314f52658ea8a740e05b284cdc84dc9ae01e891f21b8933e7cad9216807fffffffffffffffffffffffff00000000000000000000000000000000000000007ff3177357ab46d8af007ab3fdb9af81da189e1068fefdc0073dca88a2cab40a005416177ff3177357ab46d8af007ab3fdb9af81da189e1068fefdc0073dca88a2cab40a0055604051908152a1565b67ffffffffffffffff633b9aca009116029067ffffffffffffffff8216918203611ed257565b67ffffffffffffffff60019116019067ffffffffffffffff8211611ed257565b9067ffffffffffffffff8091169116019067ffffffffffffffff8211611ed257565b90633b9aca00820291808304633b9aca001490151715611ed257565b81810292918115918404141715611ed257565b9035907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe181360301821215610193570180359067ffffffffffffffff82116101935760200191813603831361019357565b9291906127d5815467ffffffffffffffff1690565b9367ffffffffffffffff85169283156129f5576127f18261181a565b936127fe60c0840161181a565b9367ffffffffffffffff86169167ffffffffffffffff86168311156129cd5761284661283461282f6020880161181a565b6126d8565b6128406040880161181a565b9061271e565b9867ffffffffffffffff8a16918211156129a55761286661051442612740565b90612888826001880154926128828467ffffffffffffffff1690565b90613411565b61297d576128a6916105149160401c67ffffffffffffffff16612840565b11156129555761051460026128bd920154956126fe565b1461291b575b906128eb92611516926128e56128dc60e085018561276f565b50915460081b90565b906124c9565b6128f3579190565b7f396df4ec000000000000000000000000000000000000000000000000000000005f5260045ffd5b908260608201350361292d57906128c3565b7f895cf0ce000000000000000000000000000000000000000000000000000000005f5260045ffd5b7f4ccc303c000000000000000000000000000000000000000000000000000000005f5260045ffd5b7f6c4c87b6000000000000000000000000000000000000000000000000000000005f5260045ffd5b7f14a286e4000000000000000000000000000000000000000000000000000000005f5260045ffd5b7ff97b0922000000000000000000000000000000000000000000000000000000005f5260045ffd5b7f09128dc8000000000000000000000000000000000000000000000000000000005f5260045ffd5b835467ffffffffffffffff9182169116148015939190612a59575b508215612a4a575b5050612464575f90565b60020154141590505f80612a40565b6001820154141592505f612a38565b600911156122ea57565b67ffffffffffffffff81511690604060208201519101519060405192602084015260408301526060820152606081526103556080826107b4565b5f9060409295939582967fffffffff00000000000000000000000000000000000000000000000000000000849773ffffffffffffffffffffffffffffffffffffffff8751938160208601967fb700961300000000000000000000000000000000000000000000000000000000885216602486015216604484015216606482015260648152612b3b6084826107b4565b8380528360205251915afa612b4c57565b9150505f51906020518060201c150290565b600511156122ea57565b600611156122ea57565b93919293612b7f8161356c565b612b8b81959295612b5e565b612e8e5783612ba292612b9c6135c6565b90613644565b612bab81612a68565b80612d3e5750612bba816138f1565b612bc681969296612b5e565b612d3457612bf6926106fd92612bf1612bdd6139c2565b926040519586916020830160209181520190565b6139ec565b612bff81612b68565b80612c13575003612c0e575f90565b600990565b809250612c209150612b68565b60018103612c2e5750600490565b612c3781612b68565b60028103612c455750600590565b612c4e81612b68565b60038103612c5c5750600690565b612c6581612b68565b60048103612c735750600790565b80612c7f600592612b68565b14612d2f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152605660248201527f766572696679436861696e65644e6f6e4d656d626572736869703a206e6f6e2060448201527f65786861757374697665207061747465726e206d61746368696e67206f6e205660648201527f65726966794e6f6e4578697374656e63654572726f7200000000000000000000608482015260a490fd5b600890565b5050505050600390565b9350505050612d4c81612a68565b60018103612d5a5750600a90565b612d6381612a68565b60038103612d715750600c90565b612d7a81612a68565b60048103612d885750600d90565b612d9181612a68565b60058103612d9f5750600e90565b612da881612a68565b60068103612db65750600f90565b612dbf81612a68565b60078103612dcd5750601090565b80612dd9600892612a68565b14612e89576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152605660248201527f766572696679436861696e65644e6f6e4d656d626572736869703a206e6f6e2060448201527f65786861757374697665207061747465726e206d61746368696e67206f6e205660648201527f65726966794e6f6e4578697374656e63654572726f7200000000000000000000608482015260a490fd5b601190565b505050505050600390565b90813b15612f885773ffffffffffffffffffffffffffffffffffffffff8216807fffffffffffffffffffffffff00000000000000000000000000000000000000007f360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc5416177f360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc557fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b5f80a2805115612f5757612f5491613a69565b50565b505034612f6057565b7fb398979f000000000000000000000000000000000000000000000000000000005f5260045ffd5b73ffffffffffffffffffffffffffffffffffffffff827f4c9c8ce3000000000000000000000000000000000000000000000000000000005f521660045260245ffd5b907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8201918211611ed257565b8115613001570690565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b9060018201809211611ed257565b91908201809211611ed257565b61318e61035591610d0a6131646040519261306560c0856107b4565b608884527f1f333139281e100f5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c60208501527f5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c60408501527f5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c60608501527f5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c60808501527f5c5c5c5c5c5c5c5c00000000000000000000000000000000000000000000000060a0850152610d0a613150613135613aad565b9260405192839161314a6020840180976124b7565b906124b7565b519020604051928391602083019586613b80565b5190207f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000090612ff7565b61302e565b9261319e9082613b94565b939192909215613408576131b59161151691613cf5565b613401576101006040519384377f07b8dbefa90bde075a26318e5066db729155514e3c06b888d4e03c56d82c97e66101008401527f02aca5d2a73f8d34e4b26eee3932365e6526c8d5e2f3347d679c2cb1867104dc6101208401527f2edb19cbb2b6ad0c98fdd7d1845500c26e497dc35e4cdc1cb02cc65dc4ba1bf26101408401527f1696ccafaefe49a5d8bad8e79630e19b25e5392a203aff0042d0216f254806f56101608401527f245229d9b076b3c0e8a4d70bde8c1cccffa08a9fae7557b165b3b0dbd653e2c76101808401527f253ec85988dbb84e46e94b5efa3373b47a000b4ac6c86b2d4b798d274a1823026101a08401527f07090a82e8fabbd39299be24705b92cf208ee8b3487f6f2b39ff27978a29a1db6101c08401527f2424bcc1f60a5472685fd50705b2809626e170120acaf441e133a2bd5e61d2446101e08401527f25833b15e156ae01f2741f4f4120ddb466c52eb83a959f79eb99b23caa7fbf1d6102008401527f04ddc8d30d5c438ca34091c5d2c6ded571382cba2b3c4fdc4222df2938b4e51e6102208401526102408301526102608201527f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c26102808201527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed6102a08201527f275dc4a288d1afb3cbb1ac09187524c7db36395df7be3b99e673b13a075a65ec6102c08201527f1d9befcd05a5323e6da4d435f3b617cdb3af83285c2df711ef39c01571827f9d6102e08201526020816103008160085afa90511690565b5050505f90565b50505050505f90565b67ffffffffffffffff80919392931692168201809211611ed25767ffffffffffffffff161190565b9194909361344f61344a8480612233565b6138f1565b61345b81969296612b5e565b61350957613487926134816134708680612233565b936134796135c6565b923691610812565b926139ec565b61349081612b68565b806134fb5750916134df93916134ad6134cc946020810190612233565b6134da6134b86139c2565b926040519687916020830160209181520190565b03601f1981018752866107b4565b613f60565b6134e881612b68565b806134f257505f90565b61035590613e48565b925050506103559150613e48565b50505050505050600290565b60ff7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a005460401c161561354457565b7fd7e6bcf8000000000000000000000000000000000000000000000000000000005f5260045ffd5b6020810161358261357d8284612233565b614004565b156135b95750604081019061359a61357d8383612233565b156135a85750505f90600490565b6135b59161344a91612233565b9091565b61344a906135b592612233565b6135ce6117d8565b506040516135db81610777565b6021815260046020820152600c604082015290565b9035907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe181360301821215610193570180359067ffffffffffffffff821161019357602001918160051b3603831361019357565b909291602082019061365f6136598385612233565b8061276f565b91909460408501956136746136598888612233565b94909361368761151661357d898b612233565b613860575b61369c61151661357d8b8b612233565b6137ea575b5080159384806137e2575b6137d357851595861591826137bc575b50506137ae5783159182613798575b5050905061378d571561371e5750509181836137086136f66137006136f66115169761371099612233565b60608101906135f0565b949093612233565b939050614347565b613719575b5f90565b600690565b9092901561375857509181836137436136f66137006136f66115169761374b99612233565b9390506142dc565b613753575f90565b600790565b926137839361377b6136f66137736136f66115169787612233565b939095612233565b9390926141d7565b1561371557600890565b505050505050600590565b6137a492505f9361407e565b1315805f806136cb565b505050505050505050600490565b5f9250906137ca918661407e565b12155f806136bc565b50505050505050505050600390565b5085156136ac565b61383f90886137f98b82612233565b918c6138398d61383161382761381d613815613659858a612233565b949098612233565b602081019061276f565b9690923691610812565b943691610812565b93613f60565b61384881612b68565b613852575f6136a1565b505050505050505050600290565b61388a61386d888a612233565b89838d6138398c61383161382761381d613815613659858a612233565b61389381612b68565b1561368c5750505050505050505050600190565b600311156122ea57565b9190811015611efe5760051b810135907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc181360301821215610193570190565b604081016138ff818361276f565b9050156139b957613913613934918361276f565b9061391e848061276f565b9061392c602087018761276f565b9490936143f1565b919091613940816138a7565b6139b0576060810161395281836135f0565b9190505f925b8284106139685750505050905f90565b90919293613989906139848661397e86866135f0565b906138b1565b6144a0565b949094613995816138a7565b6139a457600101929190613958565b50505050505f90600390565b50505f90600290565b50505f90600190565b6139ca6117d8565b506040516139d781610777565b60208152600160208201526001604082015290565b929091613a036139fc858061276f565b3691610812565b60208151910120906020815191012003613a6157613a276139fc602085018561276f565b60208151910120906020815191012003613a5a57613a44916144f6565b613a4d81612b5e565b613a55575f90565b600390565b5050600290565b505050600190565b5f8061035593602081519101845af43d15613aa5573d91613a89836107f6565b92613a9760405194856107b4565b83523d5f602085013e6145f8565b6060916145f8565b60405190613abc60c0836107b4565b608882527f363636363636363600000000000000000000000000000000000000000000000060a0837f75595b5342747a6536363636363636363636363636363636363636363636363660208201527f363636363636363636363636363636363636363636363636363636363636363660408201527f363636363636363636363636363636363636363636363636363636363636363660608201527f363636363636363636363636363636363636363636363636363636363636363660808201520152565b613b8d90602093926124b7565b9081520190565b90916040519260408401907f2f5d8a3817f21d3e453573c90c3cc47b7ff235fad7bdfbd59bbd6ae5d153273e8552604060208601947f147fa22142b1fd86ce75fc87230a0feac8765d02938784dcfc828d17d7e7c432865283377f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000016040808760808160065afa937f2a81b98e1c997bd01a20893a08a46c6804493e838c1a0ff6c8c069ef5ab66b9a8152602060608901947f276938ada8075cec20d4d6a1f157ec94cc7ba6207c98576e98c1ad9d6378fb6f86527f0326e7d44688ce5903676b7d646e46a5938c8e5fd8cd54e4d5aa3300649f3cfc6001825160808d0199818b5288888860608160075afa92101616868d60808160065afa1616967f179496ce140df89ce35c5ee7fb496efdffda5e5d3b95ff9116e2e5df96b36ab7855252015180955260608160075afa9210161660408460808160065afa169251915190565b906040908180519384377f198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c2828401527f1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed60608401527f090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b60808401527f12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa60a084015260c08301377f07b8dbefa90bde075a26318e5066db729155514e3c06b888d4e03c56d82c97e66101008201527f02aca5d2a73f8d34e4b26eee3932365e6526c8d5e2f3347d679c2cb1867104dc6101208201527f2edb19cbb2b6ad0c98fdd7d1845500c26e497dc35e4cdc1cb02cc65dc4ba1bf26101408201527f1696ccafaefe49a5d8bad8e79630e19b25e5392a203aff0042d0216f254806f56101608201526020816101808160085afa90511690565b613e5181612b68565b60018103613e5f5750600390565b613e6881612b68565b60028103613e765750600490565b613e7f81612b68565b60038103613e8d5750600590565b613e9681612b68565b60048103613ea45750600690565b80613eb0600592612b68565b14613753576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152605060248201527f766572696679436861696e65644d656d626572736869703a206e6f6e2065786860448201527f61757374697665207061747465726e206d61746368696e67206f6e205665726960648201527f66794578697374656e63654572726f7200000000000000000000000000000000608482015260a490fd5b9293909193613f726139fc858061276f565b60208151910120906020815191012003613ffb57613f966139fc602085018561276f565b60208151910120906020815191012003613ff357613fb490826144f6565b613fbd81612b5e565b613fec57613fca906138f1565b613fd381612b5e565b613fe55703613fe0575f90565b600590565b5050600490565b5050600390565b505050600290565b50505050600190565b61400e818061276f565b905061405357614021602082018261276f565b905061405357614034604082018261276f565b9050614053578060606140489201906135f0565b905061371557600190565b505f90565b908151811015611efe570160200190565b9015611efe5790565b90821015611efe570190565b805180841190841802831892918391905f5b8381106140d357505051116140cc57116140a8575f90565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90565b5050600190565b9091925061410a6140e48285614058565b517fff000000000000000000000000000000000000000000000000000000000000001690565b7fff0000000000000000000000000000000000000000000000000000000000000061418761416261413c858988614072565b357fff000000000000000000000000000000000000000000000000000000000000001690565b7fff000000000000000000000000000000000000000000000000000000000000001690565b9116818110156141bc57505050505050507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff90565b116141cd5760010190849291614090565b5050505050600190565b929390916141e481612fca565b926141ee83612fca565b935b6142016139fc6136598386866138b1565b602081519101206142196139fc61365988888c6138b1565b6020815191012014806142a5575b61428d5761424e61151661423c8386866138b1565b61424788888c6138b1565b908961469b565b614282576142609261151692876142dc565b61427a576142719361151693614347565b61371557600190565b505050505f90565b505050505050505f90565b61429961429f91612fca565b94612fca565b936141f0565b506142b76139fc61381d8386866138b1565b602081519101206142cf6139fc61381d88888c6138b1565b6020815191012014614227565b8051906020810151820190818311611ed25760408101518301809311611ed257511560011715611ed2575f5b85811061431a57505050505050600190565b6143305f848461432b858a8a6138b1565b6146ec565b1561433d57600101614308565b5050505050505f90565b91909180511560011715611ed257602081015160408201519151925f5b8681106143775750505050505050600190565b61438885858561432b85878c6138b1565b1561428257600101614364565b9061439f826107f6565b6143ac60405191826107b4565b828152601f196143bc82946107f6565b0190602036910137565b8593836143e49260209a999795613b8d9995823701905f82526124b7565b91823701905f82526124b7565b9493909192938415614493578015614486575f6020916144186144138861474d565b614395565b93614423858961476c565b5061443360405180938193611afe565b039060025afa15610df057602094610d0a61447594610d90935f9788519261445c614413614731565b92614466846147ac565b506040519889978d89016143c6565b039060025afa15610df0575f805191565b5050505050505f90600290565b5050505050505f90600190565b6144756144c6610d9060205f948180976144ba838061276f565b9690938381019061276f565b80929188604051998a9787890137860192858401526040830137010186838201520301601f1981018352826107b4565b9060408201614505818461276f565b905015613a615761454361413c61453d7fff00000000000000000000000000000000000000000000000000000000000000938661276f565b90614069565b16613a5a57614558604082015182519061303c565b606083019261456784826135f0565b9490505f5b85811061457d575050505050505f90565b61458b8161397e84866135f0565b84614596828061276f565b90506020880151119182156145dc575b82156145c6575b50506145bb5760010161456c565b505050505050600290565b6145d29192508061276f565b905011845f6145ad565b91506145f161416261413c61453d858061276f565b15916145a6565b90614635575080511561460d57805190602001fd5b7fd6bda275000000000000000000000000000000000000000000000000000000005f5260045ffd5b81511580614688575b614646575090565b73ffffffffffffffffffffffffffffffffffffffff907f9996b315000000000000000000000000000000000000000000000000000000005f521660045260245ffd5b50803b1561463e565b600211156122ea57565b906146a690826147bc565b92909160028410156122ea578361427a576146cc916146c4916147bc565b919093614691565b6146d581614691565b6146e6576146e29061302e565b1490565b50505f90565b91906146f8838061276f565b90501090811561471c575b506146e65780602061471692019061276f565b90501490565b9050614728828061276f565b9050115f614703565b60015f805b61473e575090565b60019091019060071c80614736565b60019060071c805b61475d575090565b60019091019060071c80614755565b91909160205f9301607f8216915b60071c9182156147a0576001918291608017815301930190607f8116909390919361477a565b90600193949250530190565b5f919082906020908101906147a0565b5f5b600281106147d0575050505f90600190565b6147db82518261275c565b60208301518101808211611ed25760408401518201809211611ed257826001039060018211611ed25760019261481661481d9387519061275c565b91876146ec565b15151461482c576001016147be565b915050905f9056fea26469706673582212209133da1605b3584738f7167d40334576dff776c0237684108b32141ba185157264736f6c634300081b0033f0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00000000000000000000000000ee4ea8d358473f0fcebf0329feed95d56e8c04d7