[{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":[256,"104700186082144205771010792246303002266442952925768305778178383057868457970793"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c1","0x0000000000000000000000000000000000000000000000000000000000005f5e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"44212261468968176046919679776555363585275837635826754759416644699749871740254"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a564","0x0000000000000000000000000000000000000000000000000000000000000017"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":[256,"840"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001a363","0x0000000000000000000000000000000000000000000000000000000000005368"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"71091185916701879075782672263807123845143469113781295416059326376222454268956"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000008a","0x0000000000000000000000000000000000000000000000000000000000008fe0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002e0a1","0x000000000000000000000000000000000000000000000000000000000000b556"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\208\\185\\241\\242\\202~i\\214\\135f\\t;b\\201e\\a$b\\223\\&5K\\219en\\186_\\131\\159\\243\\DC3\\185\\249\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea46","0x0000000000000000000000000000000000000000000000000000000000002327"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"73"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001e299","0x0000000000000000000000000000000000000000000000000000000000007b2a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"65544523196810920812241277697629871323851702636809201772581397301121436388508"],"tag":"AbiUInt"},{"contents":[256,"12767663153835312444231616151905112884751112845423949960830991972756607702255"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639925"],"tag":"AbiUInt"},{"contents":[256,"65832278897548827711024750295017124138019702183953764422683327459560243092285"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069d23","0x000000000000000000000000000000000000000000000000000000000000df50"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":[256,"8149415034592274511455179766411858335061270663548553207143958401671202963063"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000004b71","0x0000000000000000000000000000000000000000000000000000000000006984"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"77563740342240239668555364472644362717016165940355612646342374046503637931142"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000094ab","0x0000000000000000000000000000000000000000000000000000000000003f7f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"798"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b27e","0x000000000000000000000000000000000000000000000000000000000000736e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"55528561553915383691305304025298512420229670206728816224945542497238473413127"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000085","0x000000000000000000000000000000000000000000000000000000000000d13a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"81043586166266417481759370213914927289333303063625588190486390962224096081055"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1a","0x0000000000000000000000000000000000000000000000000000000000000030"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"57"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008be6f","0x000000000000000000000000000000000000000000000000000000000000a293"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"82"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003a","0x0000000000000000000000000000000000000000000000000000000000008b95"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"1533924411"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c437","0x0000000000000000000000000000000000000000000000000000000000002674"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003ea","0x000000000000000000000000000000000000000000000000000000000000dcb5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"91304641348519542225459611643377036143755715487370144143458364614795278178642"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000005","0x000000000000000000000000000000000000000000000000000000000000ec35"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c4","0x00000000000000000000000000000000000000000000000000000000000095e4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":[256,"101918703099745334443601586186096870977936788296905388554305871982933620880886"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000489d5","0x000000000000000000000000000000000000000000000000000000000000d9d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"801"],"tag":"AbiUInt"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000048fc5","0x0000000000000000000000000000000000000000000000000000000000005ca7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000002b3","0x000000000000000000000000000000000000000000000000000000000000c1ef"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266896"],"tag":"AbiUInt"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000054","0x00000000000000000000000000000000000000000000000000000000000039ec"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2b","0x0000000000000000000000000000000000000000000000000000000000001361"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"38185411310335017746971995527256837459088970789114144410893403359352891138963"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb35","0x0000000000000000000000000000000000000000000000000000000000004f13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a8c7","0x000000000000000000000000000000000000000000000000000000000000004b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":[256,"111649757863517657608482380546962629255175321953354302330229150279028040977824"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000016517","0x000000000000000000000000000000000000000000000000000000000000d9dc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"19751484871504367481902830814379284042"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb39","0x00000000000000000000000000000000000000000000000000000000000012b5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"79228162514264337593543950339"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042655","0x00000000000000000000000000000000000000000000000000000000000095b8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfb","0x0000000000000000000000000000000000000000000000000000000000004b98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb00","0x0000000000000000000000000000000000000000000000000000000000007e4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"370417705152377872913861617498084710278342232195746550"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214c9","0x000000000000000000000000000000000000000000000000000000000000ac04"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"106"],"tag":"AbiUInt"},{"contents":"0xED1785b65896022A79B55D3EbaFD6Ab7C6560e92","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce52","0x0000000000000000000000000000000000000000000000000000000000008b95"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"85"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4ff","0x00000000000000000000000000000000000000000000000000000000000001f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000046","0x0000000000000000000000000000000000000000000000000000000000007e4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x8324ADfC37e4Ce6B24a34Ced4A13faadbd59Ca97","tag":"AbiAddress"},{"contents":[256,"1526235842"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003340a","0x000000000000000000000000000000000000000000000000000000000000004b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"V\\155\\131Zk7\\164\\f\\156\\224\\218c\\228\\218r\\179\\161\\228)d\\211\\246T\\207 \\DC1\\243H\\EOT\\240\\f\\167\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062b76","0x00000000000000000000000000000000000000000000000000000000000013ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"1083156601331248986427909162788822875371597296472566713576002630193408020810"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d04f","0x0000000000000000000000000000000000000000000000000000000000000381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007872f","0x00000000000000000000000000000000000000000000000000000000000007d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000048","0x0000000000000000000000000000000000000000000000000000000000003f81"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"Invalid request\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c18d","0x000000000000000000000000000000000000000000000000000000000000a8e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"87785978100687204152438570756839677626886297318052970946350524363906722487569"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639636"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f96","0x00000000000000000000000000000000000000000000000000000000000001f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000025","0x00000000000000000000000000000000000000000000000000000000000035da"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"728"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000eb","0x0000000000000000000000000000000000000000000000000000000000001021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\248\\184\\155\\138Q\\182\\GS\\255F:\\227\\185\\&9\\nT\\EOT{o\\132\\158\\n\\f\\GS\\ETB\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\CAN\\224B\\178\\197\\ETX\\142j\\229j\\FS\\222\\141r\\224\\175]CG\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\245t\\rh)\\f\\145\\ACKs\\207\\198\\SOH\\180\\248\\CANs\\207\\253\\&4CR\\130`\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207NW\\130y\\149\\243V\\166KJ\\222\\&5=\\138\\168\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\US\\241\\182\\&4\\176\\&6{K\\t\\145\\NULQ\\212\\217\\fP'\\249l\\219\\215\\DC2<\\197y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\ACK\\ENQ2~\\192+\\156y\\DC2\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230!\\157m\\203AL\\238\\206\\198n\\SI\\135\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"kNU2\\ENQ\\\"\\ENQK\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\148\\&2N\\220\\175\\204\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\222N\\218E\\198\\152\\f1\\161\\NAK\\143\\133\\254R??\\DC4=e\\203\\130\\141\\235\\146\\237(l\\193W\\185\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"E[\\216$T>\\164K]\\200\\150E%\\219%F\\US\\203\\168\\158\\198\\181\\217q\\152\\185\\ETB\\196\\152\\DC2S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224}\\DLE\\182o\\t\\\\\\215\\215\\t\\248#\\239\\209\\254\\245\\148y\\240\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\214\\DC4\\147\\225\\254\\&0\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202q\\STXB;\\DLE\\GS\\209\\US\\137f\\201h\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\232\\EOT\\ENQ\\223>M\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"z\\DEL\\251\\b\\249\\210\\189\\197\\138miL\\161k\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\252\\STX\\151x*\\231Z\\180;8\\232j<C\\SI\\215\\177\\205\\136\\bh\\NAKo.\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\SII(\\215j\\ETB\\242\\226/\\138\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"O/\\EOT\\ETB).\\197\\190G\\190\\NAK\\252\\FS\\180\\194\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\STX\\238I\\213\\139\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\130\\248\\240\\177\\flp\\a\\185\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\235\\216b\\231\\133\\DC3\\ETX\\155\\156S\\129'\\184\\249\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\188q\\132,\\131&\\a\\145\\246\\144\\&6\\199\\&6\\169\\242\\ENQE\"","tag":"AbiBytesDynamic"},{"contents":"\" t7\\174.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196zqp@\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH]O\\178\\132L\\154\\203\\202\\197+\\n\\229&\\ENQ&R\\145\\144\\160D\\175aK0\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\166h\\254\\149\\223\\233>L\\137E-\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\155Q\\159\\140K-\\147\\&3\\173q\\215 Ir\\151\\251\\249\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\223:\\190\\150\\167\\DC1\\169\\US\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219z\\232g\\198g\\210\\138\\172\\223\\214\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137-\\b-sV\\DC1|\\CAN\\NAK\\SYN]\\b\\188Nm\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT+\\141\\233[\\203\\237\\&7L\\192\\250\\193\\231\\SId\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\142\\CAN \\246\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\175\\&8\\153r\\227-\\193Fwm\\227m4F\\236\\&3j_\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\135\\140p\\195z\\231\\179\\147\\n]\\197\\ESC\\145\\237\\198\\133\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\201\\241\\ENQedt\\251\\SOH\\SI\\f\\144\\253\\222\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252qz\\135\\224\\US\\137!\\135\\DEL\\SI\\220\\162\\166j\\GS\\v\\154HaD\\196\\195\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\222\\213\\252\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130Zf2:k\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\144\\154\\152\\183i\\SUB\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\204\\209\\171\\232\\195\\208\\&6i9\\208\\144\\238\\128\\154\\137=\\t]\\130\\243\\250\\165\\139`&Q\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\GS\\133\\&3e+^G\\164x\\180\\204;\\196G;eI\\149\\224\\181\\147\\201\\140\\190\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175Q\\\"\\176\\148F\\\"\\255\\236\\158\\198~\\154AA\\f\\131\\173\\206\\187\\211\\252\\205\\149\\195\\156\\185f\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\RS\\134\\140b\\192\\226;]\\214w\\156b\\USL\\200W\\163=\\n\\195\\136\\r\\139\\195\\192i\\201\\221\\188\\NAK\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\136B\\218\\253\\234@\\164\\188\\205s\\169\\143\\DC1\\f\\142\\202LA*\\\"I\\167N\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128T{\\226Y\\230`\\229\\225\\253;\\248M\\175\\NAK\\171 *\\147\\179\\215:\\235\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\136\\208\\157\\190\\177\\DC4lf49\\250\\US\\235\\168\\233tBs\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\231\\146\\217\\141b\\185;aJ\\206\\223\\148i\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\189*\\190\\136_\\206 Ge\\134Y\\200\\148\\b\\144K\\217\\182\\179\\151\\207d:\\137\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\ETB\\156\\161\\203\\v$\\\\\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\150\\235\\200X\\214\\\"`\\136\\206R\\STX.3\\DLE\\US\\220E\\226x\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\190\\rY'O\\193\\DC2\\214\\223n\\152ziY\\143\\175Z)^0k#?\\148\\177\\146\\&0\\149w\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\225\\ETX\\242$^Q\\ETXoka\\DEL\\142n\\157\\195\\241\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"AW-\\196\\&1\\CAN\\151F\\201\\237\\134`\\200\\230\\144\\247\\&3\\GS\\159\\230\\231W\\141\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\bz\\138\\235\\221*\\154\\182\\&3\\234\\DC2\\NAKW(ig\\140\\\"\\STXJ\\174\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1C\\244\\&0DrO\\191\\&4\\233\\a\\178_\\192f\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"hlg-\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\205l\\f;\\239\\235\\ENQ\\130\\148^\\172\\155k\\253\\133L\\146\\205\\138\\&5\\210\\156\\147\\199\\165\\162\\130\\DC3-4\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\149\\157E\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\DC2\\153F\\ESC\\184\\rA\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\230]\\129\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213A\\208\\166\\SI\\n\\160\\186\\223\\SUB&Z\\164\\ACK!\\228\\239\\197<sP\\SO\\&H\\211\\&7\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\178\\&6\\225e0\\128\\194h\\166\\CAN&*:\\225T\\132~\\190\\197\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249n\\SI\\225\\250\\223\\&4\\159\\239R\\181.[\\139\\169\\SUBg\\191\\USG1\\ETB\\\\\\188\\&5\\197\\156\\b\\249\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\168P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\210\\220\\EOT\\206\\178\\166\\246\\241\\163\\&2'\\237\\244\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\220(:X\\210+\\134\\&0\\222\\244[\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\240H\\\"\\132k\\177\\154#\\156<]\\ETX\\197W\\DC2\\166q[|\\SO$F\\183\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\DC4\\203\\239\\158\\182\\156y\\134\\amK\\134j\\221\\204\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232.\\216;\\EM\\188\\USwy\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\185`\\ETB\\DC2\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\137\\194\\&1G\\186\\249\\184<\\200i71\\SUB\\250\\156\\196\\145\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\SUBe\\186\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171c\\175\\193\\173\\130\\133<n\\\\\\243\\DC4ai\\EOTvB\\188R\\205\\184\\&2P]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153a\\137\\236\\EOT\\202\\a\\200i\\132G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\234\\&3\\206\\a\\224\\206\\DC1\\198\\212U\\199\\225B\\221\\202\\229\\RSc\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159dI\\CAN$,\\148\\153\\213B\\196=\\211\\STX0\\139Vk\\202\\ACK\\164\\190\\232\\&8Q\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\239\\b:e Al0\\220\\b\\248\\169b\\148\\239\\240\\232GLr\\STXs\\208w.M\\172\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142{s\\159\\SOH\\254\\195\\DLEt\\155\\144\\226\\131\\&6k\\201.k\\247\\240\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\f\\190\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"^8\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\f\\190\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"^8\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\f\\190\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"^8\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\f\\190\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"^8\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\f\\190\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"^8\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\f\\190\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"^8\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\f\\190\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"^8\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\f\\190\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"^8\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\f\\190\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"^8\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\f\\190\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"^8\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\226\\188F\\SI\\194\\\"B\\227\\SOH\\218J\\212$\\161?\\146R\\222T\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160j%6Y\\191\\&7\\134\\176\\229\\220\\216;l\\nr\\ENQ\\150\\&2d\\DC1I\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\147\\SI\\226\\241\\170s\\STXT\\234L%\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GSH\\240P\\STX\\ENQ\\SUB\\159\\216\\176\\247\\162(\\232<>2Go\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\DELoH\\235e\\212\\251h#z\\RSqj<\\216\\130@\\230\\249\\149\\200M\\212b2*\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\b\\200\\&5\\247\\201\\141e\\224r*`\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\SOw\\209?\\153\\fJw\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\191\\159X\\r\\251^\\166<\\153:ug\\137\\149_\\205\\&8Kt\\129k\\177\\154\\139\\RSc\\SYN:\\188\\144\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\179\\242\\&0\\212\\180\\ESC.\\197\\173\\191\\212\\168\\179\\&8\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\254\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\178\\139T\\141\\129\\SYN}\\179\\138\\EM^E\\211\\223\\DC3;\\152\\168Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175o\\138\\217\\193\\DEL(\\v\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SOH\\149\\140\\USax\\CAN\\t\\169\\136u\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\186\\GS\\202$\\155\\210P\\194s\\215v#\\143~\\225>\\SUB\\192R\\189\\ETX\\161I\\203-\\230\\235\\153/\\DLE\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\157B\\249,\\236\\138\\190\\210\\203\\164T\\158\\DC2\\v\\175\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\254m\\175\\131\\130G\\200\\&7\\194e\\184\\252<U}\\244\\211)\\161>\\185\\196\\228\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\SI\\235\\184k\\143\\157\\SI\\193a\\STXw\\153\\158\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"[S\\167;&\"","tag":"AbiBytesDynamic"},{"contents":"\"md\\184\\240\\GSr\\218\\128\\&5\\144kt\\SI\\RSZVq\\\"\\213w:}\\175\\&7qH\\156\\197\\134\\\"\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\228*\\SYN\\213\\&16\\245T\\253\\SO\\226\\183J\\252\\&84\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\FS\\SI\\255k\\169H#\\215\\140\\213\\198f\\187U@\\189-\\SIu\\135\\EM\\250D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\237\\130\\176.\\182\\168\\150:\\NULF\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f:\\172r*\\139\\217\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\215\\143`\\234\\224\\193N\\ESC&\\224\\225^\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\SYN\\225\\232@\\176p\\159\\141\\227$\\228\\CAN\\145Se}\\220\\192O\\221\\175\\189\\169\\ESC\\239kc\\217\\ETX\\249O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\239\\148\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\236\\192\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\142\\222\\250\\205!%\\184)\\141_\\197\\214\\&7g\\DEL\\227\\SI>\\r)\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217/\\DLE\\a0o\\242\\ENQe9\\214F\\147\\r\\141\\n\\GS/K\\158\\241\\139\\162\\162\\147\\175{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139q\\203;\\237Fs\\196\\&6\\131\\a\\212.\\150-\\235\\159B\\148Vor<s\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\217\\244A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\246\\221\\200\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245r)\\DLEe\\249\\&8\\190\\244XD\\148\\154\\137\\167\\&6X\\167\\170\\193'\\213Cy\\\"\\139\\&5lv\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\215Y\\ENQ-r\\237\\209\\NUL\\242\\165\\141\\FS\\212B\\194\\EOT\\254\\RS\\163.\\255A\\205\\149\\133G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\204\\238W\\240\\250\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\l!\\189.\\166\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131a\\nr\\221\\137\\165(\\216\\238%|\\157\\211y\\207'.<\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"__\\b2\\192H>\\162\\SYN\\205\\191\\226\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\EM\\159\\SYN\\228\\t\\216\\f\\168\\162\\131?\\212\\209\\\\n\\169\\DC3>\\b\\212\\SO\\141d\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\196\\SI0\\t\\SUB\\NUL\\230<\\216\\141\\159g\\253\\225v\\188J\\255\\132O2\\202\\151,\\204\\196\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164E\\222\\ETX\\216\\195o\\219\\180\\187t\\218\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180e\\236\\194\\201\\148v\\134q\\148h\\132\\249\\165\\146\\EM&\\ENQ\\203\\218\\175\\246%.\\168\\242\\194\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214&\\238\\DC41\\163\\253KO\\204\\245\\176kY\\232\\SYN\\212?\\SOH%\\a{\\203;\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154Y#\\174\\185Z\\168\\175v6\\225%\\t\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\244\\187\\193hY\\208$uw\\184W\\208\\209\\139\\SOH\\ACK>*\\SYN6\\146Nd\\254\\aO^\\213\\161v\"","tag":"AbiBytesDynamic"},{"contents":"\"]?*8\\159k\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\152\\181?\\201\\207\\STXwo, G\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200p\\SUB\\157\\173\\137\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"6mdF\\248 %D\\252\\215\\152\\n\\209\\207\\162\\154\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\233\\142x\\171\\&1\\220(\\235\\221\\195\\&0\\178\\226*\\128\\218\\158\\209K\\US\\151\\244\\194Q\\156LQ\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\151\\238M\\SOH\\vK\\147atQRL\\ACK\\181Z\\249\\242\\189\\245=F^r8O=\\204@\\aR\\248\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\145\\199S\\174\\187&\\160@\\202\\v\\162|i\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\216\\186@\\135\\151\\GSC\\184\\250\\208\\197<\\233\\252\\133\\&5;(\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"`A \\ETX|qM\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\129\\226&|\\ETB*\\n\\ESC(\\DC4\\237\\SYN\\SOH\\131q\\152G^\\154X\\158\\SI>\\SYN\\186\\244\\224\\154\\v\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\200y\\ETX\\143\\135+\\ENQzZ\\ACKG\\220\\ACK\\241^\\208\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\",\\183\\221\\131\\188{\\158\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\142\\155,%\\239`\\SI\\DC1>\\188\\n\\159\\184\\178\\186\\160%\\166\\t\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\128\\131f\\170\\154\\191\\226\\164\\n\\DC2d\\185\\181\\128\\187\\145\\167F\\198\\237<8\\199d \\167\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\178Q\\254\\&4T;\\GS\\142\\166\\199S\\238\\229<\\221m\\131\\155\\202\\DC3\\f\\ETX\\205\\149&\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"KiE\\189\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\ESC\\230\\140\\242\\219\\183<v\\\\\\175A\\196AE8\\220P\\208\\&1\\236\\218\\176Me\\DEL:\\177\\186\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\213\\249\\184\\US\\n\\228\\195\\ETB\\\\\\a\\243G\\237\\143Vj\"","tag":"AbiBytesDynamic"},{"contents":"\";E\\212\\221\\208\\220\\227\\&5X\\135K\\135\\165\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\240\\190\\144Wm{\\DLE\\167\\202\\SI\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"0b,.\\131\\144\\151\\&4\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"am\\226\\245\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\217TmTt\\205\\213?\\185\\241\\EOT\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\155\\195\\&2%\\US\\138\\f\\EOT\\223\\188\\244\\ESC\\189\\186@[s\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"=>\\204\\&7\\252\\&2\\196\\DC2:)P\\231\\238\\&7\\132\\152v d\\248$\\244\\ETB\\SI\\195\\204\\&7\\203\\171\\212f\"","tag":"AbiBytesDynamic"},{"contents":"\"ox\\179)\\251_\\194\\145\\208\\&6)\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\152-\\224\\&0&c\\213=\\236\\200P@\\159Z\\229\\234\\175\\194\\255\\139\\138\\f\\128\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\132\\196^\\251\\155\\FS\\218\\248\\GSRs\\186\\130:\\133\\245\\164\\146wh\\DC2\\240\\150\\186\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\SOH\\193\\148<7c\\175\\200\\218\\170\\129\\f\\CAN\\157\\244\\203\\136x\\244X\\148\\136\\230\\223\\170o\"","tag":"AbiBytesDynamic"},{"contents":"\"g`\\130\\245\\SO\\SYN\\221KL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\170I\\234\\242\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\211wO\\190\\244i3\\223\\r\\EOT|\\129\\148\\207\\205\\243\\\\\\240\\155\\253\\129\\209\\DEL\\EOT\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135%/\\192\\&6K\\200\\135\\230\\173\\224\\241\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"8|\\162\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\250{\\211(\\226\\t\\217\\205\\160\\166\\149mj\\200\\175\\173+ \\229S7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\249\\143\\170\\vj\\234\\132\\213'\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\131A\\165\\153\\221(\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\157SA^\\170\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\\"N\\216\\&1O8Q\\ACK\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\RS\\182z\\222\\194m\\245\\167\\161B;Vw\\214^O\\DC3<\\233\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"LL\\143?\\\\~\\240?\\150\\157{X\\140~B)\\\"]\\209\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"j\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"G+S2\\SOj\\182X\\NAKH\\n\\156\\DC4\\180\\193\\DLE\\235h&pmU\\213n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242Tn\\162}\\139\\255\\140\\243\\252\\145\\158bh\\FS]\\131\\176\\220\\179\\189 0\\DC3\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"GRT\\168\\187\\206\\182\\SOH\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"0J'\\166\\SI\\208\\v\\161\\141'\\DLE\\241\\144\\218\\143qq\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\205pZH\\138\\242A\\252Y2o\\174\\nd\\167:\\aI\\251\\ACK#\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\251\\137\\235\\228\\180\\173\\&7y\\196\\191e\\174?\\211\\158c\\220\\SIWD\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\209n\\163\\128\\182\\171\\RS:Y\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"`,6Fj\\RS)4NH\\ENQ\\219#\\255\\CAN{\\202\\196/\\181,\\132h[\\a\\161\\252\\195x\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\CAN\\210\\171\\b\\160-D\\252\\RS7\\215/\\NUL\\186\\143w\\198\\252\\247\\205\\SUB\\184\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\128\\197\\133x\\153\\ETX\\DELj\\203\\DC1\\STX\\202\\SI[\\STX\\NUL=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\239\\164\\207\\173|\\254\\\" \\v\\255\\234\\234\\162$ \\135c,\\182\\229\\239\\148\\161\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\216\\158G\\180\\145\\RS\\133\\246\\SOH\\nw\\252S\\207F\\210l9?1\\226\\179\\182\\247\\192\\SO\\t\\164t\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\213\\239\\RS\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACKO\\174j\\SIv\\247\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"wS+\\164\\200\\DEL\\229>\\201A\\183F\\144\\&2i\\ETB\\188I\\DC4\\198\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\STX\\246\\152\\226\\176s\\SOH\\rhuWz=\\DEL\\241\\t\\192\\DC2t\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227[Qe#\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\146,\\166x\\192'\\207&\\225\\153\\ETB\\b\\161\\167z\\217\\239\\139r\\166\\&5\\169|V(\\DC3\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\185Y\\254\\156L\\DC4*#W\\199\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"ya\\165t\\226\\250\\r\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\\\\\243\\139\\&5\\242\\201&\\150\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\DC3\\158d\\255gE/\\DC4\\166\\&6TmD\\145qyi\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244Q\\215\\240\\132\\ETX\\DC3\\249\\RS%B\\138\\211S\\173#\\SI\\202\\DC1#4\\214\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"h'\\221\\135\\229\\164\\209\\EM*Z,vaDg\\156\\173\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"u\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\220\\NAK%\\190\\188{\\EM\\202V\\RS\\211\\206w\\CAN\\153\\246WvF\\207\\228\\252\\201\\205\\160e\\143\\223\\178\\241[\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\172i\\165\\SOH\\246E\\204\\176\\&9\\179,\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187gi\\224\\DC3\\225\\248\\146\\SI\\233\\166Q\\163_\\DC4B\\172\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212c\\166\\204\\225\\236T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\DLE\\154\\vA\\155\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209vA\\250\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"}I\\128\\STXa\\132\\128\\153\\SYN\\196\\197\\214~\\SYN\\189gJOg\\159\\&09\\234\\a\\208\\DC2\\143\\168\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\243imS\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\176HL\\209\\ACK\\191cn\\NAKf\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\213',7\\229\\ENQ\\GS5\\238\\129\\STXm8\\186\\230\\201_;\\135\\244\\234\\167,\\aG\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\146\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"u\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\243\\254A/\\233\\139\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\192\\132*X\\231b\\201i\\190\\218\\146\\ETB^\\131~\\184\\244\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\161\\GS\\189\\223r\\\"\\240\\RS\\168\\206\\NULV\\GS;\\163\\160\\155\\145\\161.\\232?\\134\\178N*\\178W\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\SYN\\149\\221\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\161\\210/\\223Lf\\200\\ETB\\131\\138\\142\\144\\174\\252\\181\\\"y\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\211#\\194\\249i\\ACKD\\203\\SYN8\\STX\\EOT`\\195\\&0\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\197\\216\\146\\204\\170K\\ESCP)\\244\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"YU;\\230\\237\\247@J$|\\128\\145G\\245\\217-oO\\SI\\DELx'\\n!\\150\\t\\197\\212\\190\\168\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"p\\138\\EOT\\239\\232\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\202\\&9K\\206\\208\\209\\236i'\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"POe\\209\\145\\176\\194{\\149:\\161\\192_\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\142\\173q\\174F\\242\\215\\255\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\247\\145%\\164(\\185\\&6$\\205\\197\\211xP\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"_m\\233\\128\\&9\\243\\192\\255%\\168T\\139\\224\\SUBY\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\ETX\\154\\185\\n\\172<\\214\\177\\212k:\\NAK\\237\\&1E\\CAN\\SUB(\\184\\STXF\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198^\\242y\\200\\175\\212O\\186r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\172\\152\\172\\203.\\136KUd\\169z~\\154\\STX\\150\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"[7a\\243\\132.b\\248\\&9\\238y\\170\\249\\159(m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\198H5\\131\\\\\\bh\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\155\\173\\140\\242\\NAK[\\239\\234S\\\\E\\194\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239#\\SUB\\230y\\250\\SUB\\t\\US-\\US\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132 \\DEL,v\\231\\207-\\240\\184\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RSS\\166\\SIU\\v|\\148\\201\\128jZ\\\"\\253\\214\\165q \\176\\&9\\233\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\226vs\\SOH\\235\\&2]\\148\\208w\\189\\242:v\\152\\158 aB{\\185^\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\222\\148\\203\\133\\233 \"","tag":"AbiBytesDynamic"},{"contents":"\"b\\136\\232\\172#\"","tag":"AbiBytesDynamic"},{"contents":"\"+8 \\149\\ESC\\156C\\EM\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\255\\&0\\251F\\248h\\246\\162V\\130\\164\\151u\\219\\215J5\\230{\\151v\\129\\165\\&0\\160\\183Rn\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\198\\&1\\183\\216\\179\\153\\195\\205I\\205\\157p\\149\\239\\EOT\\DLE\\184\\233[\\228\\FS\\209\\137q\\218\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\RS\\198|UA*\\136\\135p_\\EMB\\198\\254\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\245\\162\\191\\151\\229\\193\\229\\DC18#\\151\\176\\NUL\\240\\161\\181\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187o\\238\\130\\211\\229\\221\\CAN\\232\\FS\\198\\ETX\\168\\176\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\DC2\\146\\f~\\161\\252\\239Q[\\213z\\132\\223\\209\\244\\250S\\175\\179\\228z\\222`B\\SYNM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\242\\227\\222\\181\\240\\211\\&1G@\\169\\210\\175\\155S\\150\\216\\f\\159M\\213\\173\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\222\\255\\197/\\204\\DLE\\150\\251\\224\\248i\\162\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\SOk\\182\\142I\\v\\ETB\\216\\198Ts\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\236\\ETBP\\167\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\239}\\203T\\197z\\ETX/PF\\186Y\\138\\175\\ETBiQ\\187`\\165\\DC3\\148\\SI\\244\\161\\&8\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\169'\\156\\ACKG\\171\\208\\&1n_\\SYN\\\"`5\\GS\\214\\219\\&9\\143O\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143C\\183\\167\\193\\140}\\190+\\154H\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138h\\202i\\224\\&9\\175\\222\\162\\197LW(\\188\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"[ZE\\217\\130\\ETX\\135:\\135Jn\\146\\234\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\166\\EM\\147\\151A\\154\\236l\\244\\b\\251B\\153G\\230;.|cJ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\&7\\138*z0\\174\\229\\218=~\\141b91qe\\236\\&3\\208yR:\\235cw\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152u\\158.\\146D\\134Z\\155\\STXB\\173\\173\\187\\DC2P\\DEL\\DC2a\\ESCm\\f\\134\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\a\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\210\\196\\\\\\vC&<\\213\\170\\255\\147\\EOTl\\EM\\SI\\228\\\\\\140\\251\\176 \\185d\\139\\&3\\179\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\DC3\\225 G\\207\\ESC@\\207\\197gn\\143\\247M\\163\\228\\144\\206\\DLE\\DC1\\175\\168e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134KD\\144\\FS_4\\180\\STX\\187\\224\\151\\182\\&1\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\173\\222\\160\\NULW\\STX-\\154\\&9\\154\\156s\\199V\\DC2\\218\\&0\\150c\\136\\132f\\135\\191L\\177\\199\\231\\145\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\",\\245S\\250l\\154\\180\\t\\237\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\172\\233\\&9\\229\\223\\248d\\b\\v\\128\\211\\SUB\\189)<\\US\\149\\DLE\\\"\\\"\\223\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\155\\218\\214\\155\\145\\171~J&\\167\\&3\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\&8\\ESC=\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\177\\&0\\147\\&9\\197\\205` qn2\\176:\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\SI\\197\\180:\\v\\147\\187CC\\t\\249n\\157s\\184\\&8\\229\\SI\\209\\240<\\211o\\247\\151aO\\130%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\213\\DC13\\218wF\\145\\194\\192\\172\\SYN\\184F\\FS\\190=\\160\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172Jj\\170\\159`\\249\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149=\\151\\216\\195\\DC1\\193R\\249\\&4\\217\\DC3\\241\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211r\\131{\\171\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\v\\172\\254QN\\139\\149d\\230\\182\\209\\232\\DC4m\\144\\177\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\\"\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\&4\\nZ\\151\\&7\\172\\141\\162\\DLE&\\166@\\\"[\\133\\DLE\\192\\212M\\241\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166X~\\138\\187\\156dn^_\\209'yH\\171]\"","tag":"AbiBytesDynamic"},{"contents":"\".\\244*\\ETX\\187Q\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\216\\222\\225\\253\\212\\f\\182\\DC1\\184\\nK\\SUB\\128\\US\\253\\&13O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168cOu\\235;G\\ENQ\\DC1n\\NULrh\\US\\166\\SOHrf\\136\\255\\189\\v6\\182\\153\\159\\159\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\189\\DC2\\160 \\237\\219\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\220\\244<\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\181\\149\\194\\246\\175\\195\\167/\\189n\\129H\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\198\\228Q\\v\\174;\\244\\DLE\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\202\\177=\\a5\\233:\\173u\\\\Ik\\151Xo2\\ESC\\232\\182Y\\205!\\ACKb\\EOTQ\\163fw\\GS;\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\166\\&5\\200\\202\\\\j\\FSV\\a\\230\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255c\\171\\241\\SUBn[\\142\\218\\ETB\\153\\202Q\\178P\\242H|a+\\STX\\tR\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205z\\242\\210^\\tD\\196\\179\\166\\r\\198\\201&\\203sMy)[r\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\158\\206\\136~D\\166\\191\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197t\\204O\\214\\155\\157?\\198&\\212\\rs\\197\\229\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253V'\\132A\\182!:\\SOH\\169\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158e\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\177\\rs\\220\\222\\NUL\\211\\209C\\EMK)\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\147\\182\\171\\SO\\171\\231\\245(\\179t\\185\\219\\205\\STX\\161\\224@m\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\207ze[\\140\\176\\229e\\167\\236C\\232NM\\251R\\128\\171u\\146\\&2\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"M\\148L\\181p\\163\\171b\\233K\\NAK\\SOHN\\216\\205W\\129\\179\\202\\154'\\238@\\136]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\230\\DLE\\227b\\147\\230\\177;\\140\\240S\\158\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"pG\\222\\183\\254+80\\177\\152\\&5\\130=\\FS\\188r\\SUB\\253\\SO\\196X\\129/f\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\147\\255@Qa\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244$\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\CAN\\236\\177p \\128L!\\136'\\137\\&7\\145\\132t\\217<\\227\\GS6\\236\\149\\132\\249`\\150o\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\167\\189\\213\\155\\RS\\207\\220\\158C#\\SI\\165\\DLE\\144\\146?\\SO\\242\\230\\146\\SYNvR]~)\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\142gtb\\\"\\171\\158\\ACK\\f\\151\\139\\234\\239/\\193\\161f\\193\\222\\175\\168l\\ENQ\\149\\ESC\\169\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133!m\\238Y\\179\\173\\RS\\172\\136[\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"46371263707921208984239919312114790389811489904099963939148312713925252880525"],"tag":"AbiUInt"},{"contents":[256,"84"],"tag":"AbiUInt"},{"contents":[256,"43935753310902642320736121907242147016004200859234865850675966098052292213787"],"tag":"AbiUInt"},{"contents":[256,"901"],"tag":"AbiUInt"},{"contents":[256,"85424169701324893727678394988203442122997767198714402428343151251624532751693"],"tag":"AbiUInt"},{"contents":[256,"999"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639438"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908086"],"tag":"AbiUInt"},{"contents":[256,"82587678290182761490050725474464068543971889483522421368681442836396111068669"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"96318916352610566301884526247777375397093637081537678228365145391994606157215"],"tag":"AbiUInt"},{"contents":[256,"68"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000003"],"tag":"AbiUInt"},{"contents":[256,"85942933847936311587225976884761137541988861502666483676673658033284771019048"],"tag":"AbiUInt"},{"contents":[256,"111867503158788808851328618508385499303768041495974910819113425589531555289681"],"tag":"AbiUInt"},{"contents":[256,"10002"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011520"],"tag":"AbiUInt"},{"contents":[256,"374"],"tag":"AbiUInt"},{"contents":[256,"1762021529223919983545996521255789178802070898014711359861530563875755203376"],"tag":"AbiUInt"},{"contents":[256,"4002"],"tag":"AbiUInt"},{"contents":[256,"604800"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639872"],"tag":"AbiUInt"},{"contents":[256,"108913038638672363594773716589132393152676169264643774620362095113758992892605"],"tag":"AbiUInt"},{"contents":[256,"48661181430776057668456836308455236108119866980231157660961440439340963180238"],"tag":"AbiUInt"},{"contents":[256,"1014"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639637"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222595"],"tag":"AbiUInt"},{"contents":[256,"135"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266894"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"36630986461788011026940510790331474987380098157032628752020323780283690150114"],"tag":"AbiUInt"},{"contents":[256,"42724971421986292910214014354943466286438565036570553340725368512798967927799"],"tag":"AbiUInt"},{"contents":[256,"1535199492"],"tag":"AbiUInt"},{"contents":[256,"18699671894367809146149778838459715700565866450524316924397097869940768586302"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"1526943643"],"tag":"AbiUInt"},{"contents":[256,"1529553888"],"tag":"AbiUInt"},{"contents":[256,"90913508253560855597836635552462804916906541393831840238796433490494561778065"],"tag":"AbiUInt"},{"contents":[256,"232"],"tag":"AbiUInt"},{"contents":[256,"19178784069818632908370280563242816859716403352268003368689247061145605636792"],"tag":"AbiUInt"},{"contents":[256,"100384066345405505818507157782693281693592756382303363653474942871677390964571"],"tag":"AbiUInt"},{"contents":[256,"1534786036"],"tag":"AbiUInt"},{"contents":[256,"51248986579283635513295351352399292971054198951445001871657866628775454936183"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689598"],"tag":"AbiUInt"},{"contents":[256,"781220991994651592"],"tag":"AbiUInt"},{"contents":[256,"23465785403024457580440048122206281984230654334014489723405100334917218209474"],"tag":"AbiUInt"},{"contents":[256,"9"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"1000"],"tag":"AbiUInt"},{"contents":[256,"85022414939600409687905106323006923503635020686015707867002827403286519362469"],"tag":"AbiUInt"},{"contents":[256,"96753240993189885976766646761098145834398625110625667328731298063593014087946"],"tag":"AbiUInt"},{"contents":[256,"9999"],"tag":"AbiUInt"},{"contents":[256,"33210595476615629316723871866123593199634394318863628733835337547044896824952"],"tag":"AbiUInt"},{"contents":[256,"366"],"tag":"AbiUInt"},{"contents":[256,"83"],"tag":"AbiUInt"},{"contents":[256,"604799"],"tag":"AbiUInt"},{"contents":[256,"684"],"tag":"AbiUInt"},{"contents":[256,"69930016156632532825582778158652353537107479625722583946222476889655725337862"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"25511414314773598278801963931678830845879687318405525336383713773597262780445"],"tag":"AbiUInt"},{"contents":[256,"25531787429206832825340633"],"tag":"AbiUInt"},{"contents":[256,"99507976109643901502770116055508359662608788442442641825895468016441762395717"],"tag":"AbiUInt"},{"contents":[256,"114469789856793616753153331474794994456542222665684334222670680740568734564749"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062336"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639843"],"tag":"AbiUInt"},{"contents":[256,"60173250751622662639602869945560048639403861142361071386977868935282907212420"],"tag":"AbiUInt"},{"contents":[256,"2171028418990299748050336488783176"],"tag":"AbiUInt"},{"contents":[256,"50396777513730928051690537198195460525702860668431551032818335202051894663132"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062339"],"tag":"AbiUInt"},{"contents":[256,"103343977257532949419951491888081622553662283096445616847401889492604077471053"],"tag":"AbiUInt"},{"contents":[256,"78971314064020603466600073349634583863913898377251663336975875340522850284045"],"tag":"AbiUInt"},{"contents":[256,"46756328391153051833638865611418953312410491173369316272149305421571895639336"],"tag":"AbiUInt"},{"contents":[256,"51"],"tag":"AbiUInt"},{"contents":[256,"59825205595245993556802747020652640864355616422398911735523958571407817437833"],"tag":"AbiUInt"},{"contents":[256,"1534786036"],"tag":"AbiUInt"},{"contents":[256,"38785128973415187022807558331629148895463591937104878496255294602279055573675"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"61624864272379036901444313103977695191753136011566049949802064623550442572252"],"tag":"AbiUInt"},{"contents":[256,"1028353743044484226743844346745238080308569936539338613771744530889690377015"],"tag":"AbiUInt"},{"contents":[256,"67993569159539153116235595665946486463856463193823526796415244095042820350864"],"tag":"AbiUInt"},{"contents":[256,"26596634459982169265067274764114944989173902603069299952334270164254071101553"],"tag":"AbiUInt"},{"contents":[256,"62203935337169937480535823"],"tag":"AbiUInt"},{"contents":[256,"4"],"tag":"AbiUInt"},{"contents":[256,"88412328616512945753086768260898823063478672646244751299897741994977629288416"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132607"],"tag":"AbiUInt"},{"contents":[256,"136"],"tag":"AbiUInt"},{"contents":[256,"111690466428989365821378245583290977426596596854576502797314317959465611619203"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c435","0x00000000000000000000000000000000000000000000000000000000000001f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030333"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000c","0x000000000000000000000000000000000000000000000000000000000000005f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf69","0x0000000000000000000000000000000000000000000000000000000000000348"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"12"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"113976084144158039813610370405902317074905153349414220671023251142193850210659"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008140c","0x000000000000000000000000000000000000000000000000000000000000107f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5f","0x000000000000000000000000000000000000000000000000000000000000d7bc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"107"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000100","0x0000000000000000000000000000000000000000000000000000000000001381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c6","0x0000000000000000000000000000000000000000000000000000000000006c26"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"224"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":[256,"86401"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e375","0x0000000000000000000000000000000000000000000000000000000000000069"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x3450a15Dc9cbDD5C0e28cC22474D88AD7e2695A3","tag":"AbiAddress"},{"contents":[256,"26859132235998898372163914072795828663915983269340111799635268061385699706405"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014c50","0x00000000000000000000000000000000000000000000000000000000000003fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c43a","0x0000000000000000000000000000000000000000000000000000000000009205"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"301"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000011","0x000000000000000000000000000000000000000000000000000000000000c2d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609602"],"tag":"AbiUInt"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000040dd7","0x0000000000000000000000000000000000000000000000000000000000008980"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ea","0x0000000000000000000000000000000000000000000000000000000000002116"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f94","0x0000000000000000000000000000000000000000000000000000000000007b85"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"15267918188137836155414448596389218312833954951283891777951779019998842920239"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004af69","0x000000000000000000000000000000000000000000000000000000000000202d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"6277194571181497610631697"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012c","0x0000000000000000000000000000000000000000000000000000000000001382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007cd","0x0000000000000000000000000000000000000000000000000000000000001340"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"107790425262929663566087171592770734944468806359831202662826053021986642253939"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000090335","0x0000000000000000000000000000000000000000000000000000000000002322"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"19591285555778336947400866411505532479276660165176751041341617311656897215041"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000016756","0x00000000000000000000000000000000000000000000000000000000000012a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"12105642980825466565654647046047973623310901113095631184723644937230547999060"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000048","0x000000000000000000000000000000000000000000000000000000000000ec3a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002713","0x00000000000000000000000000000000000000000000000000000000000012b5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":[256,"10392874194995146988972306559297218603068614085589042793743249043877575503398"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014c56","0x000000000000000000000000000000000000000000000000000000000000000f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629939"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd39","0x000000000000000000000000000000000000000000000000000000000000a480"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"25531787429206832825340633"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014c4e","0x000000000000000000000000000000000000000000000000000000000000139a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"309485009821345068724781055"],"tag":"AbiUInt"},{"contents":[256,"106014032345941832126170111597695491024303322170539331883243308374765460499678"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007e53b","0x0000000000000000000000000000000000000000000000000000000000002609"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"25549703915621444862765672847859224108235963427523657269458598848243344627143"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000006","0x000000000000000000000000000000000000000000000000000000000000e343"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"984"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001cc5f","0x000000000000000000000000000000000000000000000000000000000000137b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"99481976266730287142553867602475343225064543934406024464887100889935664807365"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ebbc","0x000000000000000000000000000000000000000000000000000000000000e347"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000017aeb","0x000000000000000000000000000000000000000000000000000000000000000a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639884"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f99","0x0000000000000000000000000000000000000000000000000000000000001351"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000001959c30071a50cb73"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x000000000000000000000000000000000000000000000000000000000000101c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"11"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084eb9","0x0000000000000000000000000000000000000000000000000000000000002329"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"39383115963506331289234895726322401222300135495825691213463477265714858931232"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005408b","0x00000000000000000000000000000000000000000000000000000000000095b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf7","0x0000000000000000000000000000000000000000000000000000000000003fd8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0f","0x00000000000000000000000000000000000000000000000000000000000001f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"112510254704470905471604427991550193646206389167395854913992984925961666434335"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c4","0x000000000000000000000000000000000000000000000000000000000000d445"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"76287563345306351354037469448586293317872782421025052876506867904332170954839"],"tag":"AbiUInt"},{"contents":[256,"51759736896328881377038626674848060038622097115519335986063634467878058422820"],"tag":"AbiUInt"},{"contents":[256,"1533245793"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb24","0x00000000000000000000000000000000000000000000000000000000000013a8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000741cb","0x0000000000000000000000000000000000000000000000000000000000007e4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"54039364183857686105243670942505642376011151158400319175639045516631393274611"],"tag":"AbiUInt"},{"contents":[256,"6050862586639974781085003026562390646272666331097773853307561910575491027441"],"tag":"AbiUInt"},{"contents":[256,"10429130171853519521608629805325568492902865321374899130470049464618979070216"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046c99","0x0000000000000000000000000000000000000000000000000000000000001352"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"38"],"tag":"AbiUInt"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4c","0x000000000000000000000000000000000000000000000000000000000000653f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"84"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59d","0x0000000000000000000000000000000000000000000000000000000000009e94"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"1527305047"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000024b01","0x0000000000000000000000000000000000000000000000000000000000000f9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010978","0x0000000000000000000000000000000000000000000000000000000000002363"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d464","0x000000000000000000000000000000000000000000000000000000000000a475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":[8,"28"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000743bb","0x000000000000000000000000000000000000000000000000000000000000003f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea49","0x000000000000000000000000000000000000000000000000000000000000135f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce55","0x000000000000000000000000000000000000000000000000000000000000129e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"74956706713796931826205028212697446295147066679967350452579288787296977087016"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe6","0x0000000000000000000000000000000000000000000000000000000000005ef7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639037"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232b","0x0000000000000000000000000000000000000000000000000000000000000bd1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"6165874714217095671462937811948347435354689386329564305132795320011719441959"],"tag":"AbiUInt"},{"contents":[256,"108787398997530946768690186924057875387288385979128529613625004620473146401336"],"tag":"AbiUInt"},{"contents":[256,"71962407132385289028964804467668457937761641750350959155685804857340756517958"],"tag":"AbiUInt"},{"contents":[256,"118"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef47","0x0000000000000000000000000000000000000000000000000000000000000bd2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005851d","0x000000000000000000000000000000000000000000000000000000000000101e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"1999997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000610c7","0x000000000000000000000000000000000000000000000000000000000000e080"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000187a7","0x0000000000000000000000000000000000000000000000000000000000000031"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e10","0x0000000000000000000000000000000000000000000000000000000000000402"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb09","0x0000000000000000000000000000000000000000000000000000000000000021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"15625154829108838358118448844897931862046376797739620775227813468124242259624"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002c034","0x0000000000000000000000000000000000000000000000000000000000000014"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]