SportsAMMV2RiskManager | Optimism

codeslaw

SportsAMMV2RiskManagerSolidityv0.8.20+commit.a1b79de6

network

Optimism

address0x602fdca87e1e21cab0c740fe776738b06fe290a1

deployer0xd866b2332d4383C1Bf719732177e2D9109c99DBc

tx last 12 months

0 txs

calls last 12 months

299.9k calls

14 Files

@openzeppelin

contracts

token

ERC20

IERC20.sol

utils

cryptography

MerkleProof.sol

contracts-upgradeable

proxy

utils

Initializable.sol

contracts

core

AMM

SportsAMMV2RiskManager.sol

interfaces

IFreeBetsHolder.sol

IProxyBetting.sol

ISportsAMMV2.sol

ISportsAMMV2Manager.sol

ISportsAMMV2ResultManager.sol

ISportsAMMV2RiskManager.sol

IStakingThalesBettingProxy.sol

utils

proxy

ProxyOwned.sol

ProxyPausable.sol

ProxyReentrancyGuard.sol

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

abi

constructor

No constructor.

functions

batchVerifyMerkleTree

pure

function batchVerifyMerkleTree(tuple[] _marketTradeData, bytes32[] _rootPerGame) pure

calculateCapToBeUsed

view

function calculateCapToBeUsed(bytes32 _gameId, uint16 _sportId, uint16 _typeId, uint24 _playerId, int24 _line, uint256 _maturity, bool _isLive) view returns (uint256 cap)

calculateTotalRiskOnGame

view

function calculateTotalRiskOnGame(bytes32 _gameId, uint16 _sportId, uint256 _maturity) view returns (uint256 totalRisk)

capPerMarket

view

function capPerMarket(bytes32, uint256, uint256, int256) view returns (uint256)

capPerSport

view

function capPerSport(uint256) view returns (uint256)

capPerSportAndType

view

function capPerSportAndType(uint256, uint256) view returns (uint256)

capPerSportChild

view

function capPerSportChild(uint256) view returns (uint256)

checkLimits

view

function checkLimits(uint256 _buyInAmount, uint256 _totalQuote, uint256 _payout, uint256 _expectedPayout, uint256 _additionalSlippage, uint256 _ticketSize) view

checkRisks

view

function checkRisks(tuple[] _tradeData, uint256 _buyInAmount, bool _isLive, uint8 _systemBetDenominator) view returns (uint8 riskStatus, bool[] isMarketOutOfLiquidity)

combiningPerSportEnabled

view

function combiningPerSportEnabled(uint256) view returns (bool)

DEFAULT_DYNAMIC_LIQUIDITY_CUTOFF_DIVIDER

view

function DEFAULT_DYNAMIC_LIQUIDITY_CUTOFF_DIVIDER() view returns (uint256)

defaultCap

view

function defaultCap() view returns (uint256)

defaultLiveCapDivider

view

function defaultLiveCapDivider() view returns (uint256)

defaultRiskMultiplier

view

function defaultRiskMultiplier() view returns (uint256)

dynamicLiquidityCutoffDividerPerSport

view

function dynamicLiquidityCutoffDividerPerSport(uint256) view returns (uint256)

dynamicLiquidityCutoffTimePerSport

view

function dynamicLiquidityCutoffTimePerSport(uint256) view returns (uint256)

expiryDuration

view

function expiryDuration() view returns (uint256)

generateCombinations

pure

function generateCombinations(uint8 n, uint8 k) pure returns (uint8[][])

getMaxSystemBetPayout

view

function getMaxSystemBetPayout(tuple[] _tradeData, uint8 _systemBetDenominator, uint256 _buyInAmount, uint256 _addedPayoutPercentage) view returns (uint256 systemBetPayout, uint256 systemBetQuote)

getRiskData

view

function getRiskData(uint256[] _sportIds, uint256[] _typeIds) view returns (tuple[] riskData)

getSGPCombinationRisk

view

function getSGPCombinationRisk(tuple[] trades) view returns (uint256)

getSGPHash

pure

function getSGPHash(tuple[] trades) pure returns (bytes32)

isSportIdFuture

view

function isSportIdFuture(uint16) view returns (bool)

lastPauseTime

view

function lastPauseTime() view returns (uint256)

liveCapDividerPerSport

view

function liveCapDividerPerSport(uint256) view returns (uint256)

liveTradingPerSportAndTypeEnabled

view

function liveTradingPerSportAndTypeEnabled(uint256, uint256) view returns (bool)

manager

view

function manager() view returns (address)

maxAllowedSystemCombinations

view

function maxAllowedSystemCombinations() view returns (uint256)

maxCap

view

function maxCap() view returns (uint256)

maxRiskMultiplier

view

function maxRiskMultiplier() view returns (uint256)

maxSupportedAmount

view

function maxSupportedAmount() view returns (uint256)

maxSupportedOdds

view

function maxSupportedOdds() view returns (uint256)

maxTicketSize

view

function maxTicketSize() view returns (uint256)

minBuyInAmount

view

function minBuyInAmount() view returns (uint256)

minimalTimeLeftToMaturity

view

function minimalTimeLeftToMaturity() view returns (uint256)

nominatedOwner

view

function nominatedOwner() view returns (address)

owner

view

function owner() view returns (address)

paused

view

function paused() view returns (bool)

resultManager

view

function resultManager() view returns (address)

riskMultiplierPerGame

view

function riskMultiplierPerGame(bytes32) view returns (uint256)

riskMultiplierPerSport

view

function riskMultiplierPerSport(uint256) view returns (uint256)

riskPerMarketTypeAndPosition

view

function riskPerMarketTypeAndPosition(bytes32, uint256, uint256, uint256) view returns (int256)

sgpCapDivider

view

function sgpCapDivider() view returns (uint256)

sgpOnSportIdEnabled

view

function sgpOnSportIdEnabled(uint16) view returns (bool)

sgpRiskPerCombination

view

function sgpRiskPerCombination(bytes32) view returns (uint256)

sgpSpentOnGame

view

function sgpSpentOnGame(bytes32) view returns (uint256)

spentOnGame

view

function spentOnGame(bytes32) view returns (uint256)

sportsAMM

view

function sportsAMM() view returns (address)

verifyMerkleTree

pure

function verifyMerkleTree(tuple _marketTradeData, bytes32 _rootPerGame) pure

acceptOwnership

nonpayable

function acceptOwnership()

checkAndUpdateRisks

nonpayable

function checkAndUpdateRisks(tuple[] _tradeData, uint256 _buyInAmount, uint256 _payout, bool _isLive, uint8 _systemBetDenominator, bool _isSGP)

initialize

nonpayable

function initialize(address _owner, address _manager, address _resultManager, uint256 _defaultCap, uint256 _defaultRiskMultiplier, uint256 _maxCap, uint256 _maxRiskMultiplier)

initNonReentrant

nonpayable

function initNonReentrant()

nominateNewOwner

nonpayable

function nominateNewOwner(address _owner)

setBatchLiveTradingPerSportAndTypeEnabled

nonpayable

function setBatchLiveTradingPerSportAndTypeEnabled(uint256[] _sportIds, uint256[] _typeIds, bool _enabled)

setCaps

nonpayable

function setCaps(uint256[] _sportIds, uint256[] _capsPerSport, uint256[] _sportIdsForChild, uint256[] _capsPerSportChild, uint256[] _sportIdsForType, uint256[] _typeIds, uint256[] _capsPerSportAndType)

setCapsPerMarket

nonpayable

function setCapsPerMarket(bytes32[] _gameIds, uint16[] _typeIds, uint24[] _playerIds, int24[] _lines, uint256[] _capsPerMarket)

setCapsPerSport

nonpayable

function setCapsPerSport(uint256[] _sportIds, uint256[] _capsPerSport)

setCapsPerSportAndType

nonpayable

function setCapsPerSportAndType(uint256[] _sportIds, uint256[] _typeIds, uint256[] _capsPerType)

setCapsPerSportChild

nonpayable

function setCapsPerSportChild(uint256[] _sportIds, uint256[] _capsPerSportChild)

setCombiningPerSportEnabled

nonpayable

function setCombiningPerSportEnabled(uint256 _sportID, bool _enabled)

setDefaultCapAndDefaultRiskMultiplier

nonpayable

