InstitutionalVault | Ethereum

codeslaw

InstitutionalVaultSolidityv0.8.28+commit.7893614a

network

Ethereum

address0xb6ffcc320dfda1c3d634887c76f69e0518198b9c

deployer0xb7d83623906AC3fa577F45B7D2b9D4BD26BC5d76

tx last 12 months

0 txs

calls last 12 months

8 calls

40 Files

dependencies

@openzeppelin-contracts-5.1.0

access

manager

AuthorityUtils.sol

IAccessManaged.sol

IAccessManager.sol

IAuthority.sol

interfaces

IERC1363.sol

IERC165.sol

IERC1967.sol

IERC20.sol

IERC4626.sol

draft-IERC1822.sol

draft-IERC6093.sol

proxy

ERC1967

ERC1967Utils.sol

beacon

IBeacon.sol

token

ERC20

IERC20.sol

extensions

IERC20Metadata.sol

utils

SafeERC20.sol

utils

Address.sol

Errors.sol

Panic.sol

StorageSlot.sol

introspection

IERC165.sol

math

Math.sol

SafeCast.sol

types

Time.sol

@openzeppelin-contracts-upgradeable-5.1.0

access

manager

AccessManagedUpgradeable.sol

proxy

utils

Initializable.sol

UUPSUpgradeable.sol

token

ERC20

ERC20Upgradeable.sol

extensions

ERC4626Upgradeable.sol

utils

ContextUpgradeable.sol

src

Errors.sol

InstitutionalVault.sol

InstitutionalVaultStorage.sol

interface

Eigenlayer-Slashing

IDelegationManager.sol

ISignatureUtils.sol

IStrategy.sol

IBeaconDepositContract.sol

IEigenPodManager.sol

IInstitutionalVault.sol

IWETH.sol

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

abi

constructor

constructor(address weth, address eigenPodManager, address beaconDepositContract, address eigenDelegationManager)

functions

allowance

view

function allowance(address owner, address spender) view returns (uint256)

asset

view

function asset() view returns (address)

authority

view

function authority() view returns (address)

balanceOf

view

function balanceOf(address account) view returns (uint256)

BEACON_DEPOSIT_CONTRACT

view

function BEACON_DEPOSIT_CONTRACT() view returns (address)

convertToAssets

view

function convertToAssets(uint256 shares) view returns (uint256)

convertToShares

view

function convertToShares(uint256 assets) view returns (uint256)

decimals

view

function decimals() view returns (uint8)

EIGEN_DELEGATION_MANAGER

view

function EIGEN_DELEGATION_MANAGER() view returns (address)

EIGEN_POD_MANAGER

view

function EIGEN_POD_MANAGER() view returns (address)

getEigenPod

view

function getEigenPod() view returns (address)

getNonRestakedValidatorETH

view

function getNonRestakedValidatorETH() view returns (uint256)

getRestakedValidatorETH

view

function getRestakedValidatorETH() view returns (uint256)

getWithdrawalCredentials

view

function getWithdrawalCredentials() view returns (bytes)

isConsumingScheduledOp

view

function isConsumingScheduledOp() view returns (bytes4)

maxDeposit

view

function maxDeposit(address) view returns (uint256)

maxMint

view

function maxMint(address) view returns (uint256)

maxRedeem

view

function maxRedeem(address owner) view returns (uint256)

maxWithdraw

view

function maxWithdraw(address owner) view returns (uint256)

name

view

function name() view returns (string)

previewDeposit

view

function previewDeposit(uint256 assets) view returns (uint256)

previewMint

view

function previewMint(uint256 shares) view returns (uint256)

previewRedeem

view

function previewRedeem(uint256 shares) view returns (uint256)

previewWithdraw

view

function previewWithdraw(uint256 assets) view returns (uint256)

proxiableUUID

view

function proxiableUUID() view returns (bytes32)

symbol

view

function symbol() view returns (string)

totalAssets

view

function totalAssets() view returns (uint256)

totalSupply

view

function totalSupply() view returns (uint256)

UPGRADE_INTERFACE_VERSION

view

function UPGRADE_INTERFACE_VERSION() view returns (string)

WETH

view

function WETH() view returns (address)

approve

nonpayable

function approve(address spender, uint256 value) returns (bool)

completeQueuedWithdrawals

nonpayable

function completeQueuedWithdrawals(tuple[] withdrawals, bool[] receiveAsTokens)

customExternalCall

payable

function customExternalCall(address target, bytes data, uint256 value) payable

deposit

nonpayable

function deposit(uint256 assets, address receiver) returns (uint256)

depositETH

payable

function depositETH(address receiver) payable returns (uint256)

initialize

nonpayable

function initialize(address accessManager, string shareTokenName, string shareTokenSymbol)

mint

nonpayable

function mint(uint256 shares, address receiver) returns (uint256)

queueWithdrawals

nonpayable

function queueWithdrawals(uint256 shareAmount)

redeem

nonpayable

function redeem(uint256 shares, address receiver, address owner) returns (uint256)

setAuthority

nonpayable

function setAuthority(address newAuthority)

setValidatorsETH

nonpayable

function setValidatorsETH(uint128 restakedValidatorsETH, uint128 nonRestakedValidatorsETH)

startNonRestakingValidators

nonpayable

function startNonRestakingValidators(bytes[] pubKeys, bytes[] signatures, bytes32[] depositDataRoots)

startRestakingValidators

nonpayable

function startRestakingValidators(bytes[] pubKeys, bytes[] signatures, bytes32[] depositDataRoots)

transfer

nonpayable

