WasabiShortPool | Ethereum

codeslaw

WasabiShortPoolSolidityv0.8.26+commit.8a97fa7a

network

Ethereum

address0x44ba624d8280a167829baf11a71309f81696559e

deployer0x5C629f8C0B5368F523C85bFe79d2A8EFB64fB0c8

tx last 12 months

0 txs

calls last 12 months

286 calls

42 Files

@openzeppelin

contracts

access

manager

IAccessManaged.sol

IAccessManager.sol

interfaces

IERC4626.sol

IERC5267.sol

draft-IERC1822.sol

proxy

ERC1967

ERC1967Utils.sol

beacon

IBeacon.sol

token

ERC20

IERC20.sol

extensions

IERC20Metadata.sol

IERC20Permit.sol

utils

SafeERC20.sol

ERC721

IERC721.sol

utils

Address.sol

StorageSlot.sol

Strings.sol

cryptography

MessageHashUtils.sol

introspection

IERC165.sol

math

Math.sol

SafeCast.sol

SignedMath.sol

types

Time.sol

contracts-upgradeable

access

OwnableUpgradeable.sol

manager

AccessManagerUpgradeable.sol

proxy

utils

Initializable.sol

UUPSUpgradeable.sol

utils

ContextUpgradeable.sol

MulticallUpgradeable.sol

ReentrancyGuardUpgradeable.sol

cryptography

EIP712Upgradeable.sol

contracts

BaseWasabiPool.sol

Hash.sol

IWasabiPerps.sol

PerpUtils.sol

WasabiShortPool.sol

addressProvider

IAddressProvider.sol

admin

PerpManager.sol

Roles.sol

debt

IDebtController.sol

router

IWasabiRouter.sol

util

IPartnerFeeManager.sol

vaults

IWasabiVault.sol

weth

IWETH.sol

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

abi

constructor

No constructor.

functions

addressProvider

view

function addressProvider() view returns (address)

eip712Domain

view

function eip712Domain() view returns (bytes1 fields, string name, string version, uint256 chainId, address verifyingContract, bytes32 salt, uint256[] extensions)

getVault

view

function getVault(address _asset) view returns (address)

isLongPool

view

function isLongPool() view returns (bool)

owner

view

function owner() view returns (address)

positions

view

function positions(uint256) view returns (bytes32)

proxiableUUID

view

function proxiableUUID() view returns (bytes32)

quoteTokens

view

function quoteTokens(address) view returns (bool)

UPGRADE_INTERFACE_VERSION

view

function UPGRADE_INTERFACE_VERSION() view returns (string)

vaults

view

function vaults(address) view returns (address)

__BaseWasabiPool_init

nonpayable

function __BaseWasabiPool_init(bool _isLongPool, address _addressProvider, address _manager)

addCollateral

payable

function addCollateral(tuple _request, tuple _signature) payable returns (tuple)

addQuoteToken

nonpayable

function addQuoteToken(address _token)

addVault

nonpayable

function addVault(address _vault)

closePosition

payable

function closePosition(uint8 _payoutType, tuple _request, tuple _signature, tuple _order, tuple _orderSignature) payable

closePosition

payable

function closePosition(uint8 _payoutType, tuple _request, tuple _signature) payable

initialize

nonpayable

function initialize(address _addressProvider, address _manager)

liquidatePosition

payable

function liquidatePosition(uint8 _payoutType, uint256 _interest, tuple _position, tuple[] _swapFunctions, address _referrer) payable

openPosition

payable

function openPosition(tuple _request, tuple _signature) payable returns (tuple)

openPositionFor

payable

function openPositionFor(tuple _request, tuple _signature, address _trader) payable returns (tuple)

recordInterest

nonpayable

function recordInterest(tuple[] _positions, uint256[] _interests, tuple[] _swapFunctions)

renounceOwnership

nonpayable

function renounceOwnership()

setAddressProvider

nonpayable

function setAddressProvider(address _addressProvider)

transferOwnership

nonpayable

function transferOwnership(address newOwner)

upgradeToAndCall

payable

function upgradeToAndCall(address newImplementation, bytes data) payable

events

CollateralAdded

event CollateralAdded(uint256 id, address trader, uint256 downPaymentAdded, uint256 collateralAdded, uint256 principalReduced, uint256 interestPaid)

EIP712DomainChanged

event EIP712DomainChanged()

Initialized

event Initialized(uint64 version)

InterestPaid

event InterestPaid(uint256 id, uint256 interestPaid, uint256 principalAdded, uint256 collateralReduced, uint256 downPaymentReduced)

NativeYieldClaimed

event NativeYieldClaimed(address vault, address token, uint256 amount)

NewVault

event NewVault(address indexed pool, address indexed asset, address vault)

OwnershipTransferred

event OwnershipTransferred(address indexed previousOwner, address indexed newOwner)

PositionClosed

event PositionClosed(uint256 id, address trader, uint256 payout, uint256 principalRepaid, uint256 interestPaid, uint256 feeAmount)

PositionClosedWithOrder

event PositionClosedWithOrder(uint256 id, address trader, uint8 orderType, uint256 payout, uint256 principalRepaid, uint256 interestPaid, uint256 feeAmount)

PositionDecreased

event PositionDecreased(uint256 id, address trader, uint256 payout, uint256 principalRepaid, uint256 interestPaid, uint256 closeFee, uint256 pastFees, uint256 collateralReduced, uint256 downPaymentReduced)

PositionDecreasedWithOrder

event PositionDecreasedWithOrder(uint256 id, address trader, uint8 orderType, uint256 payout, uint256 principalRepaid, uint256 interestPaid, uint256 closeFee, uint256 pastFees, uint256 collateralReduced, uint256 downPaymentReduced)

PositionIncreased

event PositionIncreased(uint256 id, address trader, uint256 downPaymentAdded, uint256 principalAdded, uint256 collateralAdded, uint256 feesAdded)

PositionLiquidated

event PositionLiquidated(uint256 id, address trader, uint256 payout, uint256 principalRepaid, uint256 interestPaid, uint256 feeAmount)

PositionOpened

event PositionOpened(uint256 positionId, address trader, address currency, address collateralCurrency, uint256 downPayment, uint256 principal, uint256 collateralAmount, uint256 feesToBePaid)

Upgraded

event Upgraded(address indexed implementation)

errors

AddressEmptyCode

error AddressEmptyCode(address target)

AddressInsufficientBalance

error AddressInsufficientBalance(address account)

ERC1967InvalidImplementation

error ERC1967InvalidImplementation(address implementation)

ERC1967NonPayable

error ERC1967NonPayable()

EthReceivedForNonEthCurrency

error EthReceivedForNonEthCurrency()

EthTransferFailed

error EthTransferFailed(uint256 amount, address _target)

FailedInnerCall

error FailedInnerCall()

InsufficientAmountProvided

error InsufficientAmountProvided()

InsufficientCollateralReceived

error InsufficientCollateralReceived()

InsufficientInterest

error InsufficientInterest()

