ViePredictionMarketUSDCV1 | Base

codeslaw

ViePredictionMarketUSDCV1Solidityv0.8.27+commit.40a35a09

network

Base

address0x9dc7cc0678494afa6d62ce628e28eb7227575ebe

deployer0x0989Cd2871B36D638140354731301a32D2409C3a

tx last 12 months

0 txs

calls last 12 months

11 calls

37 Files

@openzeppelin

contracts

interfaces

IERC1967.sol

draft-IERC1822.sol

draft-IERC6093.sol

proxy

Clones.sol

ERC1967

ERC1967Utils.sol

beacon

IBeacon.sol

token

ERC1155

ERC1155.sol

IERC1155.sol

IERC1155Receiver.sol

extensions

ERC1155Supply.sol

IERC1155MetadataURI.sol

utils

ERC1155Utils.sol

ERC20

IERC20.sol

extensions

IERC20Permit.sol

utils

Address.sol

Arrays.sol

Base64.sol

Comparators.sol

Context.sol

Create2.sol

Errors.sol

Panic.sol

SlotDerivation.sol

StorageSlot.sol

Strings.sol

introspection

ERC165.sol

IERC165.sol

math

Math.sol

SafeCast.sol

SignedMath.sol

contracts-upgradeable

access

OwnableUpgradeable.sol

proxy

utils

Initializable.sol

UUPSUpgradeable.sol

utils

ContextUpgradeable.sol

contracts

prediction-market

VieMarketInventory.sol

ViePredictionMarketUSDCV1.sol

solady

src

utils

FixedPointMathLib.sol

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

abi

constructor

No constructor.

functions

getMarket

view

function getMarket(address marketId) view returns (address resolver, uint48 closeTime, uint256 liquidityParameterWad, uint256 collateralBalance, bool resolved, bool failedToResolveInTime, uint16 winningOutcomeId, uint256[] sharePrices, string question, string[] outcomeNames, string[] outcomeImageUris, uint256[] totalShares, string initialRulesUri, bytes32 initialRulesHash)

getUserBalances

view

function getUserBalances(address marketId, address user) view returns (uint256[] outcomeBalances, uint256 currentUserCollateralContribution)

inventoryImplementation

view

function inventoryImplementation() view returns (address)

inventorySnapshot

view

function inventorySnapshot(address marketId) view returns (uint256[] totals)

owner

view

function owner() view returns (address)

predictInventoryAddress

view

function predictInventoryAddress(bytes32 salt) view returns (address predicted)

prices

view

function prices(address marketId) view returns (uint256[] probabilities)

proxiableUUID

view

function proxiableUUID() view returns (bytes32)

quoteBuy

view

function quoteBuy(address marketId, uint256 outcomeId, uint256 sharesToBuy) view returns (uint256 cost)

quoteSell

view

function quoteSell(address marketId, uint256 outcomeId, uint256 sharesToSell) view returns (uint256 payout)

UPGRADE_INTERFACE_VERSION

view

function UPGRADE_INTERFACE_VERSION() view returns (string)

buy

nonpayable

function buy(address marketId, uint256 outcomeId, uint256 sharesToBuy, uint256 maxCost) returns (uint256 usdcCost)

buyWithPermitSignature

nonpayable

function buyWithPermitSignature(address marketId, uint256 outcomeId, uint256 sharesToBuy, uint256 maxCost, tuple sig) returns (uint256 usdcCost)

createMarket

nonpayable

function createMarket(bytes32 salt, address resolver, uint256 closeTime, string question, string initialRulesUri, bytes32 initialRulesHash, string[] outcomeNames, string[] outcomeImageUris, uint256 liquidityParameterWad, uint256 virtualSeedPerOutcome) returns (address marketId)

initialize

nonpayable

function initialize(address owner_, address inventoryImplementation_, address customUSDC)

redeem

nonpayable

function redeem(address marketId, uint256 outcomeId, uint256 shares)

renounceOwnership

nonpayable

function renounceOwnership()

resolve

nonpayable

function resolve(address marketId, uint256 winningOutcomeId)

returnCollateralDueToOverdueResolution

nonpayable

function returnCollateralDueToOverdueResolution(address marketId, address user)

sell

nonpayable

function sell(address marketId, uint256 outcomeId, uint256 sharesToSell, uint256 minPayout) returns (uint256 usdcPayout)

transferOwnership

nonpayable

function transferOwnership(address newOwner)

updateCustomUSDC

nonpayable

function updateCustomUSDC(address newAddress)

updateInventoryImplementation

