ShortPool | Ethereum

codeslaw

ShortPoolSolidityv0.8.26+commit.8a97fa7a

network

Ethereum

address0x7aed2bb6facaf6f843a7b758053573a4ea9e1f70

deployer0xa1d0027Ca4C0CB79f9403d06A29470abC7b0a468

tx last 12 months

0 txs

calls last 12 months

8 calls

61 Files

@openzeppelin

contracts

access

IAccessControl.sol

interfaces

draft-IERC6093.sol

token

ERC20

IERC20.sol

extensions

IERC20Metadata.sol

IERC20Permit.sol

utils

SafeERC20.sol

ERC721

IERC721.sol

IERC721Receiver.sol

extensions

IERC721Metadata.sol

utils

Address.sol

Strings.sol

introspection

IERC165.sol

math

Math.sol

SignedMath.sol

structs

EnumerableSet.sol

contracts-upgradeable

access

AccessControlUpgradeable.sol

proxy

utils

Initializable.sol

token

ERC721

ERC721Upgradeable.sol

utils

ContextUpgradeable.sol

PausableUpgradeable.sol

ReentrancyGuardUpgradeable.sol

introspection

ERC165Upgradeable.sol

contracts

common

ERC3156

IERC3156FlashBorrower.sol

IERC3156FlashLender.sol

codec

WordCodec.sol

utils

PermissionedSwap.sol

core

FlashLoans.sol

PoolConfiguration.sol

ProtocolFees.sol

pool

AaveFundingPool.sol

BasePool.sol

PoolConstant.sol

PoolErrors.sol

PoolStorage.sol

PositionLogic.sol

TickLogic.sol

short

ShortPool.sol

ShortPoolManager.sol

fund

AssetManagement.sol

IStrategy.sol

helpers

ProtocolTreasury.sol

interfaces

IHarvesterCallback.sol

interfaces

Aave

IAaveV3Pool.sol

IFxUSDBasePool.sol

IFxUSDPriceOracle.sol

ILongPool.sol

ILongPoolManager.sol

IPool.sol

IPoolConfiguration.sol

IPoolManager.sol

IProtocolFees.sol

IReservePool.sol

IRewardSplitter.sol

IShortPool.sol

IShortPoolManager.sol

libraries

BitMath.sol

Math.sol

TickBitmap.sol

TickMath.sol

price-oracle

interfaces

IPriceOracle.sol

rate-provider

interfaces

IRateProvider.sol

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

abi

constructor

constructor(address _poolManager, address _configuration)

functions

balanceOf

view

function balanceOf(address owner) view returns (uint256)

collateralToken

view

function collateralToken() view returns (address)

configuration

view

function configuration() view returns (address)

counterparty

view

function counterparty() view returns (address)

creditNote

view

function creditNote() view returns (address)

debtToken

view

function debtToken() view returns (address)

DEFAULT_ADMIN_ROLE

view

function DEFAULT_ADMIN_ROLE() view returns (bytes32)

EMERGENCY_ROLE

view

function EMERGENCY_ROLE() view returns (bytes32)

fxUSD

view

function fxUSD() view returns (address)

getApproved

view

function getApproved(uint256 tokenId) view returns (address)

getDebtAndCollateralIndex

view

function getDebtAndCollateralIndex() view returns (uint256, uint256)

getDebtAndCollateralShares

view

function getDebtAndCollateralShares() view returns (uint256, uint256)

getDebtRatioRange

view

function getDebtRatioRange() view returns (uint256, uint256)

getLiquidateRatios

view

function getLiquidateRatios() view returns (uint256, uint256)

getMaxRedeemRatioPerTick

view

function getMaxRedeemRatioPerTick() view returns (uint256)

getNextPositionId

view

function getNextPositionId() view returns (uint32)

getNextTreeNodeId

view

function getNextTreeNodeId() view returns (uint48)

getPosition

view

function getPosition(uint256 tokenId) view returns (uint256 rawColls, uint256 rawDebts)

getPositionDebtRatio

view

function getPositionDebtRatio(uint256 tokenId) view returns (uint256 debtRatio)

getRebalanceRatios

view

function getRebalanceRatios() view returns (uint256, uint256)

getRoleAdmin

view

function getRoleAdmin(bytes32 role) view returns (bytes32)

getTopTick

view

function getTopTick() view returns (int16)

getTotalRawCollaterals

view

function getTotalRawCollaterals() view returns (uint256)

getTotalRawDebts

view

function getTotalRawDebts() view returns (uint256)

hasRole

view

function hasRole(bytes32 role, address account) view returns (bool)

isApprovedForAll

view

function isApprovedForAll(address owner, address operator) view returns (bool)

isBorrowPaused

view

function isBorrowPaused() view returns (bool)

isKilled

view

function isKilled() view returns (bool)

isRedeemPaused

view

function isRedeemPaused() view returns (bool)

lastFundingTimestamp

view

function lastFundingTimestamp() view returns (uint256)

name

view

function name() view returns (string)

ownerOf

view

function ownerOf(uint256 tokenId) view returns (address)

poolManager

view

function poolManager() view returns (address)

positionData

view

function positionData(uint256) view returns (int16 tick, uint48 nodeId, uint96 colls, uint96 debts)

positionMetadata

view

function positionMetadata(uint256) view returns (bytes32)

priceOracle

view

function priceOracle() view returns (address)

supportsInterface

view

function supportsInterface(bytes4 interfaceId) view returns (bool)

symbol

view

function symbol() view returns (string)

tickBitmap

view

function tickBitmap(int8) view returns (uint256)

tickData

view

function tickData(int256) view returns (uint48)

tickTreeData

view

function tickTreeData(uint256) view returns (bytes32 metadata, bytes32 value)

tokenURI

view

function tokenURI(uint256 tokenId) view returns (string)

approve

nonpayable

function approve(address to, uint256 tokenId)

getRootNodeAndCompress

nonpayable

function getRootNodeAndCompress(uint256 node) returns (uint256 root, uint256 collRatio, uint256 debtRatio)

grantRole

nonpayable

function grantRole(bytes32 role, address account)

initialize

nonpayable

function initialize(address admin, string name_, string symbol_, address _priceOracle, address _debtToken, address _creditNote)

isUnderCollateral

nonpayable

function isUnderCollateral() returns (bool underCollateral, uint256 shortfall)

kill

nonpayable

function kill()

liquidate

nonpayable

function liquidate(uint256 maxRawDebts, uint256 reservedRawColls) returns (tuple result)

operate

nonpayable

function operate(uint256 positionId, int256 newRawColl, int256 newRawDebt, address owner) returns (uint256, int256, int256, uint256)

rebalance

nonpayable

function rebalance(int16 tick, uint256 maxRawDebts) returns (tuple result)

rebalance

nonpayable

function rebalance(uint256 maxRawDebts) returns (tuple result)

redeem

nonpayable

function redeem(uint256 rawDebts) returns (uint256 rawColls)

redeemByCreditNote

nonpayable

function redeemByCreditNote(uint256 creditNoteAmount) returns (uint256 rawColls)

reduceDebt

nonpayable

function reduceDebt(uint256 rawAmount)

renounceRole

nonpayable

function renounceRole(bytes32 role, address callerConfirmation)

revokeRole

nonpayable

function revokeRole(bytes32 role, address account)

safeTransferFrom

nonpayable

function safeTransferFrom(address from, address to, uint256 tokenId, bytes data)

safeTransferFrom

nonpayable

function safeTransferFrom(address from, address to, uint256 tokenId)

setApprovalForAll

nonpayable

function setApprovalForAll(address operator, bool approved)

transferFrom

nonpayable

function transferFrom(address from, address to, uint256 tokenId)

updateBorrowAndRedeemStatus

nonpayable

function updateBorrowAndRedeemStatus(bool borrowStatus, bool redeemStatus)

updateCounterparty

nonpayable

function updateCounterparty(address newCounterparty)

updateDebtRatioRange

nonpayable

function updateDebtRatioRange(uint256 minRatio, uint256 maxRatio)

updateLiquidateRatios

nonpayable

function updateLiquidateRatios(uint256 debtRatio, uint256 bonusRatio)

updateMaxRedeemRatioPerTick

nonpayable

function updateMaxRedeemRatioPerTick(uint256 ratio)