InsufficientPrincipalRepaid

error InsufficientPrincipalRepaid()

InsufficientPrincipalUsed

error InsufficientPrincipalUsed()

InvalidCurrency

error InvalidCurrency()

InvalidInitialization

error InvalidInitialization()

InvalidInput

error InvalidInput()

InvalidInterestAmount

error InvalidInterestAmount()

InvalidOrder

error InvalidOrder()

InvalidPosition

error InvalidPosition()

InvalidSignature

error InvalidSignature()

InvalidTargetCurrency

error InvalidTargetCurrency()

InvalidVault

error InvalidVault()

LiquidationThresholdNotReached

error LiquidationThresholdNotReached()

MathOverflowedMulDiv

error MathOverflowedMulDiv()

NotInitializing

error NotInitializing()

OrderExpired

error OrderExpired()

OwnableInvalidOwner

error OwnableInvalidOwner(address owner)

OwnableUnauthorizedAccount

error OwnableUnauthorizedAccount(address account)

PositionAlreadyTaken

error PositionAlreadyTaken()

PriceTargetNotReached

error PriceTargetNotReached()

PrincipalTooHigh

error PrincipalTooHigh()

ReentrancyGuardReentrantCall

error ReentrancyGuardReentrantCall()

SafeERC20FailedOperation

error SafeERC20FailedOperation(address token)

SenderNotTrader

error SenderNotTrader()

SwapFunctionNeeded

error SwapFunctionNeeded()

TooMuchCollateralSpent

error TooMuchCollateralSpent()

UUPSUnauthorizedCallContext

error UUPSUnauthorizedCallContext()

UUPSUnsupportedProxiableUUID

error UUPSUnsupportedProxiableUUID(bytes32 slot)

ValueDeviatedTooMuch

error ValueDeviatedTooMuch()

VaultAlreadyExists

error VaultAlreadyExists()

bytecode

creation bytecode

