InstitutionalVault | Ethereum

codeslaw

InstitutionalVaultSolidityv0.8.30+commit.73712a01

network

Ethereum

address0x358a7d0028070533a9e000616aa6656be7a32cc7

deployer0xb7d83623906AC3fa577F45B7D2b9D4BD26BC5d76

tx last 12 months

0 txs

calls last 12 months

9 calls

59 Files

dependencies

@openzeppelin-contracts-5.1.0

access

manager

AccessManaged.sol

AccessManager.sol

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

Context.sol

Errors.sol

Multicall.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

NonRestakingWithdrawalCredentials.sol

NonRestakingWithdrawalCredentialsFactory.sol

interface

Eigenlayer-Slashing

IDelegationManager.sol

IETHPOSDeposit.sol

IEigenPod.sol

IEigenPodManager.sol

IPausable.sol

IPauserRegistry.sol

ISemVerMixin.sol

IShareManager.sol

ISignatureUtilsMixin.sol

IStrategy.sol

IStrategyManager.sol

libraries

BeaconChainProofs.sol

Endian.sol

Merkle.sol

OperatorSetLib.sol

SlashingLib.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, address nonRestakingWithdrawalCredentialsFactory)

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)

getEigenPodWithdrawalCredentials

view

function getEigenPodWithdrawalCredentials() view returns (bytes)

getNonRestakedValidatorETH

view

function getNonRestakedValidatorETH() view returns (uint256)

getNoRestakingWithdrawalCredentials

view

function getNoRestakingWithdrawalCredentials() view returns (address)

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)

NON_RESTORAKING_WITHDRAWAL_CREDENTIALS_FACTORY

view

function NON_RESTORAKING_WITHDRAWAL_CREDENTIALS_FACTORY() 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)

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)

initializerV2

nonpayable

function initializerV2()

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)

requestEigenPodConsolidation

payable

function requestEigenPodConsolidation(bytes[] srcPubkeys, bytes[] targetPubkeys) payable

requestWithdrawal

payable

function requestWithdrawal(tuple[] requests) payable

setAuthority

nonpayable

function setAuthority(address newAuthority)

setValidatorsETH

nonpayable

function setValidatorsETH(uint128 restakedValidatorsETH, uint128 nonRestakedValidatorsETH)

startNonRestakingValidators

nonpayable

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

startRestakingValidators

nonpayable

function startRestakingValidators(bytes[] pubKeys, bytes[] signatures, uint256[] amountsInGwei, 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)

withdrawNonRestakedETH

nonpayable

function withdrawNonRestakedETH()

events

Approval

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

AuthorityUpdated

event AuthorityUpdated(address authority)

CustomDelegateCall

event CustomDelegateCall(address indexed target, bytes data)

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, uint256 amountGwei)

StartedRestakingValidator

event StartedRestakingValidator(bytes pubKey, uint256 amountGwei)

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

DelegateCallFailed

error DelegateCallFailed()

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

