Vault | Arbitrum - codeslaw

codeslaw

VaultSolidityv0.8.26+commit.8a97fa7a

network

Arbitrum

address0x7d34953b84c74ca3e49f88d0399590e0b645924a

deployer0xAD70a0ab951780fF3397882fc5372db83dEb0606

tx last 12 months

0 txs

calls last 12 months

6 calls

32 Files

@openzeppelin

contracts

interfaces

IERC20.sol

IERC20Metadata.sol

IERC4626.sol

draft-IERC1822.sol

draft-IERC6093.sol

proxy

ERC1967

ERC1967Utils.sol

beacon

IBeacon.sol

token

ERC20

IERC20.sol

extensions

IERC20Metadata.sol

IERC20Permit.sol

utils

SafeERC20.sol

ERC721

IERC721Receiver.sol

utils

ERC721Holder.sol

utils

Address.sol

StorageSlot.sol

math

Math.sol

contracts-upgradeable

access

Ownable2StepUpgradeable.sol

OwnableUpgradeable.sol

proxy

utils

Initializable.sol

UUPSUpgradeable.sol

token

ERC20

ERC20Upgradeable.sol

extensions

ERC4626Upgradeable.sol

utils

ContextUpgradeable.sol

contracts

Vault.sol

base

AbstractVault.sol

AccessControl.sol

ConfigManagerStorage.sol

LendingAdaptersStorage.sol

interfaces

ILendingAdapter.sol

IVault.sol

libraries

Errors.sol

ProtocolType.sol

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

abi

constructor

No constructor.

functions

allowance

view

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

asset

view

function asset() view returns (address)

balanceOf

view

function balanceOf(address account) view returns (uint256)

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)

getConfigManager

view

function getConfigManager() view returns (address)

getFreeAmount

view

function getFreeAmount() view returns (uint256)

getLendingAdapter

view

function getLendingAdapter(uint8 protocolType) view returns (address)

getLentAmount

view

function getLentAmount(uint8 protocol) view returns (uint256)

getMinDeposit

view

function getMinDeposit() view returns (uint256)

getTotalLent

view

function getTotalLent() view returns (uint256)

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)

owner

view

function owner() view returns (address)

pendingOwner

view

function pendingOwner() view returns (address)

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 totalManagedAssets)

totalSupply

view

function totalSupply() view returns (uint256)

UPGRADE_INTERFACE_VERSION

view

function UPGRADE_INTERFACE_VERSION() view returns (string)

acceptOwnership

nonpayable

function acceptOwnership()

addLendingAdapter

nonpayable

function addLendingAdapter(uint8 protocolType, address adapter)

addVaultManager

nonpayable

function addVaultManager(address manager, bool add)

approve

nonpayable

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

deposit

nonpayable

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

executeProtocolAction

nonpayable

function executeProtocolAction(tuple[] actionArgs) returns (bytes[] returnData)

initialize

nonpayable

function initialize(address _asset, string lpName, string lpSymbol, address configManager)

mint

nonpayable

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

onERC721Received

nonpayable

function onERC721Received(address, address, uint256, bytes) returns (bytes4)

redeem

nonpayable

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

renounceOwnership

nonpayable

function renounceOwnership()

setMinDeposit

nonpayable

function setMinDeposit(uint256 minDeposit)

transfer

nonpayable

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

transferFrom

nonpayable

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

transferOwnership

nonpayable

function transferOwnership(address newOwner)

updateTotalLent

nonpayable

function updateTotalLent() returns (uint256)

upgradeToAndCall

payable

function upgradeToAndCall(address newImplementation, bytes data) payable

withdraw

nonpayable

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

events

AddLendingAdapter

event AddLendingAdapter(uint8 protocolType, address adapter)

Approval

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

Deposit

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

Initialized

event Initialized(uint64 version)

MinDepositSet

event MinDepositSet(uint256 minDeposit)

OwnershipTransferred