function transfer(address to, uint256 value) returns (bool)

transferFrom

nonpayable

function transferFrom(address from, address to, uint256 value) returns (bool)

upgradeToAndCall

payable

function upgradeToAndCall(address newImplementation, bytes data) payable

withdraw

nonpayable

function withdraw(uint256 assets, address receiver, address owner) returns (uint256)

events

Approval

event Approval(address indexed owner, address indexed spender, uint256 value)

AuthorityUpdated

event AuthorityUpdated(address authority)

CustomExternalCall

event CustomExternalCall(address indexed target, bytes data, uint256 value)

Deposit

event Deposit(address indexed sender, address indexed owner, uint256 assets, uint256 shares)

Initialized

event Initialized(uint64 version)

NonRestakedValidatorsETHUpdated

event NonRestakedValidatorsETHUpdated(uint256 ethAmount)

RestakedValidatorsETHUpdated

event RestakedValidatorsETHUpdated(uint256 ethAmount)

StartedNonRestakingValidator

event StartedNonRestakingValidator(bytes pubKey, bytes32 depositDataRoot)

StartedRestakingValidator

event StartedRestakingValidator(bytes pubKey, bytes32 depositDataRoot)

Transfer

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

Upgraded

event Upgraded(address indexed implementation)

Withdraw

event Withdraw(address indexed sender, address indexed receiver, address indexed owner, uint256 assets, uint256 shares)

errors

AccessManagedInvalidAuthority

error AccessManagedInvalidAuthority(address authority)

AccessManagedRequiredDelay

error AccessManagedRequiredDelay(address caller, uint32 delay)

AccessManagedUnauthorized

error AccessManagedUnauthorized(address caller)

AddressEmptyCode

error AddressEmptyCode(address target)

CustomCallFailed

error CustomCallFailed()

ERC1967InvalidImplementation

error ERC1967InvalidImplementation(address implementation)

ERC1967NonPayable

error ERC1967NonPayable()

ERC20InsufficientAllowance

error ERC20InsufficientAllowance(address spender, uint256 allowance, uint256 needed)

ERC20InsufficientBalance

error ERC20InsufficientBalance(address sender, uint256 balance, uint256 needed)

ERC20InvalidApprover

error ERC20InvalidApprover(address approver)

ERC20InvalidReceiver

error ERC20InvalidReceiver(address receiver)

ERC20InvalidSender

error ERC20InvalidSender(address sender)

ERC20InvalidSpender

error ERC20InvalidSpender(address spender)

ERC4626ExceededMaxDeposit

error ERC4626ExceededMaxDeposit(address receiver, uint256 assets, uint256 max)

ERC4626ExceededMaxMint

error ERC4626ExceededMaxMint(address receiver, uint256 shares, uint256 max)

ERC4626ExceededMaxRedeem

error ERC4626ExceededMaxRedeem(address owner, uint256 shares, uint256 max)

ERC4626ExceededMaxWithdraw

error ERC4626ExceededMaxWithdraw(address owner, uint256 assets, uint256 max)

FailedCall

error FailedCall()

InvalidInitialization

error InvalidInitialization()

InvalidInput

error InvalidInput()

NotEnoughETH

error NotEnoughETH()

NotInitializing

error NotInitializing()

SafeERC20FailedOperation

error SafeERC20FailedOperation(address token)

UUPSUnauthorizedCallContext

error UUPSUnauthorizedCallContext()

UUPSUnsupportedProxiableUUID

error UUPSUnsupportedProxiableUUID(bytes32 slot)

ZeroAddress

error ZeroAddress()

bytecode

creation bytecode

