TruthMarket | Base

codeslaw

TruthMarketSolidityv0.8.25+commit.b61c2a91

network

Base

address0xb7b53c6b219a29afd8f2ebbed1ea2b8867eef3d1

deployer0xa9d19Dd30540fB39C8e058E81DaA21FfCcfB4a57

tx last 12 months

0 txs

calls last 12 months

0 calls

29 Files

lib

openzeppelin-contracts

contracts

access

Ownable.sol

token

ERC20

ERC20.sol

IERC20.sol

extensions

ERC20Burnable.sol

IERC20Metadata.sol

IERC20Permit.sol

utils

SafeERC20.sol

utils

Address.sol

Context.sol

openzeppelin-contracts-upgradeable

contracts

access

OwnableUpgradeable.sol

proxy

utils

Initializable.sol

security

ReentrancyGuardUpgradeable.sol

utils

AddressUpgradeable.sol

ContextUpgradeable.sol

v3-core

contracts

interfaces

IUniswapV3Factory.sol

src

BondConstants.sol

EscalationEnums.sol

EscalationStructs.sol

MarketEnums.sol

OraclePausable.sol

TruthMarket.sol

YesNoToken.sol

interfaces

IBlacklistable.sol

IEscalation.sol

IOracleBonds.sol

IOracleCouncil.sol

ITruthMarket.sol

ITruthMarketManager.sol

libraries

Roles.sol

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

abi

constructor

No constructor.

functions

additionalInfo

view

function additionalInfo() view returns (string)

bondSettled

view

function bondSettled() view returns (bool)

councilDecisionAt

view

function councilDecisionAt() view returns (uint256)

createdAt

view

function createdAt() view returns (uint256)

currentStatus

view

function currentStatus() view returns (uint8)

disputedAt

view

function disputedAt() view returns (uint256)

disputerBondAmount

view

function disputerBondAmount() view returns (uint256)

endOfTrading

view

function endOfTrading() view returns (uint256)

escalatedDisputeAt

view

function escalatedDisputeAt() view returns (uint256)

escalation

view

function escalation() view returns (address)

escalatorBondAmount

view

function escalatorBondAmount() view returns (uint256)

finalizedAt

view

function finalizedAt() view returns (uint256)

firstChallengePeriod

view

function firstChallengePeriod() view returns (uint256)

getAllAmounts

view

function getAllAmounts() view returns (uint256, uint256, uint256)

getCurrentStatus

view

function getCurrentStatus() view returns (uint8)

getPoolAddresses

view

function getPoolAddresses() view returns (address, address)

getUserClaimableAmount

view

function getUserClaimableAmount(address _account) view returns (uint256)

getUserPosition

view

function getUserPosition(address user) view returns (uint256 yesAmount, uint256 noAmount)

lastPauseTime

view

function lastPauseTime() view returns (uint256)

marketManager

view

function marketManager() view returns (address)

marketQuestion

view

function marketQuestion() view returns (string)

marketSource

view

function marketSource() view returns (string)

noPool

view

function noPool() view returns (address)

noToken

view

function noToken() view returns (address)

oracleBonds

view

function oracleBonds() view returns (address)

oracleCouncil

view

function oracleCouncil() view returns (address)

owner

view

function owner() view returns (address)

paused

view

function paused() view returns (bool)

paymentToken

view

function paymentToken() view returns (address)

POOL_FEE

view

function POOL_FEE() view returns (uint24)

positionCount

pure

function positionCount() pure returns (uint256)

resolutionProposedAt

view

function resolutionProposedAt() view returns (uint256)

resolverBondAmount

view

function resolverBondAmount() view returns (uint256)

rewardAmount

view

function rewardAmount() view returns (uint256)

rewardToken

view

function rewardToken() view returns (address)

secondChallengePeriod

view

function secondChallengePeriod() view returns (uint256)

statusHistory

view

function statusHistory(uint256) view returns (uint8 status, uint256 timestamp, uint256 outcome)

VERSION

view

function VERSION() view returns (string)

winningPosition

view

function winningPosition() view returns (uint256)

yesNoTokenCap

view

function yesNoTokenCap() view returns (uint256)

yesPool

view

function yesPool() view returns (address)

yesToken

view

function yesToken() view returns (address)

burn

nonpayable

function burn(uint256 amount)

initialize

nonpayable

function initialize(string _marketQuestion, string _marketSource, string _additionalInfo, uint256 _endOfTrading, uint256 _yesNoTokenCap, address _paymentToken, address _yesToken, address _noToken, address _rewardToken, uint256 _rewardAmount)

mint

nonpayable

function mint(uint256 paymentTokenAmount)

proposeResolution

nonpayable

function proposeResolution(uint256 _outcome)

raiseDispute

nonpayable

function raiseDispute()

raiseEscalatedDispute

nonpayable

function raiseEscalatedDispute()

redeem

nonpayable

function redeem(uint256 amount)

renounceOwnership

nonpayable

function renounceOwnership()

resetMarketByCouncil

nonpayable

function resetMarketByCouncil(bool _returnToOpenForResolution)

resetMarketByEscalation

nonpayable

function resetMarketByEscalation()

resolveMarketByCouncil

nonpayable

function resolveMarketByCouncil(uint256 _outcome)

resolveMarketByEscalation

nonpayable

function resolveMarketByEscalation(uint256 _outcome)

setEndOfTrading

nonpayable

function setEndOfTrading(uint256 _endOfTrading)

setFirstChallengePeriod

nonpayable

function setFirstChallengePeriod(uint256 _firstChallengePeriod)

setPaused

nonpayable

function setPaused(bool _paused)

setSecondChallengePeriod

nonpayable

function setSecondChallengePeriod(uint256 _secondChallengePeriod)

settleBonds

nonpayable

function settleBonds()

setYesNoTokenCap

nonpayable

function setYesNoTokenCap(uint256 _yesNoTokenCap)

transferOwnership

nonpayable

function transferOwnership(address newOwner)

withdrawFromCanceledMarket

nonpayable

function withdrawFromCanceledMarket()

events

BondsSettled

event BondsSettled(address market, uint256 winningPosition)

EndOfTradingChanged

event EndOfTradingChanged(uint256 endOfTrading)

FirstChallengePeriodChanged

event FirstChallengePeriodChanged(uint256 firstChallengePeriod)

Initialized

event Initialized(uint8 version)

MarketStatusUpdated

event MarketStatusUpdated(uint8 from, uint8 to, uint256 outcome)

OwnershipTransferred

event OwnershipTransferred(address indexed previousOwner, address indexed newOwner)

PauseChanged

event PauseChanged(bool isPaused)

RewardReceiverBlacklisted