event OwnershipTransferred(address indexed previousOwner, address indexed newOwner)

OwnershipTransferStarted

event OwnershipTransferStarted(address indexed previousOwner, address indexed newOwner)

ProtocolActionExecuted

event ProtocolActionExecuted(uint8 protocol, bytes data, bytes result)

Transfer

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

UpdateTotalLent

event UpdateTotalLent(uint256 totalLent, uint256 timestamp, uint256 oldTotalLent, uint256 oldTimestamp)

Upgraded

event Upgraded(address indexed implementation)

Withdraw

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

errors

AdapterIsNotSet

error AdapterIsNotSet()

AddressEmptyCode

error AddressEmptyCode(address target)

AddressInsufficientBalance

error AddressInsufficientBalance(address account)

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)

FailedInnerCall

error FailedInnerCall()

InvalidInitialization

error InvalidInitialization()

LessThanMinDeposit

error LessThanMinDeposit()

MathOverflowedMulDiv

error MathOverflowedMulDiv()

NotInitializing

error NotInitializing()

OwnableInvalidOwner

error OwnableInvalidOwner(address owner)

OwnableUnauthorizedAccount

error OwnableUnauthorizedAccount(address account)

SafeERC20FailedOperation

error SafeERC20FailedOperation(address token)

SenderIsNotVaultManager

error SenderIsNotVaultManager()

UUPSUnauthorizedCallContext

error UUPSUnauthorizedCallContext()

UUPSUnsupportedProxiableUUID

error UUPSUnsupportedProxiableUUID(bytes32 slot)

bytecode

creation bytecode

