[{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"21054792666691782376543774693331459815005040259759287915587786111756109805133"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270e","0x0000000000000000000000000000000000000000000000000000000000000381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"81"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000668ee","0x0000000000000000000000000000000000000000000000000000000000003350"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000039","0x0000000000000000000000000000000000000000000000000000000000000053"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"244"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000016","0x0000000000000000000000000000000000000000000000000000000000000022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"77114752148215811142465629561325132541820464191067002954733089053416097457842"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142ee","0x000000000000000000000000000000000000000000000000000000000000135c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"64"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"499"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000017","0x000000000000000000000000000000000000000000000000000000000000c543"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004f08c","0x000000000000000000000000000000000000000000000000000000000000270d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"14395190800747823482387797840047213292885345145458885178284599780605148106437"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eace","0x0000000000000000000000000000000000000000000000000000000000001a41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34e","0x0000000000000000000000000000000000000000000000000000000000002323"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000077","0x0000000000000000000000000000000000000000000000000000000000000400"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"3306610710743390813235142416019392061120610129719327205401244178503706002536"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427a","0x00000000000000000000000000000000000000000000000000000000000019b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":[256,"28403742836480675649347773849898960873685918049016827878100181713338870050538"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2a","0x000000000000000000000000000000000000000000000000000000000000138d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002711","0x0000000000000000000000000000000000000000000000000000000000001391"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"70875982230952551082660676241181846504273916375866681404652048076460883957683"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d53","0x0000000000000000000000000000000000000000000000000000000000000055"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eafe","0x0000000000000000000000000000000000000000000000000000000000001341"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"241"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe4","0x000000000000000000000000000000000000000000000000000000000000a296"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"99249380957883541672781356660293478865762153952267521915270585216111176463723"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000046","0x0000000000000000000000000000000000000000000000000000000000000027"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"1000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e0e","0x0000000000000000000000000000000000000000000000000000000000009e96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"6"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005408b","0x000000000000000000000000000000000000000000000000000000000000ca0b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000103ef","0x0000000000000000000000000000000000000000000000000000000000001343"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000006123","0x00000000000000000000000000000000000000000000000000000000000007cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0e8","0x000000000000000000000000000000000000000000000000000000000000101b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"231"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580ae","0x0000000000000000000000000000000000000000000000000000000000000087"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075049","0x000000000000000000000000000000000000000000000000000000000000b31c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"37148480863953326154050944796377562247391766086397075688265880063149221802521"],"tag":"AbiUInt"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000036","0x0000000000000000000000000000000000000000000000000000000000007119"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639939"],"tag":"AbiUInt"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":[256,"30757148316896523883052912112174820112759636808805792481582150041564294459922"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000008a","0x0000000000000000000000000000000000000000000000000000000000000fb6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\DELfIeh\\131\\153>\\145\\132\\SOW`\\198:\\192\\165\\223+\\CAN\\216\\196qR\\ESCq\\NUL\\133\\245r\\129g\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2d","0x000000000000000000000000000000000000000000000000000000000000ce11"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639679"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000006123","0x0000000000000000000000000000000000000000000000000000000000002323"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec8","0x000000000000000000000000000000000000000000000000000000000000ca0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000b","0x0000000000000000000000000000000000000000000000000000000000000023"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":[256,"38687178530545626015391541269603221806091481710780787870901005862729462785231"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd8","0x0000000000000000000000000000000000000000000000000000000000000024"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"59907784049438654146160363537016060978813095504937086869252458951088811171173"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d464","0x000000000000000000000000000000000000000000000000000000000000d9da"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"42219218070608671037780710421344277544677296061284753485217943923534362273097"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132610"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003c82a","0x00000000000000000000000000000000000000000000000000000000000007cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"45293455647422193567598497582845592556664683482152216012060084422346407034330"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba8","0x000000000000000000000000000000000000000000000000000000000000e1b1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"41747398476957723385656907246380745227354185115244071986492363485593509877555"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb34","0x0000000000000000000000000000000000000000000000000000000000006a7d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"62841342897306762192271447821898612208886881774607444736076060167117431471853"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000041a2","0x000000000000000000000000000000000000000000000000000000000000d8d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639926"],"tag":"AbiUInt"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81d","0x000000000000000000000000000000000000000000000000000000000000004e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eabc","0x0000000000000000000000000000000000000000000000000000000000001337"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"37054740769143694010234193293090706524681909186795921747513405781205070799980"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000043","0x000000000000000000000000000000000000000000000000000000000000135d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b056","0x0000000000000000000000000000000000000000000000000000000000004487"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"41666575978831621695213629044427670196433227618680251814926380284830607628405"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052ef7","0x0000000000000000000000000000000000000000000000000000000000008193"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"115201795938251436801803525608447150951520950442383343700851779811989508395471"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b1","0x000000000000000000000000000000000000000000000000000000000000ea14"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"1525647825"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000211eb","0x000000000000000000000000000000000000000000000000000000000000ca9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"41968876047429325930756866255091599755628951457450490461077994697158541823071"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c4","0x00000000000000000000000000000000000000000000000000000000000045d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"4187242748954383"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000094ab","0x0000000000000000000000000000000000000000000000000000000000003f82"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062e2f","0x00000000000000000000000000000000000000000000000000000000000005e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"73267133073174345377344115886839479956128655504811893476781342481883945005315"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052405","0x000000000000000000000000000000000000000000000000000000000000263d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"12"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002c86e","0x0000000000000000000000000000000000000000000000000000000000000e10"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"77682023134872786997405030501046915901917315131215957308434544742173581526279"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5c","0x0000000000000000000000000000000000000000000000000000000000000051"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"91"],"tag":"AbiUInt"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639852"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000009383","0x0000000000000000000000000000000000000000000000000000000000000031"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"80754547100963647345429445506408692271994237930130388871986756389751927246712"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000049","0x0000000000000000000000000000000000000000000000000000000000004396"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb13","0x00000000000000000000000000000000000000000000000000000000000000ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000683d1","0x000000000000000000000000000000000000000000000000000000000000ab9b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002326","0x000000000000000000000000000000000000000000000000000000000000007f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000044d9a","0x000000000000000000000000000000000000000000000000000000000000b449"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043c15","0x0000000000000000000000000000000000000000000000000000000000000f9f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"53071755181290799145575733573019370339531296261283629440353750591150837879045"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"73702014588586190800702137174495717878624748582438408043448127379535634180460"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001e0e4","0x0000000000000000000000000000000000000000000000000000000000000fa0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052403","0x000000000000000000000000000000000000000000000000000000000000d9d9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"110389481461986226260245326320037459572004351249731239623445253656254103928034"],"tag":"AbiUInt"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f113","0x00000000000000000000000000000000000000000000000000000000000012b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb18","0x0000000000000000000000000000000000000000000000000000000000001c98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"79156604669208233101731358655018978838615734584175578304004056149523129365292"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000064","0x000000000000000000000000000000000000000000000000000000000000a291"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"95"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000a68f","0x0000000000000000000000000000000000000000000000000000000000006ddd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004bc30","0x0000000000000000000000000000000000000000000000000000000000005256"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008345","0x0000000000000000000000000000000000000000000000000000000000005d4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000064972","0x0000000000000000000000000000000000000000000000000000000000008195"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"3512568535359894602953091825272820051339407676011038959444755154253852665751"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001e","0x0000000000000000000000000000000000000000000000000000000000000b20"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e6","0x000000000000000000000000000000000000000000000000000000000000ca0b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005caa0","0x0000000000000000000000000000000000000000000000000000000000003230"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"48"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fb","0x00000000000000000000000000000000000000000000000000000000000013ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"14"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639872"],"tag":"AbiUInt"},{"contents":[256,"64604090856829473280896315577409998621473169109989636634569774440883260452782"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0f","0x000000000000000000000000000000000000000000000000000000000000270f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81f","0x00000000000000000000000000000000000000000000000000000000000000fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"791"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006dfc5","0x000000000000000000000000000000000000000000000000000000000000ae0f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"5002"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577603"],"tag":"AbiUInt"},{"contents":[256,"81902752203235134906147522370813759176964613789982608180227384914369655341712"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222592"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222592"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222592"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014cac","0x0000000000000000000000000000000000000000000000000000000000000440"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007cd","0x0000000000000000000000000000000000000000000000000000000000008195"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"1529104706"],"tag":"AbiUInt"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000fe","0x00000000000000000000000000000000000000000000000000000000000058ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"88274199228675186436216091169973500886201072027625107358993665504600086512072"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c6","0x0000000000000000000000000000000000000000000000000000000000006230"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000048d12d6540ea90ed9"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb41","0x000000000000000000000000000000000000000000000000000000000000d289"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"Error(string)\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000cbcd","0x0000000000000000000000000000000000000000000000000000000000001369"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"26848844801001793224802888051284825915087544508100874249542613894843880682027"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639852"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000058a64","0x00000000000000000000000000000000000000000000000000000000000012b5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000566cc","0x0000000000000000000000000000000000000000000000000000000000003ed9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"20"],"tag":"AbiUInt"},{"contents":[8,"129"],"tag":"AbiUInt"},{"contents":[8,"123"],"tag":"AbiUInt"},{"contents":[8,"118"],"tag":"AbiUInt"},{"contents":[8,"8"],"tag":"AbiUInt"},{"contents":[8,"80"],"tag":"AbiUInt"},{"contents":[8,"17"],"tag":"AbiUInt"},{"contents":[8,"35"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005be05","0x0000000000000000000000000000000000000000000000000000000000002609"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead0","0x0000000000000000000000000000000000000000000000000000000000000b20"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000049c","0x00000000000000000000000000000000000000000000000000000000000071d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"(X\\179\\162\\DC4\\184\\168\\&9{\\136\\238\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\229H 6\\243\\&8\\253\\201\\225_8\\157\\133\\240\\180\\&6\\172j\\204 \\DC1\\193\\158\\148\\255\\224\\204U\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\\"\\249p`r\\236\\147\\161\\f9\\ETXv9\\236\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\\\\\f\\220\\US\\240\\242\\NAK\\170\\154lE\\236\\131\\DC2s\\201z\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\181\\213\\188X\\157\\194\\210\\222\\244E\\248\\DC2]\\f\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\155\\&3\\208k\\US\\254%\\180\\\"hH\\176njV\\255i\\254\\185\\183\\210\\140\\243P\\255h\\189}\\242\\184\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152J\\SOH\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\143\\DC2U\\131\\182\\255\\244m~'@\\173\\189\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136(=\\227\\ETB\\238\\n\\160\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152}\\212O\\136\\&0\\183\\v=\\151\\181\\DC1\\EOT\\141,k\\231_\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!\\135M\\178\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\165x\\SO\\143G\\212\\&9\\t\\223H[\\164\\195z\\251\\178\\143\\&4;CU[\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236'v\\SYN\\215d\\186\\145qX\\b\\226\\161\\130* \\158\\199\\&7\\138\\228j\\174\\226\\174\\181g\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\179\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DELs\\140\\159^\\ENQ\\208\\142\\ETB\\208]\\197\\SUBq\\248=\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\180k\\227\\150\\160\\234\\244\\SOH\\188\\239\\213l#\\STX(\\239\\221\\EOT\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\238\\205\\r*CL\\210\\EM\\155\\&5\\169\\179\\DC1j\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\221!J>\\145\\241)\\232\\203\\137\\241\\EM\\235\\229\\134\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f`u\\GS\\254\\150*\\a#\\159\\SO\\r\\239*b\\248v\\SUB\\ESC\\181R\\145\\165\\158\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"7L\\129\\149D(\\199\\RSz\\225 \\DC3\\145\\&0aW\\210\\NAK\\232\\187v\\a|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143AQ\\146L\\244%\\226b\\DC1\\236\\v\\255\\136D\\229\\145\\170x\\170J\\194\\236\\188'\\128\\191L1\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241R\\fp\\222-\\129\\SO&\\235%j\\172\\172\\238g\\171\\223\\180\\SOH\\170\\210\\&1U\\204\\DC3H\\SOd\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\196\\172s:\\150H\\171%\\233\\135\\GS\\173j6\\bu\\193\\255boX\\196>\\244\\246\\191\\ETB\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\200\\240D\\DC4_Zc\\128\\196\\226\\246\\159\\&6\\254\\ETB\\217\\&4\\ENQ\\160>h\\145\\253\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\134R\\251\\197\\160JT\\164$\\146V\\232\\176\\148nt\\228\\149\\131\\140q\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\191\\134\\135L\\220\\228q1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\vB\\DELG\\161\\US\\192y\\206\\ACK\\152\\141?-\\148i\\198\\198\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\bZ\\160\\207G\\178\\236\\157~\\ti\\223B\\ACK\\133\\170SM\\148W@\\239W\\187\\250q\\179\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\USQ\\208h\\184&\\DC4\\192\\236\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\169\\181#\\140\\232mA\\178\\246%\\132O\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161]\\227\\196\\129\\238\\156^\\251W\\195\\216o\\211\\131\\187\\&4l\\ESCc\\246\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\190\\217\\163i\\219\\EM`&\\\\8h\\r3\\230u\\185\\129\\233\\230djh\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"N*N.\\169\\178o\\STX\\ESC\\EM\\199\\230\\209S\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\210\\225\\141\\228\\189\\198\\255r\\211\\133a\\246K\\181\\240$\\SO4\\225\\164\\&6\\209\\&2^\\RS6\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\181\\ESCq\\170\\197\\&6\\DC4\\ACKKMD\\142\\186\\ETX%\\187p\\228\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\132\\200\\140\\RS\\CANu}M\\233O\\162\\131'\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\169\\162\\226|\\226n\\146\\215\\161\\185\\189\\227\\175?\\184\\161\\137\\216\\242x\\222#\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\193J8m4\\251\\160\\206q\\t$\\183\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252Q<\\DC1m<\\209eI\\180\\128\\139$9V\\248\\199\\DC1\\189Y\\bp\\RS\\b_\\b\\150\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167=\\NUL\\239\\&2\\181q\\180\\244\\250\\&8\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\165\\149\\177\\135\\140\\131\\147\\170A- \\241!\\SI\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\144\\195\\172U)n\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\149\\153U\\225\\\\\\US:\\224]K\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\161\\239\\&1\\230\\197\\169b\\230\\DLEX\\172\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\129\\158\\183:2_Z\\DC3\\v\\152\\179\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\175\\239s\\254t\\203\\\\\\219\\&3\\199\\171\\&1C\\DC2Y\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\200C\\241+\\149m\\EOT\\SYN{XS`#\\217\\DC4X\\132\\236\\201\\165\\154\\223.r\"","tag":"AbiBytesDynamic"},{"contents":"\"[%\\RS\\167\\199<\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237={\\252\\189\\245\\205n?\\189\\129%\\n\\SO*\\164\\DLE\\181\\176\\219C5\\DEL#8\"","tag":"AbiBytesDynamic"},{"contents":"\"V\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\188j\\DC1bN\\147&\\SOH<M\\186\\150 \\SUB\\163\\128\\136\\201\\189\\\\\\191\\164\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\216x\\237\\144\\DLE\\134U\\150\\GSd:\\129\\130\\v\\233\\177P&'i\\255\\201\\&9\\147\\208s*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199U\\237\\215\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\179p\\139\\RS@1\\209\\251\\171\\168\\151c2/\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\206\\134\\&5\\SYN\\142\\232\\233\\175\\&9}\\132\\175\\202G\\147\\129\\153d\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\209\\&3\\240\\229e\\136^\\SI\\223\\147\\234\\&1 \\197r\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\196\\153K\\FS5Z_\\246\\DC3\\DLEPnN\\tb\\216\\133\\172\\&4\\CAN\\197\\249\\199\\207\\197\\216v\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\138\\134,\\SIDtc\\128]\\v\\212.\\USoi?\\136?\\169g\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\219\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\USF\\187\\139M\\139\\DC1\\164#\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\236\\190\\ENQV\\a\\143\\175KR\\193\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\150&\\133\\153`m\\200,$r\\227 K\\f\\207\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DC3\\194cd\\168\\219$\\230*K\\175\\SIX\\188\\182\\177Zs\\180\\168;j\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"3z\\139\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234w\\138(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\143uJ\\207H\\145!\\191\\DC3\\US\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\138/ms\\221{#\\201\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252IO\\CAN\\f k[\\196a\\255Y\\247\\&8\\159Lh\\169\\179\\DLE\\236\\t9\\147\\202\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\149\\184~\\201\\174(\\183\\151l5\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\243\\ETB\\DC3\\210\\STXy\\SI^\\t*\\SUB\\175\\US\\192mJ\\242\\164!\\208\\149R\\226\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\137B\\248^\\232\\172\\237U\\201\\&2\\137\\239y\\196T\\170\\STX.q\\180-t\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\166!V\\166W`\\232\\167[\\152UY\\197\\242\\211\\137\\199\\150u\\188\\173\\230\\194t\\SOH\\161\\165\\206&\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\230e\\249\\132\\239b:&I\\SUB\\179\\239\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\ETX\\209\\237\\142\\170j\\203\\152\\t$\\163\\238x\\200\\NAKY\\203'M_\\218\\204\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\223\\186\\161\\FS\\194t\\160f\\175\\165\\217?\\SUB\\199\\&4\\170\\203\\148\\STX\\210q\\142\\196\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\154\\196\\EMWk\\176\\NULiAy[\\\\\\234R\\237x\\186C\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\159\\DC4\\167\\SYN\\152\\SI\\EM\\175y\\242g\\211t\\140\\202\\183\\177VY\\160\\197[Q\\196\\162\\147\\161[F\\211\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"=0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"L\\180\\209@\\158\\DC3hj\\142\\252i\\EOT]\\175`\\b\\129\\DC4?&\\129\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\209\\220\\219\\148Z\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\214S9cz\\235%\\NUL\\201\\FS\\128\\142Y\\168\\DLE\\ESC\\243\\184\\194\\163\\163\\209\\169Mm\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181i\\209\\152(\\232\\153W\\235\\154\\&7P\\212l~ }}\\FS\\DEL\\215\\240\\146$\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\159=\\154\\199\\229\\v\\ETX\\DC1J\\235O\\142;\\158\\229,/\\203\\DC2W\\187}\\178$]&q\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165PzG\\159\\227\\\\\\137\\202\\253R@\\174\\156 \\r\\210\\225\\187\\214\\201\\245\\159\\179\\r4\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"sC\\155\\SOHr2S\\158X\\CAN\\136E\\151\\193\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\217\\134\\235\\158\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\226\\197:#o,\\ETB\\200#\\193\\224S\\161\\150\\EOTEc\\133\\242\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\217x8*\\DC1u\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223<\\199\\187MV\\142yC9\\173.e5m\\235\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\n\\216BP\\198\\134a\\184*\\ETX\\238\\192\\156(\\252\\&2\\ACK\\211V\\138\\191V\\249R.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\f\\244O\\197f\\146\\\\s\\249\\230/\\163\\SUB\\\\\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\206z0h\\152p\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236*\\167\\133\\210\\147\\222\\152\\241\\161\\239\\205\\218\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\198\\ENQC\\CAN\\140\\STX\\201\\208+\\214G\\251\\139F\\139h\\vm\\192\\134\\212\\151\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132<\\FSM\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\202\\132l\\161\\204,I\\204\\197\\244\\151\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255Zj\\r\\228>\\212\\237\\155\\t\\201;<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\187\\206s\\250\\144y\\RSO\\172\\149 \\DLE\\181\\CAN\\185\\198\\b\\217jV\\r#\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\217\\237\\136\\ETXi_c\\a\\186\\234u\\t\\249\\214\\130\\233\\153U\\239\\186\\214\\\"c\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\238\\152\\v>'\\202\\167\\168\\\\\\237\\&4'\\204\\178\\225^\\196\\240\\US[\\186s\\240\\SYN\\SO\\251\\&80\\165\\166\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132=z\\137<\\203\\225\\135\\&9\\191\\239N\\182\\DC1\\227\\181\\230\\228\\232q\\152\\139\\224\\159f\\STXm\\191\\189\\155\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\255\\162m\\SIO\\161\\238\\146\\170H)\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"b+E|G\\NAK').\\220L\\ENQ\\152\\170/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\146G\\v\\151\\193\\179\\153\\233\\147\\ACK\\251\\146\\NAKDZd\\t0:cv,\\re\\235d\\159\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\229\\f\\159m~\\234\\SI\\NAK\\226\\151\\170Y\\205[LD\\222i\\134\\180\\166\\STXO\\235o\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\\\N_Y-\\220\\199\\239\\&9M\\143\\170\\164{>\\200/\\156\\206\\254\\242*\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250g\\DEL\\203\\&2\\172B:Zc_\\146q\\CAN\\205\\225\\RS\\208F\\196\\ACK\\244\\200\\176I\\193\\bW;k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\249'\\249O\\167\\t\\146\\177\\157n$u\\250\\SYN\\133\\&9L\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\191N\\227\\DC1\\246\\143\\200\\182\\233\\255\\246\\131\\169;\\226Y\\EOTq7\\147F\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\170\\v\\192La\\USN@\\183\\f\\222\\187\\164\\176\\215aC \\153\\182\\163E\\238\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"A \\208E\\248\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144(H{\\240\\196\\214:\\228\\\"\\213i\\222\\212\\f5\\191\\211\\178\\132xT\\163r\\r\\245\\230g\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\212i\\168-\\t\\SO8\\244\\244\\241\\&1\\184}K]\\207\\173\\136w\\190\"","tag":"AbiBytesDynamic"},{"contents":"\")\\148nI\\243\\157<<u&4o\\226O\\EOT$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\RS*\\181\\NUL\\SO\\EOT\\239B9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\182\\148(\\229\\233\\238\\159\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\186\\200\\135\\156\\203\\255\\170\\199\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\ACK\\142\\&8\\164\\aX\\131\\173\\187\\208\\233\\182n|\\203\\207\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\SYN\\129\\DC2\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\252f]\\229P$\\187,\\152\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\219\\248,\\190p\\197\\214\\185(\\207\\171\\SYN\\135\\EOT\\163\\214\\196\\231\\\\\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\RS\\148\\211\\207\\250\\220-\\217\\229\\SO\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\254\\250\\156\\133\\223\\251n\\184d\\142\\157+\\228\\142m\\152\\239\\ETX\\211,\\209\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\237r\\137\\161+\\216\\b\\213\\NAK\\183O\\205\\159\\174!\\227I<]\\136\\229\\161!\\202s\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"n^C\\152s+\\145\\\": \\146\\137\\&5gr\\245\\188\\228\\GS\\168\\SOH\\ESC\\242\\&6\\143z\\191Kx\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\216\\147\\ACKA\\241\\147\\SYN\\212Kx\\ENQ\\223\\165\\ruz\\NAKv\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\137v\\191/pJ\\t\\184hbCaw\\152,Kp\\208\\NAK\\234\\250\\158\\&4\\165\\244C\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\196\\132,@t\\218\\207:\\173\\NAK\\141\\160\\188\\255\\139w\\DC3\\135\\139\\136\\146\\251\\229\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLER\\224%\\171\\f\\209\\243}\\244\\143\\150\\US\\174\\224\\132\\153\\235\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\182R\\174\\229\\203\\ACK\\208\\147}\\147\\208\\163\\SO\\152\\SYN7\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\160y\\207\\208\\212\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\236\\SO\\192\\190Sx\\f\\172\\173\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\\"5\\133\\219\\192\\222\\207|\\\\4\\171t\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\"","tag":"AbiBytesDynamic"},{"contents":"\">\\155m\\v>p\\252\\244s\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL@\\178+HB$.\\164\\242\\243\\185\\234\\133\\184\\US\\224\\&8\\212\\SO\\254~:`\\132\\240*\\199;\\205x\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"l!\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186a\\174\\242(xQ\\173R\\SOHGI\\245\\237Q\\203,\\EOT\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"F1\\132:\\147\\178\\209\\193\\DC4|\\CAN\\154\\224\\239\\173\\180\\254#RP\\212e\\145\\189NU\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219z\\US\\200\\213=\\192\\191\\&8To\\b3i\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\130\\175J\\159D\\187o\\232\\181Bd\\238\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLET\\195\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"541\\\"\\130\\199\\174\\242\\\"\\198]rRf\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\253&\\235\\178\\&9}\\vk$ITY\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\132zZv\\131\\150\\254\\213\\184:\\211\\210\\SOH\\210\\214/\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\DEL\\215\\SOf-\\213\\150\\DC1V\\229GE\\161\\210\\145|\\160\\181Q\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\DC4\\170\\144g\\231^\\197\\147$\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2$Z \\211\\r\\195\\220}\\ETX^\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\186\\ACK\\156\\189\\251\\129p}\\204\\142?\\243[\"","tag":"AbiBytesDynamic"},{"contents":"\"bW\\SUB1\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\229\\210\\136\\221\\155\\&9\\162\\213\\183*\\210\\CAN\\245y(#\\220\\162\\163\\226\\SYN\\170\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\r\\DC2\\173\\175\\215\\163\\208\\228,+\\192Y\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\162iY>\\153Q\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\176\\147\\142*:\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138R\\141@\\141\\137)s\\DC1\\170G\\231\\174\\217I\\215`\\218j \\DC3\\ETB\\148\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\136\\128\\243\\138\\SO\\239s\\149\\223Ye\\208g\\143\\\"~D\\ETB\\NAK\\198r\\246f\\ESC\\174\\152\\210c\\SI\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"J +1j|\\184\\152\\237\\227\\a\\168J\\130,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\193<\\148\\245}\\190.j\\205\\226z*w\\148\\222\\ESC\\t\\ENQ\\180\\DC1\\t\\247\\246Ve\\221\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQt\\\\\\211l\\218\\DC13\\141^\\tB\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\251\\137\\156\\b\\185\\186\\138M\\170\\140\\248Fd\\207e]\\241\\162\\EMz\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\167mX\\199\\190\\234\\206-v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179A\\239\\149\\179;\\245`(\\138\\246U*\\208\\236~\\149\\236jz\\225d\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231H%\\225\\165~c\\198\\222\\&6\\223\\160+\\133\\144\\233\\180\\253U\\207\\160\\165\\129\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETXjz\\249EY\\224\\156\\DEL\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\208\\v\\201\\254\\176\\198v\\136\\239\\183\\ETB\\168\\r\\245\\247e\\144ql\\176\\&0\\168\\STX\\138\\223\\223\\140\\255\"","tag":"AbiBytesDynamic"},{"contents":"\";\\201\\148\\171\\n\\207)Q,\\153\\197\\243\\196\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134x\\197O\\187\\161<\\163\\159\\131\\CAN\\205\\173i\\138\\255\\183&\\253\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"7I\\178\\147\\145\\172\\207\\168?\\SOH\\NAKh\\226\\215v\\135\\196=k\\ENQ-\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\US@;(C\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\162\\165}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\ENQ\\197=\\151\\DC4\\205\\192\\166]W\\178\\141\\198\\&7\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161ie'\\v\\\\\\168\\ETX\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\a\\172\\166\\247\\US\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\169\\158M\\183\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\199\\187O\\233-.\\155[\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"+v,i\\248tp\\135G\\178\\r<-\\132K\\ETX\\138\\172\\216\\157\\b#Sh\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\254\\SOHzN\\174\\212\\224\\&9\\148f\\ENQ\\156r\\234\\204Q\\130F\\155\\171<0\"","tag":"AbiBytesDynamic"},{"contents":"\"KR\\237{\\192Uh\\193>0\\212\\214\\179\\\\\\156We\\vQ\\215\\ETX\\196(\\SUB\\ENQ\\182\\180\\191:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203H\\168\\163\\235\\136d\\130\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223B`\\234\\135x*\\251\\t\\214P1\\136\\&8q\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\206\\182\\148\\237\\242r\\141r\\EOTaY\\EOT\\144\\SYN:\\161\\129;Y\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\ETX\\131\\191\\216\\145\\188\\192\\164pP\\251\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\233\\230\\&5\\140\\&4\\248\\190\\165D,\\228\\234\\SI\\163HPQ\\159*-$u\\196W\\183\\155\\160\\186\\156.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\244\\244Mm__Nu\\193\\a\\169\\249x\\137\\145\\209\\196\\243W8\\ESC\\131\\146m\\EM\\173\\163\\171\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171el\\a\\142\\138\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\196\\129\\133\\DC4\\197\\ETB\\128\\217\\SO\\172\\NUL\\DC4\\173\\DC3\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\177\\213\\b=\\213\\130\\228\\168O\\FS\\DEL\\EMGR~\\168\\SOH\\248\\235\\134+\\202\\SUB\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"iv\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\224\\180\\196X\\216U^\\207\\STX\\233_]lu\\133,\\249\\240\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\237\\150\\192\\202\\225\\251\\&4\\197\\&9\\227\\222\\\\k\\219n%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\SYN\\220\\205\\216\\175\\254\\197\\143\\183\\128q\\159\\142\\191\\\\rw\\242\\200\\235,\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\\\\\165\\DC2\\223\\224\\161\\196\\142\\238\\155\\219\\197\\160\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"cw\\128h\\218\\176\\241\\210\\143r\\n65\\244\\187\\164\\161\\152\\181\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\215r\\213\\v\\152T\\213\\185n\\DC1sp\\DC2SQZ\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\239P7\\141\\193\\f\\180\\248\\SYN\\n)R]\\209C@\\234\\231\\156\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\192\\207\\166y\\v\\235\\200\\195\\239\\ENQUk\\FS\\224\\247\\150\\n\\t\\r\\139\\154Y\\\\J\\176\\142X21*\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\168\\NUL\\150tJ\\ENQ\\EOT\\241\\134&\\204\\159\\142J\\240\\206\\ETB\\242\\155\\GS\\DC2Tr\\201\\SI\\230v\\175\\207@\\242\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\192\\207\\166y\\v\\235\\200\\195\\239\\ENQUk\\FS\\224\\247\\150\\n\\t\\r\\139\\154Y\\\\J\\176\\142X21*\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\168\\NUL\\150tJ\\ENQ\\EOT\\241\\134&\\204\\159\\142J\\240\\206\\ETB\\242\\155\\GS\\DC2Tr\\201\\SI\\230v\\175\\207@\\242\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\192\\207\\166y\\v\\235\\200\\195\\239\\ENQUk\\FS\\224\\247\\150\\n\\t\\r\\139\\154Y\\\\J\\176\\142X21*\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\168\\NUL\\150tJ\\ENQ\\EOT\\241\\134&\\204\\159\\142J\\240\\206\\ETB\\242\\155\\GS\\DC2Tr\\201\\SI\\230v\\175\\207@\\242\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\192\\207\\166y\\v\\235\\200\\195\\239\\ENQUk\\FS\\224\\247\\150\\n\\t\\r\\139\\154Y\\\\J\\176\\142X21*\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\168\\NUL\\150tJ\\ENQ\\EOT\\241\\134&\\204\\159\\142J\\240\\206\\ETB\\242\\155\\GS\\DC2Tr\\201\\SI\\230v\\175\\207@\\242\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\192\\207\\166y\\v\\235\\200\\195\\239\\ENQUk\\FS\\224\\247\\150\\n\\t\\r\\139\\154Y\\\\J\\176\\142X21*\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\168\\NUL\\150tJ\\ENQ\\EOT\\241\\134&\\204\\159\\142J\\240\\206\\ETB\\242\\155\\GS\\DC2Tr\\201\\SI\\230v\\175\\207@\\242\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\192\\207\\166y\\v\\235\\200\\195\\239\\ENQUk\\FS\\224\\247\\150\\n\\t\\r\\139\\154Y\\\\J\\176\\142X21*\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\168\\NUL\\150tJ\\ENQ\\EOT\\241\\134&\\204\\159\\142J\\240\\206\\ETB\\242\\155\\GS\\DC2Tr\\201\\SI\\230v\\175\\207@\\242\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\192\\207\\166y\\v\\235\\200\\195\\239\\ENQUk\\FS\\224\\247\\150\\n\\t\\r\\139\\154Y\\\\J\\176\\142X21*\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\168\\NUL\\150tJ\\ENQ\\EOT\\241\\134&\\204\\159\\142J\\240\\206\\ETB\\242\\155\\GS\\DC2Tr\\201\\SI\\230v\\175\\207@\\242\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\192\\207\\166y\\v\\235\\200\\195\\239\\ENQUk\\FS\\224\\247\\150\\n\\t\\r\\139\\154Y\\\\J\\176\\142X21*\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\168\\NUL\\150tJ\\ENQ\\EOT\\241\\134&\\204\\159\\142J\\240\\206\\ETB\\242\\155\\GS\\DC2Tr\\201\\SI\\230v\\175\\207@\\242\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\192\\207\\166y\\v\\235\\200\\195\\239\\ENQUk\\FS\\224\\247\\150\\n\\t\\r\\139\\154Y\\\\J\\176\\142X21*\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\168\\NUL\\150tJ\\ENQ\\EOT\\241\\134&\\204\\159\\142J\\240\\206\\ETB\\242\\155\\GS\\DC2Tr\\201\\SI\\230v\\175\\207@\\242\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\192\\207\\166y\\v\\235\\200\\195\\239\\ENQUk\\FS\\224\\247\\150\\n\\t\\r\\139\\154Y\\\\J\\176\\142X21*\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\168\\NUL\\150tJ\\ENQ\\EOT\\241\\134&\\204\\159\\142J\\240\\206\\ETB\\242\\155\\GS\\DC2Tr\\201\\SI\\230v\\175\\207@\\242\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\184\\SUB\\NULh?\\198z\\133\\EOT.\\133\\CAN\\252jr\\253M\\249\\164\\SUB;\\194~9\\216\\&1m2\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"87181436597225912087648959802102996097953321830248785647225222660432746542515"],"tag":"AbiUInt"},{"contents":[256,"80708691396277326676941488302898174379186880527470602784951842147218066365534"],"tag":"AbiUInt"},{"contents":[256,"92561147886979962532922737017632531132242362942089855966255326929984563703115"],"tag":"AbiUInt"},{"contents":[256,"52377876880089268417025857303364956894740350222934857920574548657158647912931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635939"],"tag":"AbiUInt"},{"contents":[256,"28983476053225489679126794066005674590535317537580206695506594991356106292513"],"tag":"AbiUInt"},{"contents":[256,"920"],"tag":"AbiUInt"},{"contents":[256,"1529739138"],"tag":"AbiUInt"},{"contents":[256,"10002"],"tag":"AbiUInt"},{"contents":[256,"41841876004094170979955300776492367583518847931991097592697393296436837740549"],"tag":"AbiUInt"},{"contents":[256,"74053681802468402801563792356307245299882380571553975297315584256244660731793"],"tag":"AbiUInt"},{"contents":[256,"111801517419765566334670497388797149017343498950752244098429317688955939463558"],"tag":"AbiUInt"},{"contents":[256,"50201238320609291848113527664385004790733874941791054170221290735947080239276"],"tag":"AbiUInt"},{"contents":[256,"9021870122030326348988717825164280874031003590153401252412094382734021486422"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639836"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639922"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"356"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"880"],"tag":"AbiUInt"},{"contents":[256,"26995551200103711826061983012681584106933873589384056078566844034720529460995"],"tag":"AbiUInt"},{"contents":[256,"3068556445618000503641894511298472200615701900474570689089056792153460179655"],"tag":"AbiUInt"},{"contents":[256,"83087581532806475046177202017700868843976593239614578830595518353683412736349"],"tag":"AbiUInt"},{"contents":[256,"901"],"tag":"AbiUInt"},{"contents":[256,"501"],"tag":"AbiUInt"},{"contents":[256,"50882511838232080459870572000127318579274478691292155260002824797819693929442"],"tag":"AbiUInt"},{"contents":[256,"37711179341154987607989305354862842290869492658707583157818287179508326802472"],"tag":"AbiUInt"},{"contents":[256,"49442217838528590306386158746164085217894757058770266193036978737154575198821"],"tag":"AbiUInt"},{"contents":[256,"92155791361832787286809158831048543943033809961870138991678255036324621038262"],"tag":"AbiUInt"},{"contents":[256,"92155791361832787286809158831048543943033809961870138991678255036324621038262"],"tag":"AbiUInt"},{"contents":[256,"92155791361832787286809158831048543943033809961870138991678255036324621038262"],"tag":"AbiUInt"},{"contents":[256,"92155791361832787286809158831048543943033809961870138991678255036324621038262"],"tag":"AbiUInt"},{"contents":[256,"92155791361832787286809158831048543943033809961870138991678255036324621038262"],"tag":"AbiUInt"},{"contents":[256,"92155791361832787286809158831048543943033809961870138991678255036324621038262"],"tag":"AbiUInt"},{"contents":[256,"92155791361832787286809158831048543943033809961870138991678255036324621038262"],"tag":"AbiUInt"},{"contents":[256,"92155791361832787286809158831048543943033809961870138991678255036324621038262"],"tag":"AbiUInt"},{"contents":[256,"92155791361832787286809158831048543943033809961870138991678255036324621038262"],"tag":"AbiUInt"},{"contents":[256,"92155791361832787286809158831048543943033809961870138991678255036324621038262"],"tag":"AbiUInt"},{"contents":[256,"92155791361832787286809158831048543943033809961870138991678255036324621038262"],"tag":"AbiUInt"},{"contents":[256,"92155791361832787286809158831048543943033809961870138991678255036324621038262"],"tag":"AbiUInt"},{"contents":[256,"92155791361832787286809158831048543943033809961870138991678255036324621038262"],"tag":"AbiUInt"},{"contents":[256,"92155791361832787286809158831048543943033809961870138991678255036324621038262"],"tag":"AbiUInt"},{"contents":[256,"92155791361832787286809158831048543943033809961870138991678255036324621038262"],"tag":"AbiUInt"},{"contents":[256,"92155791361832787286809158831048543943033809961870138991678255036324621038262"],"tag":"AbiUInt"},{"contents":[256,"92155791361832787286809158831048543943033809961870138991678255036324621038262"],"tag":"AbiUInt"},{"contents":[256,"92155791361832787286809158831048543943033809961870138991678255036324621038262"],"tag":"AbiUInt"},{"contents":[256,"92155791361832787286809158831048543943033809961870138991678255036324621038262"],"tag":"AbiUInt"},{"contents":[256,"92155791361832787286809158831048543943033809961870138991678255036324621038262"],"tag":"AbiUInt"},{"contents":[256,"73039309475735009119075483333924785555238670003253196583902016469437000321930"],"tag":"AbiUInt"},{"contents":[256,"1534673448"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731852"],"tag":"AbiUInt"},{"contents":[256,"671"],"tag":"AbiUInt"},{"contents":[256,"4999"],"tag":"AbiUInt"},{"contents":[256,"5003"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639867"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639918"],"tag":"AbiUInt"},{"contents":[256,"11485358369928286683996954202603223769310237070647151342125890574235982734361"],"tag":"AbiUInt"},{"contents":[256,"902"],"tag":"AbiUInt"},{"contents":[256,"96206203364927030016631753644933365249561526806305447154533660776058073772299"],"tag":"AbiUInt"},{"contents":[256,"1016"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858883"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"9998"],"tag":"AbiUInt"},{"contents":[256,"62057487950142824756628041928995888909534536902788151235580372599349038299277"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"92879519006145710967758251993115450755605199789407340729883081795332482534934"],"tag":"AbiUInt"},{"contents":[256,"80278216442189829444566546308187201015943228528265949210162356975778486966730"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609598"],"tag":"AbiUInt"},{"contents":[256,"5"],"tag":"AbiUInt"},{"contents":[256,"60277316552526782942582338474084447477256239220555437559812249126721654082853"],"tag":"AbiUInt"},{"contents":[256,"71"],"tag":"AbiUInt"},{"contents":[256,"57"],"tag":"AbiUInt"},{"contents":[256,"45803033313172194745070743924218656402676898397123898332852663397833304860480"],"tag":"AbiUInt"},{"contents":[256,"94486594432549235746287589691276203157479452168151336946459212142910890888784"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634936"],"tag":"AbiUInt"},{"contents":[256,"978550167683737962070985765564661295658053415026030"],"tag":"AbiUInt"},{"contents":[256,"198"],"tag":"AbiUInt"},{"contents":[256,"972"],"tag":"AbiUInt"},{"contents":[256,"44971415343427387741283871165642064937555875380392667194977945855231680392070"],"tag":"AbiUInt"},{"contents":[256,"1047864282142"],"tag":"AbiUInt"},{"contents":[256,"100759471801329150676341139645855591828532626265100930622261460672390768054588"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639835"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507330"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"6605066363997835065209529851120523307927198370018559608928796124928966120895"],"tag":"AbiUInt"},{"contents":[256,"1529739138"],"tag":"AbiUInt"},{"contents":[256,"111047050245428029664677664866840385570574732522141984720289403788682102990864"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"78059328034071000427540683345783517908245627164363375534126459501221558163839"],"tag":"AbiUInt"},{"contents":[256,"1530136281"],"tag":"AbiUInt"},{"contents":[256,"83444839545269330739107716447663585463283875181294219588643507004085555979312"],"tag":"AbiUInt"},{"contents":[256,"213"],"tag":"AbiUInt"},{"contents":[256,"61773009359756717852653770307386926938345609246417687357380654620583911781752"],"tag":"AbiUInt"},{"contents":[256,"4808790"],"tag":"AbiUInt"},{"contents":[256,"71"],"tag":"AbiUInt"},{"contents":[256,"108021457927679015890447696244769538493687365308091377749868438354670788480537"],"tag":"AbiUInt"},{"contents":[256,"112588264815733038728628513773370001228749388111963083518501237384896863028555"],"tag":"AbiUInt"},{"contents":[256,"112588264815733038728628513773370001228749388111963083518501237384896863028555"],"tag":"AbiUInt"},{"contents":[256,"112588264815733038728628513773370001228749388111963083518501237384896863028555"],"tag":"AbiUInt"},{"contents":[256,"112588264815733038728628513773370001228749388111963083518501237384896863028555"],"tag":"AbiUInt"},{"contents":[256,"112588264815733038728628513773370001228749388111963083518501237384896863028555"],"tag":"AbiUInt"},{"contents":[256,"112588264815733038728628513773370001228749388111963083518501237384896863028555"],"tag":"AbiUInt"},{"contents":[256,"14"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb18","0x00000000000000000000000000000000000000000000000000000000000009cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d848","0x0000000000000000000000000000000000000000000000000000000000001382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d0","0x00000000000000000000000000000000000000000000000000000000000012a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"146"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c5dc","0x000000000000000000000000000000000000000000000000000000000000170c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000189e3","0x00000000000000000000000000000000000000000000000000000000000041f0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084279","0x000000000000000000000000000000000000000000000000000000000000003e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b504","0x000000000000000000000000000000000000000000000000000000000000aacc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"68520172796031057878549381612525139141961207532417336665020198762443253947454"],"tag":"AbiUInt"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007de12","0x000000000000000000000000000000000000000000000000000000000000134d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3a","0x000000000000000000000000000000000000000000000000000000000000e721"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000088495","0x0000000000000000000000000000000000000000000000000000000000006c87"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b0","0x000000000000000000000000000000000000000000000000000000000000da6d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"111548760448643689346115506057479031099852853863780313780023468339642826487009"],"tag":"AbiUInt"},{"contents":[256,"41756485803319388475550490332474725896191565934918548444171794859469874199432"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"76931388505719683601416755349567696957711904986945378922828793101545361278468"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062123","0x0000000000000000000000000000000000000000000000000000000000007630"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec8","0x000000000000000000000000000000000000000000000000000000000000136f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639903"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eafc","0x0000000000000000000000000000000000000000000000000000000000008477"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000f4","0x000000000000000000000000000000000000000000000000000000000000ea6b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"472260498517428093450829853099908083"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000054","0x000000000000000000000000000000000000000000000000000000000000c5d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"35188409142715201388007379576922633352433622007174108555871402331550675120209"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008e919","0x0000000000000000000000000000000000000000000000000000000000006a27"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]