updatePriceOracle

nonpayable

function updatePriceOracle(address newOracle)

updateRebalanceRatios

nonpayable

function updateRebalanceRatios(uint256 debtRatio, uint256 bonusRatio)

events

Approval

event Approval(address indexed owner, address indexed approved, uint256 indexed tokenId)

ApprovalForAll

event ApprovalForAll(address indexed owner, address indexed operator, bool approved)

CollateralIndexSnapshot

event CollateralIndexSnapshot(uint256 index)

DebtIndexSnapshot

event DebtIndexSnapshot(uint256 index)

Initialized

event Initialized(uint64 version)

PositionSnapshot

event PositionSnapshot(uint256 position, int16 tick, uint256 collShares, uint256 debtShares, uint256 price)

RoleAdminChanged

event RoleAdminChanged(bytes32 indexed role, bytes32 indexed previousAdminRole, bytes32 indexed newAdminRole)

RoleGranted

event RoleGranted(bytes32 indexed role, address indexed account, address indexed sender)

RoleRevoked

event RoleRevoked(bytes32 indexed role, address indexed account, address indexed sender)

TickMovement

event TickMovement(int16 oldTick, int16 newTick, uint256 collShares, uint256 debtShares, uint256 price)

Transfer

event Transfer(address indexed from, address indexed to, uint256 indexed tokenId)

UpdateBorrowStatus

event UpdateBorrowStatus(bool status)

UpdateCounterparty

event UpdateCounterparty(address oldCounterparty, address newCounterparty)

UpdateDebtRatioRange

event UpdateDebtRatioRange(uint256 minDebtRatio, uint256 maxDebtRatio)

UpdateLiquidateRatios

event UpdateLiquidateRatios(uint256 debtRatio, uint256 bonusRatio)

UpdateMaxRedeemRatioPerTick

event UpdateMaxRedeemRatioPerTick(uint256 ratio)

UpdatePriceOracle

event UpdatePriceOracle(address oldOracle, address newOracle)

UpdateRebalanceRatios

event UpdateRebalanceRatios(uint256 debtRatio, uint256 bonusRatio)

UpdateRedeemStatus

event UpdateRedeemStatus(bool status)

errors

AccessControlBadConfirmation

error AccessControlBadConfirmation()

AccessControlUnauthorizedAccount

error AccessControlUnauthorizedAccount(address account, bytes32 neededRole)

ERC721IncorrectOwner

error ERC721IncorrectOwner(address sender, uint256 tokenId, address owner)

ERC721InsufficientApproval

error ERC721InsufficientApproval(address operator, uint256 tokenId)

ERC721InvalidApprover

error ERC721InvalidApprover(address approver)

ERC721InvalidOperator

error ERC721InvalidOperator(address operator)

ERC721InvalidOwner

error ERC721InvalidOwner(address owner)

ERC721InvalidReceiver

error ERC721InvalidReceiver(address receiver)

ERC721InvalidSender

error ERC721InvalidSender(address sender)

ERC721NonexistentToken

error ERC721NonexistentToken(uint256 tokenId)

ErrorBorrowPaused

error ErrorBorrowPaused()

ErrorCallerNotPoolManager

error ErrorCallerNotPoolManager()

ErrorCollateralTooSmall

error ErrorCollateralTooSmall()

ErrorDebtRatioTooLarge

error ErrorDebtRatioTooLarge()

ErrorDebtRatioTooSmall

error ErrorDebtRatioTooSmall()

ErrorDebtTooSmall

error ErrorDebtTooSmall()

ErrorInsufficientCollateralToLiquidate

error ErrorInsufficientCollateralToLiquidate()

ErrorNoSupplyAndNoBorrow

error ErrorNoSupplyAndNoBorrow()

ErrorNotPositionOwner

error ErrorNotPositionOwner()

ErrorOverflow

error ErrorOverflow()

ErrorPoolKilled

error ErrorPoolKilled()

ErrorPoolUnderCollateral

error ErrorPoolUnderCollateral()

ErrorPositionInLiquidationMode

error ErrorPositionInLiquidationMode()

ErrorRebalanceDebtRatioNotReached

error ErrorRebalanceDebtRatioNotReached()

ErrorRebalanceOnLiquidatablePosition

error ErrorRebalanceOnLiquidatablePosition()

ErrorRebalanceOnLiquidatableTick

error ErrorRebalanceOnLiquidatableTick()

ErrorRedeemPaused

error ErrorRedeemPaused()

ErrorReduceTooMuchDebt

error ErrorReduceTooMuchDebt()

ErrorTickNotMoved

error ErrorTickNotMoved()

ErrorValueTooLarge

error ErrorValueTooLarge()

ErrorWithdrawExceedSupply

error ErrorWithdrawExceedSupply()

ErrorZeroAddress

error ErrorZeroAddress()

InvalidInitialization

error InvalidInitialization()

NotInitializing

error NotInitializing()

bytecode

creation bytecode

