LevvaVault | Arbitrum

codeslaw

LevvaVaultSolidityv0.8.28+commit.7893614a

network

Arbitrum

address0x82aa9e3c45b22106dde6f5d93cf62220248c0bec

deployer0xAD70a0ab951780fF3397882fc5372db83dEb0606

tx last 12 months

0 txs

calls last 12 months

114 calls

41 Files

contracts

LevvaVault.sol

WithdrawalQueue.sol

base

AdapterActionExecutor.sol

FeeCollector.sol

MultiAssetVaultBase.sol

OraclePriceProvider.sol

VaultAccessControl.sol

WithdrawalQueueBase.sol

interfaces

IAdapter.sol

IAdapterCallback.sol

IEulerPriceOracle.sol

IExternalPositionAdapter.sol

libraries

Asserts.sol

lib

openzeppelin-contracts

contracts

interfaces

IERC1363.sol

IERC165.sol

IERC20.sol

IERC4626.sol

draft-IERC6093.sol

token

ERC20

IERC20.sol

extensions

IERC20Metadata.sol

utils

SafeERC20.sol

ERC721

IERC721.sol

IERC721Receiver.sol

extensions

IERC721Metadata.sol

utils

ERC721Utils.sol

utils

Address.sol

Errors.sol

Panic.sol

Strings.sol

introspection

IERC165.sol

math

Math.sol

SafeCast.sol

SignedMath.sol

openzeppelin-contracts-upgradeable

contracts

access

Ownable2StepUpgradeable.sol

OwnableUpgradeable.sol

proxy

utils

Initializable.sol

token

ERC20

ERC20Upgradeable.sol

extensions

ERC4626Upgradeable.sol

ERC721

ERC721Upgradeable.sol

utils

ContextUpgradeable.sol

introspection

ERC165Upgradeable.sol

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

abi

constructor

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)

externalPositionAdapterPosition

view

function externalPositionAdapterPosition(address adapter) view returns (uint256)

getAdapter

view

function getAdapter(bytes4 adapterId) view returns (address)

getFeeCollectorStorage

pure

function getFeeCollectorStorage() pure returns (tuple)

isVaultManager

view

function isVaultManager(address manager) view returns (bool)

maxDeposit

view

function maxDeposit(address) view returns (uint256)

maxExternalPositionAdapters

view

function maxExternalPositionAdapters() view returns (uint24)

maxMint

view

function maxMint(address) view returns (uint256)

maxRedeem

view

function maxRedeem(address owner) view returns (uint256)

maxSlippage

view

function maxSlippage() view returns (uint24)

maxTrackedAssets

view

function maxTrackedAssets() view returns (uint8)

maxWithdraw

view

function maxWithdraw(address owner) view returns (uint256)

minimalDeposit

view

function minimalDeposit() view returns (uint256)

name

view

function name() view returns (string)

oracle

view

function oracle() view returns (address)

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)

renounceOwnership

pure

function renounceOwnership() pure

symbol

view

function symbol() view returns (string)

totalAssets

view

function totalAssets() view returns (uint256)

totalSupply

view

function totalSupply() view returns (uint256)

trackedAssetPosition

view

function trackedAssetPosition(address trackedAsset) view returns (uint256)

trackedAssetsCount

view

function trackedAssetsCount() view returns (uint256)

withdrawalQueue

view

function withdrawalQueue() view returns (address)

acceptOwnership

nonpayable

function acceptOwnership()

adapterCallback

nonpayable

function adapterCallback(address receiver, address token, uint256 amount)

addAdapter

nonpayable

function addAdapter(address adapter)

addTrackedAsset

nonpayable

function addTrackedAsset(address newTrackedAsset)

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)

executeAdapterAction

nonpayable

function executeAdapterAction(tuple[] actionArgs)

initialize

nonpayable

function initialize(address owner, address asset, string lpName, string lpSymbol, address feeCollector, address eulerOracle, address withdrawalQueue)

mint

nonpayable

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

redeem

nonpayable

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

removeAdapter

nonpayable

function removeAdapter(address adapter)

removeTrackedAsset

nonpayable

function removeTrackedAsset(address trackedAsset)

requestRedeem

nonpayable

function requestRedeem(uint256 shares) returns (uint256 requestId)

requestWithdrawal

nonpayable

function requestWithdrawal(uint256 assets) returns (uint256 requestId)

setFeeCollector

nonpayable

function setFeeCollector(address newFeeCollector)

setManagementFeeIR

nonpayable

function setManagementFeeIR(uint48 newManagementFeeIR)

setMaxExternalPositionAdapters

nonpayable

function setMaxExternalPositionAdapters(uint8 _maxExternalPositionAdapters)

setMaxSlippage

nonpayable

function setMaxSlippage(uint24 _maxSlippage)

setMaxTrackedAssets

nonpayable

function setMaxTrackedAssets(uint8 _maxTrackedAssets)

setMinimalDeposit

nonpayable

function setMinimalDeposit(uint256 minDeposit)

setOracle

nonpayable

function setOracle(address eulerOracle)

setPerformanceFeeRatio

nonpayable

function setPerformanceFeeRatio(uint48 newPerformanceFeeRatio)

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)

withdraw

nonpayable

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

events

AdapterActionExecuted

event AdapterActionExecuted(bytes4 indexed adapterId, bytes data, bytes result)

AdapterRemoved

event AdapterRemoved(bytes4 indexed adapterId)

Approval

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

Deposit

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

ExternalPositionAdapterRemoved

event ExternalPositionAdapterRemoved(address indexed adapter, uint256 indexed position, address indexed replacement)

FeeCollectorSet

event FeeCollectorSet(address indexed newFeeCollector)

Initialized

event Initialized(uint64 version)

ManagementFeeIRSet

event ManagementFeeIRSet(uint48 newManagementFeeIR)

MaxExternalPositionAdapterSet

event MaxExternalPositionAdapterSet(uint8 maxExternalPositionAdapters)

MaxSlippageSet

event MaxSlippageSet(uint24 maxSlippage)

MaxTrackedAssetsSet

event MaxTrackedAssetsSet(uint8 maxTrackedAssets)

MinimalDepositSet

event MinimalDepositSet(uint256 minDeposit)

NewAdapterAdded

event NewAdapterAdded(bytes4 indexed adapterId, address indexed adapter)

NewExternalPositionAdapterAdded