event RewardReceiverBlacklisted(address indexed token, address indexed account)

RewardTransferred

event RewardTransferred(address indexed token, address indexed receiverAccount, uint256 amount)

SecondChallengePeriodChanged

event SecondChallengePeriodChanged(uint256 secondChallengePeriod)

TokensBurned

event TokensBurned(address indexed user, uint256 amount)

TokensMinted

event TokensMinted(address indexed user, uint256 amount)

TokensRedeemed

event TokensRedeemed(address indexed user, uint256 amount)

WithdrawnFromCanceledMarket

event WithdrawnFromCanceledMarket(address indexed user, uint256 yesAmount, uint256 noAmount, uint256 paymentAmount)

YesNoTokenCapChanged

event YesNoTokenCapChanged(uint256 yesNoTokenCap)

errors

BondsAlreadySettled

error BondsAlreadySettled()

InvalidAddress

error InvalidAddress()

InvalidBondAmount

error InvalidBondAmount()

InvalidChallengePeriod

error InvalidChallengePeriod()

InvalidOutcome

error InvalidOutcome(uint256 outcome)

InvalidStatusTransition

error InvalidStatusTransition(uint8 from, uint8 to)

MarketFinalized

error MarketFinalized()

MarketNotCanceled

error MarketNotCanceled()

MarketNotDisputed

error MarketNotDisputed()

MarketNotFinalized

error MarketNotFinalized()

MarketNotInTradingPhase

error MarketNotInTradingPhase()

NoTokensToWithdraw

error NoTokensToWithdraw()

TokenCapExceeded

error TokenCapExceeded()

bytecode

creation bytecode

