[{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000387","0x000000000000000000000000000000000000000000000000000000000000e8a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"100000000000000000000000000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c6","0x0000000000000000000000000000000000000000000000000000000000000102"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"2376542331"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000e","0x0000000000000000000000000000000000000000000000000000000000000fa1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004b","0x0000000000000000000000000000000000000000000000000000000000006de0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"48127215581791805695940735871607598484060109414151877494917893910412557821388"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003ea","0x000000000000000000000000000000000000000000000000000000000000d0cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"112326331183687108040243950948428724637867706232837335195436429899353684869328"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637938"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1b","0x000000000000000000000000000000000000000000000000000000000000137f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"77072414373164785100842408321662552537762109247065765604758477729670663194499"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb34","0x0000000000000000000000000000000000000000000000000000000000001325"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"42436831081248667295042752877046085370097925044556478668992730090401467189985"],"tag":"AbiUInt"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb38","0x0000000000000000000000000000000000000000000000000000000000000076"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001d8d1","0x0000000000000000000000000000000000000000000000000000000000008198"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1757906667"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000019c17","0x0000000000000000000000000000000000000000000000000000000000007667"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"202"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000079","0x0000000000000000000000000000000000000000000000000000000000005d4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"1313373038"],"tag":"AbiUInt"},{"contents":[256,"1529249412"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb16","0x00000000000000000000000000000000000000000000000000000000000093f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x1Bb038fb54BfcBFA3814cE47cA5618cBA47dCdeF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639883"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609602"],"tag":"AbiUInt"},{"contents":[256,"21233905545205497589404828528790550240919264737029097577609668549285445648095"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e8","0x000000000000000000000000000000000000000000000000000000000000ea4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0xA444FBB2a149cE92B1F25002F0d612583A75261a","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacc","0x00000000000000000000000000000000000000000000000000000000000002ed"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000016307","0x0000000000000000000000000000000000000000000000000000000000002714"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"91815120892001050058054357556774347441972925581728680089306010159279622708773"],"tag":"AbiUInt"},{"contents":[256,"85523817148217827736993148501470872305391388016789411799251045441427396381115"],"tag":"AbiUInt"},{"contents":[256,"667"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000536fb","0x0000000000000000000000000000000000000000000000000000000000004248"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004fa3b","0x0000000000000000000000000000000000000000000000000000000000007fe1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"47"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000066815","0x000000000000000000000000000000000000000000000000000000000000859f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"29"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6c","0x000000000000000000000000000000000000000000000000000000000000d9db"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000036bb6","0x000000000000000000000000000000000000000000000000000000000000299d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021647","0x0000000000000000000000000000000000000000000000000000000000007a02"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270f","0x00000000000000000000000000000000000000000000000000000000000089ec"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e9","0x0000000000000000000000000000000000000000000000000000000000005ca9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"43346634151012942289537481761619891587254507292237330481926484725587377138075"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004f","0x000000000000000000000000000000000000000000000000000000000000003d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"1532328207"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008430a","0x000000000000000000000000000000000000000000000000000000000000006b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"855"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135ad","0x00000000000000000000000000000000000000000000000000000000000012f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x12F8Aa9519Dc6CbE9b26E3A1201CB779176ad088","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"97933198680963716426938250894402430917395784585706903208465480430635997989895"],"tag":"AbiUInt"},{"contents":[256,"41350668034254765204688726044765288603712618868760150457611953161178936311806"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069ea6","0x0000000000000000000000000000000000000000000000000000000000001894"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\159\\US\\228~/\\215[/9\\233Z\\208\\SIK\\193\\ETBTen2y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210a\\206\\135`\\137n\\255j\\214\\232\\223\\178}\\209\\195\\141\\191B\\130\\204v:\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\250N\\NULR\\128\\211_\\145\\SOH+\\225c\\NUL\\167\\141dtxi\\141j.}\\166E\\156R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\210sn\\190\\195;\\DC1\\254\\167\\&5\\SI6(\\203\\207\\147\\160,\\ENQ\\235Duwu9\\\"I\\133~\\252\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b2\\203\\RS\\176\\136\\SYN\\237\\FSHK\\210\\STXJ\\204\\217\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK>~E21\\140\\249\\140JT\\182A\\199\\NAK\\b~\\131f\\159\\231\\156W/\\204B@\\216l\\244\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\187\\199\\ESC\\251\\&2b\\247\\&4\\174\\253Y\\178\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"M\\US\\b\\186\\226\\186\\210\\254\\190\\229\\252\\133\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\246\\139\\142k\\142\\221\\&6\\172`(\\142n\"","tag":"AbiBytesDynamic"},{"contents":"\"9:\\223\\226\\172a(\\239}\\144j\\SOH\\184D\\SOH\\213\\DC4\\199\\233m\\145\\207+\\SO)x\\193\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\EOT\\183\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\FStn|\\STX*\\129&\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\216Q\\149\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\140\\249S\\STX\\199o\\200\\137\\240v\"","tag":"AbiBytesDynamic"},{"contents":"\"&.?\\181|\\211\\238\\203\\CAN\\132\\255\\178\\128\\DC2\\146\\199=&jS#\\223\\222B\\217FF\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\SUBN6{e\\142k\\t(\\143=\\191\\161!\\ETX\\FST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\200\\205\\CAN\\154\\218\\210D\\249-\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158k\\198\\173\\151D\\248\\179\\STX\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RSO\\131\\&2\\232\\140\\156\\163\\130\\NAK\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"^WPy\\149\\&4\\206\\141\\SI\\241\\193\\251\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\255\\227\\240\\SO\\211\\161\\235SC\\141\\&4\\184\\178.\\CAN\\177O\\235\\211n\\187;O\\193(\\167\\133\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"5Ar\\b\\DC41m\\187t+\\155\\170\\206\\ETB\\171~\\252/\\172\\134\\CAN6\\140\\211P\\230\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\225\\215\\DEL\\DC2(\\189\\242z\\178.F\\252\\162\\&2\\177W\\163a\\206K\\204\\167\\&1\\233i\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160_\\DC4#\\217b\\207>0\\188\\135\\211\\233m\\r\\183'$w\\\\\\198!\\184\\173\\bP3\\238\\b[\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\247,vG\\227\\218rjJ.\\\\\\225LZ\\228\\NAK6\\SO\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\136\\254\\249\\188\\SOHz\\234\\251\\GS\\177\\128Z}pa\\176\\144\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\235\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\NAKtRB\\a\\192\\255}\\154\\141\\228xL\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\179\\178\\DC3\\168\\195\\252<\\139P\\219&\\148\\ETX\\164?fGR\\215[4\\NAKc\\236\\DEL\\ETBE\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239G\\229\\158\\253\\NAK\\DC3P3\\216\\253\\212\\134\\CAN\\ACK\\SYN&\\218\\b\\206>\\214\\161\\250\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\140j\\f[\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\SI_D\\RS\\149\\SYN\\154;\\197Z\\245\\173g\"","tag":"AbiBytesDynamic"},{"contents":"\" \\196\\237i\\134,\\ETX\\163O\\195\\167\\ENQQ\\211\\155\\250\\163xf~\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169`\\186|\\202j\\SOH\\DC3y\\254\\&4\\132?yh\\212o\\188\\196S\\227\\137_\\178\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\":w22\\161;8N\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CANJ\\STX\\193\\201C\\168\\141\\188Xf\"","tag":"AbiBytesDynamic"},{"contents":"\"/&7\\NUL\\197y,\\195\\193dXT\\ESC\\228\\192w\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\163uS\\151\\148Ob\\170\\149\\210\\b\\177\\144\\213\\SO\\208<\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\174+\\f\\223!|_\\175\\152\\SUB\\185\\175\\142\\241vO \\241\\&2W\\143\\129\\204a\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"_o\\151\\226[\\195\\211\\217\\254\\139\\129\\168H\\218[\\132\\230\\190\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149`\\224\\&1h\\253U^\\153i\\138\\SOHtaG\\STX\\ETX\\151\\252\\152\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"}R\\SOH4HQ\\253\\225Hl\\189#\\133\\139\\185\\159\\156\\169\\176\\r|\\223c()\\175H)\\fj\\245V\"","tag":"AbiBytesDynamic"},{"contents":"\"]aMwD{\\226 '\\243>\\187\\146\\234\\142\\172\\247[\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\235Z\\184.:\\129P\\DELD\\135u\\a+~\\SYNzN\\\"\\185\\vwy\\235\\154,\\129\\247\\181\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\191\\219\\DLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\212\\ETX}(^\\182\\215\\ETB}\\DC4z\\199AN\\141\\136\\&2\\177}d+\\n\\139h\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\219\\&5\\DEL\\SO?B\\255\\244\\137\\132\\t2\\238\\SYN\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\144E\\220;\\\"\\181\\139\\ACK\\226\\&2\\230\\253\\173\\&8K\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\")\\138\\193\\&9p\\141\\230\\197D\\245$\\NAK#U\\229\\170\\GS\\b\\ENQ(E\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\132\\170\\n\\153\\194\\173I19M\\150\\177\\192\\217\\&9\\200\\160\\171\\224a\\221\\DC1\\196\\166\\155\\CAN\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\230\\181;\\142\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\178\\235\\SI\\132\\231\\\\\\178i\\a3\\DC3\\134#\\209\\135\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\NUL\\181\\170\\ENQk\\230qAVQ\\185I*\\176\\&3\\248=\\202\\STX&*\\190q\\182a0\\178\\139\\225?\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"iN\\221\\SOH:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\\\\\SYN8\\184g\\136_\\171\\SIO\\153\\187\\195\\f\\198\\202\\&3\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\153\\191K\\136'\\STXm\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151T_e\\136\\166\\228\\194\\169\\EOT\\255\\153\\218\\172\\217b5\\b \\SUBNz\\137\\229\\243\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\&2\\168\\134\\247%\\ETB\\217\\141\\185S\\158S\\185\\215\\129\\245\\144-\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"CG\\NAK\\197\\255\\249\\246\\140\\143\\230\\252R\\212}\\171\\SOH\\US~\\253\\231\\179\\217\\235_\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\SI\\178m\\201\\FS\\\\\\174\\172\\138\\244TRFT\\194\\255\\209\\179\\184\\213\\137\\183\\SUB\\195\\198\\&7\\132\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167d\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\227$\\SUB\\SO@)\\193\\n\\225\\167\\ETB\\SI\\EOT\\147F\\199\\156\\201\\NAK\\SOHE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\180w\\245l$\\\"+\\EOTq`C7n\\219\\212\\234<\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174U\\156x(\\178b#\\158 <\\136U\\241F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153A}\\159.\\216\\246\\207\\212\\155H\\ENQ\\255\\156p-\\231\\ESC0\\244\\189\\131\\172\\241\\218\\140\\DC1\\250\\bM\\249\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\210uo\\SOHw\\US\\195\\142\\244\\ACK\\206^\\182\\194gm7\\ESC0:\\182\\NAKQ\\GS\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138I\\196\\247\\247C\\249x\\176\\203t\\198GF\\202n`\\139\\239\\209\\227\\152\\GS\\141w\\a\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\178\\248\\150sb+\\218J\\139\\f1\\205GU\\133\\182\\176V\\238\\147\\234F\\129\\&2,\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173t\\146\\164\\144\\212\\&2\\135=\\224\\211,`5\\224\\181=:\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\177\\142S\\SOHI\\DC2\\DC1+\\200\\184\\159i\\194&\\128\\EMHk\\146\\225\\250\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"vt\\204%\\207\\131\\&1]\\206\\192\\255qE\\217\\RSw:\\132\\ENQ\\171\\244\\203\\158p\\b\\201\\r\\SUBs\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\DLE\\240#\\154\\152\\t\\175GQ\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\226C\\188UY\\227\\144\\161\\147$\\238\\r0L\\160L?{\\SOH\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\163\\168\\155\\224\\&3vj\\222\\195\\177\\240\\178>\\135\\149\\180\\212( \\131V\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163)\\238\\168\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210#D\\246\\SOH\\ACK\\SIV\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\187\\EOT\\133\\220\\n\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169ubM\\163\\134\\US\\248\\140\\154[N\\216C\\224(\\225\\133)\\173\\143dm{P\\170.q\\182\\237\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135-:\\178\\187[\\\"Bv\\167R\\154\\t\\a\\166\\186\\128\\SYNc\\140\\138D\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\239\\236\\221\\145\\152F\\151}\\b\\DC1u\\252\\176\\216\\173\\163\\201\\&1C\\141\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\171\\SI\\153\\134\\&8\\b\\192g|\\143\\156\\159\\221\\EM\\143\\&7'\\220\\255O\\SUB>\\SO)\\156\\137\\DC2Z#w\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249`\\ACK\\ETX7\\236\\173\\&3\\203\\US\\SI2\\133\\165\\166\\145\\DEL\\134/`\\221\\242'\\214g\\158\\133\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\185w:\\219\\153~\\b\\147\\167o(+o\\194\\146\\137\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\184F\\156\\158\\235\\DC3\\211\\&1z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\141[(\\248\\236\\ETX\\v\\EM\\239\\179\\DC3\\169\\146\\232b\\163\\162\\237\\216\\252\\137\\195\\207#\\154*\\238\\CAN\\249\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\226C\\188UY\\227\\144\\161\\147$\\238\\r0L\\160L?{\\SOH\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\163\\168\\155\\224\\&3vj\\222\\195\\177\\240\\178>\\135\\149\\180\\212( \\131V\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163)\\238\\168\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210#D\\246\\SOH\\ACK\\SIV\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\187\\EOT\\133\\220\\n\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169ubM\\163\\134\\US\\248\\140\\154[N\\216C\\224(\\225\\133)\\173\\143dm{P\\170.q\\182\\237\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135-:\\178\\187[\\\"Bv\\167R\\154\\t\\a\\166\\186\\128\\SYNc\\140\\138D\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\239\\236\\221\\145\\152F\\151}\\b\\DC1u\\252\\176\\216\\173\\163\\201\\&1C\\141\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\171\\SI\\153\\134\\&8\\b\\192g|\\143\\156\\159\\221\\EM\\143\\&7'\\220\\255O\\SUB>\\SO)\\156\\137\\DC2Z#w\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249`\\ACK\\ETX7\\236\\173\\&3\\203\\US\\SI2\\133\\165\\166\\145\\DEL\\134/`\\221\\242'\\214g\\158\\133\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\185w:\\219\\153~\\b\\147\\167o(+o\\194\\146\\137\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\184F\\156\\158\\235\\DC3\\211\\&1z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\141[(\\248\\236\\ETX\\v\\EM\\239\\179\\DC3\\169\\146\\232b\\163\\162\\237\\216\\252\\137\\195\\207#\\154*\\238\\CAN\\249\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\226C\\188UY\\227\\144\\161\\147$\\238\\r0L\\160L?{\\SOH\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\163\\168\\155\\224\\&3vj\\222\\195\\177\\240\\178>\\135\\149\\180\\212( \\131V\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163)\\238\\168\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210#D\\246\\SOH\\ACK\\SIV\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\187\\EOT\\133\\220\\n\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169ubM\\163\\134\\US\\248\\140\\154[N\\216C\\224(\\225\\133)\\173\\143dm{P\\170.q\\182\\237\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135-:\\178\\187[\\\"Bv\\167R\\154\\t\\a\\166\\186\\128\\SYNc\\140\\138D\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\239\\236\\221\\145\\152F\\151}\\b\\DC1u\\252\\176\\216\\173\\163\\201\\&1C\\141\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\171\\SI\\153\\134\\&8\\b\\192g|\\143\\156\\159\\221\\EM\\143\\&7'\\220\\255O\\SUB>\\SO)\\156\\137\\DC2Z#w\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249`\\ACK\\ETX7\\236\\173\\&3\\203\\US\\SI2\\133\\165\\166\\145\\DEL\\134/`\\221\\242'\\214g\\158\\133\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\185w:\\219\\153~\\b\\147\\167o(+o\\194\\146\\137\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\184F\\156\\158\\235\\DC3\\211\\&1z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\141[(\\248\\236\\ETX\\v\\EM\\239\\179\\DC3\\169\\146\\232b\\163\\162\\237\\216\\252\\137\\195\\207#\\154*\\238\\CAN\\249\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\226C\\188UY\\227\\144\\161\\147$\\238\\r0L\\160L?{\\SOH\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\163\\168\\155\\224\\&3vj\\222\\195\\177\\240\\178>\\135\\149\\180\\212( \\131V\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163)\\238\\168\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210#D\\246\\SOH\\ACK\\SIV\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\187\\EOT\\133\\220\\n\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169ubM\\163\\134\\US\\248\\140\\154[N\\216C\\224(\\225\\133)\\173\\143dm{P\\170.q\\182\\237\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135-:\\178\\187[\\\"Bv\\167R\\154\\t\\a\\166\\186\\128\\SYNc\\140\\138D\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\239\\236\\221\\145\\152F\\151}\\b\\DC1u\\252\\176\\216\\173\\163\\201\\&1C\\141\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\171\\SI\\153\\134\\&8\\b\\192g|\\143\\156\\159\\221\\EM\\143\\&7'\\220\\255O\\SUB>\\SO)\\156\\137\\DC2Z#w\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249`\\ACK\\ETX7\\236\\173\\&3\\203\\US\\SI2\\133\\165\\166\\145\\DEL\\134/`\\221\\242'\\214g\\158\\133\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\185w:\\219\\153~\\b\\147\\167o(+o\\194\\146\\137\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\184F\\156\\158\\235\\DC3\\211\\&1z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\141[(\\248\\236\\ETX\\v\\EM\\239\\179\\DC3\\169\\146\\232b\\163\\162\\237\\216\\252\\137\\195\\207#\\154*\\238\\CAN\\249\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\226C\\188UY\\227\\144\\161\\147$\\238\\r0L\\160L?{\\SOH\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\163\\168\\155\\224\\&3vj\\222\\195\\177\\240\\178>\\135\\149\\180\\212( \\131V\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163)\\238\\168\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210#D\\246\\SOH\\ACK\\SIV\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\187\\EOT\\133\\220\\n\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169ubM\\163\\134\\US\\248\\140\\154[N\\216C\\224(\\225\\133)\\173\\143dm{P\\170.q\\182\\237\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135-:\\178\\187[\\\"Bv\\167R\\154\\t\\a\\166\\186\\128\\SYNc\\140\\138D\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\239\\236\\221\\145\\152F\\151}\\b\\DC1u\\252\\176\\216\\173\\163\\201\\&1C\\141\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\171\\SI\\153\\134\\&8\\b\\192g|\\143\\156\\159\\221\\EM\\143\\&7'\\220\\255O\\SUB>\\SO)\\156\\137\\DC2Z#w\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249`\\ACK\\ETX7\\236\\173\\&3\\203\\US\\SI2\\133\\165\\166\\145\\DEL\\134/`\\221\\242'\\214g\\158\\133\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\185w:\\219\\153~\\b\\147\\167o(+o\\194\\146\\137\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\184F\\156\\158\\235\\DC3\\211\\&1z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\141[(\\248\\236\\ETX\\v\\EM\\239\\179\\DC3\\169\\146\\232b\\163\\162\\237\\216\\252\\137\\195\\207#\\154*\\238\\CAN\\249\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\226C\\188UY\\227\\144\\161\\147$\\238\\r0L\\160L?{\\SOH\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\163\\168\\155\\224\\&3vj\\222\\195\\177\\240\\178>\\135\\149\\180\\212( \\131V\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163)\\238\\168\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210#D\\246\\SOH\\ACK\\SIV\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\187\\EOT\\133\\220\\n\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169ubM\\163\\134\\US\\248\\140\\154[N\\216C\\224(\\225\\133)\\173\\143dm{P\\170.q\\182\\237\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135-:\\178\\187[\\\"Bv\\167R\\154\\t\\a\\166\\186\\128\\SYNc\\140\\138D\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\239\\236\\221\\145\\152F\\151}\\b\\DC1u\\252\\176\\216\\173\\163\\201\\&1C\\141\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\171\\SI\\153\\134\\&8\\b\\192g|\\143\\156\\159\\221\\EM\\143\\&7'\\220\\255O\\SUB>\\SO)\\156\\137\\DC2Z#w\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249`\\ACK\\ETX7\\236\\173\\&3\\203\\US\\SI2\\133\\165\\166\\145\\DEL\\134/`\\221\\242'\\214g\\158\\133\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\185w:\\219\\153~\\b\\147\\167o(+o\\194\\146\\137\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\184F\\156\\158\\235\\DC3\\211\\&1z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\141[(\\248\\236\\ETX\\v\\EM\\239\\179\\DC3\\169\\146\\232b\\163\\162\\237\\216\\252\\137\\195\\207#\\154*\\238\\CAN\\249\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\226C\\188UY\\227\\144\\161\\147$\\238\\r0L\\160L?{\\SOH\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\163\\168\\155\\224\\&3vj\\222\\195\\177\\240\\178>\\135\\149\\180\\212( \\131V\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163)\\238\\168\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210#D\\246\\SOH\\ACK\\SIV\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\187\\EOT\\133\\220\\n\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169ubM\\163\\134\\US\\248\\140\\154[N\\216C\\224(\\225\\133)\\173\\143dm{P\\170.q\\182\\237\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135-:\\178\\187[\\\"Bv\\167R\\154\\t\\a\\166\\186\\128\\SYNc\\140\\138D\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\239\\236\\221\\145\\152F\\151}\\b\\DC1u\\252\\176\\216\\173\\163\\201\\&1C\\141\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\171\\SI\\153\\134\\&8\\b\\192g|\\143\\156\\159\\221\\EM\\143\\&7'\\220\\255O\\SUB>\\SO)\\156\\137\\DC2Z#w\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249`\\ACK\\ETX7\\236\\173\\&3\\203\\US\\SI2\\133\\165\\166\\145\\DEL\\134/`\\221\\242'\\214g\\158\\133\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\185w:\\219\\153~\\b\\147\\167o(+o\\194\\146\\137\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\184F\\156\\158\\235\\DC3\\211\\&1z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\141[(\\248\\236\\ETX\\v\\EM\\239\\179\\DC3\\169\\146\\232b\\163\\162\\237\\216\\252\\137\\195\\207#\\154*\\238\\CAN\\249\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\226C\\188UY\\227\\144\\161\\147$\\238\\r0L\\160L?{\\SOH\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\163\\168\\155\\224\\&3vj\\222\\195\\177\\240\\178>\\135\\149\\180\\212( \\131V\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163)\\238\\168\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210#D\\246\\SOH\\ACK\\SIV\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\187\\EOT\\133\\220\\n\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169ubM\\163\\134\\US\\248\\140\\154[N\\216C\\224(\\225\\133)\\173\\143dm{P\\170.q\\182\\237\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135-:\\178\\187[\\\"Bv\\167R\\154\\t\\a\\166\\186\\128\\SYNc\\140\\138D\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\239\\236\\221\\145\\152F\\151}\\b\\DC1u\\252\\176\\216\\173\\163\\201\\&1C\\141\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\171\\SI\\153\\134\\&8\\b\\192g|\\143\\156\\159\\221\\EM\\143\\&7'\\220\\255O\\SUB>\\SO)\\156\\137\\DC2Z#w\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249`\\ACK\\ETX7\\236\\173\\&3\\203\\US\\SI2\\133\\165\\166\\145\\DEL\\134/`\\221\\242'\\214g\\158\\133\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\185w:\\219\\153~\\b\\147\\167o(+o\\194\\146\\137\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\184F\\156\\158\\235\\DC3\\211\\&1z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\141[(\\248\\236\\ETX\\v\\EM\\239\\179\\DC3\\169\\146\\232b\\163\\162\\237\\216\\252\\137\\195\\207#\\154*\\238\\CAN\\249\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\226C\\188UY\\227\\144\\161\\147$\\238\\r0L\\160L?{\\SOH\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\163\\168\\155\\224\\&3vj\\222\\195\\177\\240\\178>\\135\\149\\180\\212( \\131V\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163)\\238\\168\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210#D\\246\\SOH\\ACK\\SIV\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\187\\EOT\\133\\220\\n\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169ubM\\163\\134\\US\\248\\140\\154[N\\216C\\224(\\225\\133)\\173\\143dm{P\\170.q\\182\\237\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135-:\\178\\187[\\\"Bv\\167R\\154\\t\\a\\166\\186\\128\\SYNc\\140\\138D\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\239\\236\\221\\145\\152F\\151}\\b\\DC1u\\252\\176\\216\\173\\163\\201\\&1C\\141\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\171\\SI\\153\\134\\&8\\b\\192g|\\143\\156\\159\\221\\EM\\143\\&7'\\220\\255O\\SUB>\\SO)\\156\\137\\DC2Z#w\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249`\\ACK\\ETX7\\236\\173\\&3\\203\\US\\SI2\\133\\165\\166\\145\\DEL\\134/`\\221\\242'\\214g\\158\\133\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\185w:\\219\\153~\\b\\147\\167o(+o\\194\\146\\137\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\184F\\156\\158\\235\\DC3\\211\\&1z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\141[(\\248\\236\\ETX\\v\\EM\\239\\179\\DC3\\169\\146\\232b\\163\\162\\237\\216\\252\\137\\195\\207#\\154*\\238\\CAN\\249\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"xN\\181\\230\\136\\234\\217n\\253\\aZ\\147i\\167|\\255\\184\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\240\\210\\245v^R\\157\\v4\\161n]\\177v\\SOH&\\192)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\DC4\\211\\176\\DC3\\130\\SUB}\\183\\219\\165PxJS\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181@D\\171M\\128\\221\\190\\149\\DC3h%Dk\\196\\147ZZ\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\132\\184}\\227\\250\\EOT\\167\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\ETX\\178]\\176P\\GS\\145\\208\\231\\188\\167*k\\DLE\\201o\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"Ve|\\220\\187\\242\\129E\\162\\187z\\223>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\&8\\131U\\161\\NUL\\f:=\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215f\\186\\ESCy\\202+/jjD\\189\\NUL\\228\\173G@:\\248\\SOB\\196Z\\149v\\226\\&1\\DLE\\148\\147>\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\157\\145pe\\236\\167T\\254d\\197]\\234V\\165\\198\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"5V\\134\\218\\fx\\174\\229s\\168sP\\202=\\221\\235s\\246\\156/m\\255\\SOH|I\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151e\\158%U\\150\\134lb\\138\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"mh\\205\\220\\188\\224\\SI\\164\\CAN\\230\\&74\\185,F\\SYN\\153S\\184M4Ml>.\\243I$X\\171$\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\161\\248\\138\\196`\\DEL\\196\\130\\t?\\239\\EOTF3\\178Y\\148\\242\\146$\\242\\200c\\137~\\242\\&0b\\241\\162Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217M:m\\162\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207]\\217\\135\\226+S\\US\\DEL1\\254\\244>\\t_3\\209l\\245\\227r\\149\\232\\CAN\\219\\137\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\216\\133ru\\STX\\160\\RS\\138\\DC2\\137\\159\\148\\&5\\192.\\DEL\\DLE\\131e\\208\\186\\216\\131\\ACK\\201\\&1EL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\181\\158@\\209\\241\\157J\\145\\176d\\RSQo\\US\\224!\\162\\DC2\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\EOT\\GS1-,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208M\\181t\\166`H\\242<\\161\\190z\\166\\213\\178c\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"kE\\227\\173vp\\164#\\193\\201\\234H|\\ETX\\233\\DEL\\SYN\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\224\\156\\146\\&1\\239/\\v\\140~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vQ2i\\EM6\\170\\227vye$Qi\\197\\152 \\221\\247\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\SI\\216\\SO\\186\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\163\\&4a\\199\\DC3T\\219\\GS\\161\\202\\220\\ETBu\\225\\135\\162}\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233/\\223\\fF\\GS\\227X+x\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"@i\\241\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178 \\214\\145\\223&\\199J\\129\\198\\234,\\150\\193\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169JM\\158G\\203s<[\\172U\\b\\203\\200\\&9^+Y\\213\\&0\\197:G\\219\\236\\DC1\\228\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\177\\185t\\ACK\\158\\244\\160\\245\\196\\237\\163>\\254\\170>\\200\\194uw\\179)\\SYN\\233\\DELR\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"y7?3`\\210\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"&\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"R\\ETX\\US\\201H\\201\\193\\250\\237\\194\\152\\185P<,\\231\\&8\\197\\217\\ETB\\185\\138rb\\204:\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\DEL\\205)\\NAK\\165\\SOH\\STX0\\191\\252]\\144O\\221\\&7\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\SO\\t\\187\\SO\\186\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"8a\\226\\USa\\137|\\224\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\ETB\\162\\242\\193\\232\\211\\CAN\\207\\236\\&3X%4\\RSx\\248\\SUB\\n\\r\\192\\151\\253\\167Q'\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\159\\DC3\\ACK!@\\209S\\\"\\SOH\\GS\\183)N\\ESC\\209\\GS\\219\\222\\218<A\\140\\189\\147L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\133\\207\\157\\135\\SYN\\142DN\\232\\163eI\\217\\181n6\\nn\\165\\240\\244\\254\\DEL\\131\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\214\\\\\\193M\\NUL\\EOT\\192\\148\\211E\\142\\249\\254\\154\\SI\\146\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\249\\156\\DC2_\\137\\ACK|\\225\\ENQ\\176\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222/\\\\\\163\\138\\229N8\\227NS\\ENQ\\tr@\\\"\\223\\186\\183x\\249\\CANxB\\143\\183\\\"0[k\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"}\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"(L}T\"","tag":"AbiBytesDynamic"},{"contents":"\"Uq\\f\\ETBA\\a\\199T\\150\\185\\243\\n\\255\\v \\248^\\161\\170N\\146\\158\\224k\\156\\238\\205)\\212\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"$J\\183\\EM\\182\\STX\\186\\STX\\193\\143\\NUL\\182\\ENQ\\129\\243\\EM=s\\251\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\230)\\240#f\\166\\f~\\216\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164:iE\\202\\231\\174\\173mb\\163\\&1\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\172\\205\\222\\147\\220P \\141\\v\\195\\173\\EOT\\173\\DLE\\DC4\\220#\\FS9\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\183\\200\\139\\159UUrq\\DC3\\190\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\")\\222R\\132\\205\\ETX\\156\\221\\204\\223\\141T0\\ACK\\157\\215\\v\\EM!\\223xw\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\181A$co\"","tag":"AbiBytesDynamic"},{"contents":"\"xg\\245d\\249G\\ESC\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\128\\138\\232\\NUL\\163Vt\\182E\\r\\200\\an\\232\\134\\236\\DLE\\146[*M\\235NS\\209\\128T\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"Tn\\131\\172;\\244H\\137\\250\\DEL?,\\145\\164\\172I\\255\\&9\\165\\172D\\132\\234\\182\\DC1\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\139B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\155\\214I\\176\\EM~?\\238\\&1\\169T\\175\\163\\NAK`0@P\\DC1#*\\132\\193)\\SUB\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\196#\\SOH\\CAN`,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\&3\\156\\219V\\DLE\\129\\224\\181\\246\\191\\180\\a\\184\\162\\DLE\\205Y\\204\\131\\163\\UScM\\ETX\\\\\\177\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\225\\130\\ETX(\\NUL4>|Fb\\243\\201\\205\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145|\\192Pyu\\172YKr3\\EOT!\\128\\194\\215:W\\148K\\247\\128\\140\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\152s\\222\\243u\\FSZ\\214O0\\250\\249\\DC3\\248\\206\\206\\185\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140f{S!\\145\\158\\235>\\191\\248q\\180\\180\\164\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\DC1\\182r\\RS\\r:P\\f\\NAK\\217\\\"X`\\ETBp\\CANloP\\169]\\NUL\\239T'NGoC\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\165[e\\135\\SUBFL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\149A\\198\\\"\\ETB\\240\\179\\US\\170I\\143Sj(Z\\DLE\\242\\207T\\227g\\CANL\\219u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210w\\190\\138\\213&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\194}\\136\\172\\221zkv\\144\\177\\180]@)\\DEL\\STX\\252\\179\\252m\\133;)4w\\169\\b\\FS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\201\\&6\\DC4\\243}\\177\\EMq\\150\\141\\130o\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\215O\\165qH\\GS4P\\148b*\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\141Tnn\\215x\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\227\\189\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\164q\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\206\\154\\238hRh\\238\\205i\\227C\\199n\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\163);\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\187\\171\\237c\\234%\\194>Q\\254\\163\\234\\&9\\237\\SO;\\241\\NAK\\SO\\154I\\230<\\223\\143~\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\SI\\142x\\GS\\208\\&7P8bq\\241^\\186`F$\\CAN\\204\\166\\210U\\208\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249y\\149\\167=\\217T\\138\\241\\179g\\164\\&2V\\ETB\\189\\169\\NUL\\199\\DC4K\\STX\\134\\179\\196!\\173_\\135\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241;|r\\172\\ENQ\\142\\v\\240\\SYN\\206\\&6\\221J\\209\\DC4\\SOH\\171\\225\\168(\\177\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203a4\\200y\\ACK\\230-\\244\\NUL\\215\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\134\\DLE\\v\\166\\241pf$\\234\\196\\DC2\\220\\GSm:\\166\\222\\179j\\142\\198<\\131\\167\\242\\142k\\185M#\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\133\\167\\194\\194\\174\\129\\211\\128%\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\";\\133\\EM0g\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\ETB'X2\\174T\\141\\FS\\206\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\135U\\144\\223\\172V\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\253d\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\GS\\146\\180\\191\\152\\147\\aJ\\179Kh\\248\\181\\255\\DELO\\\"\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\230\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214fu\\160\\167\\ETX\\138\\195\\153\\227a\\165B\\SI\\172\\v\\231\\229\\158\\138cm\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\149>\\167W\\252\\&1\\130\\193\\128\\226\\DC2\\251\\253\\ENQ\\160\\b\\142\\181K\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"3+a!\\172\\&4m\\216\\SOH\\215\\151\\138e\\240l\\170\\220\\153\\176e\\229F\\157$\\195\\131\\148_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\NUL-F\\163\\206\\v\\158\\SUBD\\255\\225\\138\\200r\\133%\\168\\225\\133\\204\\207\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ncfKB;\\STX\\197\\f\\EM\\156\\187\\ETB-\\160\\135V\\182\\164\\181\\169\\232D\\235\\173xH\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\214~\\151\\129\\247\\ACK&,7\\139=i7\\DC1\\NAK\\254]\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\158@\\b=\\186&]R\\134\\163b\\STX/og)\\196\\254\\182S\\n<\\156'\\USqG\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\140B\\178\\131}p\\130\\\\\\ESC3|F\\248<\\135\\167\\219\\238\\208\\DC28\\174\\142\\191)\\205\\ESCU\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\SOH\\151\\DC2QI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\&3c\\172\\233*\\SYN\\235\\153U7\\156\\194\\155B\\232R\\218\\176\\138\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\164\\&0E\\218t\\137\\&7C\\217\\236\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\185\\182\\186\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\233\\225\\151Q\\SUB\\r%\\225#\\GS\\230\\196\\207\\210\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\143\\&3\\170\\242\\249\\&3\\145\\DC3\\166\\170L!\\180)\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191-\\133\\173\\164\\254\\&6g\\147O\\137P\\220j\\240\\206\\172\\210\\208_\\150\\234\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"(\\203\\234\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\219\\218WC\\EOT)\\DC4\\203\\225\\176\\163r\\182\\149\\\\\\167\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\155\\130\\DC26\\190hR\\ENQ\\200)Y\\238\\145\\&0\\129\\195g\\DLE\\220\\132-X >n\\190\\vj\\182\\194M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\225\\237\\246\\204T\\230M\\201\\175~o2\\224q\\SO\\209\\168\\196p\\SI\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\201%\\194\\227M\\253\\EM\\SO]\\219a\\DEL\\206\\a\\158\\196,\\230\\136\\&6\\EM\\154\\GS\\151\\171dg\\201,\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"mjc\\222\\vK\\\\\\172\\&8\\EOT\\SIH\\f\\DC3<\\182Njuhb\\234\\DEL\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163M\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\225\\157o@Z *\\195,\\DC1\\254b\\246\\ETX\\227\\190\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\">\\231\\202Q\\174OuC\\237\\142\\236\\151\\155\\148\\230\\151\\129Y\\138r\\136X\\SUB\\245pG\\142\\198\\STXp\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\239RH\\197`\\DC1\\214\\218L\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\RS\\232\\159\\224\\&5\\ETBM\\238:\\163\\210\\162Ll\\160v\\229]\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\196\\DC1\\247\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179+g6\\170\\&6^\\194\\153\\&2\\154h\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147j\\246O\\225x\\170\\222\\250l\\168\\&3\\v\\197E\\183t\\246A\\SIz\\170\\STX^\\225QvL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\203\\254\\NAK\\149\\188\\177\\143\\175\\US\\128\\198\\165\\227\\159\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\165\\161E\\200\\252\\206G\\235\\171a\\141\\179\\228\\&9\\190\\199\\FS\\251\\250\\SI\\174\\145\\v\\203DFNW\\194n\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\241)\\224\\DC4\\138C\\198\\162\\186\\150|\\214\\205g`d\\254RC\\251\\213\\136\\206\\rd\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245g\\173\\228\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"23460807815095508414582943414670423682965500557050896526608684017258883836744"],"tag":"AbiUInt"},{"contents":[256,"14689003598109298470726053978107055575092396123422932209501909769532354833958"],"tag":"AbiUInt"},{"contents":[256,"93919808506347150508241102939108985969565773129402868500604214532202232148849"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1526852639"],"tag":"AbiUInt"},{"contents":[256,"19402679518431578930683195703116090379705979240868473928275682933339487862460"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"53226274560921122299476954230525782399966322771593059872383658383883504388287"],"tag":"AbiUInt"},{"contents":[256,"70121109157499542279971588802023679221813991976758235138974399822264916317527"],"tag":"AbiUInt"},{"contents":[256,"604799"],"tag":"AbiUInt"},{"contents":[256,"1527940294"],"tag":"AbiUInt"},{"contents":[256,"117"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"67490854720924586918921388329595066698599168608428084354533427056380163669856"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639938"],"tag":"AbiUInt"},{"contents":[256,"9547307490803229486917585708920809371953651454139646438642642298257986269596"],"tag":"AbiUInt"},{"contents":[256,"629"],"tag":"AbiUInt"},{"contents":[256,"27521061843800926979023200105317829778941089636829686171263275529716938557350"],"tag":"AbiUInt"},{"contents":[256,"1093481690357673111026918863108074128389563934772139008078290716441290116930"],"tag":"AbiUInt"},{"contents":[256,"1534137590"],"tag":"AbiUInt"},{"contents":[256,"1533777861"],"tag":"AbiUInt"},{"contents":[256,"40271632180120363092879523319115777938114819941689474970725762553138417826943"],"tag":"AbiUInt"},{"contents":[256,"291633583942710413612783"],"tag":"AbiUInt"},{"contents":[256,"13321561501436509158017962798372254344266070293250038365771691465906103514939"],"tag":"AbiUInt"},{"contents":[256,"109750579076161526205226423066675043735857950428280374597376819734966039287911"],"tag":"AbiUInt"},{"contents":[256,"15022743069337903511233025904700237119621647656245210703699887936667847972280"],"tag":"AbiUInt"},{"contents":[256,"19075697707110103541628756249129076504593011484206904811858707350888192474953"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"17"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551612"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"17887886303248863276578896188592406553234280001237673300995799351504107484235"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1010"],"tag":"AbiUInt"},{"contents":[256,"616"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639852"],"tag":"AbiUInt"},{"contents":[256,"72873744604725384351658528071121882352429293089295686723906067136315437692582"],"tag":"AbiUInt"},{"contents":[256,"100921675287325358073104535520151602754415063851813511973443028844373439257290"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000002"],"tag":"AbiUInt"},{"contents":[256,"82297314125533216213855990059469348068147518417043855351207613524254798824859"],"tag":"AbiUInt"},{"contents":[256,"64679800732273137402645314626599018649161247889719001768384745923185858979162"],"tag":"AbiUInt"},{"contents":[256,"237"],"tag":"AbiUInt"},{"contents":[256,"54686456908678315457204319536427888211790553110184486734599772314538410999526"],"tag":"AbiUInt"},{"contents":[256,"70157796967104428405164490409096622501311281613578644430154164129502646319587"],"tag":"AbiUInt"},{"contents":[256,"61622211962922084718504508314740522704402098272099040735412871122987982178186"],"tag":"AbiUInt"},{"contents":[256,"12120474395291832079123942963489336279130926059409827719346259619154352216544"],"tag":"AbiUInt"},{"contents":[256,"28662344217365257363534165329183553231469039873392627345551170556104323359581"],"tag":"AbiUInt"},{"contents":[256,"91744185056259857485962006467674514729924590684812028452951743245473740294376"],"tag":"AbiUInt"},{"contents":[256,"61480432898261072081849334963799496406"],"tag":"AbiUInt"},{"contents":[256,"1524786089"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639852"],"tag":"AbiUInt"},{"contents":[256,"94194811059744219315664165094926594006945568737627363788420470217248329957666"],"tag":"AbiUInt"},{"contents":[256,"49847377899442432693271278128024659690137973667783105288995036816917047575336"],"tag":"AbiUInt"},{"contents":[256,"71816924296970005387062608889682516766482451949150224150618034300314088922876"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062338"],"tag":"AbiUInt"},{"contents":[256,"66655766800524931504011876362404000523296321417351150594279418605906474694761"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"},{"contents":[256,"691"],"tag":"AbiUInt"},{"contents":[256,"59143800684796267071845285895853501947275869287256784838111410437202854918385"],"tag":"AbiUInt"},{"contents":[256,"1525528710"],"tag":"AbiUInt"},{"contents":[256,"1529972158"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088318"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"599820642971749228109956497745973178196914828841443840521527360716"],"tag":"AbiUInt"},{"contents":[256,"968"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb0","0x0000000000000000000000000000000000000000000000000000000000002a07"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000013f33","0x00000000000000000000000000000000000000000000000000000000000023a1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"66"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270f","0x00000000000000000000000000000000000000000000000000000000000010ee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"1532361572"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75d","0x0000000000000000000000000000000000000000000000000000000000002385"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"36811008478712446148116794996232000002272524934830320371992681495175495687240"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000098ce","0x0000000000000000000000000000000000000000000000000000000000002605"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"1529576070"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005eea9","0x0000000000000000000000000000000000000000000000000000000000008ec6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac0","0x0000000000000000000000000000000000000000000000000000000000000efd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"69875637835978430502194648902328020728270459805737256045388871332026077455571"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000082c40","0x0000000000000000000000000000000000000000000000000000000000001272"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e350","0x0000000000000000000000000000000000000000000000000000000000003a3e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[128,"250691599049337175732497266266681702162"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093619","0x00000000000000000000000000000000000000000000000000000000000095bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"94914319726118752434785832095567892999887149783946576290373304376718656420176"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb36","0x000000000000000000000000000000000000000000000000000000000000bb9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"108802811962100114261990219101151482537681603986775731236910659571419726017681"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf4","0x0000000000000000000000000000000000000000000000000000000000000e0e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":[256,"56553085952536760903820920696640418674925725062312112152450571529745860520035"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004951d","0x0000000000000000000000000000000000000000000000000000000000000052"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"37162079134000718495664682793411817827540435915427299211713698290820109843936"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e378","0x00000000000000000000000000000000000000000000000000000000000011a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":[256,"1528568043"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a1fe","0x000000000000000000000000000000000000000000000000000000000000c05f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747170"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000077","0x000000000000000000000000000000000000000000000000000000000000e15b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffd","0x000000000000000000000000000000000000000000000000000000000000005e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"255802862261151"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c8","0x000000000000000000000000000000000000000000000000000000000000ccfb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce54","0x0000000000000000000000000000000000000000000000000000000000005b6b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000047da6","0x0000000000000000000000000000000000000000000000000000000000007118"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000337eb","0x0000000000000000000000000000000000000000000000000000000000008aa5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1532570299"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000471b1","0x000000000000000000000000000000000000000000000000000000000000c869"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"99836270690727621619133329259176282042685455555990018505733790063678232938509"],"tag":"AbiUInt"},{"contents":[256,"1533465794"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe6","0x000000000000000000000000000000000000000000000000000000000000b7e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008717a","0x0000000000000000000000000000000000000000000000000000000000001397"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"33846835817568312871056455941976566752515330302073894080666127566314357375277"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580ae","0x000000000000000000000000000000000000000000000000000000000000005a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"580687991445999155634506791644022902017093485085952643150612638123068248352"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f6","0x0000000000000000000000000000000000000000000000000000000000000320"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"35340226915256446600274082492648131824161428611265240458669380891212800678794"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e702","0x000000000000000000000000000000000000000000000000000000000000b5e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75d","0x000000000000000000000000000000000000000000000000000000000000275c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"51467615860637331093965397009942070321769565142037923979912405845192301785292"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001a","0x0000000000000000000000000000000000000000000000000000000000002ba0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"74424216470294535858598745389690586077513454194231988358434457965187722651060"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce51","0x000000000000000000000000000000000000000000000000000000000000e4cc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"98997708115677368289098041692141515824777859703766309689327991665646697825323"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062123","0x000000000000000000000000000000000000000000000000000000000000810e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"14394996902618794008854668794793877044302736733057710489726235087064346235193"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006862c","0x0000000000000000000000000000000000000000000000000000000000000e0e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"101661662148862576572009452260140249800812394994339373171266500290363374217290"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e4ae","0x000000000000000000000000000000000000000000000000000000000000ae7f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000663e9","0x0000000000000000000000000000000000000000000000000000000000001380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"79919157191713183534375209835867272844405387790414888117257451832375551134214"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054279","0x000000000000000000000000000000000000000000000000000000000000dfc3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"214389550573733432478207550163688421262"],"tag":"AbiUInt"},{"contents":[256,"6306227781341828004447144891924436101074189805296455167421395483166805163199"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c16f","0x000000000000000000000000000000000000000000000000000000000000003e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"11063113633936992642536214086977734103735865620160192888082434210563233260676"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000033fe8","0x000000000000000000000000000000000000000000000000000000000000634a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580af","0x000000000000000000000000000000000000000000000000000000000000873b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000009050f","0x0000000000000000000000000000000000000000000000000000000000000bd2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000023e77","0x0000000000000000000000000000000000000000000000000000000000007e48"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":[256,"66498956321446753506544994264883342040108463778911246724758055562375478555677"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000071af7","0x000000000000000000000000000000000000000000000000000000000000146d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002783b","0x0000000000000000000000000000000000000000000000000000000000000401"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"103097470317451349788444223988265320971763027152325557368214177964324617848933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007e4f2","0x0000000000000000000000000000000000000000000000000000000000008194"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639934"],"tag":"AbiUInt"},{"contents":[256,"78971447439068224787777048519896318542351597168080606768114568319472230810018"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacd","0x000000000000000000000000000000000000000000000000000000000000d8cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"1651745428510631169605376609814810471312007797597554758892664224827270996711"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005a0a9","0x00000000000000000000000000000000000000000000000000000000000064b4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004266a","0x0000000000000000000000000000000000000000000000000000000000001367"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639874"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c6","0x000000000000000000000000000000000000000000000000000000000000824d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"37248728137255700428347508188016610778475850169224760305977649064345516422711"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f712","0x0000000000000000000000000000000000000000000000000000000000008dec"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fa33","0x000000000000000000000000000000000000000000000000000000000000d4ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"85441469948680095110548023524681060501350235071748021509831338544823047095736"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214c8","0x000000000000000000000000000000000000000000000000000000000000007f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"69"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132607"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000070ba6","0x0000000000000000000000000000000000000000000000000000000000009779"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"M\\216\\186\\198 ]4\\213\\FS\\181\\aB\\242_\\193\\NAK\\203\\144d\\253\\199l>\\NUL\\215\\189\\144(\\STX\\157\\216 \""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427c","0x000000000000000000000000000000000000000000000000000000000000136e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"75998841224402919421854711308938131723762737040819588596077507407837064112717"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1c","0x000000000000000000000000000000000000000000000000000000000000231d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\216$\\146\\218\\153\\247\\DC1\\SO\\DC2\\162p\\USp\\218&\\132:\\149\\164\\SUB\\177\\230`w\\190o\\221\\DC3\\GS\\155\\200\\223\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e377","0x0000000000000000000000000000000000000000000000000000000000004f27"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\253\\218\\DC2\\168\\&4+\\192*\\242\\CAN`\\216R\\236*^\\EM\\236\\199f\\229X\\250\\179\\SO=\\234[\\139\\129\\206\\SUB\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3c","0x000000000000000000000000000000000000000000000000000000000000dfc3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"106704542701655386904025749459572499102741134103180464518716835333699464223887"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3e","0x000000000000000000000000000000000000000000000000000000000000258e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"2775459735556875977094010585549371019738520595570073119523373539208998072163"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000103ef","0x0000000000000000000000000000000000000000000000000000000000003437"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"38843165994824158996044578378815399046189477519875661048887652253369951200190"],"tag":"AbiUInt"},{"contents":[256,"25531787429206832825335626"],"tag":"AbiUInt"},{"contents":[256,"52393055115797960117344917819261614617719630607228314253117019869440355423239"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008fc5b","0x000000000000000000000000000000000000000000000000000000000000b6b3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000985c","0x000000000000000000000000000000000000000000000000000000000000757c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"1527625537"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001f","0x000000000000000000000000000000000000000000000000000000000000133c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"105968081739600467770578012395920514511634085961842672083869856071733652142196"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb29","0x00000000000000000000000000000000000000000000000000000000000064c6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"49372993653307302411074547503102992188011985840260943590253455024989135907777"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c2","0x000000000000000000000000000000000000000000000000000000000000138e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"105233126449277443121333797309184109748318329727385184491103547241784646636384"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014c1f","0x000000000000000000000000000000000000000000000000000000000000101e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"235"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"40421468698544788567461330845055278860044721581958678536258524317865280218021"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bde","0x0000000000000000000000000000000000000000000000000000000000002353"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004492b","0x000000000000000000000000000000000000000000000000000000000000136d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"60130803348421074182771696428838604995111787990790886304962269367536227081403"],"tag":"AbiUInt"},{"contents":[256,"57244721225496484525791784677240738317063906122450925412151929509780563405365"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061c2e","0x00000000000000000000000000000000000000000000000000000000000013ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639862"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d53","0x000000000000000000000000000000000000000000000000000000000000c506"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"472260498517428093450829853099908083"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000020100","0x000000000000000000000000000000000000000000000000000000000000ea96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"64745157602299049418524449929715870695062322676244849223733482185467623158811"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb30","0x000000000000000000000000000000000000000000000000000000000000d7cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115666230879941066350948417866076221885957252822806407548746303212689300723661"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a193","0x0000000000000000000000000000000000000000000000000000000000000bd3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eadf","0x00000000000000000000000000000000000000000000000000000000000013a8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e10","0x000000000000000000000000000000000000000000000000000000000000db9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]