event NewExternalPositionAdapterAdded(address indexed adapter, uint256 indexed position)

NewTrackedAssetAdded

event NewTrackedAssetAdded(address indexed newTrackedAsset, uint256 indexed position)

OracleSet

event OracleSet(address indexed oracle)

OwnershipTransferred

event OwnershipTransferred(address indexed previousOwner, address indexed newOwner)

OwnershipTransferStarted

event OwnershipTransferStarted(address indexed previousOwner, address indexed newOwner)

PerformanceFeeRatioSet

event PerformanceFeeRatioSet(uint48 newPerformanceFeeRatio)

QueueSet

event QueueSet(address indexed queue)

TrackedAssetRemoved

event TrackedAssetRemoved(address indexed trackedAssetRemoved, uint256 indexed position, address indexed replacement)

Transfer

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

VaultManagerSet

event VaultManagerSet(address indexed manager, bool added)

Withdraw

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

errors

AdapterAlreadyExists

error AdapterAlreadyExists(address adapter)

AddressEmptyCode

error AddressEmptyCode(address target)

AlreadyTracked

error AlreadyTracked(uint256 index)

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)

ExceedsAdapterLimit

error ExceedsAdapterLimit()

ExceedsTrackedAssetsLimit

error ExceedsTrackedAssetsLimit()

FailedCall

error FailedCall()

Forbidden

error Forbidden()

InsufficientBalance

error InsufficientBalance(uint256 balance, uint256 needed)

InvalidInitialization

error InvalidInitialization()

LessThanMinDeposit

error LessThanMinDeposit(uint256 minDeposit)

NoAccess

error NoAccess(address sender)

NotInitializing

error NotInitializing()

NotTrackedAsset

error NotTrackedAsset()

NotZeroBalance

error NotZeroBalance(uint256 balance)

OracleNotExist

error OracleNotExist(address base, address quote)

OwnableInvalidOwner

error OwnableInvalidOwner(address owner)

OwnableUnauthorizedAccount

error OwnableUnauthorizedAccount(address account)

SafeERC20FailedOperation

error SafeERC20FailedOperation(address token)

SameValue

error SameValue()

TooMuchSlippage

error TooMuchSlippage(uint256 totalAssetsBefore, uint256 totalAssetsAfter)

UnknownAdapter

error UnknownAdapter(bytes4 adapterId)

UnknownExternalPositionAdapter

error UnknownExternalPositionAdapter()

WrongAddress

error WrongAddress()

WrongSlippageValue

error WrongSlippageValue(uint256 actionIndex)

WrongValue

error WrongValue()

ZeroAddress

error ZeroAddress()

ZeroAmount

error ZeroAmount()

bytecode

creation bytecode