0x60808060405234601557614eff908161001a8239f35b5f80fdfe60806040526004361015610011575f80fd5b5f803560e01c8062356697146131355780630347b07014613081578063066f69af14612fee57806309f6cc5f14612fd057806311a9f10a14612fa757806311e9b11d14612f8957806316c38b3c14612e7b5780631744783614612de85780631a1ada1014612dbf5780632486d67114612da15780633013ce2914612d785780633415a4cf14612a355780633436ddea146129e7578063365d57a4146129c95780634063c865146128ff57806341ed2c12146128d6578063427b4c0d146128b857806342966c68146127105780635b7c2dad146126145780635c975abb146125f15780636a878ec5146125d35780636daa2d44146125115780636f1d4ea4146124e8578063713fda2b14612406578063715018a6146123a95780637830ab301461238b578063807dbf0e14612368578063848cbc8a146122a65780638da5cb5b1461227d5780638dc83ddd146120125780638ffba89214611db7578063903c47aa14611d8e57806390db59fe14611cdd57806391b4ded914611cbf57806392a72a4914611bf4578063a0712d68146118d2578063a24b3f19146118b4578063a3b5afb11461188b578063a3dd261914611863578063a8f928dd14611845578063b7634db6146117f7578063b7c8318e146117cb578063b98ba545146117ad578063bc9bcb251461178f578063c7de6d2d14611741578063caf14b951461170f578063cf09e0d0146116f1578063d24126d9146116d3578063d6a05e67146116b5578063da89a6ff1461162b578063db006a7514611363578063dc5681f9146104c9578063dd1b9c4a146104ac578063e4b6db4c14610478578063e7702d051461045c578063ecd375cf14610433578063ef8a923514610408578063f0d9bb20146103df578063f2fde38b1461034e578063f7b2a7be14610330578063f7c618c1146103075763ffa1ad74146102c3575f80fd5b346103045780600319360112610304576103006040516102e2816132f0565b60058152640312e322e360dc1b60208201526040519182918261332c565b0390f35b80fd5b503461030457806003193601126103045760b6546040516001600160a01b039091168152602090f35b5034610304578060031936011261030457602060b354604051908152f35b503461030457602036600319011261030457610368613356565b610370613b98565b6001600160a01b0381161561038b57610388906147bb565b80f35b60405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608490fd5b503461030457806003193601126103045760af546040516001600160a01b039091168152602090f35b5034610304578060031936011261030457602060ff60b65460a01c166104316040518092613269565bf35b503461030457806003193601126103045760aa546040516001600160a01b039091168152602090f35b5034610304578060031936011261030457602060405160038152f35b503461030457806003193601126103045760b45460b554604080516001600160a01b03938416815292909116602083015290f35b50346103045780600319360112610304576020604051610bb88152f35b503461030457610140366003190112610304576004356001600160401b03811161135f576104fb903690600401613387565b906024356001600160401b03811161135f5761051b903690600401613387565b916044356001600160401b03811161135b5761053b903690600401613387565b9260a4356001600160a01b0381169003610e035760c4356001600160a01b0381169003610e035760e4356001600160a01b0381169003610e035761010435906001600160a01b0382168203610e035783549260ff8460081c16159384809561134e575b8015611337575b156112db5760ff1981166001178655846112ca575b506105d460ff865460081c166105cf81614803565b614803565b6105dd336147bb565b6105f160ff865460081c166105cf81614803565b600160675560a754336001600160601b0360a01b82161760a75560405163481e23d560e11b8152602081600481338b8716175afa908115610db1578791611290575b5060018060a01b03168660a854826001600160601b0360a01b82161760a855161715611202576040516301f3c06360e21b8152602081600481858b1633175afa908115610db1578791611252575b5060018060a01b03168660a954826001600160601b0360a01b82161760a955161715611202576040516344d9e87160e01b815290602090829060049082908a1633175afa908115610e0f578691611214575b5060018060a01b03168560aa54826001600160601b0360a01b82161760aa551617156112025742609b558051906001600160401b0382116111ee57819061071b60ab5461328a565b601f811161117f575b50602090601f831160011461110b578792611100575b50508160011b915f199060031b1c19161760ab555b8051906001600160401b0382116110ec57819061076d60ac5461328a565b601f811161107d575b50602090601f8311600114611009578692610ffe575b50508160011b915f199060031b1c19161760ac555b83516001600160401b038111610fea576107bc60ad5461328a565b601f8111610f86575b506020601f8211600114610f155784958293949592610f0a575b50508160011b915f199060031b1c19161760ad555b606435609a5560843560a35560a75460405163a8f928dd60e01b81526001600160a01b0390911690602081600481855afa908115610ca9578591610ed8575b5060a481905560405163b98ba54560e01b815290602082600481865afa918215610e0f578692610ea4575b5060a58290556040516309f6cc5f60e01b815290602082600481875afa918215610db1578792610e70575b508160a65515918215610e67575b508115610e5e575b50610e4c57604051636a878ec560e01b8152602081600481855afa908115610ca9578591610e1a575b5060a181905560405163427b4c0d60e01b815290602082600481865afa918215610e0f578692610dd7575b508160a25515908115610dce575b50610dbc5760ae80546001600160a01b0360a43581166001600160a01b0319808416821790945560af805460c43584168187161790915560b0805460e435909416939095169290921790935560405163313ce56760e01b8082529194939092602091849160049183918c16175afa918215610db15760209260ff918991610d94575b501660b1556040519081529283906004908290891660c4356001600160a01b0316175afa908115610ca95760ff6020926004948891610d67575b501660b255604051632daa48c160e11b815292839182905afa908115610c59578491610d2d575b50604051630b4c774160e11b81526001600160a01b0360c4358116600483015260a435166024820152610bb86044820152602081806064810103816001600160a01b0386165afa908115610ca9578591610cf3575b506001600160a01b038116610cee575060405163a167129560e01b81526001600160a01b0360c4358116600483015260a435166024820152610bb8604482015260208180606481010381886001600160a01b0387165af1908115610ca9578591610cb4575b505b60b480546001600160a01b0319166001600160a01b03928316179055604051630b4c774160e11b815260e4358216600482015260a4359091166024820152610bb86044820152602081806064810103816001600160a01b0386165afa908115610ca9578591610c6b575b506001600160a01b038116610c64575060405163a167129560e01b81526001600160a01b0360e4358116600483015260a435166024820152610bb860448201529060209082908187816064810103926001600160a01b03165af1908115610c59578491610c1b575b505b60b580546001600160a01b0319166001600160a01b0392831617905560b8805460ff1916905560b680546101243560b3556001600160a81b03191692909116919091179055604051610bdd90610bc9816132d5565b838152426020820152836040820152613ac7565b610be45780f35b61ff001981541681557f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498602060405160018152a180f35b90506020813d602011610c51575b81610c366020938361330b565b81010312610c4d57610c47906133cd565b5f610b72565b8380fd5b3d9150610c29565b6040513d86823e3d90fd5b9050610b74565b90506020813d602011610ca1575b81610c866020938361330b565b81010312610c9d57610c97906133cd565b5f610b0a565b8480fd5b3d9150610c79565b6040513d87823e3d90fd5b90506020813d602011610ce6575b81610ccf6020938361330b565b81010312610c9d57610ce0906133cd565b5f610a9e565b3d9150610cc2565b610aa0565b90506020813d602011610d25575b81610d0e6020938361330b565b81010312610c9d57610d1f906133cd565b5f610a39565b3d9150610d01565b90506020813d602011610d5f575b81610d486020938361330b565b81010312610c4d57610d59906133cd565b5f6109e4565b3d9150610d3b565b610d879150843d8611610d8d575b610d7f818361330b565b810190613aae565b5f6109bd565b503d610d75565b610dab9150843d8611610d8d57610d7f818361330b565b5f610983565b6040513d89823e3d90fd5b60405163b4e1243360e01b8152600490fd5b9050155f610901565b9091506020813d602011610e07575b81610df36020938361330b565b81010312610e035751905f6108f3565b5f80fd5b3d9150610de6565b6040513d88823e3d90fd5b90506020813d602011610e44575b81610e356020938361330b565b81010312610e0357515f6108c8565b3d9150610e28565b60405163db66f3fb60e01b8152600490fd5b9050155f61089f565b1591505f610897565b9091506020813d602011610e9c575b81610e8c6020938361330b565b81010312610e035751905f610889565b3d9150610e7f565b9091506020813d602011610ed0575b81610ec06020938361330b565b81010312610e035751905f61085e565b3d9150610eb3565b90506020813d602011610f02575b81610ef36020938361330b565b81010312610e0357515f610833565b3d9150610ee6565b015190505f806107df565b60ad85525f80516020614e4a83398151915290855b601f1984168110610f6e575060019394959683601f19811610610f56575b505050811b0160ad556107f4565b01515f1960f88460031b161c191690555f8080610f48565b9091602060018192858b015181550193019101610f2a565b60ad8552601f820160051c5f80516020614e4a8339815191520160208310610fd6575b601f820160051c5f80516020614e4a833981519152018110610fcb57506107c5565b858155600101610fa9565b505f80516020614e4a833981519152610fa9565b634e487b7160e01b84526041600452602484fd5b015190505f8061078c565b925060ac86525f80516020614e6a8339815191529086935b601f1984168510611062576001945083601f1981161061104a575b505050811b0160ac556107a1565b01515f1960f88460031b161c191690555f808061103c565b81810151835560209485019460019093019290910190611021565b90915060ac8652601f830160051c5f80516020614e6a83398151915201602084106110d8575b908392915b601f820160051c5f80516020614e6a8339815191520181106110ca5750610776565b8781558493506001016110a8565b505f80516020614e6a8339815191526110a3565b634e487b7160e01b85526041600452602485fd5b015190505f8061073a565b925060ab87525f80516020614e8a8339815191529087935b601f1984168510611164576001945083601f1981161061114c575b505050811b0160ab5561074f565b01515f1960f88460031b161c191690555f808061113e565b81810151835560209485019460019093019290910190611123565b90915060ab8752601f830160051c5f80516020614e8a83398151915201602084106111da575b908392915b601f820160051c5f80516020614e8a8339815191520181106111cc5750610724565b8881558493506001016111aa565b505f80516020614e8a8339815191526111a5565b634e487b7160e01b86526041600452602486fd5b60405163e6c4247b60e01b8152600490fd5b90506020813d60201161124a575b8161122f6020938361330b565b8101031261124657611240906133cd565b5f6106d3565b8580fd5b3d9150611222565b90506020813d602011611288575b8161126d6020938361330b565b810103126112845761127e906133cd565b5f610681565b8680fd5b3d9150611260565b90506020813d6020116112c2575b816112ab6020938361330b565b81010312611284576112bc906133cd565b5f610633565b3d915061129e565b61ffff19166101011785555f6105ba565b60405162461bcd60e51b815260206004820152602e60248201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160448201526d191e481a5b9a5d1a585b1a5e995960921b6064820152608490fd5b50303b1580156105a55750600160ff8216146105a5565b50600160ff82161061059e565b8280fd5b5080fd5b50346103045760208060031936011261135f57603354604051635c975abb60e01b815260048035936001600160a01b03939092918391839190829087165afa8015610ca95785906115f5575b6113ba91501561370d565b6113c960ff606654161561374b565b6113d1613efa565b6113d96137ec565b60088110156115e1576007036115cf576099546001811415806115c4575b6115ac5760ff60b65460a01c16600881101561159857600703611589575b5060ff60b854161561157c575b61144a61143961143360b1546137ad565b856137bb565b61144460b2546137ad565b906137ce565b916001609954145f146114fb57848160af5416803b1561135f5760405163079cc67960e41b8152336004820152602481018790529082908290604490829084905af180156114f0576114dc575b50507fcdd4c59de26b3f8623e6012ab9bc32a995eda3452d89c941fc8af6b74276ad38926114cb915b60ae54163390614778565b6040519283523392a2600160675580f35b6114e5906132c2565b610c9d57845f611497565b6040513d84823e3d90fd5b848160b05416803b1561135f5760405163079cc67960e41b8152336004820152602481018790529082908290604490829084905af180156114f057611568575b50507fcdd4c59de26b3f8623e6012ab9bc32a995eda3452d89c941fc8af6b74276ad38926114cb916114c0565b611571906132c2565b610c9d57845f61153b565b611584613f9b565b611422565b61159290613f50565b5f611415565b634e487b7160e01b86526021600452602486fd5b602490604051906316e55c9760e11b82526004820152fd5b5060028114156113f7565b6040516331c88d9560e11b8152600490fd5b634e487b7160e01b85526021600452602485fd5b508181813d8311611624575b61160b818361330b565b81010312610c9d5761161f6113ba91613427565b6113af565b503d611601565b503461030457602036600319011261030457600435611648613b98565b6116506137ec565b60088110156116a15761168f576020817f0962ee0b556b754b64f1cd7eaa30c61fb0158a41756efd5a92e6474e453486f192609a55604051908152a180f35b604051630f5f073560e41b8152600490fd5b634e487b7160e01b83526021600452602483fd5b50346103045780600319360112610304576020609a54604051908152f35b50346103045780600319360112610304576020609d54604051908152f35b50346103045780600319360112610304576020609b54604051908152f35b503461030457806003193601126103045760a45460a55460a65460408051938452602084019290925290820152606090f35b5034610304576020366003190112610304577fd493459d3ba716b6034092188a1cdd4608864a6b32f42ca812434ce498534a886020600435611781613b98565b8060a255604051908152a180f35b50346103045780600319360112610304576020609c54604051908152f35b5034610304578060031936011261030457602060a554604051908152f35b50346103045760203660031901126103045760206117ef6117ea613356565b613893565b604051908152f35b5034610304576020366003190112610304577f04f52d8f55e5c0ce221c2db6281b2751cea7cf190625dae6436d87248bbbbbcc6020600435611837613b98565b8060a355604051908152a180f35b5034610304578060031936011261030457602060a454604051908152f35b5034610304578060031936011261030457602061187e6137ec565b6104316040518092613269565b503461030457806003193601126103045760b5546040516001600160a01b039091168152602090f35b50346103045780600319360112610304576020609f54604051908152f35b50346103045760208060031936011261135f57603354604051635c975abb60e01b81526001600160a01b03929160048035929184918391829088165afa8015610ca9578590611bbe575b61192791501561370d565b61193660ff606654161561374b565b61193e613efa565b6119466137ec565b60088110156115e157600714611bac5761197861196d61196760b2546137ad565b836137bb565b61144460b1546137ad565b928060af541660405184816004816318160ddd60e01b958682525afa8015610db15786908890611b7b575b6119ad925061378c565b60a354809111918215611b12575b5050611b00578060ae541691604051906323b872dd60e01b8583015233602483015230604483015260648201526064815260a08101908082106001600160401b03831117611aec578693611a1192604052614ca6565b8060af541690813b1561135b576040516340c10f1960e01b808252336004830152602482018790529284908290604490829084905af1908115610c59578491611ad8575b505060b0541690813b1561135b57604051908152336004820152602481018590529082908290604490829084905af180156114f057611ac4575b50507f3f2c9d57c068687834f0de942a9babb9e5acab57d516d3480a3c16ee165a4273906040519283523392a2600160675580f35b611acd906132c2565b61135b57825f611a8f565b611ae1906132c2565b61135b57825f611a55565b634e487b7160e01b5f52604160045260245ffd5b6040516306f7fb6760e21b8152600490fd5b909150848360b054169160046040518094819382525afa8015610db15786908890611b4a575b611b42925061378c565b115f806119bb565b50508481813d8311611b74575b611b61818361330b565b81010312610e035785611b429151611b38565b503d611b57565b50508481813d8311611ba5575b611b92818361330b565b81010312610e0357856119ad91516119a3565b503d611b88565b6040516341d51e0760e11b8152600490fd5b508281813d8311611bed575b611bd4818361330b565b81010312610c9d57611be861192791613427565b61191c565b503d611bca565b503461030457602036600319011261030457600435611c11613b98565b8060995542609e55611c216137ec565b90611c2b826149f3565b15611c995760b6805460ff60a01b1916600160a21b1790556040515f80516020614eaa833981519152926060929091611c7c90611c67816132d5565b60048152426020820152826040820152613ac7565b611c896040518093613269565b600460208301526040820152a180f35b60405163e3962ba360e01b8152604490611cb66004820185613269565b60046024820152fd5b50346103045780600319360112610304576020606554604051908152f35b5034610304578060031936011261030457603354604051635c975abb60e01b815290602090829060049082906001600160a01b03165afa80156114f0578290611d53575b611d2c91501561370d565b611d3b60ff606654161561374b565b611d43613efa565b611d4b613f9b565b600160675580f35b506020813d602011611d86575b81611d6d6020938361330b565b8101031261135f57611d81611d2c91613427565b611d21565b3d9150611d60565b503461030457806003193601126103045760a8546040516001600160a01b039091168152602090f35b503461030457602036600319011261030457600435801515810361135f57611ddd613b98565b15611f69578060995580609c5580609d5580609e55611dfa613e56565b60a85481906001600160a01b03908116803b15611f655782809160246040518094819363714b359760e01b83523060048401525af1908115611f1f578391611f51575b50508060a854166024838360a9541660405192838092636042737f60e11b82523060048301525afa8015610c595783918591611f2f575b50511690803b15611f2a5760405163aac0167f60e01b81523060048201526001600160a01b0392909216602483015283908290604490829084905af1908115611f1f578391611f0b575b505060a75416803b15611f0857818091602460405180948193633e1eae7360e01b83523060048401525af180156114f057611ef857505080f35b611f01906132c2565b6103045780f35b50fd5b611f14906132c2565b611f0857815f611ebe565b6040513d85823e3d90fd5b505050fd5b611f4b91503d8087833e611f43818361330b565b810190613534565b5f611e74565b611f5a906132c2565b611f0857815f611e3d565b5050fd5b42609e55611f756137ec565b611f7e816149f3565b15611feb5760b6805460ff60a01b1916600560a01b1790556040515f80516020614eaa83398151915291606091611fcd90611fb8816132d5565b600581524260208201525f6040820152613ac7565b611fda6040518092613269565b600560208201525f6040820152a180f35b60405163e3962ba360e01b8152604491612009906004830190613269565b60056024820152fd5b50346103045760203660031901126103045760043561202f613b98565b600381118015612275575b6115ac578060995542609c5560ff60b65460a01c1660088110156116a157600514612106575b6120686137ec565b90612072826149b1565b156120e05760b6805460ff60a01b1916600160a11b1790556040515f80516020614eaa8339815191529260609290916120c3906120ae816132d5565b60028152426020820152826040820152613ac7565b6120d06040518093613269565b600260208301526040820152a180f35b60405163e3962ba360e01b81526044906120fd6004820185613269565b60026024820152fd5b81609d5581609e558160018060a01b036024828260a9541660405192838092636042737f60e11b82523060048301525afa908115611f1f57839161225b575b508160a8541682825116813b15610c9d5784916064839260405194859384926374fc020d60e01b84523060048501526065602485015260448401525af1908115610c59578491612247575b5050818060a8541691511690803b15610c4d5760405163aac0167f60e01b81523060048201526001600160a01b0392909216602483015283908290604490829084905af1908115611f1f578391612233575b505060a75416803b1561135f57818091602460405180948193633e1eae7360e01b83523060048401525af180156114f05761221f575b5050612060565b612228906132c2565b61135f57815f612218565b61223c906132c2565b61135f57815f6121e2565b612250906132c2565b61135b57825f612190565b61226f91503d8085833e611f43818361330b565b5f612145565b50801561203a565b50346103045780600319360112610304576033546040516001600160a01b039091168152602090f35b50346103045780600319360112610304576122bf613b98565b42609f556122cb6137ec565b6122d48161494f565b156123415760b6805460ff60a01b1916600360a11b1790556040515f80516020614eaa833981519152916060916123239061230e816132d5565b600681524260208201525f6040820152613ac7565b6123306040518092613269565b600660208201525f6040820152a180f35b60405163e3962ba360e01b815260449161235f906004830190613269565b60066024820152fd5b5034610304578060031936011261030457602060ff60b854166040519015158152f35b50346103045780600319360112610304576020609e54604051908152f35b50346103045780600319360112610304576123c2613b98565b603380546001600160a01b031981169091555f906001600160a01b03167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e08280a380f35b503461030457602036600319011261030457600435612423613b98565b6003811180156124e0575b6115ac57806099554260a0556124426137ec565b9061244c826148de565b156124ba5760b6805460ff60a01b1916600760a01b1790556040515f80516020614eaa83398151915292606092909161249d90612488816132d5565b60078152426020820152826040820152613ac7565b6124aa6040518093613269565b600760208301526040820152a180f35b60405163e3962ba360e01b81526044906124d76004820185613269565b60076024820152fd5b50801561242e565b503461030457806003193601126103045760b4546040516001600160a01b039091168152602090f35b503461030457806003193601126103045761252a613b98565b42609d556125366137ec565b61253f81614863565b156125ac5760b6805460ff60a01b1916600360a01b1790556040515f80516020614eaa8339815191529160609161258e90612579816132d5565b600381524260208201525f6040820152613ac7565b61259b6040518092613269565b600360208201525f6040820152a180f35b60405163e3962ba360e01b81526044916125ca906004830190613269565b60036024820152fd5b5034610304578060031936011261030457602060a154604051908152f35b5034610304578060031936011261030457602060ff606654166040519015158152f35b50346103045760208060031936011261135f5761262f613356565b9160018060a01b03918260af5416604051938285602481846370a0823160e01b9a8b835216958660048301525afa948515610c595784956126de575b50906024839260b05416966040519788938492835260048301525afa9182156126d257916126a2575b604080945051928352820152f35b80915083813d83116126cb575b6126b9818361330b565b81010312610e03576040925190612694565b503d6126af565b604051903d90823e3d90fd5b919094508282813d8311612709575b6126f7818361330b565b81010312610e0357905193602461266b565b503d6126ed565b50346103045760208060031936011261135f57603354604051635c975abb60e01b815260048035936001600160a01b03939092918391839190829087165afa8015610ca9578590612882575b61276791501561370d565b61277660ff606654161561374b565b61277e613efa565b6127866137ec565b60088110156115e157600714611bac576127a761143961143360b1546137ad565b91848160af5416803b1561135f5760405163079cc67960e41b808252336004830152602482018890529183908290604490829084905af1908115611f1f57839161286e575b50508260b0541690813b1561135b57604051908152336004820152602481018790529082908290604490829084905af180156114f05761285a575b50507ffd38818f5291bf0bb3a2a48aadc06ba8757865d1dabd804585338aab3009dcb6926114cb91339060ae5416614778565b612863906132c2565b610c9d57845f612827565b612877906132c2565b61135f57815f6127ec565b508181813d83116128b1575b612898818361330b565b81010312610c9d576128ac61276791613427565b61275c565b503d61288e565b5034610304578060031936011261030457602060a254604051908152f35b503461030457806003193601126103045760a7546040516001600160a01b039091168152602090f35b50346103045780600319360112610304576040515f60ad546129208161328a565b8084529060209060019081811690811561299f5750600114612959575b6103008561294d8187038261330b565b6040519182918261332c565b60ad5f90815293505f80516020614e4a8339815191525b83851061298c5750505050810160200161294d8261030061293d565b8054868601840152938201938101612970565b8695506103009693506020925061294d94915060ff191682840152151560051b820101929361293d565b5034610304578060031936011261030457602060a054604051908152f35b5034610304576020366003190112610304577f20cf36acbd8fb089062ad0454b0f6d18d108c2ff87c96354656e16129e00730c6020600435612a27613b98565b8060a155604051908152a180f35b5034610304578060031936011261030457603354604051635c975abb60e01b81526020916001600160a01b03919083908290600490829086165afa8015610c59578490612d42575b612a8891501561370d565b612a9760ff606654161561374b565b612a9f613efa565b612aa76137ec565b6008811015612d2e576007036115cf5760995460038103612d1c5760ff60b65460a01c1660088110156115e157600703612d0d575b5060ff60b8541615612d00575b8060af5416604051926370a0823160e01b8085523360048601528185602481865afa948515610e0f578695612cd1575b50818460b054169160246040518094819382523360048301525afa918215610e0f578692612ca3575b5050612b4e818561378c565b8015612c915760b1545f198101908111612c7d57612b6b906137ad565b9081600502916005830403612c7d576114398792612b88926137bb565b92803b1561135f5760405163079cc67960e41b808252336004830152602482018890529183908290604490829084905af1908115611f1f578391612c69575b50508460b0541690813b1561135b57604051908152336004820152602481018490529082908290604490829084905af180156114f057612c55575b5050612c35827f6d03bcfd4b0e95b635e30994ae7be6f9fb9b8d908404885fddb2052d7bc24b0194339060ae5416614778565b6040805194855260208501919091528301523391606090a2600160675580f35b612c5e906132c2565b610c9d57845f612c02565b612c72906132c2565b61135f57815f612bc7565b634e487b7160e01b87526011600452602487fd5b604051637dd28aa760e11b8152600490fd5b90809250813d8311612cca575b612cba818361330b565b81010312610e0357515f80612b42565b503d612cb0565b9094508181813d8311612cf9575b612ce9818361330b565b81010312610e035751935f612b19565b503d612cdf565b612d08613f9b565b612ae9565b612d1690613f50565b5f612adc565b6040516305387c5b60e31b8152600490fd5b634e487b7160e01b84526021600452602484fd5b508281813d8311612d71575b612d58818361330b565b81010312610c4d57612d6c612a8891613427565b612a7d565b503d612d4e565b503461030457806003193601126103045760ae546040516001600160a01b039091168152602090f35b50346103045780600319360112610304576020609954604051908152f35b503461030457806003193601126103045760a9546040516001600160a01b039091168152602090f35b50346103045780600319360112610304576040515f60ac54612e098161328a565b8084529060209060019081811690811561299f5750600114612e35576103008561294d8187038261330b565b60ac5f90815293505f80516020614e6a8339815191525b838510612e685750505050810160200161294d8261030061293d565b8054868601840152938201938101612e4c565b50346103045760208060031936011261135f5760043590811515820361135b57603354604051632474521560e21b81527f65d7a28e3265b37a6474929f336521b332c1681b933f6cb9f3376673440d862a6004820152336024820152906001600160a01b03168282604481845afa918215610ca9578592612f52575b508115612f48575b5015612f0f5750610388906135e7565b6064906040519062461bcd60e51b8252600482015260126024820152714e6f6e2d706175736572206164647265737360701b6044820152fd5b905033145f612eff565b9091508281813d8311612f82575b612f6a818361330b565b81010312610c9d57612f7b90613427565b905f612ef7565b503d612f60565b5034610304578060031936011261030457602060a354604051908152f35b503461030457806003193601126103045760b0546040516001600160a01b039091168152602090f35b5034610304578060031936011261030457602060a654604051908152f35b50346103045780600319360112610304576040515f60ab5461300f8161328a565b8084529060209060019081811690811561299f575060011461303b576103008561294d8187038261330b565b60ab5f90815293505f80516020614e8a8339815191525b83851061306e5750505050810160200161294d8261030061293d565b8054868601840152938201938101613052565b5034610304576020366003190112610304576004359060b75482101561030457606060038360b75f520260ff817f6a79cc294e25eb1a13381e9f3361ee96c47ee7ed00bf73abadb8f9664bffd0a7015416907f6a79cc294e25eb1a13381e9f3361ee96c47ee7ed00bf73abadb8f9664bffd0a97f6a79cc294e25eb1a13381e9f3361ee96c47ee7ed00bf73abadb8f9664bffd0a8820154910154906131296040518094613269565b60208301526040820152f35b5034610e03575f366003190112610e035761314e613b98565b5f6099555f609c555f609d555f609e555f609f5560018060a01b0360245f8260aa541660405192838092631cd50edb60e31b82523060048301525afa8015613220576024915f91613247575b505f8360a9541660405193848092636042737f60e11b82523060048301525afa908115613220576131d2925f9261322b575b50613bf0565b60a75416803b15610e03575f8091602460405180948193633e1eae7360e01b83523060048401525af180156132205761320f575b50610388613e56565b61321991506132c2565b5f80613206565b6040513d5f823e3d90fd5b6132409192503d805f833e611f43818361330b565b905f6131cc565b61326391503d805f833e61325b818361330b565b810190613434565b5f61319a565b9060088210156132765752565b634e487b7160e01b5f52602160045260245ffd5b90600182811c921680156132b8575b60208310146132a457565b634e487b7160e01b5f52602260045260245ffd5b91607f1691613299565b6001600160401b038111611aec57604052565b606081019081106001600160401b03821117611aec57604052565b604081019081106001600160401b03821117611aec57604052565b90601f801991011681019081106001600160401b03821117611aec57604052565b602060409281835280519182918282860152018484015e5f828201840152601f01601f1916010190565b600435906001600160a01b0382168203610e0357565b6001600160401b038111611aec57601f01601f191660200190565b81601f82011215610e035780359061339e8261336c565b926133ac604051948561330b565b82845260208383010111610e0357815f926020809301838601378301015290565b51906001600160a01b0382168203610e0357565b81601f82011215610e03578051906133f88261336c565b92613406604051948561330b565b82845260208383010111610e0357815f9260208093018386015e8301015290565b51908115158203610e0357565b602081830312610e035780516001600160401b0391828211610e03570190610160928383820312610e035760405193840184811083821117611aec5760405261347c836133cd565b84526020830151828111610e0357816134969185016133e1565b60208501526040830151918211610e03576134b29183016133e1565b604083015260608101516004811015610e0357606083015260808101516004811015610e0357608083015260a081015160a083015260c081015160c083015260e081015160e0830152610100613509818301613427565b9083015261012061351b818301613427565b9083015261352d610140809201613427565b9082015290565b602081830312610e035780516001600160401b0391828211610e03570191610100928381830312610e035760405193840184811084821117611aec5760405261357c816133cd565b84526020810151928311610e035761359b60e0926135df9483016133e1565b602085015260408101516040850152606081015160608501526080810151608085015260a081015160a08501526135d460c08201613427565b60c085015201613427565b60e082015290565b60665490151560ff821680151582146137085761364b575b7f8fb6c181ee25a520cf3dd6565006ef91229fcfe5a989566c2a3b8c115570cec59160ff6020921680809260ff191617606655613642575b6040519015158152a1565b42606555613637565b603354604051638da5cb5b60e01b81526001600160a01b03916020908290600490829086165afa908115613220575f916136ce575b50163303156135ff5760405162461bcd60e51b815260206004820152601d60248201527f4f6e6c792050726f746f636f6c2044414f2063616e20756e70617573650000006044820152606490fd5b90506020813d602011613700575b816136e96020938361330b565b81010312610e03576136fa906133cd565b5f613680565b3d91506136dc565b505050565b1561371457565b60405162461bcd60e51b815260206004820152600f60248201526e26b0b730b3b2b9103830bab9b2b21760891b6044820152606490fd5b1561375257565b60405162461bcd60e51b815260206004820152601260248201527110dbdb9d1c9858dd081a5cc81c185d5cd95960721b6044820152606490fd5b9190820180921161379957565b634e487b7160e01b5f52601160045260245ffd5b604d811161379957600a0a90565b8181029291811591840414171561379957565b81156137d8570490565b634e487b7160e01b5f52601260045260245ffd5b60ff60b65460a01c16600881101561327657801580613888575b613837576002811480613871575b61385457600481148061385a575b61385457600581148061383d575b6138375790565b50600190565b5061384d609e5460a2549061378c565b4211613830565b50600790565b5061386a609e5460a2549061378c565b4211613822565b50613881609c5460a1549061378c565b4211613814565b50609a544211613806565b6099546001810361392c575060af546040516370a0823160e01b81526001600160a01b0392831660048201529160209183916024918391165afa908115613220575f916138f8575b506114396138f5915b6138ef60b1546137ad565b906137bb565b90565b90506020813d602011613924575b816139136020938361330b565b81010312610e0357516114396138db565b3d9150613906565b600281036139b2575060b0546040516370a0823160e01b81526001600160a01b0392831660048201529160209183916024918391165afa908115613220575f9161397e575b506114396138f5916138e4565b90506020813d6020116139aa575b816139996020938361330b565b81010312610e035751611439613971565b3d915061398c565b600303613aa95760af546040516370a0823160e01b8082526001600160a01b03938416600483018190526020949391929185908390602490829088165afa9384156132205785925f95613a76575b5060249060b05416936040519485938492835260048301525afa928315613220575f93613a42575b5050613a3a6138f5926114399261378c565b60011c6138e4565b90809350813d8311613a6f575b613a59818361330b565b81010312610e0357905190613a3a611439613a28565b503d613a4f565b8381949296503d8311613aa2575b613a8e818361330b565b81010312610e035760248592519490613a00565b503d613a84565b505f90565b90816020910312610e03575160ff81168103610e035790565b60b75468010000000000000000811015611aec57600181018060b755811015613b845760039060b75f520290817f6a79cc294e25eb1a13381e9f3361ee96c47ee7ed00bf73abadb8f9664bffd0a701908051906008821015613276577f6a79cc294e25eb1a13381e9f3361ee96c47ee7ed00bf73abadb8f9664bffd0a99260409260ff8019835416911617905560208101517f6a79cc294e25eb1a13381e9f3361ee96c47ee7ed00bf73abadb8f9664bffd0a88501550151910155565b634e487b7160e01b5f52603260045260245ffd5b6033546001600160a01b03163303613bac57565b606460405162461bcd60e51b815260206004820152602060248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152fd5b6101408101515f929015613e015760a85481516001600160a01b039182169116813b15610c9d5784916064839260405194859384926374fc020d60e01b84523060048501526065602485015260448401525af18015610c5957908491613ded575b50505b61012082015115613d795760a85490516001600160a01b039182169116813b15610c4d5783916064839260405194859384926374fc020d60e01b84523060048501526066602485015260448401525af18015611f1f57908391613d65575b50505b61010081015115613d255760a85490516001600160a01b039182169116813b1561135b5782916064839260405194859384926374fc020d60e01b84523060048501526067602485015260448401525af180156114f057613d14575b5050565b613d1e82916132c2565b6103045750565b5060a8546001600160a01b0316803b1561135f57818091602460405180948193631f52cb1d60e01b83523060048401525af180156114f057613d14575050565b613d6e906132c2565b61135f57815f613cb2565b60a85490516001600160a01b039182169116813b15610c4d5760405163aac0167f60e01b81523060048201526001600160a01b039190911660248201529083908290604490829084905af18015611f1f57908391613dd9575b5050613cb5565b613de2906132c2565b61135f57815f613dd2565b613df6906132c2565b61135b57825f613c51565b60a8546001600160a01b0316803b15610e03575f809160246040518094819363714b359760e01b83523060048401525af1801561322057613e43575b50613c54565b613e4e9193506132c2565b5f915f613e3d565b613e5e6137ec565b613e6781614a35565b15613ed35760b6805460ff60a01b1916600160a01b1790556040515f80516020614eaa83398151915291606091613eb690613ea1816132d5565b600181524260208201525f6040820152613ac7565b613ec36040518092613269565b600160208201525f6040820152a1565b60405163e3962ba360e01b8152604491613ef1906004830190613269565b60016024820152fd5b600260675414613f0b576002606755565b60405162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c006044820152606490fd5b606060ff5f80516020614eaa83398151915292613f8c60b654600760a01b8460a01b1982161760b6554260a05560405193849160a01c16613269565b600760208301526040820152a1565b613fa36137ec565b5f906008811015613276576007036115cf5760ff8060b8541661476657609f54156143725760018060a01b03918260aa54166040918251631cd50edb60e31b8152818160248160049630888301525afa9081156143685790602491839161434e575b50828760a95416865193848092636042737f60e11b825230898301525afa91821561419357908791849361432f575b50806140428460a093613bf0565b01516003810361419d5750905060a75416835195869163543f171560e01b8352828560209485935afa96871561419357839761415b575b506033548551635c975abb60e01b815294839286928391165afa9384156141505750819361410a575b5050506140c692916140b76140c1921561370d565b606654161561374b565b614a80565b60b8805460ff191660011790556099546040805130815260208101929092527f7a3f1b2c1391d2ac0b9461664dc892916c7c8a878d53635dcc91653a125e287891a1565b9091809350813d8311614149575b614122818361330b565b8101031261030457506140c692916140b761413f6140c193613427565b92829495506140a2565b503d614118565b51913d9150823e3d90fd5b9096508181813d831161418c575b614173818361330b565b8101031261135b5761418582916133cd565b9690614079565b503d614169565b85513d85823e3d90fd5b60808301510361429a57905060a754168351958691630187eab160e71b8352308584015282602460209485935afa968715614193578397614262575b506033548551635c975abb60e01b815294839286928391165afa9384156141505750819361421c575b50505061421792916140b76140c1921561370d565b6140c6565b9091809350813d831161425b575b614234818361330b565b81010312610304575061421792916140b76142516140c193613427565b9282949550614202565b503d61422a565b9096508181813d8311614293575b61427a818361330b565b8101031261135b5761428c82916133cd565b96906141d9565b503d614270565b60209151169560335416845193848092635c975abb60e01b82525afa928315614325575080926142d9575b505061421792916140b76140c1921561370d565b9091506020823d60201161431d575b816142f56020938361330b565b81010312610304575061421792916140b76143126140c193613427565b9250819394506142c5565b3d91506142e8565b51903d90823e3d90fd5b60a0919350614347903d8087833e611f43818361330b565b9290614034565b61436291503d8085833e61325b818361330b565b5f614005565b84513d84823e3d90fd5b609e54156145d95760018060a01b03918260a954166040918251636042737f60e11b8152818160248160049630888301525afa9081156143685782916145bf575b5060c08101511561456e578560a8541686825116813b15610c4d57839160648392885194859384926374fc020d60e01b8452308b8501526065602485015260448401525af180156141935790839161455a575b50505b60e0810151156144eb578560a8541686825116813b15610c4d57839160648392885194859384926374fc020d60e01b8452308b8501526066602485015260448401525af18015614193579083916144d7575b50505b8560a0820151600381145f1461419d5750905060a75416835195869163543f171560e01b8352828560209485935afa96871561419357839761426257506033548551635c975abb60e01b815294839286928391165afa9384156141505750819361421c5750505061421792916140b76140c1921561370d565b6144e0906132c2565b61135f57815f61445b565b8560a8541686825116813b15610c4d57855163aac0167f60e01b8152308682019081526001600160a01b03909216602083015291849183919082908490829060400103925af1801561419357908391614546575b505061445e565b61454f906132c2565b61135f57815f61453f565b614563906132c2565b61135f57815f614406565b8560a85416803b1561135b57828091602487518094819363714b359760e01b8352308a8401525af18015614193579083916145ab575b5050614409565b6145b4906132c2565b61135f57815f6145a4565b6145d391503d8084833e611f43818361330b565b5f6143b3565b60a8546001600160a01b039290831690813b15610e03575f80604093602485518094819363714b359760e01b83523060048401525af1801561475c5761474b575b506099546003036146da578360a75416825194859163543f171560e01b835282600460209485935afa9586156146d0578396614691575b5090806004939260335416855194858092635c975abb60e01b82525afa9384156141505750819361421c5750505061421792916140b76140c1921561370d565b9095508181813d83116146c9575b6146a9818361330b565b8101031261135b5790806146bf600494936133cd565b9691929350614651565b503d61469f565b84513d85823e3d90fd5b8360a754168251948591630187eab160e71b835230600484015282602460209485935afa9586156146d0578396614691575090806004939260335416855194858092635c975abb60e01b82525afa9384156141505750819361421c5750505061421792916140b76140c1921561370d565b61475591506132c2565b5f8061461a565b83513d5f823e3d90fd5b604051630231dc9d60e51b8152600490fd5b60405163a9059cbb60e01b60208201526001600160a01b039290921660248301526044808301939093529181526147b9916147b460648361330b565b614ca6565b565b603380546001600160a01b039283166001600160a01b0319821681179092559091167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e05f80a3565b1561480a57565b60405162461bcd60e51b815260206004820152602b60248201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960448201526a6e697469616c697a696e6760a81b6064820152608490fd5b6008811015613276578015613aa95760018114613aa957600281146148c35760038114613aa957600481146148a957600581146148a9576006146148a5575f90565b5f90565b506148b9609e5460a2549061378c565b42116148a5575f90565b506148d3609c5460a1549061378c565b42116148a557600190565b6008811015613276578015613aa95760018114613aa9576002811461493f5760038114613aa9576004811461492557600581146148a957600614614920575f90565b600190565b50614935609e5460a2549061378c565b4211614920575f90565b50614935609c5460a1549061378c565b6008811015613276578015613aa95760018114613aa957600281146149a15760038114613aa957600481146149915760058114614991576006146148a5575f90565b506148d3609e5460a2549061378c565b506148b9609c5460a1549061378c565b6008811015613276578015613aa9576001811461383757600281146149a15760038114613aa957600481146148a957600581146148a9576006146148a5575f90565b6008811015613276578015613aa95760018114613aa957600281146149a1576003811461383757600481146148a957600581146148a9576006146148a5575f90565b6008811015613276578015614a775760018114613aa957600281146149a1576003811461383757600481146148a9576005811461492557600614614920575f90565b50609a54421190565b60b354908115613d105760018060a01b038060b654169160409384519163fe575a8760e01b8352838116948560048501526020938481602481855afa5f9181614c6f575b50614c6a57505f5b15614c2a575050508160b65416918060a7541692855190838260048163543f171560e01b988982525afa8015614c20575f90614bea575b614b11925060b35491614778565b818160b65416946004875180968193897f1771c3e480122816acb9a4131b2918e8bb1a468fbfa6cd2dea24c2bf4cf72d1f5f80a38560a754169082525afa8015614be0575f90614b8c575b7f4634ecdf654a6f266749291b25bdd00963ec5fe7262fb458f390d94b670558ee935060b35495519586521693a3565b508183813d8311614bd9575b614ba2818361330b565b81010312610e0357614bd47f4634ecdf654a6f266749291b25bdd00963ec5fe7262fb458f390d94b670558ee936133cd565b614b5c565b503d614b98565b85513d5f823e3d90fd5b508382813d8311614c19575b614c00818361330b565b81010312610e0357614c14614b11926133cd565b614b03565b503d614bf6565b87513d5f823e3d90fd5b91614c5a917f4634ecdf654a6f266749291b25bdd00963ec5fe7262fb458f390d94b670558ee9593979697614778565b60b654169260b3549051908152a3565b614acc565b9091508581813d8311614c9f575b614c87818361330b565b81010312610e0357614c9890613427565b905f614ac4565b503d614c7d565b604051614d21916001600160a01b0316614cbf826132f0565b5f806020958685527f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c656487860152868151910182855af13d15614db0573d91614d068361336c565b92614d14604051948561330b565b83523d5f8785013e614db4565b8051828115918215614d91575b5050905015614d3a5750565b6084906040519062461bcd60e51b82526004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e6044820152691bdd081cdd58d8d9595960b21b6064820152fd5b8380929350010312610e035781614da89101613427565b80825f614d2e565b6060915b91929015614e165750815115614dc8575090565b3b15614dd15790565b60405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e74726163740000006044820152606490fd5b825190915015614e295750805190602001fd5b60405162461bcd60e51b8152908190614e45906004830161332c565b0390fdfe0440fd76b4e685d17019b0eef836cea9994650028b99dddfb48be06fa4240aa60a0a1bcadd9f6a5539376fa82276e043ae3cb4499daaaf8136572ecb1f9f0d60fc377260a69a39dd786235c89f4bcd5d9639157731cac38071a0508750eb115a8c8a06f8b5c02d1afdaac7a277cafe255898f4dbc8441c928f4ba7171930ea80a264697066735822122052fdf4d336919f99b0ff3de5de30ce724c437bd2077c1d3207a5cd6e612d139664736f6c63430008190033