nonpayable

function updateInventoryImplementation(address newImplementation)

upgradeToAndCall

payable

function upgradeToAndCall(address newImplementation, bytes data) payable

events

Initialized

event Initialized(uint64 version)

MarketCreated

event MarketCreated(address indexed marketId, address indexed resolver, uint256 closeTime, uint256 liquidityParameterWad, uint256 outcomesCount)

OutcomeTraded

event OutcomeTraded(address indexed marketId, address indexed user, uint256 indexed outcomeId, bool isBuy, uint256 shares, uint256 usdcAmount, uint256 price, uint256 outcomeInventory)

OwnershipTransferred

event OwnershipTransferred(address indexed previousOwner, address indexed newOwner)

Redeemed

event Redeemed(address indexed marketId, address indexed user, uint256 indexed outcomeId, uint256 shares, uint256 payout)

Resolved

event Resolved(address indexed marketId, uint256 winningOutcomeId)

Upgraded

event Upgraded(address indexed implementation)

errors

AddressEmptyCode

error AddressEmptyCode(address target)

ERC1967InvalidImplementation

error ERC1967InvalidImplementation(address implementation)

ERC1967NonPayable

error ERC1967NonPayable()

FailedCall

error FailedCall()

FailedDeployment

error FailedDeployment()

InsufficientBalance

error InsufficientBalance(uint256 balance, uint256 needed)

InvalidInitialization

error InvalidInitialization()

NotInitializing

error NotInitializing()

OwnableInvalidOwner

error OwnableInvalidOwner(address owner)

OwnableUnauthorizedAccount

error OwnableUnauthorizedAccount(address account)

UUPSUnauthorizedCallContext

error UUPSUnauthorizedCallContext()

UUPSUnsupportedProxiableUUID

error UUPSUnsupportedProxiableUUID(bytes32 slot)

bytecode

creation bytecode