0x60e060405234801561000f575f80fd5b50604051615e5d380380615e5d83398101604081905261002e91610105565b8181610039826100c0565b6001600160a01b03821660a081905260408051636dbe4bb960e01b81529051636dbe4bb9916004808201926020929091908290030181865afa158015610081573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906100a59190610136565b6001600160a01b039081166080521660c05250610156915050565b6001600160a01b0381166100e75760405163a7f9319d60e01b815260040160405180910390fd5b50565b80516001600160a01b0381168114610100575f80fd5b919050565b5f8060408385031215610116575f80fd5b61011f836100ea565b915061012d602084016100ea565b90509250929050565b5f60208284031215610146575f80fd5b61014f826100ea565b9392505050565b60805160a05160c051615c826101db5f395f81816106ad01528181610b98015281816129bf0152612acd01525f81816109a201528181610a840152818161149e0152818161190301528181611c0701528181611ccc01528181611d9701528181611f2a0152818161223701526125e701525f81816106d4015261238c0152615c825ff3fe608060405234801561000f575f80fd5b50600436106103eb575f3560e01c80638fe8a1011161020b578063cdc6c7cc1161011f578063e985e9c5116100b4578063ee65a03c11610084578063ee65a03c14610a24578063efc5824014610a2c578063f499301814610a3f578063f8d8989814610a52578063f9d45fd214610a65575f80fd5b8063e985e9c5146109e3578063e9a0e8fa146109f6578063eb02c301146109fe578063ecf1a3a614610a11575f80fd5b8063db006a75116100ef578063db006a7514610977578063db8d8fc61461098a578063dc4c90d31461099d578063df9cbd3a146109c4575f80fd5b8063cdc6c7cc146108ec578063d032c4e51461090b578063d296d1f11461091e578063d547741f14610964575f80fd5b8063a22cb465116101a0578063b88d4fde11610170578063b88d4fde1461088d578063c3df6546146108a0578063c4617b6e146108b3578063c87b56dd146108c6578063c9e77ee8146108d9575f80fd5b8063a22cb46514610842578063b2016bd414610855578063b67b730b14610867578063b71348d11461087a575f80fd5b806395e79d61116101db57806395e79d611461078b578063960a8b9214610793578063a0ab910e146107b2578063a217fddf1461083b575f80fd5b80638fe8a1011461075a57806391d148541461076757806393ca34151461077a57806395d89b4114610783575f80fd5b806339d1fc821161030257806363d36fa41161029757806370f3c4b11161026757806370f3c4b11461070957806375413fdd146107115780637f20a8c61461071957806384c1999b14610734578063861b4cfe14610747575f80fd5b806363d36fa4146106a05780636c70bee9146106a85780636dbe4bb9146106cf57806370a08231146106f6575f80fd5b806349f34837116102d257806349f3483714610631578063581bc9c91461065f578063623d3a13146106855780636352211e1461068d575f80fd5b806339d1fc82146105fb5780633cd9b53c1461060e57806341c0e1b51461061657806342842e0e1461061e575f80fd5b80631a0dde1c11610383578063248a9ca311610353578063248a9ca31461058857806324b333921461059b5780632630c12f146105c25780632f2ff15d146105d557806336568abe146105e8575f80fd5b80631a0dde1c1461050e57806320df43591461052d578063233966141461056257806323b872dd14610575575f80fd5b80630723d571116103be5780630723d5711461047c578063081812fc146104b1578063095ea7b3146104dc578063143d557c146104f1575f80fd5b806301ffc9a7146103ef578063032d227614610417578063067f4ddd1461044a57806306fdde0314610467575b5f80fd5b6104026103fd3660046154c0565b610a6d565b60405190151581526020015b60405180910390f35b61042a6104253660046154f1565b610a7d565b60408051948552602085019390935291830152606082015260800161040e565b6104526113cb565b60405163ffffffff909116815260200161040e565b61046f6113d9565b60405161040e919061555b565b61048f61048a36600461556d565b61147a565b604080518251815260208084015190820152918101519082015260600161040e565b6104c46104bf36600461559c565b61178a565b6040516001600160a01b03909116815260200161040e565b6104ef6104ea3660046155b3565b61179e565b005b6104f96117ad565b6040805192835260208301919091520161040e565b6105166117bf565b60405165ffffffffffff909116815260200161040e565b6105547fbf233dd2aafeb4d50879c4aa5c81e96d92f6e6945c906a58f9f2d1c1631b4b2681565b60405190815260200161040e565b6104ef6105703660046155cd565b6117c8565b6104ef6105833660046155e6565b6117db565b61055461059636600461559c565b611869565b6105166105a936600461559c565b60096020525f908152604090205465ffffffffffff1681565b6001546104c4906001600160a01b031681565b6104ef6105e3366004615620565b611889565b6104ef6105f6366004615620565b6118a5565b6104ef6106093660046155cd565b6118dd565b6104026118f0565b6104ef611900565b6104ef61062c3660046155e6565b611958565b61064461063f36600461559c565b611972565b6040805193845260208401929092529082015260600161040e565b6104f961066d36600461559c565b600a6020525f90815260409020805460019091015482565b6104f9611996565b6104c461069b36600461559c565b6119a0565b6104f96119aa565b6104c47f000000000000000000000000000000000000000000000000000000000000000081565b6104c47f000000000000000000000000000000000000000000000000000000000000000081565b6105546107043660046155cd565b6119b4565b610402611a0c565b6104f9611a19565b610721611a23565b60405160019190910b815260200161040e565b6104ef61074236600461564a565b611a2c565b61055461075536600461559c565b611a40565b60cc546104029060ff1681565b610402610775366004615620565b611b14565b61055460cb5481565b61046f611b4a565b610554611b88565b6105546107a136600461566a565b60086020525f908152604090205481565b6108006107c036600461559c565b60066020525f9081526040902054600181900b9065ffffffffffff62010000820416906001600160601b03600160401b8204811691600160a01b90041684565b6040805160019590950b855265ffffffffffff90931660208501526001600160601b039182169284019290925216606082015260800161040e565b6105545f81565b6104ef610850366004615696565b611b91565b5f546104c4906001600160a01b031681565b6104ef61087536600461564a565b611b9c565b6104ef6108883660046156cb565b611bb0565b6104ef61089b366004615772565b611bec565b600b546104c4906001600160a01b031681565b6105546108c136600461559c565b611c03565b61046f6108d436600461559c565b611c58565b6104ef6108e736600461559c565b611cc9565b6108f4611d92565b60408051921515835260208301919091520161040e565b6104ef61091936600461559c565b611eed565b61093161092c36600461564a565b611f00565b60405161040e91908151815260208083015190820152604080830151908201526060918201519181019190915260800190565b6104ef610972366004615620565b612217565b61055461098536600461559c565b612233565b6104ef610998366004615807565b6122ae565b6104c47f000000000000000000000000000000000000000000000000000000000000000081565b6105546109d236600461559c565b60076020525f908152604090205481565b6104026109f13660046158ab565b612457565b6104f96124a3565b6104f9610a0c36600461559c565b6124ad565b60ca546104c4906001600160a01b031681565b610554612583565b6104ef610a3a36600461564a565b6125af565b61048f610a4d36600461559c565b6125c3565b60c9546104c4906001600160a01b031681565b6105546128ea565b5f610a778261290f565b92915050565b5f808080337f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031614610aca57604051630a7c22bf60e11b815260040160405180910390fd5b86158015610ad6575085155b15610af457604051633d38350560e01b815260040160405180910390fd5b8615801590610b1c5750610b0b633b9aca006158e7565b87138015610b1c5750633b9aca0087125b15610b3a576040516347017a4d60e01b815260040160405180910390fd5b8515801590610b625750610b51633b9aca006158e7565b86138015610b625750633b9aca0086125b15610b805760405163ba63dfbf60e01b815260040160405180910390fd5b5f86138015610c18575060025460011680610c1857507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166349aa2e816040518163ffffffff1660e01b8152600401602060405180830381865afa158015610bf2573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c169190615901565b155b15610c3657604051636264b44f60e11b815260040160405180910390fd5b610c906040518061016001604052805f81526020015f65ffffffffffff1681526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b60015f9054906101000a90046001600160a01b03166001600160a01b031663a51ff4a26040518163ffffffff1660e01b8152600401602060405180830381865afa158015610ce0573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610d04919061591c565b610140820152610d12612933565b610100830152610120820152610d2661295b565b60e083015260c08201525f899003610d4e57610d4186612b37565b63ffffffff169850610e9a565b856001600160a01b0316610d618a6119a0565b6001600160a01b031614158015610d8057505f881280610d8057505f87135b15610d9e576040516315e005e960e01b815260040160405180910390fd5b5f610da88a612b83565b9050610db381612d07565b805160010b825260208082015165ffffffffffff16908301526060808201516001600160601b0390811691840191909152604080830151909116908301525f891280610dfe57505f88135b15610e98575f610e1883604001518460c001516001612e70565b90505f610e2f84606001518560e001516001612e89565b90505f610e3a612e9a565b50610140860151909150610e4e8483615933565b610e589190615933565b670de0b6b3a7640000610e6b8185615933565b610e759190615933565b1115610e945760405163d374189360e01b815260040160405180910390fd5b5050505b505b5f80891315610efb57505f610eaf818a61594a565b9850610ec1898360c001516001612e89565b60808301819052604083018051610ed9908390615969565b905250608082015161010083018051610ef3908390615969565b905250610fc4565b5f891215610fc457600160ff1b8903610f4557610f2282604001518360c001516001612e70565b610f2b906158e7565b98508160400151610f3b906158e7565b6080830152610f9a565b610f5c610f518a6158e7565b8360c001515f612e89565b610f65906158e7565b60808301819052604083015190610f7b906158e7565b1115610f9a57604051631daef16360e01b815260040160405180910390fd5b506080810151604082018051820190526101008201805190910190525f610fc1818a61597c565b98505b5f88131561101557610fdb888360e001515f612e70565b60a08301819052606083018051610ff3908390615969565b90525060a08201516101208301805161100d908390615969565b9052506110ca565b5f8812156110ca57600160ff1b880361105e5761103b82606001518360e001515f612e89565b611044906158e7565b97508160600151611054906158e7565b60a0830152611084565b61107561106a896158e7565b8360e001515f612e70565b61107e906158e7565b60a08301525b8160a00151611092906158e7565b826060018181516110a3919061599b565b90525060a08201516110b4906158e7565b82610120018181516110c6919061599b565b9052505b5f6110df83604001518460c001516001612e70565b90505f6110f684606001518560e001516001612e89565b90505f80611102612ebd565b61014088015191935091506111178583615933565b6111219190615933565b670de0b6b3a76400006111348186615933565b61113e9190615933565b111561115d576040516309c89bf560e41b815260040160405180910390fd5b61014086015161116d8584615933565b6111779190615933565b670de0b6b3a764000061118a8186615933565b6111949190615933565b10156111b35760405163e91ee88760e01b815260040160405180910390fd5b505050506111cb826040015183606001516001612ee0565b65ffffffffffff166020840152825260408201516001600160601b03101561120657604051631f21544b60e11b815260040160405180910390fd5b60608201516001600160601b03101561123257604051631f21544b60e11b815260040160405180910390fd5b6040518060800160405280835f015160010b8152602001836020015165ffffffffffff16815260200183604001516001600160601b0316815260200183606001516001600160601b031681525060065f8c81526020019081526020015f205f820151815f015f6101000a81548161ffff021916908360010b61ffff1602179055506020820151815f0160026101000a81548165ffffffffffff021916908365ffffffffffff1602179055506040820151815f0160086101000a8154816001600160601b0302191690836001600160601b031602179055506060820151815f0160146101000a8154816001600160601b0302191690836001600160601b0316021790555090505061134c826101200151836101000151613005565b7f87c6d2a0cd0c74f592aa5180672ba8d1f3646cb6e00d7622a7cbb4aa7aeb93b88a835f0151846040015185606001518661014001516040516113b495949392919094855260019390930b602085015260408401919091526060830152608082015260a00190565b60405180910390a198999798969795505050505050565b5f6113d461302c565b905090565b5f80516020615c0d83398151915280546060919081906113f8906159ae565b80601f0160208091040260200160405190810160405280929190818152602001828054611424906159ae565b801561146f5780601f106114465761010080835404028352916020019161146f565b820191905f5260205f20905b81548152906001019060200180831161145257829003601f168201915b505050505091505090565b61149b60405180606001604052805f81526020015f81526020015f81525090565b337f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316146114e457604051630a7c22bf60e11b815260040160405180910390fd5b5f806114ee61295b565b915091505f60015f9054906101000a90046001600160a01b03166001600160a01b03166398d5fdca6040518163ffffffff1660e01b8152600401606060405180830381865afa158015611543573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061156791906159e6565b50600188810b5f9081526009602090815260408083205465ffffffffffff16808452600a9092528220909201549294509092506115b16115a98383608061303a565b876001612e70565b90505f6115cb6115c38460808061303a565b876001612e89565b90505f806115d7613048565b915091505f6115e4612e9a565b509050876115f28685615933565b6115fc9190615933565b670de0b6b3a764000061160f8187615933565b6116199190615933565b101561163857604051632a866e9760e21b815260040160405180910390fd5b876116438683615933565b61164d9190615933565b670de0b6b3a76400006116608187615933565b61166a9190615933565b106116885760405163056c59b760e51b815260040160405180910390fd5b61169585858a868661306a565b60208c018190528c10156116ab5760208b018c90525b5f6116bc8c602001518b6001612e70565b905088670de0b6b3a76400008d602001516116d79190615933565b6116e19190615a11565b808d52633b9aca00906116f5908590615933565b6116ff9190615a11565b60408d01528b51611710908761599b565b8c60400151111561172d578b51611727908761599b565b60408d01525b5f61174c8d604001518e5f01516117449190615969565b8d6001612e89565b905061175a8f82848d61310c565b5f80611764612933565b91509150611776848303848303613005565b505050505050505050505050505092915050565b5f6117948261334a565b50610a7782613381565b6117a98282336133ba565b5050565b5f806117b7613048565b915091509091565b5f6113d46133c7565b5f6117d2816133d9565b6117a9826133e6565b6001600160a01b03821661180957604051633250574960e11b81525f60048201526024015b60405180910390fd5b5f611815838333613451565b9050836001600160a01b0316816001600160a01b031614611863576040516364283d7b60e01b81526001600160a01b0380861660048301526024820184905282166044820152606401611800565b50505050565b5f9081525f80516020615c2d833981519152602052604090206001015490565b61189282611869565b61189b816133d9565b6118638383613553565b6001600160a01b03811633146118ce5760405163334bd91960e11b815260040160405180910390fd5b6118d882826135fb565b505050565b5f6118e7816133d9565b6117a982613674565b5f6113d4600254600190811c1690565b337f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03161461194957604051630a7c22bf60e11b815260040160405180910390fd5b60cc805460ff19166001179055565b6118d883838360405180602001604052805f815250611bec565b5f80808061197f816133d9565b611988856136d7565b919790965090945092505050565b5f806117b7612ebd565b5f610a778261334a565b5f806117b7613811565b5f5f80516020615c0d8339815191526001600160a01b0383166119ec576040516322718ad960e21b81525f6004820152602401611800565b6001600160a01b039092165f908152600390920160205250604090205490565b5f6113d460025460011690565b5f806117b7612933565b5f6113d4613824565b5f611a36816133d9565b6118d8838361383d565b5f805f611a4c846124ad565b915091505f60015f9054906101000a90046001600160a01b03166001600160a01b03166398d5fdca6040518163ffffffff1660e01b8152600401606060405180830381865afa158015611aa1573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611ac591906159e6565b50509050825f03611ada57505f949350505050565b611ae48382615933565b670de0b6b3a7640000611af78185615933565b611b019190615933565b611b0b9190615a11565b95945050505050565b5f9182525f80516020615c2d833981519152602090815260408084206001600160a01b0393909316845291905290205460ff1690565b7f80bb2b638cc20bc4d0a60d66940f3ab4a00c1d7b313497ca82fb0b4ab007930180546060915f80516020615c0d833981519152916113f8906159ae565b5f6113d46138bc565b6117a93383836138ce565b5f611ba6816133d9565b6118d8838361397d565b7fbf233dd2aafeb4d50879c4aa5c81e96d92f6e6945c906a58f9f2d1c1631b4b26611bda816133d9565b611be3836139f7565b6118d882613a3c565b611bf78484846117db565b61186384848484613a7e565b5f337f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031614611c4d57604051630a7c22bf60e11b815260040160405180910390fd5b610a77826001613b9d565b6060611c638261334a565b505f611c7960408051602081019091525f815290565b90505f815111611c975760405180602001604052805f815250611cc2565b80611ca184613e83565b604051602001611cb2929190615a47565b6040516020818303038152906040525b9392505050565b337f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031614611d1257604051630a7c22bf60e11b815260040160405180910390fd5b5f611d1b61295b565b9150505f611d27612933565b5090505f611d3782846001612e89565b905080611d4585600a615933565b1115611d645760405163c3c16cbf60e01b815260040160405180910390fd5b81611d73600160601b86615933565b611d7d9190615a11565b611d87908461599b565b925061186383613f13565b5f80337f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031614611ddd57604051630a7c22bf60e11b815260040160405180910390fd5b5f80611de761295b565b915091505f80611df5612933565b915091505f60015f9054906101000a90046001600160a01b03166001600160a01b03166360ee3fc06040518163ffffffff1660e01b8152600401602060405180830381865afa158015611e4a573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611e6e919061591c565b90505f611e7d83866001612e70565b90505f611e8c85886001612e89565b9050611e988383615933565b611eaa670de0b6b3a764000083615933565b1015985088611eb9575f611ee0565b670de0b6b3a7640000611ecc8484615933565b611ed69190615a11565b611ee0908261599b565b9750505050505050509091565b5f611ef7816133d9565b6117a982613f56565b611f2760405180608001604052805f81526020015f81526020015f81526020015f81525090565b337f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031614611f7057604051630a7c22bf60e11b815260040160405180910390fd5b611fce604051806101a001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6080810184905260a08101839052611fe4612e9a565b60e083015260c082015260015460408051630183b8ff60e61b815290516001600160a01b03909216916360ee3fc0916004808201926020929091908290030181865afa158015612036573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061205a919061591c565b61010082015261206861295b565b61014083015261012082015261207c612933565b6101608301526101808201525f612091613824565b905060015b6080830151156121ec57806120c5576120bb6120b3600184615a5b565b600890613fa8565b90925090506121de565b6120da82846101200151856101400151614003565b6060870181905260408701919091526020860191909152908452670de0b6b3a764000090612109908290615933565b6121139190615933565b8360c00151846101000151856040015161212d9190615933565b6121379190615933565b111561215957633b9aca008360600151101561215457505f612096565b6121ec565b5f805f80612167868861407a565b935093509350935083886020018181516121819190615969565b905250875183908990612195908390615969565b9052506040880180518391906121ac908390615969565b9052506060880180518291906121c3908390615969565b9052506121d46120b3600188615a5b565b9096509450505050505b618000600183900b01612096575b612200836101800151846101600151613005565b61220e836101400151613f13565b50505092915050565b61222082611869565b612229816133d9565b61186383836135fb565b5f337f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03161461227d57604051630a7c22bf60e11b815260040160405180910390fd5b600254600190811c16156122a457604051637e7f033f60e11b815260040160405180910390fd5b610a77825f613b9d565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a008054600160401b810460ff16159067ffffffffffffffff165f811580156122f35750825b90505f8267ffffffffffffffff16600114801561230f5750303b155b90508115801561231d575080155b1561233b5760405163f92ee8a960e01b815260040160405180910390fd5b845467ffffffffffffffff19166001178555831561236557845460ff60401b1916600160401b1785555b61236d6142fa565b6123756142fa565b61237f8a8a614304565b6123876142fa565b6123b17f000000000000000000000000000000000000000000000000000000000000000089614316565b6123b961434a565b6123c1614368565b6123c961437a565b6123d35f8c613553565b5060c980546001600160a01b03808a166001600160a01b03199283161790925560ca805492891692909116919091179055831561244a57845460ff60401b19168555604051600181527fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d29060200160405180910390a15b5050505050505050505050565b6001600160a01b039182165f9081527f80bb2b638cc20bc4d0a60d66940f3ab4a00c1d7b313497ca82fb0b4ab00793056020908152604080832093909416825291909152205460ff1690565b5f806117b7612e9a565b5f8181526006602090815260409182902082516080810184529054600181900b825265ffffffffffff620100008204169282018390526001600160601b03600160401b82048116948301859052600160a01b90910416606082018190529115612551575f80612527836020015165ffffffffffff166143c3565b9250925050603c828661253a9190615933565b901c9450603c61254a8286615933565b901c935050505b5f8061255b613811565b9150915061256b85826001612e70565b945061257984836001612e89565b9350505050915091565b5f8061258d612933565b9150505f612599613811565b9150506125a882826001612e70565b9250505090565b5f6125b9816133d9565b6118d88383614440565b6125e460405180606001604052805f81526020015f81526020015f81525090565b337f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03161461262d57604051630a7c22bf60e11b815260040160405180910390fd5b6126856040518061018001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b60808101839052612694613048565b60c083015260a082015260015460408051634c6afee560e11b815290516001600160a01b03909216916398d5fdca916004808201926060929091908290030181865afa1580156126e6573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061270a91906159e6565b5060e08301525061271961295b565b61012083015261010082015261272d612933565b6101408301526101608201525f612742612e9a565b5090505f61274e613824565b905060015b6080840151156128cd578061277a576127706120b3600184615a5b565b90925090506128bf565b61278f82856101000151866101200151614003565b6060880181905260408801919091526020870191909152908552670de0b6b3a7640000906127be908290615933565b6127c89190615933565b838560e0015186604001516127dd9190615933565b6127e79190615933565b116127f357505f612753565b633b9aca008460600151101561280a57505f612753565b670de0b6b3a76400008085606001516128239190615933565b61282d9190615933565b8460a001518560e0015186604001516128469190615933565b6128509190615933565b116128cd575f805f61286285886144b9565b925092509250828860200181815161287a9190615969565b90525087518290899061288e908390615969565b9052506040880180518291906128a5908390615969565b9052506128b66120b3600187615a5b565b90955093505050505b618000600183900b01612753575b6128e1846101600151856101400151613005565b50505050919050565b5f806128f4612933565b5090505f612900613811565b5090506125a882826001612e89565b5f6001600160e01b03198216637965db0b60e01b1480610a775750610a77826145f5565b6005545f9081906129468183608061303a565b92506129548160808061303a565b9150509091565b60cc545f90819060ff161561298357604051633be2235160e21b815260040160405180910390fd5b61298b613811565b60cb549093509091505f906129a0904261599b565b90508015612b325760405163cc411cb160e01b81523060048201525f907f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03169063cc411cb190602401602060405180830381865afa158015612a0c573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190612a30919061591c565b90508015612ab8575f612a41612933565b9150505f612a5182876001612e70565b90505f612a6a670de0b6b3a76400006301e13380615933565b85612a758685615933565b612a7f9190615933565b612a899190615a11565b9050612a95818361599b565b612a9f8389615933565b612aa99190615a11565b9650612ab487614644565b5050505b6040516354b94c2f60e11b81523060048201527f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03169063a972985e906024015f604051808303815f87803b158015612b16575f80fd5b505af1158015612b28573d5f803e3d5ffd5b50504260cb555050505b509091565b5f612b4061302c565b9050612b4e81600101614687565b612b5b5f428160286146a9565b63ffffffff82165f81815260076020526040902091909155612b7e9083906146bd565b919050565b604080516080810182525f808252602082018190529181018290526060810191909152505f8181526006602090815260409182902082516080810184529054600181900b825265ffffffffffff620100008204169282018390526001600160601b03600160401b8204811694830194909452600160a01b9004909216606083015215612b7e575f805f612c21846020015165ffffffffffff166136d7565b925092509250603c8285604001516001600160601b0316612c429190615933565b6001600160601b03911c811660408601526060850151603c91612c6791849116615933565b6001600160601b03911c81166060860190815263ffffffff90941660208087019182525f88815260069091526040908190208751815493519289015197518516600160a01b026001600160a01b0398909516600160401b029790971667ffffffffffffffff65ffffffffffff93909316620100000267ffffffffffffffff1990941661ffff90981697909717929092171694909417179092555050919050565b806020015165ffffffffffff165f03612d1d5750565b60208082015165ffffffffffff165f908152600a909152604081206001015490612d498260808061303a565b60408401519091505f906001600160601b0316612d688483608061303a565b612d72919061599b565b90505f84606001516001600160601b031683612d8e919061599b565b9050612d9d84835f60806146a9565b9350612dac84826080806146a9565b60208087015165ffffffffffff165f908152600a90915260409020600101819055935080158015612ddc57505f83115b15612e695760208581015165ffffffffffff165f908152600a9091526040812054617fff60309190911c61ffff1690811161ffff1902179050612e45600882600881901c5f90810b815260209290925260409091208054600160ff9093169290921b9091189055565b5f612e4e613824565b90508160010b8160010b03612e6657612e668161471e565b50505b5050505050565b5f612e8184600160601b858561475c565b949350505050565b5f612e818484600160601b8561475c565b6003545f908190612eae81605a603c61303a565b9250612954816096601e61303a565b6002545f908190612ed1816062603c61303a565b925061295481609e603c61303a565b5f808315612ffd57828015612ef85750633b9aca0084125b15612f165760405163ba63dfbf60e01b815260040160405180910390fd5b612f208585614791565b9150612f2b826147ff565b65ffffffffffff81165f908152600a602052604081206001015491925086612f558383608061303a565b612f5f9190615969565b90505f86612f6f8460808061303a565b612f799190615969565b9050612f8883835f60806146a9565b9250612f9783826080806146a9565b65ffffffffffff85165f908152600a602052604090206001018190559250868103612fde57600885811c5f90810b8152602091909152604090208054600160ff88161b1890555b612fe6613824565b60010b851315612ff957612ff985614826565b5050505b935093915050565b60055461301581845f60806146a9565b905061302481836080806146a9565b600555505050565b6002545f906113d490601260205b6001901b5f190191901c1690565b6003545f90819061305b8183603c61303a565b925061295481603c601e61303a565b5f633b9aca0061307a8382615969565b61308c85670de0b6b3a7640000615933565b6130969190615933565b6130a09190615a11565b6130b2670de0b6b3a764000080615933565b6130bc919061599b565b866130c78686615933565b6130d19190615933565b670de0b6b3a76400006130e48189615933565b6130ee9190615933565b6130f8919061599b565b6131029190615a11565b9695505050505050565b600184900b5f9081526009602052604090205465ffffffffffff1661313085614841565b50600885811c5f90810b8152602091909152604090208054600160ff88161b18905565ffffffffffff81165f908152600a6020526040812060018101549054909161317d8382608061303a565b90505f61318c8460808061303a565b90505f613199898461599b565b90505f6131a6898461599b565b90505f846131b86001603c1b85615933565b6131c29190615a11565b90505f846131d46001603c1b85615933565b6131de9190615a11565b90506131ed87836040806146a9565b96506131fd8782608060406146a9565b9650600160ff1b9150508115613237575f61321984845f612ee0565b90925090506132338765ffffffffffff83165f60306146a9565b9650505b600160ff1b810361329c576040805160018e900b8152617fff19602082015290810184905260608101839052608081018a90527f5fe96f4d1f13c468b9090d9e0bfa3b28cf26e4fe6439122f08ddbf605998e8a99060a00160405180910390a16132f1565b6040805160018e810b825283900b602082015290810184905260608101839052608081018a90527f5fe96f4d1f13c468b9090d9e0bfa3b28cf26e4fe6439122f08ddbf605998e8a99060a00160405180910390a15b5f6132fa613824565b90508c60010b8160010b14801561331457508c60010b8214155b15613322576133228161471e565b50505065ffffffffffff9095165f908152600a60205260409020929092555050505050505050565b5f80613355836148d4565b90506001600160a01b038116610a7757604051637e27328960e01b815260048101849052602401611800565b5f9081527f80bb2b638cc20bc4d0a60d66940f3ab4a00c1d7b313497ca82fb0b4ab007930460205260409020546001600160a01b031690565b6118d8838383600161490d565b6002545f906113d4906032603061303a565b6133e38133614a20565b50565b6133ef81614a59565b600b80546001600160a01b038381166001600160a01b031983168117909355604080519190921680825260208201939093527f1fcbbe01cb93b28951415a235e7b7d08a83d81e801ecd137f56085830cea62c491015b60405180910390a15050565b5f5f80516020615c0d8339815191528161346a856148d4565b90506001600160a01b0384161561348657613486818587614a80565b6001600160a01b038116156134c2576134a15f865f8061490d565b6001600160a01b0381165f908152600383016020526040902080545f190190555b6001600160a01b038616156134f2576001600160a01b0386165f9081526003830160205260409020805460010190555b5f85815260028301602052604080822080546001600160a01b0319166001600160a01b038a811691821790925591518893918516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef91a495945050505050565b5f5f80516020615c2d83398151915261356c8484611b14565b6135eb575f848152602082815260408083206001600160a01b03871684529091529020805460ff191660011790556135a13390565b6001600160a01b0316836001600160a01b0316857f2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d60405160405180910390a46001915050610a77565b5f915050610a77565b5092915050565b5f5f80516020615c2d8339815191526136148484611b14565b156135eb575f848152602082815260408083206001600160a01b0387168085529252808320805460ff1916905551339287917ff6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b9190a46001915050610a77565b61367d81614a59565b600180546001600160a01b038381166001600160a01b031983168117909355604080519190921680825260208201939093527ff3920b145a63851522088bd18b14d6bb919fbd12ac87f12498d6001c727ba0709101613445565b805f8080805b84825d505f848152600a602052604081205460019290920191906137038282603061303a565b9050805f036137125750613719565b94506136dd565b505f848152600a60205260409081902054906137379082908061303a565b9350613746816080604061303a565b92506001821115613808575f61375d60028461599b565b90505b805c5f818152600a60205260409081902054919850909250603c906137879084908061303a565b6137919087615933565b901c9450603c6137a4836080604061303a565b6137ae9086615933565b901c93506137bf82875f60306146a9565b91506137ce82866040806146a9565b91506137de8285608060406146a9565b5f888152600a6020526040902081905591508015613806576137ff81615a7e565b9050613760565b505b50509193909250565b6004545f9081906129468183608061303a565b60028054617fff911c61ffff1690811161ffff19021790565b6138478282614ae4565b61385981670de0b6b3a7640000614ae4565b60025461386a81846062603c6146a9565b905061387a8183609e603c6146a9565b60025560408051848152602081018490527f9f4d9f603359ea7747a1caa931ec105693f4fa63d739ca60d729ca98a683bff091015b60405180910390a1505050565b6002545f906113d49060da601e61303a565b5f80516020615c0d8339815191526001600160a01b03831661390e57604051630b61174360e31b81526001600160a01b0384166004820152602401611800565b6001600160a01b038481165f818152600584016020908152604080832094881680845294825291829020805460ff191687151590811790915591519182527f17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31910160405180910390a350505050565b61398f82670de0b6b3a7640000614ae4565b61399d81633b9aca00614ae4565b6003546139ae8184605a603c6146a9565b90506139be81836096601e6146a9565b60035560408051848152602081018490527f7adbf035b2e2ae03a957c0cd561744f4010902e1001c2d41086c06f54504b71691016138af565b60025460011916811760025560405181151581527f0c62bbdfbcbe8bf3480c55ec19a4923a65eb876e49568f084595873b64cf8386906020015b60405180910390a150565b60025460021916600182901b1760025560405181151581527fe92fbb024677220febae1048128887af04da8455f22497316b00bb175be6b3ed90602001613a31565b6001600160a01b0383163b1561186357604051630a85bd0160e11b81526001600160a01b0384169063150b7a0290613ac0903390889087908790600401615a93565b6020604051808303815f875af1925050508015613afa575060408051601f3d908101601f19168201909252613af791810190615ac5565b60015b613b61573d808015613b27576040519150601f19603f3d011682016040523d82523d5f602084013e613b2c565b606091505b5080515f03613b5957604051633250574960e11b81526001600160a01b0385166004820152602401611800565b805181602001fd5b6001600160e01b03198116630a85bd0160e11b14612e6957604051633250574960e11b81526001600160a01b0385166004820152602401611800565b5f805f613ba861295b565b915091505f80613bb6612933565b915091505f60015f9054906101000a90046001600160a01b03166001600160a01b03166376cde5646040518163ffffffff1660e01b8152600401602060405180830381865afa158015613c0b573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190613c2f919061591c565b90505f613c3e83876001612e70565b90505f613c4d85876001612e89565b9050613c598383615933565b613c6b670de0b6b3a764000083615933565b10613c8957604051636fa8dc8960e01b815260040160405180910390fd5b50505f613c94613824565b905060015f613ca48b8884612e70565b90505b8015613e6b5781613cca57613cc06120b3600185615a5b565b9093509150613e5d565b600183810b5f9081526009602090815260408083205465ffffffffffff16808452600a90925282209092015490613d038260808061303a565b90505f613d128382608061303a565b905087613d21828e6001612e70565b613d2b9190615933565b670de0b6b3a7640000613d40848e6001612e89565b613d4a9190615933565b1115613d5c575f955050505050613ca7565b50633b9aca00811015613d74575f9450505050613ca7565b5f633b9aca00613d826138bc565b613d8c9084615933565b613d969190615a11565b905084811115613da35750835b5f88670de0b6b3a7640000613dba848f6001612e89565b613dc49190615933565b613dce9190615a11565b90505f613ddd828f6001612e89565b90508f158015613df55750613df3898285614b05565b155b15613e0557505050505050613e6b565b613e118982858d61310c565b613e1b838861599b565b9650818f613e299190615969565b9e50613e35818c61599b565b9a50613e41838d61599b565b9b50613e516120b360018b615a5b565b90995097505050505050505b618000600184900b01613ca7575b613e758686613005565b505050505050505092915050565b60605f613e8f83614ba4565b60010190505f8167ffffffffffffffff811115613eae57613eae6156e7565b6040519080825280601f01601f191660200182016040528015613ed8576020820181803683370190505b5090508181016020015b5f19016f181899199a1a9b1b9c1cb0b131b232b360811b600a86061a8153600a8504945084613ee257509392505050565b600454613f2390825f60806146a9565b6004556040518181527f0eb47678af0fcacabbadc23b52144abfc1b9341bfb37b6ede42d22bb243defda90602001613a31565b613f6481633b9aca00614ae4565b600254613f75908260da601e6146a9565b6002556040518181527fa81c6ce7b85dedd389acede97c4c68e7ccd76ae970023b8af6a32d3d5b75e8ae90602001613a31565b600881901c5f81810b8152602084905260408120549091600160ff851690811b80015f1901928316801515939084613fe5578260ff168703613ff6565b613fee81614c7b565b830360ff1687035b9550505050509250929050565b600183810b5f9081526009602090815260408083205465ffffffffffff16808452600a90925282209092015490918291829182916140438184608061303a565b95506140518160808061303a565b945061405f86896001612e70565b935061406d85886001612e89565b9250505093509350935093565b5f805f805f8560a0015186604001516140939190615969565b90508560600151945085608001518511156140b057856080015194505b6101008601516140c8670de0b6b3a764000087615933565b6140d29190615a11565b93505f80876060015187036140ed5787602001519150614101565b6140fe878961014001516001612e70565b91505b858311614155578295508760a001519350670de0b6b3a76400008861010001518461412c9190615933565b6141369190615a11565b9650614149878961014001516001612e70565b885190925090506141d6565b633b9aca008860e001518761416a9190615933565b6141749190615a11565b94505f6141818787615969565b90508381111561419a575082614197878261599b565b95505b886040015181106141c05760408901516141b4908261599b565b895190955091506141d4565b6141d1818a61012001516001612e89565b91505b505b838860a0018181516141e8919061599b565b9052508751811480156141fe5750876020015182105b15614295575f614224838a60200151614217919061599b565b8a61014001516001612e89565b905088602001519250818961016001818151614240919061599b565b9052506101808901805184919061425890839061599b565b90525061018089015161426f600160601b83615933565b6142799190615a11565b896101400181815161428b9190615969565b9052506142c49050565b8088610160018181516142a8919061599b565b905250610180880180518391906142c090839061599b565b9052505b86886080018181516142d6919061599b565b915081815250506142ee8982848b610100015161310c565b50505092959194509250565b614302614d64565b565b61430c614d64565b6117a98282614dad565b61431e614d64565b61432782614a59565b5f80546001600160a01b0319166001600160a01b0384161790556117a981613674565b614352614d64565b61435c6001614ddd565b614302617fff19614826565b614370614d64565b6143026001614687565b614382614d64565b61438f600160601b613f13565b61439c600160601b614644565b6143b66706f05b59d3b20000670be52ee321c36db661383d565b614302630bebc200613f56565b5f6001603c1b805b5f848152600a6020526040812054906143e68282603061303a565b9050603c6143f68360408061303a565b6144009086615933565b901c9350603c614413836080604061303a565b61441d9085615933565b901c9250805f0361442f575050614438565b94506143cb9050565b929390929150565b61445282670de0b6b3a7640000614ae4565b61446081633b9aca00614ae4565b60035461447081845f603c6146a9565b90506144808183603c601e6146a9565b60035560408051848152602081018490527f15658fc22e6d738d694640c7ec144edc24a5217d8e1b1cb6a17973b1f1c9287591016138af565b5f805f6144dd846040015185606001518660e001518760a001518860c0015161306a565b925082846080015110156144f357836080015192505b5f614505848661012001516001612e70565b60e086015190915061451f670de0b6b3a764000086615933565b6145299190615a11565b9250633b9aca008560c00151846145409190615933565b61454a9190615a11565b915082856040015161455c919061599b565b82111561457657828560400151614573919061599b565b91505b5f6145916145848486615969565b8761010001516001612e89565b90506145a38782848960e0015161310c565b8086610140018181516145b6919061599b565b905250610160860180518391906145ce90839061599b565b9052506080860180518691906145e590839061599b565b9150818152505050509250925092565b5f6001600160e01b031982166380ac58cd60e01b148061462557506001600160e01b03198216635b5e139f60e01b145b80610a7757506301ffc9a760e01b6001600160e01b0319831614610a77565b60045461465490826080806146a9565b6004556040518181527fae4d80815d6017051882e2605756a6374b276db7e0552860fa6b7c320a20be0190602001613a31565b6002546146a39063ffffffff808416906012906020906146a916565b60025550565b6001901b5f1901811b1992909216911b1790565b6001600160a01b0382166146e657604051633250574960e11b81525f6004820152602401611800565b5f6146f283835f613451565b90506001600160a01b038116156118d8576040516339e3563760e11b81525f6004820152602401611800565b617fff19600182900b1315614753575f61473c6120b3600184615a5b565b9092509050801561474d5750614753565b5061471e565b6133e381614826565b5f600182600181111561477157614771615ae0565b1461478657614781858585614df6565b611b0b565b611b0b858585614e23565b5f80836147a2600160601b85615933565b6147ac9190615a11565b90506147b781614e2f565b509150617ffe198212156147cc57617ffe1991505b5f6147d683615226565b9050818110156147e7576001909201915b617fff8313156147f757617fff92505b505092915050565b5f8181526009602052604081205465ffffffffffff1690819003612b7e57610a7782614841565b600280549082901b6203fffc166203fffc19909116176146a3565b5f61484a6133c7565b905061485881600101614ddd565b600182900b5f908152600960205260408120805465ffffffffffff191665ffffffffffff841617905567ffff000000000000603084901b1690506148a3816001603c1b6040806146a9565b90506148b7816001603c1b608060406146a9565b65ffffffffffff83165f908152600a602052604090205550919050565b5f9081527f80bb2b638cc20bc4d0a60d66940f3ab4a00c1d7b313497ca82fb0b4ab007930260205260409020546001600160a01b031690565b5f80516020615c0d833981519152818061492f57506001600160a01b03831615155b156149f0575f61493e8561334a565b90506001600160a01b0384161580159061496a5750836001600160a01b0316816001600160a01b031614155b801561497d575061497b8185612457565b155b156149a65760405163a9fbf51f60e01b81526001600160a01b0385166004820152602401611800565b82156149ee5784866001600160a01b0316826001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560405160405180910390a45b505b5f93845260040160205250506040902080546001600160a01b0319166001600160a01b0392909216919091179055565b614a2a8282611b14565b6117a95760405163e2517d3f60e01b81526001600160a01b038216600482015260248101839052604401611800565b6001600160a01b0381166133e35760405163a7f9319d60e01b815260040160405180910390fd5b614a8b838383615447565b6118d8576001600160a01b038316614ab957604051637e27328960e01b815260048101829052602401611800565b60405163177e802f60e01b81526001600160a01b038316600482015260248101829052604401611800565b808211156117a957604051634df52d2560e11b815260040160405180910390fd5b600183810b5f9081526009602090815260408083205465ffffffffffff16808452600a90925282209092015490919082614b418282608061303a565b90505f614b508360808061303a565b90505f614b5d888461599b565b90505f614b6a888461599b565b9050805f03614b825760019650505050505050611cc2565b5f614b8d8383614791565b60018c900b14159750505050505050509392505050565b5f8072184f03e93ff9f4daa797ed6e38ed64bf6a1f0160401b8310614be25772184f03e93ff9f4daa797ed6e38ed64bf6a1f0160401b830492506040015b6d04ee2d6d415b85acef81000000008310614c0e576d04ee2d6d415b85acef8100000000830492506020015b662386f26fc100008310614c2c57662386f26fc10000830492506010015b6305f5e1008310614c44576305f5e100830492506008015b6127108310614c5857612710830492506004015b60648310614c6a576064830492506002015b600a8310610a775760010192915050565b5f808211614c87575f80fd5b600160801b8210614ca557608091821c91614ca29082615af4565b90505b600160401b8210614cc357604091821c91614cc09082615af4565b90505b6401000000008210614ce257602091821c91614cdf9082615af4565b90505b620100008210614cff57601091821c91614cfc9082615af4565b90505b6101008210614d1b57600891821c91614d189082615af4565b90505b60108210614d3657600491821c91614d339082615af4565b90505b60048210614d5157600291821c91614d4e9082615af4565b90505b60028210612b7e57610a77600182615af4565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a0054600160401b900460ff1661430257604051631afcd79f60e31b815260040160405180910390fd5b614db5614d64565b5f80516020615c0d83398151915280614dce8482615b51565b50600181016118638382615b51565b6002546146a39065ffffffffffff8316603260306146a9565b5f81600181614e058688615933565b614e0f9190615969565b614e19919061599b565b612e819190615a11565b5f81614e198486615933565b5f80630235b87f83107473d85bca016a2338b31715f8e13054c005f8b995d384111715614e5a575f80fd5b600160601b83105f818015614e7f576714adf4b7320334b9607a1b8690049150614e96565b600160601b6a52b7d2dcc80cd2e400000087020491505b506f037af932b2affa9738cc6c38caaaa44a8110614ed857614000841793506f037af932b2affa9738cc6c38caaaa44a6a52b7d2dcc80cd2e400000082020490505b6d010f7a088a76f267264caa114f0a8110614f1557612000841793506d010f7a088a76f267264caa114f0a6a52b7d2dcc80cd2e400000082020490505b6b95da74f87f839fc2e0dc5bd88110614f4e57611000841793506b95da74f87f839fc2e0dc5bd86a52b7d2dcc80cd2e400000082020490505b6b06f55dedafd8491caed5a1b88110614f8757610800841793506b06f55dedafd8491caed5a1b86a52b7d2dcc80cd2e400000082020490505b6b017fdd10ee11e624491b4cc08110614fc057610400841793506b017fdd10ee11e624491b4cc06a52b7d2dcc80cd2e400000082020490505b6ab23131bf0c30217b0a2c698110614ff757610200841793506ab23131bf0c30217b0a2c696a52b7d2dcc80cd2e400000082020490505b6a79683edcb9280d797aded6811061502e57610100841793506a79683edcb9280d797aded66a52b7d2dcc80cd2e400000082020490505b6a64366e2f9919f0d9b0dc908110615064576080841793506a64366e2f9919f0d9b0dc906a52b7d2dcc80cd2e400000082020490505b6a5b0bcda5a78850646b0a81811061509a576040841793506a5b0bcda5a78850646b0a816a52b7d2dcc80cd2e400000082020490505b6a56c840f992c70f959ae80f81106150d0576020841793506a56c840f992c70f959ae80f6a52b7d2dcc80cd2e400000082020490505b6a54b9cd178695194f9be09f8110615106576010841793506a54b9cd178695194f9be09f6a52b7d2dcc80cd2e400000082020490505b6a53b7458aff204b5e65d680811061513c576008841793506a53b7458aff204b5e65d6806a52b7d2dcc80cd2e400000082020490505b6a53372a2f38c240d689e4008110615172576004841793506a53372a2f38c240d689e4006a52b7d2dcc80cd2e400000082020490505b6a52f76617a04499e664000081106151a8576002841793506a52f76617a04499e66400006a52b7d2dcc80cd2e400000082020490505b6a52d79660f3dec355c0000081106151de576001841793506a52d79660f3dec355c000006a52b7d2dcc80cd2e400000082020490505b8180156151ff579319936a52d79660f3dec355c00000868302049350615212565b816a52b7d2dcc80cd2e400000087020493505b50505082811115615221575f80fd5b915091565b5f81600160ff1b83161561523a57825f0390505b617fff811115615248575f80fd5b600160801b600182161561526957506fff9dd7de423466c20352b1246ce4856f5b6002821615615288576fff3bd55f4488ad277531fa1c725a66d00260801c5b60048216156152a7576ffe78410fd6498b73cb96a6917f8532590260801c5b60088216156152c6576ffcf2d9987c9be178ad5bfeffaa1232730260801c5b60108216156152e5576ff9ef02c4529258b057769680fc6601b30260801c5b6020821615615304576ff402d288133a85a17784a411f7aba0820260801c5b6040821615615323576fe895615b5beb6386553757b0352bda900260801c5b6080821615615342576fd34f17a00ffa00a8309940a15930391a0260801c5b610100821615615362576fae6b7961714e20548d88ea5123f9a0ff0260801c5b610200821615615382576f76d6461f27082d74e0feed3b388c0ca10260801c5b6104008216156153a2576f372a3bfe0745d8b6b19d985d9a8b85bb0260801c5b6108008216156153c2576f0be32cbee48979763cf7247dd7bb539d0260801c5b6110008216156153e1576e8d4f70c9ff4924dac37612d1e2921e0260801c5b6120008216156153ff576d4e009ae5519380809a02ca7aec770260801c5b61400082161561541b576b17c45e641b6e95dee056ff100260801c5b5f9150600160ff1b841661543d575f190463ffffffff81161561543d57600191505b60201c0192915050565b5f6001600160a01b03831615801590612e815750826001600160a01b0316846001600160a01b0316148061548057506154808484612457565b80612e815750826001600160a01b031661549983613381565b6001600160a01b031614949350505050565b6001600160e01b0319811681146133e3575f80fd5b5f602082840312156154d0575f80fd5b8135611cc2816154ab565b80356001600160a01b0381168114612b7e575f80fd5b5f805f8060808587031215615504575f80fd5b843593506020850135925060408501359150615522606086016154db565b905092959194509250565b5f81518084528060208401602086015e5f602082860101526020601f19601f83011685010191505092915050565b602081525f611cc2602083018461552d565b5f806040838503121561557e575f80fd5b82358060010b811461558e575f80fd5b946020939093013593505050565b5f602082840312156155ac575f80fd5b5035919050565b5f80604083850312156155c4575f80fd5b61558e836154db565b5f602082840312156155dd575f80fd5b611cc2826154db565b5f805f606084860312156155f8575f80fd5b615601846154db565b925061560f602085016154db565b929592945050506040919091013590565b5f8060408385031215615631575f80fd5b82359150615641602084016154db565b90509250929050565b5f806040838503121561565b575f80fd5b50508035926020909101359150565b5f6020828403121561567a575f80fd5b8135805f0b8114611cc2575f80fd5b80151581146133e3575f80fd5b5f80604083850312156156a7575f80fd5b6156b0836154db565b915060208301356156c081615689565b809150509250929050565b5f80604083850312156156dc575f80fd5b82356156b081615689565b634e487b7160e01b5f52604160045260245ffd5b5f8067ffffffffffffffff841115615715576157156156e7565b50604051601f19601f85018116603f0116810181811067ffffffffffffffff82111715615744576157446156e7565b60405283815290508082840185101561575b575f80fd5b838360208301375f60208583010152509392505050565b5f805f8060808587031215615785575f80fd5b61578e856154db565b935061579c602086016154db565b925060408501359150606085013567ffffffffffffffff8111156157be575f80fd5b8501601f810187136157ce575f80fd5b6157dd878235602084016156fb565b91505092959194509250565b5f82601f8301126157f8575f80fd5b611cc2838335602085016156fb565b5f805f805f8060c0878903121561581c575f80fd5b615825876154db565b9550602087013567ffffffffffffffff811115615840575f80fd5b61584c89828a016157e9565b955050604087013567ffffffffffffffff811115615868575f80fd5b61587489828a016157e9565b945050615883606088016154db565b9250615891608088016154db565b915061589f60a088016154db565b90509295509295509295565b5f80604083850312156158bc575f80fd5b6158c5836154db565b9150615641602084016154db565b634e487b7160e01b5f52601160045260245ffd5b5f600160ff1b82016158fb576158fb6158d3565b505f0390565b5f60208284031215615911575f80fd5b8151611cc281615689565b5f6020828403121561592c575f80fd5b5051919050565b8082028115828204841417610a7757610a776158d3565b8181035f8312801583831316838312821617156135f4576135f46158d3565b80820180821115610a7757610a776158d3565b8082018281125f8312801582168215821617156147f7576147f76158d3565b81810381811115610a7757610a776158d3565b600181811c908216806159c257607f821691505b6020821081036159e057634e487b7160e01b5f52602260045260245ffd5b50919050565b5f805f606084860312156159f8575f80fd5b5050815160208301516040909301519094929350919050565b5f82615a2b57634e487b7160e01b5f52601260045260245ffd5b500490565b5f81518060208401855e5f93019283525090919050565b5f612e81615a558386615a30565b84615a30565b600182810b9082900b03617fff198112617fff82131715610a7757610a776158d3565b5f81615a8c57615a8c6158d3565b505f190190565b6001600160a01b03858116825284166020820152604081018390526080606082018190525f906131029083018461552d565b5f60208284031215615ad5575f80fd5b8151611cc2816154ab565b634e487b7160e01b5f52602160045260245ffd5b60ff8181168382160190811115610a7757610a776158d3565b601f8211156118d857805f5260205f20601f840160051c81016020851015615b325750805b601f840160051c820191505b81811015612e69575f8155600101615b3e565b815167ffffffffffffffff811115615b6b57615b6b6156e7565b615b7f81615b7984546159ae565b84615b0d565b6020601f821160018114615bb1575f8315615b9a5750848201515b5f19600385901b1c1916600184901b178455612e69565b5f84815260208120601f198516915b82811015615be05787850151825560209485019460019092019101615bc0565b5084821015615bfd57868401515f19600387901b60f8161c191681555b50505050600190811b0190555056fe80bb2b638cc20bc4d0a60d66940f3ab4a00c1d7b313497ca82fb0b4ab007930002dd7bc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b626800a2646970667358221220f91a076ff1050fb5dca93db77ff314daaf03ab06e5fabc6d36714dc3dd2a40fe64736f6c634300081a0033000000000000000000000000acdc0ab51178d0ae8f70c1ead7d3cf5421fdd66d00000000000000000000000016b334f2644cc00b85db1a1eff0c2c395e00c28d