OracleBonds | Base

codeslaw

OracleBondsSolidityv0.8.25+commit.b61c2a91

network

Base

address0x118c2d8bec04696a2f13124213bac72d0e13f63e

deployer0xa9d19Dd30540fB39C8e058E81DaA21FfCcfB4a57

tx last 12 months

0 txs

calls last 12 months

0 calls

25 Files

lib

openzeppelin-contracts-upgradeable

contracts

access

OwnableUpgradeable.sol

interfaces

IERC1967Upgradeable.sol

draft-IERC1822Upgradeable.sol

proxy

ERC1967

ERC1967UpgradeUpgradeable.sol

beacon

IBeaconUpgradeable.sol

utils

Initializable.sol

UUPSUpgradeable.sol

security

PausableUpgradeable.sol

ReentrancyGuardUpgradeable.sol

token

ERC20

IERC20Upgradeable.sol

extensions

IERC20PermitUpgradeable.sol

utils

SafeERC20Upgradeable.sol

utils

AddressUpgradeable.sol

ContextUpgradeable.sol

StorageSlotUpgradeable.sol

math

MathUpgradeable.sol

src

BondConstants.sol

EscalationEnums.sol

EscalationStructs.sol

MarketEnums.sol

OracleBonds.sol

interfaces

IBlacklistable.sol

IEscalation.sol

ITruthMarket.sol

ITruthMarketManager.sol

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

abi

constructor

constructor()

functions

getClaimableBondAmountForMarket

view

function getClaimableBondAmountForMarket(address _market) view returns (uint256)

getClaimedBondAmountForMarket

view

function getClaimedBondAmountForMarket(address _market) view returns (uint256)

getDisputorBondForMarket

view

function getDisputorBondForMarket(address _market, address _disputorAddress) view returns (uint256)

getEscalatedDisputorBondForMarket

view

function getEscalatedDisputorBondForMarket(address _market) view returns (uint256)

getResolverBondForMarket

view

function getResolverBondForMarket(address _market) view returns (uint256)

getTotalDepositedBondAmountForMarket

view

function getTotalDepositedBondAmountForMarket(address _market) view returns (uint256)

marketBond

view

function marketBond(address) view returns (uint256 totalDepositedMarketBond, uint256 totalMarketBond, uint256 resolverBond, uint256 disputorsTotalBond, uint256 disputorsCount, uint256 escalatedDisputorBond)

marketManager

view

function marketManager() view returns (address)

owner

view

function owner() view returns (address)

paused

view

function paused() view returns (bool)

proxiableUUID

view

function proxiableUUID() view returns (bytes32)

initialize

nonpayable

function initialize()

issueBondsBackToDisputor

nonpayable

function issueBondsBackToDisputor(address _market, address _disputorAddress)

issueBondsBackToEscalatedDisputor

nonpayable

function issueBondsBackToEscalatedDisputor(address _market)

issueBondsBackToResolver

nonpayable

function issueBondsBackToResolver(address _market)

renounceOwnership

nonpayable

function renounceOwnership()

sendBondFromMarketToSafeBox

nonpayable

function sendBondFromMarketToSafeBox(address _market, uint256 _bondToReduce, address _disputorAddress)

sendDisputorBondToMarket

nonpayable

function sendDisputorBondToMarket(address _market, address _disputorAddress, uint256 _amount)

sendEscalatedDisputorBondToMarket

nonpayable

function sendEscalatedDisputorBondToMarket(address _market, address _escalatedDisputorAddress, uint256 _amount)

sendOpenDisputeBondFromMarketToDisputor

nonpayable

function sendOpenDisputeBondFromMarketToDisputor(address _market, address _disputorAddress)

sendResolverBondToMarket

nonpayable

function sendResolverBondToMarket(address _market, address _resolverAddress, uint256 _amount)

setManagerAddress

nonpayable

function setManagerAddress(address _managerAddress)

setPaused

nonpayable

function setPaused(bool _setPausing)

transferOwnership

nonpayable

function transferOwnership(address newOwner)

upgradeTo

nonpayable

function upgradeTo(address newImplementation)

upgradeToAndCall

payable

function upgradeToAndCall(address newImplementation, bytes data) payable

events

AdminChanged

event AdminChanged(address previousAdmin, address newAdmin)

BeaconUpgraded

event BeaconUpgraded(address indexed beacon)

BondTransferredFromMarketBondToSafeBox

event BondTransferredFromMarketBondToSafeBox(address market, uint256 amount, uint256 bondReduced, address reduceAddress)

BondTransferredFromMarketBondToUser

event BondTransferredFromMarketBondToUser(address market, address account, uint256 amount)

DisputorBondSent

event DisputorBondSent(address market, address disputor, uint256 amount)

EscalatedDisputorBondSent

event EscalatedDisputorBondSent(address market, address escalatedDisputor, uint256 amount)