0x60a0806040523460295730608052613b52908161002f8239608051818181611ac60152611ba90152f35b600080fdfe6080604052600436101561001b575b361561001957600080fd5b005b60003560e01c806301e1d1141461263a57806304f5d1e21461257957806306fdde031461247557806307a2d13a14611e44578063095ea7b3146123465780630a28a4771461230a5780630e1c3ab0146122795780630eaad3f11461221e57806314941e80146121e5578063150b7a021461215957806318160ddd146120fe5780631a40c944146120a357806323b872dd1461204d578063313ce56714611fb457806338d52e0f14611f43578063402d267d146108e25780634a6cbcf214611e495780634cdad50614611e445780634f1ef28614611b4057806352d1902d14611a80578063613d25bb146111fb5780636e553f651461117757806370a082311461081f578063715018a61461103557806379ba509714610f915780638da5cb5b14610f205780638fcc9cfb14610e97578063900666be14610e2657806394bf804d14610d7957806395d89b4114610c1e578063a9059cbb14610bcf578063ad3cb1cc14610b4e578063b185255f14610a66578063b3d7f6b914610a2a578063b460af941461099c578063ba087652146108e7578063c63d75b6146108e2578063c6e6f592146106f4578063ce96cb77146108a1578063d905777e1461081f578063dd62ed3e1461076a578063e30c3978146106f9578063ef8b30f7146106f4578063ef8ee432146106b3578063f2fde38b146105975763fffca6ef0361000e57346105925760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925760043567ffffffffffffffff8111610592573660238201121561059257806004013567ffffffffffffffff8111610592573660248260051b8401011161059257336000527fbcf54c63505e04cb16bdfe474df85f1ddd776d99a7fa80c7bf025070e99e0a0060205260ff60406000205416156105685760006102ca82612a36565b906102d8604051928361277f565b8282527fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe061030584612a36565b0160005b8181106105555750507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff9d84360301905b838110156104d157600060248260051b87010135838112156104cd5786019060407fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdc83360301126104ca57604051916040830183811067ffffffffffffffff82111761049d5760405260248101356004811015610499578352604481013567ffffffffffffffff81116104995791610490610438610402600197969460247f078af6d84f87ed11a22c10ab30a718191c2b307fda57f2b88ad53bf60eacbf9997369201016127fa565b926020850193845261041d8551610418816129af565b6134b9565b90808551602081519101845af4610432613538565b91613868565b9283610444878b612a4e565b5261044f868a612a4e565b50519161045b836129af565b5192610482604051948461046f87966129af565b85526060602086015260608501906126e4565b9083820360408501526126e4565b0390a101610339565b8280fd5b6024837f4e487b710000000000000000000000000000000000000000000000000000000081526041600452fd5b80fd5b5080fd5b826040518091602082016020835281518091526040830190602060408260051b8601019301916000905b82821061050a57505050500390f35b91936020610545827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc0600195979984950301865288516126e4565b96019201920185949391926104fb565b6060602082860181019190915201610309565b7f1031684d0000000000000000000000000000000000000000000000000000000060005260046000fd5b600080fd5b346105925760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925773ffffffffffffffffffffffffffffffffffffffff6105e361269e565b6105eb612b40565b16807fffffffffffffffffffffffff00000000000000000000000000000000000000007f237e158222e3e6968b72b9db0d8043aacf074ad9f650f0d1606b4d82ee432c005416177f237e158222e3e6968b72b9db0d8043aacf074ad9f650f0d1606b4d82ee432c005573ffffffffffffffffffffffffffffffffffffffff7f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c19930054167f38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e22700600080a3005b346105925760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925760206106ec613076565b604051908152f35b612913565b346105925760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261059257602073ffffffffffffffffffffffffffffffffffffffff7f237e158222e3e6968b72b9db0d8043aacf074ad9f650f0d1606b4d82ee432c005416604051908152f35b346105925760407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610592576107a161269e565b73ffffffffffffffffffffffffffffffffffffffff6108076107c16126c1565b9273ffffffffffffffffffffffffffffffffffffffff166000527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace01602052604060002090565b91166000526020526020604060002054604051908152f35b346105925760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925760206106ec61085b61269e565b73ffffffffffffffffffffffffffffffffffffffff166000527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0060205260406000205490565b346105925760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925760206106ec6108dd61269e565b6129e8565b61283f565b34610592576108f5366128a1565b91906108ff613076565b5073ffffffffffffffffffffffffffffffffffffffff8316806000527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0060205260406000205490818411610967576020856106ec868661095e82612bf8565b93849133613640565b83907fb94abeec0000000000000000000000000000000000000000000000000000000060005260045260245260445260646000fd5b34610592576109aa366128a1565b90916109b4613076565b506109be826129e8565b8082116109df5750602092816109d66106ec93612c6a565b93849233613640565b9173ffffffffffffffffffffffffffffffffffffffff907ffe9cceec000000000000000000000000000000000000000000000000000000006000521660045260245260445260646000fd5b346105925760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925760206106ec600435612b80565b346105925760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261059257600435600481101561059257602073ffffffffffffffffffffffffffffffffffffffff610ac36024936134b9565b16604051928380927ffac8aff80000000000000000000000000000000000000000000000000000000082523060048301525afa8015610b4257600090610b0f575b602090604051908152f35b506020813d602011610b3a575b81610b296020938361277f565b810103126105925760209051610b04565b3d9150610b1c565b6040513d6000823e3d90fd5b346105925760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261059257610bcb6040805190610b8f818361277f565b600582527f352e302e300000000000000000000000000000000000000000000000000000006020830152519182916020835260208301906126e4565b0390f35b346105925760407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261059257610c13610c0961269e565b6024359033612eec565b602060405160018152f35b346105925760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925760405160007f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0454610c7d8161295c565b8084529060018116908115610d375750600114610cb9575b610bcb83610ca58185038261277f565b6040519182916020835260208301906126e4565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0460009081527f46a2803e59a4de4e7a4c574b1243f25977ac4c77d5a1a4a609b5394cebb4a2aa939250905b808210610d1d57509091508101602001610ca5610c95565b919260018160209254838588010152019101909291610d05565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660208086019190915291151560051b84019091019150610ca59050610c95565b346105925760407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261059257600435610db36126c1565b610dbb613076565b50610dc582612b80565b907f49109aeecddca9f827add183fa69379d0e11dae01df8ce2ddd96e6edafb2f102548210610dfc57602092826106ec9233613341565b7fccaf637b0000000000000000000000000000000000000000000000000000000060005260046000fd5b346105925760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261059257602073ffffffffffffffffffffffffffffffffffffffff7f9426612723c6e8493485f2a8894855a52655409f92a68b9a5a0b191152b5c8005416604051908152f35b346105925760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610592577fc50a7f0bdf88c216b2541b0bdea26f22305460e39ffc672ec1a7501732c5ba816020600435610ef4612b40565b807f49109aeecddca9f827add183fa69379d0e11dae01df8ce2ddd96e6edafb2f10255604051908152a1005b346105925760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261059257602073ffffffffffffffffffffffffffffffffffffffff7f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c1993005416604051908152f35b346105925760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610592573373ffffffffffffffffffffffffffffffffffffffff7f237e158222e3e6968b72b9db0d8043aacf074ad9f650f0d1606b4d82ee432c005416036110075761001933613231565b7f118cdaa7000000000000000000000000000000000000000000000000000000006000523360045260246000fd5b346105925760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925761106c612b40565b7fffffffffffffffffffffffff00000000000000000000000000000000000000007f237e158222e3e6968b72b9db0d8043aacf074ad9f650f0d1606b4d82ee432c0054167f237e158222e3e6968b72b9db0d8043aacf074ad9f650f0d1606b4d82ee432c0055600073ffffffffffffffffffffffffffffffffffffffff7f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c199300547fffffffffffffffffffffffff000000000000000000000000000000000000000081167f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c19930055167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e08280a3005b346105925760407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610592576004356111b16126c1565b907f49109aeecddca9f827add183fa69379d0e11dae01df8ce2ddd96e6edafb2f102548110610dfc576106ec6020926111e8613076565b506111f283612cda565b92839133613341565b346105925760807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925761123261269e565b60243567ffffffffffffffff8111610592576112529036906004016127fa565b9060443567ffffffffffffffff8111610592576112739036906004016127fa565b9060643573ffffffffffffffffffffffffffffffffffffffff8116809103610592577ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00549160ff8360401c16159267ffffffffffffffff811680159081611a78575b6001149081611a6e575b159081611a65575b50611a3b578360017fffffffffffffffffffffffffffffffffffffffffffffffff00000000000000008316177ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00556119e6575b506113436135e7565b61134b6135e7565b33156119b75773ffffffffffffffffffffffffffffffffffffffff9061137033613231565b6113786135e7565b6113806135e7565b166113896135e7565b6113916135e7565b61139a81613a74565b90156119af575b7fffffffffffffffffffffff00000000000000000000000000000000000000000074ff00000000000000000000000000000000000000007f0773e532dfede91f04b12a73d3d2acd361424f41f76b4fb79f090161e36b4e00549260a01b16911617177f0773e532dfede91f04b12a73d3d2acd361424f41f76b4fb79f090161e36b4e005561142d6135e7565b6114356135e7565b835167ffffffffffffffff8111611810576114707f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace035461295c565b601f811161192b575b50602094601f821160011461184a5794819293949560009261183f575b50507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8260011b9260031b1c1916177f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace03555b825167ffffffffffffffff8111611810576115237f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace045461295c565b601f811161178c575b506020601f82116001146116ab57819293946000926116a0575b50507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8260011b9260031b1c1916177f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace04555b6115a06135e7565b7fffffffffffffffffffffffff00000000000000000000000000000000000000007f9426612723c6e8493485f2a8894855a52655409f92a68b9a5a0b191152b5c8005416177f9426612723c6e8493485f2a8894855a52655409f92a68b9a5a0b191152b5c8005561160d57005b7fffffffffffffffffffffffffffffffffffffffffffffff00ffffffffffffffff7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a0054167ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00557fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2602060405160018152a1005b015190508480611546565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08216907f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace04600052806000209160005b8181106117745750958360019596971061173d575b505050811b017f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0455611598565b01517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60f88460031b161c19169055848080611710565b9192602060018192868b0151815501940192016116fb565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace046000527f46a2803e59a4de4e7a4c574b1243f25977ac4c77d5a1a4a609b5394cebb4a2aa601f830160051c81019160208410611806575b601f0160051c01905b8181106117fa575061152c565b600081556001016117ed565b90915081906117e4565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b015190508580611496565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08216957f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace03600052806000209160005b888110611913575083600195969798106118dc575b505050811b017f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace03556114e8565b01517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60f88460031b161c191690558580806118af565b9192602060018192868501518155019401920161189a565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace036000527f2ae08a8e29253f69ac5d979a101956ab8f8d9d7ded63fa7a83b16fc47648eab0601f830160051c810191602084106119a5575b601f0160051c01905b8181106119995750611479565b6000815560010161198c565b9091508190611983565b5060126113a1565b7f1e4fbdf700000000000000000000000000000000000000000000000000000000600052600060045260246000fd5b7fffffffffffffffffffffffffffffffffffffffffffffff0000000000000000001668010000000000000001177ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00558561133a565b7ff92ee8a90000000000000000000000000000000000000000000000000000000060005260046000fd5b905015876112e7565b303b1591506112df565b8591506112d5565b346105925760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925773ffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000163003611b165760206040517f360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc8152f35b7fe07c8dba0000000000000000000000000000000000000000000000000000000060005260046000fd5b60407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261059257611b7261269e565b60243567ffffffffffffffff811161059257611b929036906004016127fa565b73ffffffffffffffffffffffffffffffffffffffff7f000000000000000000000000000000000000000000000000000000000000000016803014908115611e02575b50611b1657611be1612b40565b73ffffffffffffffffffffffffffffffffffffffff8216916040517f52d1902d000000000000000000000000000000000000000000000000000000008152602081600481875afa60009181611dce575b50611c6457837f4c9c8ce30000000000000000000000000000000000000000000000000000000060005260045260246000fd5b807f360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc859203611da15750813b15611d7457807fffffffffffffffffffffffff00000000000000000000000000000000000000007f360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc5416177f360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc557fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b600080a2815115611d415760008083602061001995519101845af4610432613538565b505034611d4a57005b7fb398979f0000000000000000000000000000000000000000000000000000000060005260046000fd5b7f4c9c8ce30000000000000000000000000000000000000000000000000000000060005260045260246000fd5b7faa1d49a40000000000000000000000000000000000000000000000000000000060005260045260246000fd5b9091506020813d602011611dfa575b81611dea6020938361277f565b8101031261059257519085611c31565b3d9150611ddd565b905073ffffffffffffffffffffffffffffffffffffffff7f360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc5416141583611bd4565b612743565b346105925760407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925760043560048110156105925760407fe24d4cdcd14c50556529ea2004b315e86a0f78807457ba09924bf361e8ae35f191611eb06126c1565b611eb8612b40565b611ec1826129af565b816000527f906277d03addfa75e66240578754bb3623b3eda4a2542c16b0f9c4bae97a590060205273ffffffffffffffffffffffffffffffffffffffff83600020911690817fffffffffffffffffffffffff0000000000000000000000000000000000000000825416179055825191611f39816129af565b82526020820152a1005b346105925760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261059257602073ffffffffffffffffffffffffffffffffffffffff7f0773e532dfede91f04b12a73d3d2acd361424f41f76b4fb79f090161e36b4e005416604051908152f35b346105925760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925760ff7f0773e532dfede91f04b12a73d3d2acd361424f41f76b4fb79f090161e36b4e005460a01c1660ff811161201e57602090604051908152f35b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b346105925760607ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc36011261059257610c1361208761269e565b61208f6126c1565b6044359161209e833383612d4c565b612eec565b346105925760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925760207f49109aeecddca9f827add183fa69379d0e11dae01df8ce2ddd96e6edafb2f10054604051908152f35b346105925760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925760207f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0254604051908152f35b346105925760807ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925761219061269e565b506121996126c1565b5060643567ffffffffffffffff8111610592576121ba9036906004016127fa565b5060206040517f150b7a02000000000000000000000000000000000000000000000000000000008152f35b346105925760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925760206106ec612a91565b346105925760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925760207f49109aeecddca9f827add183fa69379d0e11dae01df8ce2ddd96e6edafb2f10254604051908152f35b346105925760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610592576004356004811015610592576122bd816129af565b6000527f906277d03addfa75e66240578754bb3623b3eda4a2542c16b0f9c4bae97a5900602052602073ffffffffffffffffffffffffffffffffffffffff60406000205416604051908152f35b346105925760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925760206106ec600435612c6a565b346105925760407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925761237d61269e565b6024359033156124465773ffffffffffffffffffffffffffffffffffffffff16908115612417573360009081527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace016020526040902082600052602052806040600020556040519081527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560203392a3602060405160018152f35b7f94280d6200000000000000000000000000000000000000000000000000000000600052600060045260246000fd5b7fe602df0500000000000000000000000000000000000000000000000000000000600052600060045260246000fd5b346105925760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925760405160007f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace03546124d48161295c565b8084529060018116908115610d3757506001146124fb57610bcb83610ca58185038261277f565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0360009081527f2ae08a8e29253f69ac5d979a101956ab8f8d9d7ded63fa7a83b16fc47648eab0939250905b80821061255f57509091508101602001610ca5610c95565b919260018160209254838588010152019101909291612547565b346105925760407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc360112610592576125b061269e565b602435908115158092036105925773ffffffffffffffffffffffffffffffffffffffff906125dc612b40565b166000527fbcf54c63505e04cb16bdfe474df85f1ddd776d99a7fa80c7bf025070e99e0a0060205260406000209060ff7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff008354169116179055600080f35b346105925760007ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925760206106ec612676612a91565b7f49109aeecddca9f827add183fa69379d0e11dae01df8ce2ddd96e6edafb2f100549061294f565b6004359073ffffffffffffffffffffffffffffffffffffffff8216820361059257565b6024359073ffffffffffffffffffffffffffffffffffffffff8216820361059257565b919082519283825260005b84811061272e5750507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f8460006020809697860101520116010190565b806020809284010151828286010152016126ef565b346105925760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925760206106ec600435612bf8565b90601f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0910116810190811067ffffffffffffffff82111761181057604052565b67ffffffffffffffff811161181057601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01660200190565b81601f8201121561059257602081359101612814826127c0565b92612822604051948561277f565b828452828201116105925781600092602092838601378301015290565b346105925760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925761287661269e565b5060206040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8152f35b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc6060910112610592576004359060243573ffffffffffffffffffffffffffffffffffffffff81168103610592579060443573ffffffffffffffffffffffffffffffffffffffff811681036105925790565b346105925760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126105925760206106ec600435612cda565b9190820180921161201e57565b90600182811c921680156129a5575b602083101461297657565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b91607f169161296b565b600411156129b957565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b73ffffffffffffffffffffffffffffffffffffffff166000527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace00602052612a33604060002054612bf8565b90565b67ffffffffffffffff81116118105760051b60200190565b8051821015612a625760209160051b010190565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b6024602073ffffffffffffffffffffffffffffffffffffffff7f0773e532dfede91f04b12a73d3d2acd361424f41f76b4fb79f090161e36b4e005416604051928380927f70a082310000000000000000000000000000000000000000000000000000000082523060048301525afa908115610b4257600091612b11575090565b90506020813d602011612b38575b81612b2c6020938361277f565b81010312610592575190565b3d9150612b1f565b73ffffffffffffffffffffffffffffffffffffffff7f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c1993005416330361100757565b612bb37f49109aeecddca9f827add183fa69379d0e11dae01df8ce2ddd96e6edafb2f10054612bad612a91565b9061294f565b906001820180921161201e577f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace02546001810180911161201e57612a3392600192613568565b612c257f49109aeecddca9f827add183fa69379d0e11dae01df8ce2ddd96e6edafb2f10054612bad612a91565b906001820180921161201e577f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace02546001810180911161201e57612a3392600092613568565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace025460019081810180911161201e57612cc67f49109aeecddca9f827add183fa69379d0e11dae01df8ce2ddd96e6edafb2f10054612bad612a91565b9082820180921161201e57612a3393613568565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0254906001820180921161201e57612d357f49109aeecddca9f827add183fa69379d0e11dae01df8ce2ddd96e6edafb2f10054612bad612a91565b6001810180911161201e57612a3392600092613568565b9190612d978373ffffffffffffffffffffffffffffffffffffffff166000527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace01602052604060002090565b73ffffffffffffffffffffffffffffffffffffffff8216600052602052604060002054927fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8403612de9575b50505050565b828410612ea05773ffffffffffffffffffffffffffffffffffffffff8116156124465773ffffffffffffffffffffffffffffffffffffffff82161561241757612e8673ffffffffffffffffffffffffffffffffffffffff9173ffffffffffffffffffffffffffffffffffffffff166000527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace01602052604060002090565b911660005260205260406000209103905538808080612de3565b5073ffffffffffffffffffffffffffffffffffffffff83917ffb8f41b2000000000000000000000000000000000000000000000000000000006000521660045260245260445260646000fd5b73ffffffffffffffffffffffffffffffffffffffff169081156130475773ffffffffffffffffffffffffffffffffffffffff169182156130185760008281527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace006020526040812054828110612fe55791604082827fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9587602096527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace00865203828220558681527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace00845220818154019055604051908152a3565b6064937fe450d38c0000000000000000000000000000000000000000000000000000000083949352600452602452604452fd5b7fec442f0500000000000000000000000000000000000000000000000000000000600052600060045260246000fd5b7f96c6fd1e00000000000000000000000000000000000000000000000000000000600052600060045260246000fd5b7f49109aeecddca9f827add183fa69379d0e11dae01df8ce2ddd96e6edafb2f100547f49109aeecddca9f827add183fa69379d0e11dae01df8ce2ddd96e6edafb2f101549060009160005b6003811061315057507f16aa49d7e9cabe741f8b2e3a19d618c17c0dfb48b7e9a51e420df4296920e5f691608091847f49109aeecddca9f827add183fa69379d0e11dae01df8ce2ddd96e6edafb2f10055427f49109aeecddca9f827add183fa69379d0e11dae01df8ce2ddd96e6edafb2f101556040519185835242602084015260408301526060820152a190565b613159816129af565b613162816129af565b806000527f906277d03addfa75e66240578754bb3623b3eda4a2542c16b0f9c4bae97a590060205273ffffffffffffffffffffffffffffffffffffffff60406000205416806131b5575b506001016130c1565b613207602091600080604098959851858101907f9428edef000000000000000000000000000000000000000000000000000000008252600481526131fa60248261277f565b5190845af4610432613538565b818151818301938491600094010103126104ca575060019161322a91519061294f565b93906131ac565b7fffffffffffffffffffffffff00000000000000000000000000000000000000007f237e158222e3e6968b72b9db0d8043aacf074ad9f650f0d1606b4d82ee432c0054167f237e158222e3e6968b72b9db0d8043aacf074ad9f650f0d1606b4d82ee432c005573ffffffffffffffffffffffffffffffffffffffff807f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c19930054921691827fffffffffffffffffffffffff00000000000000000000000000000000000000008216177f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c19930055167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0600080a3565b919073ffffffffffffffffffffffffffffffffffffffff906133d4827f0773e532dfede91f04b12a73d3d2acd361424f41f76b4fb79f090161e36b4e0054169483604051917f23b872dd0000000000000000000000000000000000000000000000000000000060208401521695866024830152306044830152856064830152606482526133cf60848361277f565b6139d6565b16928315613018577fdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7918161342c6040937f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace025461294f565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0255856000527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace00602052826000208181540190558560007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60208651858152a382519182526020820152a3565b6134c2816129af565b6000527f906277d03addfa75e66240578754bb3623b3eda4a2542c16b0f9c4bae97a590060205273ffffffffffffffffffffffffffffffffffffffff60406000205416801561350e5790565b7f9fdecf370000000000000000000000000000000000000000000000000000000060005260046000fd5b3d15613563573d90613549826127c0565b91613557604051938461277f565b82523d6000602084013e565b606090565b9190600180613578848487613905565b95613582816129af565b161492836135a3575b5050506135955790565b6001810180911161201e5790565b9091809350156135b85709151538808061358b565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b60ff7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a005460401c161561361657565b7fd7e6bcf80000000000000000000000000000000000000000000000000000000060005260046000fd5b919392909273ffffffffffffffffffffffffffffffffffffffff8516948173ffffffffffffffffffffffffffffffffffffffff851694878603613857575b50505084156130475760008581527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace00602052604081205482811061382457918181604094897ffbde797d201c681b91056529119e0b02407c7bb96a4a2c75c01fc9667232c8db9795527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace006020520384822055817f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0254037f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0255877fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60208651858152a361381773ffffffffffffffffffffffffffffffffffffffff7f0773e532dfede91f04b12a73d3d2acd361424f41f76b4fb79f090161e36b4e0054169673ffffffffffffffffffffffffffffffffffffffff8551917fa9059cbb0000000000000000000000000000000000000000000000000000000060208401521697886024830152846044830152604482526133cf60648361277f565b82519182526020820152a4565b91606492877fe450d38c000000000000000000000000000000000000000000000000000000008452600452602452604452fd5b61386092612d4c565b38818161367e565b906138a7575080511561387d57805190602001fd5b7f1425ea420000000000000000000000000000000000000000000000000000000060005260046000fd5b815115806138fc575b6138b8575090565b73ffffffffffffffffffffffffffffffffffffffff907f9996b315000000000000000000000000000000000000000000000000000000006000521660045260246000fd5b50803b156138b0565b9091828202917fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848209938380861095039480860395146139c8578483111561399e57829109816000038216809204600281600302188082026002030280820260020302808202600203028082026002030280820260020302809102600203029360018380600003040190848311900302920304170290565b7f227bc1530000000000000000000000000000000000000000000000000000000060005260046000fd5b5050809250156135b8570490565b60008073ffffffffffffffffffffffffffffffffffffffff613a0d93169360208151910182865af1613a06613538565b9083613868565b8051908115159182613a50575b5050613a235750565b7f5274afe70000000000000000000000000000000000000000000000000000000060005260045260246000fd5b81925090602091810103126105925760200151801590811503610592573880613a1a565b6000809160405173ffffffffffffffffffffffffffffffffffffffff60208201917f313ce56700000000000000000000000000000000000000000000000000000000835260048152613ac760248261277f565b5192165afa613ad4613538565b9080613b10575b613ae9575b50600090600090565b60208151918180820193849201010312610592575160ff8111613ae0579060ff6001921690565b50602081511015613adb56fea26469706673582212209906dc0e57e18378c5de6d25f0d2cd3cd1f444ab34363e7a7af85b1be41e10c764736f6c634300081a0033