ALEV2 | Ethereum - codeslaw

codeslaw

ALEV2Solidityv0.8.20+commit.a1b79de6

network

Ethereum

address0x371277f908aa6d46da93a94d078dbe6cf712761d

deployer0xcfaD496f4e92f1f2d3fdC093Dde11Add1dc3a781

tx last 12 months

1 tx

calls last 12 months

2 calls

18 Files

lib

openzeppelin-contracts

contracts

access

Ownable.sol

interfaces

IERC1363.sol

IERC165.sol

IERC20.sol

token

ERC20

IERC20.sol

utils

SafeERC20.sol

utils

Address.sol

Context.sol

Errors.sol

ReentrancyGuard.sol

introspection

IERC165.sol

src

Market.sol

interfaces

IDola.sol

IERC20.sol

IMarket.sol

IPendleHelper.sol

util

ALEV2.sol

CurveDBRHelper.sol

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

abi

constructor

constructor(address _pool)

functions

approximateDolaAndDbrNeeded

view

function approximateDolaAndDbrNeeded(uint256 dolaBorrowAmount, uint256 period, uint256 iterations) view returns (uint256 dolaForDbr, uint256 dbrNeeded)

CALLBACK_SUCCESS

view

function CALLBACK_SUCCESS() view returns (bytes32)

curvePool

view

function curvePool() view returns (address)

DBR

view

function DBR() view returns (address)

DELEVERAGE

view

function DELEVERAGE() view returns (bytes32)

flash

view

function flash() view returns (address)

isExchangeProxy

view

function isExchangeProxy(address) view returns (bool)

LEVERAGE

view

function LEVERAGE() view returns (bytes32)

markets

view

function markets(address) view returns (address buySellToken, address collateral, address helper, bool useProxy)

owner

view

function owner() view returns (address)

allowProxy

nonpayable

function allowProxy(address _proxy)

deleveragePosition

payable

function deleveragePosition(uint256 value, address market, address exchangeProxy, uint256 collateralAmount, bytes swapCallData, tuple permit, bytes helperData, tuple dbrData) payable

denyProxy

nonpayable

function denyProxy(address _proxy)

depositAndLeveragePosition

payable

function depositAndLeveragePosition(uint256 initialDeposit, uint256 value, address market, address exchangeProxy, bytes swapCallData, tuple permit, bytes helperData, tuple dbrData, bool depositCollateral) payable

leveragePosition

payable

function leveragePosition(uint256 value, address market, address exchangeProxy, bytes swapCallData, tuple permit, bytes helperData, tuple dbrData) payable

onFlashLoan

nonpayable

function onFlashLoan(address initiator, address, uint256 amount, uint256, bytes data) returns (bytes32)

renounceOwnership

nonpayable

function renounceOwnership()

setMarket

nonpayable

function setMarket(address _market, address _buySellToken, address _helper, bool useProxy)

transferOwnership

nonpayable

function transferOwnership(address newOwner)

updateMarketHelper

nonpayable

function updateMarketHelper(address _market, address _helper)

events

Deposit

event Deposit(address indexed market, address indexed account, address indexed token, uint256 depositAmount)

LeverageDown

event LeverageDown(address indexed market, address indexed account, uint256 dolaFlashMinted, uint256 collateralSold, uint256 dolaUserRepaid, uint256 dbrSoldForDola)

LeverageUp

event LeverageUp(address indexed market, address indexed account, uint256 dolaFlashMinted, uint256 collateralDeposited, uint256 dolaBorrowed, uint256 dolaForDBR)

NewHelper

event NewHelper(address indexed market, address indexed helper)

NewMarket

event NewMarket(address indexed market, address indexed buySellToken, address collateral, address indexed helper)

OwnershipTransferred

event OwnershipTransferred(address indexed previousOwner, address indexed newOwner)

errors

AddressEmptyCode

error AddressEmptyCode(address target)

CollateralIsZero

error CollateralIsZero()

CollateralNotSet

error CollateralNotSet()

DepositFailed

error DepositFailed(uint256 expected, uint256 actual)

DOLAInvalidBorrow

error DOLAInvalidBorrow(uint256 expected, uint256 actual)

DOLAInvalidRepay

error DOLAInvalidRepay(uint256 expected, uint256 actual)

FailedCall

error FailedCall()

InsufficientBalance

error InsufficientBalance(uint256 balance, uint256 needed)

InvalidAction

error InvalidAction(bytes32 action)

InvalidHelperAddress

error InvalidHelperAddress()

InvalidProxyAddress

error InvalidProxyAddress()

MarketNotSet

error MarketNotSet(address market)

MarketSetupFailed

error MarketSetupFailed(address market, address buySellToken, address collateral, address helper)