0x61012060405230608052348015610014575f5ffd5b50604051613f56380380613f56833981016040819052610033916101cd565b6001600160a01b03841661005a5760405163d92e233d60e01b815260040160405180910390fd5b6001600160a01b0383166100815760405163d92e233d60e01b815260040160405180910390fd5b6001600160a01b0382166100a85760405163d92e233d60e01b815260040160405180910390fd5b6001600160a01b0381166100cf5760405163d92e233d60e01b815260040160405180910390fd5b6001600160a01b0380851660a05283811660e05282811660c0528116610100526100f7610100565b5050505061021e565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00805468010000000000000000900460ff16156101505760405163f92ee8a960e01b815260040160405180910390fd5b80546001600160401b03908116146101af5780546001600160401b0319166001600160401b0390811782556040519081527fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d29060200160405180910390a15b50565b80516001600160a01b03811681146101c8575f5ffd5b919050565b5f5f5f5f608085870312156101e0575f5ffd5b6101e9856101b2565b93506101f7602086016101b2565b9250610205604086016101b2565b9150610213606086016101b2565b905092959194509250565b60805160a05160c05160e05161010051613ca06102b65f395f818161083401528181610fd301526114b101525f81816103540152818161109c01526116f701525f81816107150152610c6601525f81816106a4015281816108aa015281816116b801528181611c6601528181611d050152818161205d01526120e801525f8181611dc701528181611df00152611f1f0152613ca05ff3fe608060405260043610610283575f3560e01c8063852aa33d11610155578063b5b0c6b1116100be578063ce96cb7711610078578063ce96cb771461079d578063d905777e146107bc578063dd62ed3e146107db578063eb9be41f146107fa578063ef8b30f71461077e578063f2251b0f14610823575f5ffd5b8063b5b0c6b114610704578063ba08765214610737578063bcbb073a14610756578063bf7e214f1461076a578063c63d75b614610461578063c6e6f5921461077e575f5ffd5b8063a9059cbb1161010f578063a9059cbb14610625578063ad0cdf3e14610644578063ad3cb1cc14610663578063ad5c464814610693578063b3d7f6b9146106c6578063b460af94146106e5575f5ffd5b8063852aa33d146105575780638fb360371461057657806390657147146105a357806394bf804d146105c257806395d89b41146105e1578063a55d0dbb146105f5575f5ffd5b806338d52e0f116101f757806356396715116101b157806356396715146104a85780636056b271146104bc57806361c17990146104db5780636e553f65146104fa57806370a08231146105195780637a9e5e4b14610538575f5ffd5b806338d52e0f1461042e5780633e5e60c614610442578063402d267d146104615780634cdad506146102d65780634f1ef2861461048157806352d1902d14610494575f5ffd5b80630a732358116102485780630a7323581461034357806318160ddd1461038e57806323b872dd146103c157806329d85402146103e05780632d2da806146103f5578063313ce56714610408575f5ffd5b806301e1d1141461028e57806306fdde03146102b557806307a2d13a146102d6578063095ea7b3146102f55780630a28a47714610324575f5ffd5b3661028a57005b5f5ffd5b348015610299575f5ffd5b506102a2610856565b6040519081526020015b60405180910390f35b3480156102c0575f5ffd5b506102c9610940565b6040516102ac9190612ca4565b3480156102e1575f5ffd5b506102a26102f0366004612cb6565b610a00565b348015610300575f5ffd5b5061031461030f366004612cec565b610a11565b60405190151581526020016102ac565b34801561032f575f5ffd5b506102a261033e366004612cb6565b610a28565b34801561034e575f5ffd5b506103767f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b0390911681526020016102ac565b348015610399575f5ffd5b507f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace02546102a2565b3480156103cc575f5ffd5b506103146103db366004612d16565b610a34565b6103f36103ee366004612d98565b610a56565b005b6102a2610403366004612def565b610b31565b348015610413575f5ffd5b5061041c610bb0565b60405160ff90911681526020016102ac565b348015610439575f5ffd5b50610376610bdf565b34801561044d575f5ffd5b506103f361045c366004612e4a565b610c00565b34801561046c575f5ffd5b506102a261047b366004612def565b505f1990565b6103f361048f366004612f2a565b610e94565b34801561049f575f5ffd5b506102a2610eb3565b3480156104b3575f5ffd5b506102c9610ece565b3480156104c7575f5ffd5b506103f36104d6366004612fcf565b610f12565b3480156104e6575f5ffd5b506103f36104f5366004612e4a565b611046565b348015610505575f5ffd5b506102a2610514366004613039565b6112b9565b348015610524575f5ffd5b506102a2610533366004612def565b6112cd565b348015610543575f5ffd5b506103f3610552366004612def565b6112f3565b348015610562575f5ffd5b506103f3610571366004612cb6565b611375565b348015610581575f5ffd5b5061058a611528565b6040516001600160e01b031990911681526020016102ac565b3480156105ae575f5ffd5b506103f36105bd366004613067565b61155d565b3480156105cd575f5ffd5b506102a26105dc366004613039565b6117e3565b3480156105ec575f5ffd5b506102c96117f7565b348015610600575f5ffd5b505f516020613c2b5f395f51905f5254600160801b90046001600160801b03166102a2565b348015610630575f5ffd5b5061031461063f366004612cec565b611835565b34801561064f575f5ffd5b506103f361065e3660046130fd565b611849565b34801561066e575f5ffd5b506102c9604051806040016040528060058152602001640352e302e360dc1b81525081565b34801561069e575f5ffd5b506103767f000000000000000000000000000000000000000000000000000000000000000081565b3480156106d1575f5ffd5b506102a26106e0366004612cb6565b6118fd565b3480156106f0575f5ffd5b506102a26106ff36600461312e565b611909565b34801561070f575f5ffd5b506103767f000000000000000000000000000000000000000000000000000000000000000081565b348015610742575f5ffd5b506102a261075136600461312e565b611971565b348015610761575f5ffd5b506103766119d0565b348015610775575f5ffd5b506103766119ef565b348015610789575f5ffd5b506102a2610798366004612cb6565b611a04565b3480156107a8575f5ffd5b506102a26107b7366004612def565b611a0f565b3480156107c7575f5ffd5b506102a26107d6366004612def565b611a22565b3480156107e6575f5ffd5b506102a26107f536600461316d565b611a2c565b348015610805575f5ffd5b505f516020613c2b5f395f51905f52546001600160801b03166102a2565b34801561082e575f5ffd5b506103767f000000000000000000000000000000000000000000000000000000000000000081565b5f516020613c2b5f395f51905f52545f905f516020613beb5f395f51905f529034906001600160801b03600160801b82048116911661089583476131ad565b6040516370a0823160e01b81523060048201527f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316906370a0823190602401602060405180830381865afa1580156108f7573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061091b91906131c0565b61092591906131d7565b61092f91906131d7565b61093991906131d7565b9250505090565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0380546060915f516020613bcb5f395f51905f529161097e906131ea565b80601f01602080910402602001604051908101604052809291908181526020018280546109aa906131ea565b80156109f55780601f106109cc576101008083540402835291602001916109f5565b820191905f5260205f20905b8154815290600101906020018083116109d857829003601f168201915b505050505091505090565b5f610a0b825f611a75565b92915050565b5f33610a1e818585611acc565b5060019392505050565b5f610a0b826001611ade565b5f610a41335b5f36611b2c565b610a4c848484611c2a565b90505b9392505050565b610a5f33610a3a565b610a6881611c4d565b5f846001600160a01b0316828585604051610a84929190613222565b5f6040518083038185875af1925050503d805f8114610abe576040519150601f19603f3d011682016040523d82523d5f602084013e610ac3565b606091505b50509050846001600160a01b03167f08b977dfd744a4b04e46791eae351ad44743c286034283de6637eee2f98495f6858585604051610b0493929190613259565b60405180910390a280610b2a57604051630d558b1960e41b815260040160405180910390fd5b5050505050565b5f610b3b33610a3a565b5f19610b4b565b60405180910390fd5b5f610b5534611a04565b9050610b618482611d88565b60408051348152602081018390526001600160a01b0386169133917fdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7910160405180910390a39150505b919050565b5f805f516020613c4b5f395f51905f5290505f8154610bd99190600160a01b900460ff1661329d565b91505090565b5f805f516020613c4b5f395f51905f525b546001600160a01b031692915050565b610c0933610a3a565b8483148015610c1757508481145b610c345760405163b4fa3fb360e01b815260040160405180910390fd5b5f610c3d610ece565b9050610c5a610c55876801bc16d674ec8000006132b6565b611c4d565b5f5b86811015610dcb577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663228951186801bc16d674ec8000008a8a85818110610caf57610caf6132cd565b9050602002810190610cc191906132e1565b868b8b88818110610cd457610cd46132cd565b9050602002810190610ce691906132e1565b8b8b8a818110610cf857610cf86132cd565b905060200201356040518863ffffffff1660e01b8152600401610d2096959493929190613323565b5f604051808303818588803b158015610d37575f5ffd5b505af1158015610d49573d5f5f3e3d5ffd5b50505050507f7d57c229c43558ce30f289d77f87d9fb1726ccb0afde36a0f30f2172226fb7d0888883818110610d8157610d816132cd565b9050602002810190610d9391906132e1565b868685818110610da557610da56132cd565b90506020020135604051610dbb93929190613259565b60405180910390a1600101610c5c565b50610ddf866801bc16d674ec8000006132b6565b5f516020613c2b5f395f51905f528054601090610e0d908490600160801b90046001600160801b0316613371565b92506101000a8154816001600160801b0302191690836001600160801b031602179055507f15a4b4d12638bef0da0b6c60987e8fe510def8e6e98da1b0f352f0c8e0de2e19610e665f516020613beb5f395f51905f5290565b60010154604051600160801b9091046001600160801b0316815260200160405180910390a150505050505050565b610e9c611dbc565b610ea582611e4c565b610eaf8282611e58565b5050565b5f610ebc611f14565b505f516020613c0b5f395f51905f5290565b60408051600160f81b60208201525f602182015230606090811b6bffffffffffffffffffffffff1916602c8301529101604051602081830303815290604052905090565b610f1b33610a3a565b6040805160018082528183019092525f91816020015b6060815260200190600190039081610f315750506040805160018082528183019092529192506020808301908036833701905050815f81518110610f7757610f776132cd565b60200260200101819052505f815f81518110610f9557610f956132cd565b60200260200101515f81518110610fae57610fae6132cd565b6001600160a01b039283166020918202929092010152604051639435bb4360e01b81527f000000000000000000000000000000000000000000000000000000000000000090911690639435bb43906110129088908890869089908990600401613537565b5f604051808303815f87803b158015611029575f5ffd5b505af115801561103b573d5f5f3e3d5ffd5b505050505050505050565b61104f33610a3a565b848314801561105d57508481145b61107a5760405163b4fa3fb360e01b815260040160405180910390fd5b611090610c55866801bc16d674ec8000006132b6565b5f5b858110156111ff577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316639b4e46346801bc16d674ec8000008989858181106110e5576110e56132cd565b90506020028101906110f791906132e1565b898987818110611109576111096132cd565b905060200281019061111b91906132e1565b89898981811061112d5761112d6132cd565b905060200201356040518763ffffffff1660e01b8152600401611154959493929190613682565b5f604051808303818588803b15801561116b575f5ffd5b505af115801561117d573d5f5f3e3d5ffd5b50505050507f435c2ac19c0a7748473f02f5eff51846f3e7486576d5c52b50ccf46bbbb3960a8787838181106111b5576111b56132cd565b90506020028101906111c791906132e1565b8585858181106111d9576111d96132cd565b905060200201356040516111ef93929190613259565b60405180910390a1600101611092565b50611213856801bc16d674ec8000006132b6565b5f516020613c2b5f395f51905f5280545f906112399084906001600160801b0316613371565b92506101000a8154816001600160801b0302191690836001600160801b031602179055507ff6326c1771652aa9515382680c6e7ce86d83f44515b096c35f686446fcc47ec06112925f516020613beb5f395f51905f5290565b600101546040516001600160801b03909116815260200160405180910390a1505050505050565b5f6112c333610a3a565b610a4f8383611f5d565b6001600160a01b03165f9081525f516020613bcb5f395f51905f52602052604090205490565b336112fc6119ef565b6001600160a01b0316816001600160a01b0316146113375760405162d1953b60e31b81526001600160a01b0382166004820152602401610b42565b816001600160a01b03163b5f0361136c576040516361798f2f60e11b81526001600160a01b0383166004820152602401610b42565b610eaf82611f80565b61137e33610a3a565b6040805160018082528183019092525f91816020015b604080516060808201835280825260208201525f918101919091528152602001906001900390816113945750506040805160018082528183019092529192505f91906020808301908036833701905050905082815f815181106113f9576113f96132cd565b60209081029190910101526040805160018082528183019092525f9181602001602082028036833701905050905073beac0eeeeeeeeeeeeeeeeeeeeeeeeeeeeeebeac0815f8151811061144e5761144e6132cd565b6001600160a01b03909216602092830291909101820152604080516060810182528381529182018490523090820152835184905f9061148f5761148f6132cd565b60209081029190910101526040516306ec6e8160e11b81526001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001690630dd8dd02906114e69086906004016136bb565b5f604051808303815f875af1158015611501573d5f5f3e3d5ffd5b505050506040513d5f823e601f3d908101601f19168201604052610b2a91908101906137c0565b5f516020613bab5f395f51905f5280545f9190600160a01b900460ff1661154f575f610bd9565b638fb3603760e01b91505090565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a008054600160401b810460ff1615906001600160401b03165f811580156115a15750825b90505f826001600160401b031660011480156115bc5750303b155b9050811580156115ca575080155b156115e85760405163f92ee8a960e01b815260040160405180910390fd5b845467ffffffffffffffff19166001178555831561161257845460ff60401b1916600160401b1785555b6001600160a01b038a166116395760405163d92e233d60e01b815260040160405180910390fd5b6116428a611fe0565b6116b389898080601f0160208091040260200160405190810160405280939291908181526020018383808284375f9201919091525050604080516020601f8d018190048102820181019092528b815292508b91508a90819084018382808284375f92019190915250611ff192505050565b6116dc7f0000000000000000000000000000000000000000000000000000000000000000612003565b6116e4612014565b5f5f516020613beb5f395f51905f5290507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166384d810626040518163ffffffff1660e01b81526004016020604051808303815f875af1158015611752573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611776919061386a565b81546001600160a01b0319166001600160a01b039190911617905583156117d757845460ff60401b19168555604051600181527fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d29060200160405180910390a15b50505050505050505050565b5f6117ed33610a3a565b610a4f838361201c565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0480546060915f516020613bcb5f395f51905f529161097e906131ea565b5f61183f33610a3a565b610a4f8383612037565b61185233610a3a565b6001600160801b03828116600160801b9183169190910281175f516020613c2b5f395f51905f525560408051918252515f516020613beb5f395f51905f52917ff6326c1771652aa9515382680c6e7ce86d83f44515b096c35f686446fcc47ec0919081900360200190a16040516001600160801b03831681527f15a4b4d12638bef0da0b6c60987e8fe510def8e6e98da1b0f352f0c8e0de2e199060200160405180910390a1505050565b5f610a0b826001611a75565b5f61191333610a3a565b5f61191d83611a0f565b90508085111561194657828582604051633fa733bb60e21b8152600401610b429392919061327c565b61194f85612044565b5f61195986610a28565b9050611968338686898561215b565b95945050505050565b5f61197b33610a3a565b5f61198583611a22565b9050808511156119ae57828582604051632e52afbb60e21b8152600401610b429392919061327c565b5f6119b886610a00565b90506119c381612044565b611968338686848a61215b565b5f5f516020613beb5f395f51905f525b546001600160a01b0316919050565b5f805f516020613bab5f395f51905f52610bf0565b5f610a0b825f611ade565b5f610a0b611a1c836112cd565b5f611a75565b5f610a0b826112cd565b6001600160a01b039182165f9081527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace016020908152604080832093909416825291909152205490565b5f610a4f611a81610856565b611a8c9060016131d7565b611a975f600a613968565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0254611ac391906131d7565b8591908561220f565b611ad98383836001612251565b505050565b5f610a4f611aed82600a613968565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0254611b1991906131d7565b611b21610856565b611ac39060016131d7565b5f516020613bab5f395f51905f525f80611b64611b476119ef565b8730611b5660045f8a8c613976565b611b5f9161399d565b612334565b9150915081611c225763ffffffff811615611bff57825460ff60a01b1916600160a01b178355611b926119ef565b6001600160a01b03166394c7d7ee8787876040518463ffffffff1660e01b8152600401611bc1939291906139d5565b5f604051808303815f87803b158015611bd8575f5ffd5b505af1158015611bea573d5f5f3e3d5ffd5b5050845460ff60a01b1916855550611c229050565b60405162d1953b60e31b81526001600160a01b0387166004820152602401610b42565b505050505050565b5f33611c3785828561243c565b611c42858585612486565b506001949350505050565b6040516370a0823160e01b815230600482015247905f907f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316906370a0823190602401602060405180830381865afa158015611cb3573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611cd791906131c0565b9050828210611ce557505050565b818303808210611d6957604051632e1a7d4d60e01b8152600481018290527f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031690632e1a7d4d906024015f604051808303815f87803b158015611d4e575f5ffd5b505af1158015611d60573d5f5f3e3d5ffd5b50505050611d82565b604051632c1d501360e11b815260040160405180910390fd5b50505050565b6001600160a01b038216611db15760405163ec442f0560e01b81525f6004820152602401610b42565b610eaf5f83836124df565b306001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000161480611e2c57507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316611e20612605565b6001600160a01b031614155b15611e4a5760405163703e46dd60e11b815260040160405180910390fd5b565b611e5533610a3a565b50565b816001600160a01b03166352d1902d6040518163ffffffff1660e01b8152600401602060405180830381865afa925050508015611eb2575060408051601f3d908101601f19168201909252611eaf918101906131c0565b60015b611eda57604051634c9c8ce360e01b81526001600160a01b0383166004820152602401610b42565b5f516020613c0b5f395f51905f528114611f0a57604051632a87526960e21b815260048101829052602401610b42565b611ad98383612619565b306001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001614611e4a5760405163703e46dd60e11b815260040160405180910390fd5b5f5f195f611f6a85611a04565b9050611f783385878461266e565b949350505050565b5f516020613bab5f395f51905f5280546001600160a01b0383166001600160a01b03199091168117825560408051918252517f2f658b440c35314f52658ea8a740e05b284cdc84dc9ae01e891f21b8933e7cad9181900360200190a15050565b611fe86126eb565b611e5581612734565b611ff96126eb565b610eaf8282612745565b61200b6126eb565b611e5581612795565b611e4a6126eb565b5f5f195f612029856118fd565b9050611f783385838861266e565b5f33610a1e818585612486565b6040516370a0823160e01b815230600482015247905f907f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316906370a0823190602401602060405180830381865afa1580156120aa573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906120ce91906131c0565b90508281106120dc57505050565b808303808310611d69577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663d0e30db0826040518263ffffffff1660e01b81526004015f604051808303818588803b15801561213f575f5ffd5b505af1158015612151573d5f5f3e3d5ffd5b5050505050611d82565b5f516020613c4b5f395f51905f526001600160a01b03868116908516146121875761218784878461243c565b6121918483612805565b80546121a7906001600160a01b03168685612839565b836001600160a01b0316856001600160a01b0316876001600160a01b03167ffbde797d201c681b91056529119e0b02407c7bb96a4a2c75c01fc9667232c8db86866040516121ff929190918252602082015260400190565b60405180910390a4505050505050565b5f61223c61221c83612898565b801561223757505f8480612232576122326139f9565b868809115b151590565b6122478686866128c4565b61196891906131d7565b5f516020613bcb5f395f51905f526001600160a01b0385166122885760405163e602df0560e01b81525f6004820152602401610b42565b6001600160a01b0384166122b157604051634a1406b160e11b81525f6004820152602401610b42565b6001600160a01b038086165f90815260018301602090815260408083209388168352929052208390558115610b2a57836001600160a01b0316856001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258560405161232591815260200190565b60405180910390a35050505050565b6040516001600160a01b03848116602483015283811660448301526001600160e01b0319831660648301525f9182918291829189169060840160408051601f198184030181529181526020820180516001600160e01b031663b700961360e01b179052516123a29190613a0d565b5f60405180830381855afa9150503d805f81146123da576040519150601f19603f3d011682016040523d82523d5f602084013e6123df565b606091505b5091509150811561243157604081511061241157808060200190518101906124079190613a23565b9094509250612431565b6020815110612431578080602001905181019061242e9190613a50565b93505b505094509492505050565b5f6124478484611a2c565b90505f198114611d82578181101561247857828183604051637dc7a0d960e11b8152600401610b429392919061327c565b611d8284848484035f612251565b6001600160a01b0383166124af57604051634b637e8f60e11b81525f6004820152602401610b42565b6001600160a01b0382166124d85760405163ec442f0560e01b81525f6004820152602401610b42565b611ad98383835b5f516020613bcb5f395f51905f526001600160a01b0384166125195781816002015f82825461250e91906131d7565b909155506125769050565b6001600160a01b0384165f90815260208290526040902054828110156125585784818460405163391434e360e21b8152600401610b429392919061327c565b6001600160a01b0385165f9081526020839052604090209083900390555b6001600160a01b0383166125945760028101805483900390556125b2565b6001600160a01b0383165f9081526020829052604090208054830190555b826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516125f791815260200190565b60405180910390a350505050565b5f5f516020613c0b5f395f51905f526119e0565b6126228261297a565b6040516001600160a01b038316907fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b905f90a280511561266657611ad982826129dd565b610eaf612a46565b5f516020613c4b5f395f51905f528054612693906001600160a01b0316863086612a65565b61269d8483611d88565b836001600160a01b0316856001600160a01b03167fdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d78585604051612325929190918252602082015260400190565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a0054600160401b900460ff16611e4a57604051631afcd79f60e31b815260040160405180910390fd5b61273c6126eb565b611e5581611f80565b61274d6126eb565b5f516020613bcb5f395f51905f527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace036127868482613aaf565b5060048101611d828382613aaf565b61279d6126eb565b5f516020613c4b5f395f51905f525f806127b684612a9e565b91509150816127c65760126127c8565b805b83546001600160a81b031916600160a01b60ff92909216919091026001600160a01b031916176001600160a01b0394909416939093179091555050565b6001600160a01b03821661282e57604051634b637e8f60e11b81525f6004820152602401610b42565b610eaf825f836124df565b6040516001600160a01b03838116602483015260448201839052611ad991859182169063a9059cbb906064015b604051602081830303815290604052915060e01b6020820180516001600160e01b038381831617835250505050612b74565b5f60028260038111156128ad576128ad613b69565b6128b79190613b7d565b60ff166001149050919050565b5f838302815f1985870982811083820303915050805f036128f8578382816128ee576128ee6139f9565b0492505050610a4f565b80841161290f5761290f6003851502601118612be0565b5f848688095f868103871696879004966002600389028118808a02820302808a02820302808a02820302808a02820302808a02820302808a02909103029181900381900460010186841190950394909402919094039290920491909117919091029150509392505050565b806001600160a01b03163b5f036129af57604051634c9c8ce360e01b81526001600160a01b0382166004820152602401610b42565b5f516020613c0b5f395f51905f5280546001600160a01b0319166001600160a01b0392909216919091179055565b60605f5f846001600160a01b0316846040516129f99190613a0d565b5f60405180830381855af49150503d805f8114612a31576040519150601f19603f3d011682016040523d82523d5f602084013e612a36565b606091505b5091509150611968858383612bf1565b3415611e4a5760405163b398979f60e01b815260040160405180910390fd5b6040516001600160a01b038481166024830152838116604483015260648201839052611d829186918216906323b872dd90608401612866565b60408051600481526024810182526020810180516001600160e01b031663313ce56760e01b17905290515f918291829182916001600160a01b03871691612ae491613a0d565b5f60405180830381855afa9150503d805f8114612b1c576040519150601f19603f3d011682016040523d82523d5f602084013e612b21565b606091505b5091509150818015612b3557506020815110155b15612b68575f81806020019051810190612b4f91906131c0565b905060ff8111612b66576001969095509350505050565b505b505f9485945092505050565b5f5f60205f8451602086015f885af180612b93576040513d5f823e3d81fd5b50505f513d91508115612baa578060011415612bb7565b6001600160a01b0384163b155b15611d8257604051635274afe760e01b81526001600160a01b0385166004820152602401610b42565b634e487b715f52806020526024601cfd5b606082612c0657612c0182612c4d565b610a4f565b8151158015612c1d57506001600160a01b0384163b155b15612c4657604051639996b31560e01b81526001600160a01b0385166004820152602401610b42565b5080610a4f565b805115612c5d5780518082602001fd5b60405163d6bda27560e01b815260040160405180910390fd5b5f81518084528060208401602086015e5f602082860101526020601f19601f83011685010191505092915050565b602081525f610a4f6020830184612c76565b5f60208284031215612cc6575f5ffd5b5035919050565b6001600160a01b0381168114611e55575f5ffd5b8035610bab81612ccd565b5f5f60408385031215612cfd575f5ffd5b8235612d0881612ccd565b946020939093013593505050565b5f5f5f60608486031215612d28575f5ffd5b8335612d3381612ccd565b92506020840135612d4381612ccd565b929592945050506040919091013590565b5f5f83601f840112612d64575f5ffd5b5081356001600160401b03811115612d7a575f5ffd5b602083019150836020828501011115612d91575f5ffd5b9250929050565b5f5f5f5f60608587031215612dab575f5ffd5b8435612db681612ccd565b935060208501356001600160401b03811115612dd0575f5ffd5b612ddc87828801612d54565b9598909750949560400135949350505050565b5f60208284031215612dff575f5ffd5b8135610a4f81612ccd565b5f5f83601f840112612e1a575f5ffd5b5081356001600160401b03811115612e30575f5ffd5b6020830191508360208260051b8501011115612d91575f5ffd5b5f5f5f5f5f5f60608789031215612e5f575f5ffd5b86356001600160401b03811115612e74575f5ffd5b612e8089828a01612e0a565b90975095505060208701356001600160401b03811115612e9e575f5ffd5b612eaa89828a01612e0a565b90955093505060408701356001600160401b03811115612ec8575f5ffd5b612ed489828a01612e0a565b979a9699509497509295939492505050565b634e487b7160e01b5f52604160045260245ffd5b604051601f8201601f191681016001600160401b0381118282101715612f2257612f22612ee6565b604052919050565b5f5f60408385031215612f3b575f5ffd5b8235612f4681612ccd565b915060208301356001600160401b03811115612f60575f5ffd5b8301601f81018513612f70575f5ffd5b80356001600160401b03811115612f8957612f89612ee6565b612f9c601f8201601f1916602001612efa565b818152866020838501011115612fb0575f5ffd5b816020840160208301375f602083830101528093505050509250929050565b5f5f5f5f60408587031215612fe2575f5ffd5b84356001600160401b03811115612ff7575f5ffd5b61300387828801612e0a565b90955093505060208501356001600160401b03811115613021575f5ffd5b61302d87828801612e0a565b95989497509550505050565b5f5f6040838503121561304a575f5ffd5b82359150602083013561305c81612ccd565b809150509250929050565b5f5f5f5f5f6060868803121561307b575f5ffd5b853561308681612ccd565b945060208601356001600160401b038111156130a0575f5ffd5b6130ac88828901612d54565b90955093505060408601356001600160401b038111156130ca575f5ffd5b6130d688828901612d54565b969995985093965092949392505050565b80356001600160801b0381168114610bab575f5ffd5b5f5f6040838503121561310e575f5ffd5b613117836130e7565b9150613125602084016130e7565b90509250929050565b5f5f5f60608486031215613140575f5ffd5b83359250602084013561315281612ccd565b9150604084013561316281612ccd565b809150509250925092565b5f5f6040838503121561317e575f5ffd5b823561318981612ccd565b9150602083013561305c81612ccd565b634e487b7160e01b5f52601160045260245ffd5b81810381811115610a0b57610a0b613199565b5f602082840312156131d0575f5ffd5b5051919050565b80820180821115610a0b57610a0b613199565b600181811c908216806131fe57607f821691505b60208210810361321c57634e487b7160e01b5f52602260045260245ffd5b50919050565b818382375f9101908152919050565b81835281816020850137505f828201602090810191909152601f909101601f19169091010190565b604081525f61326c604083018587613231565b9050826020830152949350505050565b6001600160a01b039390931683526020830191909152604082015260600190565b60ff8181168382160190811115610a0b57610a0b613199565b8082028115828204841417610a0b57610a0b613199565b634e487b7160e01b5f52603260045260245ffd5b5f5f8335601e198436030181126132f6575f5ffd5b8301803591506001600160401b0382111561330f575f5ffd5b602001915036819003821315612d91575f5ffd5b608081525f61333660808301888a613231565b82810360208401526133488188612c76565b9050828103604084015261335d818688613231565b915050826060830152979650505050505050565b6001600160801b038181168382160190811115610a0b57610a0b613199565b63ffffffff81168114611e55575f5ffd5b8035610bab81613390565b5f5f8335601e198436030181126133c1575f5ffd5b83016020810192503590506001600160401b038111156133df575f5ffd5b8060051b3603821315612d91575f5ffd5b8183526020830192505f815f5b8481101561342e57813561341081612ccd565b6001600160a01b0316865260209586019591909101906001016133fd565b5093949350505050565b8183525f6001600160fb1b0383111561344f575f5ffd5b8260051b80836020870137939093016020019392505050565b5f82825180855260208501945060208160051b830101602085015f5b838110156134e757848303601f19018852815180518085526020918201918501905f5b818110156134ce5783516001600160a01b03168352602093840193909201916001016134a7565b50506020998a0199909450929092019150600101613484565b50909695505050505050565b8015158114611e55575f5ffd5b8183526020830192505f815f5b8481101561342e578135613520816134f3565b15158652602095860195919091019060010161350d565b606080825281018590525f6080600587901b83018101908301888360de1936839003015b8a82101561364b57868503607f190184528235818112613579575f5ffd5b8c01803561358681612ccd565b6001600160a01b03168652602081013561359f81612ccd565b6001600160a01b031660208701526135b960408201612ce1565b6001600160a01b03166040870152606081810135908701526135dd608082016133a1565b63ffffffff1660808701526135f560a08201826133ac565b60e060a089015261360a60e0890182846133f0565b91505061361a60c08301836133ac565b925087820360c089015261362f828483613438565b975050505060208301925060208401935060018201915061355b565b5050505082810360208401526136618187613468565b90508281036040840152613676818587613500565b98975050505050505050565b606081525f613695606083018789613231565b82810360208401526136a8818688613231565b9150508260408301529695505050505050565b5f602082016020835280845180835260408501915060408160051b8601019250602086015f5b828110156137b457868503603f1901845281518051606080885281519088018190526020909101905f9060808901905b8083101561373d5783516001600160a01b03168252602082019150602084019350600183019250613711565b506020848101518a83038b83015280518084529082019450910191505f905b8082101561377f578351835260208301925060208401935060018201915061375c565b50506040830151925061379d60408901846001600160a01b03169052565b9650505060209384019391909101906001016136e1565b50929695505050505050565b5f602082840312156137d0575f5ffd5b81516001600160401b038111156137e5575f5ffd5b8201601f810184136137f5575f5ffd5b80516001600160401b0381111561380e5761380e612ee6565b8060051b61381e60208201612efa565b91825260208184018101929081019087841115613839575f5ffd5b6020850194505b8385101561385f57845180835260209586019590935090910190613840565b979650505050505050565b5f6020828403121561387a575f5ffd5b8151610a4f81612ccd565b6001815b60018411156138c0578085048111156138a4576138a4613199565b60018416156138b257908102905b60019390931c928002613889565b935093915050565b5f826138d657506001610a0b565b816138e257505f610a0b565b81600181146138f857600281146139025761391e565b6001915050610a0b565b60ff84111561391357613913613199565b50506001821b610a0b565b5060208310610133831016604e8410600b8410161715613941575081810a610a0b565b61394d5f198484613885565b805f190482111561396057613960613199565b029392505050565b5f610a4f60ff8416836138c8565b5f5f85851115613984575f5ffd5b83861115613990575f5ffd5b5050820193919092039150565b80356001600160e01b031981169060048410156139ce576001600160e01b0319600485900360031b81901b82161691505b5092915050565b6001600160a01b03841681526040602082018190525f906119689083018486613231565b634e487b7160e01b5f52601260045260245ffd5b5f82518060208501845e5f920191825250919050565b5f5f60408385031215613a34575f5ffd5b8251613a3f816134f3565b602084015190925061305c81613390565b5f60208284031215613a60575f5ffd5b8151610a4f816134f3565b601f821115611ad957805f5260205f20601f840160051c81016020851015613a905750805b601f840160051c820191505b81811015610b2a575f8155600101613a9c565b81516001600160401b03811115613ac857613ac8612ee6565b613adc81613ad684546131ea565b84613a6b565b6020601f821160018114613b0e575f8315613af75750848201515b5f19600385901b1c1916600184901b178455610b2a565b5f84815260208120601f198516915b82811015613b3d5787850151825560209485019460019092019101613b1d565b5084821015613b5a57868401515f19600387901b60f8161c191681555b50505050600190811b01905550565b634e487b7160e01b5f52602160045260245ffd5b5f60ff831680613b9b57634e487b7160e01b5f52601260045260245ffd5b8060ff8416069150509291505056fef3177357ab46d8af007ab3fdb9af81da189e1068fefdc0073dca88a2cab40a0052c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace00b529568951eb52d8d5859ca4e4dcbfc3265b8babf3bd7f734c26170cb2a6dc00360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbcb529568951eb52d8d5859ca4e4dcbfc3265b8babf3bd7f734c26170cb2a6dc010773e532dfede91f04b12a73d3d2acd361424f41f76b4fb79f090161e36b4e00a2646970667358221220fc7bcb729547e950c7c00caf9849887830343c160e188e5b5b5000e5fa1dd03864736f6c634300081c0033000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc200000000000000000000000091e677b07f7af907ec9a428aafa9fc14a0d3a33800000000000000000000000000000000219ab540356cbb839cbe05303d7705fa00000000000000000000000039053d51b77dc0d36036fc1fcc8cb819df8ef37a