[{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"413"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000064","0x000000000000000000000000000000000000000000000000000000000000653e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000044","0x000000000000000000000000000000000000000000000000000000000000b4b4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[8,"86"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f9a","0x0000000000000000000000000000000000000000000000000000000000000047"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211773"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015938","0x000000000000000000000000000000000000000000000000000000000000e925"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":[256,"1560165268719519125867182966021044063417339856940825339996616342769736063160"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000866e6","0x000000000000000000000000000000000000000000000000000000000000058d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"103382712299594929277296156108357262529954120958055456253224266806895316032070"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000029cba","0x000000000000000000000000000000000000000000000000000000000000139b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3b","0x0000000000000000000000000000000000000000000000000000000000003c08"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"113781719298840497960774415199829870769933327312647686576432208068558664281433"],"tag":"AbiUInt"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000042","0x0000000000000000000000000000000000000000000000000000000000009aa2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\185g\\SOH\\162\\128w\\SOH\\SOH\\200\\132\\216\\170\\196o\\252\\211 \\135Sw\\EOTF\\241.\\218\\140\\&9^\\US\\211h\\182\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000763f1","0x000000000000000000000000000000000000000000000000000000000000e343"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"76881491336047058694481045272341222056920082739167880216878978282821164285502"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270d","0x0000000000000000000000000000000000000000000000000000000000002546"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":[256,"22791617061944309894448525040323953873521105064076523020482443261739203171775"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba7","0x000000000000000000000000000000000000000000000000000000000000037e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021649","0x000000000000000000000000000000000000000000000000000000000000186f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":[128,"29555604513556454627639002216625971201"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000b","0x000000000000000000000000000000000000000000000000000000000000ac84"],"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,"114502771372467535599819324536854350486000381801328144108763848264382892795942"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908080"],"tag":"AbiUInt"},{"contents":[256,"78459423106375173631287090932897188328689119124708754395999139170623854621543"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"2247451276782799542608405492678578204014095912530543604113123659371848020997"],"tag":"AbiUInt"},{"contents":[256,"5003"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000000"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000004a55","0x0000000000000000000000000000000000000000000000000000000000008ecc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"64141276797616547487497738264903644151029407023973934352969721409290392395217"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000386","0x0000000000000000000000000000000000000000000000000000000000001315"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"12638288454542603657912344397526352090867128678336794081172008654149139564768"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f113","0x000000000000000000000000000000000000000000000000000000000000007b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c5dc","0x000000000000000000000000000000000000000000000000000000000000912f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"5000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084d3a","0x0000000000000000000000000000000000000000000000000000000000007092"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"727"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000887fc","0x0000000000000000000000000000000000000000000000000000000000000df2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c82f","0x0000000000000000000000000000000000000000000000000000000000001342"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"19"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"3602"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e7","0x0000000000000000000000000000000000000000000000000000000000003ddf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"99"],"tag":"AbiUInt"},{"contents":[256,"26137938637220828357081732957109226209134358878576254129588826475798597097586"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069483","0x00000000000000000000000000000000000000000000000000000000000011ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553538"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2d","0x000000000000000000000000000000000000000000000000000000000000135f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"61247815477258769258498379710925995044693966361443464463847761258249658736318"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000033d50","0x0000000000000000000000000000000000000000000000000000000000000023"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f94","0x000000000000000000000000000000000000000000000000000000000000d38b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eafe","0x000000000000000000000000000000000000000000000000000000000000270d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba6","0x0000000000000000000000000000000000000000000000000000000000006a29"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"96262048118999113140320318176969308160991201229796984874547795508592649085957"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e13","0x00000000000000000000000000000000000000000000000000000000000087a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"95"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002328","0x000000000000000000000000000000000000000000000000000000000000a291"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639838"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089c67","0x000000000000000000000000000000000000000000000000000000000000d8cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"17995936328177744902197336727068117492653493662483470697733589465458452076798"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb34","0x0000000000000000000000000000000000000000000000000000000000000060"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211778"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065e1a","0x0000000000000000000000000000000000000000000000000000000000002d7d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":[256,"1531207281"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a2d2","0x000000000000000000000000000000000000000000000000000000000000921d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"71676760456909752280519610078199732535456025918424691285592936882757826689258"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063160","0x000000000000000000000000000000000000000000000000000000000000136c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"1525327253"],"tag":"AbiUInt"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000120ae","0x00000000000000000000000000000000000000000000000000000000000069ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":[256,"253"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a51a","0x0000000000000000000000000000000000000000000000000000000000003bb8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"98"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"35231994159040184198826183059874773959993652833630693306790896185265613674248"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e0e","0x00000000000000000000000000000000000000000000000000000000000000e6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"70764584979146499758400596050479001391930455896856715069885984897652553451364"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000003","0x000000000000000000000000000000000000000000000000000000000000711b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000057ae8","0x0000000000000000000000000000000000000000000000000000000000005527"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a0f1","0x00000000000000000000000000000000000000000000000000000000000003ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065e1a","0x000000000000000000000000000000000000000000000000000000000000136e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"63319726007169658684669144444151572630130005332165490429532756539656733722"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81e","0x0000000000000000000000000000000000000000000000000000000000003c07"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"56800632896920247766258679711685217201241141974563793943368077538495943757756"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012c","0x0000000000000000000000000000000000000000000000000000000000000bd0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ced5","0x0000000000000000000000000000000000000000000000000000000000000b1c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0x8324ADfC37e4Ce6B24a34Ced4A13faadbd59Ca97","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@;\\\"\\237\\&2\\223\\\"\\174O\\217\\193%j\\129\\245\\155dh\\138.Y\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149S\\174D\\138\\135\\242\\DLE\\145\\&8\\253\\198\\129\\148\\204\\239U\\180\\166\\185\\247W\\NUL\\166\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\176\\202e\\128\\201B\\DC2Z\\139\\204!\\188\\v)\\141\\CAN\\215\\236i|\\192Yq\\171\\150\\176\\129*3\\177\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@;\\\"\\237\\&2\\223\\\"\\174O\\217\\193%j\\129\\245\\155dh\\138.Y\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149S\\174D\\138\\135\\242\\DLE\\145\\&8\\253\\198\\129\\148\\204\\239U\\180\\166\\185\\247W\\NUL\\166\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\176\\202e\\128\\201B\\DC2Z\\139\\204!\\188\\v)\\141\\CAN\\215\\236i|\\192Yq\\171\\150\\176\\129*3\\177\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@;\\\"\\237\\&2\\223\\\"\\174O\\217\\193%j\\129\\245\\155dh\\138.Y\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149S\\174D\\138\\135\\242\\DLE\\145\\&8\\253\\198\\129\\148\\204\\239U\\180\\166\\185\\247W\\NUL\\166\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\176\\202e\\128\\201B\\DC2Z\\139\\204!\\188\\v)\\141\\CAN\\215\\236i|\\192Yq\\171\\150\\176\\129*3\\177\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@;\\\"\\237\\&2\\223\\\"\\174O\\217\\193%j\\129\\245\\155dh\\138.Y\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149S\\174D\\138\\135\\242\\DLE\\145\\&8\\253\\198\\129\\148\\204\\239U\\180\\166\\185\\247W\\NUL\\166\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\176\\202e\\128\\201B\\DC2Z\\139\\204!\\188\\v)\\141\\CAN\\215\\236i|\\192Yq\\171\\150\\176\\129*3\\177\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@;\\\"\\237\\&2\\223\\\"\\174O\\217\\193%j\\129\\245\\155dh\\138.Y\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149S\\174D\\138\\135\\242\\DLE\\145\\&8\\253\\198\\129\\148\\204\\239U\\180\\166\\185\\247W\\NUL\\166\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\176\\202e\\128\\201B\\DC2Z\\139\\204!\\188\\v)\\141\\CAN\\215\\236i|\\192Yq\\171\\150\\176\\129*3\\177\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@;\\\"\\237\\&2\\223\\\"\\174O\\217\\193%j\\129\\245\\155dh\\138.Y\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149S\\174D\\138\\135\\242\\DLE\\145\\&8\\253\\198\\129\\148\\204\\239U\\180\\166\\185\\247W\\NUL\\166\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\176\\202e\\128\\201B\\DC2Z\\139\\204!\\188\\v)\\141\\CAN\\215\\236i|\\192Yq\\171\\150\\176\\129*3\\177\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@;\\\"\\237\\&2\\223\\\"\\174O\\217\\193%j\\129\\245\\155dh\\138.Y\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149S\\174D\\138\\135\\242\\DLE\\145\\&8\\253\\198\\129\\148\\204\\239U\\180\\166\\185\\247W\\NUL\\166\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\176\\202e\\128\\201B\\DC2Z\\139\\204!\\188\\v)\\141\\CAN\\215\\236i|\\192Yq\\171\\150\\176\\129*3\\177\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@;\\\"\\237\\&2\\223\\\"\\174O\\217\\193%j\\129\\245\\155dh\\138.Y\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149S\\174D\\138\\135\\242\\DLE\\145\\&8\\253\\198\\129\\148\\204\\239U\\180\\166\\185\\247W\\NUL\\166\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\176\\202e\\128\\201B\\DC2Z\\139\\204!\\188\\v)\\141\\CAN\\215\\236i|\\192Yq\\171\\150\\176\\129*3\\177\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@;\\\"\\237\\&2\\223\\\"\\174O\\217\\193%j\\129\\245\\155dh\\138.Y\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149S\\174D\\138\\135\\242\\DLE\\145\\&8\\253\\198\\129\\148\\204\\239U\\180\\166\\185\\247W\\NUL\\166\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\176\\202e\\128\\201B\\DC2Z\\139\\204!\\188\\v)\\141\\CAN\\215\\236i|\\192Yq\\171\\150\\176\\129*3\\177\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@;\\\"\\237\\&2\\223\\\"\\174O\\217\\193%j\\129\\245\\155dh\\138.Y\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149S\\174D\\138\\135\\242\\DLE\\145\\&8\\253\\198\\129\\148\\204\\239U\\180\\166\\185\\247W\\NUL\\166\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\176\\202e\\128\\201B\\DC2Z\\139\\204!\\188\\v)\\141\\CAN\\215\\236i|\\192Yq\\171\\150\\176\\129*3\\177\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@;\\\"\\237\\&2\\223\\\"\\174O\\217\\193%j\\129\\245\\155dh\\138.Y\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149S\\174D\\138\\135\\242\\DLE\\145\\&8\\253\\198\\129\\148\\204\\239U\\180\\166\\185\\247W\\NUL\\166\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\176\\202e\\128\\201B\\DC2Z\\139\\204!\\188\\v)\\141\\CAN\\215\\236i|\\192Yq\\171\\150\\176\\129*3\\177\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@;\\\"\\237\\&2\\223\\\"\\174O\\217\\193%j\\129\\245\\155dh\\138.Y\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149S\\174D\\138\\135\\242\\DLE\\145\\&8\\253\\198\\129\\148\\204\\239U\\180\\166\\185\\247W\\NUL\\166\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\176\\202e\\128\\201B\\DC2Z\\139\\204!\\188\\v)\\141\\CAN\\215\\236i|\\192Yq\\171\\150\\176\\129*3\\177\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@;\\\"\\237\\&2\\223\\\"\\174O\\217\\193%j\\129\\245\\155dh\\138.Y\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149S\\174D\\138\\135\\242\\DLE\\145\\&8\\253\\198\\129\\148\\204\\239U\\180\\166\\185\\247W\\NUL\\166\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\176\\202e\\128\\201B\\DC2Z\\139\\204!\\188\\v)\\141\\CAN\\215\\236i|\\192Yq\\171\\150\\176\\129*3\\177\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@;\\\"\\237\\&2\\223\\\"\\174O\\217\\193%j\\129\\245\\155dh\\138.Y\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149S\\174D\\138\\135\\242\\DLE\\145\\&8\\253\\198\\129\\148\\204\\239U\\180\\166\\185\\247W\\NUL\\166\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\176\\202e\\128\\201B\\DC2Z\\139\\204!\\188\\v)\\141\\CAN\\215\\236i|\\192Yq\\171\\150\\176\\129*3\\177\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@;\\\"\\237\\&2\\223\\\"\\174O\\217\\193%j\\129\\245\\155dh\\138.Y\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149S\\174D\\138\\135\\242\\DLE\\145\\&8\\253\\198\\129\\148\\204\\239U\\180\\166\\185\\247W\\NUL\\166\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\176\\202e\\128\\201B\\DC2Z\\139\\204!\\188\\v)\\141\\CAN\\215\\236i|\\192Yq\\171\\150\\176\\129*3\\177\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@;\\\"\\237\\&2\\223\\\"\\174O\\217\\193%j\\129\\245\\155dh\\138.Y\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149S\\174D\\138\\135\\242\\DLE\\145\\&8\\253\\198\\129\\148\\204\\239U\\180\\166\\185\\247W\\NUL\\166\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\176\\202e\\128\\201B\\DC2Z\\139\\204!\\188\\v)\\141\\CAN\\215\\236i|\\192Yq\\171\\150\\176\\129*3\\177\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@;\\\"\\237\\&2\\223\\\"\\174O\\217\\193%j\\129\\245\\155dh\\138.Y\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149S\\174D\\138\\135\\242\\DLE\\145\\&8\\253\\198\\129\\148\\204\\239U\\180\\166\\185\\247W\\NUL\\166\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\176\\202e\\128\\201B\\DC2Z\\139\\204!\\188\\v)\\141\\CAN\\215\\236i|\\192Yq\\171\\150\\176\\129*3\\177\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@;\\\"\\237\\&2\\223\\\"\\174O\\217\\193%j\\129\\245\\155dh\\138.Y\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149S\\174D\\138\\135\\242\\DLE\\145\\&8\\253\\198\\129\\148\\204\\239U\\180\\166\\185\\247W\\NUL\\166\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\176\\202e\\128\\201B\\DC2Z\\139\\204!\\188\\v)\\141\\CAN\\215\\236i|\\192Yq\\171\\150\\176\\129*3\\177\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"@;\\\"\\237\\&2\\223\\\"\\174O\\217\\193%j\\129\\245\\155dh\\138.Y\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149S\\174D\\138\\135\\242\\DLE\\145\\&8\\253\\198\\129\\148\\204\\239U\\180\\166\\185\\247W\\NUL\\166\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\176\\202e\\128\\201B\\DC2Z\\139\\204!\\188\\v)\\141\\CAN\\215\\236i|\\192Yq\\171\\150\\176\\129*3\\177\\248\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183@*\\204\\ETB%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL@\\160Q\\DC3\\210\\&1\\184-\\186k\\160\\135d\\188\\184\\141i#\\255>\\237\\255\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\128]7\\SOH~^\\150\\149y\\211a\\FS)\\164E\\RSd\\151\\208s\\DC3\\azN\\241\\SOH\\167J \\NAKO\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"ket\\208\\ACK\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\171\\GSQmZ\\163\\205\\&0njK\\ETB\\174\\241\\203\\156Hm\\205ei\\215\\153\\236\\213\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"2c\\237\\166q\\205g\\221\\230H\\196\\245y\\250T\\\"\\DC4\\SOH\\248D\\234\\NAK\\223\\139\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"J?~ho\\226l\\197\\206\\&1\\249\\&7\\195IY\\246\\204\\DC4k\\205\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1p\\212\\240\\&8\\242\\GS\\194\\EM}\\ETX\\240\\174\\188\\217\\156\\147\\DEL\\227P\\137\\ENQ\\247\\135\\a\\241\\254\\187\\226\\171\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\EOT\\237q\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\239\\&0\\200\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"w\\242\\ETX\\ENQ\\209\\193A\\164\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\211l\\ENQ\\207A\\250Y\\240+\\NAK\\135~<\\167E&\\133,\\231\\169\\EMp\\128\\229\\196#\\238\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Q:,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\244\\192;_\\245\\143\\&5\\152\\247C\\222\\157g3ha\\177\\249\\186UE<\\169\\174\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\247\\219\\v\\227Y\\152P/\\249\\255X/&\\DC1\\172*\\226\\153MC\\170\\DEL\\161\\b\\153\\130\\181c\\167\\216\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\138d\\201j\\177|H\\170\\193E\\148_\\t\\232@/k\\SOP\\204\\178\\t\\238\\178\\138\\SO\\214\\&6Cp\\172\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\173w-\\240\\NAK\\NUL\\EM$\\191\\223\\181iM\\241\\194\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\230\\SOH\\243\\194\\245*\\ACK\\241\\DC2 \\151K\\222\\191\\143\\201\\154mz\\197\\&36\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\&5_o\\213\\170\\180K\\184\\&8\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\130R\\241\\225\\EM\\210\\176\\190\\238\\239\\SI\\238k\\148\\201^\\181\\&3\\RS\\234N\\139\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\141\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\191\\254\\179\\230\\130\\148\\158\\167\\132c\\144k\\175\\&8\\DC4\\176\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250mf<x\\144\\&0Hl]\\191\\244b\\209*\\DEL*\\246\\&9?.;2\\f\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"H*d\\163(\\142z\\DC2\\169dK\\138\\251\\134\\211\\ESC\\158\\EOT\\171\\204\\152\\NAK9\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215D\\151\\176I\\247&\\142\\138\\197p\\139`<\\SO\\254^H\\233D\\159\\154/\\221\\136\\159\\FS\\153\\178Y\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\143e\\SI\\233\\133\\DC4\\218V\\t\\244e\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\203u\\242\\218\\ETB\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\175 \\237\\159\\CAN8\\142/m\\250* n\\204J\\248];]\\189(\\ETB\\143x\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\141\\&8\\EOT\\244Z\\142\\236)\\223\\145\\fTJ\\211xK[\\149\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\&1=\\164\\\\N\\136\\189\\214\\148\\164\\245\\185~Nr\\199\\222\\NUL\\142\\165\\147\\165T\\223\\RS\\128\\175\\a\\132\\214\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\163,\\SI\\DLE\\217\\246\\144PgLm\\254\\232R\\162\\209\\161\\DLE\\NAK\\140Y\\188\\ENQ\\193\\183,@\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198h\\224\\214\\170U\\255\\163Y\\188%s\\190B\\226\\169g\\201\\237O\"","tag":"AbiBytesDynamic"},{"contents":"\".\\243$\\130k{4j\\243FX\\183,\\151\\165\\CAN\\169?8\"","tag":"AbiBytesDynamic"},{"contents":"\"1s\\162\\224\\196\\&3Ey\\205\\158!\\197o\\206[\\190h\\180\\231\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\215\\179A\\NAK\\152\\188Wh\\220\\aT\\236\\229\\174\\141\\DC2\\241\\215.\\134\\247\\&7\\228\\240\\NAKr\\DC2I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\197W3(m\\194\\&2\\244\\160\\168\\204T\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\216\\a[\\228\\SYN\\232\\SOH `;\\181\\249_\\235\\204\\ENQ/\\r\\STX\\247k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\194A\\171\\245N\\231\\ETXu\\161\\169\\250\\215\\157:W\\161\\228%\\155\\209\\201\\209\\231\\142\\NUL`\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\130O\\145\\232\\218y\\193CQ%\\235I\\168\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC@#\\212\\216\\154A55>`^[{nOzk\\153\\&5\\RS\\152\\215\\178\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"T5(K\\145\\162\\144v\\151\\&8\\195\\195~v\\NUL[\\236\\141\\USRsC\\251\\163f\\166\\253k\\ETB\\136,\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\134X\\131Q\\145\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\241\\193\\228C\\135\\219Wbe\\141\\146\\&6Yc\\187\\132\\247\\176L\\245\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\US5\\b\\\"\\204y\\ETBsb\\246b\\244\\162[9\\210\\195\\181\\230\\232\\246{\\149\\EM\\229c\\248\\226\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\172\\EOT\\134\\175}r\\229x\\250\\230\\183Hj\\138bOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\153\\249\\223v\\EM\\129\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\223N\\158q\\231\\184 \"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\252\\244\\216\\n\\172\\250\\f\\189f\\239q\\163J\\157=/Ya<u\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\203=p\\DC2\\EMEa\\216\\ESC\\236\\DC3\\244\\133\\222\\SYNy\\190\\237,\\172\\156,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"4;\\189*\\207c\\254\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4W\\181\\rN\\236]\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187{\\133\\246k\\255\\135\\186<\\140\\nO\\159\\&7u\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\194+j\\nR\\230\\ENQ1\\210\\&9\\227\\133\\132\\243d\\160\\159v\\DLE\\201\\203\\175\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"k\\129Ep\\152\\195\\188\\157(d\\186'\\192\\251L|S\\v\\229w\\145T\\218+&\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\241n\\209\\215\\&8\\181\\241\\&1<\\233\\194\\167\\217\\SUB\\ETX\\208\\\"!\\220iO\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\255\\206\\150\\DC4\\254\\134\\148Y\\170\\149\\234\\165b\\FS!9\\240\\NAK\\198\\160Mw\\192\\143\\ENQ\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"-BF\\154b\\242\\150\\SYN\\DC2\\240\\148+\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\181\\a[\\246\\139\\133\\128\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\188#\\DC3e\\196\\226\\&2\\198\\183\\v\\131\\137u\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\202\\238\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\161D\\DC31\\154nK\\EOT?\\b\\173G\\241\\193S\"","tag":"AbiBytesDynamic"},{"contents":"\"Fj\\140\\&1R\\fP\\151]Pc\\196\\208J\\nx\\150\\236\\158\\SUB\\173\\206G\\172\\150\\&5'\\133\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\f\\245\\174.\\FS]\\v\\169q\\DC4\\\"]\\150A\\n\\EOT\\202\\FS\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\226\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\225ZjAT\\238\\154\\ACKF$/\\DC1\\132\\215\\180\\b\\229\\162\\219Q\\254\\208\\SYN\\197\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"f]\\164\\CANn\\ACK\\216\\229\\129\\GSy\\ACK\\153\\177\\140\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171q\\128\\178\\b\\223\\156\\156\\174b\\173\\&0{\\ETB-\\DC4\\220]\\173\\146n\\136NmW\\SOH\\DC3\\241\\227\\149V\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\149\\184\\130\\166\\ENQ\\190^\\252\\226\\215\\211\\DC2B\\154e\\US\\129\\180\\210\\170\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165!\\138p\\193\\218w\\213\\204R\\\\Q\\252!\\129\\aX\\163\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vT\\246\\ETB\\t~x\\SUB\\213\\162\\&3\\238\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\203\\213*~Q\\NAK\\255\\165\\248\\158*T\\213<^\\188\\244\\178\\254\\136T\\143\\131\\207\\166\\241\\178\\DLE$\\234\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"/\\210\\230\\209\\128\\242;\\178\\231\\236\\f\\133\\235\\203\\148\\203\\212\\DC3Q|\\SYN?1|q\\GS\\ESCi\\203>\\204\\208\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\253\\139\\142?,\\181\\SUB}\\170\\207\\145F\\192\\186Zc%D\\248\\187\\DC2\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\160\\230O\\DC1\\201\\144\\245\\142\\210L4{d\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\157h\\163b\\255\\177\\ESCM\\148\\190\\197\\194\\142\\167\\166K\\224\\176\\213vn\\212\\200\\129\\234\\STX0?\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\187\\190}\\143\\240\\209T\\160\\137\\&0\\253\\&4<\\254\\184\\231\\233\\147\\172\\&0Z|\\209\\192g[\\197\\a\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\186[2\\191\\172\\161\\bx\\220^\\136{\\205B\\193\\153\\193\\167\\215\\251\\a\\136|ElB\\FSd\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\DC2\\230a\\189\\189z\\195Q\\b\\SOHgG\\170\\FS\\\"\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\232KM?\\NAK\\196\\r;:&\\247?\\137\\ESC\\DEL\\ETB\\177\\219\\185!\\RS\\138\\173\\202\\153<\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\\"\\199\\196X\\152/\\DLE\\b\\143\\170\\147\\254\\EM\\236\\GSOP\\190\\196\\241\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158u\\167\\152S\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220Y\\138\\223\\170$\\245\\&3.x\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136|#S\\213b\\178G:\\238\\230\\176T;.;\\239-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\&9\\152\\180s\\231e\\240\\133\\143K6\\165G\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS;k~\\164\\SUB\\177\\138>\"","tag":"AbiBytesDynamic"},{"contents":"\"~M\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\169\\&6;\\193|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\254\\SYN\\205\\163]\\SYN\\137\\224\\130|\\206\\ENQ\\236A[YPj\\138\\207\\DELE\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\254\\EM\\169{\\\\,\\136sgj\\205c\\EMM\\n\\168\\216>\\198\\227\\240{\"","tag":"AbiBytesDynamic"},{"contents":"\"fU$\\173{\\246\\222\\180\\168\\208|\\141\\212]\\163\\DC4w2\\208\\152\\&9\\185\\162 <\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\165\\142\\185\\233\\149+\\255h\\CAN\\252,\\DC4\\164E\\228\\DEL.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\186Y\\203\\211z)XG\\136\\161HrnA\\183k\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241k\\240>\\179\\245\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228g\\153\\235\\SI7\\213\\142S\\GSJ\\154l\\226I\\210\\141\\253\\237B\\144\\EOT\\a\\r\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\FSd\\174\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"u_\\155\\145\\152\\213L\\DC3I\\205\\136_\\194\\207\\141V\\GSh6\\170.\\234s\\176\\NUL\\CANnLq\\NUL\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\174%)\\DC2F\\172\\ETB\\190\\170F\\231\\129]V\\DLE\\140W\\236\\238\\SYN\\179k\\184E\\192.\"","tag":"AbiBytesDynamic"},{"contents":"\"}VE=#\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\STX\\181\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\GS]\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\173\\224M\\226\\181\\167~\\217\\159iX\\186\\ACKs\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\214]H\\176\\ETX\\r\\DLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\&8\\244\\ACK\\170g6Dt)\\155\\247<\\129\\&4\\222\\194\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137bi+\\192\\171\\158\\253\\145A\\250\\ETB~\\239\\159\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\162|\\175(%/@\\135\\251\\155\\232S\\231\\146\\191\\FS\\149\\130;\\159\\189|\\186 \\247Pt3\"","tag":"AbiBytesDynamic"},{"contents":"\"^U\\SUBaF>\\212\\t\\GS4\\245\\229>?\\142\\130\\210c\\f\\200\\236i\\195k\\139k\\141\\ENQ\\DELC\\187\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136Y\\146W\\167\\197\\DC1cAho\\141\\205P\\229\\199O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248F\\144\\&7\\150p\\202\\145\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\194s\"","tag":"AbiBytesDynamic"},{"contents":"\"*\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\223\\SO\\194`h\\139\\235\\205E\\201\\176\\EOT4}Q\\167Y\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"*,|\\236C\\220\\234\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\145\\EOT\\247\\174\\165\\254\\246\\DLEIB\\160D\\160\\224H\\225[\\DLE\\130:\\152\\160e\\140\\&6R\\148i\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\181\\RS\\169\\246\\211\\204\\207u\\236_\\246#z\\175\\234\\160\\128$\\133\\f\\248\\194\\250\\131\\216\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\194\\NAK\\218!\\132pf\\244\\202=CN\\DC2]n\\232\\194\\218\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\145\\217\\231\\180f\\195\\219h\\159\\201\\DELNE\\164\\191D\\128\\186\\170P\\129\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\&8\\217\\249\\250\\212\\178\\129\\ENQ\\240\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\154M\\254F\\SYN1\\244PwI\\176\\v\\DC1\\195\\194\\153\\203\\210\\211\\ETXeL\\192\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"#l\\196u\\EM\\ACK\\184F\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"5g\\148\\150o\\199\\190\\\"\\148\\145\\SI[4\\RS\\248\\EOT\\138\\160\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\\\\\212\\&5\\RS\\204\\&4\\223^\\163\\211\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\154\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\184Q\\132\\137\\215\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\254\\r\\255\\EOT\\US\\CANG\\STX\\145\\237\\157\\146\\169\\164\\128\\SUB\\142\\&1\\184\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\181\\253\\DC1\\183g\\186\\EM\\251x'MW\\209@\\179\\191\\148\\203\\ETB/\\212\\a\\195\\220\\229\\232qv|\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\209\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\224{\\157s\\SO\\237=\\n\\ETBc\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\238\\144B\\FSm\\243=5j\\136\\187\\229e=\\186\\b\\128^\\228(_c\\b\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"|\\n\\RS\\SOH}\\DLE\\239\\\\*(\\186\\231\\243\\162\\201\\148\\242\\164\\ETB`N\\228\\181X\\STX\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\139\\187Q\\241\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\138\\129\\184\\251\\144\\199\\174!\\177W\\160\\FS\\144Q\\149\\220~*\\153}\\145;\\141\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\148\\DC2\\FS#m\\138\\SUBr\\204\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\144\\247\\134\\&7\\226\\147*\\240\\141\\EM\\\"\\DC3\\STX;P\\r\\244\\253\\&1\\EOT\\132\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\136\\NUL9\\132\\SI\\218\\ESC\\220\\CAN\\139\\233\\ETB8\\234\\154\\203\\253\\180\\212\\SYN\\175_?\\233\\SYN8/\\226\\198\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\156Q\\249\\\\\\147\\185O\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\206`\\255\\EM\\248R:\\177\\155GKEy\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\211\\SYNH\\167\\t\\222\\165n\\137\\221\\NUL=\\253\\188\\144\\\"(\\189\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"*F_\\131W\\214\\204\\DC2\\NUL\\246\\144\\ETB\\161u\\210\\154\\245\\239RR\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\213\\128M\\180\\v\\201\\224\\&0+\\STX\\218\\RSZB\\249{B\\228\\230\\172\\173\\208FP5\\147\\246d=\\253J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\165\\SOHc\\t\\154>\\EOT'\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\251p\\215\\167\\240x\\215Z\\137\\&6\\132\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228}\\184\\188z\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\".\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"&r\\195\\t\\154G\\DLE\\205G0\\205\\241>+\\DC3\\NAK<\\207\\200-\\DEL\\209\\185\\151v\\149\\ETB\\fC\\225\\158\\180\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\EOT\\193\\NAKDcp\\238\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\234~\\190\\222#\\128\\195\\136\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\202$\\130\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\161@\\152\\131\\165,&]0J\\208\\149\\&2l\\145&\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\197\\f]\\172\\240\\224\\163\\147\\SUB:\\\\\\156R=\\146\\245\\148\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\178\\171gr\\223\\162\\214~\\255\\DC2\\140\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\SUB:\\191\\201\\DC1\\179D\\214O\\134\\229$\\220\\151\\RS\\USs\\161d\\132\\SYN\\SOH\\f\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2%\\232\\EM\\DELp\\r\\219i\\132U\\135\\131\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\252\\248{\\223C\\195\\182\\&0q\\154\\250Fl\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\128\\140\\199\\205:\\SOHN9\\135\\ETB\\206\\144\\217\\202\\&6\\172\\159\\187x\\157\\&2\\209\\DLEw\\239\\188\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"B(\\149\\DC2\\DC3\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\ESCMI\\209g(^0\\194\\163\\174\\GS?\\136,\\151\\GSW\\tl\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\215h\\USn\\229\\171\\208RHK\\CAN&\\191\\182\\173\\a\\130\\138M\\251\\139\\184M9\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\177\\170\\186\\143\\EMl\\180-\\147\\206/\\154d\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\195\\205\\175P\\129\\198\\220\\216l\\247\\207\\189\\128(\\222\\&7\\175\\230@.y[\\214\\143p\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\150\\244]\\a\\218\\245\\213\\183\\DLE\\196\\206\\215\\SUB\\223s\\194\\EOTU8'\\178\\&5\\132:\\163\\204\\237\\174\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\130\\162\\156\\DEL\\212\\SYN\\217\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"1u\\ENQ\\208\\SI\\216o\\239=\\155\\157\\189'\\191O\\174\\221\\254t\\150;\\131\\160\\152,\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Rm\\SOH<\\134/\\SYNi\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\190\\171w\\r|\\184W\\DC1\\rrM\\186\\v\\162\\154\\NAK\\217\\176\\183}\\235\\247\\159\\&8\\162BD\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\160\\217\\NUL\\138k|\\DC2\\170\\190\\236.\\t\\137\\&5\\v\\155!~\\214\\140q\\147\\250\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\148\\153d\\150Y)ldO\\207\\199\\r\\DC4\\182\\246\\DC33\\143\\177\\193\\225\\189\\&3\\164\\228\\DC2\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\224\\189\\191+\\SOH\\219\\147\\131\\134\\201]\\226\\132\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\215:5\\174\\SOH\\129`c1\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\167q+\\167\\FS\\228\\229S\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\n\\ENQ\\229\\&7\\171\\153\\DEL\\131\\255=\\STX\\CAN\\162\\171\\NULz\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146`b\\248\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\137\\131\\180\\158h\\b\\CAN}\\DC48[2n\"","tag":"AbiBytesDynamic"},{"contents":"\"1x\\\"B'\\223P.:\\219\\234\\140y\\247\\193\\DC4\\151\\172(\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185x\\199\\162F\\132\\203\\228:y\\130\\229\\DC4+$\\\\^\\229\\155\\192\\194\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"Y3\\227\\191\\129\\US\\197*\\226\\nP\\194\\&5k\\DC1+\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\207J\\237\\225N\\144\\190\\175yH+\\NUL\\181\\225\\r\\186k\\b\\228ToQ\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236p\\151\\b}\\205\\206\\245\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"Os\\235L\\192@ \\223\\&3\\184\\235E\\149\\172\\158/qk\\DC2u\\158\\ESC\\a\\255e(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\139W`\\232\\249\\197\\136$'\\138\\CAN\\137\\223M_\\DEL\\a\\198\\190\\145\\ACKX\\DC2\\191\\227cw\\207M\"","tag":"AbiBytesDynamic"},{"contents":"\"xV9l\\224\\162\\ENQ*\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\156\\r\\FSI\\175\\137\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"])\\DC4\\167\\159\\233\\&0\\237\\241\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138y\\200L\\132\\200\\134\\228\\191@D\\178\\161\\164\\192L\\154\\244\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\236\\244\\199\\243#\\142C\\208\\220\\210\\161WZ\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222S\\164~\\211R!r\\172YxP\\246\\&6\\212\\SO\\ENQ\\rN\\220\\253@/\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\vJ\\134w\\167\\223^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\214\\&6\\EM-\\130iY+\\194\\148\\157L<%x\\247d\\175\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\168\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"3wb\\ETX\\138\\243pi\\145\\150\\133\\130\\162!&\\ETX/\\GSw\\188\\128]\\GS\\bg\\146\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\138\\DC3{\\145\\194|\\235\\177\\SI[\\191\\181T\\143\\202\\163\\231\\233o\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\rn\\212\\145\\155y\\138j:\\214\\&2\\128\\162\\SUB\\ESC\\225d\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\n6|\\182\\241\\&1\\228\\DC3\\226\\135\\226t$PkA\\230\\244\\128\\242\\193\\t\\193a\\164\\134>\\EMA;\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131`\\236l\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134z3\\159\\247\\180=1\\212\\DLEqTs\\220\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"3O\\233[\\133\\236\\251O\\140G2\\166\\215\\145\\142\\162\\168\\132\\244\\167\\206\\SI2*\\160?\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\SI)\\164\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\160S$-\\254p\\162J\\213\\227\\181aNtdV\\168r\\137\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143N\\159C\\128\\166~-\\ENQ\\ETX\\239\\130\\RS\\248\\154\\247\\234\\240\\&5\\135H\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4i\\172z\\212*o\\243eH\\147\\t?(z\\EOTU\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"x\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"y{a\\148\\136\\246]\\135QT\\142\\243\\164l\\210\\231L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\DLE1\\v\\144J\\252\\FS\\159\\&5\\145\\243\\175\\212\\DELM1\\157\\SOH\\148D\\253\\166\\r\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237}{\\\"\\160U\\DC2\\NAKv6g\\128\\235lu\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\250\\154\\246b!.\\222m\\172\\242\\DC4;H\\243\\222\\231\\EMD\\243\\222)Y\\159\\232k(J\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\r\\164\\STX`j0\\f\\v|\\202\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217m\\175\\SIo\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\187\\202\\189\\DC2E\\147\\204\\&2>\\135\\154\\164\\207j\\191*\\143\\235\\198\\155\\238\\240\\US\\f\\236\\189\\248\\SO\\r\\161\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\210\\246x5v\\187\\198\\194\\220~\\191\\255\\254\\213B[\\NAK=K\\STX\\141\\147\\ENQ\\179\\214\\236w+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193tX\\211F\\163\\222\\173\\&9\\137\\f\\DLE\\153H4\\146\\232\\248\\189s\\158x\\GS\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\GS\\160\\254N\\b\\200U\\166\\198M\\220\\250\\137)\\FS\\t\\182\\190\\236\\DLE^\\207/>y\\197[,\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155*}`M\\DC4\\157T\\176d\\169K\\187\\232f|\\212\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221L\\214ws\\232\\154\\ACKJ\\190\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"=%\\250\\220\\157\\174\\197d\\ETX\\137\\251\\177C\\SOHT\\237\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\203\\SOH^\\221\\NULi\\179\\254\\242\\178\\SOHl\\254p\\US\\232\\rQ^\\252\\152B\\251\\168\\133\\176\\ESC\\230\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\207^\\194\\225]\\254\\238\\177~\\230sr\\231\\221\\209E\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\202g\\195\\248]a\\a\\197k\\EM\\255m\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\203\\128\\EM\\253\\170>\\195\\&5|\\226\\152\\DC18[\\154\\152\\a\\ETX\\206e3\\152Z\\181\\SO\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181o\\206\\ENQGeT\\143C\"","tag":"AbiBytesDynamic"},{"contents":"\"SI\\\"\\ETX\\208\\237\\&6\\242\\132\\240\\150l6\\228K\\254\\202\\RS\\DLEU\\v\\241\\202\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"f\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\187Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\206\\&5\\190\\f}\\148|.Kc\\232\\230)\\196[vo\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\203\\164'\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN6\\254\\211!\\194ITq\\ETX\\141k\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"[P\\174\\196K\\197\\a\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\&6\\213\\219\\251ZL~_\\EOTiF\\252\\170\\133K|\\ETBp\\n\\252\\176\\160\\204\\&8\\129\\167\\134\\219\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"21880016529523463691333830093495129392029160372560224203107851055823922592693"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553536"],"tag":"AbiUInt"},{"contents":[256,"91977423792932665245172111084805454230750641735873221265042633122638566577281"],"tag":"AbiUInt"},{"contents":[256,"113513894249614715006798922312792315651040920249048429499396129679400256121831"],"tag":"AbiUInt"},{"contents":[256,"15265488"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1529541138"],"tag":"AbiUInt"},{"contents":[256,"114"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639707"],"tag":"AbiUInt"},{"contents":[256,"724"],"tag":"AbiUInt"},{"contents":[256,"1532972714"],"tag":"AbiUInt"},{"contents":[256,"26386480790032124460143534528129077243594162777671629612241647586054802067056"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639918"],"tag":"AbiUInt"},{"contents":[256,"47296591595320769022813534762627500219045316903328211993649184305203116189464"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"1531676123"],"tag":"AbiUInt"},{"contents":[256,"1529070883"],"tag":"AbiUInt"},{"contents":[256,"54235677561861582112201966789624763011217528849340501498840116798418826296523"],"tag":"AbiUInt"},{"contents":[256,"15291219"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630932"],"tag":"AbiUInt"},{"contents":[256,"675"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"61319086128764111474080992325567322412905719270515582084743017731254746308562"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639039"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"22730880388374546558931366008398396118004329265348873506823119112733204362929"],"tag":"AbiUInt"},{"contents":[256,"81620770280388436774855573249763398385336632695387564635542795348451528362000"],"tag":"AbiUInt"},{"contents":[256,"82225026105621066515764017271063347271831302577484969912101864392140360019983"],"tag":"AbiUInt"},{"contents":[256,"11131438239582016777283233216913016129789836602237623446889948555256637161191"],"tag":"AbiUInt"},{"contents":[256,"103093885166979728887437809077340877317084488501564841873743510084442133317561"],"tag":"AbiUInt"},{"contents":[256,"115180050335402765331524457442291628391562133461319686757472973529321222180609"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1537402513"],"tag":"AbiUInt"},{"contents":[256,"104"],"tag":"AbiUInt"},{"contents":[256,"92039475434205264769064162114791244262272879966636284812477039817120070204477"],"tag":"AbiUInt"},{"contents":[256,"135"],"tag":"AbiUInt"},{"contents":[256,"499"],"tag":"AbiUInt"},{"contents":[256,"28519303824072866331144671129225429326447782436293309671554475298956620954142"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f98","0x0000000000000000000000000000000000000000000000000000000000000020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"19"],"tag":"AbiUInt"},{"contents":"0x792F3eb0aCD92Dc9ab83c64DA4657B1AA8E47681","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000066","0x00000000000000000000000000000000000000000000000000000000000020a5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"18446744073709551617"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f17","0x0000000000000000000000000000000000000000000000000000000000005a2a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"214"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a517","0x000000000000000000000000000000000000000000000000000000000000a405"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"552203493812318859979915932416447"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007cf4e","0x0000000000000000000000000000000000000000000000000000000000001372"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"201"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb41","0x00000000000000000000000000000000000000000000000000000000000076d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c6","0x0000000000000000000000000000000000000000000000000000000000001362"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b43c","0x000000000000000000000000000000000000000000000000000000000000b9e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"25830102805732732967452973270419499524294442226183966430440546495753556417760"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a51a","0x000000000000000000000000000000000000000000000000000000000000138e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"101732915599210856198005772546181898696306665340049864651470255881726251037207"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000033","0x0000000000000000000000000000000000000000000000000000000000001320"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb12","0x0000000000000000000000000000000000000000000000000000000000002712"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"25816433300379591826879698136662267603418247713575903284146395862085408315888"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bd43","0x000000000000000000000000000000000000000000000000000000000000138e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"18446744073709551612"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac7","0x000000000000000000000000000000000000000000000000000000000000614a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008e028","0x0000000000000000000000000000000000000000000000000000000000006dda"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006daee","0x000000000000000000000000000000000000000000000000000000000000bd5f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"96"],"tag":"AbiUInt"},{"contents":[256,"1513830677"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002f607","0x000000000000000000000000000000000000000000000000000000000000003a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba5","0x0000000000000000000000000000000000000000000000000000000000001352"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"8999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089ae4","0x0000000000000000000000000000000000000000000000000000000000001386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":[256,"84566787734589701031723811730756390381277155232083482204118339023355249854488"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000804a4","0x000000000000000000000000000000000000000000000000000000000000ca09"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"32969023221622079836868013025910561838272383483220303405495813463029672864618"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fb","0x0000000000000000000000000000000000000000000000000000000000002606"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"316"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062123","0x00000000000000000000000000000000000000000000000000000000000000fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2c","0x0000000000000000000000000000000000000000000000000000000000008883"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"94584978625387120390166521223555663008291169848883359496422202852423863531605"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000036f34","0x000000000000000000000000000000000000000000000000000000000000086f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"n$!\\161\\245\\GSW\\163F\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\ETBw\\185\\166\\v\\154\\238@q\\138\\153\\SYNpy!)\\ETB/j\\227\\180\\211\\NAK\\249\\139\\175a?\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\191A\\162\\SYN\\154\\DC2\\224\\171m\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\135\\SYN\\216oW\\248\\171o\\v\\205J\\225A\\CAN\\192\\SYNu2\\180\\225\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"uAB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\223?\\NAK\\236G\\US\\218\\ENQ4\\226\\146'\\196N\\128y~\\192X\\ACKHY\\173\\165\\v}\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"i$`.m\\169\\245\\&3_\\213\\201\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180}\\157rJ\\b\\199)\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"v*\\128\\159h\\253\\250>bfh\\249\\165R\\SOH\\198\\227h\\186\\209\\166\\189\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\DC3\\252\\&6f\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254u\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\\"s\\DLEn\\212\\161\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\232R\\197\\SIu`\\v\\ACK\\204?L\\247\\138\\167!\\233\\203\\230g)\\243\\164J\"","tag":"AbiBytesDynamic"},{"contents":"\"tuP<\\243\\149\\200M\\150\\ETB\\181\\253\\237\\254m6xJOP\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\rdu\\151\\186\\&4E\\204z\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\251fG\\SO\\190A\\170N\\\\m\\140i\\168[\\DELu\\190\\245\\143\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\135\\192G\\175>T8\\178\\138+u\\234\\219>\\220\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\145\\182\\203Gj\\167\\224\\158\\147\\219\\252\\\"\\158\\249f\\180E\\146H\\159L\\138\\219I\\146\\210M(\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\232ot1\\170\\243\\157t\\219\\128\\191\\168Qun\\156\\146\\202\\139P\\194\\190+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ'\\171\\b\\252,\\203\\199\\187\\225t/\\NAK\\171]`?T\\r\\a{\\DC3\\143<B\\230\\196`@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189.b\\232j\\RS\\155?\\rp\\215w\\DLEn\\144\\188g\\\\+\\RS\\200\\154H\\238$\\245P\\182\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221`J\\138\\US\\243J\\179e\\135?\\222j\\142\\254\\167N\\CAN\\197M\\141\\234\\185q\\182\\202z\\160-\\212r\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\206\\205\\ETX\\230I\\163\\158I<E^\\236\\140a\\132u\\252N\\249$\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK#Y\\129f\\175\\128d \\170\\189P.-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOJ\\246}\\203\\160i\\185\\248\\180$G\\245\\131o\\215\\217\\189\\135\\&2\\216[\\rE\\185\\\\\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\132m\\193<\\190.\\198\\&9\\236\\249\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RSXe\\177\\224I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\207}\\NUL8\\239a\\145\\v\\150\\230\\186\\US[h\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207D\\a\\157\\142\\140\\CAN\\253\\&6\\223\\156_\\163\\144\\223U\\DC2\\195=\\v\\DEL?\\\"\\151n,\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"),\\232\\EOT\\250\\134\\132\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\238\\233\\172L\\186\\179\\145\\155\\146\\f\\t\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\190\\130\\SO\\128(S\\US\\164\\231\\218LC\\193\\SIY[\\128\\246\\176/p:\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\159\\DLE\\128\\206/\\n\\DC2\\235\\223:\\DC3\\215\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\158Vu\\194\\139\\SI\\t;\\133\\149n\\210\\215\\131\\251\\163\\\\\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184u\\184\\173>\\181-\\155\\234\\DEL\\136\\ENQe\\167\\176\\DC3\\255l\\166\\240\\136q\\186E\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170c0\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!bk\\241dC\\231\\213\\157\\212H\\231\\190\\153$\\RSO\\DC3\\176\\246H\\251X$;\\DC3\\\"}\\216h\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\179\\216\\161\\240\\214\\134\\US\\138\\DC1\\250\\ENQ\\166v\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\224\\\\\\188\\138\\181\\250rg\\225\\223*\\t\\211\\137\\&9.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\\"\\140J\\173\\132\\172\\EMm\\156\\191\\201\"","tag":"AbiBytesDynamic"},{"contents":"\":\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\169\\EM7\\RS\\GS\\141\\&5\\135\\220c\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\DELP~+3\\186\\203\\241\\198\\234\\209\\133\\236\\173HW3\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\241\\208\\184\\157\\152L\\238\\160\\199\\220-\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\129P\\247\\228\\n\\231\\177\\&89\"","tag":"AbiBytesDynamic"},{"contents":"\"9^\\200\\ACKH\\129\\157\\&3\\212\\192\\158]\\240\\DC2\\234\\DLEq\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\229\\EM\\216\\137E\\241\\190\\RS]\\173\\183\\226diI\\RS\\160\\219^\\182Qr\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\147\\137\\138\\148\\141\\135\\143\\r|v,\\192\\168\\234\\188\\215\\208d\\139\\185\\231\\247:(El\\186\\141\\203\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\STX\\158\\SYN\\ESC\\158\\136\\173\\211\\249\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\151^K<;\\146%\\162/J\\ESC\\185\\224\\218\\161\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\ESC\\SO\\254(\\137\\193\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\ESC\\206\\237 \\151\\213\\136\\177lgX\\141X\\163\\137e)\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\198xA\\b\\190\\134\\SI\\172CO\\172D\\148\\t\\192\\244xy\\\"\\184?!\\250F\\226\\141\\238\\&4k\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212ekjn\\171O8\\NAK\\222\\SYN'W\\141\\145O\\148p\\255\\170\\227\\173\\130\\r\\202+U\\139[\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\f\\185tF\\162\\197y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134L\\194\\SYN\\223\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\201\\\"R\\239\\212\\213\\141\\143\\136\\CAN\\221\\213\\209\\NULku?V\\ESC\\251\\DC1\\136\\191\\186\\&5\\135\\138\\143\\233\\233\\245\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\131\\SUB\\204\\150\\255^\\148\\ETX\\ACK\\170\\220p\\203N\\128\\157\\189\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"<:\\191}_\\189\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"zc\\238\\171q\\172\\143\\ACK\\215\\163\\STXM\\203uwL\\t\\ACKs\\223H\\251y\\178\\161\\185\\245\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\135\\182\\173\\246\\233\\ENQ\\175\\216y\\251\\252\\&6\\RS\\157\\231\\168_$\\194\\138\\230\\220A\\154\\145\\186\\213\\139\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\182\\217M\\FSs\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\167\\&3\\219J\\t\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\&15b\\231\\225\\179\\a\\128\\192\\192'\\210\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\225a\\169'U\\234\\128\\230u\\182\\189\\DEL!\\177\\185\\243VO\\200n\\DC3\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\169\\184\\&4\\GS\\143\\241tA\\222\\189z$\\215F\\242\\&7\\188\\219\\EOT)\\192\\154\\138\\254\\213\\SYNx\\181\\EM\\159\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"yPI\\159#\\188FX\\240\\&1\\213F\\193\\RS\\v\\\\!S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218<\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\234\\143\\EM>]$aU\\159\\156\\235\\tl\\GS\\248v\\156\\184\\246\\211\\\\\\vgg(\\157-$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206 ;tr\\145\\&6X\\246\\SOH,\\DC3G\\169\\243\\156#\\202_\\182\\198W\\134R:\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\196\\SYN\\190\\160\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\160\\237\\204\\203\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\230P\\253N\\218VW,\\244}1\\166,-42]\\143\\235}\\135\\183\\179\\222b\\ETBo\\136V\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160^\\198\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"CM\\146\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\155\\160:\\r\\144i5,A\\210\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GSV)\\201\\192R?\\\"\\237P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207BA\\169\\EM%\\146G\\172\\196\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\FS\\140\\210\\DC2\\224\\138\\185R\\137?\\SUB\\245@\\135\\DLE\\167f\\136\\152\\133}\\132Ax\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\EM\\136\\200W\\154$\\221\\175\\146\\178\\156\\150I\\160\\&2Z<d\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"]\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\RS\\DC3.q\\254\\221\\193\\241\\184\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\138\\144\\225\\205\\184\\129\\ENQ\\bNk\\228'\\158\\136hp\\215\\166\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152CT:\\160\\DC3u\\186\\250G0\\175\\&3/6}\\137\\bZ\\149\\151\\FS\\140{\\208_f\\209g\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\135\\&3T?\\245?\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\186Ni\\133^i\\205\\167wkC\\181\\&5\\201\\210\\ESC\\241`\\185\\178\\208\\a\\135\\181\\180\\182rV\\161v&\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\STX\\247\\DEL\\199<\\196\\&5\\247\\168\\ETX>\\145R\\180\\215\\144\\207]\\212)\\240\\253\\177\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f'f\\232\\&8j\\208\\NUL\\ETB\\160\\228=H$\\224\\SO\\183\\157wp\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\\\\\206?u\\NAK\\130\\165\\239\\186\\192\\n3\\198\\141\\165^\\131\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\n\\207w\\159\\196\\231&\\142\\151j\\232\\204O\\229#\\245\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\178[\\\\\\SUB\\211\\172\\208\\250a\\244\\t_\\233\\n_\\205\\237X\\SI\\\\H\\233aaF\\ETBX,\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\160\\185\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166|\\182\\161\\210i\\231\\DEL\\193\\140S6\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\196\\248\\243\\&1i(P\\SO\\179\\151\\168\\216\\208:Yo\\FS\\211\\208\\158*\\DLEH\\236\\&80p\\224&\\NAK)\"","tag":"AbiBytesDynamic"},{"contents":"\"~4\\213E\\NUL\\179U\\228A,5p\\199^\\188\\211\\144_\\SI\\181\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\213\\DLE3\\SO\\189\\\\\\141\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"2p\\198\\244(\\SYNU\\158pVp[9\\150\\147(Q\\148>.\\139\\169\\CAN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"[\\236\\EOT.\\198\\185}\\180\\170_\\SO\\191\\228\\164I\\195O\\142\\&3\\DC1\\254\\228\\186\\203RW\\175\\163y\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211xW\\226_\\159y]\\151\\f\\180~\\181.\\220\\244P\\180\\228\\ETXq\\135p\\255=\\174\\242U\\NAK{\"","tag":"AbiBytesDynamic"},{"contents":"\")\\163\\194\\160\\238r\\183\\183\\140\\&9\\188@A\\188\\186\\234\\213tk%\\149\\130\\221\\255\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\\\^Q\\138m\\SYN\\RS\\\":\\224\\154\\137\\131\\141\"","tag":"AbiBytesDynamic"},{"contents":"\",g=\\147OS*\\146\\218\\&2;\\158\\171a\\152\\133\\SOH\\130\\166\\165\\197\\238\\\\U9\\211%s#p\\166{\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\",3\\248\\235\\234\\DELP\\DELN\\252\\228\\162\\164\\&4\\185P\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\&4\\181y\\164\\188\\168 c7\\183\\247\\167\\246\\132\\253\\235)\\DLE\\224\\179\\&6\\217\\253\\t.\\ACK\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183oBp(\\FS>3\\DC34\\221\\187\\212\\NAK\\254z\\160\\161\\EM\\165\\&5\\f\\189\\NAK\\137\\248$\\DLE\\DC2b\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\251\\US\\160\\162\\229\\&2\\140\\172\\231\\240P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\150\\NUL\\151\\240.\\182\\&3\\138^\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\NAK_-\\252\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\\\s\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\228\\165\\n\\NUL\\180\\214\\252\\239W\\201\\233\\255\\170\\\\\\DEL\\GS^\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STXq\\168\\&4\\212j$gM\\214>\\206\\218\\159\\152#\\SI&\\234\\231\\248\\238\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"G,\\134I\\207\\t\\251\\220C\\231]I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"U]X\\ACK3\\168\\&0\\SUB\\211s\\173\\243\\135q\\151\\192\\243\\134\\NUL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"T\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"[o\\DLE\\140\\DLE\\183\\174H~\\195\\&5\\169\\219\\ETB\\147\\CAN \\247<\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254K\\217\\211\\233\\128\\&6\\231S\\207\\\"xCWV\\131R\\128|\\130\\&0\\184\\224\\206\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"t\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\149X\\208\\146\\207\\236\\182.\\145\\153\\231\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149b\\200\\251\\&2h\\221\\DEL0*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\250+p\\157U\\RS\\159\\SOP\\134\\235\\220kW\\214DRy\\250\\247\\211\\r7cY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\153\\NUL\\207\\178cD\\172q\\198\\GS?\\208\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\245\\159\\215\\158+:\\186\\192\\246H\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219$\\230\\214\\182\\243Mb\\152n\\SO\\155\\155\\ESC\\156\\161<\\188\\160\\195\\190ov\\234\\DC2\\221\\195S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160GB\\128Z\\177\\f\\140z\\236\\231@\\216\\164\\222:V\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\148\\173+>~\\163\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"w_w\\SOHx\\DEL\\246\\245\\174\\SYN\\181G\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"s\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229B\\\"\\246\\208N!\\132\\&5\\177Q\\180g\\226\\158%.\\SYN\\ENQ\\223\\213,\\164\\134\\226\\229\\129\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\244\\241\\225SV5\\205\\&8A\\155\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227F\\225\\ETBH\\SO\\197TTJdF'\\146\\170\\137s\\CAN\\140\\142\\rRA\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\\\\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\243\\240m\\163\\213xD3[g\\183\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\DC3\\NAK';\\140n\\157\\208t\\EOT\\133\\216\\STX\\135U\\241#\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\192/\\148\\170\\218a\\244p_\\198\\238Z\\132L\\EOT\\213}D\\226\\183)\\172\\207\\207N\\199\\187\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\250\\190`\\130\\US\\251& 5\\179]\\173\\164\\156\\DC14\\148\\244\\&0q\\ESC\\DEL\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171[\\191\\175\\184}YQ\\EM\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\151l\\200X\\204^\\222\\201\\251\\&1\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"NF\\238\\227X\\134\\194dm\\141!a\\130x\\198K\"","tag":"AbiBytesDynamic"},{"contents":"\",2A#\\150\\228a3S1n\\231\\248\\158j\\EM\\135\\216\\210\\165\\DC2V\\195!8\\208\\233~y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\187^\\178\\147>\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\175\\251\\202k(\\149qE\\153\\GS\\STX\\202\\174\\159\\181c\\189P|\\209\\140'\\255\\226\\SOH\\NAK\\139\\128\\196\\GSj\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\")Y\\145\\144\\CANp\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\SOH\\249a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\226\\143\\173\\237\\147JZU]W\\249\\221\\a\\b\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\FSKI\\SYN\\234\\161\\198)\\135\\171K<\\b\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\224\\248\\218\\129\\175W8/sn\\247e2T\\185\\250\\&0\\235\\190T\\202\\244\\GS\\156br\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166%P\\n\\220Q\\\"\\208&\\141\\179\\187!\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\212\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\250(Qt\\217\\ACK\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194$\\174\\DLE6N\\218\\ESC\\236\\234\\203\\DELh\\215\\GS\\189&\\248\\184\\143\\213Kk\\197\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"sd\\128q\\148\\207\\153G\\DC3\\145\\154\\213!5_\\RSQ\\249\\DC1\\151\\220\\\"\\131\\225\\238\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\&3\\fk\\189\\SIo\\DLEv\\215\\EOT\\175m\\DC1;\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175:\\236c\\235\\bg\\241K\\221$\\GS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"931"],"tag":"AbiUInt"},{"contents":[256,"38074036209827761018920853901659496750908684842971827058046751511813408426333"],"tag":"AbiUInt"},{"contents":[256,"3690085147703613419087652191460175086890380555036655863075103432705945239308"],"tag":"AbiUInt"},{"contents":[256,"3"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892767"],"tag":"AbiUInt"},{"contents":[256,"23267008837774"],"tag":"AbiUInt"},{"contents":[256,"105082953665103073798681522354485302969083963868834378739804251297006354061724"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636337"],"tag":"AbiUInt"},{"contents":[256,"86343518715439742544476736286456099201956100352546667408955982451300150672451"],"tag":"AbiUInt"},{"contents":[256,"1537402513"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639855"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639816"],"tag":"AbiUInt"},{"contents":[256,"1528796893"],"tag":"AbiUInt"},{"contents":[256,"30327623333551444438212774441750940391819115708837334455859994600958672584900"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858882"],"tag":"AbiUInt"},{"contents":[256,"1486391915518423270027959677867330203320325445745443064093650526076673652294"],"tag":"AbiUInt"},{"contents":[256,"8371130454179226763610733265380654475416626195792968018204155602980963928098"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062337"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"107406921535986379886457942757164739300219109542713185881632835996241964983612"],"tag":"AbiUInt"},{"contents":[256,"1525284993"],"tag":"AbiUInt"},{"contents":[256,"80221632950439817770765940935115914270076832030166084716377297794764904040"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"66139262307990291874191729358593742752891930458625278483422795506865576191072"],"tag":"AbiUInt"},{"contents":[256,"84086086404306522978882051686896393382817401404911483267301973689603157195705"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639916"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222595"],"tag":"AbiUInt"},{"contents":[256,"50417189948664881537827977635771413019737214815306986555782997847019983192810"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609602"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639909"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629935"],"tag":"AbiUInt"},{"contents":[256,"36"],"tag":"AbiUInt"},{"contents":[256,"43914190497096651872380831564672686423516957860305605630735055647829214183068"],"tag":"AbiUInt"},{"contents":[256,"667"],"tag":"AbiUInt"},{"contents":[256,"897"],"tag":"AbiUInt"},{"contents":[256,"9363069643061346456778348902374797361760234466498068351875179996129890649406"],"tag":"AbiUInt"},{"contents":[256,"18343205024652418972788368143825757378227792990491280061234342318801297311730"],"tag":"AbiUInt"},{"contents":[256,"4796527441509859634569476501806216110924750435721589891544441572633269834436"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639913"],"tag":"AbiUInt"},{"contents":[256,"3085047525237749418051687460"],"tag":"AbiUInt"},{"contents":[256,"100000002"],"tag":"AbiUInt"},{"contents":[256,"45404878565482613292929200561025423933776853622710231993694084819235232819032"],"tag":"AbiUInt"},{"contents":[256,"52523623350403668985553055651344491456826978754313099557712227507051729214536"],"tag":"AbiUInt"},{"contents":[256,"84"],"tag":"AbiUInt"},{"contents":[256,"57476981203892564425275409502571839367123576631988056862913302144317560278464"],"tag":"AbiUInt"},{"contents":[256,"20328689544351188228659652128566159284346487924256108299404233675063877056149"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"604800"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689598"],"tag":"AbiUInt"},{"contents":[256,"1528111087"],"tag":"AbiUInt"},{"contents":[256,"6042043439"],"tag":"AbiUInt"},{"contents":[256,"63263949848972241181739587236106975094787266514827609266913574940096267601972"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639635"],"tag":"AbiUInt"},{"contents":[256,"4379475979727872778081841051045250765387912361330243481941552636809121217413"],"tag":"AbiUInt"},{"contents":[256,"111997518464716475855855867722446329113186141696342204871627623866354445169114"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639875"],"tag":"AbiUInt"},{"contents":[256,"32297808266938553284302671635161209237719998491233999973657936187468608168251"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"89010456819158733005074370753853266703580958084844368380998526981480352919561"],"tag":"AbiUInt"},{"contents":[256,"5003"],"tag":"AbiUInt"},{"contents":[256,"1534131695"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634936"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639930"],"tag":"AbiUInt"},{"contents":[256,"26656324332542898574758479476728446083414643103643072093230366222872212928186"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639683"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639036"],"tag":"AbiUInt"},{"contents":[256,"49"],"tag":"AbiUInt"},{"contents":[256,"72"],"tag":"AbiUInt"},{"contents":[256,"114098025444406978159810888375832061659463240082950865609303070520855393254004"],"tag":"AbiUInt"},{"contents":[256,"498"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011518"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266892"],"tag":"AbiUInt"},{"contents":[256,"12977"],"tag":"AbiUInt"},{"contents":[256,"127"],"tag":"AbiUInt"},{"contents":[256,"103584095158692430460721507308856250007251944218071369877632643634747868083345"],"tag":"AbiUInt"},{"contents":[256,"27655974181055012496011777147551177814140368894688584843216381368690478810083"],"tag":"AbiUInt"},{"contents":[256,"14"],"tag":"AbiUInt"},{"contents":[256,"1532027766"],"tag":"AbiUInt"},{"contents":[256,"20873872615447024619219580700581543668212672768941329512690930686317177800580"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639923"],"tag":"AbiUInt"},{"contents":[256,"40910335114155495259921791153083185998347061626161685320096580110693694433561"],"tag":"AbiUInt"},{"contents":[256,"69002138657778783785550899423766872361716884886839441306245288731369367338991"],"tag":"AbiUInt"},{"contents":[256,"52442998376758525810670322131833398278760517348741465152864488501993760301072"],"tag":"AbiUInt"},{"contents":[256,"19545430883836358558027308231873902624772608186315767851907350050510374626371"],"tag":"AbiUInt"},{"contents":[256,"801"],"tag":"AbiUInt"},{"contents":[256,"234"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000051","0x00000000000000000000000000000000000000000000000000000000000003b4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"1525483086"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cb63","0x000000000000000000000000000000000000000000000000000000000000351d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"84835915483704842940308481339320188633548626530088534528200649633893435015808"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001517f","0x000000000000000000000000000000000000000000000000000000000000136a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1d","0x00000000000000000000000000000000000000000000000000000000000071cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858880"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072b92","0x000000000000000000000000000000000000000000000000000000000000132b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000685f3","0x000000000000000000000000000000000000000000000000000000000000e348"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"903"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000038f1e","0x000000000000000000000000000000000000000000000000000000000000b475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"43208095934953917004953027051047914488161170137784950456140527322550060308947"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d4ac","0x0000000000000000000000000000000000000000000000000000000000000061"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639920"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052be8","0x00000000000000000000000000000000000000000000000000000000000095b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"1528281893"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000529d4","0x00000000000000000000000000000000000000000000000000000000000001f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"61028572012318368830836177751265473572345892340408485422475814661825704389178"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb42","0x000000000000000000000000000000000000000000000000000000000000ca09"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"53948729161073512709893600603774949586391159851857902118365314692625954947702"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000035","0x000000000000000000000000000000000000000000000000000000000000753b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"19075694830682410889717515532958563831077968728814362683824056114840912869206"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c3","0x0000000000000000000000000000000000000000000000000000000000004544"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"1527957151"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000008a","0x0000000000000000000000000000000000000000000000000000000000001591"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"641"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000776b3","0x000000000000000000000000000000000000000000000000000000000000014b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"76429792514574978718050329774177237577464785411865821712437721326867986374756"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000079","0x000000000000000000000000000000000000000000000000000000000000133f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"6474463663709655336369342203359227013"],"tag":"AbiUInt"},{"contents":[256,"100848350467343378176485232512485228513709345288967874604138140307634059754102"],"tag":"AbiUInt"},{"contents":[256,"41340657439921709699657830430510779612304911393583090685947125008077092547767"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"82707924596473024717821911810898459710273639761524977777874540954738331353941"],"tag":"AbiUInt"},{"contents":[256,"37"],"tag":"AbiUInt"},{"contents":[256,"67193426416556283297665762499010225287673298850705995919284777936947188065203"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacc","0x0000000000000000000000000000000000000000000000000000000000006394"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"102217845796759119180648420691620931250197401449227451209954645581979031116549"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc11","0x00000000000000000000000000000000000000000000000000000000000005ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd9","0x00000000000000000000000000000000000000000000000000000000000000e6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e350","0x000000000000000000000000000000000000000000000000000000000000005a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004e","0x0000000000000000000000000000000000000000000000000000000000000e10"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"1712863740"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142f0","0x000000000000000000000000000000000000000000000000000000000000614d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"97196052107785287730026367578796810107158982100578587004059449326341373136616"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f6","0x000000000000000000000000000000000000000000000000000000000000aa32"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"22549321481944804346032674324377135070672036967719669170516656229340384411323"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a9f7","0x000000000000000000000000000000000000000000000000000000000000587b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"48587434679243143495465883969502623171040176025780124967743020547237985654570"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb07","0x0000000000000000000000000000000000000000000000000000000000002609"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"\"\\170\\169\\DC1\\DC1\\DC1\\DC1\\DC1v\\189\\\"gg\\n\"","tag":"AbiString"},{"contents":"\"\\149\\180Z\\129\\&1\\US\\r\\240\\162\\STX@\\SO\\205\\DC3,c\\SOH\\206~\\\\\\128@W^\\133\\250i\"","tag":"AbiString"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"48372542973749502425805678775805134830546760793110383516870206890811777013763"],"tag":"AbiUInt"},{"contents":[256,"835"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"1000000000000000002"],"tag":"AbiUInt"},{"contents":[256,"48530264551963692046101733354193668903105209480648988382541092724671693758976"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d2","0x00000000000000000000000000000000000000000000000000000000000012a3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000022dac46ebdb96d929"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":[256,"16125561299302638738071863163074739631976400146584122299072225390557441924888"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ad08","0x0000000000000000000000000000000000000000000000000000000000000590"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x8324ADfC37e4Ce6B24a34Ced4A13faadbd59Ca97","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074c5c","0x00000000000000000000000000000000000000000000000000000000000013a8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553539"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052400","0x00000000000000000000000000000000000000000000000000000000000003ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"1528070896"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003a458","0x0000000000000000000000000000000000000000000000000000000000009e97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"18"],"tag":"AbiUInt"},{"contents":[8,"12"],"tag":"AbiUInt"},{"contents":[8,"228"],"tag":"AbiUInt"},{"contents":[8,"109"],"tag":"AbiUInt"},{"contents":[8,"119"],"tag":"AbiUInt"},{"contents":[8,"232"],"tag":"AbiUInt"},{"contents":[8,"88"],"tag":"AbiUInt"},{"contents":[8,"119"],"tag":"AbiUInt"},{"contents":[8,"128"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007775","0x000000000000000000000000000000000000000000000000000000000000a291"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000076e40","0x0000000000000000000000000000000000000000000000000000000000007660"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]