Initialized

event Initialized(uint8 version)

NewManagerAddress

event NewManagerAddress(address managerAddress)

NewOracleCouncilAddress

event NewOracleCouncilAddress(address oracleCouncil)

NewStakingThalesAddress

event NewStakingThalesAddress(address stakingThales)

OpenDisputeBondTransferredFromMarketToDisputor

event OpenDisputeBondTransferredFromMarketToDisputor(address market, address disputor, uint256 amount)

OwnershipTransferred

event OwnershipTransferred(address indexed previousOwner, address indexed newOwner)

Paused

event Paused(address account)

ResolverBondSent

event ResolverBondSent(address market, address resolver, uint256 amount)

Unpaused

event Unpaused(address account)

Upgraded

event Upgraded(address indexed implementation)

errors

InsufficientMarketBond

error InsufficientMarketBond()

InvalidAddress

error InvalidAddress()

InvalidBondAmount

error InvalidBondAmount()

InvalidBondType

error InvalidBondType(uint256 _bondType)

InvalidMarket

error InvalidMarket(address _market)

InvalidMarketManager

error InvalidMarketManager()

InvalidOracleCouncilAddress

error InvalidOracleCouncilAddress()

NotAuthorizedMarketAction

error NotAuthorizedMarketAction()

NotOracleCouncilAddressAndManagerAndOwner

error NotOracleCouncilAddressAndManagerAndOwner()

bytecode

creation bytecode