NoMarket

error NoMarket(address market)

NotALE

error NotALE(address caller)

NotFlashMinter

error NotFlashMinter(address caller)

NothingToDeposit

error NothingToDeposit()

OwnableInvalidOwner

error OwnableInvalidOwner(address owner)

OwnableUnauthorizedAccount

error OwnableUnauthorizedAccount(address account)

ReentrancyGuardReentrantCall

error ReentrancyGuardReentrantCall()

SafeERC20FailedOperation

error SafeERC20FailedOperation(address token)

SwapFailed

error SwapFailed()

TotalSupplyChanged

error TotalSupplyChanged(uint256 expected, uint256 actual)

WithdrawFailed

error WithdrawFailed(uint256 expected, uint256 actual)

bytecode

creation bytecode

0x60a060405234801562000010575f80fd5b50604051620041b3380380620041b38339810160408190526200003391620002ce565b8033806200005a57604051631e4fbdf760e01b81525f600482015260240160405180910390fd5b62000065816200027f565b50600180556001600160a01b038116608081905260405163095ea7b360e01b815260048101919091525f19602482015273865377367054516e17014ccded1e7d814edc9ce49063095ea7b3906044015f604051808303815f87803b158015620000cc575f80fd5b505af1158015620000df573d5f803e3d5ffd5b505060405163095ea7b360e01b81526001600160a01b03841660048201525f19602482015273ad038eb671c44b853887a7e32528fab35dc5d710925063095ea7b391506044015f604051808303815f87803b1580156200013d575f80fd5b505af115801562000150573d5f803e3d5ffd5b505060405163c661065760e01b81525f600482015273865377367054516e17014ccded1e7d814edc9ce492506001600160a01b038416915063c661065790602401602060405180830381865afa158015620001ad573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190620001d39190620002ce565b6001600160a01b031603620001f1575f6003556001600255620001fb565b60016003555f6002555b5060405163095ea7b360e01b8152736c5fdc0c53b122ae0f15a863c349f3a481de8f1f60048201525f19602482015273865377367054516e17014ccded1e7d814edc9ce49063095ea7b3906044015f604051808303815f87803b15801562000261575f80fd5b505af115801562000274573d5f803e3d5ffd5b5050505050620002fd565b5f80546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b5f60208284031215620002df575f80fd5b81516001600160a01b0381168114620002f6575f80fd5b9392505050565b608051613e81620003325f395f818161019701528181610d6f01528181610ea10152818161299d01526130380152613e815ff3fe60806040526004361061015a575f3560e01c80638e8f294b116100bb578063d336c82d11610071578063e0bfa25811610057578063e0bfa2581461046a578063f18524c0146104a8578063f2fde38b146104bb575f80fd5b8063d336c82d14610424578063dfc0791c1461044b575f80fd5b8063b8b71de1116100a1578063b8b71de1146103aa578063b9181d1c146103de578063c9f7e59614610411575f80fd5b80638e8f294b146102f2578063a92d64e01461038b575f80fd5b806376daa13e116101105780638237e538116100f65780638237e538146102705780638d01f0ba146102a35780638da5cb5b146102d6575f80fd5b806376daa13e1461023e5780637c65d3fc1461025d575f80fd5b806323e30c8b1161014057806323e30c8b146101d65780636d12471514610203578063715018a61461022a575f80fd5b80630715940e14610165578063218751b214610186575f80fd5b3661016157005b5f80fd5b348015610170575f80fd5b5061018461017f36600461328d565b6104da565b005b348015610191575f80fd5b506101b97f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020015b60405180910390f35b3480156101e1575f80fd5b506101f56101f03660046132ed565b610560565b6040519081526020016101cd565b34801561020e575f80fd5b506101b973ad038eb671c44b853887a7e32528fab35dc5d71081565b348015610235575f80fd5b5061018461074c565b348015610249575f80fd5b5061018461025836600461328d565b61075f565b61018461026b36600461338a565b6107e8565b34801561027b575f80fd5b506101f57f439148f0bbc682ca079e46d6e2c2f0c1e3b820f1a291b069d8882abf8cf18dd981565b3480156102ae575f80fd5b506101f57f147ae675f296256b5eecc84e9bf2bc391732bfd51dcbff57b4a60ba6cb0ffaf181565b3480156102e1575f80fd5b505f546001600160a01b03166101b9565b3480156102fd575f80fd5b5061035661030c36600461328d565b60056020525f90815260409020805460018201546002909201546001600160a01b039182169282169181169074010000000000000000000000000000000000000000900460ff1684565b6040516101cd94939291906001600160a01b039485168152928416602084015292166040820152901515606082015260800190565b348015610396575f80fd5b506101846103a5366004613449565b61097f565b3480156103b5575f80fd5b506103c96103c4366004613480565b610d19565b604080519283526020830191909152016101cd565b3480156103e9575f80fd5b506101f57f0d4f76b1b60020edd6acf708bcdea3786c83a63ebd71b191c28d7561a8c0fc2a81565b61018461041f3660046134c1565b610fce565b34801561042f575f80fd5b506101b9736c5fdc0c53b122ae0f15a863c349f3a481de8f1f81565b348015610456575f80fd5b506101846104653660046135a3565b6110d8565b348015610475575f80fd5b5061049861048436600461328d565b60046020525f908152604090205460ff1681565b60405190151581526020016101cd565b6101846104b63660046135fc565b6116b6565b3480156104c6575f80fd5b506101846104d536600461328d565b611821565b6104e2611877565b6001600160a01b038116610522576040517ffc9dfba700000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6001600160a01b03165f90815260046020526040902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00169055565b5f6001600160a01b03871630146105b3576040517f09aeae910000000000000000000000000000000000000000000000000000000081526001600160a01b03881660048201526024015b60405180910390fd5b33736c5fdc0c53b122ae0f15a863c349f3a481de8f1f14610602576040517f3ca399320000000000000000000000000000000000000000000000000000000081523360048201526024016105aa565b5f61060f838501856138b7565b505050505050505090507f147ae675f296256b5eecc84e9bf2bc391732bfd51dcbff57b4a60ba6cb0ffaf181036106845761067f8685858080601f0160208091040260200160405190810160405280939291908181526020018383808284375f920191909152506118bc92505050565b61071f565b7f0d4f76b1b60020edd6acf708bcdea3786c83a63ebd71b191c28d7561a8c0fc2a81036106ea5761067f8685858080601f0160208091040260200160405190810160405280939291908181526020018383808284375f92019190915250611dfc92505050565b6040517fa2160dcf000000000000000000000000000000000000000000000000000000008152600481018290526024016105aa565b507f439148f0bbc682ca079e46d6e2c2f0c1e3b820f1a291b069d8882abf8cf18dd9979650505050505050565b610754611877565b61075d5f61245e565b565b610767611877565b6001600160a01b0381166107a7576040517ffc9dfba700000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6001600160a01b03165f90815260046020526040902080547fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00166001179055565b6107f06124c5565b6001600160a01b038881165f908152600560205260409020541661084b576040517f31589d090000000000000000000000000000000000000000000000000000000081526001600160a01b03891660048201526024016105aa565b5f7f147ae675f296256b5eecc84e9bf2bc391732bfd51dcbff57b4a60ba6cb0ffaf1338a8a5f8b8b8b8b8b8b6040516020016108919b9a999897969594939291906139e8565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0818403018152908290527f5cffe9de0000000000000000000000000000000000000000000000000000000082529150736c5fdc0c53b122ae0f15a863c349f3a481de8f1f90635cffe9de9061092990309073865377367054516e17014ccded1e7d814edc9ce4908f908790600401613af1565b6020604051808303815f875af1158015610945573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109699190613b22565b505061097460018055565b505050505050505050565b610987611877565b6001600160a01b038281165f90815260056020526040902054166109e2576040517f31589d090000000000000000000000000000000000000000000000000000000081526001600160a01b03831660048201526024016105aa565b6001600160a01b038116610a22576040517ff79ccfb200000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6001600160a01b038281165f908152600560205260408082206002810154905491517f095ea7b30000000000000000000000000000000000000000000000000000000081529084166004820181905260248201939093529192169063095ea7b3906044016020604051808303815f875af1158015610aa2573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ac69190613b22565b506001600160a01b038381165f908152600560205260408082206001015490517f095ea7b3000000000000000000000000000000000000000000000000000000008152848416600482015260248101929092529091169063095ea7b3906044016020604051808303815f875af1158015610b42573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b669190613b22565b506001600160a01b038381165f90815260056020526040908190206002810180547fffffffffffffffffffffffff000000000000000000000000000000000000000016868516908117909155905491517f095ea7b300000000000000000000000000000000000000000000000000000000815260048101919091525f19602482015291169063095ea7b3906044016020604051808303815f875af1158015610c10573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c349190613b22565b506001600160a01b038381165f90815260056020526040908190206001015490517f095ea7b300000000000000000000000000000000000000000000000000000000815284831660048201525f19602482015291169063095ea7b3906044016020604051808303815f875af1158015610caf573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610cd39190613b22565b50816001600160a01b0316836001600160a01b03167f06bc331032840de3e44179cee67a8860508a9c70737f1e433476e3a9a255b25f60405160405180910390a3505050565b5f808481610d28600283613b6a565b6003546002546040517f556d6e9f00000000000000000000000000000000000000000000000000000000815260048101929092526024820152604481018490529091505f907f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03169063556d6e9f90606401602060405180830381865afa158015610dbc573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610de09190613ba2565b90505f6301e1338088610df38b87613bb9565b610dfd9190613bcc565b610e079190613b6a565b90505f818311610e2057610e1b8383613be3565b610e2a565b610e2a8284613be3565b90505f5b88811015610f97578583851115610e5057610e498682613be3565b9050610e5d565b610e5a8682613bb9565b90505b6003546002546040517f556d6e9f00000000000000000000000000000000000000000000000000000000815260048101929092526024820152604481018290525f907f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03169063556d6e9f90606401602060405180830381865afa158015610eee573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610f129190613ba2565b90505f6301e133808d8f85610f279190613bb9565b610f319190613bcc565b610f3b9190613b6a565b90505f818311610f5457610f4f8383613be3565b610f5e565b610f5e8284613be3565b905085811015610f75578297508196508095508399505b610f8060028a613b6a565b98505050505080610f9090613bf6565b9050610e2e565b50846301e133808a610fa9838e613bb9565b610fb39190613bcc565b610fbd9190613b6a565b965096505050505050935093915050565b8a5f03611007576040517f9a4f66bf00000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b5f811561103157506001600160a01b03808a165f908152600560205260409020600101541661104d565b506001600160a01b03808a165f90815260056020526040902054165b6110626001600160a01b03821633308f612508565b806001600160a01b0316336001600160a01b03168b6001600160a01b03167f7cfff908a4b583f36430b25d75964c458d8ede8a99bd61be750e97ee1b2f3a968f6040516110b191815260200190565b60405180910390a46110ca8b8b8b8b8b8b8b8b8b6107e8565b505050505050505050505050565b6110e0611877565b6040517f8e8f294b0000000000000000000000000000000000000000000000000000000081526001600160a01b038516600482015273ad038eb671c44b853887a7e32528fab35dc5d71090638e8f294b90602401602060405180830381865afa15801561114f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111739190613b22565b6111b4576040517f2df59b680000000000000000000000000000000000000000000000000000000081526001600160a01b03851660048201526024016105aa565b5f846001600160a01b031663d8dfeb456040518163ffffffff1660e01b81526004016020604051808303815f875af11580156111f2573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112169190613c0e565b90506001600160a01b0383161580156112415750806001600160a01b0316846001600160a01b031614155b156112fe578484866001600160a01b031663d8dfeb456040518163ffffffff1660e01b81526004016020604051808303815f875af1158015611285573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112a99190613c0e565b6040517f119a599e0000000000000000000000000000000000000000000000000000000081526001600160a01b03938416600482015291831660248301528216604482015290841660648201526084016105aa565b6001600160a01b038086165f90815260056020526040902080548287167fffffffffffffffffffffffff00000000000000000000000000000000000000009182168117835560019092018054938516939091168317905514611498576001600160a01b038581165f81815260056020526040908190205490517f095ea7b300000000000000000000000000000000000000000000000000000000815260048101929092525f1960248301529091169063095ea7b3906044016020604051808303815f875af11580156113d2573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113f69190613b22565b506001600160a01b038581165f81815260056020526040908190206001015490517f095ea7b300000000000000000000000000000000000000000000000000000000815260048101929092525f1960248301529091169063095ea7b3906044016020604051808303815f875af1158015611472573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114969190613b22565b505b6001600160a01b03831615611615576001600160a01b038581165f90815260056020526040908190206002810180547fffffffffffffffffffffffff000000000000000000000000000000000000000016878516908117909155905491517f095ea7b300000000000000000000000000000000000000000000000000000000815260048101919091525f19602482015291169063095ea7b3906044016020604051808303815f875af1158015611550573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906115749190613b22565b506001600160a01b038581165f90815260056020526040908190206001015490517f095ea7b300000000000000000000000000000000000000000000000000000000815285831660048201525f19602482015291169063095ea7b3906044016020604051808303815f875af11580156115ef573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906116139190613b22565b505b6001600160a01b038581165f8181526005602090815260409182902060020180547fffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff1674010000000000000000000000000000000000000000881515021790559051848416815286841693881692917f8ab0b8c470b101bb508ea695012478540f30a9857917e6c327eda5761d6f8be7910160405180910390a45050505050565b6116be6124c5565b6001600160a01b038981165f9081526005602052604090205416611719576040517f31589d090000000000000000000000000000000000000000000000000000000081526001600160a01b038a1660048201526024016105aa565b5f7f0d4f76b1b60020edd6acf708bcdea3786c83a63ebd71b191c28d7561a8c0fc2a338b8b8b8b8b8b8b8b8b60405160200161175f9b9a99989796959493929190613c29565b6040516020818303038152906040529050736c5fdc0c53b122ae0f15a863c349f3a481de8f1f6001600160a01b0316635cffe9de3073865377367054516e17014ccded1e7d814edc9ce48e856040518563ffffffff1660e01b81526004016117ca9493929190613af1565b6020604051808303815f875af11580156117e6573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061180a9190613b22565b505061181560018055565b50505050505050505050565b611829611877565b6001600160a01b03811661186b576040517f1e4fbdf70000000000000000000000000000000000000000000000000000000081525f60048201526024016105aa565b6118748161245e565b50565b5f546001600160a01b0316331461075d576040517f118cdaa70000000000000000000000000000000000000000000000000000000081523360048201526024016105aa565b5f805f805f805f878060200190518101906118d79190613d44565b6001600160a01b0387165f90815260056020526040902060020154979f50959d50939b5090995097509095509093505074010000000000000000000000000000000000000000900460ff16159050611a98576001600160a01b0385165f9081526004602052604090205460ff1661197a576040517ffc9dfba700000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6040517f095ea7b30000000000000000000000000000000000000000000000000000000081526001600160a01b0386166004820152602481018a905273865377367054516e17014ccded1e7d814edc9ce49063095ea7b3906044015f604051808303815f87803b1580156119ec575f80fd5b505af11580156119fe573d5f803e3d5ffd5b505050505f856001600160a01b03163486604051611a1c9190613e00565b5f6040518083038185875af1925050503d805f8114611a56576040519150601f19603f3d011682016040523d82523d5f602084013e611a5b565b606091505b5050905080611a96576040517f81ceff3000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b505b6001600160a01b038681165f908152600560205260408082205490517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152919216906370a0823190602401602060405180830381865afa158015611b05573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611b299190613ba2565b9050805f03611b64576040517fb4f18b0200000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6001600160a01b038781165f908152600560205260409020600201541615611b9557611b928882898661258a565b90505b6001600160a01b038781165f81815260056020526040908190206001015490517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015291926347e7ef24928c92909116906370a0823190602401602060405180830381865afa158015611c10573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611c349190613ba2565b6040517fffffffff0000000000000000000000000000000000000000000000000000000060e085901b1681526001600160a01b03909216600483015260248201526044015f604051808303815f87803b158015611c8f575f80fd5b505af1158015611ca1573d5f803e3d5ffd5b50505050611cb2888b86858b612713565b604082015115611d5f5760408281015190517fa9059cbb0000000000000000000000000000000000000000000000000000000081526001600160a01b038a166004820152602481019190915273865377367054516e17014ccded1e7d814edc9ce49063a9059cbb906044016020604051808303815f875af1158015611d39573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611d5d9190613b22565b505b815115801590611d7257505f8260200151115b15611d8957611d89825f015183602001518a612938565b611d93888b612a0d565b604080830151835182518d8152602081018590529283019190915260608201526001600160a01b03808a1691908916907f27adca66c335786d061cb91c67c649d181361d7245b6d38c4995b1f9b94017729060800160405180910390a350505050505050505050565b5f805f805f805f8088806020019051810190611e189190613d44565b9850985098509850985098509850985050611e37888b8786858c612bca565b6001600160a01b038088165f9081526005602052604090208054600290910154908216911615611f3857611e6e89878a8487612e2c565b6001600160a01b038981165f908152600560205260408082206001015490517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015293995090929116906370a0823190602401602060405180830381865afa158015611ee2573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611f069190613ba2565b90508015611f36576001600160a01b03808a165f90815260056020526040902060010154611f3691168b83612fa2565b505b6001600160a01b0388165f9081526005602052604090206002015474010000000000000000000000000000000000000000900460ff161561216d576001600160a01b0387165f9081526004602052604090205460ff16611fc4576040517ffc9dfba700000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6040517f095ea7b30000000000000000000000000000000000000000000000000000000081526001600160a01b0388811660048301525f602483015282169063095ea7b3906044016020604051808303815f875af1158015612028573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061204c9190613b22565b506040517f095ea7b30000000000000000000000000000000000000000000000000000000081526001600160a01b0388811660048301526024820188905282169063095ea7b3906044016020604051808303815f875af11580156120b2573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906120d69190613b22565b505f876001600160a01b031634876040516120f19190613e00565b5f6040518083038185875af1925050503d805f811461212b576040519150601f19603f3d011682016040523d82523d5f602084013e612130565b606091505b505090508061216b576040517f81ceff3000000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b505b6001600160a01b038881165f9081526005602052604090206002015416612258576001600160a01b038881165f908152600560205260408082206001015490517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152919216906370a0823190602401602060405180830381865afa1580156121fe573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906122229190613ba2565b90508015612252576001600160a01b03808a165f9081526005602052604090206001015461225291168b83612fa2565b5061231b565b6001600160a01b03811673865377367054516e17014ccded1e7d814edc9ce41461231b576040517f70a082310000000000000000000000000000000000000000000000000000000081523060048201525f906001600160a01b038316906370a0823190602401602060405180830381865afa1580156122d9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906122fd9190613ba2565b90508015612319576123196001600160a01b0383168b83612fa2565b505b81511580159061232e57505f8260200151115b156123ea5781516040517f23b872dd0000000000000000000000000000000000000000000000000000000081526001600160a01b038b166004820152306024820152604481019190915273ad038eb671c44b853887a7e32528fab35dc5d710906323b872dd906064016020604051808303815f875af11580156123b3573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906123d79190613b22565b506123ea825f015183602001518b612fd3565b6123f4898c612a0d565b604080830151835182518e8152602081018a90529283019190915260608201526001600160a01b03808b1691908a16907fc9557b65f45f298d465e24590087886d84c9edd6e108069afb1a834ba704b7669060800160405180910390a35050505050505050505050565b5f80546001600160a01b038381167fffffffffffffffffffffffff0000000000000000000000000000000000000000831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b600260015403612501576040517f3ee5aeb500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6002600155565b6040516001600160a01b0384811660248301528381166044830152606482018390526125849186918216906323b872dd906084015b604051602081830303815290604052915060e01b6020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff8381831617835250505050613067565b50505050565b6001600160a01b038083165f908152600560205260408082206002015490517fc87ae3340000000000000000000000000000000000000000000000000000000081529192839291169063c87ae334906125eb90899089908890600401613e1b565b6020604051808303815f875af1158015612607573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061262b9190613ba2565b6001600160a01b038581165f908152600560205260408082206001015490517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015293945090929116906370a0823190602401602060405180830381865afa15801561269f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906126c39190613ba2565b905081811015612709576040517f278c9d4000000000000000000000000000000000000000000000000000000000815260048101839052602481018290526044016105aa565b9695505050505050565b815160408301515f91906127279087613bb9565b6127319190613bb9565b84516020860151604080880151606089015191517f1ef08b750000000000000000000000000000000000000000000000000000000081526001600160a01b038c8116600483015260248201879052604482019590955260ff9093166064840152608483015260a4820152919250831690631ef08b759060c4015f604051808303815f87803b1580156127c1575f80fd5b505af11580156127d3573d5f803e3d5ffd5b50506040517f70a0823100000000000000000000000000000000000000000000000000000000815230600482015283925073865377367054516e17014ccded1e7d814edc9ce491506370a0823190602401602060405180830381865afa15801561283f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906128639190613ba2565b1015612930576040517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152819073865377367054516e17014ccded1e7d814edc9ce4906370a0823190602401602060405180830381865afa1580156128d1573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906128f59190613ba2565b6040517fc1c3f185000000000000000000000000000000000000000000000000000000008152600481019290925260248201526044016105aa565b505050505050565b8215612a08576003546002546040517fce7d65030000000000000000000000000000000000000000000000000000000081526004810192909252602482015260448101849052606481018390525f60848201526001600160a01b0382811660a48301527f0000000000000000000000000000000000000000000000000000000000000000169063ce7d65039060c4015b6020604051808303815f875af11580156129e4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906125849190613ba2565b505050565b6040517f70a082310000000000000000000000000000000000000000000000000000000081523060048201525f9073865377367054516e17014ccded1e7d814edc9ce4906370a0823190602401602060405180830381865afa158015612a75573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190612a999190613ba2565b905081811015612adf576040517fd694ba9500000000000000000000000000000000000000000000000000000000815260048101839052602481018290526044016105aa565b81811115612b925773865377367054516e17014ccded1e7d814edc9ce463a9059cbb84612b0c8585613be3565b6040517fffffffff0000000000000000000000000000000000000000000000000000000060e085901b1681526001600160a01b03909216600483015260248201526044016020604051808303815f875af1158015612b6c573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190612b909190613b22565b505b4715612a08576040516001600160a01b038416904780156108fc02915f818181858888f19350505050158015612584573d5f803e3d5ffd5b604082015115612c8e5760408281015190517f23b872dd0000000000000000000000000000000000000000000000000000000081526001600160a01b0388166004820152306024820152604481019190915273865377367054516e17014ccded1e7d814edc9ce4906323b872dd906064016020604051808303815f875af1158015612c57573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190612c7b9190613b22565b506040820151612c8b9086613bb9565b94505b6040517f095ea7b30000000000000000000000000000000000000000000000000000000081526001600160a01b03821660048201526024810186905273865377367054516e17014ccded1e7d814edc9ce49063095ea7b3906044015f604051808303815f87803b158015612d00575f80fd5b505af1158015612d12573d5f803e3d5ffd5b50506040517f22867d780000000000000000000000000000000000000000000000000000000081526001600160a01b03898116600483015260248201899052841692506322867d7891506044015f604051808303815f87803b158015612d76575f80fd5b505af1158015612d88573d5f803e3d5ffd5b505084516020860151604080880151606089015191517f3525f5910000000000000000000000000000000000000000000000000000000081526001600160a01b038d81166004830152602482018c9052604482019590955260ff9093166064840152608483015260a48201529084169250633525f591915060c4015f604051808303815f87803b158015612e1a575f80fd5b505af1158015611815573d5f803e3d5ffd5b6001600160a01b038084165f908152600560205260408082206002015490517f3352519200000000000000000000000000000000000000000000000000000000815291928392911690633352519290612e8d908a908a908890600401613e1b565b6020604051808303815f875af1158015612ea9573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190612ecd9190613ba2565b6040517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529091505f906001600160a01b038616906370a0823190602401602060405180830381865afa158015612f2d573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190612f519190613ba2565b905081811015612f97576040517fe50972c500000000000000000000000000000000000000000000000000000000815260048101839052602481018290526044016105aa565b979650505050505050565b6040516001600160a01b03838116602483015260448201839052612a0891859182169063a9059cbb9060640161253d565b8215612a08576002546003546040517fce7d65030000000000000000000000000000000000000000000000000000000081526004810192909252602482015260448101849052606481018390525f60848201526001600160a01b0382811660a48301527f0000000000000000000000000000000000000000000000000000000000000000169063ce7d65039060c4016129c8565b5f61307b6001600160a01b038416836130e1565b905080515f1415801561309f57508080602001905181019061309d9190613b22565b155b15612a08576040517f5274afe70000000000000000000000000000000000000000000000000000000081526001600160a01b03841660048201526024016105aa565b60606130ee83835f6130f7565b90505b92915050565b60608147101561313c576040517fcf479181000000000000000000000000000000000000000000000000000000008152476004820152602481018390526044016105aa565b5f80856001600160a01b031684866040516131579190613e00565b5f6040518083038185875af1925050503d805f8114613191576040519150601f19603f3d011682016040523d82523d5f602084013e613196565b606091505b50915091506131a68683836131b2565b925050505b9392505050565b6060826131c7576131c282613227565b6131ab565b81511580156131de57506001600160a01b0384163b155b15613220576040517f9996b3150000000000000000000000000000000000000000000000000000000081526001600160a01b03851660048201526024016105aa565b50806131ab565b8051156132375780518082602001fd5b6040517fd6bda27500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6001600160a01b0381168114611874575f80fd5b803561328881613269565b919050565b5f6020828403121561329d575f80fd5b81356131ab81613269565b5f8083601f8401126132b8575f80fd5b50813567ffffffffffffffff8111156132cf575f80fd5b6020830191508360208285010111156132e6575f80fd5b9250929050565b5f805f805f8060a08789031215613302575f80fd5b863561330d81613269565b9550602087013561331d81613269565b94506040870135935060608701359250608087013567ffffffffffffffff811115613346575f80fd5b61335289828a016132a8565b979a9699509497509295939492505050565b5f60808284031215613374575f80fd5b50919050565b5f60608284031215613374575f80fd5b5f805f805f805f805f6101808a8c0312156133a3575f80fd5b8935985060208a01356133b581613269565b975060408a01356133c581613269565b965060608a013567ffffffffffffffff808211156133e1575f80fd5b6133ed8d838e016132a8565b90985096508691506134028d60808e01613364565b95506101008c0135915080821115613418575f80fd5b506134258c828d016132a8565b909450925061343a90508b6101208c0161337a565b90509295985092959850929598565b5f806040838503121561345a575f80fd5b823561346581613269565b9150602083013561347581613269565b809150509250929050565b5f805f60608486031215613492575f80fd5b505081359360208301359350604090920135919050565b8015158114611874575f80fd5b8035613288816134a9565b5f805f805f805f805f805f6101c08c8e0312156134dc575f80fd5b8b359a5060208c013599506134f460408d0135613269565b60408c0135985061350860608d0135613269565b60608c0135975067ffffffffffffffff8060808e01351115613528575f80fd5b6135388e60808f01358f016132a8565b909850965061354a8e60a08f01613364565b9550806101208e0135111561355d575f80fd5b5061356f8d6101208e01358e016132a8565b90945092506135828d6101408e0161337a565b91506135916101a08d016134b6565b90509295989b509295989b9093969950565b5f805f80608085870312156135b6575f80fd5b84356135c181613269565b935060208501356135d181613269565b925060408501356135e181613269565b915060608501356135f1816134a9565b939692955090935050565b5f805f805f805f805f806101a08b8d031215613616575f80fd5b8a35995060208b013561362881613269565b985060408b013561363881613269565b975060608b0135965060808b013567ffffffffffffffff8082111561365b575f80fd5b6136678e838f016132a8565b909850965086915061367c8e60a08f01613364565b95506101208d0135915080821115613692575f80fd5b5061369f8d828e016132a8565b90945092506136b490508c6101408d0161337a565b90509295989b9194979a5092959850565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b6040516080810167ffffffffffffffff81118282101715613715576137156136c5565b60405290565b6040516060810167ffffffffffffffff81118282101715613715576137156136c5565b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016810167ffffffffffffffff81118282101715613785576137856136c5565b604052919050565b5f67ffffffffffffffff8211156137a6576137a66136c5565b50601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01660200190565b5f82601f8301126137e1575f80fd5b81356137f46137ef8261378d565b61373e565b818152846020838601011115613808575f80fd5b816020850160208301375f918101602001919091529392505050565b60ff81168114611874575f80fd5b5f60808284031215613842575f80fd5b61384a6136f2565b905081358152602082013561385e81613824565b80602083015250604082013560408201526060820135606082015292915050565b5f6060828403121561388f575f80fd5b61389761371b565b905081358152602082013560208201526040820135604082015292915050565b5f805f805f805f805f6101c08a8c0312156138d0575f80fd5b8935985060208a01356138e281613269565b975060408a01356138f281613269565b965061390060608b0161327d565b955060808a0135945060a08a013567ffffffffffffffff80821115613923575f80fd5b61392f8d838e016137d2565b955061393e8d60c08e01613832565b94506101408c0135915080821115613954575f80fd5b506139618c828d016137d2565b92505061343a8b6101608c0161387f565b81835281816020850137505f602082840101525f60207fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f840116840101905092915050565b8035825260208101356139cb81613824565b60ff16602083015260408181013590830152606090810135910152565b5f6101c08d83526001600160a01b03808e166020850152808d166040850152808c1660608501525060ff8a1660808401528060a0840152613a2c818401898b613972565b9050613a3b60c08401886139b9565b828103610140840152613a4f818688613972565b8435610160850152602085013561018085015260408501356101a08501529150613a769050565b9c9b505050505050505050505050565b5f5b83811015613aa0578181015183820152602001613a88565b50505f910152565b5f8151808452613abf816020860160208601613a86565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0169290920160200192915050565b5f6001600160a01b038087168352808616602084015250836040830152608060608301526127096080830184613aa8565b5f60208284031215613b32575f80fd5b81516131ab816134a9565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f82613b9d577f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b500490565b5f60208284031215613bb2575f80fd5b5051919050565b808201808211156130f1576130f1613b3d565b80820281158282048414176130f1576130f1613b3d565b818103818111156130f1576130f1613b3d565b5f5f198203613c0757613c07613b3d565b5060010190565b5f60208284031215613c1e575f80fd5b81516131ab81613269565b5f6101c08d83526001600160a01b03808e166020850152808d166040850152808c166060850152508960808401528060a0840152613a2c818401898b613972565b805161328881613269565b5f82601f830112613c84575f80fd5b8151613c926137ef8261378d565b818152846020838601011115613ca6575f80fd5b613cb7826020830160208701613a86565b949350505050565b5f60808284031215613ccf575f80fd5b613cd76136f2565b9050815181526020820151613ceb81613824565b80602083015250604082015160408201526060820151606082015292915050565b5f60608284031215613d1c575f80fd5b613d2461371b565b905081518152602082015160208201526040820151604082015292915050565b5f805f805f805f805f6101c08a8c031215613d5d575f80fd5b8951985060208a0151613d6f81613269565b60408b0151909850613d8081613269565b9650613d8e60608b01613c6a565b955060808a0151945060a08a015167ffffffffffffffff80821115613db1575f80fd5b613dbd8d838e01613c75565b9550613dcc8d60c08e01613cbf565b94506101408c0151915080821115613de2575f80fd5b50613def8c828d01613c75565b92505061343a8b6101608c01613d0c565b5f8251613e11818460208701613a86565b9190910192915050565b6001600160a01b0384168152826020820152606060408201525f613e426060830184613aa8565b9594505050505056fea2646970667358221220cff8d423f422d959e0201dbd1087815ce31bde4d27fada6eaffc3993fe384ee464736f6c63430008140033000000000000000000000000c7de47b9ca2fc753d6a2f167d8b3e19c6d18b19a