0x60a080604052346029573060805261327c908161002f8239608051818181611896015261193b0152f35b600080fdfe6080604052600436101561001257600080fd5b6000803560e01c80631622dbe414611eae5780631d97286d14611e275780632489f86714611d455780632b83cccd14611b5f5780633720dc7f14611b135780634f1ef286146118eb57806352d1902d146118835780636fe080bc14611800578063715018a6146117965780638046f9de146115fb5780638c83df7d146115d25780638da5cb5b1461159c57806392cdbac51461123857806398d0f5ed14610c92578063abadc6f514610ae3578063ad3cb1cc14610a9a578063b057987c14610a5a578063c0c53b8b146108b5578063c719e57f146107dd578063cfed246b146107a0578063d4dfadbf1461041b578063e257598e1461032e578063f2fde38b146103015763f70383431461012557600080fd5b346102fe5761013336611f8e565b9161014081949294612722565b604051633a98ef3960e01b8152946001600160a01b039092169390918386600481885afa9586156102c85784966102d3575b506020816101846101d0938951612a8f565b96610190851515612217565b6101a68561019e8a8c61224c565b511015612276565b604051627eeac760e11b815233600482015260248101929092529092839190829081906044820190565b03915afa9081156102c857908291859161028e575b501061025f5761024e64e8d4a510009483600261021461020f60209a600361025499015490612b41565b612b82565b9101549161024861024161023161022b8686612be3565b97612bc5565b61023b848661224c565b516122ae565b918361224c565b52612be3565b906122ae565b905004604051908152f35b60405162461bcd60e51b815260206004820152600760248201526662616c616e636560c81b6044820152606490fd5b9150506020813d6020116102c0575b816102aa60209383611fb8565b810103126102bb57819051386101e5565b600080fd5b3d915061029d565b6040513d86823e3d90fd5b6101d09196506102f66020913d8088833e6102ee8183611fb8565b8101906121ef565b969150610172565b80fd5b50346102fe5760203660031901126102fe5761032b61031e611f00565b610326612aec565b6126ac565b80f35b50346102fe57600461033f36611f8e565b9291908461034c83612722565b604051633a98ef3960e01b815294909385919082906001600160a01b03165afa9283156104105785936102549364e8d4a5100096936103e093602099936103e5575b506103b961020f6103a26002938651612a8f565b946103ae881515612217565b600385015490612b41565b910154916102486102416103d061022b8686612be3565b6103da848661224c565b51612401565b6122ae565b600291935061020f6103a26104066103b9933d808d833e6102ee8183611fb8565b959350505061038e565b6040513d87823e3d90fd5b50346102fe5760203660031901126102fe57610435611f00565b9061043f82612722565b91825460028401549260018501549461045781612b22565b9160048201936040518095839080549061047082612499565b8085529160018116908115610779575060011461073c575b505060049493929161049b910387611fb8565b60058301546040516373d8a08560e01b815290979094839186919082906001600160a01b03165afa938415610731578294610627575b50606084019081519560208601519460408701519651948851918c6104f5846124d3565b96846105cc575b50505050506040519a8b9a600160a01b6001900384168c528360a01c65ffffffffffff1660208d015260408c015260608b01528160d01c60ff16151560808b0152151560a08a015260d81c61ffff1660c089015260e088016101c090526101c0880161056791611f5a565b878103610100890152610579916120c1565b86810361012088015261058b916120e6565b85810361014087015261059d916120e6565b8481036101608601526105af91611f5a565b8381036101808501526105c1916120c1565b906101a08301520390f35b6105e59260036105e0925191015490612b41565b612ef6565b9050825b8481106105f8578e91506104fc565b8064e8d4a510006106158561060f6001958761224c565b51612fa4565b04610620828b61224c565b52016105e9565b9093503d8083833e6106398183611fb8565b810190602081830312610729578051906001600160401b03821161072d5701906080828203126107295760405191608083018381106001600160401b038211176107155760405280516001600160401b038111610711578261069c9183016125ec565b835260208101516001600160401b03811161071157826106bd91830161262e565b602084015260408101516001600160401b03811161071157826106e191830161262e565b60408401526060810151906001600160401b03821161071157610705929101612192565b606082015292386104d1565b8480fd5b634e487b7160e01b85526041600452602485fd5b8280fd5b8380fd5b6040513d84823e3d90fd5b8552602085208592505b81831061075d57505081016020018161049b610488565b6020919350806001915483858c01015201910190918792610746565b60ff191660208681019190915292151560051b8501909201925083915061049b9050610488565b50346102fe5760203660031901126102fe576107d96107c56107c0611f00565b612505565b604051918291602083526020830190611f5a565b0390f35b50346102fe5760403660031901126102fe576107f7611f00565b6107ff611f16565b9061080981612722565b50604051636392a51f60e01b81526001600160a01b0383811660048301529093911691908084602481865afa9283156108a85761087d948294610887575b509060409181526001602052209060018060a01b0316600052602052604060002054604051928392604084526040840190611f5a565b9060208301520390f35b6040929194506108a0903d8084833e6102ee8183611fb8565b939091610847565b50604051903d90823e3d90fd5b50346102fe5760603660031901126102fe576108cf611f00565b6108d7611f16565b6044356001600160a01b038116919082900361072d57600080516020613227833981519152549260ff8460401c1615936001600160401b03811680159081610a52575b6001149081610a48575b159081610a3f575b50610a305767ffffffffffffffff1981166001176000805160206132278339815191525561096c919085610a03575b50610964612fe3565b610326612fe3565b610974612fe3565b60018060a01b03166001600160601b0360a01b60025416176002556001600160601b0360a01b60035416176003556109a95780f35b68ff0000000000000000196000805160206132278339815191525416600080516020613227833981519152557fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2602060405160018152a180f35b68ffffffffffffffffff19166801000000000000000117600080516020613227833981519152553861095b565b63f92ee8a960e01b8652600486fd5b9050153861092c565b303b159150610924565b86915061091a565b50346102fe5760203660031901126102fe57610a74611f00565b610a7c612aec565b60018060a01b03166001600160601b0360a01b600354161760035580f35b50346102fe57806003193601126102fe57506107d9604051610abd604082611fb8565b60058152640352e302e360dc1b60208201526040519182916020835260208301906120c1565b50346102fe5760403660031901126102fe57610afd611f00565b6001600160a01b03818116808452602084905260408420549092602435929091163303610c5e57610b2d90612722565b90815491610b4160ff8460d01c1615612361565b610b4a81612b22565b610c2f57604051633ef5cbbb60e11b8152602081600481885afa908115610c24578691610bcc575b50907f2e52bea68b967d05289fe0d069a066198bcd450dbac0bd00f371539cd308a6f093610ba38460209594612a8f565b5062ffffff60d01b191660d883901b61ffff60d81b1617600160d01b179055604051908152a280f35b929190506020833d602011610c1c575b81610be960209383611fb8565b810103126102bb5791519091907f2e52bea68b967d05289fe0d069a066198bcd450dbac0bd00f371539cd308a6f0610b72565b3d9150610bdc565b6040513d88823e3d90fd5b60405162461bcd60e51b81526020600482015260076024820152666f76657264756560c81b6044820152606490fd5b60405162461bcd60e51b815260206004820152600c60248201526b3737ba103932b9b7b63b32b960a11b6044820152606490fd5b50346102fe576101403660031901126102fe57610cad611f16565b6044356064356001600160401b03811161072d57610ccf903690600401612041565b9190926084356001600160401b03811161123457610cf1903690600401612041565b93909160c4356001600160401b0381116110cf57610d1390369060040161206e565b93909260e4356001600160401b03811161123057610d3590369060040161206e565b6002546101043596610d516001600160a01b0383161515612324565b87156112055765ffffffffffff8a116111cc57600289106111a15760ff89116111715782890361113a578c92610d868a61240e565b94610d908b61240e565b945b8b8082106110e2575050505050608881901c62ffffff16763d602d80600a3d3981f3363d3d373d3d3d363d73000000178c5260781b6effffffffffffffffffffffffffffff19166e5af43d82803e903d91602b57fd5bf3176020526001600160a01b03600435603760098ef516998a156110d357908b9392918b3b1561071157610e7f8492610e6d879560a4604051988997889763348db8ff60e01b89523060048a0152608060248a01528160848a0152838901378681018201899052601f01601f19168601868103820160031901604488015201906120e6565b838103600319016064850152906120e6565b0381838d5af18015610731576110ba575b5087905260208890526040882080549092906001600160a01b031661108c5782546001600160e81b0319166001600160a01b039190911690811760a087901b65ffffffffffff60a01b1617835560018301899055600283018490556101243560038401559560048301916001600160401b03821161107857610f128354612499565b601f8111611033575b506020998997969594939291816001601f851114610fa657927f885ac52409fdec981ef22524ba5559de27e2c8232ab76d00af025b2bd4c78c51989694928192606099979592610f9b575b50508160011b916000199060031b1c19161790555b600560a435910155604051928352888301526040820152a3604051908152f35b013590503880610f66565b91601f1984168584528d8420935b818110611019575092600192859260609a98967f885ac52409fdec981ef22524ba5559de27e2c8232ab76d00af025b2bd4c78c519c9a989610610fff575b505050811b019055610f7b565b0135600019600384901b60f8161c19169055388080610ff2565b8284013585558d9b50600190940193918e01918e01610fb4565b838b5260208b20601f840160051c8101916020851061106e575b601f0160051c01905b8181106110635750610f1b565b8b8155600101611056565b909150819061104d565b634e487b7160e01b8a52604160045260248afd5b60405162461bcd60e51b815260206004820152600660248201526565786973747360d01b6044820152606490fd5b816110c491611fb8565b6110cf578738610e90565b8780fd5b63b06ebf3d60e01b8c5260048cfd5b906110fa6110f38260019488612458565b369161200a565b611104828a61224c565b5261110f818961224c565b5061111e6110f3828686612458565b611128828961224c565b52611133818861224c565b5001610d92565b60405162461bcd60e51b815260206004820152600f60248201526e0d2dac2cecae640dad2e6dac2e8c6d608b1b6044820152606490fd5b60405162461bcd60e51b8152602060048201526008602482015267746f6f206d616e7960c01b6044820152606490fd5b606460405162461bcd60e51b8152602060048201526004602482015263271f1e9960e11b6044820152fd5b60405162461bcd60e51b8152602060048201526011602482015270636c6f736554696d6520746f6f2062696760781b6044820152606490fd5b60405162461bcd60e51b81526020600482015260036024820152620623e360ec1b6044820152606490fd5b8980fd5b8580fd5b50346102fe5761124736611f2c565b92939061126c61125686612722565b5460ff8160d01c16159081611587575b5061213f565b61127585612722565b604051633a98ef3960e01b815290956001600160a01b031691908381600481865afa9081156102c857849161156d575b50848151906112b391612a8f565b6112be831515612217565b826112c9828461224c565b5110156112d590612276565b6003880180546112e59084612b41565b926112ef84612b82565b9960028101549a6113008c82612be3565b908c61130b89612bc5565b611315888461224c565b5190611320916122ae565b61132a888461224c565b5261133491612be3565b61133d916122ae565b64e8d4a510009004998a1015611352906123ca565b863b156110cf57604051630e42bd0160e11b8152336004820152602481018a9052604481018790528881606481838c5af180156115625790899161154d575b50506001016113a88a82546103e082821015612398565b9055858752600160209081526040808920336000908152925290205489818110611525575050858752600160209081526040808920336000908152925290208790555b86602061142e6001600160a01b03611401612a3d565b60405163a9059cbb60e01b8152336004820152602481018f90529485939190921691839182906044820190565b03925af190811561151a579361060f61149060209d61147f8a6103e086998f8864e8d4a510009b6114716114a19f9c61149a9d61147695916114eb575b506122e9565b61224c565b51905490612401565b611489858b61224c565b5288612ef6565b905092909261224c565b049261224c565b519160405194855287850152856040850152606084015260808301527f90b32b36628925c9b0d03c5eacbb9b597d20be28ce69af31c69b0f799c1864ac60a03393a4604051908152f35b602061150d92503d602011611513575b6115058183611fb8565b8101906122d1565b3861146b565b503d6114fb565b6040513d8a823e3d90fd5b61152e916122ae565b868852600160209081526040808a2033600090815292529020556113eb565b8161155791611fb8565b6110cf578738611391565b6040513d8b823e3d90fd5b61158191503d8086833e6102ee8183611fb8565b386112a5565b65ffffffffffff915060a01c16421038611266565b50346102fe57806003193601126102fe576000805160206131e7833981519152546040516001600160a01b039091168152602090f35b50346102fe57806003193601126102fe576002546040516001600160a01b039091168152602090f35b50346102fe5760403660031901126102fe57611615611f00565b61161d611f16565b9061162781612722565b9061163960ff835460d01c1615612361565b61164282612b22565b156117635760018060a01b03169182845260016020526040842060018060a01b03821660005260205260406000205490811561172a5760016020936116f795875281855260408720828060a01b038416600052855286604060002055016116b18382546103e082821015612398565b90556001600160a01b036116c3612a3d565b16908560405180968195829463a9059cbb60e01b84526004840160209093929193604081019460018060a01b031681520152565b03925af180156107315761032b91839161171157506122e9565b61150d915060203d602011611513576115058183611fb8565b60405162461bcd60e51b81526020600482015260116024820152703737ba3434b733903a37903932ba3ab93760791b6044820152606490fd5b60405162461bcd60e51b815260206004820152600b60248201526a6e6f74206f76657264756560a81b6044820152606490fd5b50346102fe57806003193601126102fe576117af612aec565b6000805160206131e783398151915280546001600160a01b0319811690915581906001600160a01b03167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e08280a380f35b50346102fe5760203660031901126102fe57600254604080513060388201526f5af43d82803e903d91602b57fd5bf3ff60248201526001600160a01b039283166014820152733d602d80600a3d3981f3363d3d373d3d3d363d73815260043560588201526037600c82012060788201526055604390910120905191168152602090f35b50346102fe57806003193601126102fe577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031630036118dc5760206040516000805160206132078339815191528152f35b63703e46dd60e11b8152600490fd5b5060403660031901126102fe57611900611f00565b906024356001600160401b038111611b0f5736602382011215611b0f5761193190369060248160040135910161200a565b6001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016308114908115611aec575b50611add57611973612aec565b6040516352d1902d60e01b8152926001600160a01b0381169190602085600481865afa80958596611aa9575b506119b857634c9c8ce360e01b84526004839052602484fd5b9091846000805160206132078339815191528103611a975750813b15611a855760008051602061320783398151915280546001600160a01b031916821790557fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b8480a28151839015611a6b5780836020611a5f95519101845af43d15611a63573d91611a4383611fef565b92611a516040519485611fb8565b83523d85602085013e613185565b5080f35b606091613185565b50505034611a765780f35b63b398979f60e01b8152600490fd5b634c9c8ce360e01b8452600452602483fd5b632a87526960e21b8552600452602484fd5b9095506020813d602011611ad5575b81611ac560209383611fb8565b810103126107115751943861199f565b3d9150611ab8565b63703e46dd60e11b8252600482fd5b600080516020613207833981519152546001600160a01b03161415905038611966565b5080fd5b50346102fe5760203660031901126102fe57611b2d611f00565b611b35612aec565b6001600160a01b0316611b49811515612324565b6001600160601b0360a01b600254161760025580f35b50346102fe57611b6e36611f8e565b9091611b7981612722565b9060ff825460d01c1615611d1157604051633a98ef3960e01b81526001600160a01b039190911691908581600481865afa8015610c245761019e8591611bd8938991611cf7575b50611bcc888251612a8f565b90611471841515612217565b813b1561071157604051630e42bd0160e11b815233600482015260248101859052604481018490528590818160648183885af1801561073157611ce2575b5050805460d81c61ffff168403611cdc57825b6001819201908154809111611cd4575b82611c43916122ae565b905580611c7f575b60405192835260208301527f764aeeb2d1ec3f2945d6486e2f7e3fae9ac5fe11aa56b7a9d90c92212e33050c60403393a480f35b6001600160a01b03611c8f612a3d565b60405163a9059cbb60e01b81523360048201526024810184905291602091839160449183918b91165af18015610c2457611ccf91879161171157506122e9565b611c4b565b915081611c39565b84611c29565b81611cec91611fb8565b610711578438611c16565b611d0b91503d808b833e6102ee8183611fb8565b38611bc0565b60405162461bcd60e51b815260206004820152600c60248201526b1b9bdd081c995cdbdb1d995960a21b6044820152606490fd5b50346102fe576101003660031901126102fe57611d60611f00565b606435608036608319011261072957611d7b61125683612722565b826001600160a01b03611d8c612a3d565b166084359060ff821680920361072957803b156107295760e48392604051948593849263d505accf60e01b845233600485015230602485015288604485015284356064850152608484015260a43560a484015260c43560c48401525af180156102c85793611e0f939291602095611e17575b505033916044359060243590612776565b604051908152f35b81611e2191611fb8565b38611dfe565b50346102fe5760203660031901126102fe57600481611e44611f00565b611e4d81612722565b50604051633a98ef3960e01b815292839182906001600160a01b03165afa90811561073157826107d99392611e93575b5050604051918291602083526020830190611f5a565b611ea792503d8091833e6102ee8183611fb8565b3880611e7d565b50346102fe576020611e0f611ec236611f2c565b91611ee4611ecf85612722565b5460ff8160d01c16159081611eeb575061213f565b3393612776565b65ffffffffffff915060a01c16421088611266565b600435906001600160a01b03821682036102bb57565b602435906001600160a01b03821682036102bb57565b60809060031901126102bb576004356001600160a01b03811681036102bb5790602435906044359060643590565b906020808351928381520192019060005b818110611f785750505090565b8251845260209384019390920191600101611f6b565b60609060031901126102bb576004356001600160a01b03811681036102bb57906024359060443590565b90601f801991011681019081106001600160401b03821117611fd957604052565b634e487b7160e01b600052604160045260246000fd5b6001600160401b038111611fd957601f01601f191660200190565b92919261201682611fef565b916120246040519384611fb8565b8294818452818301116102bb578281602093846000960137010152565b9181601f840112156102bb578235916001600160401b0383116102bb57602083818601950101116102bb57565b9181601f840112156102bb578235916001600160401b0383116102bb576020808501948460051b0101116102bb57565b60005b8381106120b15750506000910152565b81810151838201526020016120a1565b906020916120da8151809281855285808601910161209e565b601f01601f1916010190565b9080602083519182815201916020808360051b8301019401926000915b83831061211257505050505090565b9091929394602080612130600193601f1986820301875289516120c1565b97019301930191939290612103565b1561214657565b60405162461bcd60e51b815260206004820152600d60248201526c1b585c9ad95d0818db1bdcd959609a1b6044820152606490fd5b6001600160401b038111611fd95760051b60200190565b9080601f830112156102bb5781516121a98161217b565b926121b76040519485611fb8565b81845260208085019260051b8201019283116102bb57602001905b8282106121df5750505090565b81518152602091820191016121d2565b906020828203126102bb5781516001600160401b0381116102bb576122149201612192565b90565b1561221e57565b60405162461bcd60e51b815260206004820152600660248201526573686172657360d01b6044820152606490fd5b80518210156122605760209160051b010190565b634e487b7160e01b600052603260045260246000fd5b1561227d57565b60405162461bcd60e51b8152602060048201526009602482015268696e76656e746f727960b81b6044820152606490fd5b919082039182116122bb57565b634e487b7160e01b600052601160045260246000fd5b908160209103126102bb575180151581036102bb5790565b156122f057565b60405162461bcd60e51b815260206004820152600c60248201526b1d1c985b9cd9995c881bdd5d60a21b6044820152606490fd5b1561232b57565b60405162461bcd60e51b815260206004820152600e60248201526d1a5b9d995b9d1bdc9e481a5b5c1b60921b6044820152606490fd5b1561236857565b60405162461bcd60e51b81526020600482015260086024820152671c995cdbdb1d995960c21b6044820152606490fd5b1561239f57565b606460405162461bcd60e51b815260206004820152600460248201526362616e6b60e01b6044820152fd5b156123d157565b60405162461bcd60e51b8152602060048201526008602482015267736c69707061676560c01b6044820152606490fd5b919082018092116122bb57565b906124188261217b565b6124256040519182611fb8565b8281528092612436601f199161217b565b019060005b82811061244757505050565b80606060208093850101520161243b565b91908110156122605760051b81013590601e19813603018212156102bb5701908135916001600160401b0383116102bb5760200182360381136102bb579190565b90600182811c921680156124c9575b60208310146124b357565b634e487b7160e01b600052602260045260246000fd5b91607f16916124a8565b906124dd8261217b565b6124ea6040519182611fb8565b82815280926124fb601f199161217b565b0190602036910137565b906004600061251384612722565b604051633a98ef3960e01b815290949092839182906001600160a01b03165afa80156125e057612551916000916125c5575b50600384015490612b41565b80519283156125a7576002015461256791612ef6565b93919050612574826124d3565b9360005b8381106125855750505050565b806125968461060f6001948661224c565b6125a0828961224c565b5201612578565b505090506040516125b9602082611fb8565b60008152600036813790565b6125da91503d806000833e6102ee8183611fb8565b38612545565b6040513d6000823e3d90fd5b81601f820112156102bb57805161260281611fef565b926126106040519485611fb8565b818452602082840101116102bb57612214916020808501910161209e565b9080601f830112156102bb5781516126458161217b565b926126536040519485611fb8565b81845260208085019260051b820101918383116102bb5760208201905b83821061267f57505050505090565b81516001600160401b0381116102bb576020916126a1878480948801016125ec565b815201910190612670565b6001600160a01b0316801561270c576000805160206131e783398151915280546001600160a01b0319811683179091556001600160a01b03167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0600080a3565b631e4fbdf760e01b600052600060045260246000fd5b6001600160a01b0390811660009081526020819052604090208054909291161561274857565b60405162461bcd60e51b81526020600482015260066024820152651b585c9ad95d60d21b6044820152606490fd5b939291909261278485612722565b604051633a98ef3960e01b815290956001600160a01b0316926000929091908382600481885afa9182156102c8578492612a21575b50868251906127c791612a8f565b906127d3841515612217565b6003890180546127e39085612b41565b936127ed85612b82565b9260028c0154936127fe8582612be3565b90856128098a612bc5565b612813898461224c565b519061281e91612401565b612828898461224c565b5261283291612be3565b9061283c916122ae565b64e8d4a5100090049b8c9a8b1115612853906123ca565b6001600160a01b03612863612a3d565b6040516323b872dd60e01b81526001600160a01b03851660048201819052306024830152604482019e909e52918b91839116815a93606492602095f1908115612a16578a916129f7575b50156129c4576001016128c18d8254612401565b90558888526001602052604088208a8952602052604088206128e48d8254612401565b9055883b156110cf5760405163f74e5e0b60e01b81526001600160a01b03919091166004820152602481018b9052604481018790528781606481838d5af1801561151a576129a5575b509264e8d4a5100061149a8261060f6114907f90b32b36628925c9b0d03c5eacbb9b597d20be28ce69af31c69b0f799c1864ac9b999761147f8c61297c6129819a60a09f9d886114769161224c565b612401565b5191604051935060018452602084015288604084015260608301526080820152a490565b938095939791826129b883948a98611fb8565b9894965091945061292d565b60405162461bcd60e51b815260206004820152600b60248201526a3a3930b739b332b91034b760a91b6044820152606490fd5b612a10915060203d602011611513576115058183611fb8565b386128ad565b6040513d8c823e3d90fd5b612a369192503d8086833e6102ee8183611fb8565b90386127b9565b4662014a3403612a5f5773036cbd53842c5426634e7929541ec2318f3dcf7e90565b6121054614612a77576003546001600160a01b031690565b73833589fcd6edb6e08f4c7c32d4f71b54bda0291390565b60018210159081612ae1575b5015612ab05760001981019081116122bb5790565b60405162461bcd60e51b81526020600482015260096024820152681bdd5d18dbdb59525960ba1b6044820152606490fd5b905081111538612a9b565b6000805160206131e7833981519152546001600160a01b03163303612b0d57565b63118cdaa760e01b6000523360045260246000fd5b65ffffffffffff905460a01c166212750081018091116122bb57421190565b9190825190612b4f826124d3565b9360005b838110612b605750505050565b80612b71846103da6001948661224c565b612b7b828961224c565b5201612b53565b908151612b8e816124d3565b9260005b828110612b9e57505050565b80612bb4612bae6001938561224c565b51612ebf565b612bbe828861224c565b5201612b92565b9064e8d4a5100082029180830464e8d4a5100014901517156122bb57565b9060008251600160ff1b9360005b828110612e975750906000915b818310612e6057505050806fffffffffffffffffffffffffffffffff1060071b81811c6001600160401b031060061b1781811c63ffffffff1060051b1781811c61ffff1060041b1781811c60ff1060031b176000821315612e52577ff8f9f9faf9fdfafbf9fdfcfdfafbfcfef9fafdfafcfcfbfefafafcfbffffffff6f8421084210842108cc6318c6db6d54be83831c1c601f161a1890811b609f1c806c465772b2bbbb5f824b15207a3001810260601d6d0388eaa27412d5aca026815d636e01810260601d6d0df99ac502031bf953eff472fdcc01810260601d6d13cdffb29d51d99322bdff5f221101810260601d6d0a0f742023def783a307a986912e01810260601d6d01920d8043ca89b5239253284e4201810260601d6c0b7a86d7375468fac667a0a5270190780a09507084cc699bb0e71ea869ffffffffffffffffffffffff19906cb9a025d814b29c212b8b1a07cd19816d02384773bdf1ac5676facced609019816c8c3f38e95a6b1ff2ab1c3b343619818080806c29508e458543d8aa4df2abee78010260601d6d0139601a2efabe717e604cbb4894010260601d6d02247f7a7b6594320649aa03aba1010260601d010260601d010260601d01020105711340daa0d5f769dba1915cef59f0815a55060290609f037d0267a36c0c95b3975ab3ee5b203a7614a3f75373f047d803ae7b6687f2b302017d57115e47018c7177eebf7cd370a3356a1b7863008a5ae8028c72b88642840160ae1d600083820193841291129080158216911516176122bb578181029181830414901517156122bb57670de0b6b3a7640000900490565b631615e6386000526004601cfd5b909192612e8e600191612e88612e8389612e7e8a61060f8b8a61224c565b612edd565b613011565b90612401565b93019190612bfe565b612ea58561060f838561224c565b868113612eb6575b50600101612bf1565b95506001612ead565b64e8d4a5100081029080820464e8d4a5100014901517156122bb5790565b818103929160001380158285131691841216176122bb57565b600092815191612f05836124d3565b92600160ff1b60005b828110612f70575080956000935b838510612f2a575050505050565b9091929397612f65600191612f53612e8387612e7e888f612bae612f4e918b61224c565b612fa4565b9081612f5f8d8c61224c565b52612401565b980193929190612f1c565b612f8587612f4e612bae84889b96979861224c565b838113612f9b575b506001019592919095612f0e565b92506001612f8d565b7812725dd1d243aba0e75fe645cc4873f9e65afe688c928e1f228110820215612fd557670de0b6b3a7640000020490565b637c5f487d6000526004601cfd5b60ff6000805160206132278339815191525460401c161561300057565b631afcd79f60e31b60005260046000fd5b68023f2fa8f6da5b9d281981131561317f57680755bf798b4a1bf1e5811215613171576503782dace9d990604e1b0574029d9dc38563c32e5c2f6dc192ee70ef65f9978af36001605f1b6bb17217f7d1cf79abc9e3b3988360601b050160601d916bb17217f7d1cf79abc9e3b39883029003806c10fe68e7fd37d0007b713f765081010260601d6e05180bb14799ab47a8a8cb2a527d57826e02c72388d9f74f51a9331fed693f1419816db1bbb201f443cf962f1a1d3db4a5816d1a521255e34f6a5061b25ef1c9c319816d0277594991cfc85f6e2461837cd9816c240c330e9fb2d9cbaf0fd5aafb1981010260601d010260601d010260601d010260601d010260601d01916e0587f503bb6ea29d25fcb7401964506d360d7aeea093263ecc6e0ecb291760621b926d02d16720577bd19bf614176fe9ea810190836d01d3967ed30fc4f89c02bab57081199101010260601d01020105029060c3031c90565b63a37bfec96000526004601cfd5b50600090565b906131ab575080511561319a57805190602001fd5b63d6bda27560e01b60005260046000fd5b815115806131dd575b6131bc575090565b639996b31560e01b60009081526001600160a01b0391909116600452602490fd5b50803b156131b456fe9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c199300360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbcf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00a2646970667358221220cbdb255841709edc91b7d19b58fd0c2b058683b6b7886a38ba4a2a1c520e479064736f6c634300081b0033