[{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"47427036732914255005665156393589068148182402081709249555621016929053373833340"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdfa","0x0000000000000000000000000000000000000000000000000000000000000034"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"173"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f5b3","0x00000000000000000000000000000000000000000000000000000000000055e1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"119427"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cbb9","0x00000000000000000000000000000000000000000000000000000000000077af"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000067","0x000000000000000000000000000000000000000000000000000000000000c900"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"1525986087"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c433","0x00000000000000000000000000000000000000000000000000000000000095e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"697"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f35","0x000000000000000000000000000000000000000000000000000000000000134a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b2cf","0x00000000000000000000000000000000000000000000000000000000000067ee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":[256,"89348222543142550597281395428867588833038033397833489997856050762078028208321"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000416de","0x0000000000000000000000000000000000000000000000000000000000001c9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"28881277674173174684674893348440569232857989390270049697566388557949487604433"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003afe1","0x00000000000000000000000000000000000000000000000000000000000003eb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"101"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce51","0x000000000000000000000000000000000000000000000000000000000000656b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb09","0x0000000000000000000000000000000000000000000000000000000000002a8d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":[256,"99251914791992433674891081370463374017751004533999598460788686738483600698714"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004a","0x0000000000000000000000000000000000000000000000000000000000005c65"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003dcec","0x000000000000000000000000000000000000000000000000000000000000856e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb21","0x00000000000000000000000000000000000000000000000000000000000012a1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"61801647003798307013919540062822792708875395965446466099577970299533048411822"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000049","0x000000000000000000000000000000000000000000000000000000000000101b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"610907"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f35","0x0000000000000000000000000000000000000000000000000000000000002606"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000315","0x0000000000000000000000000000000000000000000000000000000000002710"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e12","0x00000000000000000000000000000000000000000000000000000000000022f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"123"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f2","0x0000000000000000000000000000000000000000000000000000000000004b9b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"234149335914156257829863502194615761462"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a61","0x0000000000000000000000000000000000000000000000000000000000004f38"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"47179103652447629654810475018013259381928779618102290169757573106617870351924"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007f","0x0000000000000000000000000000000000000000000000000000000000009205"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000004e0b","0x0000000000000000000000000000000000000000000000000000000000000f9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":[256,"1529988167"],"tag":"AbiUInt"},{"contents":[256,"58307947294403191684709877503691756095581549931311559370517250540354910341150"],"tag":"AbiUInt"},{"contents":[256,"197391441728457197828117586749388009135889896329803366354589403423"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003558c","0x0000000000000000000000000000000000000000000000000000000000000023"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000e","0x00000000000000000000000000000000000000000000000000000000000015cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"66"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb45","0x0000000000000000000000000000000000000000000000000000000000004d1a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"]j\\179\\SOH\\152\\r\\132\\139\\156M\\238?i\\ETBr\\178\\233\\133[\\170\\195\\160\\191s\\145\\SOH\\165\\&5\\229-\\143\\182\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000541a4","0x00000000000000000000000000000000000000000000000000000000000012b9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bfeb","0x0000000000000000000000000000000000000000000000000000000000001343"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043491","0x00000000000000000000000000000000000000000000000000000000000026f5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"1529949247"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000038743","0x000000000000000000000000000000000000000000000000000000000000d50c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea4a","0x00000000000000000000000000000000000000000000000000000000000011ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006080e","0x0000000000000000000000000000000000000000000000000000000000009cb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"232"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075d98","0x000000000000000000000000000000000000000000000000000000000000000d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"4845394294236116829618235573915943234947988282094543514935278306967085454183"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042d80","0x000000000000000000000000000000000000000000000000000000000000022e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[8,"27"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000054","0x0000000000000000000000000000000000000000000000000000000000006c17"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[128,"64"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb01","0x000000000000000000000000000000000000000000000000000000000000d0cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"70900381169162223980799866551647125867468784646755438411731888983092670151722"],"tag":"AbiUInt"},{"contents":[256,"879"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000315","0x000000000000000000000000000000000000000000000000000000000000138b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"774"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000048101","0x000000000000000000000000000000000000000000000000000000000000aeb3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDEC9f3Dcc5158854Ef368E0B842F9e2cA8c990DB","tag":"AbiAddress"},{"contents":[8,"249"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006cae0","0x00000000000000000000000000000000000000000000000000000000000080b2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027e7c","0x000000000000000000000000000000000000000000000000000000000000c85c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2c","0x0000000000000000000000000000000000000000000000000000000000001357"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"45"],"tag":"AbiUInt"},{"contents":[8,"61"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b933","0x000000000000000000000000000000000000000000000000000000000000dae9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000067c10","0x000000000000000000000000000000000000000000000000000000000000ea7f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"93877476946387131179198595788621728377220550445199799893777758567860199450250"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000280e6","0x000000000000000000000000000000000000000000000000000000000000a4f5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"9"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ebea","0x00000000000000000000000000000000000000000000000000000000000001ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"505"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052be8","0x0000000000000000000000000000000000000000000000000000000000000e10"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0xDEC9f3Dcc5158854Ef368E0B842F9e2cA8c990DB","tag":"AbiAddress"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"130698223717826440"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046874","0x0000000000000000000000000000000000000000000000000000000000009aa3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[8,"230"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008e971","0x0000000000000000000000000000000000000000000000000000000000003053"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"20193839218013946489003650326671829899173686092386572023879819166593421524708"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001844e","0x0000000000000000000000000000000000000000000000000000000000005cfd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000024bd8","0x000000000000000000000000000000000000000000000000000000000000137a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"585"],"tag":"AbiUInt"},{"contents":[256,"1531343185"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef4a","0x000000000000000000000000000000000000000000000000000000000000556f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x00000000000000000000000000000000000000000000000200184837085d33b8"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e350","0x0000000000000000000000000000000000000000000000000000000000000439"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"112755572697734914115519191845983296966517593506689085870423977389880417365643"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba8","0x00000000000000000000000000000000000000000000000000000000000003d9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000030427","0x0000000000000000000000000000000000000000000000000000000000003891"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"11"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639038"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e9","0x00000000000000000000000000000000000000000000000000000000000013be"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"90202626830693232422031172179129530219514170224640176778985249752697434709708"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000361fd","0x00000000000000000000000000000000000000000000000000000000000086b3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59d","0x0000000000000000000000000000000000000000000000000000000000003d39"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"94005333393728406904149201476138725415066554081322759736422135411881619365932"],"tag":"AbiUInt"},{"contents":[256,"98492645460019564011760607886679555262352968379226957285970250128170561370731"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000384","0x000000000000000000000000000000000000000000000000000000000000c391"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe4","0x0000000000000000000000000000000000000000000000000000000000001388"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232a","0x000000000000000000000000000000000000000000000000000000000000bb74"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":[256,"91617393579986991891500677"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007cfeb","0x000000000000000000000000000000000000000000000000000000000000b381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"=\\191\\169\\ENQ/\\STX\\FSc\\NUL)\\ESCK \\r\\205\\199\\225\\145 \\186\\220\\191\\147\\178\\155\\221FJ\\194\\180\\189V\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfc","0x0000000000000000000000000000000000000000000000000000000000008d9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"1531311624"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea62","0x000000000000000000000000000000000000000000000000000000000000ca09"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000082b74","0x0000000000000000000000000000000000000000000000000000000000000e10"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005d1ec","0x0000000000000000000000000000000000000000000000000000000000007721"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"42847419041261382319883668279662797938047822891161597843091067846593180800136"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"100589813109639701576789638881469842226517050704350909031313266889099161253689"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000030206","0x0000000000000000000000000000000000000000000000000000000000001740"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"91428910191968688879758473043302373637622177007474844809325966546985965086469"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e6ff","0x0000000000000000000000000000000000000000000000000000000000009aa3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"135"],"tag":"AbiUInt"},{"contents":[256,"18297987208735146874220582743584803296820597996698861782050350307411530087027"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd38","0x0000000000000000000000000000000000000000000000000000000000006a25"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"33808834849652312373256805884087161763854272273086034427604140607005665525446"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003aae8","0x00000000000000000000000000000000000000000000000000000000000000ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"1044"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000632d4","0x0000000000000000000000000000000000000000000000000000000000001982"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"38578768549747044508430232871329770739258725909331306807761252111541734343467"],"tag":"AbiUInt"},{"contents":[256,"675756954782446144643828889732874169747590331383620408382603886354362447006"],"tag":"AbiUInt"},{"contents":[256,"1535449667"],"tag":"AbiUInt"},{"contents":[256,"95973846677542157548367300252320543891447368902639972566620014888579646113045"],"tag":"AbiUInt"},{"contents":[256,"52"],"tag":"AbiUInt"},{"contents":[256,"1527322530"],"tag":"AbiUInt"},{"contents":[256,"31035536514153939723061500094652860502773695563777696027533262928200876187838"],"tag":"AbiUInt"},{"contents":[256,"66316925018229638592851381503958461283774448208371103904749197067665269726750"],"tag":"AbiUInt"},{"contents":[256,"3405256450226098420942256442316733198956235558298571873801327617732750597"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639883"],"tag":"AbiUInt"},{"contents":[256,"27755400569104926933803316090742468985253325418573374384751443446435998301444"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639836"],"tag":"AbiUInt"},{"contents":[256,"36803798977750467130450356680417485904009790567003421008309395167116676460453"],"tag":"AbiUInt"},{"contents":[256,"6500465760290928526969899295287488487312500270752"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"643"],"tag":"AbiUInt"},{"contents":[256,"51029426290762079780387443038549578769231154572450522642937177412782491361281"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"2409921312815352600009"],"tag":"AbiUInt"},{"contents":[256,"459"],"tag":"AbiUInt"},{"contents":[256,"39"],"tag":"AbiUInt"},{"contents":[256,"13770785025169791077098275414312106686637590173964136657810705832863931739638"],"tag":"AbiUInt"},{"contents":[256,"11055263315152874555408697734131516009082186226565202908041789092813085179260"],"tag":"AbiUInt"},{"contents":[256,"82928012787400843708323460549705778588253081073636270124561961604685340167250"],"tag":"AbiUInt"},{"contents":[256,"1023"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639920"],"tag":"AbiUInt"},{"contents":[256,"55259412598322951194902361833244679266857907395100403900420938626578163658208"],"tag":"AbiUInt"},{"contents":[256,"959"],"tag":"AbiUInt"},{"contents":[256,"94331107704247346388151911551188000034054977561189577789086814388757379170598"],"tag":"AbiUInt"},{"contents":[256,"79232708873944900448376240235581836079489865647716161600228011626698728526849"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639939"],"tag":"AbiUInt"},{"contents":[256,"106552604838132192910098506665042757417842167025712666072364400311447350890411"],"tag":"AbiUInt"},{"contents":[256,"52985557134244481400483005364086558339121808340181824926229748806965469471850"],"tag":"AbiUInt"},{"contents":[256,"58493439439281389481038201228045455313420694427543148808914177002771975191744"],"tag":"AbiUInt"},{"contents":[256,"2648273274132674713521905423759882256260140341674"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc78","0x0000000000000000000000000000000000000000000000000000000000001358"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000000000000005b6e9492"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4a","0x0000000000000000000000000000000000000000000000000000000000001414"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7f","0x000000000000000000000000000000000000000000000000000000000000da41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e956","0x000000000000000000000000000000000000000000000000000000000000231e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055112","0x000000000000000000000000000000000000000000000000000000000000007f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0e9","0x0000000000000000000000000000000000000000000000000000000000001475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000384e7","0x0000000000000000000000000000000000000000000000000000000000000055"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"535802370117546387776218828567575324495434454279385913381156749211350689118"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639842"],"tag":"AbiUInt"},{"contents":[256,"805"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c820","0x000000000000000000000000000000000000000000000000000000000000711a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004463f","0x000000000000000000000000000000000000000000000000000000000000e691"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacc","0x0000000000000000000000000000000000000000000000000000000000007116"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x2aa1f1978f5d18D91eB3fc2E6975dC6E85FDefdF","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x12F8Aa9519Dc6CbE9b26E3A1201CB779176ad088","tag":"AbiAddress"},{"contents":"0x12F8Aa9519Dc6CbE9b26E3A1201CB779176ad088","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\133\\SYN\\134^\\202\\144\\150X\\240Y'\\\"\\194\\140\\ENQ_\\153$w\\200\\232\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\181\\216\\190*\\250\\SO1\\tZ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\137\\GSfO\\n\\227\\172\\147\\132\\DLE4Cc\\214f\\DC2\\250\\DLE\\219l\\163\\ETX\\131,\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245U\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212N\\155}\\170\\CAN=l<\\184\\234\\&2\\DC1asU\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\203\\237\\140\\RS\\206\\202\\209\\166 n\\t\\208\\225e\\231\\135|\\157;\\172WH\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\199\\195\\192\\ETX\\144\\132\\&4\\219\\158B/[\\183\\v\\b\\232{\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147k\\STX\\241X.\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\203\\ETX\\254\\223\\131E\\236\\135\\159:cX\\200\\253\\222\\255\\EOT[\\188\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173(\\193\\ACK\\213\\135\\146\\170<\\136#\\184\\148\\215\\STX\\US\\172\\US\\180\\181\\209\\248j\\SI\\166\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\230\\221\\165\\252\\171\\155\\179x\\b&\\244\\ETB)\\EOT\\174\\148\\ENQ\\245\\158\\&9\\SOH\\243J\\171\\201\\ETX;\\a1e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\fI\\211\\\\x\\244\\ETB\\248H]5\\199\\139\\174\\148%a\\192d\\DC3q\\DLE\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"$t\\145\\147\\175\\DC3\\254E\\DC3\\215\\&0q)Nc\\153\\148\\160_\\SUBP\\229\\129\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\173\\RS\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"Xy\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214js\\253pp\\200V6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\&2\\134\\202\\205\\GSuB:^0\\210\\193\\239p-\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\SOF\\149lc\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\253\\239\\215\\vG6^\\185\\190\\139\\184\\211\\SOH\\178\\172\\236\\NUL\\169\\DC2\\CAN\\ESC\\156%=+\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\180\\249\\&4\\EOT\\ACK\\221\\DEL:\\210\\183\\STX,c\\215M[\\151lx\\183\\176\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\158\\185\\250\\199\\249\\142\\182\\144\\186zy\\192\\238\\150o\\DC3\\SYN\\231,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228EP\\226N\\185Y\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\\"\\SO\\251\\240r\\ENQ1\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240c\\163$\\202\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\212C\\230\\&4\\160\\134x1\\186\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\247?RW\\247\\248\\146\\ESC9\\201\\CAN\\EM44\\153\\&2%e\\211\\DC4\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208!{\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC;\\198!\\239\\237.\\140\\199z\\149\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\178\\249_/\\209\\&3\\US\\170\\231\\179\\238F\\148\\207\\232\\&9\\225\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\ENQ|X5\\168\\a\\DLE{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\DEL\\201]\\ENQ\\152^J\\189\\&2\\179r\\ETXU\\SUB.\\246\\vW\\246\\174\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\184\\210wR\\237\\ACKa\\208%[\\SO\\149\\241\\156\\217\\ETB\\140\\238\\154+\\207\\174=\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\206;\\DLE\\218]W\\f\\186\\\"\\ACK|\\150\\DEL\\DC1\\208\\245\\&2\\208Z\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\221Q\\250u}m\\228\\166\\254\\STXVz\\NUL5\\247>\\EMi\\254\\246\\144`\\155;\\198\\232YXX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\&8\\159\\190\\SUBf\\SUB\\151y\\252Q1}&\\163\\241V\\228\\DLE\\253\\229\\218\\255\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\\\\\193\\203\\157\\158\\208\\179\\173\\198\\n\\\"aQQ\\225\\164$\\145\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\236W\\SUB\\242\\135\\199v-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\213\\206e&\\184\\207\\212\\USx\\132\\243;\\175\\185Yt\\NAK\\138\\&0\\NAKr\\167\\135\\227\\f\\201{\\ETB\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\210\\244\\160b3U\\v?\\249\\208\\183\\220\\166q\\140\\208X\\221\\251\\243y\\139\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\198E\\229\\179{.\\199n\\\"\\145-M\\140\\132cU\\t\\165h\\168\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146Y\\ACKwd\\205\\245D\\132\\221\\218\\138\\165\\138\\182\\SYN\\237\\205\\SUB\\183\\254a2\\160\\249]rQ\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\176Q\\149\\195\\179\\197>\\ESCB\\NUL(\\196XR\\219p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\nt\\131\\194c\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM)~\\229\\218vk\\185\\RS\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217,\\248\\&0\\212\\138\\244$V\\135\\225f;I\\220q\\249\\235\\215\\FS`-;\\181\\DC3\\ACK\\220\\DLE\\178\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218}\\207\\129\\151\\246\\204\\185\\216\\148\\233\\211\\138\\f\\143C\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159~\\172a\\166\\233\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\211W\\SO\\192Mym\\130\\136\\DC2\\aZ\\169Z\\255KGrB\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"|l\\163\\NAKte\\252\\&1gM\\166\\190\\246\\128\\159\\b8P\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DLE3G\\221?\\189\\192\\STX!\\132\\231\\186\\219\\ACK\\142$\\240X\\197\\149\\136\\252\\174p=_\\173\\GSW\\163\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"K/e\\246\\160O7B\\ETX\\170\\160\\156\\&9\\229\\DELNk\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"e*\\189h-\\f!I\\156\\172cjC\\186\\139bU\\169\\179\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\197{\\254\\US\\216_\\199\\a\\SI\\182t\\US\\139\\t\\157=\\239\\223 \\132]\\207\\DC2\\DC3\\222\\241>\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\152\\245\\STXzY\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"@'\\154\\USWE\\249\\&8\\147\\137f\\132W+x\\159T\\207H\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1R\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\221\\140\\DC3woR\\128\\188\\208\\&9b\\201$Hy't\\220\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOD\\151\\194@A s3\\234z\\r\\187\\140\\&1O\\f]\\242\\SOH\\238\\f;\\136\\145\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214o^[\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\252\\190{d\\238\\252\\172\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3X\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\164\\152G\\190\\211\\162\\NUL\\156\\&1\\167\\tp\\186\\169RT\\133\\b\\US]\\213\\n\\SOH?\\USs\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1Y;\\146\\179\\EOTgZ\\186\\ENQM\\133:\\133m\\NAK\\209\\199\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\166\\150\\ESCa\\253g\\169&\\185\\221E\\176\\\\\\166\\132A\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131]\\215\\231\\GS\\210ah\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\242}\\215\\253Y@\\134\\169\\144\\t/\\EOT\\STXq\\ETX\\a\\165\\254%\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\228\\245K\\203\\130\\242\\EOT\\198Y\\210%x\\223\\190\\SYN:\\231\\148\\153\\SYNI\\232\\182\\EOT\\222U\\177\\236!O\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\201\\249\\ETB\\180(\\137\\&1\\222\\141;^G\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\EOTmw\\243\\161!\\212/\\158\\NAK\\bQ\\140\\243\\187\\153?\\159\\202\\133\\225\\165G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\235nV\\128k\\NAK\\183\\233\\136\\CAN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\164\\DC3\\237\\200A\\183\\203-\\130\\166z\\198\\232\\STX\\128\\233}\\238\\139%\\240\\FS\\f\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\r\\131\\245{\\235\\192\\217\\145(}\\DC3\\USgF\\173\\188[\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219+Y(\\178Wu\\NUL\\137ll=s\\243(1\\205G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250n\\176\\135\\227k#\\157\\129\\SOH\\227\\133\\&2f\\175\\ETX^y\\202\\DEL\\222\\148\\144\\249\\234{w\\210z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187K\\ACK\\GS\\228\\SIw\\191\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOHJ4\\145\\188,(\\ENQX\\197\\152V\\192\\tAW\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\196\\201\\155\\173\\233H9\\217\\SO\\198\\NAK\\135\\246\\237\\208L\\220\\250\\rA\\\"s\\215\\SUB_$\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\245\\138\\143\\152\\166\\b\\DC3\\213\\t\\242\\&0$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\DC3\\147\\148^l\\174\\221\\162\\176;\\235\\149rp\\157!\\236\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\216s\\US[\\151\\171B\\181\\130\\ENQ)F\\158 f\\157\\249 \\152\\175\\228N\\218z\\137'\\199g\"","tag":"AbiBytesDynamic"},{"contents":"\":)DN\\181i\\r\\202V\\140~\\175\\FS\\219\\130\\&7\\SI6\\140\\f\\192\\188\\159\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\CAN\\129\\239o1[\\161!\\DC3\\138\\ESC\\245\\\\\\133*WzO-\\SUB\\134\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\aCn\\b\\201\\240{\\236\\148\\228\\191\\250\\140\\&32\\190\\SO\\150E\\SOH$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\159\\132\\136\\ETXqf;r\\223\\198t\\158\\174\\\"\\ACK\\153\\146!\\207\\138P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\203\\253\\236bY\\223\\230\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\253h%\\209\\153Ei\\174\\&5\\165\\175\\130\\v\\232:\\188\\141!\\178,s\\188m\\128\\ACK\\159\\254\\255\\250\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS}\\138\\US\\232N\\170\\ENQc\\184/*h\\128\\SYNd\\SO_\\243\\134\\176\\RS\\185\\170\\185\\180\\&8\\225O\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\&9zq\\215x{\\249\\242\\189\\142\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"]X\\ETB.\\CAN*\\230\\228\\188\\195\\232\\196jQ\\174\\163\\bt\\183@\\212\\154\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"'n\\167\\251i\"","tag":"AbiBytesDynamic"},{"contents":"\"0\"","tag":"AbiBytesDynamic"},{"contents":"\"ml\\216h\\229$M\\SOHn\\172Z\\231\\191<$\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\&7\\160p\\191O\\240\\SO\\171Y\\153\\219u$\\162\\150\\DC4\\240H\\198r-\\133\\\\t-W\\253\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154<w\\245J\\146\\128j\"","tag":"AbiBytesDynamic"},{"contents":"\"`D\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\">\\176\\234}\\STX\\238\\167\\235D\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\231\\b\\157\\DC1s\\205^\\ETX\\US\\SOH\\169\\189M\\128\\DC4\\229+|\\ETXx\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"I\\158\\128\\184!\\168{\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\250\\200Q\\162\\233\\201dx\\178:\\229P\\185`P\\156\\241\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\ACK\\SO\\131&\\181B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187R\\218\\170\\NAK$\\229\\SUB}\\f\\247\\196F%\\149\\154\\249\\170\\180a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161{M\\169\\219q3~\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211>\\228\\129hr-\\243\\170\\v\\SUB\\202\\158\\DC3Z\\234\\195\\237\\182V\\141\\202<t\\192\\136nm\\135\\156{\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"p9\\224D8\\196,=)\\247\\ACK\\249\\241\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\152\\203G\\207\\DC3\\196DA\\198\\139\\214\\135\\&9\\DEL\\196\\181\\203\\138\\DC2K\\241\\b\\241\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253S\\217\\200\\183d\\194\\231\\197\\240\\208\\192\\146}\\t\\254\\194kx\\184\\151\\165\\200\\ETXjI2/\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\169r,\\222\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\236hE\\DC2\\DLE\\DC2\\153\\139\\NAKR\\b\\247h*\\148\\164\\129\\&3)T\\DEL\\NAK\\144F\\SOH\\CANU\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\229S\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\146Q?\\237\\207\\198\\199\\159/3[3v\\US\\237P\\t\\188\\245\\161\\172A\\159\\RSXX\\183b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\164\\220@+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"S\\165=\\197\\STX\\DC4\\209\\175\\139\\181\\250Q\\196N\\NULm4#i\\DEL\\184\\226\\244\\238flP\\177\\254\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\221\\152\\131\\193aE\\246\\223FZ`\\DC4\\v\\199\\a\\221\\200}u\\161 *\\184oD\\146\\201pR\\153\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\DC1\\159\\153kZ\\248\\188\\DLE\\176K\\201\\199\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\236\\&1\\248Wy\\DC1\\206]\\162\\236\\207\\137\\159\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\233g\\ENQ~\\FS7pI\\200DM{^\\227\\204\\193\\&8\\DC2\\241\\DLE7\\213\\&6\\NAK\\ENQ\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"bq\\248\\&8\\222#\\176B\\173\\&6\\167\\149\\\"\\SI\\197\\129\\&2\\DC1\\255\\141\\&51\\140{\\255\\136\\SYN\\129\\220\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\">U\\172\\198\\184Q\\SYN,\\ny9\\185\\199n\\186\\223j\\DLE\\a)\\181\\SUB#\\131U\\254\\US~\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\169k\\153\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\232\\GS\\130\\CAN\\196\\196j\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\DEL\\146\\165OG)Y\\NUL\\156\\198=\\US\\162[h\\161/\\SO\\192\\n\\RSp\\146?hm\\252\\162\\r\\SOHH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\200>\\187>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\167C\\153W\\197\\v\\n\\192\\205]\\\"\\135\\227:\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\236\\209\\250\\144\\205\\SYN\\219\\ESC)\\254C\\r\\175\\208i\\236\\246\\242b\\142];\\170\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\160e\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"*ow\\226-H\\206\\ACK\\190\\132-\\FS\\158\\227\\150\\158\\195\\242\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\162\\NULV\\DC3\\137'\\a~\\SI\\168\\ESC1\\208\\148Z\\227\\\\2\\148`\\216\\228\\219\\223\\188\\230\\ESCS\\154\\218`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\227\\143\\&9\\153\\191J\\192{\\158z46\\235\\136w\\200Qj\\230\\247#}\\184\\DC2\\222\\219;\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"1y\\253\\246GU\\219\\145\\164\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\137\\235\\141r\\EOT\\237\\235\\171\\STXA\\185%\\209\\211\\247\\164\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\&9K\\183\\128\\153\\132\\248\\201\\220\\148M,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\130\\170\\148\\139\\233n\\152)%\\ENQbM\\146\\206\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\219%\\174}\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"470"],"tag":"AbiUInt"},{"contents":[256,"1530264317"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731853"],"tag":"AbiUInt"},{"contents":[256,"51284090401555088859411148385891940632690362467119547265416373159763091671138"],"tag":"AbiUInt"},{"contents":[256,"107934112374832141158081769935768565903634034893675284464000654281093779359295"],"tag":"AbiUInt"},{"contents":[256,"48753547328211045107395013698343480443280885072640166498664180255068868180812"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639902"],"tag":"AbiUInt"},{"contents":[256,"310875580629868116789234124787690709584484445845542"],"tag":"AbiUInt"},{"contents":[256,"46364642834290567939229279551226999458235554912090254431612240691431379289244"],"tag":"AbiUInt"},{"contents":[256,"311"],"tag":"AbiUInt"},{"contents":[256,"1530090635"],"tag":"AbiUInt"},{"contents":[256,"1531376811"],"tag":"AbiUInt"},{"contents":[256,"74153706632601877588186679546450432409327262041596058645049708232178766777207"],"tag":"AbiUInt"},{"contents":[256,"34274962313078096825792683632320389176419113879658867387140642772792876698342"],"tag":"AbiUInt"},{"contents":[256,"10000"],"tag":"AbiUInt"},{"contents":[256,"28865110362799467181162652371311200884762287654451502603536464417930222014106"],"tag":"AbiUInt"},{"contents":[256,"1531127728"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577600"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639635"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"1997"],"tag":"AbiUInt"},{"contents":[256,"1532900734"],"tag":"AbiUInt"},{"contents":[256,"72552546033457867302340407965183694819065215610845942652672933518933700323331"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"49695525835719707653739026024867090688946562132019877053590236030860451340233"],"tag":"AbiUInt"},{"contents":[256,"1530174670"],"tag":"AbiUInt"},{"contents":[256,"79535820233432430671873644540836214433501457537143584589347961597931615865237"],"tag":"AbiUInt"},{"contents":[256,"102332436424696167930060279918142365729138512187579121678794552816084371540603"],"tag":"AbiUInt"},{"contents":[256,"893612561"],"tag":"AbiUInt"},{"contents":[256,"111507043684136617390331065327775232263373648705250849087618067190652653337380"],"tag":"AbiUInt"},{"contents":[256,"255963983937708558218832751832959635860"],"tag":"AbiUInt"},{"contents":[256,"102137118581302353140172033104260897084648118380677198384567324953499044651662"],"tag":"AbiUInt"},{"contents":[256,"1529869150"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"15353864664899994143702979854866571745259673405618960547747255934828563364116"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638937"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507325"],"tag":"AbiUInt"},{"contents":[256,"16958772502551833449085840496718188050774731818019291943026001528361409345266"],"tag":"AbiUInt"},{"contents":[256,"101905987011810490100045941693312962489962867413624969878106155098150014669485"],"tag":"AbiUInt"},{"contents":[256,"2856139687514685715513838790"],"tag":"AbiUInt"},{"contents":[256,"1531952385"],"tag":"AbiUInt"},{"contents":[256,"7325187586786816984677175668040344437957014967649417617659277742708598999405"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553536"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630936"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507330"],"tag":"AbiUInt"},{"contents":[256,"1537041824"],"tag":"AbiUInt"},{"contents":[256,"101580725232452376057776432546666021321965545067494569542026984429978739474936"],"tag":"AbiUInt"},{"contents":[256,"67"],"tag":"AbiUInt"},{"contents":[256,"109389358174750363815795235212444438869887011525213197582218067648411423504694"],"tag":"AbiUInt"},{"contents":[256,"14796505070254448963360190555520804839372440013213938287786560934117353881083"],"tag":"AbiUInt"},{"contents":[256,"50"],"tag":"AbiUInt"},{"contents":[256,"71354568006886295516676349842236526357457936807923661633775842375424831367662"],"tag":"AbiUInt"},{"contents":[256,"37966485754164868719069172937065575498786220229645470025505068025989639033316"],"tag":"AbiUInt"},{"contents":[256,"30555169056120510885782748423364887580288154271834079928189810702769388228493"],"tag":"AbiUInt"},{"contents":[256,"58"],"tag":"AbiUInt"},{"contents":[256,"47493666256804664536144361437226822982599593229914516328162348887025617841187"],"tag":"AbiUInt"},{"contents":[256,"1528781023"],"tag":"AbiUInt"},{"contents":[256,"31028734161766731918776892720511589695386325747448340810167528065873027613936"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999997"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"47581377526298405047828436432215018521198984440876161362669928807372980217815"],"tag":"AbiUInt"},{"contents":[256,"84"],"tag":"AbiUInt"},{"contents":[256,"6987335292591475967526909179706571809821035590865197214635326214252967949678"],"tag":"AbiUInt"},{"contents":[256,"9442914688812603719199461149131473896464206276469075124595972933445095908631"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999999"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950337"],"tag":"AbiUInt"},{"contents":[256,"64025934611193380926241285155366122094992810959906800933783712054015983917523"],"tag":"AbiUInt"},{"contents":[256,"85642541680008681934274935349141444222178288338710081280519660152895367696306"],"tag":"AbiUInt"},{"contents":[256,"126736174773162006327724044593084566548141"],"tag":"AbiUInt"},{"contents":[256,"53597725408770596842672241086197103463348093978651714571172928647240175558930"],"tag":"AbiUInt"},{"contents":[256,"80243422552130178774067601146998505779316117513453490747056436691153394783092"],"tag":"AbiUInt"},{"contents":[256,"47420538368834819444357007632084022397987880958257149362051748175224524246498"],"tag":"AbiUInt"},{"contents":[256,"90453036795751187688765943896139802247602847236380101266561331599592860890340"],"tag":"AbiUInt"},{"contents":[256,"3192828782977795243675129100726009958544688811991470156072763068761268978076"],"tag":"AbiUInt"},{"contents":[256,"386"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1527059611"],"tag":"AbiUInt"},{"contents":[256,"82048340925966438166407254534376047531177776394333376064948832871866700448716"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"1535449667"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb43","0x0000000000000000000000000000000000000000000000000000000000000023"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553533"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639875"],"tag":"AbiUInt"},{"contents":[256,"79535820233432430671873644540836214433501457537143584589347961597931615865237"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689600"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000013312","0x00000000000000000000000000000000000000000000000000000000000012ba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"9112867035950869797586654133689502691484741026450316380925534594002047892396"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000038006","0x000000000000000000000000000000000000000000000000000000000000107f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000023","0x00000000000000000000000000000000000000000000000000000000000001f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacd","0x00000000000000000000000000000000000000000000000000000000000043be"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000387","0x0000000000000000000000000000000000000000000000000000000000007591"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":[256,"11965558866193514469133005952529964412483908990288906867513068968417803767340"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb02","0x00000000000000000000000000000000000000000000000000000000000094d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"98"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006dfc5","0x0000000000000000000000000000000000000000000000000000000000001690"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142f0","0x0000000000000000000000000000000000000000000000000000000000001c99"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"42835922159932912619453201834299747651231677616765299819334221491589542061094"],"tag":"AbiUInt"},{"contents":[256,"56257041008536728596685887294420764409965859152070859833859489591167169364464"],"tag":"AbiUInt"},{"contents":[256,"1532274400"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000012","0x0000000000000000000000000000000000000000000000000000000000009ec6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"20150562067778307626023935840751809548250981221332307863955425218391769302860"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c4","0x000000000000000000000000000000000000000000000000000000000000a296"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[8,"17"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077e64","0x00000000000000000000000000000000000000000000000000000000000095e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":[256,"42611829692655190532935812341118400258329225239011344639217602713135382937626"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084276","0x000000000000000000000000000000000000000000000000000000000000131a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005355b","0x0000000000000000000000000000000000000000000000000000000000004a50"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f2","0x00000000000000000000000000000000000000000000000000000000000001ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"3602"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004545e","0x000000000000000000000000000000000000000000000000000000000000135a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d671","0x0000000000000000000000000000000000000000000000000000000000000f9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c43a","0x0000000000000000000000000000000000000000000000000000000000001740"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000028928","0x0000000000000000000000000000000000000000000000000000000000000048"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000761b6","0x0000000000000000000000000000000000000000000000000000000000001271"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"156"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d52","0x000000000000000000000000000000000000000000000000000000000000d0cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x00000000000000000000000000000000000000000000000088bff5484eb18527"}]