0x60a0806040523460d657306080525f549060ff8260081c166084575060ff80821603604b575b6040516138e290816100db82396080518181816124290152818161255001526128650152f35b60ff90811916175f557f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498602060405160ff8152a15f6025565b62461bcd60e51b815260206004820152602760248201527f496e697469616c697a61626c653a20636f6e747261637420697320696e697469604482015266616c697a696e6760c81b6064820152608490fd5b5f80fdfe604060808152600480361015610013575f80fd5b5f3560e01c806316c38b3c146130ea5780631836e540146130af5780631f52cb1d14612a5c5780633009101f14612a245780633659cfe61461283b57806341431908146127ba57806341ed2c12146127915780634f1ef286146124d557806352d1902d146124165780635a090b68146121645780635c975abb14612141578063714b359714611ba9578063715018a614611b4e5780637190e815146117eb57806374fc020d146111ea57806380af208b1461119d5780638129fc1c1461102e5780638da5cb5b146110065780639cd0d4a414610fbf578063aac0167f14610b39578063b584159b14610acc578063bc134bfd146105bb578063c0f166fb14610580578063e8c77ba114610206578063f29e0d0f146101cb5763f2fde38b14610139575f80fd5b346101c75760203660031901126101c7576101526131d0565b9161015b6133f6565b6001600160a01b0383161561017557610173836134a4565b005b906020608492519162461bcd60e51b8352820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152fd5b5f80fd5b82346101c75760203660031901126101c7576020906001600160a01b036101f06131d0565b165f5261012e82526002815f2001549051908152f35b5090346101c7576102163661326a565b909260018060a01b0361012d9581875416968351976301f3c06360e21b808a526020998a818681865afa908115610576579086915f9161053e575b501633141580610534575b80610526575b6105165781156105065789908487518094819382525afa9081156104b5579084915f916104ce575b5016156104bf57829061029b61344e565b54168351633761c52760e11b81528881602481878b169586888301525afa9081156104b5575f91610480575b501561046b57805f5261012e808952610305866102f0816001895f2082600582015501546133e9565b845f52838c52875f20906001820155546133e9565b90825f528952845f205561031761354c565b8287161561045c578790845192838092633013ce2960e01b82525afa908115610452575f916103ea575b5082516323b872dd60e01b978101979097526001600160a01b0386166024880152306044880152606487018490527fa8074d360c33c56691f6bd2f7b9857e86d847777b8f13d749c7fc45d8993ea9e966103e09493926103b8926103b283608481015b03601f19810185528461322c565b16613671565b516001600160a01b039384168152939092166020840152604083019190915281906060820190565b0390a1600160fb55005b9050868181959493953d831161044b575b610405818361322c565b810103126101c7577fa8074d360c33c56691f6bd2f7b9857e86d847777b8f13d749c7fc45d8993ea9e966103e09461043f6103b89361329f565b92509293945096610341565b503d6103fb565b83513d5f823e3d90fd5b50825163e6c4247b60e01b8152fd5b8351623aae9360e61b81529182015260249150fd5b90508881813d83116104ae575b610497818361322c565b810103126101c7576104a8906132b3565b5f6102c7565b503d61048d565b85513d5f823e3d90fd5b508251636210626960e01b8152fd5b8092508a8092503d83116104ff575b6104e7818361322c565b810103126101c7576104f9849161329f565b5f61028a565b503d6104dd565b855163746015df60e11b81528490fd5b855163fe756b5d60e01b81528490fd5b508460975416331415610262565b508133141561025c565b8092508c8092503d831161056f575b610557818361322c565b810103126101c757610569869161329f565b5f610251565b503d61054d565b87513d5f823e3d90fd5b82346101c75760203660031901126101c7576020906001600160a01b036105a56131d0565b165f5261012e82526001815f2001549051908152f35b50346101c757816003193601126101c7576105d46131d0565b6105dc6131e6565b9160018060a01b039361012d91858354168251906301f3c06360e21b80835260209283818681865afa908115610ac257908a915f91610a8a575b501633141580610a80575b80610a72575b610a62578115610a525782908486518094819382525afa908115610a48579088915f91610a10575b501615610a015761065e61344e565b86845416918351633761c52760e11b815282816024818c8b169788878301525afa9081156104b5575f916109cc575b50156109b657825f5261012e948583526006855f200198808916998a5f528452855f205496855f52808552876001885f200154106109a657855f5280855260066106f98960036106e38260018d5f200154613306565b8a5f52858a528b5f209060018201550154613306565b875f52828752885f209060038201558c5f520185525f87812055855f5280855283875f2001549081610976575b505061073061354c565b8915610966578551633013ce2960e01b815284818581895afa908115610576579082915f9161092e575b501691865163fe575a8760e01b81528b858201528581602481875afa5f91816108f7575b506108f257505f5b156108b25754865163543f171560e01b815293859285928391165afa9182156104b5575f92610831575b50927f66f65019262e7286ca9e55c2d3f1e3137c487cd2e6d2f82b0acb81a5e2ffceb898865f8051602061388d833981519152946107f6826080966103e09b9a99613590565b86519384528301525f858301526060820152a1516001600160a01b039384168152939092166020840152604083019190915281906060820190565b9594939091508286813d83116108ab575b61084c818361322c565b810103126101c7577f66f65019262e7286ca9e55c2d3f1e3137c487cd2e6d2f82b0acb81a5e2ffceb898855f8051602061388d833981519152946107f6826080966108996103e09c61329f565b975095989950505094509650986107b0565b503d610842565b50507f66f65019262e7286ca9e55c2d3f1e3137c487cd2e6d2f82b0acb81a5e2ffceb89850859493506108ed92506103e09591508790613590565b6103b8565b610786565b9091508681813d8311610927575b61090f818361322c565b810103126101c757610920906132b3565b905f61077e565b503d610905565b809250868092503d831161095f575b610947818361322c565b810103126101c757610959829161329f565b5f61075a565b503d61093d565b855163e6c4247b60e01b81528390fd5b5f19820191821161099357865f52855283875f2001555f80610726565b601185634e487b7160e01b5f525260245ffd5b865163395eb0fb60e21b81528490fd5b8351623aae9360e61b8152908101839052602490fd5b90508281813d83116109fa575b6109e3818361322c565b810103126101c7576109f4906132b3565b5f61068d565b503d6109d9565b509051636210626960e01b8152fd5b809250838092503d8311610a41575b610a29818361322c565b810103126101c757610a3b889161329f565b5f61064f565b503d610a1f565b84513d5f823e3d90fd5b845163746015df60e11b81528490fd5b845163fe756b5d60e01b81528490fd5b508860975416331415610627565b5081331415610621565b809250858092503d8311610abb575b610aa3818361322c565b810103126101c757610ab58a9161329f565b5f610616565b503d610a99565b86513d5f823e3d90fd5b50346101c75760203660031901126101c75760c0916001600160a01b03610af16131d0565b165f5261012e602052805f20805492600182015492600283015490600560038501549385015494015494815196875260208701528501526060840152608083015260a0820152f35b50346101c757816003193601126101c757610b526131d0565b610b5a6131e6565b9160018060a01b039361012d91858354168251906301f3c06360e21b80835260209283818681865afa908115610ac257908a915f91610f87575b501633148015610f7e575b8015610f71575b8015610ef8575b15610ee8578115610a525782908486518094819382525afa908115610a48579088915f91610eb0575b501615610a0157610be561344e565b86845416918351633761c52760e11b815282816024818c8b169788878301525afa9081156104b5575f91610e7b575b50156109b657825f5261012e948583526006855f200198808916998a5f528452855f205496855f52808552876001885f200154106109a657855f528085526006610c6a8960036106e38260018d5f200154613306565b875f52828752885f209060038201558c5f520185525f87812055855f5280855283875f2001549081610e5e575b5050610ca161354c565b8915610966578551633013ce2960e01b815284818581895afa908115610576579082915f91610e26575b501691865163fe575a8760e01b81528b858201528581602481875afa5f9181610def575b50610dea57505f5b15610dc25754865163543f171560e01b815293859285928391165afa9182156104b5575f92610d54575b50925f8051602061386d83398151915298865f8051602061388d833981519152946107f6826080966103e09b9a99613590565b9594939091508286813d8311610dbb575b610d6f818361322c565b810103126101c7575f8051602061386d83398151915298855f8051602061388d833981519152946107f682608096610da96103e09c61329f565b97509598995050509450965098610d21565b503d610d65565b50505f8051602061386d8339815191529850859493506108ed92506103e09591508790613590565b610cf7565b9091508681813d8311610e1f575b610e07818361322c565b810103126101c757610e18906132b3565b905f610cef565b503d610dfd565b809250868092503d8311610e57575b610e3f818361322c565b810103126101c757610e51829161329f565b5f610ccb565b503d610e35565b5f19820191821161099357865f52855283875f2001555f80610c97565b90508281813d8311610ea9575b610e92818361322c565b810103126101c757610ea3906132b3565b5f610c14565b503d610e88565b809250838092503d8311610ee1575b610ec9818361322c565b810103126101c757610edb889161329f565b5f610bd6565b503d610ebf565b84516363d7349d60e01b81528490fd5b508887168033149081610f0c575b50610bad565b9050855190633761c52760e11b8252858201528381602481865afa908115610ac2575f91610f3c575b505f610f06565b90508381813d8311610f6a575b610f53818361322c565b810103126101c757610f64906132b3565b5f610f35565b503d610f49565b5088609754163314610ba6565b50813314610b9f565b809250858092503d8311610fb8575b610fa0818361322c565b810103126101c757610fb28a9161329f565b5f610b94565b503d610f96565b82346101c75760203660031901126101c7576020906001600160a01b03610fe46131d0565b165f5261012e8252610fff815f206001815491015490613306565b9051908152f35b82346101c7575f3660031901126101c75760975490516001600160a01b039091168152602090f35b50346101c7575f3660031901126101c7575f549060ff8260081c161590818092611190575b8015611179575b1561111f575060ff198281166001175f55918161110d575b5061108c60ff5f5460081c16611087816134ec565b6134ec565b611095336134a4565b6110ce5f549260ff8460081c16906110ac826134ec565b6110b5826134ec565b6110be826134ec565b60c9541660c955611087816134ec565b600160fb556110d957005b61ff0019165f5551600181527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb384740249890602090a1005b61ffff1916610101175f908155611072565b608490602085519162461bcd60e51b8352820152602e60248201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160448201526d191e481a5b9a5d1a585b1a5e995960921b6064820152fd5b50303b15801561105a5750600160ff84161461105a565b50600160ff841610611053565b82346101c757806003193601126101c7576020906111b96131d0565b6111c16131e6565b9060018060a01b038091165f5261012e84526006835f200191165f528252805f20549051908152f35b5090346101c75760603660031901126101c7576112056131d0565b916024918235916044359360018060a01b03918286168096036101c75761012d9083825416928551936301f3c06360e21b80865260209586818681865afa908115611588579088915f916117b3575b5016331480156117aa575b801561179d575b8015611725575b156117155781156117055785908489518094819382525afa908115610576579086915f916116cd575b5016156116be576112a561344e565b8484818554169a83895180948193633761c52760e11b8352169d8e888301525afa908115610576575f91611689575b50156116755760658710801561166b575b611656575f606588036115925750885f5261012e84526002865f2001945f865496555b895f5261012e8086526113218760018a5f200154613306565b908b5f5286526001885f20015580845416908751948686868163543f171560e01b968782525afa958615611588575f96611551575b5061135f61354c565b8186169586156115415785888e8c5192838092633013ce2960e01b82525afa908115611537579084915f916114ff575b501694888b51809263fe575a8760e01b82528a8a83015281895afa5f91816114c8575b506114c357505f5b1561149557509086929154169388518095819382525afa918215610ac2575f92611433575b50608085936114045f8051602061388d8339815191529b9997839b9997958d95613590565b85519089825285858301525f878301526060820152a15b82519586528501528301526060820152a1600160fb55005b9896949297959380925089813d831161148e575b611451818361322c565b810103126101c75760808098611404855f8051602061388d8339815191529c9461147b8e9661329f565b96989a9c509450505093959799506113df565b503d611447565b915050869450608099979593505f8051602061388d8339815191529a989691506114be92613590565b61141b565b6113ba565b9091508981813d83116114f8575b6114e0818361322c565b810103126101c7576114f1906132b3565b905f6113b2565b503d6114d6565b8092508a8092503d8311611530575b611518818361322c565b810103126101c75761152a849161329f565b5f61138f565b503d61150e565b8b513d5f823e3d90fd5b895163e6c4247b60e01b81528690fd5b9095508681813d8311611581575b611569818361322c565b810103126101c75761157a9061329f565b945f611356565b503d61155f565b89513d5f823e3d90fd5b606688036116325750885f5261012e948585526006875f2001895f528552865f2054958a5f528086526006885f20018a5f5286525f888120558a5f52808652836115e28860038b5f200154613306565b8c5f52828852895f20906003820155886115ff575b505050611308565b01545f19810191908211611620578b5f52865283885f2001555f83816115f7565b83601186634e487b7160e01b5f52525ffd5b9460678803611308579450885f5261012e84526005865f2001945f86549655611308565b855163501fe10160e01b815291820187905290fd5b50606787116112e5565b8551623aae9360e61b815291820189905290fd5b90508481813d83116116b7575b6116a0818361322c565b810103126101c7576116b1906132b3565b5f6112d4565b503d611696565b508451636210626960e01b8152fd5b809250868092503d83116116fe575b6116e6818361322c565b810103126101c7576116f8869161329f565b5f611296565b503d6116dc565b875163746015df60e11b81528490fd5b87516363d7349d60e01b81528490fd5b50868b168033149081611739575b5061126d565b9050885190633761c52760e11b82528582015286818581865afa908115611588575f91611768575b505f611733565b90508681813d8311611796575b61177f818361322c565b810103126101c757611790906132b3565b5f611761565b503d611775565b5086609754163314611266565b5081331461125f565b809250888092503d83116117e4575b6117cc818361322c565b810103126101c7576117de889161329f565b5f611254565b503d6117c2565b5090346101c7576117fb3661326a565b909260018060a01b0361012d9581875416968351976301f3c06360e21b808a526020998a818681865afa908115610576579086915f91611b16575b501633141580611b0c575b80611afe575b6105165781156105065789908487518094819382525afa9081156104b5579084915f91611ac6575b5016156104bf57829061188061344e565b54168351633761c52760e11b81528881602481878b169586888301525afa9081156104b5575f91611a91575b501561046b57805f5261012e8089526006855f20019084891691825f528a5285878b83835f205415611a60575b600161194392849261192e846003611958998d5f528486526006815f20018d5f5286528d61190a84835f20546133e9565b5f9182528688528282208f83526006018852828220558e81528587522001546133e9565b918a5f52528b5f2090600382015501546133e9565b855f52838d52885f20906001820155546133e9565b90835f528a52855f205561196a61354c565b1561045c578790845192838092633013ce2960e01b82525afa908115610452575f916119f8575b5082516323b872dd60e01b978101979097526001600160a01b0386166024880152306044880152606487018490527f7ebc12537ecdb10642293d25ea451b4ad812314aa64e90b1f439ef169860be2e966103e09493926103b8926103b283608481016103a4565b9050868181959493953d8311611a59575b611a13818361322c565b810103126101c7577f7ebc12537ecdb10642293d25ea451b4ad812314aa64e90b1f439ef169860be2e966103e094611a4d6103b89361329f565b92509293945096611991565b503d611a09565b50505050825f52808a5283865f20015460018101809111610993575f848152828c5287902085015585878b836118d9565b90508881813d8311611abf575b611aa8818361322c565b810103126101c757611ab9906132b3565b5f6118ac565b503d611a9e565b8092508a8092503d8311611af7575b611adf818361322c565b810103126101c757611af1849161329f565b5f61186f565b503d611ad5565b508460975416331415611847565b5081331415611841565b8092508c8092503d8311611b47575b611b2f818361322c565b810103126101c757611b41869161329f565b5f611836565b503d611b25565b346101c7575f3660031901126101c757611b666133f6565b609780546001600160a01b031981169091555f906001600160a01b03167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e08280a3005b5090346101c757602090816003193601126101c757611bc66131d0565b61012d805483516301f3c06360e21b8082526001600160a01b03979495949288169187818581865afa908115610ac2579089915f91612109575b501633148015612100575b80156120f3575b801561207a575b1561206a57811561205a5786908386518094819382525afa908115610a48579087915f91612022575b50161561201457611c5161344e565b85825416918351633761c52760e11b815286816024818b8a169788888301525afa9081156104b5575f91611fdf575b5015611fca57825f5261012e808752845f2090600260018301549201549182811015611cae575b600160fb55005b600292611cba91613306565b90855f528852855f20906001820155019687549788611cda575b80611ca7565b5f9055808254169185518881602481630187eab160e71b978882528a8a8301525afa908115610576575f91611f95575b50611d1361354c565b828116908115611f85578751633013ce2960e01b81528a8188818b5afa90811561158857858c928e925f91611f4b575b5016928a5163fe575a8760e01b8152858a8201528381602481885afa5f9181611f10575b50611f0b57505f5b15611ef4575050908691858554168a519384809263543f171560e01b82525afa91821561158857918c979593918c9795935f92611e98575b50975f8051602061388d83398151915292611dc98260809460249a9b9c613590565b8b51918b83528a8301525f8c8301526060820152a15b54168651958694859384528301525afa938415611e8e575f94611e42575b5050516001600160a01b0391821681529116602082015260408101919091525f8051602061386d8339815191529080606081015b0390a15f8080808080808080611cd4565b9080929450813d8311611e87575b611e5a818361322c565b810103126101c7575f8051602061386d83398151915293611e7d611e319261329f565b9391819550611dfd565b503d611e50565b82513d5f823e3d90fd5b9697879199508092503d8311611eed575b611eb3818361322c565b810103126101c75760808c5f8051602061388d83398151915292611dc9828f9b611ede60249b61329f565b955093509a9998505092611da7565b503d611ea9565b6024969450611f069298979593613590565b611ddf565b611d6f565b935093905082813d8311611f44575b611f29818361322c565b810103126101c7578c92611f3d8f936132b3565b905f611d67565b503d611f1f565b939250505081813d8311611f7e575b611f64818361322c565b810103126101c7578b85611f788d9361329f565b5f611d43565b503d611f5a565b875163e6c4247b60e01b81528690fd5b90508881813d8311611fc3575b611fac818361322c565b810103126101c757611fbd9061329f565b5f611d0a565b503d611fa2565b509151623aae9360e61b815291820152602490fd5b90508681813d831161200d575b611ff6818361322c565b810103126101c757612007906132b3565b5f611c80565b503d611fec565b8251636210626960e01b8152fd5b809250878092503d8311612053575b61203b818361322c565b810103126101c75761204d879161329f565b5f611c42565b503d612031565b845163746015df60e11b81528390fd5b84516363d7349d60e01b81528390fd5b50878616803314908161208e575b50611c19565b9050855190633761c52760e11b8252848201528781602481865afa908115610ac2575f916120be575b505f612088565b90508781813d83116120ec575b6120d5818361322c565b810103126101c7576120e6906132b3565b5f6120b7565b503d6120cb565b5087609754163314611c12565b50813314611c0b565b809250898092503d831161213a575b612122818361322c565b810103126101c757612134899161329f565b5f611c00565b503d612118565b82346101c7575f3660031901126101c75760209060ff60c9541690519015158152f35b5090346101c7576121743661326a565b909260018060a01b0361012d9581875416968351976301f3c06360e21b808a526020998a818681865afa908115610576579086915f916123de575b5016331415806123d4575b806123c6575b6105165781156105065789908487518094819382525afa9081156104b5579084915f9161238e575b5016156104bf5782906121f961344e565b54168351633761c52760e11b81528881602481878b169586888301525afa9081156104b5575f91612359575b501561046b57805f5261012e80895261224e866102f0816001895f2082600282015501546133e9565b90825f528952845f205561226061354c565b8287161561045c578790845192838092633013ce2960e01b82525afa908115610452575f916122f1575b5082516323b872dd60e01b978101979097526001600160a01b0386166024880152306044880152606487018490527fa1563e4764b03f0c6fb0ee9834943e1235597748f321123fe47fd43e46086f5c966103e09493926103b8926103b283608481016103a4565b9050868181959493953d8311612352575b61230c818361322c565b810103126101c7577fa1563e4764b03f0c6fb0ee9834943e1235597748f321123fe47fd43e46086f5c966103e0946123466103b89361329f565b9250929394509661228a565b503d612302565b90508881813d8311612387575b612370818361322c565b810103126101c757612381906132b3565b5f612225565b503d612366565b8092508a8092503d83116123bf575b6123a7818361322c565b810103126101c7576123b9849161329f565b5f6121e8565b503d61239d565b5084609754163314156121c0565b50813314156121ba565b8092508c8092503d831161240f575b6123f7818361322c565b810103126101c757612409869161329f565b5f6121af565b503d6123ed565b50346101c7575f3660031901126101c7577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316300361246d57602082515f8051602061384d8339815191528152f35b6020608492519162461bcd60e51b8352820152603860248201527f555550535570677261646561626c653a206d757374206e6f742062652063616c60448201527f6c6564207468726f7567682064656c656761746563616c6c00000000000000006064820152fd5b50816003193601126101c7576124e96131d0565b906024359267ffffffffffffffff84116101c757366023850112156101c75783820135906125168261324e565b6125228251918261322c565b8281526020928382019636602483830101116101c757815f9260248793018a37830101526001600160a01b037f000000000000000000000000000000000000000000000000000000000000000081169061257e30831415613327565b61259a5f8051602061384d833981519152928284541614613388565b6125a26133f6565b7f4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd91435460ff16156125dc5750505050505061017391506135e2565b8693949596169084516352d1902d60e01b815286818981865afa5f9181612762575b5061265d57855162461bcd60e51b8152808901889052602e60248201527f45524331393637557067726164653a206e657720696d706c656d656e7461746960448201526d6f6e206973206e6f74205555505360901b6064820152608490fd5b969192949395960361270d5750612673846135e2565b7fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b5f80a2815115801590612705575b6126a857005b610173945f92660819985a5b195960ca1b837f416464726573733a206c6f772d6c6576656c2064656c65676174652063616c6c869551986126e88a6131fc565b60278a528901528701525190845af46126ff613769565b91613798565b5060016126a2565b825162461bcd60e51b8152908101869052602960248201527f45524331393637557067726164653a20756e737570706f727465642070726f786044820152681a58589b195555525160ba1b6064820152608490fd5b9091508781813d831161278a575b61277a818361322c565b810103126101c75751905f6125fe565b503d612770565b82346101c7575f3660031901126101c75761012d5490516001600160a01b039091168152602090f35b5090346101c75760203660031901126101c7576127d56131d0565b6127dd6133f6565b6001600160a01b031691821561282d5761012d80546001600160a01b0319168417905581518381527f154e089317c4af354b1797cbc6b5e25eec4bdd82fd25292b9b8ede870b7d056e90602090a1005b905163746015df60e11b8152fd5b50346101c757602090816003193601126101c7576128576131d0565b6001600160a01b03939092907f0000000000000000000000000000000000000000000000000000000000000000851661289230821415613327565b6128ae5f8051602061384d833981519152918783541614613388565b6128b66133f6565b8151908382019682881067ffffffffffffffff891117612a11578784525f83527f4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd91435460ff16156129105750505050505061017391506135e2565b8693949596169084516352d1902d60e01b815286818981865afa5f91816129e2575b5061299157855162461bcd60e51b8152808901889052602e60248201527f45524331393637557067726164653a206e657720696d706c656d656e7461746960448201526d6f6e206973206e6f74205555505360901b6064820152608490fd5b969192949395960361270d57506129a7846135e2565b7fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b5f80a28151158015906129db576126a857005b505f6126a2565b9091508781813d8311612a0a575b6129fa818361322c565b810103126101c75751905f612932565b503d6129f0565b604186634e487b7160e01b5f525260245ffd5b82346101c75760203660031901126101c7576020906001600160a01b03612a496131d0565b165f5261012e8252805f20549051908152f35b50346101c757602091826003193601126101c757612a786131d0565b61012d805483516301f3c06360e21b8082526001600160a01b039793969495949288169184818581865afa908115610ac2579089915f91613077575b50163314801561306e575b8015613061575b8015612fe8575b1561206a57811561205a5783908386518094819382525afa908115610a48579087915f91612fb0575b50161561201457612b0561344e565b8585541694835196633761c52760e11b885280861697888482015284816024818b5afa908115610ac2575f91612f7b575b5015612f655790600194939291885f5261012e97888552855f206005810154978891015410612f55578484918751928380926344d9e87160e01b82525afa908115610ac2579082915f91612f1c575b505f9060248c89519485938492631cd50edb60e31b84528a840152165afa908115610ac2579082915f91612df0575b505f916005915116998b8352808752612bd38960018a86200154613306565b908c845287528783209060018201550155612bec61354c565b8715612de0578451633013ce2960e01b8152848185818d5afa908115610ac2579082915f91612da8575b501691855163fe575a8760e01b815289858201528581602481875afa5f9181612d71575b50612d6c57505f5b15612d465754855163543f171560e01b815293859285928391165afa918215610a48575f92612cda575b505f8051602061386d8339815191529785809594612c9e6103e0985f8051602061388d83398151915296608096613590565b85519283528201525f84820152876060820152a1516001600160a01b039384168152939092166020840152604083019190915281906060820190565b94939280925085813d8311612d3f575b612cf4818361322c565b810103126101c7575f8051602061386d83398151915297845f8051602061388d83398151915293612c9e82608095612d2e6103e09b61329f565b975095505050949550955097612c6c565b503d612cea565b50505f8051602061386d8339815191529750849392506108ed915093866103e095613590565b612c42565b9091508681813d8311612da1575b612d89818361322c565b810103126101c757612d9a906132b3565b905f612c3a565b503d612d7f565b809250868092503d8311612dd9575b612dc1818361322c565b810103126101c757612dd3829161329f565b5f612c16565b503d612db7565b845163e6c4247b60e01b81528390fd5b9150503d805f833e612e02818361322c565b81019085818303126101c757805167ffffffffffffffff918282116101c75701906101609283838203126101c757885193840184811083821117612f09578952612e4b8361329f565b8452878301518281116101c75781612e649185016132c0565b88850152888301519182116101c757612e7e9183016132c0565b878301526060810151858110156101c75760608301526080810151858110156101c75782600592859260805f96015260a081015160a083015260c081015160c083015260e081015160e0830152610100612ed98183016132b3565b90830152610120612eeb8183016132b3565b90830152612efd6101408092016132b3565b90820152915091612bb4565b604188634e487b7160e01b5f525260245ffd5b809250868092503d8311612f4e575b612f35818361322c565b810103126101c7575f612f48839261329f565b90612b85565b503d612f2b565b855163395eb0fb60e21b81528490fd5b8451623aae9360e61b8152808401899052602490fd5b90508481813d8311612fa9575b612f92818361322c565b810103126101c757612fa3906132b3565b5f612b36565b503d612f88565b809250848092503d8311612fe1575b612fc9818361322c565b810103126101c757612fdb879161329f565b5f612af6565b503d612fbf565b508786168033149081612ffc575b50612acd565b9050855190633761c52760e11b8252848201528481602481865afa908115610ac2575f9161302c575b505f612ff6565b90508481813d831161305a575b613043818361322c565b810103126101c757613054906132b3565b5f613025565b503d613039565b5087609754163314612ac6565b50813314612abf565b809250868092503d83116130a8575b613090818361322c565b810103126101c7576130a2899161329f565b5f612ab4565b503d613086565b82346101c75760203660031901126101c7576020906001600160a01b036130d46131d0565b165f5261012e82526005815f2001549051908152f35b50346101c75760203660031901126101c757803580151581036101c75761310f6133f6565b15613155575060207f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2589161314161354c565b600160ff1960c954161760c95551338152a1005b60c9549060ff821615613196575060ff191660c955513381527f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa90602090a1005b606490602084519162461bcd60e51b8352820152601460248201527314185d5cd8589b194e881b9bdd081c185d5cd95960621b6044820152fd5b600435906001600160a01b03821682036101c757565b602435906001600160a01b03821682036101c757565b6060810190811067ffffffffffffffff82111761321857604052565b634e487b7160e01b5f52604160045260245ffd5b90601f8019910116810190811067ffffffffffffffff82111761321857604052565b67ffffffffffffffff811161321857601f01601f191660200190565b60609060031901126101c7576001600160a01b039060043582811681036101c7579160243590811681036101c7579060443590565b51906001600160a01b03821682036101c757565b519081151582036101c757565b81601f820112156101c7578051906132d78261324e565b926132e5604051948561322c565b828452602083830101116101c757815f9260208093018386015e8301015290565b9190820391821161331357565b634e487b7160e01b5f52601160045260245ffd5b1561332e57565b60405162461bcd60e51b815260206004820152602c60248201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060448201526b19195b1959d85d1958d85b1b60a21b6064820152608490fd5b1561338f57565b60405162461bcd60e51b815260206004820152602c60248201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060448201526b6163746976652070726f787960a01b6064820152608490fd5b9190820180921161331357565b6097546001600160a01b0316330361340a57565b606460405162461bcd60e51b815260206004820152602060248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152fd5b600260fb541461345f57600260fb55565b60405162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152606490fd5b609780546001600160a01b039283166001600160a01b0319821681179092559091167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e05f80a3565b156134f357565b60405162461bcd60e51b815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201526a6e697469616c697a696e6760a81b6064820152608490fd5b60ff60c9541661355857565b60405162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b6044820152606490fd5b60405163a9059cbb60e01b60208201526001600160a01b039092166024830152604480830193909352918152608081019167ffffffffffffffff831182841017613218576135e092604052613671565b565b803b15613616575f8051602061384d83398151915280546001600160a01b0319166001600160a01b03909216919091179055565b60405162461bcd60e51b815260206004820152602d60248201527f455243313936373a206e657720696d706c656d656e746174696f6e206973206e60448201526c1bdd08184818dbdb9d1c9858dd609a1b6064820152608490fd5b60408051908101916001600160a01b031667ffffffffffffffff831182841017613218576136da926040525f806020958685527f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c656487860152868151910182855af16126ff613769565b805182811591821561374a575b50509050156136f35750565b6084906040519062461bcd60e51b82526004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e6044820152691bdd081cdd58d8d9595960b21b6064820152fd5b83809293500103126101c7578161376191016132b3565b80825f6136e7565b3d15613793573d9061377a8261324e565b91613788604051938461322c565b82523d5f602084013e565b606090565b919290156137fa57508151156137ac575090565b3b156137b55790565b60405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e74726163740000006044820152606490fd5b82519091501561380d5750805190602001fd5b604460209160405192839162461bcd60e51b83528160048401528051918291826024860152018484015e5f828201840152601f01601f19168101030190fdfe360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc60e37aa44e6b2c1aba5879edbe0d4326eff064606eb49d2d8f5d38fe8537e7d0c24f51a8bcbeed7add604126de5165cc05c04d9966c9e82bf4f3895c469a013da264697066735822122048aa66c2e508eb74b80cb325347f48eefd4401fb1e9e873d204c251feee2657d64736f6c63430008190033