0x6080806040523460aa575f516020615e075f395f51905f525460ff8160401c16609b576002600160401b03196001600160401b038216016049575b604051615d5890816100af8239f35b6001600160401b0319166001600160401b039081175f516020615e075f395f51905f525581527fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d290602090a15f80603a565b63f92ee8a960e01b5f5260045ffd5b5f80fdfe60806040526004361015610011575f80fd5b5f3560e01c806301e1d114146140c857806304f5d1e214613fbc57806306fdde0314613ebb57806307a2d13a146132f7578063095ea7b314613d955780630a28a47714613d215780630f65092314613c1357806310ae69aa14613bb657806318160ddd14613b5c57806319eacfeb14613a8257806322899b8b146136f657806323b872dd146136d4578063260599d014613655578063313ce5671461361257806333e75d481461351057806336486665146133dc57806337d5fe991461336c57806338d52e0f146132fc578063402d267d1461063c5780634cdad506146132f75780634e380ab4146131e85780634ef0762e14612e83578063553be482146123f0578063585cd34b14611f9f57806360d54d4114611b41578063676a553e14611ab45780636e553f6514611a1d5780636fe4d97a146119c357806370a08231146104f257806370fbf134146115bc578063715018a614611566578063755badd0146114de57806379ba50971461143b5780637adbf973146113405780637dc0d1d0146112d057806385a192f6146111bd57806389c126f3146110b25780638c04166f146110535780638da5cb5b14610fe35780638ec16b1c14610f3c57806394bf804d14610ec057806395d89b4114610d645780639ee679e814610c3a578063a42dce8014610b06578063a9059cbb14610ab7578063aa2f892d146108fe578063ac246aa01461089e578063ac64ae7714610844578063acbbbfea1461076a578063b3d7f6b9146106f6578063b460af941461069c578063ba08765214610641578063c63d75b61461063c578063c6e6f592146103cc578063ce96cb771461057a578063d905777e146104f2578063dd62ed3e14610441578063e30c3978146103d1578063ef8b30f7146103cc5763f2fde38b146102ad575f80fd5b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c85773ffffffffffffffffffffffffffffffffffffffff6102f9614100565b610301614ba2565b16807fffffffffffffffffffffffff00000000000000000000000000000000000000007f237e158222e3e6968b72b9db0d8043aacf074ad9f650f0d1606b4d82ee432c005416177f237e158222e3e6968b72b9db0d8043aacf074ad9f650f0d1606b4d82ee432c005573ffffffffffffffffffffffffffffffffffffffff7f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c19930054167f38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e227005f80a3005b5f80fd5b614389565b346103c8575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857602073ffffffffffffffffffffffffffffffffffffffff7f237e158222e3e6968b72b9db0d8043aacf074ad9f650f0d1606b4d82ee432c005416604051908152f35b346103c85760407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857610478614100565b73ffffffffffffffffffffffffffffffffffffffff6104dc610498614123565b9273ffffffffffffffffffffffffffffffffffffffff165f527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0160205260405f2090565b91165f52602052602060405f2054604051908152f35b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857602061057261052e614100565b73ffffffffffffffffffffffffffffffffffffffff165f527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0060205260405f205490565b604051908152f35b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c85773ffffffffffffffffffffffffffffffffffffffff6105c6614100565b165f527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace00602052602061057260405f20546105ff6144ef565b6106367f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace025461062e818461591a565b5050906151a7565b91615479565b614287565b346103c857602061057261065436614317565b92919061065f6154bd565b61069361066a6150c4565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace02549084615479565b938491336154fd565b346103c85760206105726106af36614317565b92916106b96154bd565b6106ed6106c46150c4565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace025490836151b4565b938492336154fd565b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c85760206105726107326144ef565b6107617f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace025461062e818461591a565b90600435615455565b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c8576004356107a4614ba2565b7fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf0054811461081c576020817f0197635964be9075ed30a004ee552ea2507f986167b10af3787304938cb44046927fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf0055604051908152a1005b7fc23f6ccb000000000000000000000000000000000000000000000000000000005f5260045ffd5b346103c8575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c85760207fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf0254604051908152f35b346103c8575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857602060ff7ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac1005460181c16604051908152f35b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c8576004358015610a8f57335f9081527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace006020526040902054808211610a5c575f6020610a028461097a6150c4565b5073ffffffffffffffffffffffffffffffffffffffff7f02eb9da8ea38b41b4650ef2b85e08be861a787c9657df49bae75bf68e905cf005416906109bf818333614e90565b6040517f21739779000000000000000000000000000000000000000000000000000000008152600481019190915233602482015293849283919082906044820190565b03925af18015610a51575f90610a1e575b602090604051908152f35b506020813d602011610a49575b81610a3860209383614834565b810103126103c85760209051610a13565b3d9150610a2b565b6040513d5f823e3d90fd5b907fb94abeec000000000000000000000000000000000000000000000000000000005f523360045260245260445260645ffd5b7f1f2a2005000000000000000000000000000000000000000000000000000000005f5260045ffd5b346103c85760407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857610afb610af1614100565b6024359033614e90565b602060405160018152f35b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c85773ffffffffffffffffffffffffffffffffffffffff610b52614100565b610b5a614ba2565b610b6381614be2565b610b90827fed076c0c5f8dad10a45b5b79a69577043806b13b8bb0f0312131865a10c0770254168261549c565b610c138173ffffffffffffffffffffffffffffffffffffffff167fffffffffffffffffffffffff00000000000000000000000000000000000000007fed076c0c5f8dad10a45b5b79a69577043806b13b8bb0f0312131865a10c077025416177fed076c0c5f8dad10a45b5b79a69577043806b13b8bb0f0312131865a10c0770255565b167f12e1d17016b94668449f97876f4a8d5cc2c19f314db337418894734037cc19d45f80a2005b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857600435610c746150c4565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace025490335f527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace00602052610ccd828260405f2054615479565b92838111610d3057610cdf93506151b4565b8015610a8f576020610a025f9273ffffffffffffffffffffffffffffffffffffffff7f02eb9da8ea38b41b4650ef2b85e08be861a787c9657df49bae75bf68e905cf005416906109bf818333614e90565b83907ffe9cceec000000000000000000000000000000000000000000000000000000005f523360045260245260445260645ffd5b346103c8575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c8576040515f7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0454610dc1816147c7565b8084529060018116908115610e7e5750600114610e01575b610dfd83610de981850382614834565b604051918291602083526020830190614146565b0390f35b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace045f9081527f46a2803e59a4de4e7a4c574b1243f25977ac4c77d5a1a4a609b5394cebb4a2aa939250905b808210610e6457509091508101602001610de9610dd9565b919260018160209254838588010152019101909291610e4c565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff001660208086019190915291151560051b84019091019150610de99050610dd9565b346103c85760407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c8576020600435610572610eff614123565b91610f34610f0b6150c4565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace02549083615455565b8093336151d7565b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c8576004357fffffffff0000000000000000000000000000000000000000000000000000000081168091036103c8575f527ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac101602052602073ffffffffffffffffffffffffffffffffffffffff60405f205416604051908152f35b346103c8575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857602073ffffffffffffffffffffffffffffffffffffffff7f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c1993005416604051908152f35b346103c8575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857602062ffffff7ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac1005416604051908152f35b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c85760043565ffffffffffff8116908181036103c8576110fd614ba2565b7fed076c0c5f8dad10a45b5b79a69577043806b13b8bb0f0312131865a10c0770254918260d01c811461081c577f8a36e6dcd5d1e60971629c7d720514641a81e1f8931541d03f44fd6f822914929279ffffffffffffffffffffffffffffffffffffffffffffffffffff7fffffffffffff000000000000000000000000000000000000000000000000000060209460d01b169116177fed076c0c5f8dad10a45b5b79a69577043806b13b8bb0f0312131865a10c0770255604051908152a1005b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c85760043565ffffffffffff8116908181036103c857611208614ba2565b7fed076c0c5f8dad10a45b5b79a69577043806b13b8bb0f0312131865a10c07702549165ffffffffffff8360a01c16811461081c577f68de06997c052c95ccca214435923150597a969801ccc58914eeecae80ebc12d927fffffffffffff000000000000ffffffffffffffffffffffffffffffffffffffff79ffffffffffff000000000000000000000000000000000000000060209460a01b169116177fed076c0c5f8dad10a45b5b79a69577043806b13b8bb0f0312131865a10c0770255604051908152a1005b346103c8575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857602073ffffffffffffffffffffffffffffffffffffffff7f915411155a1c14a9e152cb55b4d59555a72a2626bf44e042bd6db07323e1cc005416604051908152f35b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c8577fffffffffffffffffffffffff0000000000000000000000000000000000000000611398614100565b6113a0614ba2565b6113a981614be2565b73ffffffffffffffffffffffffffffffffffffffff7f915411155a1c14a9e152cb55b4d59555a72a2626bf44e042bd6db07323e1cc0054916113ed8284168261549c565b1691829116177f915411155a1c14a9e152cb55b4d59555a72a2626bf44e042bd6db07323e1cc00557f3f32684a32a11dabdbb8c0177de80aa3ae36a004d75210335b49e544e48cd0aa5f80a2005b346103c8575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c8573373ffffffffffffffffffffffffffffffffffffffff7f237e158222e3e6968b72b9db0d8043aacf074ad9f650f0d1606b4d82ee432c005416036114b2576114b033615346565b005b7f118cdaa7000000000000000000000000000000000000000000000000000000005f523360045260245ffd5b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857602061155d61151a614100565b73ffffffffffffffffffffffffffffffffffffffff165f527fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf0360205260405f2090565b54604051908152f35b346103c8575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c8577fee90c468000000000000000000000000000000000000000000000000000000005f5260045ffd5b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c8576115f3614100565b6115fb614ba2565b6116428173ffffffffffffffffffffffffffffffffffffffff165f527fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf0360205260405f2090565b54801561199b5773ffffffffffffffffffffffffffffffffffffffff8216916040517f70a08231000000000000000000000000000000000000000000000000000000008152306004820152602081602481875afa908115610a51575f91611969575b508061193e57505f7fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf025480840361180d575b507fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf02549182156117e0576117b75f917fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff73ffffffffffffffffffffffffffffffffffffffff950161174681614416565b8782549160031b1b191690557fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf025573ffffffffffffffffffffffffffffffffffffffff165f527fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf0360205260405f2090565b5516917f09f4e8a5c61f939e742608201f8c673997c6d6e7a1ced39df4d823a9fafbccbc5f80a4005b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603160045260245ffd5b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8101915081116119115761185673ffffffffffffffffffffffffffffffffffffffff91614416565b90549060031b1c167fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8301838111611911576118c06118958392614416565b819391549073ffffffffffffffffffffffffffffffffffffffff809160031b9316831b921b19161790565b90558261190a8273ffffffffffffffffffffffffffffffffffffffff165f527fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf0360205260405f2090565b55846116d6565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b7f96e75004000000000000000000000000000000000000000000000000000000005f5260045260245ffd5b90506020813d602011611993575b8161198460209383614834565b810103126103c85751846116a4565b3d9150611977565b7ffb947373000000000000000000000000000000000000000000000000000000005f5260045ffd5b346103c8575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c85760207fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf0054604051908152f35b346103c85760407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857600435611a57614123565b90611a606150c4565b917f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace02549060018201809211611911576001840180941161191157611aab5f6020956105729486615876565b928391336151d7565b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857602060ff611b35611af2614100565b73ffffffffffffffffffffffffffffffffffffffff165f527f02eb9da8ea38b41b4650ef2b85e08be861a787c9657df49bae75bf68e905cf0160205260405f2090565b54166040519015158152f35b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857611b78614100565b611b80614ba2565b73ffffffffffffffffffffffffffffffffffffffff81166040517f01ffc9a70000000000000000000000000000000000000000000000000000000081527f707992cb000000000000000000000000000000000000000000000000000000006004820152602081602481855afa908115610a51575f91611f70575b5015611f48576040517f707992cb000000000000000000000000000000000000000000000000000000008152602081600481855afa8015610a51577fffffffff00000000000000000000000000000000000000000000000000000000915f91611f19575b501691825f527ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac10160205273ffffffffffffffffffffffffffffffffffffffff60405f205416611eac578183611d2993945f527ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac10160205260405f20827fffffffffffffffffffffffff00000000000000000000000000000000000000008254161790557fe010d4607c87be74896018a7c6ba230e02532b986ba2ee27c1c2174653d68bf05f80a361502a565b611d2f57005b7ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac1025460ff7ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac1005460181c168114611e845768010000000000000000811015611e5757611dc36118958260018594017ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac10255614499565b90557ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac102549081611e308273ffffffffffffffffffffffffffffffffffffffff165f527ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac10360205260405f2090565b557f9149fbd90a70a503766fdffee554ee6764d21df8a33e4c0542a077417a7ce4ec5f80a3005b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f848adcd0000000000000000000000000000000000000000000000000000000005f5260045ffd5b825f527ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac10160205273ffffffffffffffffffffffffffffffffffffffff60405f2054167ffa48072d000000000000000000000000000000000000000000000000000000005f5260045260245ffd5b611f3b915060203d602011611f41575b611f338183614834565b810190614875565b84611c5e565b503d611f29565b7f1a479e82000000000000000000000000000000000000000000000000000000005f5260045ffd5b611f92915060203d602011611f98575b611f8a8183614834565b810190615012565b83611bfa565b503d611f80565b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857611fd6614100565b611fde614ba2565b73ffffffffffffffffffffffffffffffffffffffff8116906040517f707992cb000000000000000000000000000000000000000000000000000000008152602081600481865afa8015610a51577fffffffff00000000000000000000000000000000000000000000000000000000915f916123d1575b5016805f527ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac10160205273ffffffffffffffffffffffffffffffffffffffff60405f205416156123a657805f527ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac10160205260405f207fffffffffffffffffffffffff000000000000000000000000000000000000000081541690557fc88d2df5bb1c161926d40aac48adb808b76b1ac6d094531418059794229e81df5f80a261211b8161502a565b61212157005b6121688173ffffffffffffffffffffffffffffffffffffffff165f527ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac10360205260405f2090565b5490811561237e575f7ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac102548084036122a5575b507ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac102549182156117e05761227c5f917fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff73ffffffffffffffffffffffffffffffffffffffff950161220b81614499565b8782549160031b1b191690557ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac1025573ffffffffffffffffffffffffffffffffffffffff165f527ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac10360205260405f2090565b5516917fb5e0665cbb7db63e2a8524ed2e54df2a15cd46c00abccde820882abce3f774f05f80a4005b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff810191508111611911576122ee73ffffffffffffffffffffffffffffffffffffffff91614499565b90549060031b1c167fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff83018381116119115761232d6118958392614499565b9055826123778273ffffffffffffffffffffffffffffffffffffffff165f527ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac10360205260405f2090565b558461219b565b7f1f3b96b9000000000000000000000000000000000000000000000000000000005f5260045ffd5b7f6989f499000000000000000000000000000000000000000000000000000000005f5260045260245ffd5b6123ea915060203d602011611f4157611f338183614834565b84612054565b346103c85760e07ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857612427614100565b61242f614123565b9060443567ffffffffffffffff81116103c8576124509036906004016142e9565b91909260643567ffffffffffffffff81116103c8576124739036906004016142e9565b90916084359273ffffffffffffffffffffffffffffffffffffffff841684036103c85760a4359473ffffffffffffffffffffffffffffffffffffffff8616978887036103c85760c4359773ffffffffffffffffffffffffffffffffffffffff891692838a036103c8577ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a005460ff8160401c16159a67ffffffffffffffff821680159081612e7b575b6001149081612e71575b159081612e68575b50612e4057818c60017fffffffffffffffffffffffffffffffffffffffffffffffff00000000000000006125929516177ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a0055612deb575b5061258d61581f565b614be2565b61259b81614be2565b6125a361581f565b6125ab61581f565b73ffffffffffffffffffffffffffffffffffffffff811615612dbf5761271095612708946125ed73ffffffffffffffffffffffffffffffffffffffff93615346565b7fffffffffffffffffffffffff00000000000000000000000000000000000000007f02eb9da8ea38b41b4650ef2b85e08be861a787c9657df49bae75bf68e905cf005416177f02eb9da8ea38b41b4650ef2b85e08be861a787c9657df49bae75bf68e905cf00551661265d61581f565b61266561581f565b61266d61581f565b61267681615c7d565b9015612db7575b7fffffffffffffffffffffff00000000000000000000000000000000000000000074ff00000000000000000000000000000000000000007f0773e532dfede91f04b12a73d3d2acd361424f41f76b4fb79f090161e36b4e00549260a01b16911617177f0773e532dfede91f04b12a73d3d2acd361424f41f76b4fb79f090161e36b4e005536916148e7565b9236916148e7565b9061271961581f565b61272161581f565b80519067ffffffffffffffff8211611e5757819061275f7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace03546147c7565b601f8111612d2a575b50602090601f8311600114612c4b575f92612c40575b50507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8260011b9260031b1c1916177f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace03555b80519067ffffffffffffffff8211611e575761280c7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace04546147c7565b601f8111612bbe575b50602090601f8311600114612ada576129379392915f9183612acf575b50507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8260011b9260031b1c1916177f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace04555b61288c61581f565b61289581614be2565b427fed076c0c5f8dad10a45b5b79a69577043806b13b8bb0f0312131865a10c077005573ffffffffffffffffffffffffffffffffffffffff167fffffffffffffffffffffffff00000000000000000000000000000000000000007fed076c0c5f8dad10a45b5b79a69577043806b13b8bb0f0312131865a10c077025416177fed076c0c5f8dad10a45b5b79a69577043806b13b8bb0f0312131865a10c0770255565b61295260018061294d612948614930565b615196565b615bbf565b7fed076c0c5f8dad10a45b5b79a69577043806b13b8bb0f0312131865a10c077015582907fffffffffffffffffffffffff0000000000000000000000000000000000000000906129a061581f565b6129a981614be2565b6129ec7f915411155a1c14a9e152cb55b4d59555a72a2626bf44e042bd6db07323e1cc00549173ffffffffffffffffffffffffffffffffffffffff83169061549c565b16177f915411155a1c14a9e152cb55b4d59555a72a2626bf44e042bd6db07323e1cc0055604051917f3f32684a32a11dabdbb8c0177de80aa3ae36a004d75210335b49e544e48cd0aa5f80a2612a3e57005b60207fc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2917fffffffffffffffffffffffffffffffffffffffffffffff00ffffffffffffffff7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a0054167ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a005560018152a1005b015190508780612832565b907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe08316917f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace045f52815f20925f5b818110612ba6575091600193918561293797969410612b6f575b505050811b017f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0455612884565b01517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60f88460031b161c19169055878080612b42565b92936020600181928786015181550195019301612b28565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace045f527f46a2803e59a4de4e7a4c574b1243f25977ac4c77d5a1a4a609b5394cebb4a2aa601f840160051c81019160208510612c36575b601f0160051c01905b818110612c2b5750612815565b5f8155600101612c1e565b9091508190612c15565b01519050878061277e565b917fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016917f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace035f52815f20925f5b818110612d125750908460019594939210612cdb575b505050811b017f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace03556127d0565b01517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff60f88460031b161c19169055878080612cae565b92936020600181928786015181550195019301612c98565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace035f529091507f2ae08a8e29253f69ac5d979a101956ab8f8d9d7ded63fa7a83b16fc47648eab0601f840160051c81019160208510612dad575b90601f859493920160051c01905b818110612d9f5750612768565b5f8155849350600101612d92565b9091508190612d84565b50601261267d565b7f1e4fbdf7000000000000000000000000000000000000000000000000000000005f525f60045260245ffd5b7fffffffffffffffffffffffffffffffffffffffffffffff0000000000000000001668010000000000000001177ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00558d612584565b7ff92ee8a9000000000000000000000000000000000000000000000000000000005f5260045ffd5b9050158e61252d565b303b159150612525565b8d915061251b565b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857612eba614100565b612ec2614ba2565b612ecb81614be2565b7fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf02549060ff7fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf01541682146131c057612f608173ffffffffffffffffffffffffffffffffffffffff165f527fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf0360205260405f2090565b5461314d5773ffffffffffffffffffffffffffffffffffffffff7f0773e532dfede91f04b12a73d3d2acd361424f41f76b4fb79f090161e36b4e00541673ffffffffffffffffffffffffffffffffffffffff7f915411155a1c14a9e152cb55b4d59555a72a2626bf44e042bd6db07323e1cc0054168282612feb8183612fe581615783565b866149fd565b159283613130575b5050506130eb575073ffffffffffffffffffffffffffffffffffffffff81169068010000000000000000831015611e57578161305a6118958560016130c497017fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf0255614416565b90557fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf025492839173ffffffffffffffffffffffffffffffffffffffff165f527fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf0360205260405f2090565b557f5bf90512032b31face99172fdd0ff713670f739af77c985910b93039bf3839fb5f80a3005b73ffffffffffffffffffffffffffffffffffffffff827f42c71754000000000000000000000000000000000000000000000000000000005f521660045260245260445ffd5b613144935061313e82615783565b906149fd565b15828286612ff3565b6131949073ffffffffffffffffffffffffffffffffffffffff165f527fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf0360205260405f2090565b547f5cdc508a000000000000000000000000000000000000000000000000000000005f5260045260245ffd5b7fc2c68c60000000000000000000000000000000000000000000000000000000005f5260045ffd5b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c85760043562ffffff81168091036103c85761322f614ba2565b620f42408110156132cf576020817fdd57d8d1fbee36c2d6d46d5cdcc7b90ad51be63639fe4142d11c12a0170241a8927fffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0000007ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac1005416177ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac10055604051908152a1005b7f98d4901c000000000000000000000000000000000000000000000000000000005f5260045ffd5b614189565b346103c8575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857602073ffffffffffffffffffffffffffffffffffffffff7f0773e532dfede91f04b12a73d3d2acd361424f41f76b4fb79f090161e36b4e005416604051908152f35b346103c8575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857602073ffffffffffffffffffffffffffffffffffffffff7f02eb9da8ea38b41b4650ef2b85e08be861a787c9657df49bae75bf68e905cf005416604051908152f35b346103c8575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c8575f608060405161341981614818565b828152826020820152826040820152826060820152015260a060405161343e81614818565b65ffffffffffff7fed076c0c5f8dad10a45b5b79a69577043806b13b8bb0f0312131865a10c077005491828152817fed076c0c5f8dad10a45b5b79a69577043806b13b8bb0f0312131865a10c0770154916020810192835273ffffffffffffffffffffffffffffffffffffffff7fed076c0c5f8dad10a45b5b79a69577043806b13b8bb0f0312131865a10c077025493604083019082861682526080606085019486888c1c168652019560d01c8652604051978852516020880152511660408601525116606084015251166080820152f35b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c85760043560ff81168091036103c857613555614ba2565b7fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf025481106132cf576020817f4d4bb3f72d59781210091ea60a18a0701d933b8eb618f1665620326ee8638018927fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff007fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf015416177fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf0155604051908152a1005b346103c8575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857602061364a614930565b60ff60405191168152f35b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857602061155d613691614100565b73ffffffffffffffffffffffffffffffffffffffff165f527ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac10360205260405f2090565b346103c857610afb6136e536614215565b916136f1833383614cfa565b614e90565b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c85760043567ffffffffffffffff81116103c857366023820112156103c85780600401359067ffffffffffffffff82116103c8573660248360051b830101116103c85760ff6137af3373ffffffffffffffffffffffffffffffffffffffff165f527f02eb9da8ea38b41b4650ef2b85e08be861a787c9657df49bae75bf68e905cf0160205260405f2090565b541615613a5657906137bf6144ef565b9162ffffff7ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac1005416925f91620f4240917fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff7d82360301925b858510156139f65760248560051b84010135848112156103c85783019460607fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffdc87360301126103c8576040516060810181811067ffffffffffffffff821117611e575760405260248701357fffffffff00000000000000000000000000000000000000000000000000000000811681036103c857815260448701359662ffffff881688036103c85760208201978852606481013567ffffffffffffffff81116103c857602491010136601f820112156103c8576138fa9036906020813591016148e7565b90604081019182528962ffffff895116116139ca576001620f4240949362ffffff937ff830f7c89a269d86acf0d9c2d88a0241ad7376cab0d5f66243b511d8f25b1de76139ab856139b97fffffffff00000000000000000000000000000000000000000000000000000000613991613975828c9b5116614c27565b5f80895160208151910182855af161398b615754565b91615a5e565b925116945191604051938493604085526040850190614146565b908382036020850152614146565b0390a2019751168303160204613816565b827f477c8d1c000000000000000000000000000000000000000000000000000000005f5260045260245ffd5b906139ff6144ef565b91620f4240830290838204620f4240148415171561191157613a21908361491d565b11613a2857005b7f42e0f17d000000000000000000000000000000000000000000000000000000005f5260045260245260445ffd5b7f60dba35c000000000000000000000000000000000000000000000000000000005f523360045260245ffd5b346103c857613a9036614215565b90916040517f707992cb000000000000000000000000000000000000000000000000000000008152602081600481335afa908115610a515773ffffffffffffffffffffffffffffffffffffffff91613aef915f91613b3d575b50614c27565b163303613b155773ffffffffffffffffffffffffffffffffffffffff6114b09316614c96565b7fee90c468000000000000000000000000000000000000000000000000000000005f5260045ffd5b613b56915060203d602011611f4157611f338183614834565b86613ae9565b346103c8575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c85760207f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0254604051908152f35b346103c8575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857602060ff7fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf015416604051908152f35b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c85760043560ff8116908181036103c857613c59614ba2565b7ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac1025482106132cf577fea634c1888ae5fc72ebb3ce6846187a750d44cb4be5fa2fca07ae941bc051ca4916020917fffffffffffffffffffffffffffffffffffffffffffffffffffffffff00ffffff63ff0000007ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac100549260181b169116177ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac10055604051908152a1005b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c8576020610572613d5d6144ef565b613d8c7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace025461062e818461591a565b906004356151b4565b346103c85760407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857613dcc614100565b602435903315613e8f5773ffffffffffffffffffffffffffffffffffffffff16908115613e6357335f9081527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0160205260409020825f526020528060405f20556040519081527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92560203392a3602060405160018152f35b7f94280d62000000000000000000000000000000000000000000000000000000005f525f60045260245ffd5b7fe602df05000000000000000000000000000000000000000000000000000000005f525f60045260245ffd5b346103c8575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c8576040515f7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0354613f18816147c7565b8084529060018116908115610e7e5750600114613f3f57610dfd83610de981850382614834565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace035f9081527f2ae08a8e29253f69ac5d979a101956ab8f8d9d7ded63fa7a83b16fc47648eab0939250905b808210613fa257509091508101602001610de9610dd9565b919260018160209254838588010152019101909291613f8a565b346103c85760407ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c857613ff3614100565b602435908115158092036103c857602073ffffffffffffffffffffffffffffffffffffffff7f409f6c907ebb200fe684297d20d647dad13c254f95ed78ad8178bd4b122bda9692614042614ba2565b61404b81614be2565b6140928173ffffffffffffffffffffffffffffffffffffffff165f527f02eb9da8ea38b41b4650ef2b85e08be861a787c9657df49bae75bf68e905cf0160205260405f2090565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0081541660ff87161790556040519485521692a2005b346103c8575f7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c85760206105726144ef565b6004359073ffffffffffffffffffffffffffffffffffffffff821682036103c857565b6024359073ffffffffffffffffffffffffffffffffffffffff821682036103c857565b907fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0601f602080948051918291828752018686015e5f8582860101520116010190565b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c8576141c06144ef565b6141ef7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace025461062e818461591a565b600182018092116119115760018101809111611911575f61057291602093600435615876565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc60609101126103c85760043573ffffffffffffffffffffffffffffffffffffffff811681036103c8579060243573ffffffffffffffffffffffffffffffffffffffff811681036103c8579060443590565b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c8576142be614100565b5060206040517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8152f35b9181601f840112156103c85782359167ffffffffffffffff83116103c857602083818601950101116103c857565b7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc60609101126103c8576004359060243573ffffffffffffffffffffffffffffffffffffffff811681036103c8579060443573ffffffffffffffffffffffffffffffffffffffff811681036103c85790565b346103c85760207ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc3601126103c8576143c06144ef565b6143ef7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace025461062e818461591a565b90600182018092116119115760018101809111611911575f61057291602093600435615876565b7fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf025481101561446c577fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf025f5260205f2001905f90565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b7ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac1025481101561446c577ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac1025f5260205f2001905f90565b73ffffffffffffffffffffffffffffffffffffffff7f0773e532dfede91f04b12a73d3d2acd361424f41f76b4fb79f090161e36b4e00541673ffffffffffffffffffffffffffffffffffffffff7f915411155a1c14a9e152cb55b4d59555a72a2626bf44e042bd6db07323e1cc0054169061456981614970565b907fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf02545f5b81811061476f5750507ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac102545f93845b8281106145cc57505050500190565b73ffffffffffffffffffffffffffffffffffffffff6145ea82614499565b90549060031b1c166040517f80daddb80000000000000000000000000000000000000000000000000000000081525f81600481855afa908115610a51575f905f92614752575b509081515f925b81841061470957505050505f600491604051928380927fecd658b40000000000000000000000000000000000000000000000000000000082525afa8015610a51575f915f916146e5575b508151905f925b82841061469b57505050506001016145bd565b909192986001906146d9896146b08887614b8e565b5173ffffffffffffffffffffffffffffffffffffffff6146d08a88614b8e565b5116908a6149fd565b90039901929190614688565b905061470391503d805f833e6146fb8183614834565b810190614a84565b5f614681565b909192996001906147478a61471e8988614b8e565b5173ffffffffffffffffffffffffffffffffffffffff61473e8b88614b8e565b5116908b6149fd565b019a01929190614637565b905061476891503d805f833e6146fb8183614834565b905f614630565b73ffffffffffffffffffffffffffffffffffffffff61478d82614416565b90549060031b1c1661479e81614970565b806147ae575b505060010161458e565b8460019396926147be92896149fd565b0193905f6147a4565b90600182811c9216801561480e575b60208310146147e157565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b91607f16916147d6565b60a0810190811067ffffffffffffffff821117611e5757604052565b90601f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0910116810190811067ffffffffffffffff821117611e5757604052565b908160209103126103c857517fffffffff00000000000000000000000000000000000000000000000000000000811681036103c85790565b67ffffffffffffffff8111611e5757601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01660200190565b9291926148f3826148ad565b916149016040519384614834565b8294818452818301116103c8578281602093845f960137010152565b8181029291811591840414171561191157565b60ff7f0773e532dfede91f04b12a73d3d2acd361424f41f76b4fb79f090161e36b4e005460a01c1660ff81116119115790565b9190820391821161191157565b602073ffffffffffffffffffffffffffffffffffffffff916024604051809481937f70a08231000000000000000000000000000000000000000000000000000000008352306004840152165afa908115610a51575f916149ce575090565b90506020813d6020116149f5575b816149e960209383614834565b810103126103c8575190565b3d91506149dc565b6020929173ffffffffffffffffffffffffffffffffffffffff60649281809760405198899788967fae68676c0000000000000000000000000000000000000000000000000000000088526004880152166024860152166044840152165afa908115610a51575f916149ce575090565b67ffffffffffffffff8111611e575760051b60200190565b91906040838203126103c857825167ffffffffffffffff81116103c857830181601f820112156103c8578051614ab981614a6c565b91614ac76040519384614834565b81835260208084019260051b820101908482116103c857602001915b818310614b61575050509260208101519067ffffffffffffffff82116103c857019080601f830112156103c8578151614b1b81614a6c565b92614b296040519485614834565b81845260208085019260051b8201019283116103c857602001905b828210614b515750505090565b8151815260209182019101614b44565b825173ffffffffffffffffffffffffffffffffffffffff811681036103c857815260209283019201614ae3565b805182101561446c5760209160051b010190565b73ffffffffffffffffffffffffffffffffffffffff7f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c199300541633036114b257565b73ffffffffffffffffffffffffffffffffffffffff1615614bff57565b7fd92e233d000000000000000000000000000000000000000000000000000000005f5260045ffd5b7fffffffff000000000000000000000000000000000000000000000000000000001690815f527ff9cccbf5436106f61f1caece5dd25c1f0610e9c4a481a50defdeba03abcac10160205273ffffffffffffffffffffffffffffffffffffffff60405f2054169182156123a65750565b614cf89273ffffffffffffffffffffffffffffffffffffffff604051937fa9059cbb000000000000000000000000000000000000000000000000000000006020860152166024840152604483015260448252614cf3606483614834565b6156cd565b565b9190614d438373ffffffffffffffffffffffffffffffffffffffff165f527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0160205260405f2090565b73ffffffffffffffffffffffffffffffffffffffff82165f5260205260405f2054927fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8410614d93575b50505050565b828410614e465773ffffffffffffffffffffffffffffffffffffffff811615613e8f5773ffffffffffffffffffffffffffffffffffffffff821615613e6357614e2e73ffffffffffffffffffffffffffffffffffffffff9173ffffffffffffffffffffffffffffffffffffffff165f527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0160205260405f2090565b91165f5260205260405f20910390555f808080614d8d565b5073ffffffffffffffffffffffffffffffffffffffff83917ffb8f41b2000000000000000000000000000000000000000000000000000000005f521660045260245260445260645ffd5b73ffffffffffffffffffffffffffffffffffffffff16908115614fe65773ffffffffffffffffffffffffffffffffffffffff16918215614fba57815f527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0060205260405f2054818110614f8857817fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92602092855f527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0084520360405f2055845f527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace00825260405f20818154019055604051908152a3565b827fe450d38c000000000000000000000000000000000000000000000000000000005f5260045260245260445260645ffd5b7fec442f05000000000000000000000000000000000000000000000000000000005f525f60045260245ffd5b7f96c6fd1e000000000000000000000000000000000000000000000000000000005f525f60045260245ffd5b908160209103126103c8575180151581036103c85790565b602073ffffffffffffffffffffffffffffffffffffffff916024604051809481937f01ffc9a70000000000000000000000000000000000000000000000000000000083527f6c0c850c000000000000000000000000000000000000000000000000000000006004840152165afa908115610a51575f916150a8575090565b6150c1915060203d602011611f9857611f8a8183614834565b90565b6150cc6144ef565b906150f87f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace02548361591a565b9091427fed076c0c5f8dad10a45b5b79a69577043806b13b8bb0f0312131865a10c07700558061514f575b5061512b5750565b7fed076c0c5f8dad10a45b5b79a69577043806b13b8bb0f0312131865a10c0770155565b6151909073ffffffffffffffffffffffffffffffffffffffff7fed076c0c5f8dad10a45b5b79a69577043806b13b8bb0f0312131865a10c077025416615af7565b5f615123565b60ff16604d811161191157600a0a90565b9190820180921161191157565b90600183018093116119115760018101809111611911576150c192600192615876565b91927fb4929dcfd4273b77f5c4c898159c6e34254f398e5914813e7e6f7d3d9f3fbf005480155f146152d45750908315610a8f5773ffffffffffffffffffffffffffffffffffffffff6040917fdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7935b6152bb837f0773e532dfede91f04b12a73d3d2acd361424f41f76b4fb79f090161e36b4e00541696848651917f23b872dd000000000000000000000000000000000000000000000000000000006020840152169788602483015230604483015289606483015260648252614cf3608483614834565b6152c58183615af7565b835196875260208701521693a3565b80851061531b575073ffffffffffffffffffffffffffffffffffffffff7fdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d792604092615246565b7f13fc64f7000000000000000000000000000000000000000000000000000000005f5260045260245ffd5b7fffffffffffffffffffffffff00000000000000000000000000000000000000007f237e158222e3e6968b72b9db0d8043aacf074ad9f650f0d1606b4d82ee432c0054167f237e158222e3e6968b72b9db0d8043aacf074ad9f650f0d1606b4d82ee432c005573ffffffffffffffffffffffffffffffffffffffff807f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c19930054921691827fffffffffffffffffffffffff00000000000000000000000000000000000000008216177f9016d09d72d40fdae2fd8ceac6b6234c7706214fd39c1cd1e609a0528c19930055167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e05f80a3565b9091600183018093116119115760018101809111611911576150c192600192615876565b9091600183018093116119115760018101809111611911576150c1925f92615876565b73ffffffffffffffffffffffffffffffffffffffff90811691161461081c57565b73ffffffffffffffffffffffffffffffffffffffff7f02eb9da8ea38b41b4650ef2b85e08be861a787c9657df49bae75bf68e905cf0054163303613a5657565b919373ffffffffffffffffffffffffffffffffffffffff8516948173ffffffffffffffffffffffffffffffffffffffff8516948786036156bc575b5050508415614fe657845f527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0060205260405f205481811061568a577ffbde797d201c681b91056529119e0b02407c7bb96a4a2c75c01fc9667232c8db928260409373ffffffffffffffffffffffffffffffffffffffff93895f527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0060205203845f2055807f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace0254037f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace02555f887fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60208751858152a361567b8783857f0773e532dfede91f04b12a73d3d2acd361424f41f76b4fb79f090161e36b4e005416614c96565b835196875260208701521693a4565b857fe450d38c000000000000000000000000000000000000000000000000000000005f5260045260245260445260645ffd5b6156c592614cfa565b5f8181615538565b905f602091828151910182855af115610a51575f513d61574b575073ffffffffffffffffffffffffffffffffffffffff81163b155b6157095750565b73ffffffffffffffffffffffffffffffffffffffff907f5274afe7000000000000000000000000000000000000000000000000000000005f521660045260245ffd5b60011415615702565b3d1561577e573d90615765826148ad565b916157736040519384614834565b82523d5f602084013e565b606090565b602073ffffffffffffffffffffffffffffffffffffffff916004604051809481937f313ce567000000000000000000000000000000000000000000000000000000008352165afa8015610a51575f906157e1575b6150c19150615196565b506020813d602011615817575b816157fb60209383614834565b810103126103c8575160ff811681036103c8576150c1906157d7565b3d91506157ee565b60ff7ff0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a005460401c161561584e57565b7fd7e6bcf8000000000000000000000000000000000000000000000000000000005f5260045ffd5b9291615883818386615bbf565b9260048110156158ed5760018091161491826158a9575b50506150c192501515906151a7565b90809250156158c0576150c1930915155f8061589a565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602160045260245ffd5b6159457fed076c0c5f8dad10a45b5b79a69577043806b13b8bb0f0312131865a10c077005442614963565b9161598e651cae8c13e0006159887fed076c0c5f8dad10a45b5b79a69577043806b13b8bb0f0312131865a10c07702549565ffffffffffff8760a01c169061491d565b84615bbf565b615999612948614930565b92600181019182821161191157600184019283851161191157836159bd9187615bbf565b94839086977fed076c0c5f8dad10a45b5b79a69577043806b13b8bb0f0312131865a10c0770154915f92808a11998a615a27575b505050506159ff91926151a7565b93116119115782615a0f91614963565b906001820180921161191157615a2492615bbf565b92565b615a3892939550615a3e9450614963565b87615bbf565b90615a5191620f42409160d01c90615bbf565b83906159ff5f80806159f1565b90615a9b5750805115615a7357602081519101fd5b7fd6bda275000000000000000000000000000000000000000000000000000000005f5260045ffd5b81511580615aee575b615aac575090565b73ffffffffffffffffffffffffffffffffffffffff907f9996b315000000000000000000000000000000000000000000000000000000005f521660045260245ffd5b50803b15615aa4565b73ffffffffffffffffffffffffffffffffffffffff16908115614fba577fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef602082615b645f947f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace02546151a7565b7f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace02558484527f52c63247e1f47db19d5ce0460030c497f067ca4cebf71ba98eeadabe20bace00825260408420818154019055604051908152a3565b90917fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8383099280830292838086109503948086039514615c6f5784831115615c575790829109815f0382168092046002816003021880820260020302808202600203028082026002030280820260020302808202600203028091026002030293600183805f03040190848311900302920304170290565b82634e487b715f52156003026011186020526024601cfd5b5050915081156158c0570490565b5f809160405173ffffffffffffffffffffffffffffffffffffffff60208201917f313ce56700000000000000000000000000000000000000000000000000000000835260048152615ccf602482614834565b5192165afa615cdc615754565b9080615d16575b615cef575b505f905f90565b602081519181808201938492010103126103c8575160ff8111615ce8579060ff6001921690565b50602081511015615ce356fea26469706673582212209e7ba059e9d3351ee8417440f822b1fe0acc2723bdc04f17f683d7aef5b7687d64736f6c634300081c0033f0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00