0x61014060405230608052348015610014575f5ffd5b50604051614c04380380614c04833981016040819052610033916101fc565b6001600160a01b03851661005a5760405163d92e233d60e01b815260040160405180910390fd5b6001600160a01b0384166100815760405163d92e233d60e01b815260040160405180910390fd5b6001600160a01b0383166100a85760405163d92e233d60e01b815260040160405180910390fd5b6001600160a01b0382166100cf5760405163d92e233d60e01b815260040160405180910390fd5b6001600160a01b0381166100f65760405163d92e233d60e01b815260040160405180910390fd5b6001600160a01b0380861660a05284811660e05283811660c0528281166101005281166101205261012561012f565b505050505061025d565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00805468010000000000000000900460ff161561017f5760405163f92ee8a960e01b815260040160405180910390fd5b80546001600160401b03908116146101de5780546001600160401b0319166001600160401b0390811782556040519081527fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d29060200160405180910390a15b50565b80516001600160a01b03811681146101f7575f5ffd5b919050565b5f5f5f5f5f60a08688031215610210575f5ffd5b610219866101e1565b9450610227602087016101e1565b9350610235604087016101e1565b9250610243606087016101e1565b9150610251608087016101e1565b90509295509295909350565b60805160a05160c05160e05161010051610120516148f761030d5f395f818161091201526111d801525f81816109ac0152818161154601526117c101525f81816103fb0152611a1601525f818161080a015261227401525f818161079901528181610a22015281816119cf01528181611b7301528181611c8f01528181612619015281816126b801528181612a2d0152612ab801525f818161277a015281816127a301526128d201526148f75ff3fe60806040526004361061032a575f3560e01c80638fb36037116101a3578063ba087652116100f2578063ce96cb7711610092578063dd62ed3e1161006d578063dd62ed3e14610953578063eb9be41f14610972578063ef8b30f7146108c3578063f2251b0f1461099b575f5ffd5b8063ce96cb77146108e2578063d7db93ed14610901578063d905777e14610934575f5ffd5b8063bf7e214f116100cd578063bf7e214f1461089b578063c3f801d8146108af578063c63d75b61461051b578063c6e6f592146108c3575f5ffd5b8063ba0876521461082c578063bca655391461084b578063bcbb073a14610887575f5ffd5b8063a9059cbb1161015d578063ad5c464811610138578063ad5c464814610788578063b3d7f6b9146107bb578063b460af94146107da578063b5b0c6b1146107f9575f5ffd5b8063a9059cbb1461071a578063ad0cdf3e14610739578063ad3cb1cc14610758575f5ffd5b80638fb3603714610657578063906571471461068457806394bf804d146106a357806395d89b41146106c257806395f9f926146106d6578063a55d0dbb146106ea575f5ffd5b80633f5fa57a116102795780635d1b0842116102195780636e553f65116101f45780636e553f65146105db57806370a08231146105fa5780637a9e5e4b14610619578063852aa33d14610638575f5ffd5b80635d1b0842146105895780636056b2711461059d57806364343ef7146105bc575f5ffd5b80634f1ef286116102545780634f1ef2861461053b57806352d1902d1461054e57806356396715146105625780635cdb486514610576575f5ffd5b80633f5fa57a14610508578063402d267d1461051b5780634cdad5061461037d575f5ffd5b80631652f5dd116102e457806329d85402116102bf57806329d85402146104a85780632d2da806146104bb578063313ce567146104ce57806338d52e0f146104f4575f5ffd5b80631652f5dd1461043557806318160ddd1461045657806323b872dd14610489575f5ffd5b806301e1d1141461033557806306fdde031461035c57806307a2d13a1461037d578063095ea7b31461039c5780630a28a477146103cb5780630a732358146103ea575f5ffd5b3661033157005b5f5ffd5b348015610340575f5ffd5b506103496109ce565b6040519081526020015b60405180910390f35b348015610367575f5ffd5b50610370610ab8565b604051610353919061366d565b348015610388575f5ffd5b5061034961039736600461367f565b610b78565b3480156103a7575f5ffd5b506103bb6103b63660046136b5565b610b89565b6040519015158152602001610353565b3480156103d6575f5ffd5b506103496103e536600461367f565b610ba0565b3480156103f5575f5ffd5b5061041d7f000000000000000000000000000000000000000000000000000000000000000081565b6040516001600160a01b039091168152602001610353565b348015610440575f5ffd5b5061045461044f36600461371f565b610bac565b005b348015610461575f5ffd5b507f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0254610349565b348015610494575f5ffd5b506103bb6104a33660046137e9565b610bd4565b6104546104b6366004613864565b610bf3565b6103496104c93660046138bb565b610d75565b3480156104d9575f5ffd5b506104e2610de6565b60405160ff9091168152602001610353565b3480156104ff575f5ffd5b5061041d610e15565b6104546105163660046138d6565b610e36565b348015610526575f5ffd5b506103496105353660046138bb565b505f1990565b610454610549366004613958565b610ea7565b348015610559575f5ffd5b50610349610ec6565b34801561056d575f5ffd5b50610370610ee1565b6104546105843660046139fd565b610f4b565b348015610594575f5ffd5b50610454611111565b3480156105a8575f5ffd5b506104546105b73660046139fd565b6112af565b3480156105c7575f5ffd5b506104546105d636600461371f565b61159a565b3480156105e6575f5ffd5b506103496105f5366004613a67565b6115b4565b348015610605575f5ffd5b506103496106143660046138bb565b6115c8565b348015610624575f5ffd5b506104546106333660046138bb565b6115ee565b348015610643575f5ffd5b5061045461065236600461367f565b611670565b348015610662575f5ffd5b5061066b61183f565b6040516001600160e01b03199091168152602001610353565b34801561068f575f5ffd5b5061045461069e366004613a95565b611874565b3480156106ae575f5ffd5b506103496106bd366004613a67565b611b01565b3480156106cd575f5ffd5b50610370611b15565b3480156106e1575f5ffd5b50610454611b53565b3480156106f5575f5ffd5b505f5160206148825f395f51905f5254600160801b90046001600160801b0316610349565b348015610725575f5ffd5b506103bb6107343660046136b5565b611da3565b348015610744575f5ffd5b50610454610753366004613b2b565b611db7565b348015610763575f5ffd5b50610370604051806040016040528060058152602001640352e302e360dc1b81525081565b348015610793575f5ffd5b5061041d7f000000000000000000000000000000000000000000000000000000000000000081565b3480156107c6575f5ffd5b506103496107d536600461367f565b611e6b565b3480156107e5575f5ffd5b506103496107f4366004613b5c565b611e77565b348015610804575f5ffd5b5061041d7f000000000000000000000000000000000000000000000000000000000000000081565b348015610837575f5ffd5b50610349610846366004613b5c565b611edf565b348015610856575f5ffd5b507fb529568951eb52d8d5859ca4e4dcbfc3265b8babf3bd7f734c26170cb2a6dc02546001600160a01b031661041d565b348015610892575f5ffd5b5061041d611f3e565b3480156108a6575f5ffd5b5061041d611f5d565b3480156108ba575f5ffd5b50610370611f72565b3480156108ce575f5ffd5b506103496108dd36600461367f565b611fa9565b3480156108ed575f5ffd5b506103496108fc3660046138bb565b611fb4565b34801561090c575f5ffd5b5061041d7f000000000000000000000000000000000000000000000000000000000000000081565b34801561093f575f5ffd5b5061034961094e3660046138bb565b611fc7565b34801561095e575f5ffd5b5061034961096d366004613b9b565b611fd1565b34801561097d575f5ffd5b505f5160206148825f395f51905f52546001600160801b0316610349565b3480156109a6575f5ffd5b5061041d7f000000000000000000000000000000000000000000000000000000000000000081565b5f5160206148825f395f51905f52545f905f5160206148425f395f51905f529034906001600160801b03600160801b820481169116610a0d8347613bdb565b6040516370a0823160e01b81523060048201527f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316906370a0823190602401602060405180830381865afa158015610a6f573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a939190613bee565b610a9d9190613c05565b610aa79190613c05565b610ab19190613c05565b9250505090565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0380546060915f5160206148225f395f51905f5291610af690613c18565b80601f0160208091040260200160405190810160405280929190818152602001828054610b2290613c18565b8015610b6d5780601f10610b4457610100808354040283529160200191610b6d565b820191905f5260205f20905b815481529060010190602001808311610b5057829003601f168201915b505050505091505090565b5f610b83825f61201a565b92915050565b5f33610b96818585612071565b5060019392505050565b5f610b83826001612083565b610bb8335b5f366120d1565b610bca888888888888888860016121c7565b5050505050505050565b5f610bde33610bb1565b610be98484846125dd565b90505b9392505050565b610bfc33610bb1565b5f610c05611f5d565b6001600160a01b031663b70096133387610c1f8789613c50565b6040518463ffffffff1660e01b8152600401610c3d93929190613c88565b6040805180830381865afa158015610c57573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c7b9190613cd3565b50905080610ca25760405162d1953b60e31b81523360048201526024015b60405180910390fd5b610cab82612600565b5f856001600160a01b0316838686604051610cc7929190613d00565b5f6040518083038185875af1925050503d805f8114610d01576040519150601f19603f3d011682016040523d82523d5f602084013e610d06565b606091505b50509050856001600160a01b03167f08b977dfd744a4b04e46791eae351ad44743c286034283de6637eee2f98495f6868686604051610d4793929190613d37565b60405180910390a280610d6d57604051630d558b1960e41b815260040160405180910390fd5b505050505050565b5f610d7f33610bb1565b5f195f610d8b34611fa9565b9050610d97848261273b565b60408051348152602081018390526001600160a01b0386169133917fdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7910160405180910390a39150505b919050565b5f805f5160206148a25f395f51905f5290505f8154610e0f9190600160a01b900460ff16613d7b565b91505090565b5f805f5160206148a25f395f51905f525b546001600160a01b031692915050565b610e3f33610bb1565b610e47611f3e565b6001600160a01b0316633f5fa57a3484846040518463ffffffff1660e01b8152600401610e75929190613d94565b5f604051808303818588803b158015610e8c575f5ffd5b505af1158015610e9e573d5f5f3e3d5ffd5b50505050505050565b610eaf61276f565b610eb8826127ff565b610ec2828261280b565b5050565b5f610ecf6128c7565b505f5160206148625f395f51905f5290565b7fb529568951eb52d8d5859ca4e4dcbfc3265b8babf3bd7f734c26170cb2a6dc02546040516060915f5160206148425f395f51905f5291610f3691600160f91b915f916001600160a01b031690602001613e70565b60405160208183030381529060405291505090565b610f5433610bb1565b5f836001600160401b03811115610f6d57610f6d613914565b604051908082528060200260200182016040528015610fb257816020015b6040805180820190915260608082526020820152815260200190600190039081610f8b5790505b5090505f5b848110156110a7576040518060400160405280878784818110610fdc57610fdc613eae565b9050602002810190610fee9190613ec2565b8080601f0160208091040260200160405190810160405280939291908181526020018383808284375f9201919091525050509082525060200185858481811061103957611039613eae565b905060200281019061104b9190613ec2565b8080601f0160208091040260200160405190810160405280939291908181526020018383808284375f920191909152505050915250825183908390811061109457611094613eae565b6020908102919091010152600101610fb7565b506110b0611f3e565b6001600160a01b0316636691954e34836040518363ffffffff1660e01b81526004016110dc9190613f04565b5f604051808303818588803b1580156110f3575f5ffd5b505af1158015611105573d5f5f3e3d5ffd5b50505050505050505050565b61111a33610bb1565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00805460029190600160401b900460ff1680611163575080546001600160401b03808416911610155b156111815760405163f92ee8a960e01b815260040160405180910390fd5b805468ffffffffffffffffff19166001600160401b03831617600160401b17815560408051600481526024810182526020810180516001600160e01b0316631f761fd960e11b17905290515f916001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016916112039190613f8e565b5f60405180830381855af49150503d805f811461123b576040519150601f19603f3d011682016040523d82523d5f602084013e611240565b606091505b5050905080611262576040516318cecad560e01b815260040160405180910390fd5b50805460ff60401b191681556040516001600160401b03831681527fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2906020015b60405180910390a15050565b6112b833610bb1565b6040805160018082528183019092525f91816020015b60608152602001906001900390816112ce5750506040805160018082528183019092529192506020808301908036833701905050815f8151811061131457611314613eae565b60200260200101819052505f815f8151811061133257611332613eae565b60200260200101515f8151811061134b5761134b613eae565b6001600160a01b03909216602092830291909101909101525f805b8581101561148c5773beac0eeeeeeeeeeeeeeeeeeeeeeeeeeeeeebeac087878381811061139557611395613eae565b90506020028101906113a79190613fa4565b6113b59060a0810190613fc2565b5f8181106113c5576113c5613eae565b90506020020160208101906113da91906138bb565b6001600160a01b0316146114015760405163b4fa3fb360e01b815260040160405180910390fd5b84848281811061141357611413613eae565b90506020020160208101906114289190614007565b156114845786868281811061143f5761143f613eae565b90506020028101906114519190613fa4565b61145f9060c0810190613fc2565b5f81811061146f5761146f613eae565b90506020020135826114819190613c05565b91505b600101611366565b50805f5160206148425f395f51905f5260010180545f906114b79084906001600160801b0316614022565b92506101000a8154816001600160801b0302191690836001600160801b031602179055507ff6326c1771652aa9515382680c6e7ce86d83f44515b096c35f686446fcc47ec06115105f5160206148425f395f51905f5290565b600101546040516001600160801b03909116815260200160405180910390a1604051639435bb4360e01b81526001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001690639435bb4390611583908990899087908a908a906004016141ca565b5f604051808303815f87803b1580156110f3575f5ffd5b6115a333610bb1565b610bca88888888888888885f6121c7565b5f6115be33610bb1565b610bec8383612910565b6001600160a01b03165f9081525f5160206148225f395f51905f52602052604090205490565b336115f7611f5d565b6001600160a01b0316816001600160a01b0316146116325760405162d1953b60e31b81526001600160a01b0382166004820152602401610c99565b816001600160a01b03163b5f03611667576040516361798f2f60e11b81526001600160a01b0383166004820152602401610c99565b610ec282612933565b61167933610bb1565b6040805160018082528183019092525f91816020015b604080516060808201835280825260208201525f9181019190915281526020019060019003908161168f5750506040805160018082528183019092529192505f91906020808301908036833701905050905082815f815181106116f4576116f4613eae565b60209081029190910101526040805160018082528183019092525f9181602001602082028036833701905050905073beac0eeeeeeeeeeeeeeeeeeeeeeeeeeeeeebeac0815f8151811061174957611749613eae565b60200260200101906001600160a01b031690816001600160a01b03168152505060405180606001604052808281526020018381526020015f6001600160a01b0316815250835f8151811061179f5761179f613eae565b60209081029190910101526040516306ec6e8160e11b81526001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001690630dd8dd02906117f6908690600401614315565b5f604051808303815f875af1158015611811573d5f5f3e3d5ffd5b505050506040513d5f823e601f3d908101601f19168201604052611838919081019061440e565b5050505050565b5f5160206148025f395f51905f5280545f9190600160a01b900460ff16611866575f610e0f565b638fb3603760e01b91505090565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a008054600160401b810460ff1615906001600160401b03165f811580156118b85750825b90505f826001600160401b031660011480156118d35750303b155b9050811580156118e1575080155b156118ff5760405163f92ee8a960e01b815260040160405180910390fd5b845467ffffffffffffffff19166001178555831561192957845460ff60401b1916600160401b1785555b6001600160a01b038a166119505760405163d92e233d60e01b815260040160405180910390fd5b6119598a61298c565b6119ca89898080601f0160208091040260200160405190810160405280939291908181526020018383808284375f9201919091525050604080516020601f8d018190048102820181019092528b815292508b91508a90819084018382808284375f9201919091525061299d92505050565b6119f37f00000000000000000000000000000000000000000000000000000000000000006129af565b6119fb6129c0565b611a036129c0565b5f5f5160206148425f395f51905f5290507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166384d810626040518163ffffffff1660e01b81526004016020604051808303815f875af1158015611a71573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611a9591906144b8565b81546001600160a01b0319166001600160a01b0391909116179055831561110557845460ff60401b19168555604051600181527fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d29060200160405180910390a150505050505050505050565b5f611b0b33610bb1565b610bec83836129c8565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0480546060915f5160206148225f395f51905f5291610af690613c18565b611b5c33610bb1565b6040516370a0823160e01b81523060048201525f907f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316906370a0823190602401602060405180830381865afa158015611bc0573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611be49190613bee565b611bee9047613c05565b7fb529568951eb52d8d5859ca4e4dcbfc3265b8babf3bd7f734c26170cb2a6dc025460408051633821b97b60e21b815290519293505f5160206148425f395f51905f52926001600160a01b039092169163e086e5ec916004808201925f9290919082900301818387803b158015611c63575f5ffd5b505af1158015611c75573d5f5f3e3d5ffd5b50506040516370a0823160e01b81523060048201525f92507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031691506370a0823190602401602060405180830381865afa158015611cdd573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611d019190613bee565b611d0b9047613c05565b90505f611d188483613bdb565b60018401549091505f90611d40906001600160801b03600160801b90910481169084166129e3565b6001860180546001600160801b03908116600160801b8483168102919091179283905560405192041681529092507f15a4b4d12638bef0da0b6c60987e8fe510def8e6e98da1b0f352f0c8e0de2e19915060200160405180910390a15050505050565b5f611dad33610bb1565b610bec8383612a07565b611dc033610bb1565b6001600160801b03828116600160801b9183169190910281175f5160206148825f395f51905f525560408051918252515f5160206148425f395f51905f52917ff6326c1771652aa9515382680c6e7ce86d83f44515b096c35f686446fcc47ec0919081900360200190a16040516001600160801b03831681527f15a4b4d12638bef0da0b6c60987e8fe510def8e6e98da1b0f352f0c8e0de2e199060200160405180910390a1505050565b5f610b8382600161201a565b5f611e8133610bb1565b5f611e8b83611fb4565b905080851115611eb457828582604051633fa733bb60e21b8152600401610c9993929190613d5a565b611ebd85612a14565b5f611ec786610ba0565b9050611ed63386868985612b2b565b95945050505050565b5f611ee933610bb1565b5f611ef383611fc7565b905080851115611f1c57828582604051632e52afbb60e21b8152600401610c9993929190613d5a565b5f611f2686610b78565b9050611f3181612a14565b611ed6338686848a612b2b565b5f5f5160206148425f395f51905f525b546001600160a01b0316919050565b5f805f5160206148025f395f51905f52610e26565b5f5160206148425f395f51905f52805460405160609291610f3691600160f91b915f916001600160a01b0390911690602001613e70565b5f610b83825f612083565b5f610b83611fc1836115c8565b5f61201a565b5f610b83826115c8565b6001600160a01b039182165f9081527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace016020908152604080832093909416825291909152205490565b5f610bec6120266109ce565b612031906001613c05565b61203c5f600a6145b6565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace02546120689190613c05565b85919085612bdf565b61207e8383836001612c21565b505050565b5f610bec61209282600a6145b6565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace02546120be9190613c05565b6120c66109ce565b612068906001613c05565b5f5160206148025f395f51905f525f806121096120ec611f5d565b87306120fb60045f8a8c6145c4565b61210491613c50565b612d04565b9150915081610d6d5763ffffffff8116156121a457825460ff60a01b1916600160a01b178355612137611f5d565b6001600160a01b03166394c7d7ee8787876040518463ffffffff1660e01b8152600401612166939291906145eb565b5f604051808303815f87803b15801561217d575f5ffd5b505af115801561218f573d5f5f3e3d5ffd5b5050845460ff60a01b1916855550610d6d9050565b60405162d1953b60e31b81526001600160a01b0387166004820152602401610c99565b87861480156121d557508784145b80156121e057508782145b6121fd5760405163b4fa3fb360e01b815260040160405180910390fd5b5f805b898110156122365786868281811061221a5761221a613eae565b905060200201358261222c9190613c05565b9150600101612200565b5061224081612df6565b905061224b81612600565b5f8261225e57612259610ee1565b612266565b612266611f72565b90505f5b8a811015612471577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663228951186122c28a8a858181106122b6576122b6613eae565b90506020020135612df6565b8e8e858181106122d4576122d4613eae565b90506020028101906122e69190613ec2565b868f8f888181106122f9576122f9613eae565b905060200281019061230b9190613ec2565b8d8d8a81811061231d5761231d613eae565b905060200201356040518863ffffffff1660e01b81526004016123459695949392919061460f565b5f604051808303818588803b15801561235c575f5ffd5b505af115801561236e573d5f5f3e3d5ffd5b505050505083156123f3577ffe9c6e59952f3767ccbf3fb4e1ab1929db5d815f0298b99913e89fc751837aca8c8c838181106123ac576123ac613eae565b90506020028101906123be9190613ec2565b8a8a858181106123d0576123d0613eae565b905060200201356040516123e693929190613d37565b60405180910390a1612469565b7ffa8aba53fecf7cc2c41f6665b83d5f71ed433e06f6ab5d96c0588e9a866122d08c8c8381811061242657612426613eae565b90506020028101906124389190613ec2565b8a8a8581811061244a5761244a613eae565b9050602002013560405161246093929190613d37565b60405180910390a15b60010161226a565b50821561251f57815f5160206148425f395f51905f5260010180545f906124a29084906001600160801b031661465d565b92506101000a8154816001600160801b0302191690836001600160801b031602179055507ff6326c1771652aa9515382680c6e7ce86d83f44515b096c35f686446fcc47ec06124fb5f5160206148425f395f51905f5290565b600101546040516001600160801b03909116815260200160405180910390a16125d0565b815f5160206148425f395f51905f526001018054601090612551908490600160801b90046001600160801b031661465d565b92506101000a8154816001600160801b0302191690836001600160801b031602179055507f15a4b4d12638bef0da0b6c60987e8fe510def8e6e98da1b0f352f0c8e0de2e196125aa5f5160206148425f395f51905f5290565b60010154604051600160801b9091046001600160801b0316815260200160405180910390a15b5050505050505050505050565b5f336125ea858285612e05565b6125f5858585612e4f565b506001949350505050565b6040516370a0823160e01b815230600482015247905f907f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316906370a0823190602401602060405180830381865afa158015612666573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061268a9190613bee565b905082821061269857505050565b81830380821061271c57604051632e1a7d4d60e01b8152600481018290527f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031690632e1a7d4d906024015f604051808303815f87803b158015612701575f5ffd5b505af1158015612713573d5f5f3e3d5ffd5b50505050612735565b604051632c1d501360e11b815260040160405180910390fd5b50505050565b6001600160a01b0382166127645760405163ec442f0560e01b81525f6004820152602401610c99565b610ec25f8383612ea8565b306001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001614806127df57507f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166127d3612fce565b6001600160a01b031614155b156127fd5760405163703e46dd60e11b815260040160405180910390fd5b565b61280833610bb1565b50565b816001600160a01b03166352d1902d6040518163ffffffff1660e01b8152600401602060405180830381865afa925050508015612865575060408051601f3d908101601f1916820190925261286291810190613bee565b60015b61288d57604051634c9c8ce360e01b81526001600160a01b0383166004820152602401610c99565b5f5160206148625f395f51905f5281146128bd57604051632a87526960e21b815260048101829052602401610c99565b61207e8383612fe2565b306001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146127fd5760405163703e46dd60e11b815260040160405180910390fd5b5f5f195f61291d85611fa9565b905061292b33858784613037565b949350505050565b5f5160206148025f395f51905f5280546001600160a01b0319166001600160a01b03831690811782556040519081527f2f658b440c35314f52658ea8a740e05b284cdc84dc9ae01e891f21b8933e7cad906020016112a3565b6129946130b4565b612808816130fd565b6129a56130b4565b610ec2828261310e565b6129b76130b4565b6128088161315e565b6127fd6130b4565b5f5f195f6129d585611e6b565b905061292b33858388613037565b5f5f838311156129f757505f905080612a00565b50600190508183035b9250929050565b5f33610b96818585612e4f565b6040516370a0823160e01b815230600482015247905f907f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316906370a0823190602401602060405180830381865afa158015612a7a573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190612a9e9190613bee565b9050828110612aac57505050565b80830380831061271c577f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031663d0e30db0826040518263ffffffff1660e01b81526004015f604051808303818588803b158015612b0f575f5ffd5b505af1158015612b21573d5f5f3e3d5ffd5b5050505050612735565b5f5160206148a25f395f51905f526001600160a01b0386811690851614612b5757612b57848784612e05565b612b6184836131ce565b8054612b77906001600160a01b03168685613202565b836001600160a01b0316856001600160a01b0316876001600160a01b03167ffbde797d201c681b91056529119e0b02407c7bb96a4a2c75c01fc9667232c8db8686604051612bcf929190918252602082015260400190565b60405180910390a4505050505050565b5f612c0c612bec83613261565b8015612c0757505f8480612c0257612c0261467c565b868809115b151590565b612c1786868661328d565b611ed69190613c05565b5f5160206148225f395f51905f526001600160a01b038516612c585760405163e602df0560e01b81525f6004820152602401610c99565b6001600160a01b038416612c8157604051634a1406b160e11b81525f6004820152602401610c99565b6001600160a01b038086165f9081526001830160209081526040808320938816835292905220839055811561183857836001600160a01b0316856001600160a01b03167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92585604051612cf591815260200190565b60405180910390a35050505050565b5f5f5f5f876001600160a01b0316878787604051602401612d2793929190613c88565b60408051601f198184030181529181526020820180516001600160e01b031663b700961360e01b17905251612d5c9190613f8e565b5f60405180830381855afa9150503d805f8114612d94576040519150601f19603f3d011682016040523d82523d5f602084013e612d99565b606091505b50915091508115612deb576040815110612dcb5780806020019051810190612dc19190613cd3565b9094509250612deb565b6020815110612deb5780806020019051810190612de89190614690565b93505b505094509492505050565b5f610b8382633b9aca006146ab565b5f612e108484611fd1565b90505f1981146127355781811015612e4157828183604051637dc7a0d960e11b8152600401610c9993929190613d5a565b61273584848484035f612c21565b6001600160a01b038316612e7857604051634b637e8f60e11b81525f6004820152602401610c99565b6001600160a01b038216612ea15760405163ec442f0560e01b81525f6004820152602401610c99565b61207e8383835b5f5160206148225f395f51905f526001600160a01b038416612ee25781816002015f828254612ed79190613c05565b90915550612f3f9050565b6001600160a01b0384165f9081526020829052604090205482811015612f215784818460405163391434e360e21b8152600401610c9993929190613d5a565b6001600160a01b0385165f9081526020839052604090209083900390555b6001600160a01b038316612f5d576002810180548390039055612f7b565b6001600160a01b0383165f9081526020829052604090208054830190555b826001600160a01b0316846001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051612fc091815260200190565b60405180910390a350505050565b5f5f5160206148625f395f51905f52611f4e565b612feb82613343565b6040516001600160a01b038316907fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b905f90a280511561302f5761207e82826133a6565b610ec261340f565b5f5160206148a25f395f51905f52805461305c906001600160a01b031686308661342e565b613066848361273b565b836001600160a01b0316856001600160a01b03167fdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d78585604051612cf5929190918252602082015260400190565b7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a0054600160401b900460ff166127fd57604051631afcd79f60e31b815260040160405180910390fd5b6131056130b4565b61280881612933565b6131166130b4565b5f5160206148225f395f51905f527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0361314f8482614706565b50600481016127358382614706565b6131666130b4565b5f5160206148a25f395f51905f525f8061317f84613467565b915091508161318f576012613191565b805b83546001600160a81b031916600160a01b60ff92909216919091026001600160a01b031916176001600160a01b0394909416939093179091555050565b6001600160a01b0382166131f757604051634b637e8f60e11b81525f6004820152602401610c99565b610ec2825f83612ea8565b6040516001600160a01b0383811660248301526044820183905261207e91859182169063a9059cbb906064015b604051602081830303815290604052915060e01b6020820180516001600160e01b03838183161783525050505061353d565b5f6002826003811115613276576132766147c0565b61328091906147d4565b60ff166001149050919050565b5f838302815f1985870982811083820303915050805f036132c1578382816132b7576132b761467c565b0492505050610bec565b8084116132d8576132d860038515026011186135a9565b5f848688095f868103871696879004966002600389028118808a02820302808a02820302808a02820302808a02820302808a02820302808a02909103029181900381900460010186841190950394909402919094039290920491909117919091029150509392505050565b806001600160a01b03163b5f0361337857604051634c9c8ce360e01b81526001600160a01b0382166004820152602401610c99565b5f5160206148625f395f51905f5280546001600160a01b0319166001600160a01b0392909216919091179055565b60605f5f846001600160a01b0316846040516133c29190613f8e565b5f60405180830381855af49150503d805f81146133fa576040519150601f19603f3d011682016040523d82523d5f602084013e6133ff565b606091505b5091509150611ed68583836135ba565b34156127fd5760405163b398979f60e01b815260040160405180910390fd5b6040516001600160a01b0384811660248301528381166044830152606482018390526127359186918216906323b872dd9060840161322f565b60408051600481526024810182526020810180516001600160e01b031663313ce56760e01b17905290515f918291829182916001600160a01b038716916134ad91613f8e565b5f60405180830381855afa9150503d805f81146134e5576040519150601f19603f3d011682016040523d82523d5f602084013e6134ea565b606091505b50915091508180156134fe57506020815110155b15613531575f818060200190518101906135189190613bee565b905060ff811161352f576001969095509350505050565b505b505f9485945092505050565b5f5f60205f8451602086015f885af18061355c576040513d5f823e3d81fd5b50505f513d91508115613573578060011415613580565b6001600160a01b0384163b155b1561273557604051635274afe760e01b81526001600160a01b0385166004820152602401610c99565b634e487b715f52806020526024601cfd5b6060826135cf576135ca82613616565b610bec565b81511580156135e657506001600160a01b0384163b155b1561360f57604051639996b31560e01b81526001600160a01b0385166004820152602401610c99565b5080610bec565b8051156136265780518082602001fd5b60405163d6bda27560e01b815260040160405180910390fd5b5f81518084528060208401602086015e5f602082860101526020601f19601f83011685010191505092915050565b602081525f610bec602083018461363f565b5f6020828403121561368f575f5ffd5b5035919050565b6001600160a01b0381168114612808575f5ffd5b8035610de181613696565b5f5f604083850312156136c6575f5ffd5b82356136d181613696565b946020939093013593505050565b5f5f83601f8401126136ef575f5ffd5b5081356001600160401b03811115613705575f5ffd5b6020830191508360208260051b8501011115612a00575f5ffd5b5f5f5f5f5f5f5f5f6080898b031215613736575f5ffd5b88356001600160401b0381111561374b575f5ffd5b6137578b828c016136df565b90995097505060208901356001600160401b03811115613775575f5ffd5b6137818b828c016136df565b90975095505060408901356001600160401b0381111561379f575f5ffd5b6137ab8b828c016136df565b90955093505060608901356001600160401b038111156137c9575f5ffd5b6137d58b828c016136df565b999c989b5096995094979396929594505050565b5f5f5f606084860312156137fb575f5ffd5b833561380681613696565b9250602084013561381681613696565b929592945050506040919091013590565b5f5f83601f840112613837575f5ffd5b5081356001600160401b0381111561384d575f5ffd5b602083019150836020828501011115612a00575f5ffd5b5f5f5f5f60608587031215613877575f5ffd5b843561388281613696565b935060208501356001600160401b0381111561389c575f5ffd5b6138a887828801613827565b9598909750949560400135949350505050565b5f602082840312156138cb575f5ffd5b8135610bec81613696565b5f5f602083850312156138e7575f5ffd5b82356001600160401b038111156138fc575f5ffd5b613908858286016136df565b90969095509350505050565b634e487b7160e01b5f52604160045260245ffd5b604051601f8201601f191681016001600160401b038111828210171561395057613950613914565b604052919050565b5f5f60408385031215613969575f5ffd5b823561397481613696565b915060208301356001600160401b0381111561398e575f5ffd5b8301601f8101851361399e575f5ffd5b80356001600160401b038111156139b7576139b7613914565b6139ca601f8201601f1916602001613928565b8181528660208385010111156139de575f5ffd5b816020840160208301375f602083830101528093505050509250929050565b5f5f5f5f60408587031215613a10575f5ffd5b84356001600160401b03811115613a25575f5ffd5b613a31878288016136df565b90955093505060208501356001600160401b03811115613a4f575f5ffd5b613a5b878288016136df565b95989497509550505050565b5f5f60408385031215613a78575f5ffd5b823591506020830135613a8a81613696565b809150509250929050565b5f5f5f5f5f60608688031215613aa9575f5ffd5b8535613ab481613696565b945060208601356001600160401b03811115613ace575f5ffd5b613ada88828901613827565b90955093505060408601356001600160401b03811115613af8575f5ffd5b613b0488828901613827565b969995985093965092949392505050565b80356001600160801b0381168114610de1575f5ffd5b5f5f60408385031215613b3c575f5ffd5b613b4583613b15565b9150613b5360208401613b15565b90509250929050565b5f5f5f60608486031215613b6e575f5ffd5b833592506020840135613b8081613696565b91506040840135613b9081613696565b809150509250925092565b5f5f60408385031215613bac575f5ffd5b8235613bb781613696565b91506020830135613a8a81613696565b634e487b7160e01b5f52601160045260245ffd5b81810381811115610b8357610b83613bc7565b5f60208284031215613bfe575f5ffd5b5051919050565b80820180821115610b8357610b83613bc7565b600181811c90821680613c2c57607f821691505b602082108103613c4a57634e487b7160e01b5f52602260045260245ffd5b50919050565b80356001600160e01b03198116906004841015613c81576001600160e01b0319600485900360031b81901b82161691505b5092915050565b6001600160a01b0393841681529190921660208201526001600160e01b0319909116604082015260600190565b8015158114612808575f5ffd5b63ffffffff81168114612808575f5ffd5b5f5f60408385031215613ce4575f5ffd5b8251613cef81613cb5565b6020840151909250613a8a81613cc2565b818382375f9101908152919050565b81835281816020850137505f828201602090810191909152601f909101601f19169091010190565b604081525f613d4a604083018587613d0f565b9050826020830152949350505050565b6001600160a01b039390931683526020830191909152604082015260600190565b60ff8181168382160190811115610b8357610b83613bc7565b602080825281018290525f6040600584901b830181019083018583603e1936839003015b87821015613e6357868503603f190184528235818112613dd6575f5ffd5b8901803536829003601e19018112613dec575f5ffd5b81016020810190356001600160401b03811115613e07575f5ffd5b803603821315613e15575f5ffd5b60408852613e27604089018284613d0f565b915050602082013591506001600160401b038216808314613e46575f5ffd5b602097880152959485019493909301925060019190910190613db8565b5092979650505050505050565b6001600160f81b03199390931683526001600160a81b031991909116600183015260601b6bffffffffffffffffffffffff1916600c82015260200190565b634e487b7160e01b5f52603260045260245ffd5b5f5f8335601e19843603018112613ed7575f5ffd5b8301803591506001600160401b03821115613ef0575f5ffd5b602001915036819003821315612a00575f5ffd5b5f602082016020835280845180835260408501915060408160051b8601019250602086015f5b82811015613f8257603f198786030184528151805160408752613f50604088018261363f565b9050602082015191508681036020880152613f6b818361363f565b965050506020938401939190910190600101613f2a565b50929695505050505050565b5f82518060208501845e5f920191825250919050565b5f823560de19833603018112613fb8575f5ffd5b9190910192915050565b5f5f8335601e19843603018112613fd7575f5ffd5b8301803591506001600160401b03821115613ff0575f5ffd5b6020019150600581901b3603821315612a00575f5ffd5b5f60208284031215614017575f5ffd5b8135610bec81613cb5565b6001600160801b038281168282160390811115610b8357610b83613bc7565b8035610de181613cc2565b5f5f8335601e19843603018112614061575f5ffd5b83016020810192503590506001600160401b0381111561407f575f5ffd5b8060051b3603821315612a00575f5ffd5b8183526020830192505f815f5b848110156140ce5781356140b081613696565b6001600160a01b03168652602095860195919091019060010161409d565b5093949350505050565b8183525f6001600160fb1b038311156140ef575f5ffd5b8260051b80836020870137939093016020019392505050565b5f82825180855260208501945060208160051b830101602085015f5b8381101561418757848303601f19018852815180518085526020918201918501905f5b8181101561416e5783516001600160a01b0316835260209384019390920191600101614147565b50506020998a0199909450929092019150600101614124565b50909695505050505050565b8183526020830192505f815f5b848110156140ce5781356141b381613cb5565b1515865260209586019591909101906001016141a0565b606080825281018590525f6080600587901b83018101908301888360de1936839003015b8a8210156142de57868503607f19018452823581811261420c575f5ffd5b8c01803561421981613696565b6001600160a01b03168652602081013561423281613696565b6001600160a01b0316602087015261424c604082016136aa565b6001600160a01b031660408701526060818101359087015261427060808201614041565b63ffffffff16608087015261428860a082018261404c565b60e060a089015261429d60e089018284614090565b9150506142ad60c083018361404c565b925087820360c08901526142c28284836140d8565b97505050506020830192506020840193506001820191506141ee565b5050505082810360208401526142f48187614108565b90508281036040840152614309818587614193565b98975050505050505050565b5f602082016020835280845180835260408501915060408160051b8601019250602086015f5b82811015613f8257868503603f1901845281518051606080885281519088018190526020909101905f9060808901905b808310156143975783516001600160a01b0316825260208201915060208401935060018301925061436b565b506020848101518a83038b83015280518084529082019450910191505f905b808210156143d957835183526020830192506020840193506001820191506143b6565b5050604083015192506143f760408901846001600160a01b03169052565b96505050602093840193919091019060010161433b565b5f6020828403121561441e575f5ffd5b81516001600160401b03811115614433575f5ffd5b8201601f81018413614443575f5ffd5b80516001600160401b0381111561445c5761445c613914565b8060051b61446c60208201613928565b91825260208184018101929081019087841115614487575f5ffd5b6020850194505b838510156144ad5784518083526020958601959093509091019061448e565b979650505050505050565b5f602082840312156144c8575f5ffd5b8151610bec81613696565b6001815b600184111561450e578085048111156144f2576144f2613bc7565b600184161561450057908102905b60019390931c9280026144d7565b935093915050565b5f8261452457506001610b83565b8161453057505f610b83565b816001811461454657600281146145505761456c565b6001915050610b83565b60ff84111561456157614561613bc7565b50506001821b610b83565b5060208310610133831016604e8410600b841016171561458f575081810a610b83565b61459b5f1984846144d3565b805f19048211156145ae576145ae613bc7565b029392505050565b5f610bec60ff841683614516565b5f5f858511156145d2575f5ffd5b838611156145de575f5ffd5b5050820193919092039150565b6001600160a01b03841681526040602082018190525f90611ed69083018486613d0f565b608081525f61462260808301888a613d0f565b8281036020840152614634818861363f565b90508281036040840152614649818688613d0f565b915050826060830152979650505050505050565b6001600160801b038181168382160190811115610b8357610b83613bc7565b634e487b7160e01b5f52601260045260245ffd5b5f602082840312156146a0575f5ffd5b8151610bec81613cb5565b8082028115828204841417610b8357610b83613bc7565b601f82111561207e57805f5260205f20601f840160051c810160208510156146e75750805b601f840160051c820191505b81811015611838575f81556001016146f3565b81516001600160401b0381111561471f5761471f613914565b6147338161472d8454613c18565b846146c2565b6020601f821160018114614765575f831561474e5750848201515b5f19600385901b1c1916600184901b178455611838565b5f84815260208120601f198516915b828110156147945787850151825560209485019460019092019101614774565b50848210156147b157868401515f19600387901b60f8161c191681555b50505050600190811b01905550565b634e487b7160e01b5f52602160045260245ffd5b5f60ff8316806147f257634e487b7160e01b5f52601260045260245ffd5b8060ff8416069150509291505056fef3177357ab46d8af007ab3fdb9af81da189e1068fefdc0073dca88a2cab40a0052c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace00b529568951eb52d8d5859ca4e4dcbfc3265b8babf3bd7f734c26170cb2a6dc00360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbcb529568951eb52d8d5859ca4e4dcbfc3265b8babf3bd7f734c26170cb2a6dc010773e532dfede91f04b12a73d3d2acd361424f41f76b4fb79f090161e36b4e00a2646970667358221220b5a84af23aaaa70c12705df78d2d5c7a43038e49b402a4cc5d3b4a6a3debb4a264736f6c634300081e0033000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc200000000000000000000000091e677b07f7af907ec9a428aafa9fc14a0d3a33800000000000000000000000000000000219ab540356cbb839cbe05303d7705fa00000000000000000000000039053d51b77dc0d36036fc1fcc8cb819df8ef37a000000000000000000000000a766b79c25a8ab4354bf2351c6716baced48ea36