0x60a06040523060805234801561001457600080fd5b5061001d610022565b6100d4565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00805468010000000000000000900460ff16156100725760405163f92ee8a960e01b815260040160405180910390fd5b80546001600160401b03908116146100d15780546001600160401b0319166001600160401b0390811782556040519081527fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d29060200160405180910390a15b50565b6080516159746100fd6000396000818161289b015281816128c40152612a5a01526159746000f3fe60806040526004361061016a5760003560e01c806357581511116100d15780638da5cb5b1161008a578063ad3cb1cc11610064578063ad3cb1cc1461049c578063d4ea31f0146104da578063f2fde38b146104ed578063f319b0001461050d57600080fd5b80638da5cb5b1461042457806399fbab8814610439578063a622ee7c1461046657600080fd5b8063575815111461038e57806357ab320a146103ae5780635b5d4380146103c15780635cd98826146103d4578063715018a6146103e757806384b0196e146103fc57600080fd5b80632954018c116101235780632954018c146102d057806345aab48a146102f5578063485cc955146103255780634f1ef2861461034557806352d1902d14610358578063546455671461037b57600080fd5b80630aa19397146101765780630eb9af38146101985780631a5fa2e3146101d557806321de18f1146101f557806322c792d91461021f578063256b5a02146102b057600080fd5b3661017157005b600080fd5b34801561018257600080fd5b50610196610191366004614a4b565b61052d565b005b3480156101a457600080fd5b506101b86101b3366004614b45565b6109ea565b6040516001600160a01b0390911681526020015b60405180910390f35b3480156101e157600080fd5b506101966101f0366004614b45565b610a43565b34801561020157600080fd5b5060005461020f9060ff1681565b60405190151581526020016101cc565b61023261022d366004614b8d565b610acd565b6040516101cc9190815181526020808301516001600160a01b039081169183019190915260408084015182169083015260608084015191821690830152610120820190506080830151608083015260a083015160a083015260c083015160c083015260e083015160e083015261010083015161010083015292915050565b3480156102bc57600080fd5b506101966102cb366004614b45565b610dc9565b3480156102dc57600080fd5b506000546101b89061010090046001600160a01b031681565b34801561030157600080fd5b5061020f610310366004614b45565b60036020526000908152604090205460ff1681565b34801561033157600080fd5b50610196610340366004614bef565b610fd4565b610196610353366004614d6d565b6110e4565b34801561036457600080fd5b5061036d611103565b6040519081526020016101cc565b610196610389366004614dde565b611120565b34801561039a57600080fd5b506101966103a9366004614b45565b611341565b6102326103bc366004614e3c565b6113c8565b6101966103cf366004614e7b565b611601565b6102326103e2366004614f0a565b6119c3565b3480156103f357600080fd5b506101966119d6565b34801561040857600080fd5b506104116119ea565b6040516101cc9796959493929190614f9f565b34801561043057600080fd5b506101b8611a9b565b34801561044557600080fd5b5061036d610454366004615037565b60016020526000908152604090205481565b34801561047257600080fd5b506101b8610481366004614b45565b6002602052600090815260409020546001600160a01b031681565b3480156104a857600080fd5b506104cd604051806040016040528060058152602001640352e302e360dc1b81525081565b6040516101cc9190615050565b6101966104e8366004615063565b611ac9565b3480156104f957600080fd5b50610196610508366004614b45565b611c60565b34801561051957600080fd5b50610196610528366004615101565b611c9e565b610535611da4565b606461053f611ddc565b6001600160a01b031663c614384c82336040518363ffffffff1660e01b815260040161056c929190615141565b60006040518083038186803b15801561058457600080fd5b505afa158015610598573d6000803e3d6000fd5b50505086851490506105bd5760405163b4fa3fb360e01b815260040160405180910390fd5b60008290036105df5760405163ac8da8e360e01b815260040160405180910390fd5b856000888282816105f2576105f2615163565b90506101200201604001602081019061060b9190614b45565b905060008989600081811061062257610622615163565b90506101200201606001602081019061063b9190614b45565b90506000805b848110156108135760008c8c8381811061065d5761065d615163565b905061012002018036038101906106749190615208565b905061067f81611deb565b8151600090815260016020526040902054146106ae5760405163673f032f60e11b815260040160405180910390fd5b846001600160a01b031681604001516001600160a01b0316146106e457604051631eb3268560e31b815260040160405180910390fd5b836001600160a01b031681606001516001600160a01b03161461071a5760405163020adce760e11b815260040160405180910390fd5b60008b8b8481811061072e5761072e615163565b9050602002013590506000610741611ec1565b60408085015160c086015160808701519251630e0700c960e41b81526001600160a01b03928316600482015260248101919091526044810192909252919091169063e0700c9090606401602060405180830381865afa1580156107a8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107cc9190615225565b9050808211806107da575081155b156107f8576040516373a4c33f60e11b815260040160405180910390fd5b6108028286615254565b945050600190920191506106419050565b5060008061082b610824898b61533d565b8587611f39565b9150915082811461084f5760405163b0f8fc9b60e01b815260040160405180910390fd5b60005b868110156109b45760008e8e8381811061086e5761086e615163565b905061012002018036038101906108859190615208565b905060008d8d8481811061089b5761089b615163565b905060200201359050600060018a6108b3919061534a565b84146108c9576108c4868389612168565b6108cb565b855b905060006108ec8460a001518560e00151846121689092919063ffffffff16565b9050818460e001818151610900919061534a565b90525060a08401805182919061091790839061534a565b90525042608085015261092984611deb565b8451600090815260016020526040902055610944828861534a565b9650610950838961534a565b8451604080519182526020820186905260009082015260608101849052608081018390529098507f4013fac4b4e975fa8ffff23c54f8559a67ae4ed54b834624d4e6888f137d95ce9060a00160405180910390a15050600190920191506108529050565b506109c46000866000808561222c565b505050505050506109e2600160008051602061591f83398151915255565b505050505050565b6001600160a01b03818116600090815260026020526040812054909116610a2457604051630681d31960e51b815260040160405180910390fd5b506001600160a01b039081166000908152600260205260409020541690565b610a4b611ddc565b604051630935e01b60e21b81523360048201526001600160a01b0391909116906324d7806c9060240160006040518083038186803b158015610a8c57600080fd5b505afa158015610aa0573d6000803e3d6000fd5b5050600080546001600160a01b0390941661010002610100600160a81b0319909416939093179092555050565b610ad56149a0565b610add611da4565b610ae784846122e1565b336001600160a01b03831614801590610b885750600060019054906101000a90046001600160a01b03166001600160a01b03166398d96aa06040518163ffffffff1660e01b8152600401602060405180830381865afa158015610b4e573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610b72919061535d565b6001600160a01b0316336001600160a01b031614155b15610ba657604051630f23084160e31b815260040160405180910390fd5b61012084013515801590610bdd57506001600160a01b038216610bd161016086016101408701614b45565b6001600160a01b031614155b15610bfb57604051630f23084160e31b815260040160405180910390fd5b6000610c0d6040860160208701614b45565b90506000610c246101b36040880160208901614b45565b60405163317afabb60e21b8152608088013560048201529091506001600160a01b0382169063c5ebeaec90602401600060405180830381600087803b158015610c6c57600080fd5b505af1158015610c80573d6000803e3d6000fd5b50505050600080610cba88806101000190610c9b919061537a565b610ca49161533d565b85610cb560608c0160408d01614b45565b611f39565b915091508760a00135811015610ce35760405163406220a960e01b815260040160405180910390fd5b6040516369a3a14960e01b815260608901356004820152602481018290526001600160a01b038416906369a3a1499060440160006040518083038186803b158015610d2d57600080fd5b505afa158015610d41573d6000803e3d6000fd5b505050508760800135821115610d6a576040516335f36d1160e21b815260040160405180910390fd5b8760800135821015610d9957610d9983610d888460808c013561534a565b6001600160a01b0387169190612600565b610da58689838561265f565b945050505050610dc2600160008051602061591f83398151915255565b9392505050565b6067610dd3611ddc565b6001600160a01b031663c614384c82336040518363ffffffff1660e01b8152600401610e00929190615141565b60006040518083038186803b158015610e1857600080fd5b505afa158015610e2c573d6000803e3d6000fd5b5050600054604051639b845cdd60e01b815260ff909116151560048201523092506001600160a01b0385169150639b845cdd90602401602060405180830381865afa158015610e7f573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ea3919061535d565b6001600160a01b031614610eca57604051630681d31960e51b815260040160405180910390fd5b6000826001600160a01b03166338d52e0f6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610f0a573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f2e919061535d565b6001600160a01b038082166000908152600260205260409020549192501615610f6a576040516304aabf3360e01b815260040160405180910390fd5b6001600160a01b0381811660008181526002602090815260409182902080546001600160a01b03191694881694851790559051928352909130917f891f008b8c9cadc4c9114ed37ce718f739b28049d58e50e35a02d94c4e9b06ff910160405180910390a3505050565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a008054600160401b810460ff1615906001600160401b03166000811580156110195750825b90506000826001600160401b031660011480156110355750303b155b905081158015611043575080155b156110615760405163f92ee8a960e01b815260040160405180910390fd5b845467ffffffffffffffff19166001178555831561108b57845460ff60401b1916600160401b1785555b611095878761287c565b83156110db57845460ff60401b19168555604051600181527fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d29060200160405180910390a15b50505050505050565b6110ec612890565b6110f582612935565b6110ff8282612992565b5050565b600061110d612a4f565b506000805160206158ff83398151915290565b611128611da4565b61114261113c611137846153e3565b612a98565b82612b2f565b600061115460a0840160808501614b45565b905061115f81612c47565b4283351015611181576040516362b439dd60e11b815260040160405180910390fd5b60006040518060c001604052808560200135815260200185604001358152602001600081526020018660028111156111bb576111bb61546e565b8152600060208201526040016111d96101c087016101a08801614b45565b6001600160a01b031690529050600061120382606087016111fe61018089018961537a565b612cf3565b60608601356000818152600160205260409020549192509060001901611279577f75b84e1e549840eae7725d388221efd1eff0445233ca8ba75c16fe9aa4420f9d81858460000151856040015186606001518760a0015160405161126c96959493929190615484565b60405180910390a1611321565b7fbf109bd723f23a8453e35c569e9a1249639bca162cab600e8ac822cffeb84e5581858460000151856040015186606001518760a0015188608001518961010001518a60e00151604051611318999897969594939291909889526001600160a01b0397909716602089015260408801959095526060870193909352608086019190915260a085015260c084015260e08301526101008201526101200190565b60405180910390a15b5050505061133c600160008051602061591f83398151915255565b505050565b611349611ddc565b604051630935e01b60e21b81523360048201526001600160a01b0391909116906324d7806c9060240160006040518083038186803b15801561138a57600080fd5b505afa15801561139e573d6000803e3d6000fd5b5050506001600160a01b039091166000908152600360205260409020805460ff1916600117905550565b6113d06149a0565b6113d8611da4565b6113e283836131fd565b6113f260a0840160808501614b45565b6001600160a01b0316336001600160a01b0316146114b257600060019054906101000a90046001600160a01b03166001600160a01b03166398d96aa06040518163ffffffff1660e01b8152600401602060405180830381865afa15801561145d573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611481919061535d565b6001600160a01b0316336001600160a01b0316146114b257604051630f23084160e31b815260040160405180910390fd5b60408051610120810190915260608401358152600090602081016114dc60a0870160808801614b45565b6001600160a01b031681526020016114fa60c0870160a08801614b45565b6001600160a01b0316815260200161151860e0870160c08801614b45565b6001600160a01b0316815260e086013560208201526040016115408635610100880135615254565b815261012086013560208201526040016115608635610140880135615254565b8152610160860135602090910152905061157981611deb565b60608501356000818152600160205260409020919091557fe3212ff75492fa89c1dcc88edb7da97c3dba570be9ed969716421a1937d2e875906115c260a0870160808801614b45565b6040516115da92919088359081906000908190615484565b60405180910390a190506115fb600160008051602061591f83398151915255565b92915050565b611609611da4565b6064611613611ddc565b6001600160a01b031663c614384c82336040518363ffffffff1660e01b8152600401611640929190615141565b60006040518083038186803b15801561165857600080fd5b505afa15801561166c573d6000803e3d6000fd5b505050506060850135602084013581146116995760405163af61069360e01b815260040160405180910390fd5b42846060013510156116be576040516362b439dd60e11b815260040160405180910390fd5b42863510156116e0576040516362b439dd60e11b815260040160405180910390fd5b60006116f260a0880160808901614b45565b90506117158161170f61170a368990038901896154c6565b6133e5565b86613476565b61172a611724611137896153e3565b87612b2f565b60006040518060c0016040528089602001358152602001896040013581526020018760c0013581526020018a60028111156117675761176761546e565b8152600060208201526040016117856101c08b016101a08c01614b45565b6001600160a01b03169052905060006117aa8260608b016111fe6101808d018d61537a565b606081015160408201516020830151929350909160006117ca8385615254565b905060006117db60208d018d615554565b905060018160ff1611156118025760405163af61069360e01b815260040160405180910390fd5b60ff81161561182d576118198260808e013561556f565b61182760a08e01358561556f565b1061184b565b61183b8260808e013561556f565b61184960a08e01358561556f565b115b1561186957604051635d5ce00360e01b815260040160405180910390fd5b600089815260016020526040902054600019016118f057855160a080880151604080518d81526001600160a01b038d16602082015260ff86168183015260608101949094526080840188905291830188905260c0830152517f6fe8780cb281bfa04b1136759ae4474c3ada2c511162f19556f299187c63340a9181900360e00190a161199b565b7fa3afbbf0ccff02ce05f5ab35fbd61c51728a8de873a5a5e51b910650a41555958989838960000151888a8c60a001518d608001518e61010001518f60e001516040516119929a99989796959493929190998a526001600160a01b039890981660208a015260ff9690961660408901526060880194909452608087019290925260a086015260c085015260e08401526101008301526101208201526101400190565b60405180910390a15b505050505050505050506119bc600160008051602061591f83398151915255565b5050505050565b6119cb6149a0565b610dc2838333610acd565b6119de6135ae565b6119e860006135e0565b565b600060608082808083816000805160206158df8339815191528054909150158015611a1757506001810154155b611a605760405162461bcd60e51b81526020600482015260156024820152741152540dcc4c8e88155b9a5b9a5d1a585b1a5e9959605a1b60448201526064015b60405180910390fd5b611a68613651565b611a70613714565b60408051600080825260208201909252600f60f81b9c939b5091995046985030975095509350915050565b7f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c199300546001600160a01b031690565b611ad1611da4565b6064611adb611ddc565b6001600160a01b031663c614384c82336040518363ffffffff1660e01b8152600401611b08929190615141565b60006040518083038186803b158015611b2057600080fd5b505afa158015611b34573d6000803e3d6000fd5b5050505060006040518060c001604052808881526020016000815260200160008152602001896002811115611b6b57611b6b61546e565b8152600160208201526001600160a01b03851660409091015290506000611b9482888888612cf3565b905060006064611ba960e08a0135600561556f565b611bb3919061559c565b9050808260c001518360000151611bca9190615254565b1115611be95760405163c4d82e4360e01b815260040160405180910390fd5b7fc84dd454965cb66936af89c78c1833d5dc2554cd53f6ef2ad1f7b0945a94c5938835611c1c60408b0160208c01614b45565b8451604080870151606088015160a08901519251611c3d9695949390615484565b60405180910390a1505050506109e2600160008051602061591f83398151915255565b611c686135ae565b6001600160a01b038116611c9257604051631e4fbdf760e01b815260006004820152602401611a57565b611c9b816135e0565b50565b611ca6613753565b611cae61379c565b611cb7816137a4565b611cbf6137b5565b611d3b83611cf4576040518060400160405280600f81526020016e15d85cd8589a54da1bdc9d141bdbdb608a1b815250611d1c565b6040518060400160405280600e81526020016d15d85cd8589a531bdb99d41bdbdb60921b8152505b604051806040016040528060018152602001603160f81b8152506137c5565b600080546001600160a81b031916841515610100600160a81b031916176101006001600160a01b03851602178155600190600390611d776137d7565b6001600160a01b031681526020810191909152604001600020805460ff1916911515919091179055505050565b60008051602061591f833981519152805460011901611dd657604051633ee5aeb560e01b815260040160405180910390fd5b60029055565b6000611de6611a9b565b905090565b60007f48c32350097d00445d05f246b194474a08c279eadfd70fd48d659fc07ffc7297826000015183602001518460400151856060015186608001518760a001518860c001518960e001518a6101000151604051602001611ea49a99989796959493929190998a5260208a01989098526001600160a01b0396871660408a0152948616606089015292909416608087015260a086015260c085019290925260e08401919091526101008301526101208201526101400190565b604051602081830303815290604052805190602001209050919050565b60008060019054906101000a90046001600160a01b03166001600160a01b031663200110c56040518163ffffffff1660e01b8152600401602060405180830381865afa158015611f15573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611de6919061535d565b6040516370a0823160e01b815230600482015260009081906001600160a01b038516906370a0823190602401602060405180830381865afa158015611f82573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611fa69190615225565b6040516370a0823160e01b81523060048201529092506001600160a01b038416906370a0823190602401602060405180830381865afa158015611fed573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906120119190615225565b855190915060005b8181101561207357600087828151811061203557612035615163565b602002602001015190506120698160400151826020015183600001516001600160a01b031661382b9092919063ffffffff16565b5050600101612019565b506040516370a0823160e01b81523060048201526001600160a01b038616906370a0823190602401602060405180830381865afa1580156120b8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906120dc9190615225565b6120e6908461534a565b6040516370a0823160e01b815230600482015290935082906001600160a01b038616906370a0823190602401602060405180830381865afa15801561212f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906121539190615225565b61215d919061534a565b915050935093915050565b600083830281600019858709828110838203039150508060000361219f5783828161219557612195615586565b0492505050610dc2565b8084116121bf5760405163227bc15360e01b815260040160405180910390fd5b6000848688096000868103871696879004966002600389028118808a02820302808a02820302808a02820302808a02820302808a02820302808a02909103029181900381900460010186841190950394909402919094039290920491909117919091029150509392505050565b6000612237856109ea565b905060006122458385615254565b905061225b6001600160a01b0387168383612600565b60405163340f508760e21b8152600481018290526024810188905285151560448201526001600160a01b0383169063d03d421c90606401600060405180830381600087803b1580156122ac57600080fd5b505af11580156122c0573d6000803e3d6000fd5b5050505050505050505050565b600160008051602061591f83398151915255565b6122f561113c6122f0846155be565b6138be565b600061230a3684900384016101208501615208565b9050600061231e6040850160208601614b45565b905060006123326060860160408701614b45565b8351909150156123e55761234583611deb565b8535600090815260016020526040902054146123745760405163673f032f60e11b815260040160405180910390fd5b82604001516001600160a01b0316826001600160a01b0316146123aa57604051631eb3268560e31b815260040160405180910390fd5b82606001516001600160a01b0316816001600160a01b0316146123e05760405163020adce760e11b815260040160405180910390fd5b612500565b8435600090815260016020526040902054156124145760405163e168e4db60e01b815260040160405180910390fd5b6000546124609060ff1661244157816001600160a01b031660009081526003602052604090205460ff1690565b826001600160a01b031660009081526003602052604090205460ff1690565b61247d57604051631eb3268560e31b815260040160405180910390fd5b806001600160a01b0316826001600160a01b0316036124af5760405163020adce760e11b815260040160405180910390fd5b8261010001518360e001518460c001518560a001516124ce9190615254565b6124d89190615254565b6124e29190615254565b156125005760405163673f032f60e11b815260040160405180910390fd5b61250e61010086018661537a565b90506000036125305760405163ac8da8e360e01b815260040160405180910390fd5b846080013560000361255557604051635884252160e11b815260040160405180910390fd5b428560c00135101561257a576040516362b439dd60e11b815260040160405180910390fd5b6000546125b09060ff1661258e5781612590565b825b6125a260e08801356060890135615254565b6125aa6137d7565b33613997565b6000546119bc9060e08701359060ff166125d9576125d46060880160408901614b45565b6125e9565b6125e96040880160208901614b45565b6125fb61026089016102408a01614b45565b613a18565b6040516001600160a01b0383811660248301526044820183905261133c91859182169063a9059cbb906064015b604051602081830303815290604052915060e01b6020820180516001600160e01b038381831617835250505050613a68565b6126676149a0565b6000846101200160000135600014159050600060405180610120016040528087600001358152602001886001600160a01b031681526020018760200160208101906126b29190614b45565b6001600160a01b031681526020016126d06060890160408a01614b45565b6001600160a01b03168152602001836126e957426126f0565b6101a08801355b815260200161270860608901356101c08a0135615254565b815260200161271c866101e08a0135615254565b81526020016060880135612735886102008b0135615254565b61273f9190615254565b815260200161275760e08901356102208a0135615254565b9052905061276481611deb565b863560009081526001602052604090205581156127d3577fe80a6b78f88f08b92cac13fc3aa5b23cf4753f8fb8bd85e4b356b670634f77f78635886060890135876127af828b615254565b8b60e001356040516127c696959493929190615484565b60405180910390a1612872565b7f41ae823bf4c91d7bece87d6eada54c198fd07594ad19d96d72d025896049bfdb86358861280760408a0160208b01614b45565b61281760608b0160408c01614b45565b60e080870151604080519687526001600160a01b0395861660208801529385169386019390935292166060848101919091528a0135608084015260a0830188905260c083015280890135908201526101000160405180910390a15b9695505050505050565b612884613753565b6110ff60008383611c9e565b306001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016148061291757507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031661290b6000805160206158ff833981519152546001600160a01b031690565b6001600160a01b031614155b156119e85760405163703e46dd60e11b815260040160405180910390fd5b61293d611ddc565b604051630935e01b60e21b81523360048201526001600160a01b0391909116906324d7806c9060240160006040518083038186803b15801561297e57600080fd5b505afa1580156119bc573d6000803e3d6000fd5b816001600160a01b03166352d1902d6040518163ffffffff1660e01b8152600401602060405180830381865afa9250505080156129ec575060408051601f3d908101601f191682019092526129e991810190615225565b60015b612a1457604051634c9c8ce360e01b81526001600160a01b0383166004820152602401611a57565b6000805160206158ff8339815191528114612a4557604051632a87526960e21b815260048101829052602401611a57565b61133c8383613acb565b306001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146119e85760405163703e46dd60e11b815260040160405180910390fd5b60007fa0bd57f9850d2bad9e64e8002b0ce58a1098b44251ffb0980264663b82250ae5826000015183602001518460400151612ad78660600151611deb565b612ae48760800151613b21565b60a080890151604080516020810199909952880196909652606087019490945260808601929092529184019190915260c08301526001600160a01b031660e082015261010001611ea4565b6000612b3a83613c96565b90506000600182612b4e6020860186615554565b604080516000815260208181018084529490945260ff9092168282015291860135606082015290850135608082015260a0016020604051602081039080840390855afa158015612ba2573d6000803e3d6000fd5b5050506020604051035190506000612bb8611ddc565b6001600160a01b031663d1f856ee6065846040518363ffffffff1660e01b8152600401612be6929190615141565b6040805180830381865afa158015612c02573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612c26919061568b565b509050806119bc57604051638baa579f60e01b815260040160405180910390fd5b6001600160a01b0381163303612c5a5750565b6000612c64611ddc565b6001600160a01b031663d1f856ee6064336040518363ffffffff1660e01b8152600401612c92929190615141565b6040805180830381865afa158015612cae573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612cd2919061568b565b509050806110ff57604051630f23084160e31b815260040160405180910390fd5b612d426040518061012001604052806000815260200160008152602001600081526020016000815260200160008152602001600081526020016000815260200160008152602001600081525090565b8335612d5b612d5636879003870187615208565b611deb565b60008281526001602052604090205414612d885760405163673f032f60e11b815260040160405180910390fd5b6000839003612daa5760405163ac8da8e360e01b815260040160405180910390fd5b602086015160c08601359060e08701359060a0880135901580612dd05750828960200151115b15612ddd57602089018390525b612deb888a60000151613cc3565b8952612e1a612dfa878961533d565b612e0a60808b0160608c01614b45565b610cb560608c0160408d01614b45565b604087015260208601819052821015612e4657604051631cbf0b8960e01b815260040160405180910390fd5b612e5885604001518a60200151613d87565b60408701819052606087019190915260208a01511115612e8b5760405163b0f8fc9b60e01b815260040160405180910390fd5b82896020015103612ec65761010080890135608087015260e0860182905285018290526020850151612ebe908390613d87565b508552612f45565b82856040015183612ed7919061556f565b612ee1919061559c565b61010086015260408501518390612ef8908361556f565b612f02919061559c565b60e086015260408501518390612f1d906101008b013561556f565b612f27919061559c565b60808601526101008501516020860151612f419190613d87565b5085525b606085015115612f6357612f63896000015186606001516003613db4565b845160408a0151610100870151612fa0929190612f91908c90612f869085615254565b60005460ff16613e0d565b612f9b9190615254565b613d87565b60a0870152855260808901511561306f57845161306790612fbf611ec1565b6001600160a01b03166313487f0d84612fde60608e0160408f01614b45565b8d6060016020810190612ff19190614b45565b6040516001600160e01b031960e086901b16815260048101939093526001600160a01b039182166024840152166044820152606401602060405180830381865afa158015613043573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190612f9b9190615225565b60c087015285525b602089015161309c9061308860608b0160408c01614b45565b8b608001518860400151896060015161222c565b6130d289606001518960600160208101906130b79190614b45565b6130c760408c0160208d01614b45565b8c60a0015189613e65565b8285604001511080156130e757508860800151155b156131de5760006040518061012001604052808681526020018a60200160208101906131139190614b45565b6001600160a01b0316815260200161313160608c0160408d01614b45565b6001600160a01b0316815260200161314f60808c0160608d01614b45565b6001600160a01b031681526020018a6080013581526020018760e0015184613177919061534a565b815260200187604001518661318c919061534a565b8152602001876101000151856131a2919061534a565b815260200187608001518b61010001356131bc919061534a565b905290506131c981611deb565b600086815260016020526040902055506131f1565b6000848152600160208190526040909120555b50505050949350505050565b61321761113c613212368590038501856156c3565b614281565b600061322b36849003840160608501615208565b6040810151606082015191925090843560000361325b57604051637ca44a8f60e11b815260040160405180910390fd5b60005460ff161561334557846020013560000361328a5760405162ffe80f60e41b815260040160405180910390fd5b6000613294611ec1565b60c08501516080860151604051630e0700c960e41b81526001600160a01b0387811660048301526024820193909352604481019190915291169063e0700c9090606401602060405180830381865afa1580156132f4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906133189190615225565b9050808660200135111561333f576040516373a4c33f60e11b815260040160405180910390fd5b50613368565b602085013515613368576040516373a4c33f60e11b815260040160405180910390fd5b61337183611deb565b8351600090815260016020526040902054146133a05760405163673f032f60e11b815260040160405180910390fd5b42856040013510156133c5576040516362b439dd60e11b815260040160405180910390fd5b6000546119bc9060ff166133d957816133db565b825b86356125aa6137d7565b60007fd9cfa04c18137773e2e5104f35b2ad1f62323bab79de5db55d8111ce70593b66826000015183602001518460400151856060015186608001518760a001518860c00151604051602001611ea498979695949392919097885260ff96909616602088015260408701949094526060860192909252608085015260a084015260c083015260e08201526101000190565b600061348183613c96565b905060006001826134956020860186615554565b604080516000815260208181018084529490945260ff9092168282015291860135606082015290850135608082015260a0016020604051602081039080840390855afa1580156134e9573d6000803e3d6000fd5b505050602060405103519050806001600160a01b0316856001600160a01b031614158015613590575061351a611ddc565b6040516342e9d87b60e01b81526001600160a01b038781166004830152838116602483015291909116906342e9d87b90604401602060405180830381865afa15801561356a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061358e9190615736565b155b156119bc57604051638baa579f60e01b815260040160405180910390fd5b336135b7611a9b565b6001600160a01b0316146119e85760405163118cdaa760e01b8152336004820152602401611a57565b7f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c19930080546001600160a01b031981166001600160a01b03848116918217845560405192169182907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3505050565b7fa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d10280546060916000805160206158df8339815191529161369090615753565b80601f01602080910402602001604051908101604052809291908181526020018280546136bc90615753565b80156137095780601f106136de57610100808354040283529160200191613709565b820191906000526020600020905b8154815290600101906020018083116136ec57829003601f168201915b505050505091505090565b7fa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d10380546060916000805160206158df8339815191529161369090615753565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a0054600160401b900460ff166119e857604051631afcd79f60e31b815260040160405180910390fd5b6119e8613753565b6137ac613753565b611c9b816142ec565b6137bd613753565b6119e86142f4565b6137cd613753565b6110ff82826142fc565b60008060019054906101000a90046001600160a01b03166001600160a01b03166323a7b42a6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611f15573d6000803e3d6000fd5b6060814710156138505760405163cd78605960e01b8152306004820152602401611a57565b600080856001600160a01b0316848660405161386c9190615787565b60006040518083038185875af1925050503d80600081146138a9576040519150601f19603f3d011682016040523d82523d6000602084013e6138ae565b606091505b509150915061287286838361435d565b60007f6a36946795713cb0d845dfd59fe886128a8f898548f6a3bd0d7211014b54b5b6826000015183602001518460400151856060015186608001518760a001518860c001518960e001516139178b6101000151613b21565b6139258c6101200151611deb565b610140808e015160408051602081019e909e528d019b909b526001600160a01b03998a1660608d015297891660808c015260a08b019690965260c08a019490945260e089019290925261010088015261012087015291850191909152610160840152166101808201526101a001611ea4565b34156139fd57816001600160a01b0316846001600160a01b0316146139cf57604051631eb3268560e31b815260040160405180910390fd5b8234146139ef57604051637ca44a8f60e11b815260040160405180910390fd5b6139f8826143b9565b613a12565b613a126001600160a01b03851682308661440d565b50505050565b8215801590613a2f57506001600160a01b03811615155b15613a4c57613a3f838383614446565b613a49908461534a565b92505b61133c613a576145c4565b6001600160a01b0384169085612600565b6000613a7d6001600160a01b03841683614618565b90508051600014158015613aa2575080806020019051810190613aa09190615736565b155b1561133c57604051635274afe760e01b81526001600160a01b0384166004820152602401611a57565b613ad482614626565b6040516001600160a01b038316907fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b90600090a2805115613b195761133c828261468b565b6110ff6146f8565b805160009081816001600160401b03811115613b3f57613b3f614c28565b604051908082528060200260200182016040528015613b68578160200160208202803683370190505b50905060005b82811015613c65577fae8afe996a65dac2aaac44f3859cc01f3527ee213e83ea2eda3501690d0ea956858281518110613ba957613ba9615163565b602002602001015160000151868381518110613bc757613bc7615163565b602002602001015160200151878481518110613be557613be5615163565b60200260200101516040015180519060200120604051602001613c2a94939291909384526001600160a01b039290921660208401526040830152606082015260800190565b60405160208183030381529060405280519060200120828281518110613c5257613c52615163565b6020908102919091010152600101613b6e565b5080604051602001613c7791906157a3565b6040516020818303038152906040528051906020012092505050919050565b60006115fb613ca3614717565b8360405161190160f01b8152600281019290925260228201526042902090565b600080613cce611ec1565b6001600160a01b031663e0700c90613cec6060870160408801614b45565b6040516001600160e01b031960e084901b1681526001600160a01b03909116600482015260c0870135602482015260808701356044820152606401602060405180830381865afa158015613d44573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190613d689190615225565b9050821580613d7657508083115b15613d7f578092505b509092915050565b60008082841115613da657613d9c838561534a565b9150829050613dad565b5060009050825b9250929050565b600082841015613dcd57613dc8848461534a565b613dd7565b613dd7838561534a565b9050613de3848361556f565b613dee82606461556f565b1115613a125760405163604e917360e01b815260040160405180910390fd5b60008082613e1f578460e00135613e31565b613e3160c086013560a0870135615254565b613e4090610100870135615254565b905080613e526101008701358661556f565b613e5c919061559c565b95945050505050565b60a08101516001600160a01b03831615613e9157613e84818685614446565b613e8e908261534a565b90505b613e996137d7565b6001600160a01b0316856001600160a01b0316036140815760008260c00151828460000151613ec89190615254565b613ed29190615254565b90506000613ede6137d7565b90506001886002811115613ef457613ef461546e565b03613faa5747821115613f6b576001600160a01b038116632e1a7d4d613f1a478561534a565b6040518263ffffffff1660e01b8152600401613f3891815260200190565b600060405180830381600087803b158015613f5257600080fd5b505af1158015613f66573d6000803e3d6000fd5b505050505b613f7c83613f776145c4565b614721565b60c084015115613f9657613f968460c00151613f776147ad565b8351613fa29087614721565b5050506119bc565b6040516370a0823160e01b81523060048201526000906001600160a01b038316906370a0823190602401602060405180830381865afa158015613ff1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906140159190615225565b90508083111561407d576001600160a01b03821663d0e30db0614038838661534a565b6040518263ffffffff1660e01b81526004016000604051808303818588803b15801561406357600080fd5b505af1158015614077573d6000803e3d6000fd5b50505050505b5050505b80156140a3576140a36140926145c4565b6001600160a01b0387169083612600565b60c0820151156140ce576140ce6140b86147ad565b60c08401516001600160a01b0388169190612600565b8151156109e25760028660028111156140e9576140e961546e565b036142695760006140f9866109ea565b8351604051636eb1769f60e11b81523060048201526001600160a01b038084166024830152929350909188169063dd62ed3e90604401602060405180830381865afa15801561414c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906141709190615225565b10156141ec5760405163095ea7b360e01b81526001600160a01b038281166004830152600019602483015287169063095ea7b3906044016020604051808303816000875af11580156141c6573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906141ea9190615736565b505b8251604051636e553f6560e01b815260048101919091526001600160a01b038681166024830152821690636e553f65906044016020604051808303816000875af115801561423e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906142629190615225565b50506109e2565b81516109e2906001600160a01b038716908690612600565b60007fd29b28be0a20bef4afc9413b920d8488b80deaa13a72160368141683cabbbe128260000151836020015184604001516142c08660600151611deb565b6040805160208101969096528501939093526060840191909152608083015260a082015260c001611ea4565b611c68613753565b6122cd613753565b614304613753565b6000805160206158df8339815191527fa16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d10261433e8482615820565b506003810161434d8382615820565b5060008082556001909101555050565b6060826143725761436d82614801565b610dc2565b815115801561438957506001600160a01b0384163b155b156143b257604051639996b31560e01b81526001600160a01b0385166004820152602401611a57565b5080610dc2565b6000819050806001600160a01b031663d0e30db0476040518263ffffffff1660e01b81526004016000604051808303818588803b1580156143f957600080fd5b505af11580156110db573d6000803e3d6000fd5b6040516001600160a01b038481166024830152838116604483015260648201839052613a129186918216906323b872dd9060840161262d565b60008061445161482a565b60405163850bf6e360e01b81526001600160a01b0385811660048301526024820188905291925060009183169063850bf6e390604401602060405180830381865afa1580156144a4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906144c89190615225565b905080156145b85760405163095ea7b360e01b81526001600160a01b0383811660048301526024820183905286169063095ea7b3906044016020604051808303816000875af115801561451f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906145439190615736565b5060405163785a291b60e01b81526001600160a01b03858116600483015286811660248301526044820183905283169063785a291b90606401600060405180830381600087803b15801561459657600080fd5b505af11580156145aa573d6000803e3d6000fd5b505050508092505050610dc2565b50600095945050505050565b60008060019054906101000a90046001600160a01b03166001600160a01b031663e8a353926040518163ffffffff1660e01b8152600401602060405180830381865afa158015611f15573d6000803e3d6000fd5b6060610dc28383600061382b565b806001600160a01b03163b60000361465c57604051634c9c8ce360e01b81526001600160a01b0382166004820152602401611a57565b6000805160206158ff83398151915280546001600160a01b0319166001600160a01b0392909216919091179055565b6060600080846001600160a01b0316846040516146a89190615787565b600060405180830381855af49150503d80600081146146e3576040519150601f19603f3d011682016040523d82523d6000602084013e6146e8565b606091505b5091509150613e5c85838361435d565b34156119e85760405163b398979f60e01b815260040160405180910390fd5b6000611de661487e565b81156110ff576000816001600160a01b03168360405160006040518083038185875af1925050503d8060008114614774576040519150601f19603f3d011682016040523d82523d6000602084013e614779565b606091505b505090508061133c5760405163f733a60960e01b8152600481018490526001600160a01b0383166024820152604401611a57565b60008060019054906101000a90046001600160a01b03166001600160a01b031663a14009c26040518163ffffffff1660e01b8152600401602060405180830381865afa158015611f15573d6000803e3d6000fd5b8051156148115780518082602001fd5b604051630a12f52160e11b815260040160405180910390fd5b60008060019054906101000a90046001600160a01b03166001600160a01b031663e43ac72f6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611f15573d6000803e3d6000fd5b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f6148a96148f2565b6148b161495c565b60408051602081019490945283019190915260608201524660808201523060a082015260c00160405160208183030381529060405280519060200120905090565b60006000805160206158df8339815191528161490c613651565b80519091501561492457805160209091012092915050565b81548015614933579392505050565b7fc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470935050505090565b60006000805160206158df83398151915281614976613714565b80519091501561498e57805160209091012092915050565b60018201548015614933579392505050565b6040518061012001604052806000815260200160006001600160a01b0316815260200160006001600160a01b0316815260200160006001600160a01b0316815260200160008152602001600081526020016000815260200160008152602001600081525090565b60008083601f840112614a1957600080fd5b5081356001600160401b03811115614a3057600080fd5b6020830191508360208260051b8501011115613dad57600080fd5b60008060008060008060608789031215614a6457600080fd5b86356001600160401b03811115614a7a57600080fd5b8701601f81018913614a8b57600080fd5b80356001600160401b03811115614aa157600080fd5b89602061012083028401011115614ab757600080fd5b6020918201975095508701356001600160401b03811115614ad757600080fd5b614ae389828a01614a07565b90955093505060408701356001600160401b03811115614b0257600080fd5b614b0e89828a01614a07565b979a9699509497509295939492505050565b6001600160a01b0381168114611c9b57600080fd5b8035614b4081614b20565b919050565b600060208284031215614b5757600080fd5b8135610dc281614b20565b60006102608284031215614b7557600080fd5b50919050565b600060608284031215614b7557600080fd5b600080600060a08486031215614ba257600080fd5b83356001600160401b03811115614bb857600080fd5b614bc486828701614b62565b935050614bd48560208601614b7b565b91506080840135614be481614b20565b809150509250925092565b60008060408385031215614c0257600080fd5b8235614c0d81614b20565b91506020830135614c1d81614b20565b809150509250929050565b634e487b7160e01b600052604160045260246000fd5b60405161012081016001600160401b0381118282101715614c6157614c61614c28565b60405290565b604051606081016001600160401b0381118282101715614c6157614c61614c28565b60405160c081016001600160401b0381118282101715614c6157614c61614c28565b60405161016081016001600160401b0381118282101715614c6157614c61614c28565b604051601f8201601f191681016001600160401b0381118282101715614cf657614cf6614c28565b604052919050565b600082601f830112614d0f57600080fd5b81356001600160401b03811115614d2857614d28614c28565b614d3b601f8201601f1916602001614cce565b818152846020838601011115614d5057600080fd5b816020850160208301376000918101602001919091529392505050565b60008060408385031215614d8057600080fd5b8235614d8b81614b20565b915060208301356001600160401b03811115614da657600080fd5b614db285828601614cfe565b9150509250929050565b803560038110614b4057600080fd5b60006101c08284031215614b7557600080fd5b600080600060a08486031215614df357600080fd5b614dfc84614dbc565b925060208401356001600160401b03811115614e1757600080fd5b614e2386828701614dcb565b925050614e338560408601614b7b565b90509250925092565b6000808284036101e0811215614e5157600080fd5b610180811215614e6057600080fd5b50829150614e72846101808501614b7b565b90509250929050565b60008060008060008587036101e0811215614e9557600080fd5b614e9e87614dbc565b955060208701356001600160401b03811115614eb957600080fd5b614ec589828a01614dcb565b955050614ed58860408901614b7b565b935060e0609f1982011215614ee957600080fd5b5060a086019150614efe876101808801614b7b565b90509295509295909350565b60008060808385031215614f1d57600080fd5b82356001600160401b03811115614f3357600080fd5b614f3f85828601614b62565b925050614e728460208501614b7b565b60005b83811015614f6a578181015183820152602001614f52565b50506000910152565b60008151808452614f8b816020860160208601614f4f565b601f01601f19169290920160200192915050565b60ff60f81b8816815260e060208201526000614fbe60e0830189614f73565b8281036040840152614fd08189614f73565b606084018890526001600160a01b038716608085015260a0840186905283810360c08501528451808252602080870193509091019060005b81811015615026578351835260209384019390920191600101615008565b50909b9a5050505050505050505050565b60006020828403121561504957600080fd5b5035919050565b602081526000610dc26020830184614f73565b6000806000806000808688036101a081121561507e57600080fd5b61508788614dbc565b965060208801359550610120603f19820112156150a357600080fd5b506040870193506101608701356001600160401b038111156150c457600080fd5b6150d089828a01614a07565b9094509250506101808701356150e581614b20565b809150509295509295509295565b8015158114611c9b57600080fd5b60008060006060848603121561511657600080fd5b8335615121816150f3565b9250602084013561513181614b20565b91506040840135614be481614b20565b6001600160401b039290921682526001600160a01b0316602082015260400190565b634e487b7160e01b600052603260045260246000fd5b6000610120828403121561518c57600080fd5b615194614c3e565b8235815290506151a660208301614b35565b60208201526151b760408301614b35565b60408201526151c860608301614b35565b60608201526080828101359082015260a0808301359082015260c0808301359082015260e080830135908201526101009182013591810191909152919050565b6000610120828403121561521b57600080fd5b610dc28383615179565b60006020828403121561523757600080fd5b5051919050565b634e487b7160e01b600052601160045260246000fd5b808201808211156115fb576115fb61523e565b60006001600160401b0383111561528057615280614c28565b8260051b61529060208201614cce565b8481529150820160208201858211156152a857600080fd5b835b828110156153335780356001600160401b038111156152c857600080fd5b8501606081890312156152da57600080fd5b6152e2614c67565b81356152ed81614b20565b81526020828101359082015260408201356001600160401b0381111561531257600080fd5b61531e8a828501614cfe565b604083015250835250602091820191016152aa565b5050509392505050565b6000610dc2368484615267565b818103818111156115fb576115fb61523e565b60006020828403121561536f57600080fd5b8151610dc281614b20565b6000808335601e1984360301811261539157600080fd5b8301803591506001600160401b038211156153ab57600080fd5b6020019150600581901b3603821315613dad57600080fd5b600082601f8301126153d457600080fd5b610dc283833560208501615267565b60006101c082360312156153f657600080fd5b6153fe614c89565b8235815260208084013590820152604080840135908201526154233660608501615179565b60608201526101808301356001600160401b0381111561544257600080fd5b61544e368286016153c3565b6080830152506101a083013561546381614b20565b60a082015292915050565b634e487b7160e01b600052602160045260246000fd5b9586526001600160a01b0394909416602086015260408501929092526060840152608083015260a082015260c00190565b803560ff81168114614b4057600080fd5b600060e08284031280156154d957600080fd5b5060405160009060e081016001600160401b03811182821017156154ff576154ff614c28565b60405261550b846154b5565b81526020848101359082015260408085013590820152606080850135908201526080808501359082015260a0808501359082015260c09384013593810193909352509092915050565b60006020828403121561556657600080fd5b610dc2826154b5565b80820281158282048414176115fb576115fb61523e565b634e487b7160e01b600052601260045260246000fd5b6000826155b957634e487b7160e01b600052601260045260246000fd5b500490565b600061026082360312156155d157600080fd5b6155d9614cab565b823581526155e960208401614b35565b60208201526155fa60408401614b35565b6040820152606083810135908201526080808401359082015260a0808401359082015260c0808401359082015260e080840135908201526101008301356001600160401b0381111561564b57600080fd5b615657368286016153c3565b6101008301525061566c366101208501615179565b61012082015261567f6102408401614b35565b61014082015292915050565b6000806040838503121561569e57600080fd5b82516156a9816150f3565b602084015190925063ffffffff81168114614c1d57600080fd5b60006101808284031280156156d757600080fd5b50604051600090608081016001600160401b03811182821017156156fd576156fd614c28565b604090815284358252602080860135908301528481013590820181905291506157298560608601615179565b6060820152949350505050565b60006020828403121561574857600080fd5b8151610dc2816150f3565b600181811c9082168061576757607f821691505b602082108103614b7557634e487b7160e01b600052602260045260246000fd5b60008251615799818460208701614f4f565b9190910192915050565b8151600090829060208501835b828110156157ce5781518452602093840193909101906001016157b0565b509195945050505050565b601f82111561133c57806000526020600020601f840160051c810160208510156158005750805b601f840160051c820191505b818110156119bc576000815560010161580c565b81516001600160401b0381111561583957615839614c28565b61584d816158478454615753565b846157d9565b6020601f82116001811461588157600083156158695750848201515b600019600385901b1c1916600184901b1784556119bc565b600084815260208120601f198516915b828110156158b15787850151825560209485019460019092019101615891565b50848210156158cf5786840151600019600387901b60f8161c191681555b50505050600190811b0190555056fea16a46d94261c7517cc8ff89f61c0ce93598e3c849801011dee649a6a557d100360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00a26469706673582212202978a03a71107375d096030ce379231894d52b89d3e8109261d8b2b1d693ab7364736f6c634300081a0033