[{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"3823412142853321939107175097685044638472140939790200171604448182865511555290"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c7","0x00000000000000000000000000000000000000000000000000000000000013a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6d","0x0000000000000000000000000000000000000000000000000000000000000016"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639882"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb21","0x00000000000000000000000000000000000000000000000000000000000003e6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"28639483727665454962459312425998847488840975511899141206803041875375432742689"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065679","0x0000000000000000000000000000000000000000000000000000000000000035"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"18398042208947300800428878055311354793389304317215013659708096293292876899324"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacc","0x000000000000000000000000000000000000000000000000000000000000c234"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1a","0x000000000000000000000000000000000000000000000000000000000000137e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6c","0x0000000000000000000000000000000000000000000000000000000000000075"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639928"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"171"],"tag":"AbiUInt"},{"contents":[256,"8999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a9f7","0x000000000000000000000000000000000000000000000000000000000000b7e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd36","0x00000000000000000000000000000000000000000000000000000000000098d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"41479334706262169717310511667915976038293696685704440559413989821239154685568"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f9df","0x0000000000000000000000000000000000000000000000000000000000007d93"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"8554307790164831932998143512569226108437553950215164409050177551332564622466"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000066408","0x000000000000000000000000000000000000000000000000000000000000005d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":[256,"16696"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639900"],"tag":"AbiUInt"},{"contents":[256,"113982310720043937905580609289882132894635327679285834412944387555719848714330"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e44e","0x00000000000000000000000000000000000000000000000000000000000035d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"16221420748534629706607516067463488747161772313760482894699681425049165093734"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b721","0x00000000000000000000000000000000000000000000000000000000000047fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"38799374542119748735207150580225981923711715284393061846597255029273931267487"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d589","0x00000000000000000000000000000000000000000000000000000000000035d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"88421424939820322964660317665609940915239453762255126623204360664819150688155"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000fe","0x000000000000000000000000000000000000000000000000000000000000185a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"54185383797805974054195885683338457899249780667311498754788320364972182958056"],"tag":"AbiUInt"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003256a","0x000000000000000000000000000000000000000000000000000000000000bd49"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000052","0x0000000000000000000000000000000000000000000000000000000000009e95"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"70"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e4","0x0000000000000000000000000000000000000000000000000000000000009204"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"56418398370209364636335429267351591387996611662081232598488449272549098909424"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008345","0x000000000000000000000000000000000000000000000000000000000000012c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002710","0x000000000000000000000000000000000000000000000000000000000000b44c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd9","0x000000000000000000000000000000000000000000000000000000000000dcbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892766"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75d","0x00000000000000000000000000000000000000000000000000000000000012bb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639938"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055776","0x0000000000000000000000000000000000000000000000000000000000007e51"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000030","0x000000000000000000000000000000000000000000000000000000000000001f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"67293950182534923282307065493281578004464916449675342544247772785790347609582"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000016","0x000000000000000000000000000000000000000000000000000000000000b44a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"\"\\EOTN\\199\\255jC\\186I\"","tag":"AbiString"},{"contents":"\"maxWithdrawesSharAsm!=  axRedeem\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"48985535079868524582735488276177777863499058655481508669752782412108794508164"],"tag":"AbiUInt"},{"contents":[256,"108880679550062072994038008389558690579310904485470633539614007396469545141199"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"70"],"tag":"AbiUInt"},{"contents":[256,"47482562372444729299"],"tag":"AbiUInt"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000e","0x00000000000000000000000000000000000000000000000000000000000012b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065679","0x000000000000000000000000000000000000000000000000000000000000ea3a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"29895380371244318522808349776398709171822597380307707486787475532500865428216"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003e","0x0000000000000000000000000000000000000000000000000000000000000025"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"3598"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063c82","0x0000000000000000000000000000000000000000000000000000000000009aa4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"16"],"tag":"AbiUInt"},{"contents":[256,"815"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000d","0x000000000000000000000000000000000000000000000000000000000000012e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"84794577086704261181271489575806274653035752725420274685556270112497945163029"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x000000000000000000000000000000000000000000000000000000000000c062"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"100000000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001cae0","0x0000000000000000000000000000000000000000000000000000000000003c09"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"72659379595405013032385383287583147347315472667357261794216388493742872826112"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639884"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb42","0x0000000000000000000000000000000000000000000000000000000000001361"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639922"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551617"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2c","0x0000000000000000000000000000000000000000000000000000000000000383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000eb","0x0000000000000000000000000000000000000000000000000000000000000055"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"102205140926616695126373272741485971359129842071057013288113980906665996737995"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002712","0x0000000000000000000000000000000000000000000000000000000000006a25"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":[256,"2000000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e377","0x0000000000000000000000000000000000000000000000000000000000000231"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427c","0x000000000000000000000000000000000000000000000000000000000000136d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"22873835403398571024775446893216918482656534604247299285263288386302245695562"],"tag":"AbiUInt"},{"contents":[256,"999999999999999998"],"tag":"AbiUInt"},{"contents":[256,"110627112806279962730682428872338057797622884677627989094618041756390855436748"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950339"],"tag":"AbiUInt"},{"contents":[256,"39"],"tag":"AbiUInt"},{"contents":[256,"53154615751474965104994796657575457666145438601860057075044701348885878399255"],"tag":"AbiUInt"},{"contents":[256,"137"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639937"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"49287165791378224860190889734638169046070582662414467808209971196250596383668"],"tag":"AbiUInt"},{"contents":[256,"72459786168028183736064806798076872421714595489336755244999741992609422952721"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417345"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639853"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908084"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638936"],"tag":"AbiUInt"},{"contents":[256,"193511745637534909531210985608761044473593821122552014605049365481"],"tag":"AbiUInt"},{"contents":[256,"54214031324673211985713202307137636450126884710432042876258486857262430808671"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428161"],"tag":"AbiUInt"},{"contents":[256,"54410664661505384502007865133235733420946686466170735749174998202164574903242"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"51185294506188161462030826837886128133728503490634981071745158102264153823222"],"tag":"AbiUInt"},{"contents":[256,"45844583269477616451799973309143894810085767483022723851052643425099050278647"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634935"],"tag":"AbiUInt"},{"contents":[256,"114725921497525465001582458612712891657258886542491995772847809723507411886043"],"tag":"AbiUInt"},{"contents":[256,"41042432854966391046965773316903169243553765953791337331990393323846761565077"],"tag":"AbiUInt"},{"contents":[256,"55693924640328006912829178707923463242270492893810674048136496553096752144570"],"tag":"AbiUInt"},{"contents":[256,"15443576999059498661394482748586760042936434910636373263807158917467280448466"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"60590796906602592077328903577442634319977230829004247561058796283837937404997"],"tag":"AbiUInt"},{"contents":[256,"299"],"tag":"AbiUInt"},{"contents":[256,"73353182108142706211342529330862170873045421809518187157536838998102828788211"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"26403608536021770723446060935542403725371095162775030658655098445236289963356"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639039"],"tag":"AbiUInt"},{"contents":[256,"13"],"tag":"AbiUInt"},{"contents":[256,"25338770281682894094455"],"tag":"AbiUInt"},{"contents":[256,"65327047423083272371698479444865323208322198014772137313984611116069669828949"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731852"],"tag":"AbiUInt"},{"contents":[256,"43260074473859649119644403810789748951733"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639856"],"tag":"AbiUInt"},{"contents":[256,"30"],"tag":"AbiUInt"},{"contents":[256,"539"],"tag":"AbiUInt"},{"contents":[256,"53326000768008049860420892242944189843214059411442496823506136303075223989003"],"tag":"AbiUInt"},{"contents":[256,"107952052659884719248310479133410665846718844016708612047507442430932055333891"],"tag":"AbiUInt"},{"contents":[256,"106425292005232907797158034014233647184227857072475949632045674960019876547343"],"tag":"AbiUInt"},{"contents":[256,"13488539027013212538621605320661734150288892430622076822663988486448299742480"],"tag":"AbiUInt"},{"contents":[256,"85389075842887765025661464015271336479999376935043362648482901345075895629871"],"tag":"AbiUInt"},{"contents":[256,"88221409191712123818930013696262964853281618438610477375477212156178279810780"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb09","0x000000000000000000000000000000000000000000000000000000000000d8cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000de0b6b3a7640000"},{"call":{"contents":["asset_mint",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":[128,"50"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000035","0x0000000000000000000000000000000000000000000000000000000000006b0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"46564444292869617132199743297633729672983858954315840892790628539375770852296"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135a9","0x0000000000000000000000000000000000000000000000000000000000000e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a51a","0x0000000000000000000000000000000000000000000000000000000000002328"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052400","0x000000000000000000000000000000000000000000000000000000000000006a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"229"],"tag":"AbiUInt"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"37549702106995877485935305337026319766174269415477992020178296819185747625533"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a517","0x000000000000000000000000000000000000000000000000000000000000133b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\f\\RS\\187K=\\SOH\\EM\\163D'\\154\\249d\\218\\147#f\\151w\\172\\154\\151\\a\\254h\\212\\148H\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYNEQ\\v\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EMi\\251D\\177G\\153[\\143(\\227\\140v\\143\\183\\202W\\255\\179\\r\\149\\167\\NAKGH\\241\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\246z\\207\\169N\\SUB-\\209\\239k\\134\\230uC.\\143\\&9'\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\179\\217=\\210\\231anfp\\251b\\140\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\RS\\158\\EM\\177-\\164\\128\\SO\\202\\240`:o.\\216\\237d\\148\\151\\130\\r\\SOz\\224\\238\\217t\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\STX~\\168\\ETBJ\\DC4<g\\t\\170l:\\SUB\\DC1^\\183\\167\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESCd\\SO\\189\\NUL\\245\\210B \\t\\140\\217\\n\\207q\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\203X\\161_\\ACK\\238j\\169r\"","tag":"AbiBytesDynamic"},{"contents":"\"HA+\\162y.\\209(\\EM\\205\\158\\152\\249>\\192\\196x\\216\\205D\\222\\216\\207'\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185zaF\\161\\a'Y\\154t)$`\\241*\\DC2\\206\\210a\\177'efe\\ETB\\191\\ra\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\br2L\\233\\ESCYk\\RSc#\\NUL\\160\\255\\246\\ENQ-$\\160\\DC4\\212\\134F\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\t\\180\\255\\164\\128q\\240[\\238j3\\210$\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"b\\195he\\207\\SO6;\\t\\172h[\\220\\129\\&4\\v\\210\\181YI\\f8\\RS\\226\\235S\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"8\\226\\200\\226\\192\\192\\190g1\\148/*\\169\\SI6\\244{>k\\180\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\157\\254\\195\\192\\206\\143<\\255\\ETBo(\\137\\134\\235\\251\\228\\133tIA\\ETX\\169k\\238b\\EMk\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\237\\170Q\\191\\164\\140qU\\228L\\250\\STXz&\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\220\\v\\179\\ENQ4\\180\\193-\\188\\166\\191\\207\\199q\\220\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\235\\DC3\\154\\DC3\\DC1d0\\158\\246zp&:\\248\\197?\\250I\\243\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\222\\131\\232\\DEL\\aPs\\150\\SI\\150qk\\155\\EMl+\\254\\196\\240\\181\\211'\\240|n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\NAK=\\NAK\\201]\\252\\220\\184z\\SI\\233\\208'\\246\\226\\\"!\\200\\DC2\\169ih\\220,\\FSs\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243K\\162\\146\\131\\185\\149\\178\\207\\t\\140\\207\\&2\\CAN\\204L\\201\\144U\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\t\\252|\\ETX\\136\\207\\&2\\162\\177\\238\\132kq\\211Li\\ENQ\\ETB+/QR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\213E\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\t\\208\\235B\\208\\195\\153T\\160V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\156-\\164\\227V\\158\\175\\t|\\253[\\175\\193\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\139V\\ENQw_x\\ETX47\\166d\\181\\129 ag\\138#\\NUL\\245\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\204\\US\\227\\&7\\230)|VI\\192\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\211DV9\\200o\\GS  \\249\\129\\165\\167\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\&9\\195B\\222\\ETB\\197\\SYN\\169G\\SO\\169;\\GSj\\135U\\252\\148\\EOT\\142'\\204\\240\\211\\ETX\\242\\255\\NUL\\241\\169\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\DLEq\\244 )b\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201$\\229\\189\\FS2\\185\\172\\EMh\\216\\DC2\\209O\\152\\221\\211\\193\\160\\141S\\204\\206\\225\\240\\189A\\131\\131\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB$\\243\\156\\NAK>\\168\\207bx\\241\\136\\203k\\252s#9\\187\\201\\NAK5\\154\\&7z\\183*&\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"%3H\\CANx9\\146\\203\\&0\\192'l\\ESC\\190\\158\\134\\177\\DLE9\\162wTXC J\\247H\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\244\\DLE\\SYN\\FS-\\192\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\215\\202\\142\\232\\249\\152%\\213\\193\\130Yb7z?O\\134\\188Wcw\\242\\234Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\166\\181\\235@\\183\\f\\130\\163\\&6\\243\\190\\165\\&9\\192\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"4 \\183\\187\\238\\215d\\243\\174\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255x\\154\\218\\205[\\150\\156'\\NULkc\\165\\231YO\\SOH\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\169\\156C[\\CANUq\\226Wawx-\\200\\EM\\169\\251\\226\\135\\153\\159\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"H8L4\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\146%l\\197\\150\\186\\237<d>c\\180T2|\\193\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\&4\\t\\207\\245\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\r'\\242\\SUB\\241\\161\\a\\152\\252\\184\\232_\\247\\134]]=C\\140Kg\\255\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\247\\SO\\240n~Z\\SO\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\168L5U\\206>\\235\\ESC\\153N\\148ci\\181\\211.\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\ESCT\\155\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234u\\235\\183\\160\\146\\&2\\208\\173\\205\\160.\\213\\150\\ETX\\147\\252\\149\\136\\224I&\\bW|aHT\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\rN\\195J\\240\\192\\CANR\\206\\215\\US5\\221\\SUB\\229\\141\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\128\\173\\140E\\178\\&5C\\DLEH\\148;Y\\DEL\\154\\ETX{\\139j\\220\\DLEo\\167Q:\\227b\\241\\SO;Y\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"n\\164\\STXA6\\151%wd\\144\\DC2y\\177\\155\\&1\\218\\216\\GSn\"","tag":"AbiBytesDynamic"},{"contents":"\"elY\\bs\\233\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139;\\211\\223\\NAK\\\"\\195\\154\\181\\182e\\247av6\\129\\223\\175'\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"L<Z!\\ACKn\\DEL\\GS\\US2\\145^I,\\a\\r\\140S\\211sA>\\ACK\\197v\\133\\164:3B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\&5\\139\\176\\166\\227XX\\146\\NAK!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\205+H\\155\\139d\\164yy^\\169\\204\\184\\225\\213<2\\146\\146\\240\\DC13z\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\US\\161C\\252b\\219Q\\SI\\157\\\",\\149c{TP+s\\202K\\163\\219\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\155B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\215\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\156\\167F\\179\\139\\245\\197g\\213\\155o\\226\\&9KK\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131AS\\222\\NAK\\201>\\SYN\\211T\\149\\216\\163\\248<B\\EOT\\168\\224\\233R\\239\\187Z\\US\\131\\167\\175z\\ESC\\213\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242>H8\\204\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\148\\255\\210\\139!\\255\\138\\189\\238d\\225n\\221\\226\\ETX\\241\\196\\237\\213\\201G\\DC2>.\\232\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\STXh\\ENQ!W\\222\\142\\199L\\n\\230\\216\\168\\SYN\\155\\228]hi\\239\\188\\239\\199\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\228\\192\\208\\231\\203Z\\229\\t\\138\\150\\234#\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\STX#\\215\\184\\192\\229\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\128\\134\\SOH\\254\\229\\t\\221G8*\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\US\\161C\\252b\\219Q\\SI\\157\\\",\\149c{TP+s\\202K\\163\\219\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\155B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\215\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\156\\167F\\179\\139\\245\\197g\\213\\155o\\226\\&9KK\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131AS\\222\\NAK\\201>\\SYN\\211T\\149\\216\\163\\248<B\\EOT\\168\\224\\233R\\239\\187Z\\US\\131\\167\\175z\\ESC\\213\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242>H8\\204\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\148\\255\\210\\139!\\255\\138\\189\\238d\\225n\\221\\226\\ETX\\241\\196\\237\\213\\201G\\DC2>.\\232\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\STXh\\ENQ!W\\222\\142\\199L\\n\\230\\216\\168\\SYN\\155\\228]hi\\239\\188\\239\\199\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\228\\192\\208\\231\\203Z\\229\\t\\138\\150\\234#\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\STX#\\215\\184\\192\\229\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\128\\134\\SOH\\254\\229\\t\\221G8*\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\US\\161C\\252b\\219Q\\SI\\157\\\",\\149c{TP+s\\202K\\163\\219\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\155B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\215\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\156\\167F\\179\\139\\245\\197g\\213\\155o\\226\\&9KK\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131AS\\222\\NAK\\201>\\SYN\\211T\\149\\216\\163\\248<B\\EOT\\168\\224\\233R\\239\\187Z\\US\\131\\167\\175z\\ESC\\213\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242>H8\\204\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\148\\255\\210\\139!\\255\\138\\189\\238d\\225n\\221\\226\\ETX\\241\\196\\237\\213\\201G\\DC2>.\\232\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\STXh\\ENQ!W\\222\\142\\199L\\n\\230\\216\\168\\SYN\\155\\228]hi\\239\\188\\239\\199\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\228\\192\\208\\231\\203Z\\229\\t\\138\\150\\234#\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\STX#\\215\\184\\192\\229\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\128\\134\\SOH\\254\\229\\t\\221G8*\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\US\\161C\\252b\\219Q\\SI\\157\\\",\\149c{TP+s\\202K\\163\\219\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\155B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\215\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\156\\167F\\179\\139\\245\\197g\\213\\155o\\226\\&9KK\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131AS\\222\\NAK\\201>\\SYN\\211T\\149\\216\\163\\248<B\\EOT\\168\\224\\233R\\239\\187Z\\US\\131\\167\\175z\\ESC\\213\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242>H8\\204\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\148\\255\\210\\139!\\255\\138\\189\\238d\\225n\\221\\226\\ETX\\241\\196\\237\\213\\201G\\DC2>.\\232\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\STXh\\ENQ!W\\222\\142\\199L\\n\\230\\216\\168\\SYN\\155\\228]hi\\239\\188\\239\\199\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\228\\192\\208\\231\\203Z\\229\\t\\138\\150\\234#\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\STX#\\215\\184\\192\\229\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\128\\134\\SOH\\254\\229\\t\\221G8*\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\US\\161C\\252b\\219Q\\SI\\157\\\",\\149c{TP+s\\202K\\163\\219\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\155B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\215\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\156\\167F\\179\\139\\245\\197g\\213\\155o\\226\\&9KK\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131AS\\222\\NAK\\201>\\SYN\\211T\\149\\216\\163\\248<B\\EOT\\168\\224\\233R\\239\\187Z\\US\\131\\167\\175z\\ESC\\213\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242>H8\\204\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\148\\255\\210\\139!\\255\\138\\189\\238d\\225n\\221\\226\\ETX\\241\\196\\237\\213\\201G\\DC2>.\\232\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\STXh\\ENQ!W\\222\\142\\199L\\n\\230\\216\\168\\SYN\\155\\228]hi\\239\\188\\239\\199\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\228\\192\\208\\231\\203Z\\229\\t\\138\\150\\234#\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\STX#\\215\\184\\192\\229\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\128\\134\\SOH\\254\\229\\t\\221G8*\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\US\\161C\\252b\\219Q\\SI\\157\\\",\\149c{TP+s\\202K\\163\\219\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\155B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\215\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\156\\167F\\179\\139\\245\\197g\\213\\155o\\226\\&9KK\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131AS\\222\\NAK\\201>\\SYN\\211T\\149\\216\\163\\248<B\\EOT\\168\\224\\233R\\239\\187Z\\US\\131\\167\\175z\\ESC\\213\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242>H8\\204\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\148\\255\\210\\139!\\255\\138\\189\\238d\\225n\\221\\226\\ETX\\241\\196\\237\\213\\201G\\DC2>.\\232\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\STXh\\ENQ!W\\222\\142\\199L\\n\\230\\216\\168\\SYN\\155\\228]hi\\239\\188\\239\\199\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\228\\192\\208\\231\\203Z\\229\\t\\138\\150\\234#\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\STX#\\215\\184\\192\\229\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\128\\134\\SOH\\254\\229\\t\\221G8*\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\US\\161C\\252b\\219Q\\SI\\157\\\",\\149c{TP+s\\202K\\163\\219\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\155B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\215\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\156\\167F\\179\\139\\245\\197g\\213\\155o\\226\\&9KK\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131AS\\222\\NAK\\201>\\SYN\\211T\\149\\216\\163\\248<B\\EOT\\168\\224\\233R\\239\\187Z\\US\\131\\167\\175z\\ESC\\213\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242>H8\\204\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\148\\255\\210\\139!\\255\\138\\189\\238d\\225n\\221\\226\\ETX\\241\\196\\237\\213\\201G\\DC2>.\\232\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\STXh\\ENQ!W\\222\\142\\199L\\n\\230\\216\\168\\SYN\\155\\228]hi\\239\\188\\239\\199\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\228\\192\\208\\231\\203Z\\229\\t\\138\\150\\234#\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\STX#\\215\\184\\192\\229\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\128\\134\\SOH\\254\\229\\t\\221G8*\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\US\\161C\\252b\\219Q\\SI\\157\\\",\\149c{TP+s\\202K\\163\\219\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\155B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\215\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\156\\167F\\179\\139\\245\\197g\\213\\155o\\226\\&9KK\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131AS\\222\\NAK\\201>\\SYN\\211T\\149\\216\\163\\248<B\\EOT\\168\\224\\233R\\239\\187Z\\US\\131\\167\\175z\\ESC\\213\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242>H8\\204\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\148\\255\\210\\139!\\255\\138\\189\\238d\\225n\\221\\226\\ETX\\241\\196\\237\\213\\201G\\DC2>.\\232\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\STXh\\ENQ!W\\222\\142\\199L\\n\\230\\216\\168\\SYN\\155\\228]hi\\239\\188\\239\\199\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\228\\192\\208\\231\\203Z\\229\\t\\138\\150\\234#\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\STX#\\215\\184\\192\\229\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\128\\134\\SOH\\254\\229\\t\\221G8*\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\US\\161C\\252b\\219Q\\SI\\157\\\",\\149c{TP+s\\202K\\163\\219\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\155B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\215\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\156\\167F\\179\\139\\245\\197g\\213\\155o\\226\\&9KK\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131AS\\222\\NAK\\201>\\SYN\\211T\\149\\216\\163\\248<B\\EOT\\168\\224\\233R\\239\\187Z\\US\\131\\167\\175z\\ESC\\213\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242>H8\\204\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\148\\255\\210\\139!\\255\\138\\189\\238d\\225n\\221\\226\\ETX\\241\\196\\237\\213\\201G\\DC2>.\\232\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\STXh\\ENQ!W\\222\\142\\199L\\n\\230\\216\\168\\SYN\\155\\228]hi\\239\\188\\239\\199\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\228\\192\\208\\231\\203Z\\229\\t\\138\\150\\234#\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\STX#\\215\\184\\192\\229\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\128\\134\\SOH\\254\\229\\t\\221G8*\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\US\\161C\\252b\\219Q\\SI\\157\\\",\\149c{TP+s\\202K\\163\\219\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\155B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\215\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\156\\167F\\179\\139\\245\\197g\\213\\155o\\226\\&9KK\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131AS\\222\\NAK\\201>\\SYN\\211T\\149\\216\\163\\248<B\\EOT\\168\\224\\233R\\239\\187Z\\US\\131\\167\\175z\\ESC\\213\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242>H8\\204\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\148\\255\\210\\139!\\255\\138\\189\\238d\\225n\\221\\226\\ETX\\241\\196\\237\\213\\201G\\DC2>.\\232\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\STXh\\ENQ!W\\222\\142\\199L\\n\\230\\216\\168\\SYN\\155\\228]hi\\239\\188\\239\\199\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\228\\192\\208\\231\\203Z\\229\\t\\138\\150\\234#\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\STX#\\215\\184\\192\\229\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\128\\134\\SOH\\254\\229\\t\\221G8*\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\US\\161C\\252b\\219Q\\SI\\157\\\",\\149c{TP+s\\202K\\163\\219\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\155B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\215\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\156\\167F\\179\\139\\245\\197g\\213\\155o\\226\\&9KK\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131AS\\222\\NAK\\201>\\SYN\\211T\\149\\216\\163\\248<B\\EOT\\168\\224\\233R\\239\\187Z\\US\\131\\167\\175z\\ESC\\213\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242>H8\\204\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\148\\255\\210\\139!\\255\\138\\189\\238d\\225n\\221\\226\\ETX\\241\\196\\237\\213\\201G\\DC2>.\\232\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\STXh\\ENQ!W\\222\\142\\199L\\n\\230\\216\\168\\SYN\\155\\228]hi\\239\\188\\239\\199\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\228\\192\\208\\231\\203Z\\229\\t\\138\\150\\234#\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\STX#\\215\\184\\192\\229\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\128\\134\\SOH\\254\\229\\t\\221G8*\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\US\\161C\\252b\\219Q\\SI\\157\\\",\\149c{TP+s\\202K\\163\\219\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\155B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\215\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\156\\167F\\179\\139\\245\\197g\\213\\155o\\226\\&9KK\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131AS\\222\\NAK\\201>\\SYN\\211T\\149\\216\\163\\248<B\\EOT\\168\\224\\233R\\239\\187Z\\US\\131\\167\\175z\\ESC\\213\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242>H8\\204\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\148\\255\\210\\139!\\255\\138\\189\\238d\\225n\\221\\226\\ETX\\241\\196\\237\\213\\201G\\DC2>.\\232\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\STXh\\ENQ!W\\222\\142\\199L\\n\\230\\216\\168\\SYN\\155\\228]hi\\239\\188\\239\\199\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\228\\192\\208\\231\\203Z\\229\\t\\138\\150\\234#\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\STX#\\215\\184\\192\\229\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\128\\134\\SOH\\254\\229\\t\\221G8*\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\US\\161C\\252b\\219Q\\SI\\157\\\",\\149c{TP+s\\202K\\163\\219\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\155B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\215\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\156\\167F\\179\\139\\245\\197g\\213\\155o\\226\\&9KK\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131AS\\222\\NAK\\201>\\SYN\\211T\\149\\216\\163\\248<B\\EOT\\168\\224\\233R\\239\\187Z\\US\\131\\167\\175z\\ESC\\213\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242>H8\\204\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\148\\255\\210\\139!\\255\\138\\189\\238d\\225n\\221\\226\\ETX\\241\\196\\237\\213\\201G\\DC2>.\\232\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\STXh\\ENQ!W\\222\\142\\199L\\n\\230\\216\\168\\SYN\\155\\228]hi\\239\\188\\239\\199\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\228\\192\\208\\231\\203Z\\229\\t\\138\\150\\234#\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\STX#\\215\\184\\192\\229\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\128\\134\\SOH\\254\\229\\t\\221G8*\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\US\\161C\\252b\\219Q\\SI\\157\\\",\\149c{TP+s\\202K\\163\\219\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\155B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\215\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\156\\167F\\179\\139\\245\\197g\\213\\155o\\226\\&9KK\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131AS\\222\\NAK\\201>\\SYN\\211T\\149\\216\\163\\248<B\\EOT\\168\\224\\233R\\239\\187Z\\US\\131\\167\\175z\\ESC\\213\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242>H8\\204\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\148\\255\\210\\139!\\255\\138\\189\\238d\\225n\\221\\226\\ETX\\241\\196\\237\\213\\201G\\DC2>.\\232\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\STXh\\ENQ!W\\222\\142\\199L\\n\\230\\216\\168\\SYN\\155\\228]hi\\239\\188\\239\\199\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\228\\192\\208\\231\\203Z\\229\\t\\138\\150\\234#\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\STX#\\215\\184\\192\\229\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\128\\134\\SOH\\254\\229\\t\\221G8*\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\US\\161C\\252b\\219Q\\SI\\157\\\",\\149c{TP+s\\202K\\163\\219\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\155B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\215\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\156\\167F\\179\\139\\245\\197g\\213\\155o\\226\\&9KK\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131AS\\222\\NAK\\201>\\SYN\\211T\\149\\216\\163\\248<B\\EOT\\168\\224\\233R\\239\\187Z\\US\\131\\167\\175z\\ESC\\213\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242>H8\\204\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\148\\255\\210\\139!\\255\\138\\189\\238d\\225n\\221\\226\\ETX\\241\\196\\237\\213\\201G\\DC2>.\\232\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\STXh\\ENQ!W\\222\\142\\199L\\n\\230\\216\\168\\SYN\\155\\228]hi\\239\\188\\239\\199\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\228\\192\\208\\231\\203Z\\229\\t\\138\\150\\234#\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\STX#\\215\\184\\192\\229\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\128\\134\\SOH\\254\\229\\t\\221G8*\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\US\\161C\\252b\\219Q\\SI\\157\\\",\\149c{TP+s\\202K\\163\\219\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\155B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\215\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\156\\167F\\179\\139\\245\\197g\\213\\155o\\226\\&9KK\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131AS\\222\\NAK\\201>\\SYN\\211T\\149\\216\\163\\248<B\\EOT\\168\\224\\233R\\239\\187Z\\US\\131\\167\\175z\\ESC\\213\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242>H8\\204\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\148\\255\\210\\139!\\255\\138\\189\\238d\\225n\\221\\226\\ETX\\241\\196\\237\\213\\201G\\DC2>.\\232\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\STXh\\ENQ!W\\222\\142\\199L\\n\\230\\216\\168\\SYN\\155\\228]hi\\239\\188\\239\\199\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\228\\192\\208\\231\\203Z\\229\\t\\138\\150\\234#\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\STX#\\215\\184\\192\\229\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\128\\134\\SOH\\254\\229\\t\\221G8*\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\US\\161C\\252b\\219Q\\SI\\157\\\",\\149c{TP+s\\202K\\163\\219\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\155B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\215\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\156\\167F\\179\\139\\245\\197g\\213\\155o\\226\\&9KK\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131AS\\222\\NAK\\201>\\SYN\\211T\\149\\216\\163\\248<B\\EOT\\168\\224\\233R\\239\\187Z\\US\\131\\167\\175z\\ESC\\213\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242>H8\\204\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\148\\255\\210\\139!\\255\\138\\189\\238d\\225n\\221\\226\\ETX\\241\\196\\237\\213\\201G\\DC2>.\\232\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\STXh\\ENQ!W\\222\\142\\199L\\n\\230\\216\\168\\SYN\\155\\228]hi\\239\\188\\239\\199\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\228\\192\\208\\231\\203Z\\229\\t\\138\\150\\234#\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\STX#\\215\\184\\192\\229\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\128\\134\\SOH\\254\\229\\t\\221G8*\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\US\\161C\\252b\\219Q\\SI\\157\\\",\\149c{TP+s\\202K\\163\\219\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\155B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\215\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\156\\167F\\179\\139\\245\\197g\\213\\155o\\226\\&9KK\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131AS\\222\\NAK\\201>\\SYN\\211T\\149\\216\\163\\248<B\\EOT\\168\\224\\233R\\239\\187Z\\US\\131\\167\\175z\\ESC\\213\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242>H8\\204\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\148\\255\\210\\139!\\255\\138\\189\\238d\\225n\\221\\226\\ETX\\241\\196\\237\\213\\201G\\DC2>.\\232\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\STXh\\ENQ!W\\222\\142\\199L\\n\\230\\216\\168\\SYN\\155\\228]hi\\239\\188\\239\\199\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\228\\192\\208\\231\\203Z\\229\\t\\138\\150\\234#\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\STX#\\215\\184\\192\\229\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\128\\134\\SOH\\254\\229\\t\\221G8*\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\174]\\136\\190\\153\\205\\a\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\202\\b\\DLE\\\"\\198\\ACKIv\\206\\187\\221Y\\179\\166\\&1\\175-L/\\228DL>M\\165\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167i\\161\\207}\\235r\\158\\135\\225\\221\\213\\194\\SUBy\\n\\186\\249\\190A_\\244;H\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224l\\128\\229~7\\224\\202\\n\\244k\\232\\169\\224G\\182\\170}\\163\\177c9\\246\\189a.\\157\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\223\\250t\\237\\251'\\DC4\\239%\\221W\\132\\232\\185\\SOHG\\DLE\\211\\253\\RS\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\240lcHQo\\248[\\f\\nu\\222\\195\\132\\239\\RSR|\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\200Rb\\143\\229\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129P3\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\151{\\176\\250V!\\217\\ESC\\SYN|\\169m\\205\\255\\208\\141/\\236\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\148\\139MUX\\DC2\\239\\216\\ENQ\\197\\240\\239\\227\\r9\\178\\&3`\\248\\r\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\139bH\\202M%^\\STX[;\\SOH\\232\\225\\203lK-D_\\EM\\219\\229|\\252o)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\155\\229`\\255\\183A~\\138\\196\\212.\\167\\ETX\\176\\208\\EM\\134\\ETX\\178yKf\\138\\175\\174\\207\\254\\&8/\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"`\\191\\233\\179\\201M\\ESC\\210\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"yX\\248h\\248N\\229\\230\\237\\211\\172^]\\231\\132O\\DC4U\\237\\SUB\\177\\ETX\\132T\\DC1\\228\\184\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\250\\&1,u\\255`4\\ACK\\164\\\\+\\178\\252Oy\\132\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX5\\ETB\\201\\216\\161\\254\\193\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\213\\NAKH\\139\\239-\\143K\\ESC\\157e7\\133\\SOHk\\159\\&3\\205\\226\\201\\161\\178uB^W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\134\\172\\201\\147\\203\\193?r\\ACKV\\243V\\GS\\227\\225\\196\\r\\adnf)\\232t\\187\\\\!\\241m\"","tag":"AbiBytesDynamic"},{"contents":"\"[=\\158[Y\\SOO\\206=\\223\\GSR\\213G2\\190\\214\\170\\179\\ETX\\231}=\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r$\\253bm\\\\\\241\\221\\241>\\220\\156!\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\")h. \\210\\162P<\\240\\215=q\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\213\\154\\136a3-l\\ETB\\ETX\\SI\\157=\\129\\240oN\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\146\\CAN\\159\\184\\239CRf\\168\\145\\160\\191-~\\179\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\225O\\190\\171\\204\\227\\141?\\197\\\"\\211\\237\\229Gw\\t\\223\\196\\v\\194{\\175\\196x\\212\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\153\\&1\\221\\DC2\\\"\\168$mB\\171\\138\\183\\247OW')\\180\\181\\195\\211\\244\\226\\EM\\224\\&0\\196\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\247\\155\\130uq\\208\\232\\199x\\r\\\\|\\138#\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208s]\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\231\\200\\143\\142\\162\\208\\172\\207W\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208H\\\"\\159\\201\\176\\237\\SO\\247\\221\\133\\255n\\182K\\229\\SUB\\SYN\\DLE\\150\\230EO\\NUL\\CAN\\EMr\\237\\ACK6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\178\\175$\\129^\\EOTLdq\\bh\\169(R\\DC1N\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"d1D\\189\\184\\180\\177Q_\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\148:\\182Sz'\\154\\148\\STX\\158C,M>7SG\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237s\\195\\138\\133pG\\215\\FS\\203/~\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a~\\220\\SO\\143Y\\197\\198'\\189\\217\\t\\135\\RS\\138\\140B\\151\\203\\195\\239x\\216[|+&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143s\\224\\SUBD\\232\\184\\169\\190\\216\\181U\\DLE\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\165ZRntL?\\235)r\\144J\\160\\236wv\\178\\DELL.\\197\\193\\192\\154\\216\\160\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\183\\137\\NUL\\FSFS#\\193\\178\\FSu8\\218p\\f\\ETX\\142Q+\\196$\\EM\\153\\252\\219\\145\\255\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\135\\220\\129\\160/A\\210\\RS\\r\\162\\&8\\217\\n{\\210\\253\\170\\246\\200J?\\147q\\167\\233-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\ETB\\165!\\205\\199\\212\\244C\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\151`\\248+\\182N\\\\\\206\\200K\\SO\\171\\253C\\144\\159i|\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\b.&\\DEL\\159\\185\\201DD\\248\\134\\RS]\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\f{N\\141\\158\\218\\158\\233\\151\\145\\DC4\\191\\199\\228#\\213\\134\\252\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164M\\228\\240\\ACK9\\174U\\173\\134R\\169@X\\EOT\\RS\\168k\\233TM}NH\\186\\228\\148\\f\\NUL|\\195\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\nK\\150\\204M\\GS\\227\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL-b~\\204\\233G\\222\\213\\&1\\187\\232|\\230|\\181\\179X\\213e\\200TPB\\128\\134\\139\\158\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231~\\148d\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\183\\235\\vz\\235\\&6y\\222U\\189a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\140\\167/\\226\\154\\175\\167q\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\184S_\\161\\200\\183\\233\\&7\\161%\\130<hb1t\\239;f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2MO\\r\\212.\\164&t\\238\\191\\203~\\150\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238q[\\134tG\\150s\\253V\\192\\EM\\208\\ETBj\\232C0\\229\\245G\\255b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL:\\243(\\238g\\189ocT#\\SUBW\\143\\212V_\\178HB\\241\\&4\\151\\252\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"Jf'\\204\\237\\205\\253w\\223E\\241\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\245\\139D4!>L!\\128\\166\\DLE\\a\\226(\\GSr\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\249x\\fw\\208\\a%u\\147\\202\\233\\251\\212$:\\212\\&7\\141\\180~\\\"\\200\\v\\150B\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\159o\\129\\165\\&2\\250\\217\\aY\\138C/T\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211W`gu\\168\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\175'\\165\\195\\239\\147\\ESC\\151\\214H\\163 \\149\\203\\218\\142\\&8t\\DLE\\184\\STX2\\161\\245\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"FFB\\155P:F\\154R\\174Q\\149\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\238\\199\\153\\SYN6X\\246\\181\\129Yy\\214\\161zF\\145\\232\\f|\\169=B\\137r\\131\\138=\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\233\\SYN\\163\\&7x\\243\\&1\\SOH\\134\\209\\193E\\252\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\SOHS\\189m\\EOT7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\209R\\164\\144\\222h\\172\\155\\229@\\EM\\236\\253\\158Z\\254(;\\201\\243\\182\\ETBp\\181'\\211h\\203\\132\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\132S2\\r\\133k\\180\\208\\174P\\ENQ\\v\\EOT\\241i\\145:O\\186\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\181\\a\\171\\231\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"l7\"","tag":"AbiBytesDynamic"},{"contents":"\"iK=\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202f\\252!B\\186]j\\189\\139W\\218\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\GS\\136*)]\\SI\\229?\\242\\212\\\\<\\235\\131\\179\\180\\196\\SO\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"%V\\252\\162EB\\ACK\\190\\236\\189\\a\\202q\\136\\227V\\DC18\\ETB\\228\\155\\221\\172\\149\\220*\\215K\\128J\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"c'I\\154q\\244\\ETX\\157\\147\\SOH\\235\\DC3\\223\\235^\\STX}\\198\\232\\&1\\135\\244~3\\USe\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\164o\\199a(\\150\\255\\\\\\202\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\253\\RSPV\\188\\248 \\132\\195j!\\178\\NULO'\\254\\NUL\\240\\244@\\163\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\248\\nB\\228\\186\\233vj\\246\\145^\\171\\245\\b\\199\\246\\220wU\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"l\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\234#\\t\\143\\230\\152\\180\\ESC\\237i\\228*\\151\\225;\\182\\210\\EOTS@x\\224;\\232c\\151\\US\\187\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138L\\184\\SO\\206T(\\237a\\140^VS\\157\\176\\154\\&3\\t\\163\\250\\147\\f\\226\\vT\\SOH7%\\247\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\204&\\210\\129G]\\143@\\NUL\\CAN,e\\246\\145\\129\\205\\&9\\254#\\231:\\135\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r.\\DC3\\174\\225\\&2\\197\\FSVw\\244\\176\\185\\129nyH\\153\\144\\243\\240\\FS\\146P \"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\f\\230k\\176\\ETB\\241\\152\\173\\171\\v\\226\\157b\\161\\b'\\189\\138!\\229\\&1#\\252a\\201\\202]\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\166\\227\\187\\219\\165\\171\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\206I\\154v\\216l9%\\141\\210\\179//}W\\228<)\\158\\&2\\\"\\EOT\\208\\ACK\\129VSL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\183\\FS\\139\\t\\212\\SUB\\221\\&2i\\243\\255F\\204\\144F\\180\\201B\\204\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK6\\160\\&2\\ACKX4\\SUB,\\136A\\143\\213\\GSK\\141\\&5\\SOH\\166\\136v{\\134\\197F.\\148\\151\\140\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\164\\207\\GS\\134\\205C[\\a\\147\\204\\221\\178\\200\\254\\130>4L\\DEL=1\\242ygO\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\255}\\176J\\215\\136\\168O\\167\\226\\200Jn).\\217\\225\\215&\\CAN\\EOTU\\190\\236\\v\\224\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"*O.\\142\\146\\ETB\\197<;\\200\\237\\SOH\\154I\\225\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\128\\193\\187.\\210\\150\\250w&\\182s\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK!P\\131\\218%\\231\\245wy\\233C\\DC3\\142\\165\\192\\160EJVsF\\STX1@\\133\\222\\SOH\\238\\236\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"q\\205\\179n\"","tag":"AbiBytesDynamic"},{"contents":"\"nbe\\197\\143\\156v|\\164\\233\\SYN\\182\\&8\\RS\\187\\177\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214o\\208\\NUL\\ESC\\DEL\\177\\196x\\186\\175\\246\\173l\\USG\\209\\SUBt3\\207\\165~\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\SUB@\\210L\\167l\\156\\181\\254\\198\\234@\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\135\\180\\DLEP\\NULy0\\192\\161\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175p\\195\\185X3\\219\\235\\EOT(E\\158\\200\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\183~S5G5\\198\\158\\212\\163\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\\\2V\\239\\227)\\248\\232\\204\\&2\\NUL0\\140J\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI#\\166\\241\\193sL\\140\\b\\134\\211X\\DC2\\218E\\156\\151\\170 \\225\\184\\145n\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\222\\142\\168q\\140\\173\\US\\142\\159\\f\\222j\\147\\193\\210\\SI\\SI\\CAN\\172r\\185\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\222\\f\\155\\130E\\180L\\197e\\137\\204\\NAK\\224\\190\\150r\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\213\\186\\DC1\\DC1\\146\\194\\243avD\\179\\218\\136E\\231\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\255\\v\\245\\204\\243\\196\\&7\\222\\146L\\199\\142\\GS\\194\\146\\248\\134\\212\\251\\&7:\\155e\\187\\\"\\223_}\\170g\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\186\\212\\176\\\\f\\136\\150Q\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\212/\\203\\250\\143\\221:l.w\\149\\254\\205Rl\\159+Q\\135?\\146\\a\\231\\SO\\235\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195W\\v\\DC3\\199}IxO+\\209\\227~q\\216-\\152\\ESCV/\\134\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\208\\140\\136\\220A\"","tag":"AbiBytesDynamic"},{"contents":"\".o\\246\\199\\224Ugs\\fx\\155\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\254\\199\\241\\STX\\148-\\230+\\149\\203\\n\\227E\\255a\\STX\\254\\240\\165\\ESC\\219\\172\\240\\149\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"GwsR\\235(\\208\\210\\201\\nI\\166*\\168\\163Q\\179\\186\\172T\\189\\196>6\\142\\SO\\245\\188\\221Y\\RS\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\SYN\\SUB\\158\\180\\135\\242\\243\\147\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\153\\165\\SUBMI\\155\\193I\\191hZ\\194l\\241\\251\\148\\&8A\\226z\\137\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"9Q\\ESC\\191\\233NS\\210\\214\\182\\147\\200\\ACK\\131\\159_\\164\\164<\\DC3\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203u|\\ESC\\196\\148N\\237NX<\\236\\v0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\vc\\\\\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\176\\154)\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"X`\\159\\ACK@\\237U\\244\\163a\\147\\133\\197?u\\228\\SOH<\\136\\232SQN\\219\\133\\205\\137\\\"<\\141W\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248'z\\230\\140\\r]\\\\?\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\146\\252]Z\\136\\184\\137\\169\\SOH\\ESC\\156\\205E\\165\\156\\152\\&0z\\226\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\196h\\239\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"VW\\194\\184\\166\\180\\175Y\\223\\167g\\r\\173L\\222\\152p\\164 -\\133\\150\\EOT\\EOTR\\240\\253\\225\\234B\\240\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629938"],"tag":"AbiUInt"},{"contents":[256,"99319582822135257752878486610068103695991587297878934440734918292034733460265"],"tag":"AbiUInt"},{"contents":[256,"23902936888951322732964125179952131830923847581517604419624752571037110845228"],"tag":"AbiUInt"},{"contents":[256,"115633943681628252377098248632309323841276929701651167451722484245486687354888"],"tag":"AbiUInt"},{"contents":[256,"130569694913658124309652858325072367105330284672753207555730599887991"],"tag":"AbiUInt"},{"contents":[256,"51788257188491116306642374804130480848032269671097091103825087926195895424112"],"tag":"AbiUInt"},{"contents":[256,"903"],"tag":"AbiUInt"},{"contents":[256,"6421814254790671431681646594832807003730098372002916530715458376081837387446"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"1000"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577600"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"52076957604534584733920091426914779196100162414441931099629307741444099329155"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"},{"contents":[256,"25239237497839548458783609296694176729537886852551947860638554177816376015448"],"tag":"AbiUInt"},{"contents":[256,"221362230450024447803693168643037851449393"],"tag":"AbiUInt"},{"contents":[256,"102"],"tag":"AbiUInt"},{"contents":[256,"76656239700914995589658926097311429018499251431035305035956389553648100029489"],"tag":"AbiUInt"},{"contents":[256,"55306729054444470555707770758423794782883159308312561462910879389986845440708"],"tag":"AbiUInt"},{"contents":[256,"1867533718490810"],"tag":"AbiUInt"},{"contents":[256,"45576898736865231380033828254439561066958762055170035070658059077724513924198"],"tag":"AbiUInt"},{"contents":[256,"50674226578580750704020786176625687920212283729947081741007199198791427964080"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781055"],"tag":"AbiUInt"},{"contents":[256,"80"],"tag":"AbiUInt"},{"contents":[256,"2"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"53960634563093821979581433164021249750994274043814173449405696480308530786612"],"tag":"AbiUInt"},{"contents":[256,"111971818789679729762516767167646961622510442178025198829768123624429704407587"],"tag":"AbiUInt"},{"contents":[256,"100"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222591"],"tag":"AbiUInt"},{"contents":[256,"39837033095623266866596201401785743228799536670948529839349405925880791436469"],"tag":"AbiUInt"},{"contents":[256,"30327252742990524055744560381781600302242197656828952982177448612896638238306"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266892"],"tag":"AbiUInt"},{"contents":[256,"133"],"tag":"AbiUInt"},{"contents":[256,"108986522778548096567210504499311674370432582247506365689538135966301863628049"],"tag":"AbiUInt"},{"contents":[256,"77850938988124644398018933984827143224000129172286478147131773897925916202068"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639928"],"tag":"AbiUInt"},{"contents":[256,"93677640967547939419191762285572400992291074790904637160873740078448292219212"],"tag":"AbiUInt"},{"contents":[256,"46606324031265542586064344488006948707913457019321840873626143268356673035364"],"tag":"AbiUInt"},{"contents":[256,"100000003"],"tag":"AbiUInt"},{"contents":[256,"4046027627725896411916333139501556531620461175385119196207978168635741372413"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858878"],"tag":"AbiUInt"},{"contents":[256,"1531981377"],"tag":"AbiUInt"},{"contents":[256,"1266607398925599058412590515527303909946111979953870100579729425651831492590"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"1001"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222590"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639814"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781055"],"tag":"AbiUInt"},{"contents":[256,"101252598591045283805156040498847435230207053546512326440202606740705822995687"],"tag":"AbiUInt"},{"contents":[256,"69445933793155039798127051867800311082120532021507371846159557902631619836343"],"tag":"AbiUInt"},{"contents":[256,"49488670886890562354298997068521120904509483137840474565782051354433929577103"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"70096707935353639534394292516923997759359960330454791200046381890623406395020"],"tag":"AbiUInt"},{"contents":[256,"105"],"tag":"AbiUInt"},{"contents":[256,"98"],"tag":"AbiUInt"},{"contents":[256,"111069582148279915003221085415741066506606380285070215707423117456381135504380"],"tag":"AbiUInt"},{"contents":[256,"31433743923370864932743933125942285495291599070202146730681952842596645617170"],"tag":"AbiUInt"},{"contents":[256,"9"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639924"],"tag":"AbiUInt"},{"contents":[256,"90384807145647767038282568149189857891632382187051849146928653474650784878305"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639707"],"tag":"AbiUInt"},{"contents":[256,"111671405130025309581911765366504880658302231666316000071649137223880229642541"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639855"],"tag":"AbiUInt"},{"contents":[256,"81306544560048034655984141742458045425296039852009757234843808196469599905344"],"tag":"AbiUInt"},{"contents":[256,"953"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639034"],"tag":"AbiUInt"},{"contents":[256,"81310526619404678070942548161746407128220865433047423200041387745652128839636"],"tag":"AbiUInt"},{"contents":[256,"82"],"tag":"AbiUInt"},{"contents":[256,"637453298971343357334294337068790103262296592070834204731018876443166075540"],"tag":"AbiUInt"},{"contents":[256,"20828603141445428499534454900616510188614936290593303962830728267025656789361"],"tag":"AbiUInt"},{"contents":[256,"138"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"123"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553538"],"tag":"AbiUInt"},{"contents":[256,"110502328394021649258774856549062862883096445995451189273151360433894543100805"],"tag":"AbiUInt"},{"contents":[256,"114561932581135368047809684900075427370273948219641804627288811530829221182240"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639857"],"tag":"AbiUInt"},{"contents":[256,"41956032997661032699236566866269404493763477609997766176800496894783758072700"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639702"],"tag":"AbiUInt"},{"contents":[256,"1313373038"],"tag":"AbiUInt"},{"contents":[256,"15924255483691077267851046118179084114601191373061707152634402820249249419005"],"tag":"AbiUInt"},{"contents":[256,"24974555251910053024846814728801566194271954477633136408500689866351748174197"],"tag":"AbiUInt"},{"contents":[256,"1001"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639839"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062339"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"309485009821345068724781058"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639705"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950337"],"tag":"AbiUInt"},{"contents":[256,"46644370055744694058114493435484057654472443556540273411023433640851216550207"],"tag":"AbiUInt"},{"contents":[256,"21103562136799876266419870694968822158316981455037429576289256004239449926045"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"62"],"tag":"AbiUInt"},{"contents":[256,"101453431031823161199768849755483892745665047468611092590199846698995461934556"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628414"],"tag":"AbiUInt"},{"contents":[256,"11"],"tag":"AbiUInt"},{"contents":[256,"848"],"tag":"AbiUInt"},{"contents":[256,"70509926083387485077434128233729758850804212045197900126557968976890751899875"],"tag":"AbiUInt"},{"contents":[256,"753"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781055"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006509d","0x0000000000000000000000000000000000000000000000000000000000000068"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001c","0x000000000000000000000000000000000000000000000000000000000000b7e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"4353027116465952260435077098188553428992442357018499005273253638970888631468"],"tag":"AbiUInt"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007cd","0x0000000000000000000000000000000000000000000000000000000000009aa2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000031","0x0000000000000000000000000000000000000000000000000000000000008193"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\203M\\254\\216Y\\203B\\EOTC\\\\\\t\\247\\143h-\\238+L\\128\\207\\187\\SI\\222\\&4\\201\\SYNF\\152\\183S\\216\\136\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000075","0x000000000000000000000000000000000000000000000000000000000000270f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fc","0x0000000000000000000000000000000000000000000000000000000000001272"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3f","0x000000000000000000000000000000000000000000000000000000000000ca0d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"7"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb33","0x0000000000000000000000000000000000000000000000000000000000002609"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"39171861123755797358199863840777956926773908773098469022803769908660316127233"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f18","0x0000000000000000000000000000000000000000000000000000000000000fb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639907"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003edf6","0x000000000000000000000000000000000000000000000000000000000000e348"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000085","0x0000000000000000000000000000000000000000000000000000000000009aa0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062028","0x0000000000000000000000000000000000000000000000000000000000000038"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"309485009821345068724781057"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f5","0x00000000000000000000000000000000000000000000000000000000000000fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222590"],"tag":"AbiUInt"},{"contents":[256,"297"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f37","0x0000000000000000000000000000000000000000000000000000000000000384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"275066903801744294419133056935514254389"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f17","0x000000000000000000000000000000000000000000000000000000000000711a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115572056866088842163532327308332954457042799663419007453655909625579942078377"],"tag":"AbiUInt"},{"contents":[256,"36972836661185056889413170734925409327378470763479443038959975273532580955970"],"tag":"AbiUInt"},{"contents":[256,"2088160847854863052105311994291206759593124591292250928261684380035079414032"],"tag":"AbiUInt"},{"contents":[256,"107468965501837524227848184639800128448615089833387278649848036569946693688786"],"tag":"AbiUInt"},{"contents":[256,"21"],"tag":"AbiUInt"},{"contents":[256,"29998210145316311494197734850554674417272148923183131009674360813323492798852"],"tag":"AbiUInt"},{"contents":[256,"74"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639819"],"tag":"AbiUInt"},{"contents":[256,"103154133540652351417962155379118867537103290780206351566380843787823702374589"],"tag":"AbiUInt"},{"contents":[256,"72102576623331011716269235489367911763353196010587767964392682919679616313495"],"tag":"AbiUInt"},{"contents":[256,"6211728534080459063428544156583329474084716617128644694721978047970877008851"],"tag":"AbiUInt"},{"contents":[256,"26678796942138935943351540122524217831142040841050618002031031438546317850651"],"tag":"AbiUInt"},{"contents":[256,"26678796942138935943351540122524217831142040841050618002031031438546317850651"],"tag":"AbiUInt"},{"contents":[256,"26678796942138935943351540122524217831142040841050618002031031438546317850651"],"tag":"AbiUInt"},{"contents":[256,"26678796942138935943351540122524217831142040841050618002031031438546317850651"],"tag":"AbiUInt"},{"contents":[256,"26678796942138935943351540122524217831142040841050618002031031438546317850651"],"tag":"AbiUInt"},{"contents":[256,"88358101336403425862183423616796518452240200726849249202748658525090081476202"],"tag":"AbiUInt"},{"contents":[256,"84007526698801554392415613199480208348158823079175593439050357248577880321618"],"tag":"AbiUInt"},{"contents":[256,"75054545522018453364571837975402618438976962309810464946848200238474496138441"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634935"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747165"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211779"],"tag":"AbiUInt"},{"contents":[256,"1460152272111492911798887767589291063109451815919697"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"119"],"tag":"AbiUInt"},{"contents":[256,"69887864982963978469348751003796969365199664891756572364503932950370412038600"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950333"],"tag":"AbiUInt"},{"contents":[256,"1000"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577601"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"40873958003236491597015231019766961513705457748873713157644458897992759391991"],"tag":"AbiUInt"},{"contents":[256,"71048402348771371448328397685013943804836987692659170011316616156364781610792"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035137"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731855"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551618"],"tag":"AbiUInt"},{"contents":[256,"15164163598119140325670916797346640973382011615354486106427013813231094891"],"tag":"AbiUInt"},{"contents":[256,"33442588933527632014644048180092562906570810878899023786694199891030110921487"],"tag":"AbiUInt"},{"contents":[256,"107"],"tag":"AbiUInt"},{"contents":[256,"85"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639875"],"tag":"AbiUInt"},{"contents":[256,"46339512118984211014054276389381530135352341037002538281159820205527373539750"],"tag":"AbiUInt"},{"contents":[256,"1313373039"],"tag":"AbiUInt"},{"contents":[256,"68705145277327043792825006698205322604374305998439921138021800716632459093378"],"tag":"AbiUInt"},{"contents":[256,"40615851354108375954250941294607999657367557546486020155955620412098262286131"],"tag":"AbiUInt"},{"contents":[256,"3604"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000086","0x0000000000000000000000000000000000000000000000000000000000007cae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x00000000000000000000000000000000000000000000000000000000000007d2"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000024","0x00000000000000000000000000000000000000000000000000000000000013aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577601"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba7","0x0000000000000000000000000000000000000000000000000000000000001315"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"269058317516"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea4b","0x0000000000000000000000000000000000000000000000000000000000003f80"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaea","0x0000000000000000000000000000000000000000000000000000000000002609"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"2314389206775728095762310828360211602342079716178787466458192743994615114245"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c43a","0x0000000000000000000000000000000000000000000000000000000000002e32"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":[256,"94586859129009165142741597798159875922559866154613228641692287543437793684474"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063aad","0x000000000000000000000000000000000000000000000000000000000000ab7d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb02","0x0000000000000000000000000000000000000000000000000000000000001c98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6f","0x0000000000000000000000000000000000000000000000000000000000000e14"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"245240922655941953341508754859913873883699790280884868716"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb05","0x000000000000000000000000000000000000000000000000000000000000d13a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"13337157973158676712850731404002541370188004810384302074957751605884790705463"],"tag":"AbiUInt"},{"contents":[256,"10"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000189e3","0x00000000000000000000000000000000000000000000000000000000000069ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"501"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639830"],"tag":"AbiUInt"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003256a","0x000000000000000000000000000000000000000000000000000000000000619b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":[256,"42611829692655190532935812341118400258329225239011344639217602713135382937626"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e6","0x0000000000000000000000000000000000000000000000000000000000001019"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639857"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ea","0x0000000000000000000000000000000000000000000000000000000000001398"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"472260498517428093450829853099908082"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001acd9","0x000000000000000000000000000000000000000000000000000000000000138a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639925"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002f978","0x0000000000000000000000000000000000000000000000000000000000000384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":[128,"309485009821345068724781055"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba7","0x0000000000000000000000000000000000000000000000000000000000000129"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"141"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"2411001364903914425040133962"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7be","0x0000000000000000000000000000000000000000000000000000000000000089"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0ea","0x0000000000000000000000000000000000000000000000000000000000008ecc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"20"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bae","0x0000000000000000000000000000000000000000000000000000000000009e97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c5","0x000000000000000000000000000000000000000000000000000000000000e247"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"33703239287501180867482864606708512725573517013686284392922003337158113521750"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5b","0x0000000000000000000000000000000000000000000000000000000000007e4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":[256,"472260498517428093450829853099908085"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052be8","0x0000000000000000000000000000000000000000000000000000000000001328"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d828","0x000000000000000000000000000000000000000000000000000000000000133b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000009125e","0x0000000000000000000000000000000000000000000000000000000000002ea6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639937"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae2","0x000000000000000000000000000000000000000000000000000000000000325c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d828","0x00000000000000000000000000000000000000000000000000000000000000fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[128,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000110de","0x000000000000000000000000000000000000000000000000000000000000653e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999998"],"tag":"AbiUInt"},{"contents":[256,"96"],"tag":"AbiUInt"},{"contents":[256,"50260661973955623304618504128890400067741490417043189677102786694775416946738"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4a","0x00000000000000000000000000000000000000000000000000000000000095ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639438"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdb","0x000000000000000000000000000000000000000000000000000000000000ea4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002f","0x00000000000000000000000000000000000000000000000000000000000085ec"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689599"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055778","0x0000000000000000000000000000000000000000000000000000000000009e96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"269058317516"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000012e1a","0x0000000000000000000000000000000000000000000000000000000000009aa4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"62"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000015","0x00000000000000000000000000000000000000000000000000000000000095ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000077","0x0000000000000000000000000000000000000000000000000000000000000022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639907"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb2","0x0000000000000000000000000000000000000000000000000000000000008ffb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb12","0x000000000000000000000000000000000000000000000000000000000000012f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"604800"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"16821206832248296139020066265880746207924979237966910467156050262346234279561"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"22014898058785874957709647834712442486540764385636548912801467486677303934190"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001386","0x000000000000000000000000000000000000000000000000000000000000138d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084276","0x0000000000000000000000000000000000000000000000000000000000000055"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]