[{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea19","0x0000000000000000000000000000000000000000000000000000000000001343"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084277","0x000000000000000000000000000000000000000000000000000000000000a295"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"92379042502369717132172669014889626356239151060323402464535918666196151432018"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b721","0x00000000000000000000000000000000000000000000000000000000000044e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052404","0x00000000000000000000000000000000000000000000000000000000000030cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"96119428827211853327519633876267638998719554794680142138035955249124216146372"],"tag":"AbiUInt"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001051","0x000000000000000000000000000000000000000000000000000000000000131a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e951","0x0000000000000000000000000000000000000000000000000000000000001362"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"7075281020106417408028807535514490765435302700776049"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e952","0x000000000000000000000000000000000000000000000000000000000000614e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce54","0x000000000000000000000000000000000000000000000000000000000000dcbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2b","0x0000000000000000000000000000000000000000000000000000000000000015"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639872"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eafc","0x000000000000000000000000000000000000000000000000000000000000a475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb39","0x0000000000000000000000000000000000000000000000000000000000001275"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0f","0x0000000000000000000000000000000000000000000000000000000000000060"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"114796227949591323690695415650460810646153136301752526582143191060502435060534"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba8","0x0000000000000000000000000000000000000000000000000000000000000036"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"5878623614256507594275124645717695763639139257454428162"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077bce","0x0000000000000000000000000000000000000000000000000000000000000055"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":[128,"34998829358841934736281517701312369510"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dbaa","0x0000000000000000000000000000000000000000000000000000000000000014"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"R\\GS'\\206'o\\229\\147H\\215]\\207K\\183\\NUL\\226\\169_\\tn\\ENQ\\238\\250\\SOAv\\153\\191\\216\\248\\221\\\"\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000056","0x00000000000000000000000000000000000000000000000000000000000001f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135ad","0x000000000000000000000000000000000000000000000000000000000000137c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6c","0x00000000000000000000000000000000000000000000000000000000000035d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639679"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eace","0x0000000000000000000000000000000000000000000000000000000000000086"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132607"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002328","0x0000000000000000000000000000000000000000000000000000000000002711"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"102090321647586829296288946697395706332025062035864000791591326610631787769551"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c9","0x000000000000000000000000000000000000000000000000000000000000101f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"23526237824144995499264559115233376563285791367467772506892009245322989417021"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba8","0x00000000000000000000000000000000000000000000000000000000000003fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":[256,"56914626727023782691298964787327194050785279932374054382930124615009979853573"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005d","0x0000000000000000000000000000000000000000000000000000000000000e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000047529","0x00000000000000000000000000000000000000000000000000000000000001f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"51618846910219711355459096807706078584061305880946493778556815159518449062389"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eafd","0x0000000000000000000000000000000000000000000000000000000000000046"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bc","0x0000000000000000000000000000000000000000000000000000000000000e29"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe7","0x0000000000000000000000000000000000000000000000000000000000006a2b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037272","0x0000000000000000000000000000000000000000000000000000000000001389"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81c","0x0000000000000000000000000000000000000000000000000000000000008194"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"191"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000065","0x0000000000000000000000000000000000000000000000000000000000006540"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"10502043038741316168417938778175441097008153482730982936077814241065867712720"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000080c20","0x000000000000000000000000000000000000000000000000000000000000d8cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"15451145068835674816111357251752152177478446539185645936398315244103746814380"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580af","0x0000000000000000000000000000000000000000000000000000000000003a9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"25531787429206832825340624"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"2667575173545462113590935903463541275952345081760835618439208342059717791106"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004e","0x0000000000000000000000000000000000000000000000000000000000001357"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142ee","0x000000000000000000000000000000000000000000000000000000000000058f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000046","0x000000000000000000000000000000000000000000000000000000000000b343"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"17863199052879383623809288630806710261883585714"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1c","0x000000000000000000000000000000000000000000000000000000000000003a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"673"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb13","0x000000000000000000000000000000000000000000000000000000000000d042"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629938"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004daf5","0x000000000000000000000000000000000000000000000000000000000000181b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[8,"204"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003256a","0x000000000000000000000000000000000000000000000000000000000000139e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507330"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec8","0x0000000000000000000000000000000000000000000000000000000000001341"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"64579848051369643681682034485549237299617022502502020520593427319963594245100"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0a","0x000000000000000000000000000000000000000000000000000000000000a5e6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea17","0x0000000000000000000000000000000000000000000000000000000000001319"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e1ce","0x0000000000000000000000000000000000000000000000000000000000000048"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"2800156274059095090349437853870652007642449495037239752710246096986971332417"],"tag":"AbiUInt"},{"contents":[256,"3"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a80","0x0000000000000000000000000000000000000000000000000000000000002609"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":[256,"16"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0c","0x000000000000000000000000000000000000000000000000000000000000001d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"26"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638938"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2b","0x000000000000000000000000000000000000000000000000000000000000000f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639870"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030338"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639816"],"tag":"AbiUInt"},{"contents":[256,"6052814434123304020447421796296674411068373549988065471099830520867338649162"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e378","0x0000000000000000000000000000000000000000000000000000000000000037"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"123"],"tag":"AbiUInt"},{"contents":[8,"92"],"tag":"AbiUInt"},{"contents":[8,"143"],"tag":"AbiUInt"},{"contents":[8,"47"],"tag":"AbiUInt"},{"contents":[8,"78"],"tag":"AbiUInt"},{"contents":[8,"21"],"tag":"AbiUInt"},{"contents":[8,"119"],"tag":"AbiUInt"},{"contents":[8,"62"],"tag":"AbiUInt"},{"contents":[8,"57"],"tag":"AbiUInt"},{"contents":[8,"14"],"tag":"AbiUInt"},{"contents":[8,"213"],"tag":"AbiUInt"},{"contents":[8,"205"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135ad","0x0000000000000000000000000000000000000000000000000000000000001387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1b","0x000000000000000000000000000000000000000000000000000000000000008b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639838"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a317","0x00000000000000000000000000000000000000000000000000000000000000d9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639838"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b2da","0x0000000000000000000000000000000000000000000000000000000000000008"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"3999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a317","0x000000000000000000000000000000000000000000000000000000000000270e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052405","0x000000000000000000000000000000000000000000000000000000000000de83"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"104730682225747710959560354016968494505610060236882474829964600222422662041949"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2e","0x00000000000000000000000000000000000000000000000000000000000003e6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"36246674722958360071113589487451312744131121366765050843399147196267177889980"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639683"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005408b","0x000000000000000000000000000000000000000000000000000000000000ec39"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\151\\132[:\\214e\\216\\170\\&2\\189\\169V\\RS\\n\\211\\DEL\\236\\230\\215S\\SI\\141\\133\\207<\\DC3\\176\\236\\181\\228<\\ENQ\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004e","0x000000000000000000000000000000000000000000000000000000000000d2cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"96"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4f","0x00000000000000000000000000000000000000000000000000000000000007ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c7","0x0000000000000000000000000000000000000000000000000000000000004b98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000038","0x000000000000000000000000000000000000000000000000000000000000db8d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"448740289725960508374212335629116388701926448492588181994725850388809249052"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3a","0x000000000000000000000000000000000000000000000000000000000000c063"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"107"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef47","0x0000000000000000000000000000000000000000000000000000000000007875"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ea76","0x000000000000000000000000000000000000000000000000000000000000008a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"20723030185898150974354631903076940186222731071263388129584091973410782529915"],"tag":"AbiUInt"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59b","0x000000000000000000000000000000000000000000000000000000000000137a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"20136131812407443857939648775180606756961936752723068960518916941966174313918"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"717"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0e6","0x000000000000000000000000000000000000000000000000000000000000138d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":[256,"75"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb03","0x0000000000000000000000000000000000000000000000000000000000001380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0e","0x0000000000000000000000000000000000000000000000000000000000000bcd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002c1e6","0x00000000000000000000000000000000000000000000000000000000000078f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747171"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c3","0x0000000000000000000000000000000000000000000000000000000000002120"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"99851087586479936245830110855840470939993632447441410703879706527600486521472"],"tag":"AbiUInt"},{"contents":[256,"56924309057641976340134865130288747193797221826991769052862814627638556734594"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c3","0x0000000000000000000000000000000000000000000000000000000000003765"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"267"],"tag":"AbiUInt"},{"contents":[256,"104645842902295453110001966654370186130182909388736660700335503369865852615846"],"tag":"AbiUInt"},{"contents":[256,"13046196687076572018959278412167019616332596185440906847281245472863534140204"],"tag":"AbiUInt"},{"contents":[256,"40937752681492454086824075499315001386345233616187694452696149077238881404194"],"tag":"AbiUInt"},{"contents":[256,"3685289534375333984621596698728524416744108564035980852300434328879367885653"],"tag":"AbiUInt"},{"contents":[256,"56939656146915890558833206908601093915879906175575677505508432524000535870145"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"107383727338885367952227775413625302449427950358981143518794479131905777204785"],"tag":"AbiUInt"},{"contents":[256,"73"],"tag":"AbiUInt"},{"contents":[256,"42148560839713642043888521655048651700671528758780462697074743316520784834979"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639936"],"tag":"AbiUInt"},{"contents":[256,"21217593490923049545823587878199080997975438355558802638493965566059977526109"],"tag":"AbiUInt"},{"contents":[256,"1546707544"],"tag":"AbiUInt"},{"contents":[256,"1313373038"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637933"],"tag":"AbiUInt"},{"contents":[256,"11848486587915258989825118492358311565697804337239967067822853997921492284706"],"tag":"AbiUInt"},{"contents":[256,"501"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"28779015175386013091028052469754408511505306804075730843261765309130734883487"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639036"],"tag":"AbiUInt"},{"contents":[256,"40193172990117504839247938047862719408806507145980348314832729681604776879362"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1538329588"],"tag":"AbiUInt"},{"contents":[256,"17445987265344877544522240488199877410269091270409829387155503592400181901032"],"tag":"AbiUInt"},{"contents":[256,"545"],"tag":"AbiUInt"},{"contents":[256,"1538972688"],"tag":"AbiUInt"},{"contents":[256,"63535988762358399619103619047645108208306921906075474314449018247362970095800"],"tag":"AbiUInt"},{"contents":[256,"21871208806743441106428665235841949402414011081886882846183728211915747323425"],"tag":"AbiUInt"},{"contents":[256,"57213318918843283510916112314234006615289876244979213802479344684437573114618"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035133"],"tag":"AbiUInt"},{"contents":[256,"76707451735418383031796336574136038034596280696340399942521532314375292580701"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"1536034958"],"tag":"AbiUInt"},{"contents":[256,"76410316983541883431688557326564332780673427999809842581367849888776114458110"],"tag":"AbiUInt"},{"contents":[256,"21029928275507829587063945214024395269159287876458315907126292603027270189685"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628414"],"tag":"AbiUInt"},{"contents":[256,"7498411282248393695211908006124808496205607151798083233823067866045839170549"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637934"],"tag":"AbiUInt"},{"contents":[256,"106315072046159567066569618503881652088557373620446286679093590561433350625000"],"tag":"AbiUInt"},{"contents":[256,"298"],"tag":"AbiUInt"},{"contents":[256,"1528852819"],"tag":"AbiUInt"},{"contents":[256,"60263533817507117973920203277829961802969067261500042169559812684716011544268"],"tag":"AbiUInt"},{"contents":[256,"77322920246341490680391773554279453091246250664565925609251922346710235587645"],"tag":"AbiUInt"},{"contents":[256,"75361429877295979839761974153512069175871642157925635287594599390494851837532"],"tag":"AbiUInt"},{"contents":[256,"604800"],"tag":"AbiUInt"},{"contents":[256,"108633603191227173681364823664184524190648787267328731337450020411922115860334"],"tag":"AbiUInt"},{"contents":[256,"66866243291514731472902556716466381367337861845021594452485522838283142158772"],"tag":"AbiUInt"},{"contents":[256,"96237409269840112547434587586277089949992823660501875584023853698704296806078"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"105221301885943418195517356813268901265641978486425265106820394178446122401285"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"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":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043b4f","0x0000000000000000000000000000000000000000000000000000000000001318"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000003a38d9132ca4bbbc1"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007c349","0x00000000000000000000000000000000000000000000000000000000000035d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e70a","0x000000000000000000000000000000000000000000000000000000000000007f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507330"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005f","0x0000000000000000000000000000000000000000000000000000000000001385"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"133717048152491499845535143924102611108248463418"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf0","0x0000000000000000000000000000000000000000000000000000000000001342"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"80321367757400967131085181853218307246897176872884722334967051351404568704649"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002c1b3","0x00000000000000000000000000000000000000000000000000000000000041dd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacf","0x000000000000000000000000000000000000000000000000000000000000a475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"7"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba5","0x000000000000000000000000000000000000000000000000000000000000b7e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"32841371330154211277314184366561458317709464766054584772555505794553639039228"],"tag":"AbiUInt"},{"contents":[256,"26765506669836544934159580707199800751255593189455576904065"],"tag":"AbiUInt"},{"contents":[256,"1548086775"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe7","0x000000000000000000000000000000000000000000000000000000000000614c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c7","0x0000000000000000000000000000000000000000000000000000000000006ddc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"100648308271279822787913543224824824227883898873577480626453973917472253267676"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007ce","0x0000000000000000000000000000000000000000000000000000000000000fb5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5f","0x00000000000000000000000000000000000000000000000000000000000011ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\")\\236\\DC49\\203\\\"\\220\\230\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\213\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228*J\\168>\\163\\143\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143aqe&+r\\180\\137\\n\"","tag":"AbiBytesDynamic"},{"contents":"\")\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\GS|(\\138-\\NULE\\153\\239\\217\\175\\230\\198\\165B\\141@&\\170\\193\\254\\DC1\\149\\203\\245\\133\\196\\210\\165]\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\178+\\\\\\230;+\"","tag":"AbiBytesDynamic"},{"contents":"\"p'\\SYN*\\b\\SOH\\236(u\\132\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\US\\b\\155\\EOT\\190\"","tag":"AbiBytesDynamic"},{"contents":"\")2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\204\\217u\\DC4S\\v\\174\\145Q\\225_\\NAKJ\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\152\\132\\225A\\ESC7Gl8\\205\\NUL\\DLE\\149-\\245\\128e\\150\\183\\151\\&0\\197U\\220\\v\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\249Q+q\\148\\130\\FS\\226\\203#\\249$\\219\\227\\GS\\204\\240*\\181\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"a-\\169\\145VFk0\\211\\243\\US\\146\\230\\152\\ACK;\\204\\179\\207\\138\\&3\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\185\\232\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\185,l\\EM\\194K\\211J6Y*\\200\\240\\132e\\196\\163\\232\\SUB@\\197|\\184\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138oW\\232I\\209\\130\\245r@X\\218\\153\\230\\236\\227t[\\198\\171\\230\\197\\152\\ETBw\\206\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\170\\DC3\\251\\245\\197\\240\\rx)\\ETB\\195\\192\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\234\\&2\\234\\244\\FS\\158\\206\\243\\246Y\\165\\215AX\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169T\\180\\254]\\241\\244\\&6\\243P\\255\\&6\\157\\212\\162\\251\\163C\\244\\212\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\n\\CAN\\129\\ETX\\227}\\234\\185\\252\\149\\\\\\147\\254\\152W)Q\\157\\161\\&6\\131\\SOH\\213\\157\\146\\248\\225+\\181\\CAN\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\187V\\129\\155\\135&\\180T\\151:\\208dj\\171\\210\\DC3h\\154\\138\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\237e\\NAK\\241\\162?\\153\\230\\223\\220\\147\\SUB\\159\\157\\189.4:Ky$\\f?,\\222\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\199M\\219G`q\\156\\137\\130\\213\\207\\231\\SYNt\\226e\\227\\ESC\\RS\\160\\254\\146v 8\"","tag":"AbiBytesDynamic"},{"contents":"\"LlYhd\\184\\184UEZ\\226iVAR\\\"\\210\\170\\150\\137Cj\\228\\216n\\187z\\196\\ETX\\208${\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\DC1+g\\158\\&3\\195\\230\\&2\\EM\\191\\DC3\\139\\189\\212\\161\\219P\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\193\\131\\179\\244\\&3Y\\135\\237D\\194\\222\\146n\\222\\230\\227\\194\\202\\RSH^V\\EOT\\239\\&4Y\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\133\\208y\\tl\\185H\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\253\\137A\\DC3\\227\\DC3\\SOH\\249\\&7+rWG\\171]\\132\\217\\248\\224\\228\\188,$A\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177m*\\184\\183\\t\\194E\\188;\\244\\DC2\\190\\&3[\\v\\154\\STXE\\ENQ\\224W\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\216>7\\237o\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\RS\\196\\150\\ETXH\\DC3\\STX,6\\201\\SI\\GS\\248\\172\\NAKf0\\141\\EM\\207\\250l\\151SG\\155\\&4y[\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\178\\ETB\\200\\232\\152\\234/\\GS\\194\\140~z\\197\\183\\160\\EOT\\220\\147\\DLEwC\\SOHs\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\143\\157s\\202q\\136\\SOH\\148c\\147\\SIu\\151\\162\\182\\&6E\\238\\206\\STX\\238\\167\\249\\214Qz\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\135\\193=\\234\\217\\152\\195\\DC2\\254\\239U\\195\\187t\\138\\191\\138\\129\\206K7nMs\\201\\184}\\150\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\195\\v[C\\188h\\200?\\158D\\243\\218\\212\\222\\223\\244\\&2\\245}dN\\246\\DC1\\212|\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\223\\186\\214\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\157 \\206|\\148\\204!\\158\\214N\\163\\233\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"z\\201_\\139\\178\\&1DaE\\DLE}\\240R,\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"K%\\DC4\\151\\157fd\\190Hn\\149um\\224g\\202n\\195\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\128+!0\\136'\\238\\133\\RS\\237$\\143\\153\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t(\\237\\SIK]\\255pi\\166\\179H\\234\\143\\155)d\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\217\\&9\\ACK?\\153\\154\\CANv4\\240/p\\142\\149\\133\\213\\232\\157C\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\US\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\" \"","tag":"AbiBytesDynamic"},{"contents":"\"\\151C\\229\\ETX\\252p3\\DC4\\155\\a\\130aT\\211\\ETXI\\SYN\\187\\n\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\222\\194Xy\\SUB\\186aR\\ACK\\\"h\\130rKn\\DC2\\246\\NUL\\r#>\\225x\\191\\154z%\\v\\162\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\137\\&2\\ETXE\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\185\\223\\134M?Z\\235\\200E\\247;u$;\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\135\\150\\&5\\240\\155?\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLEU\\226\\254\\244\\201\\SO\\177\\SYN\\245'~\\252\\&4\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"5r\\135\\200=\\219\\184\\172\\244\\237\\t\\165\\DC4K\\208\\212\\203\\180\\233\"","tag":"AbiBytesDynamic"},{"contents":"\" \\138\\230\\128cpps\\208\\239\\174\\GS\\239\\241\\211\\157\\226ZS}Q`\\173Qz\\200h\\\\\\208b\\SOb\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\DEL\\149w\\228\\211\\248\\b\\155T\\EM\\207Ay\\253\\169\\144\\139\\133`\\171g\\246\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\214\\231\\131\\180\\135\\STX\\132\\DC1\\169\\207\\DC4!r\\v%\\DC4f\\254\\134\\141My\\228J\\234,\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\227\\243w\\226\\v\\SOHt+\\248d\\ACK1\\DC1\\191\\&9rG\\SI\\230,\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\158\\134\\a\\235\\205\\226\\200\\240\\196\\ENQ\\239\\DC2t\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\251V\\149\\159\\245\\DC2\\150(\\162\\218\\DC4^\\148\\243\\&7&\\128b\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150s0mY\\182\\181\\178D\\240\\157\\212$\\224\\152\\206<\\202\\252u|p$\\EOTG\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NULy\\SUB\\164<\\180\\160\\170\\rz\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\158VS\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\220&\\159r\\195\\221\\156\\164\\SO\\DC3\\v\\162\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\196\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\153\\171\\131\\229\\187\\SO\\n\\141l\\152.K\\ESC?\\137\\204q \\189\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\215Sl'\\134\\215\\SYN\\SOH\\158\\152\\189\\ETB\\129\\SYN\\233\\221p\\211\\211\\182\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\193\\151\\171\\DC2\\201@;\\210\\SOHg\\140D-@Y\\252\\183_\\187\\151}\\SOH\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\181s\\230Q\\152o\\158\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\b\\128m\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\228\\194\\161F\\182I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\DLE\\205\\254\\221\\207\\231\\DEL\\a\\213\\STX>\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\GS\\252\\CAN[\\243\\b\\214~y\\128\\164\\133\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\b\\254\\&5\\138\\SUB\\243\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\230\\176\\143^\\172\\153\\&2\\234zL\\129\\208-\\ENQ\\250\\241\\249\\&8d\\FS\\183\\185\\231\\SOH\\239\\222\\\",\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\183f\\202\\188}\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"{g\\FS\\142\\185\\232\\244>\\245\\164\\tC\\181\\215\\204#\\161\\191!\\147\\&4\\188<\\194u\\132\\a\\228C2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSZ\\183\\a\\208I?#-\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\211;E$\\234\\ETX\\220%3\\SI\\133_\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176DA\\237e \\166\\&2\\138\\FS2\\184\\185\\188q\\239\\v\\DC1m\\162X\\212\\195\\210\\USe\\163%\\SUB\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\aWpL\\248\\227\\247g86\\243O{\\230)/\\200M\\156`\\DC1\\188\\169\\254\\228i\\r\\217\\214\\215\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\229R\\241\\SOH\\246\\196\\234R\\187\\136Z\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"US\\202\\SYN\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\172\\215\\153\\198i4\\RS\\220F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190Q\\155\\236\\181\\189\\163\\249\\SO%a\\189\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2R%\\\"`\\213\\136\\131B\\253\\237\\210(\\EM\\129\\DC2G\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\230tf\\183R\\GS\\EMj\\217\\&6Ludmw\\174\\RSs&e0N\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\241\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168e\\232\\&8\\231XEa\\ACKOR\\196Rq\\238\\147\\201\\161\\199\\191\\179\\&5rt%\\194_\\251\\235h\"","tag":"AbiBytesDynamic"},{"contents":"\"/Us\\228P*\\r\\232\\255\\153\\134t\\181\\t\\150k\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\171q\\147\\STXiD\\152\\128\\139\\184\\DLE\\232\\217\\143\\149\\154B4s/E\\136N\\183\\156Vp\\172\\203\\SUB\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"e\\131\\DELY\\255c\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\RS\\133\\131\\176\\DC4F\\189~\\137@g\\156n\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\184\\240Y>|\\NAK\\233\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\205',54\\SOH,\\155?\\159#\\218\\NUL~H7\\DC4\\140j\\195\\DEL\\217/\\144\\225\\230\\204'\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\\\\\221\\218\\247\\r\\SYN\\rZ\\153=\\129\\182\\209\\ETBZ\\NAKa\\134\\147\\US\\NAK\\190\\152D~q.K\\179\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\236h\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\149\\192(\\169\\137#\\248\\132l\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\229_\\160y@\\161\\&8d\\ENQ\\133\\239\\181,Y\\139\\222}\\229g\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\143C\\175\\&0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"42385268124993975999341707047381116717614576951922061435670705026997469"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639818"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731856"],"tag":"AbiUInt"},{"contents":[256,"11"],"tag":"AbiUInt"},{"contents":[256,"61785505183325343335934278698279082250169683114006404811723007761445762618614"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639870"],"tag":"AbiUInt"},{"contents":[256,"108596096670094043433378578766300502083787045227246108513982528540890202588842"],"tag":"AbiUInt"},{"contents":[256,"87626074598177170953215243771138644319462192475968398107966518873043650293613"],"tag":"AbiUInt"},{"contents":[256,"27558935996764339799925439798650069349765959436042485067784982534997010486301"],"tag":"AbiUInt"},{"contents":[256,"27558935996764339799925439798650069349765959436042485067784982534997010486301"],"tag":"AbiUInt"},{"contents":[256,"27558935996764339799925439798650069349765959436042485067784982534997010486301"],"tag":"AbiUInt"},{"contents":[256,"27558935996764339799925439798650069349765959436042485067784982534997010486301"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553533"],"tag":"AbiUInt"},{"contents":[256,"120"],"tag":"AbiUInt"},{"contents":[256,"24505570719347881959672156071769305960378200287812709228673021169483851686982"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"25750570098832397112184558557687597383364509186549528701703842822919545217017"],"tag":"AbiUInt"},{"contents":[256,"106298315183818646068070161743650066096142302184321766021193292830666741919564"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"99092837468727380123709168238600511286593005650227551450008288734000145434566"],"tag":"AbiUInt"},{"contents":[256,"74330906866995538165125844953193409402278352850846055784359737799255539390747"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551615"],"tag":"AbiUInt"},{"contents":[256,"35249158912858856198304313429825422089502215694432247253683322761425208157739"],"tag":"AbiUInt"},{"contents":[256,"1542240226"],"tag":"AbiUInt"},{"contents":[256,"997"],"tag":"AbiUInt"},{"contents":[256,"3868205514275619604820981786543095786671423669818216455962796"],"tag":"AbiUInt"},{"contents":[256,"73772027009876211222592530865566396681406188743521926398349013683169312557347"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639439"],"tag":"AbiUInt"},{"contents":[256,"42621958260063263517876371972567011247141694953912257623039490364833148683612"],"tag":"AbiUInt"},{"contents":[256,"178001185255948419876040200957723707371"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000002"],"tag":"AbiUInt"},{"contents":[256,"448311273810839045868537362648499316855915032"],"tag":"AbiUInt"},{"contents":[256,"62850390942136443708920827954376506649296942756628887051104088884070374922805"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747171"],"tag":"AbiUInt"},{"contents":[256,"34258697642834299836766457474932982761071605237778345821763732834115089911829"],"tag":"AbiUInt"},{"contents":[256,"1000"],"tag":"AbiUInt"},{"contents":[256,"74"],"tag":"AbiUInt"},{"contents":[256,"29"],"tag":"AbiUInt"},{"contents":[256,"57"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689599"],"tag":"AbiUInt"},{"contents":[256,"12987842964133510413670193756386055702843169613148672962486187148656941861991"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630936"],"tag":"AbiUInt"},{"contents":[256,"52172460831315947197885441144543661537670475749882542672374163133341201669477"],"tag":"AbiUInt"},{"contents":[256,"4999"],"tag":"AbiUInt"},{"contents":[256,"93365893142730052975769068485762632804342352147593059096915821176747992316472"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"15916836152686393835031376522549080085113433807867162643366041057816710501563"],"tag":"AbiUInt"},{"contents":[256,"33342594436505744837019426371911473050738965843939481268616240447307642600965"],"tag":"AbiUInt"},{"contents":[256,"1893871757420770479530420605763671783288619337378276933807048509391783583225"],"tag":"AbiUInt"},{"contents":[256,"4450053184848642185751200180732574823915137220161475527128845871829657879760"],"tag":"AbiUInt"},{"contents":[256,"105061916140856234254863719640760353404994320836769335614539908705048782400754"],"tag":"AbiUInt"},{"contents":[256,"105061916140856234254863719640760353404994320836769335614539908705048782400754"],"tag":"AbiUInt"},{"contents":[256,"105061916140856234254863719640760353404994320836769335614539908705048782400754"],"tag":"AbiUInt"},{"contents":[256,"105061916140856234254863719640760353404994320836769335614539908705048782400754"],"tag":"AbiUInt"},{"contents":[256,"105061916140856234254863719640760353404994320836769335614539908705048782400754"],"tag":"AbiUInt"},{"contents":[256,"81391473909733574523693815102492704130813117140216337824462671348118240750812"],"tag":"AbiUInt"},{"contents":[256,"30554688791752533324324371065833491854885016817379988340168165342569533291256"],"tag":"AbiUInt"},{"contents":[256,"38037948077331767223838506848416640594461738342771147180084037289097871562193"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428160"],"tag":"AbiUInt"},{"contents":[256,"35285692420674267921026543095751985610415131940840811947068995221447275056953"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222591"],"tag":"AbiUInt"},{"contents":[256,"78545819092260611949810408289604858687988422183047258111998230112216100558886"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858879"],"tag":"AbiUInt"},{"contents":[256,"82761837094036185288510103298482407551105319005899092537618873996764013711201"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747168"],"tag":"AbiUInt"},{"contents":[256,"73023548465315738823619421505751369342326847538229586113656763715556014714788"],"tag":"AbiUInt"},{"contents":[256,"118"],"tag":"AbiUInt"},{"contents":[256,"92752690585891375774889014794877970808827692938089666042010440239843439163122"],"tag":"AbiUInt"},{"contents":[256,"73283500917013798820469161886689818896424840995851984126721465183948107059871"],"tag":"AbiUInt"},{"contents":[256,"4000"],"tag":"AbiUInt"},{"contents":[256,"232"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"61892917070609173493083455190766672697155300233574304092719060268423572312853"],"tag":"AbiUInt"},{"contents":[256,"76738351852400746837051608442439505811150614931811159102545756724689590272316"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639862"],"tag":"AbiUInt"},{"contents":[256,"1527981189"],"tag":"AbiUInt"},{"contents":[256,"30190631606626202342651936175507415731958021489024207245167341814125036237120"],"tag":"AbiUInt"},{"contents":[256,"113560943782397754853882507836413744804195803125671369941973597175825599822053"],"tag":"AbiUInt"},{"contents":[256,"15109452869634493633057308323227715565246831339158264622367784379632118300751"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639929"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639920"],"tag":"AbiUInt"},{"contents":[256,"118"],"tag":"AbiUInt"},{"contents":[256,"46549978989998778669663277326351031541202447894899245278591887786725154726809"],"tag":"AbiUInt"},{"contents":[256,"1003"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639867"],"tag":"AbiUInt"},{"contents":[256,"10646933613241085316917381758215046090671772377652039946790773600237432692264"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007e509","0x00000000000000000000000000000000000000000000000000000000000031f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e702","0x0000000000000000000000000000000000000000000000000000000000004906"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399ca","0x0000000000000000000000000000000000000000000000000000000000000065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"44808103528830611842069655612375645193242813109320175613606590150337930061175"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd36","0x000000000000000000000000000000000000000000000000000000000000270d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7e","0x0000000000000000000000000000000000000000000000000000000000007e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"79"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000050af9","0x000000000000000000000000000000000000000000000000000000000000d8f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34e","0x00000000000000000000000000000000000000000000000000000000000007d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"70345115418178801525316434594462415011878622444607862335566909063250264478416"],"tag":"AbiUInt"},{"contents":[256,"79026784700578928447643649052842955525976425041992864042830144457828247700601"],"tag":"AbiUInt"},{"contents":[256,"52513610597762525880460327183010071759037850782871195301263106563139962515472"],"tag":"AbiUInt"},{"contents":[256,"11226483953201195460154563548370441717543755841110247079338664491087886389290"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000081f7","0x0000000000000000000000000000000000000000000000000000000000007e4a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007cf4e","0x0000000000000000000000000000000000000000000000000000000000008195"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"79228162514264337593543950334"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e10","0x000000000000000000000000000000000000000000000000000000000000377c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628416"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7c0","0x000000000000000000000000000000000000000000000000000000000000001a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"33125240399686669346519102382888198229855247279509256343616768206326924451804"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000064a70","0x000000000000000000000000000000000000000000000000000000000000a294"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f7a","0x0000000000000000000000000000000000000000000000000000000000001392"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035442","0x0000000000000000000000000000000000000000000000000000000000008670"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e684","0x0000000000000000000000000000000000000000000000000000000000000026"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c4","0x0000000000000000000000000000000000000000000000000000000000002700"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065ada","0x0000000000000000000000000000000000000000000000000000000000007e4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]