function setDefaultCapAndDefaultRiskMultiplier(uint256 _defaultCap, uint256 _defaultRiskMultiplier)

setDefaultLiveCapDivider

nonpayable

function setDefaultLiveCapDivider(uint256 _divider)

setDynamicLiquidityParamsPerSport

nonpayable

function setDynamicLiquidityParamsPerSport(uint256 _sportId, uint256 _dynamicLiquidityCutoffTime, uint256 _dynamicLiquidityCutoffDivider)

setIsSportIdFuture

nonpayable

function setIsSportIdFuture(uint16 _sportId, bool _isFuture)

setLiveCapDivider

nonpayable

function setLiveCapDivider(uint256 _sportId, uint256 _divider)

setLiveTradingPerSportAndTypeEnabled

nonpayable

function setLiveTradingPerSportAndTypeEnabled(uint256 _sportId, uint256 _typeId, bool _enabled)

setMaxCapAndMaxRiskMultiplier

nonpayable

function setMaxCapAndMaxRiskMultiplier(uint256 _maxCap, uint256 _maxRiskMultiplier)

setOwner

nonpayable

function setOwner(address _owner)

setPaused

nonpayable

function setPaused(bool _paused)

setResultManager

nonpayable

function setResultManager(address _resultManager)

setRiskMultipliersPerGame

nonpayable

function setRiskMultipliersPerGame(bytes32[] _gameIds, uint256[] _riskMultipliersPerGame)

setRiskMultipliersPerSport

nonpayable

function setRiskMultipliersPerSport(uint256[] _sportIds, uint256[] _riskMultipliersPerSport)

setSGPCapDivider

nonpayable

function setSGPCapDivider(uint256 _divider)

setSGPEnabledOnSportIds

nonpayable

function setSGPEnabledOnSportIds(uint16[] _sportIds, bool _isEnabled)

setSportsAMM

nonpayable

function setSportsAMM(address _sportsAMM)

setSportsManager

nonpayable

function setSportsManager(address _manager)

setTicketParams

nonpayable

function setTicketParams(uint256 _minBuyInAmount, uint256 _maxTicketSize, uint256 _maxSupportedAmount, uint256 _maxSupportedOdds, uint256 _maxAllowedSystemCombinations)

setTimes

nonpayable

function setTimes(uint256 _minimalTimeLeftToMaturity, uint256 _expiryDuration)

transferOwnershipAtInit

nonpayable

function transferOwnershipAtInit(address proxyAddress)

events

Initialized

event Initialized(uint64 version)

OwnerChanged

event OwnerChanged(address oldOwner, address newOwner)

OwnerNominated

event OwnerNominated(address newOwner)

PauseChanged

event PauseChanged(bool isPaused)

SetCapPerMarket

event SetCapPerMarket(bytes32 gameId, uint16 typeId, uint24 playerId, int24 line, uint256 cap)

SetCapPerSport

event SetCapPerSport(uint256 sportId, uint256 cap)

SetCapPerSportAndType

event SetCapPerSportAndType(uint256 sportId, uint256 typeId, uint256 cap)

SetCapPerSportChild

event SetCapPerSportChild(uint256 sportId, uint256 cap)

SetCombiningPerSportEnabled

event SetCombiningPerSportEnabled(uint256 _sportID, bool _enabled)

SetDefaultCapAndDefaultRiskMultiplier

event SetDefaultCapAndDefaultRiskMultiplier(uint256 defaultCap, uint256 defaultRiskMultiplier)

SetDefaultLiveCapDivider

event SetDefaultLiveCapDivider(uint256 _divider)

SetDynamicLiquidityParams

event SetDynamicLiquidityParams(uint256 sportId, uint256 dynamicLiquidityCutoffTime, uint256 dynamicLiquidityCutoffDivider)

SetIsSportIdFuture

event SetIsSportIdFuture(uint16 _sportId, bool _isFuture)

SetLiveCapDivider

event SetLiveCapDivider(uint256 _sportId, uint256 _divider)

SetLiveTradingPerSportAndTypeEnabled

event SetLiveTradingPerSportAndTypeEnabled(uint256 _sportId, uint256 _typeId, bool _enabled)

SetMaxCapAndMaxRiskMultiplier

event SetMaxCapAndMaxRiskMultiplier(uint256 maxCap, uint256 maxRiskMultiplier)

SetResultManager

event SetResultManager(address resultManager)

SetRiskMultiplierPerGame

event SetRiskMultiplierPerGame(bytes32 gameId, uint256 riskMultiplier)

SetRiskMultiplierPerSport

event SetRiskMultiplierPerSport(uint256 sportId, uint256 riskMultiplier)

SetSGPCapDivider

event SetSGPCapDivider(uint256 _divider)

SetSGPEnabledOnSport

event SetSGPEnabledOnSport(uint16 _sportId, bool _isEnabled)

SetSportsAMM

event SetSportsAMM(address sportsAMM)

SetSportsManager

event SetSportsManager(address manager)

TicketParamsUpdated

event TicketParamsUpdated(uint256 minBuyInAmount, uint256 maxTicketSize, uint256 maxSupportedAmount, uint256 maxSupportedOdds, uint256 maxAllowedSystemCombinations)

TimesUpdated

event TimesUpdated(uint256 minimalTimeLeftToMaturity, uint256 expiryDuration)

errors

InvalidInitialization

error InvalidInitialization()

NotInitializing

error NotInitializing()

bytecode

creation bytecode

0x608060405234801561001057600080fd5b50615f7980620000216000396000f3fe608060405234801561001057600080fd5b50600436106104805760003560e01c806380be635511610257578063c5d89be811610146578063e2022213116100c3578063ea8b414011610087578063ea8b414014610b04578063eafea26514610b24578063ebc7977214610b37578063f9c2262214610b3f578063ff527ee314610b5257600080fd5b8063e202221314610aac578063e365da7814610ab5578063e625afc614610ad5578063e81e52ee14610ae8578063e88698bf14610afb57600080fd5b8063ce440b931161010a578063ce440b9314610a2f578063d5bdface14610a5d578063dc55793614610a70578063dddf183514610a83578063df8974d014610aa357600080fd5b8063c5d89be8146109b3578063c6334f9f146109c6578063c758d1f5146109cf578063c9925288146109e2578063ca9ef2e6146109f557600080fd5b8063a90888fc116101d4578063b7d3327811610198578063b7d3327814610946578063c064649e14610959578063c2a16a981461096c578063c360aded1461097f578063c3b83f5f146109a057600080fd5b8063a90888fc146108fb578063a9772e781461090e578063a9dfd88714610921578063aa0f0bb014610934578063b3ee14241461093d57600080fd5b806391db39db1161021b57806391db39db1461088757806393de7792146108aa57806399182a82146108cc578063a33a154e146108df578063a5f32b1e146108e857600080fd5b806380be6355146108255780638bb78dbd146108385780638da5cb5b146108585780638ff9d5cf1461086b57806391b4ded91461087e57600080fd5b8063422f96bf116103735780635cab25d9116102f057806367c24124116102b457806367c24124146107db578063689df56e146107ee57806379ba5097146107f75780637a0918cf146107ff5780637daed3291461081257600080fd5b80635cab25d9146107625780635d6a738c146107755780635e0d66b01461079557806360315786146107a857806362185d9f146107c857600080fd5b80635037dc99116103375780635037dc991461071357806353a47bb71461071c57806354c054511461072f57806359dc8257146107425780635c975abb1461075557600080fd5b8063422f96bf1461069e578063481c6a75146106a7578063489685b4146106d75780634dfbc89c146106f75780634fc44ee71461070057600080fd5b806323548b8b1161040157806331483e0f116103c557806331483e0f146106015780633305a15d1461063b5780633f282a8d1461065b578063404f57881461066a57806341dcd5fe1461069557600080fd5b806323548b8b1461059f5780632367b6ae146105a85780632a8321b2146105bb5780632b4656c8146105db5780632b7288ae146105ee57600080fd5b80631401f934116104485780631401f934146105335780631627540c1461055357806316c38b3c146105665780631ad483b514610579578063224348361461058c57600080fd5b8063035478d21461048557806305954ad4146104bd5780630a2cc72c146104eb5780630d1a2f891461050057806313af403514610520575b600080fd5b6104a8610493366004614a86565b60226020526000908152604090205460ff1681565b60405190151581526020015b60405180910390f35b6104dd6104cb366004614aa1565b60176020526000908152604090205481565b6040519081526020016104b4565b6104fe6104f9366004614b13565b610b7a565b005b6104dd61050e366004614aa1565b600f6020526000908152604090205481565b6104fe61052e366004614b7e565b610c2c565b610546610541366004614bac565b610d62565b6040516104b49190614bdf565b6104fe610561366004614b7e565b61114b565b6104fe610574366004614c6c565b6111a1565b6104fe610587366004614c89565b611213565b6104fe61059a366004614cb5565b611321565b6104dd60105481565b6104fe6105b6366004615046565b611371565b6104dd6105c9366004614aa1565b60256020526000908152604090205481565b6104fe6105e936600461508a565b61137f565b6104fe6105fc3660046150f8565b6114ee565b6104dd61060f36600461517f565b600c60209081526000948552604080862082529385528385208152918452828420909152825290205481565b6104dd610649366004614aa1565b60236020526000908152604090205481565b6104dd671bc16d674ec8000081565b6104dd610678366004614cb5565b600b60209081526000928352604080842090915290825290205481565b6104dd60195481565b6104dd601a5481565b6005546106bf9061010090046001600160a01b031681565b6040516001600160a01b0390911681526020016104b4565b6106ea6106e53660046151b1565b611613565b6040516104b49190615214565b6104dd60115481565b6104fe61070e366004614b7e565b61184d565b6104dd60245481565b6001546106bf906001600160a01b031681565b6104fe61073d36600461538a565b6118c9565b6104dd610750366004615410565b611d60565b6003546104a89060ff1681565b6104fe61077036600461548c565b611d7f565b6104dd610783366004614aa1565b60096020526000908152604090205481565b6104fe6107a33660046151b1565b611d97565b6104dd6107b6366004614aa1565b60126020526000908152604090205481565b6104fe6107d63660046151b1565b611e9b565b6104fe6107e9366004614aa1565b612081565b6104dd60085481565b6104fe61218d565b6104fe61080d3660046154ba565b612277565b6104fe610820366004614cb5565b61237f565b6104fe610833366004614b7e565b612417565b6104dd610846366004614aa1565b600a6020526000908152604090205481565b6000546106bf906001600160a01b031681565b6006546106bf906001600160a01b031681565b6104dd60025481565b6104a8610895366004614aa1565b60156020526000908152604090205460ff1681565b6104a86108b8366004614a86565b602080526000908152604090205460ff1681565b6104dd6108da3660046154f1565b61249b565b6104dd601f5481565b6104fe6108f6366004615526565b6124b1565b6104dd6109093660046155a9565b61259e565b6104fe61091c366004615703565b612798565b6104fe61092f3660046157d4565b612a5e565b6104dd600d5481565b6104dd601d5481565b6104fe6109543660046158ee565b612be4565b6104fe610967366004614cb5565b612c3e565b6104fe61097a366004615913565b612d5d565b61099261098d366004615956565b612f13565b6040516104b49291906159d5565b6104fe6109ae366004614b7e565b613198565b6104fe6109c1366004615a35565b61327f565b6104dd60185481565b6104fe6109dd366004614aa1565b613328565b6007546106bf906001600160a01b031681565b6104dd610a0336600461517f565b601660209081526000948552604080862082529385528385208152918452828420909152825290205481565b6104a8610a3d366004614cb5565b601460209081526000928352604080842090915290825290205460ff1681565b6104fe610a6b366004614cb5565b613434565b6104fe610a7e3660046151b1565b6134ca565b6104dd610a91366004614aa1565b601e6020526000908152604090205481565b6104dd601c5481565b6104dd60215481565b6104dd610ac3366004614aa1565b60136020526000908152604090205481565b6104fe610ae33660046151b1565b6136b0565b6104fe610af6366004614b7e565b6137a7565b6104dd601b5481565b6104dd610b12366004614aa1565b600e6020526000908152604090205481565b6104dd610b323660046155a9565b613823565b6104fe613845565b6104fe610b4d366004615a6b565b6138a3565b610b65610b60366004615aa6565b61391a565b604080519283526020830191909152016104b4565b610b82613b8d565b60005b82811015610c26576000848483818110610ba157610ba1615b02565b9050602002016020810190610bb69190614a86565b61ffff8116600081815260226020908152604091829020805460ff19168815159081179091558251938452908301529192507f6df8945bb4c412ec4a960d2d0c8d268565213a3ef867bd9c00ed2c104932513f910160405180910390a15080610c1e81615b2e565b915050610b85565b50505050565b6001600160a01b038116610c875760405162461bcd60e51b815260206004820152601960248201527f4f776e657220616464726573732063616e6e6f7420626520300000000000000060448201526064015b60405180910390fd5b600154600160a01b900460ff1615610cf35760405162461bcd60e51b815260206004820152602960248201527f416c726561647920696e697469616c697a65642c20757365206e6f6d696e617460448201526832a732bba7bbb732b960b91b6064820152608401610c7e565b6001805460ff60a01b1916600160a01b179055600080546001600160a01b0383166001600160a01b0319909116811782556040805192835260208301919091527fb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c91015b60405180910390a150565b606060018260ff16118015610d7c57508260ff168260ff16105b610ddb5760405162461bcd60e51b815260206004820152602a60248201527f6b2068617320746f2062652067726561746572207468616e203120616e64206c60448201526932b9b9903a3430b7103760b11b6064820152608401610c7e565b600160005b8360ff168160ff161015610e3157610df9816001615b47565b60ff16610e068287615b60565b610e139060ff1684615b79565b610e1d9190615b90565b915080610e2981615bb2565b915050610de0565b506000816001600160401b03811115610e4c57610e4c614cd7565b604051908082528060200260200182016040528015610e7f57816020015b6060815260200190600190039081610e6a5790505b50905060008460ff166001600160401b03811115610e9f57610e9f614cd7565b604051908082528060200260200182016040528015610ec8578160200160208202803683370190505b50905060005b8560ff168160ff161015610f165780828260ff1681518110610ef257610ef2615b02565b60ff9092166020928302919091019091015280610f0e81615bb2565b915050610ece565b5060005b60008660ff166001600160401b03811115610f3757610f37614cd7565b604051908082528060200260200182016040528015610f60578160200160208202803683370190505b50905060005b8760ff168160ff161015610fca57838160ff1681518110610f8957610f89615b02565b6020026020010151828260ff1681518110610fa657610fa6615b02565b60ff9092166020928302919091019091015280610fc281615bb2565b915050610f66565b5080848381518110610fde57610fde615b02565b60200260200101819052508180610ff490615b2e565b925060019050875b60ff81161561112957611010600182615b60565b61101a908a615b60565b611024908b615b60565b60ff1685611033600184615b60565b60ff168151811061104657611046615b02565b602002602001015160ff1610156111175784611063600183615b60565b60ff168151811061107657611076615b02565b60200260200101805180919061108b90615bb2565b60ff16905250805b8960ff168160ff16101561110d57856110ad600183615b60565b60ff16815181106110c0576110c0615b02565b602002602001015160016110d49190615b47565b868260ff16815181106110e9576110e9615b02565b60ff909216602092830291909101909101528061110581615bb2565b915050611093565b5060009150611129565b8061112181615bd1565b915050610ffc565b50801561113757505061113e565b5050610f1a565b5090925050505b92915050565b611153613b8d565b600180546001600160a01b0319166001600160a01b0383169081179091556040519081527f906a1c6bd7e3091ea86693dd029a831c19049ce77f1dce2ce0bab1cacbabce2290602001610d57565b6111a9613b8d565b60035460ff16151581151514611210576003805460ff191682151590811790915560ff16156111d757426002555b60035460405160ff909116151581527f8fb6c181ee25a520cf3dd6565006ef91229fcfe5a989566c2a3b8c115570cec590602001610d57565b50565b60005433906001600160a01b03168114806112a1575060055460405163e760c39560e01b81526101009091046001600160a01b03169063e760c39590611260908490600190600401615bee565b602060405180830381865afa15801561127d573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112a19190615c1b565b6112bd5760405162461bcd60e51b8152600401610c7e90615c38565b6000848152601260209081526040808320869055601382529182902084905581518681529081018590529081018390527f73231c1da1a7341edd4af21892fc5e1c1f340ae5726ee3e20714c146c968558a906060015b60405180910390a150505050565b611329613b8d565b601c829055601d81905560408051838152602081018390527f8f8d0d2155084c34c7e189b664aa128aebfd57e564d2d01c82a148d3da3a3bbc91015b60405180910390a15050565b61137b8282613c01565b5050565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a008054600160401b810460ff1615906001600160401b03166000811580156113c45750825b90506000826001600160401b031660011480156113e05750303b155b9050811580156113ee575080155b1561140c5760405163f92ee8a960e01b815260040160405180910390fd5b845467ffffffffffffffff19166001178555831561143657845460ff60401b1916600160401b1785555b61143f8c610c2c565b611447613845565b60058054610100600160a81b0319166101006001600160a01b038e81169190910291909117909155600680546001600160a01b031916918c169190911790556008899055600d8890556010879055601186905583156114e057845460ff60401b19168555604051600181527fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d29060200160405180910390a15b505050505050505050505050565b60005433906001600160a01b031681148061157c575060055460405163e760c39560e01b81526101009091046001600160a01b03169063e760c3959061153b908490600190600401615bee565b602060405180830381865afa158015611558573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061157c9190615c1b565b6115985760405162461bcd60e51b8152600401610c7e90615c38565b60005b845181101561160c576115fa8582815181106115b9576115b9615b02565b60200260200101518583815181106115d3576115d3615b02565b60200260200101518584815181106115ed576115ed615b02565b6020026020010151613c5f565b8061160481615b2e565b91505061159b565b5050505050565b606082516001600160401b0381111561162e5761162e614cd7565b60405190808252806020026020018201604052801561166757816020015b611654614a0b565b81526020019060019003908161164c5790505b50905060005b835181101561184657600084828151811061168a5761168a615b02565b60200260200101519050600084516001600160401b038111156116af576116af614cd7565b6040519080825280602002602001820160405280156116f457816020015b60408051808201909152600080825260208201528152602001906001900390816116cd5790505b50905060005b855181101561178b57600086828151811061171757611717615b02565b602002602001015190506040518060400160405280828152602001600b600087815260200190815260200160002060008481526020019081526020016000205481525083838151811061176c5761176c615b02565b602002602001018190525050808061178390615b2e565b9150506116fa565b506040805160608082018352600085815260096020908152848220548452868252600a8152848220548185015283850186905284518086018652878352601282528583205481528783526013825285832054818301528551608081018752888152808301869052888452600e90925291859020549481019490945290830181905286519192909187908790811061182457611824615b02565b602002602001018190525050505050808061183e90615b2e565b91505061166d565b5092915050565b611855613b8d565b6001600160a01b03811661187b5760405162461bcd60e51b8152600401610c7e90615c60565b600680546001600160a01b0319166001600160a01b0383169081179091556040519081527f8e82800b59523f810c97593baf42dfc0492840b36dc94ab1c2d1b167d8b0cb8990602001610d57565b60075433906001600160a01b031681146119345760405162461bcd60e51b815260206004820152602660248201527f4f6e6c792074686520414d4d206d617920706572666f726d207468657365206d6044820152656574686f647360d01b6064820152608401610c7e565b8651600160ff85161160005b82811015611c705760008a828151811061195c5761195c615b02565b6020908102919091018101518082015161ffff16600090815291805260409091205490915060ff16158061199157508a516001145b6119dd5760405162461bcd60e51b815260206004820181905260248201527f43616e277420636f6d62696e652066757475726573206f6e207061726c6179736044820152606401610c7e565b60e0810151610120820151815160ff821610611a2e5760405162461bcd60e51b815260206004820152601060248201526f24b73b30b634b2103837b9b4ba34b7b760811b6044820152606401610c7e565b611a3783613d04565b611a715760405162461bcd60e51b815260206004820152600b60248201526a4e6f742074726164696e6760a81b6044820152606401610c7e565b6000828260ff1681518110611a8857611a88615b02565b6020026020010151600014611ad757828260ff1681518110611aac57611aac615b02565b60200260200101518d670de0b6b3a7640000611ac89190615b79565b611ad29190615b90565b611ada565b60005b90508c811115611c59576000611af08e83615c89565b90508615611b3757611b0a670de0b6b3a764000089615b79565b60ff8c16611b20670de0b6b3a764000084615b79565b611b2a9190615b79565b611b349190615b90565b90505b611b4285828e613e0b565b15611b9d5760405162461bcd60e51b815260206004820152602560248201527f5269736b20706572206d61726b657420616e6420706f736974696f6e20657863604482015264195959195960da1b6064820152608401610c7e565b611ba78582613e90565b15611bed5760405162461bcd60e51b8152602060048201526016602482015275149a5cdac81c195c8819d85b5948195e18d95959195960521b6044820152606401610c7e565b8980611c015750611bff8f8688613ed9565b155b611c4d5760405162461bcd60e51b815260206004820152601c60248201527f496e76616c696420636f6d62696e6174696f6e206465746563746564000000006044820152606401610c7e565b611c578582613fc7565b505b505050508080611c6890615b2e565b915050611940565b508315611d55576000611c838989615c89565b9050611c8f8a826140e5565b15611cdc5760405162461bcd60e51b815260206004820152601a60248201527f534750205269736b207065722067616d652065786365656465640000000000006044820152606401610c7e565b80602360008c600081518110611cf457611cf4615b02565b60200260200101516000015181526020019081526020016000206000828254611d1d9190615c9c565b9091555081905060256000611d318d61259e565b81526020019081526020016000206000828254611d4e9190615c9c565b9091555050505b505050505050505050565b6000611d7188888888888888614203565b90505b979650505050505050565b611d87613b8d565b611d92838383614412565b505050565b60005433906001600160a01b0316811480611e25575060055460405163e760c39560e01b81526101009091046001600160a01b03169063e760c39590611de4908490600190600401615bee565b602060405180830381865afa158015611e01573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611e259190615c1b565b611e415760405162461bcd60e51b8152600401610c7e90615c38565b60005b8351811015610c2657611e89848281518110611e6257611e62615b02565b6020026020010151848381518110611e7c57611e7c615b02565b6020026020010151614477565b80611e9381615b2e565b915050611e44565b60005433906001600160a01b0316811480611f29575060055460405163e760c39560e01b81526101009091046001600160a01b03169063e760c39590611ee8908490600190600401615bee565b602060405180830381865afa158015611f05573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611f299190615c1b565b611f455760405162461bcd60e51b8152600401610c7e90615c38565b60005b8351811015610c2657601154838281518110611f6657611f66615b02565b60200260200101511115611fb15760405162461bcd60e51b815260206004820152601260248201527124b73b30b634b21036bab63a34b83634b2b960711b6044820152606401610c7e565b828181518110611fc357611fc3615b02565b6020026020010151600f6000868481518110611fe157611fe1615b02565b60200260200101518152602001908152602001600020819055507fad3938ddda68b0c35a94769b9bfe09359d462174ac669a50c54f6913ffee238784828151811061202e5761202e615b02565b602002602001015184838151811061204857612048615b02565b6020026020010151604051612067929190918252602082015260400190565b60405180910390a18061207981615b2e565b915050611f48565b60005433906001600160a01b031681148061210f575060055460405163e760c39560e01b81526101009091046001600160a01b03169063e760c395906120ce908490600190600401615bee565b602060405180830381865afa1580156120eb573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061210f9190615c1b565b61212b5760405162461bcd60e51b8152600401610c7e90615c38565b60008211801561213c5750600a8211155b6121585760405162461bcd60e51b8152600401610c7e90615caf565b60248290556040518281527f0c239364e4f5adc356c13510be0c9eb7d5cf361baf8315222cd91233a10c599d90602001611365565b6001546001600160a01b031633146122055760405162461bcd60e51b815260206004820152603560248201527f596f75206d757374206265206e6f6d696e61746564206265666f726520796f7560448201527402063616e20616363657074206f776e65727368697605c1b6064820152608401610c7e565b600054600154604080516001600160a01b0393841681529290911660208301527fb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c910160405180910390a160018054600080546001600160a01b03199081166001600160a01b03841617909155169055565b60005433906001600160a01b0316811480612305575060055460405163e760c39560e01b81526101009091046001600160a01b03169063e760c395906122c4908490600190600401615bee565b602060405180830381865afa1580156122e1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906123059190615c1b565b6123215760405162461bcd60e51b8152600401610c7e90615c38565b61ffff831660008181526020808052604091829020805460ff19168615159081179091558251938452908301527fb51232e4b8914c35311ac17f4d60b83e968f42365fe9f84d7e79f678971f88bf91015b60405180910390a1505050565b612387613b8d565b601054821115801561239b57506011548111155b6123d75760405162461bcd60e51b815260206004820152600d60248201526c125b9d985b1a59081a5b9c1d5d609a1b6044820152606401610c7e565b6008829055600d81905560408051838152602081018390527f66f5882a9629034cfbaab9f0e58425ef198945ed475f313968d861fc699c03c09101611365565b61241f613b8d565b6001600160a01b0381166124455760405162461bcd60e51b8152600401610c7e90615c60565b60058054610100600160a81b0319166101006001600160a01b038416908102919091179091556040519081527f3f95458abea6f2ed78f07dd5ee75af62322c77d86a51a87aabc86aa92d34a6b190602001610d57565b60006124a88484846144e1565b50949350505050565b6124b9613b8d565b83158015906124c757508115155b6125135760405162461bcd60e51b815260206004820152601a60248201527f43616e27742070726f6365737320656d707479206172726179730000000000006044820152606401610c7e565b60005b8481101561259657600086868381811061253257612532615b02565b90506020020135905060005b8481101561258157600086868381811061255a5761255a615b02565b90506020020135905061256e838287614412565b508061257981615b2e565b91505061253e565b5050808061258e90615b2e565b915050612516565b505050505050565b60006125a98261451b565b600082516001600160401b038111156125c4576125c4614cd7565b6040519080825280602002602001820160405280156125ed578160200160208202803683370190505b509050600083516001600160401b0381111561260b5761260b614cd7565b604051908082528060200260200182016040528015612634578160200160208202803683370190505b509050600084516001600160401b0381111561265257612652614cd7565b60405190808252806020026020018201604052801561267b578160200160208202803683370190505b50905060005b85518110156127625785818151811061269c5761269c615b02565b6020026020010151600001518482815181106126ba576126ba615b02565b6020026020010181815250508581815181106126d8576126d8615b02565b6020026020010151604001518382815181106126f6576126f6615b02565b602002602001019061ffff16908161ffff168152505085818151811061271e5761271e615b02565b602002602001015160c0015182828151811061273c5761273c615b02565b62ffffff909216602092830291909101909101528061275a81615b2e565b915050612681565b5082828260405160200161277893929190615d1d565b604051602081830303815290604052805190602001209350505050919050565b60005433906001600160a01b0316811480612826575060055460405163e760c39560e01b81526101009091046001600160a01b03169063e760c395906127e5908490600190600401615bee565b602060405180830381865afa158015612802573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906128269190615c1b565b6128425760405162461bcd60e51b8152600401610c7e90615c38565b60005b8651811015612a555760105483828151811061286357612863615b02565b602002602001015111156128895760405162461bcd60e51b8152600401610c7e90615da3565b82818151811061289b5761289b615b02565b6020026020010151600c60008984815181106128b9576128b9615b02565b6020026020010151815260200190815260200160002060008884815181106128e3576128e3615b02565b602002602001015161ffff168152602001908152602001600020600087848151811061291157612911615b02565b602002602001015162ffffff168152602001908152602001600020600086848151811061294057612940615b02565b602002602001015160020b8152602001908152602001600020819055507fc14b7699de20e98a6336e1020b227f531f06ec5cc9d0f7ba40e51827524fb64a87828151811061299057612990615b02565b60200260200101518783815181106129aa576129aa615b02565b60200260200101518784815181106129c4576129c4615b02565b60200260200101518785815181106129de576129de615b02565b60200260200101518786815181106129f8576129f8615b02565b6020026020010151604051612a3b95949392919094855261ffff93909316602085015262ffffff91909116604084015260020b6060830152608082015260a00190565b60405180910390a180612a4d81615b2e565b915050612845565b50505050505050565b60005433906001600160a01b0316811480612aec575060055460405163e760c39560e01b81526101009091046001600160a01b03169063e760c39590612aab908490600190600401615bee565b602060405180830381865afa158015612ac8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612aec9190615c1b565b612b085760405162461bcd60e51b8152600401610c7e90615c38565b60005b8851811015612b5557612b43898281518110612b2957612b29615b02565b6020026020010151898381518110611e7c57611e7c615b02565b80612b4d81615b2e565b915050612b0b565b5060005b8651811015612bb057612b9e878281518110612b7757612b77615b02565b6020026020010151878381518110612b9157612b91615b02565b6020026020010151614622565b80612ba881615b2e565b915050612b59565b5060005b8451811015611d5557612bd28582815181106115b9576115b9615b02565b80612bdc81615b2e565b915050612bb4565b612bec613b8d565b600082815260156020908152604091829020805460ff19168415159081179091558251858152918201527fd6607d95dba4bba9cc6488f5d59c8c13fd3393bb32e524cbfebe05e87796e7749101611365565b60005433906001600160a01b0316811480612ccc575060055460405163e760c39560e01b81526101009091046001600160a01b03169063e760c39590612c8b908490600190600401615bee565b602060405180830381865afa158015612ca8573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612ccc9190615c1b565b612ce85760405162461bcd60e51b8152600401610c7e90615c38565b600082118015612cf95750600a8211155b612d155760405162461bcd60e51b8152600401610c7e90615caf565b6000838152601e602090815260409182902084905581518581529081018490527fc8ec738370e588095f95e158fd2cd81a0a2ce198cf844dfba650f0719abd4a949101612372565b601854861015612da35760405162461bcd60e51b8152602060048201526011602482015270131bddc8189d5e4b5a5b88185b5bdd5b9d607a1b6044820152606401610c7e565b601b54851015612df55760405162461bcd60e51b815260206004820152601b60248201527f4578636565646564206d617820737570706f72746564206f64647300000000006044820152606401610c7e565b601a54612e028786615c89565b1115612e505760405162461bcd60e51b815260206004820152601d60248201527f4578636565646564206d617820737570706f7274656420616d6f756e740000006044820152606401610c7e565b612e6282670de0b6b3a7640000615c9c565b84612e7585670de0b6b3a7640000615b79565b612e7f9190615b90565b1115612ec15760405162461bcd60e51b81526020600482015260116024820152700a6d8d2e0e0c2ceca40e8dede40d0d2ced607b1b6044820152606401610c7e565b6019548111156125965760405162461bcd60e51b815260206004820152601860248201527f4578636565646564206d6178207469636b65742073697a6500000000000000006044820152606401610c7e565b8351600090606090806001600160401b03811115612f3357612f33614cd7565b604051908082528060200260200182016040528015612f5c578160200160208202803683370190505b5091506000600160ff861611815b8381101561318b5760008a8281518110612f8657612f86615b02565b6020908102919091018101518082015161ffff16600090815291805260409091205490915060ff168015612fba5750600185115b935060008160e0015182610120015160ff1681518110612fdc57612fdc615b02565b602002602001015111801561301d5750670de0b6b3a76400008160e0015182610120015160ff168151811061301357613013615b02565b6020026020010151105b6130585760405162461bcd60e51b815260206004820152600c60248201526b496e76616c6964206f64647360a01b6044820152606401610c7e565b60008160e0015182610120015160ff168151811061307857613078615b02565b60200260200101518b670de0b6b3a76400006130949190615b79565b61309e9190615b90565b905060006130ac8c83615c89565b905084156130f3576130c6670de0b6b3a764000088615b79565b60ff8b166130dc670de0b6b3a764000084615b79565b6130e69190615b79565b6130f09190615b90565b90505b858061310557506131058d8486613ed9565b156131135760029850613175565b61311e83828d613e0b565b8061312e575061312e8382613e90565b1561317557600188858151811061314757613147615b02565b91151560209283029190910190910152600089600281111561316b5761316b6159bf565b0361317557600198505b505050808061318390615b2e565b915050612f6a565b5050505094509492505050565b6131a0613b8d565b6001600160a01b0381166131c65760405162461bcd60e51b8152600401610c7e90615c60565b600154600160a81b900460ff16156132165760405162461bcd60e51b8152602060048201526013602482015272105b1c9958591e481d1c985b9cd9995c9c9959606a1b6044820152606401610c7e565b600080546001600160a01b0383166001600160a01b031990911681179091556001805460ff60a81b1916600160a81b1790556040805182815260208101929092527fb532073b38c83145e3e5135377a08bf9aab55bc0fd7c1179cd4fb995d2a5159c9101610d57565b80518251146132d05760405162461bcd60e51b815260206004820152601860248201527f4d69736d61746368656420696e707574206c656e6774687300000000000000006044820152606401610c7e565b60005b8251811015611d92576133188382815181106132f1576132f1615b02565b602002602001015183838151811061330b5761330b615b02565b6020026020010151613c01565b61332181615b2e565b90506132d3565b60005433906001600160a01b03168114806133b6575060055460405163e760c39560e01b81526101009091046001600160a01b03169063e760c39590613375908490600190600401615bee565b602060405180830381865afa158015613392573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906133b69190615c1b565b6133d25760405162461bcd60e51b8152600401610c7e90615c38565b6000821180156133e35750600a8211155b6133ff5760405162461bcd60e51b8152600401610c7e90615caf565b601f8290556040518281527f71ada83bfd8e30b300b57f2f9d90cc70c7d3b027cd3e38967d588ec4378ecf6290602001611365565b61343c613b8d565b6008548211801561344e5750600d5481115b61348a5760405162461bcd60e51b815260206004820152600d60248201526c125b9d985b1a59081a5b9c1d5d609a1b6044820152606401610c7e565b6010829055601181905560408051838152602081018390527f3ef96d50e94656fa01fa9c9a131bc026d07ed3bb6c53daff5695c3a4a2bad5469101611365565b60005433906001600160a01b0316811480613558575060055460405163e760c39560e01b81526101009091046001600160a01b03169063e760c39590613517908490600190600401615bee565b602060405180830381865afa158015613534573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906135589190615c1b565b6135745760405162461bcd60e51b8152600401610c7e90615c38565b60005b8351811015610c265760115483828151811061359557613595615b02565b602002602001015111156135e05760405162461bcd60e51b815260206004820152601260248201527124b73b30b634b21036bab63a34b83634b2b960711b6044820152606401610c7e565b8281815181106135f2576135f2615b02565b6020026020010151600e600086848151811061361057613610615b02565b60200260200101518152602001908152602001600020819055507fbc374ebda39a7586f4916c1911f82c2b045a44439acc485b4097428bf24ab9f984828151811061365d5761365d615b02565b602002602001015184838151811061367757613677615b02565b6020026020010151604051613696929190918252602082015260400190565b60405180910390a1806136a881615b2e565b915050613577565b60005433906001600160a01b031681148061373e575060055460405163e760c39560e01b81526101009091046001600160a01b03169063e760c395906136fd908490600190600401615bee565b602060405180830381865afa15801561371a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061373e9190615c1b565b61375a5760405162461bcd60e51b8152600401610c7e90615c38565b60005b8351811015610c265761379584828151811061377b5761377b615b02565b6020026020010151848381518110612b9157612b91615b02565b8061379f81615b2e565b91505061375d565b6137af613b8d565b6001600160a01b0381166137d55760405162461bcd60e51b8152600401610c7e90615c60565b600780546001600160a01b0319166001600160a01b0383169081179091556040519081527f9985022676a73860c32a3b91ea7a7dfe2d5e87c148f50eb519d8b0f33ab7f8b990602001610d57565b60008061382f8361259e565b6000908152602560205260409020549392505050565b60055460ff161561388e5760405162461bcd60e51b8152602060048201526013602482015272105b1c9958591e481a5b9a5d1a585b1a5e9959606a1b6044820152606401610c7e565b6005805460ff19166001908117909155600455565b6138ab613b8d565b60188590556019849055601a839055601b8290556021819055604080518681526020810186905290810184905260608101839052608081018290527f6cde94c5ae9fdbda396942be459bab30f8a54e9fc195bca3ab452ab19d4e04069060a00160405180910390a15050505050565b600080600061392a875187610d62565b8051602154919250908111156139905760405162461bcd60e51b815260206004820152602560248201527f6d6178416c6c6f77656453797374656d436f6d62696e6174696f6e7320657863604482015264195959195960da1b6064820152608401610c7e565b6000670de0b6b3a7640000826139a6828a615b79565b6139b09190615b90565b6139ba9190615b90565b905060005b82811015613b615760008482815181106139db576139db615b02565b60200260200101519050600080600090505b82518160ff161015613b16576000838260ff1681518110613a1057613a10615b02565b6020026020010151905060008e8260ff1681518110613a3157613a31615b02565b602002602001015160e001518f8360ff1681518110613a5257613a52615b02565b6020026020010151610120015160ff1681518110613a7257613a72615b02565b60200260200101519050670de0b6b3a7640000818d613a919190615b79565b613a9b9190615b90565b613aad8d670de0b6b3a7640000615c9c565b613ab79190615c89565b613ac9670de0b6b3a764000083615b79565b613ad39190615b90565b90508315613afd57670de0b6b3a7640000613aee8286615b79565b613af89190615b90565b613aff565b805b935050508080613b0e90615bb2565b9150506139ed565b508015613b4c57600081613b32670de0b6b3a764000087615b79565b613b3c9190615b90565b9050613b48818a615c9c565b9850505b50508080613b5990615b2e565b9150506139bf565b5084613b7588670de0b6b3a7640000615b79565b613b7f9190615b90565b935050505094509492505050565b6000546001600160a01b03163314613bff5760405162461bcd60e51b815260206004820152602f60248201527f4f6e6c792074686520636f6e7472616374206f776e6572206d6179207065726660448201526e37b936903a3434b99030b1ba34b7b760891b6064820152608401610c7e565b565b6000613c0c836146b7565b9050613c1e836101000151838361486c565b611d925760405162461bcd60e51b8152602060048201526012602482015271141c9bdbd9881a5cc81b9bdd081d985b1a5960721b6044820152606401610c7e565b600083815260096020526040812054613c7a57600854613c8a565b6000848152600960205260409020545b905080821115613cac5760405162461bcd60e51b8152600401610c7e90615da3565b6000848152600b6020908152604080832086845282529182902084905581518681529081018590529081018390527f38bba85d238b3778cdb675a039211d90996b1dc4b6c6301971bdbd43fbfe886490606001611313565b600080826060015190506000600660009054906101000a90046001600160a01b03166001600160a01b031663397f7823856000015186604001518760c001518860a001518961014001518a610120015160ff1681518110613d6757613d67615b02565b60200260200101516040518663ffffffff1660e01b8152600401613d8f959493929190615dc8565b602060405180830381865afa158015613dac573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190613dd09190615c1b565b9050836080015160ff166000148015613de7575080155b15613e0457428210613e0457601c54613e004284615c89565b1192505b5050919050565b8251604084015160c0850151602086015160a08701516060880151600095949392613e3c928692869186918b614203565b600084815260166020908152604080832061ffff87168452825280832062ffffff8616845282528083206101208c015160ff168452909152902054613e82908890615e57565b1393505050505b9392505050565b600080836000015190506000613eaf82866020015187606001516144e1565b506000838152601760205260409020549091508190613ecf908690615c9c565b1195945050505050565b600080613ee7836001615c9c565b90505b8451811015613fbc576000858281518110613f0757613f07615b02565b6020026020010151905080600001518560000151148015613f375750806020015161ffff16856020015161ffff16145b15613fa95760208086015161ffff1660009081526015909152604090205460ff161580613f7557508060c0015162ffffff168560c0015162ffffff16145b80613f87575060c085015162ffffff16155b80613f99575060c081015162ffffff16155b15613fa957600192505050613e89565b5080613fb481615b2e565b915050613eea565b506000949350505050565b8151604083015160c084015161012085015160005b8660e00151518110156140b957600085815260166020908152604080832061ffff88168452825280832062ffffff87168452825280832084845290915290205460ff83168203614068576140308782615e57565b600087815260166020908152604080832061ffff8a168452825280832062ffffff8916845282528083208684529091529020556140a6565b6140728782615e7f565b600087815260166020908152604080832061ffff8a168452825280832062ffffff8916845282528083208684529091529020555b50806140b181615b2e565b915050613fdc565b50600084815260176020526040812080548792906140d8908490615c9c565b9091555050505050505050565b6000806000602454116140f95760026140fd565b6024545b90506000806141678660008151811061411857614118615b02565b6020026020010151600001518760008151811061413757614137615b02565b6020026020010151602001518860008151811061415657614156615b02565b6020026020010151606001516144e1565b909250905060006141788484615b90565b86602360008a60008151811061419057614190615b02565b6020026020010151600001518152602001908152602001600020546141b59190615c9c565b11905060006141c48584615b90565b87602560006141d28c61259e565b8152602001908152602001600020546141eb9190615c9c565b11905081806141f75750805b98975050505050505050565b600042831115611d7457506000878152600c6020908152604080832061ffff89168452825280832062ffffff881684528252808320600287900b8452909152812054908190036142dc5761ffff87166000908152600960205260409020548061426e57600854614270565b805b915081905061ffff8716156142da5761ffff8089166000908152600b60209081526040808320938b1683529290529081205492508290036142da5761ffff88166000908152600a6020526040902054806142d4576142cf600283615b90565b6142d6565b805b9250505b505b81156143355761ffff87166000908152601e6020526040902054614313576000601f541161430b576001614328565b601f54614328565b61ffff87166000908152601e60205260409020545b6143329082615b90565b90505b61ffff8716600090815260126020526040902054801561440657600061435b4286615c89565b61ffff8a166000908152601360205260408120549192509061438557671bc16d674ec8000061439a565b61ffff8a166000908152601360205260409020545b6143ac670de0b6b3a764000086615b79565b6143b69190615b90565b90508282106143c757809350614403565b60006143d38286615c89565b905083816143e18583615c89565b6143eb9190615b79565b6143f59190615b90565b6143ff9083615c9c565b9450505b50505b50979650505050505050565b6000838152601460209081526040808320858452825291829020805460ff19168415159081179091558251868152918201859052918101919091527ffdd6a752e1596b39b7dc599993db99ce8fcf9f740e9beb9fcd057228e19fc8db90606001612372565b6010548111156144995760405162461bcd60e51b8152600401610c7e90615da3565b60008281526009602090815260409182902083905581518481529081018390527fdd336d23e5a148c17f76389d3ac4d0ab595ec1bc30e226f1d6ee3cd7714dd6f89101611365565b6000806144f685856000806000886000614203565b905060006145048686614882565b90506145108183615b79565b925050935093915050565b805160005b61452b600183615c89565b811015611d9257600061453f826001615c9c565b90505b8281101561460f57600061458885848151811061456157614561615b02565b602002602001015186848151811061457b5761457b615b02565b60200260200101516148c4565b13156145fd578381815181106145a0576145a0615b02565b60200260200101518483815181106145ba576145ba615b02565b60200260200101518584815181106145d4576145d4615b02565b602002602001018684815181106145ed576145ed615b02565b6020026020010182905282905250505b8061460781615b2e565b915050614542565b508061461a81615b2e565b915050614520565b60008281526009602052604081205461463d5760085461464d565b6000838152600960205260409020545b90508082111561466f5760405162461bcd60e51b8152600401610c7e90615da3565b6000838152600a602090815260409182902084905581518581529081018490527ffbd9918f75c3522536de3aee36688a9c85119cfd97fab820e6c2a4bf5b08f4699101612372565b6000808260000151836020015161ffff16846040015161ffff168560600151866080015160ff168760a0015160020b8860c0015162ffffff168960e0015160405160200161470c989796959493929190615e9f565b604051602081830303815290604052905060005b8361014001515181101561485d5760005b846101400151828151811061474857614748615b02565b60200260200101515181101561484c5782856101400151838151811061477057614770615b02565b6020026020010151828151811061478957614789615b02565b60200260200101516000015161ffff1686610140015184815181106147b0576147b0615b02565b602002602001015183815181106147c9576147c9615b02565b60200260200101516020015160ff1687610140015185815181106147ef576147ef615b02565b6020026020010151848151811061480857614808615b02565b60200260200101516040015160020b60405160200161482a9493929190615f04565b60405160208183030381529060405292508061484590615b2e565b9050614731565b5061485681615b2e565b9050614720565b50805160209091012092915050565b6000826148798584614992565b14949350505050565b6000828152600f6020526040812054908190036111455761ffff82166000908152600e6020526040902054806148ba57600d546148bc565b805b949350505050565b6000816040015161ffff16836040015161ffff1610156148e75750600019611145565b816040015161ffff16836040015161ffff16111561490757506001611145565b8160c0015162ffffff168360c0015162ffffff16101561492a5750600019611145565b8160c0015162ffffff168360c0015162ffffff16111561494c57506001611145565b8160a0015160020b8360a0015160020b121561496b5750600019611145565b8160a0015160020b8360a0015160020b131561498957506001611145565b50600092915050565b600081815b84518110156149d7576149c3828683815181106149b6576149b6615b02565b60200260200101516149df565b9150806149cf81615b2e565b915050614997565b509392505050565b60008183106149fb576000828152602084905260409020613e89565b5060009182526020526040902090565b604051806080016040528060008152602001614a4160405180606001604052806000815260200160008152602001606081525090565b815260200160008152602001614a6a604051806040016040528060008152602001600081525090565b905290565b803561ffff81168114614a8157600080fd5b919050565b600060208284031215614a9857600080fd5b613e8982614a6f565b600060208284031215614ab357600080fd5b5035919050565b60008083601f840112614acc57600080fd5b5081356001600160401b03811115614ae357600080fd5b6020830191508360208260051b8501011115614afe57600080fd5b9250929050565b801515811461121057600080fd5b600080600060408486031215614b2857600080fd5b83356001600160401b03811115614b3e57600080fd5b614b4a86828701614aba565b9094509250506020840135614b5e81614b05565b809150509250925092565b6001600160a01b038116811461121057600080fd5b600060208284031215614b9057600080fd5b81356148ba81614b69565b803560ff81168114614a8157600080fd5b60008060408385031215614bbf57600080fd5b614bc883614b9b565b9150614bd660208401614b9b565b90509250929050565b6000602080830181845280855180835260408601915060408160051b87010192508387016000805b83811015614c5e57888603603f19018552825180518088529088019088880190845b81811015614c4857835160ff168352928a0192918a0191600101614c29565b5090975050509386019391860191600101614c07565b509398975050505050505050565b600060208284031215614c7e57600080fd5b81356148ba81614b05565b600080600060608486031215614c9e57600080fd5b505081359360208301359350604090920135919050565b60008060408385031215614cc857600080fd5b50508035926020909101359150565b634e487b7160e01b600052604160045260246000fd5b604051606081016001600160401b0381118282101715614d0f57614d0f614cd7565b60405290565b60405161016081016001600160401b0381118282101715614d0f57614d0f614cd7565b604051601f8201601f191681016001600160401b0381118282101715614d6057614d60614cd7565b604052919050565b8035600281900b8114614a8157600080fd5b803562ffffff81168114614a8157600080fd5b60006001600160401b03821115614da657614da6614cd7565b5060051b60200190565b600082601f830112614dc157600080fd5b81356020614dd6614dd183614d8d565b614d38565b82815260059290921b84018101918181019086841115614df557600080fd5b8286015b84811015614e105780358352918301918301614df9565b509695505050505050565b600082601f830112614e2c57600080fd5b81356020614e3c614dd183614d8d565b82815260059290921b84018101918181019086841115614e5b57600080fd5b8286015b84811015614e105780356001600160401b03811115614e7e5760008081fd5b8701603f81018913614e905760008081fd5b848101356040614ea2614dd183614d8d565b8281526060928302840182019288820191908d851115614ec25760008081fd5b948301945b84861015614f1f5780868f031215614edf5760008081fd5b614ee7614ced565b614ef087614a6f565b8152614efd8b8801614b9b565b8b820152614f0c858801614d68565b8186015283529485019491890191614ec7565b50875250505092840192508301614e5f565b60006101608284031215614f4457600080fd5b614f4c614d15565b905081358152614f5e60208301614a6f565b6020820152614f6f60408301614a6f565b604082015260608201356060820152614f8a60808301614b9b565b6080820152614f9b60a08301614d68565b60a0820152614fac60c08301614d7a565b60c082015260e08201356001600160401b0380821115614fcb57600080fd5b614fd785838601614db0565b60e084015261010091508184013581811115614ff257600080fd5b614ffe86828701614db0565b83850152506101209150615013828501614b9b565b828401526101409150818401358181111561502d57600080fd5b61503986828701614e1b565b8385015250505092915050565b6000806040838503121561505957600080fd5b82356001600160401b0381111561506f57600080fd5b61507b85828601614f31565b95602094909401359450505050565b600080600080600080600060e0888a0312156150a557600080fd5b87356150b081614b69565b965060208801356150c081614b69565b955060408801356150d081614b69565b969995985095966060810135965060808101359560a0820135955060c0909101359350915050565b60008060006060848603121561510d57600080fd5b83356001600160401b038082111561512457600080fd5b61513087838801614db0565b9450602086013591508082111561514657600080fd5b61515287838801614db0565b9350604086013591508082111561516857600080fd5b5061517586828701614db0565b9150509250925092565b6000806000806080858703121561519557600080fd5b5050823594602084013594506040840135936060013592509050565b600080604083850312156151c457600080fd5b82356001600160401b03808211156151db57600080fd5b6151e786838701614db0565b935060208501359150808211156151fd57600080fd5b5061520a85828601614db0565b9150509250929050565b60006020808301818452808551808352604092508286019150828160051b8701018488016000805b848110156152fc57898403603f190186528251805185528881015160a08a8701819052815190870152808a015160c0870152880151606060e0870181905281516101008801819052918b019185906101208901905b808310156152c2576152ae82865180518252602090810151910152565b938d019360019290920191908c0190615291565b50848c0151898d015293820151936152e6838a018680518252602090810151910152565b998c01999750505093890193505060010161523c565b50919998505050505050505050565b600082601f83011261531c57600080fd5b8135602061532c614dd183614d8d565b82815260059290921b8401810191818101908684111561534b57600080fd5b8286015b84811015614e105780356001600160401b0381111561536e5760008081fd5b61537c8986838b0101614f31565b84525091830191830161534f565b60008060008060008060c087890312156153a357600080fd5b86356001600160401b038111156153b957600080fd5b6153c589828a0161530b565b965050602087013594506040870135935060608701356153e481614b05565b92506153f260808801614b9b565b915060a087013561540281614b05565b809150509295509295509295565b600080600080600080600060e0888a03121561542b57600080fd5b8735965061543b60208901614a6f565b955061544960408901614a6f565b945061545760608901614d7a565b935061546560808901614d68565b925060a0880135915060c088013561547c81614b05565b8091505092959891949750929550565b6000806000606084860312156154a157600080fd5b83359250602084013591506040840135614b5e81614b05565b600080604083850312156154cd57600080fd5b6154d683614a6f565b915060208301356154e681614b05565b809150509250929050565b60008060006060848603121561550657600080fd5b8335925061551660208501614a6f565b9150604084013590509250925092565b60008060008060006060868803121561553e57600080fd5b85356001600160401b038082111561555557600080fd5b61556189838a01614aba565b9097509550602088013591508082111561557a57600080fd5b5061558788828901614aba565b909450925050604086013561559b81614b05565b809150509295509295909350565b6000602082840312156155bb57600080fd5b81356001600160401b038111156155d157600080fd5b6148bc8482850161530b565b600082601f8301126155ee57600080fd5b813560206155fe614dd183614d8d565b82815260059290921b8401810191818101908684111561561d57600080fd5b8286015b84811015614e105761563281614a6f565b8352918301918301615621565b600082601f83011261565057600080fd5b81356020615660614dd183614d8d565b82815260059290921b8401810191818101908684111561567f57600080fd5b8286015b84811015614e105761569481614d7a565b8352918301918301615683565b600082601f8301126156b257600080fd5b813560206156c2614dd183614d8d565b82815260059290921b840181019181810190868411156156e157600080fd5b8286015b84811015614e10576156f681614d68565b83529183019183016156e5565b600080600080600060a0868803121561571b57600080fd5b85356001600160401b038082111561573257600080fd5b61573e89838a01614db0565b9650602088013591508082111561575457600080fd5b61576089838a016155dd565b9550604088013591508082111561577657600080fd5b61578289838a0161563f565b9450606088013591508082111561579857600080fd5b6157a489838a016156a1565b935060808801359150808211156157ba57600080fd5b506157c788828901614db0565b9150509295509295909350565b600080600080600080600060e0888a0312156157ef57600080fd5b87356001600160401b038082111561580657600080fd5b6158128b838c01614db0565b985060208a013591508082111561582857600080fd5b6158348b838c01614db0565b975060408a013591508082111561584a57600080fd5b6158568b838c01614db0565b965060608a013591508082111561586c57600080fd5b6158788b838c01614db0565b955060808a013591508082111561588e57600080fd5b61589a8b838c01614db0565b945060a08a01359150808211156158b057600080fd5b6158bc8b838c01614db0565b935060c08a01359150808211156158d257600080fd5b506158df8a828b01614db0565b91505092959891949750929550565b6000806040838503121561590157600080fd5b8235915060208301356154e681614b05565b60008060008060008060c0878903121561592c57600080fd5b505084359660208601359650604086013595606081013595506080810135945060a0013592509050565b6000806000806080858703121561596c57600080fd5b84356001600160401b0381111561598257600080fd5b61598e8782880161530b565b9450506020850135925060408501356159a681614b05565b91506159b460608601614b9b565b905092959194509250565b634e487b7160e01b600052602160045260246000fd5b600060408201600385106159eb576159eb6159bf565b8483526020604081850152818551808452606086019150828701935060005b81811015615a28578451151583529383019391830191600101615a0a565b5090979650505050505050565b60008060408385031215615a4857600080fd5b82356001600160401b0380821115615a5f57600080fd5b6151e78683870161530b565b600080600080600060a08688031215615a8357600080fd5b505083359560208501359550604085013594606081013594506080013592509050565b60008060008060808587031215615abc57600080fd5b84356001600160401b03811115615ad257600080fd5b615ade8782880161530b565b945050615aed60208601614b9b565b93969395505050506040820135916060013590565b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052601160045260246000fd5b600060018201615b4057615b40615b18565b5060010190565b60ff818116838216019081111561114557611145615b18565b60ff828116828216039081111561114557611145615b18565b808202811582820484141761114557611145615b18565b600082615bad57634e487b7160e01b600052601260045260246000fd5b500490565b600060ff821660ff8103615bc857615bc8615b18565b60010192915050565b600060ff821680615be457615be4615b18565b6000190192915050565b6001600160a01b03831681526040810160048310615c0e57615c0e6159bf565b8260208301529392505050565b600060208284031215615c2d57600080fd5b81516148ba81614b05565b6020808252600e908201526d24b73b30b634b21039b2b73232b960911b604082015260600190565b6020808252600f908201526e496e76616c6964206164647265737360881b604082015260600190565b8181038181111561114557611145615b18565b8082018082111561114557611145615b18565b60208082526014908201527344697669646572206f7574206f662072616e676560601b604082015260600190565b600081518084526020808501945080840160005b83811015615d1257815162ffffff1687529582019590820190600101615cf1565b509495945050505050565b606080825284519082018190526000906020906080840190828801845b82811015615d5657815184529284019290840190600101615d3a565b5050508381038285015285518082528683019183019060005b81811015615d8f57835161ffff1683529284019291840191600101615d6f565b505084810360408601526141f78187615cdd565b6020808252600b908201526a0496e76616c6964206361760ac1b604082015260600190565b600060a08201878352602061ffff80891682860152604062ffffff8916818701526060600289810b8289015260a0608089015285895180885260c08a019150868b01975060005b81811015615e435788518051881684528881015160ff1689850152860151840b868401529787019791840191600101615e0f565b50909e9d5050505050505050505050505050565b8082018281126000831280158216821582161715615e7757615e77615b18565b505092915050565b818103600083128015838313168383128216171561184657611846615b18565b8881526000602089818401528860408401528760608401528660808401528560a08401528460c084015260e08301845182860160005b82811015615ef157815184529284019290840190600101615ed5565b50919d9c50505050505050505050505050565b6000855160005b81811015615f255760208189018101518583015201615f0b565b5091909101938452506020830191909152604082015260600191905056fea26469706673582212201b49190b0bc989ec77bbd9b1e2b539b1929cb05fa9887d68108b566c4700d01864736f6c63430008140033