[{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"68040275936154559840516243596832076126010587314174644136124689166406534580380"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5c","0x0000000000000000000000000000000000000000000000000000000000000b3c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"72193030593731527712104400694116870552260400831533523909252577218520915344086"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000051f03","0x000000000000000000000000000000000000000000000000000000000000c37f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"7"],"tag":"AbiUInt"},{"contents":[8,"30"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e2","0x0000000000000000000000000000000000000000000000000000000000008f3a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0xc4B392897650c72335bA2aa590934C807F3B184a","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":[8,"1"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014c4f","0x0000000000000000000000000000000000000000000000000000000000007664"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004b9a3","0x000000000000000000000000000000000000000000000000000000000000380a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4e","0x0000000000000000000000000000000000000000000000000000000000006e7d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"},{"contents":[256,"32809128156490710162762242380902558780121883641000398944460256342175683056164"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdd","0x0000000000000000000000000000000000000000000000000000000000001398"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"10116536119276849406370416704600354668424727821780289666078709122003607918836"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000020","0x000000000000000000000000000000000000000000000000000000000000d8ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001748f","0x000000000000000000000000000000000000000000000000000000000000a449"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"231"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c82f","0x00000000000000000000000000000000000000000000000000000000000069fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"4778171478119350032"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d9ba","0x0000000000000000000000000000000000000000000000000000000000002b92"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1528762130"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002e845","0x0000000000000000000000000000000000000000000000000000000000006de1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000006d08","0x0000000000000000000000000000000000000000000000000000000000004700"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x8324ADfC37e4Ce6B24a34Ced4A13faadbd59Ca97","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000547b8","0x00000000000000000000000000000000000000000000000000000000000085bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3450a15Dc9cbDD5C0e28cC22474D88AD7e2695A3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0xc4B392897650c72335bA2aa590934C807F3B184a","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\188\\201\\194r\\SO\\231\\221\\140\\244\\US<\\243\\196\\201{I\\161m\\233+\\148\\148\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\220(%\\DC4\\244\\ETX\\EM\\181\\ETX.\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\186\\129m\\178v;\\254\\150\\242\\253\\194\\SUB\\155lA8P\\153\\233M\"","tag":"AbiBytesDynamic"},{"contents":"\"NG\\DEL#^\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243D*Z&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\166\\159\\SYN@.\\231\\188!K\\SOX\\EM\\242\\222p\\200\\145x\\254?\\157\\223\\189t\\173I|J\\220\\211|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213'\\226w\\184\\153\\233i\\166\\148\\216s\\243\\235i}\\250\\208I\\172j`Ye\\201\\f\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"5bww\\215\\129\\253z \\188,\\243\\NAK\\178^&CA\\NAK~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\FS\\252\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\NAK\\RS\\140]H\\203Lqz\\ENQ\\n\\153\\240\\172\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\179\\157\\&9\\245:\\202\\218Xq\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\223\\DC3sB\\251\\187\\204\\215\\&5\\149[\\240_J\\144\\DC4\\NAK\\NAK%\\US\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\239&t\\192jL+\\214\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\SOH\\a\\211\\194\\DC1$\\vQYI~\\213\\170\\205x/\\223\\244\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"y\\248Xv4r\\SOH\\t\\STX3\\161\\186\\253\\&6?\\219\\230z\\187\\200\\CAN\\173\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209%R\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\215\\238\\234:1E\\172\\138\\ETXH8e\\160\\RS\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\179c&\\ESC\\254\\135\\216A\\244Z\\153\\176V:\\221\\&6\\DC4W\\173\\139\\174p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\164qq5m\\253\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\194\\139q\\ACK\\145\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"mh\\224\\184\\246\\160R|1\\142\\208\\141\\153\\209eJ\\SI;d*~&\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\DC1\\131\\&7F\\231\\171\\250i\\130\\221y!~\\181\\129\\t\\234`\\155\\138\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\DC3\\250\\209i}\\187\\146&\\167\\247\\225,\\191\\163\\169\\234\\GSL\\237\\191\\EOT\\SYNs\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\228\\142`\\149\\222[w\\255q\\167\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\160h]O\\188\\211\\DLE\\136C\\186H>\"","tag":"AbiBytesDynamic"},{"contents":"\">\\182\\204\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\165\\161\\187<\\144(\\183\\203\\&7I\\SI|\\226\\EOT\\179\\136\\177\\239\\162\\170\\141\\228.\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\242D\\208\\215t<\\189\\DEL\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\244\\US\\158\\148f\\190\\239bx\\199'\\227\\224\\149\\154~\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\228fu\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\228\\142`\\149\\222[w\\255q\\167\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\160h]O\\188\\211\\DLE\\136C\\186H>\"","tag":"AbiBytesDynamic"},{"contents":"\">\\182\\204\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\165\\161\\187<\\144(\\183\\203\\&7I\\SI|\\226\\EOT\\179\\136\\177\\239\\162\\170\\141\\228.\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\242D\\208\\215t<\\189\\DEL\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\244\\US\\158\\148f\\190\\239bx\\199'\\227\\224\\149\\154~\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\228fu\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\228\\142`\\149\\222[w\\255q\\167\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\160h]O\\188\\211\\DLE\\136C\\186H>\"","tag":"AbiBytesDynamic"},{"contents":"\">\\182\\204\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\165\\161\\187<\\144(\\183\\203\\&7I\\SI|\\226\\EOT\\179\\136\\177\\239\\162\\170\\141\\228.\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\242D\\208\\215t<\\189\\DEL\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\244\\US\\158\\148f\\190\\239bx\\199'\\227\\224\\149\\154~\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\228fu\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\228\\142`\\149\\222[w\\255q\\167\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\160h]O\\188\\211\\DLE\\136C\\186H>\"","tag":"AbiBytesDynamic"},{"contents":"\">\\182\\204\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\165\\161\\187<\\144(\\183\\203\\&7I\\SI|\\226\\EOT\\179\\136\\177\\239\\162\\170\\141\\228.\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\242D\\208\\215t<\\189\\DEL\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\244\\US\\158\\148f\\190\\239bx\\199'\\227\\224\\149\\154~\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\228fu\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\228\\142`\\149\\222[w\\255q\\167\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\160h]O\\188\\211\\DLE\\136C\\186H>\"","tag":"AbiBytesDynamic"},{"contents":"\">\\182\\204\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\165\\161\\187<\\144(\\183\\203\\&7I\\SI|\\226\\EOT\\179\\136\\177\\239\\162\\170\\141\\228.\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\242D\\208\\215t<\\189\\DEL\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\244\\US\\158\\148f\\190\\239bx\\199'\\227\\224\\149\\154~\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\228fu\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\228\\142`\\149\\222[w\\255q\\167\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\160h]O\\188\\211\\DLE\\136C\\186H>\"","tag":"AbiBytesDynamic"},{"contents":"\">\\182\\204\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\165\\161\\187<\\144(\\183\\203\\&7I\\SI|\\226\\EOT\\179\\136\\177\\239\\162\\170\\141\\228.\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\242D\\208\\215t<\\189\\DEL\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\244\\US\\158\\148f\\190\\239bx\\199'\\227\\224\\149\\154~\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\228fu\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\&2\\170\\NAK\\225\\212%LD+\\253%\\t\\155S\\DEL\\209q\\216b\\181{\\t\\245\\ETBI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS-\\152C7\\235\\214\\204\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\145_\\188Ut\\SOH\\SI]\\243:<\\191\\214\\186+\\ACK-=\\188`\\SI\\173\\236\\132\\214\\171\\175'\\ETB\\DC4\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\USV\\233B\\v\\209\\151\\ETX\\136\\216\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\" \\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148 \\170\\131M\\193\\134\\167MP\\186\\229\\NAKqH|KO\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"_q\\r\\172Pc\\190\\218J\\ACK\\SOH\\142\\167\\ETB\\177\\r\\251\\DLE\\138\\139}\\DC4\\234\\189G\\\"\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\ESC\\217\\254.\\251hL\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\198\\nF\\205\\230\\139\\254\\237\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"B \\156c\\228N\\165*\\NAK\\138=\\128\\&7\\176\\205F\\140\\251\\201\\rjr[\\\\\\248\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"e?B'\\191\\253\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\147zX\\FS\\200\\163,\\242Q\\ENQ\\240\\226\\248\\tn\\EM.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\170L\\DC1\\200\\220\\ETB\\132\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\164w2\\195,Q\\188DR\\139[\\147\\166/\\210\\NAK\\227\\236x\\139\\139\\142\\SI\\r\\GS\\200\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234+\\\\^\\212\\160\\215\\165EI.\\217f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\t\\SUB\\174\\&4\\244\\245\\239u\\n'\\237\\DC3\\247\\\"\\176\\\"\\SI/\\225\\152\\180w{T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\223|`5\\EOT\\196k\\SI9\\239$\\148\\132\\229\\157.\\211m\\141\\168R[\\153\\247a\\208\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\226\\213\\ENQ\\181U\\193%\\246_\\130\\\\\\233\\205\\165x]\\243G\\DC3_\\216\\207\\179\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155ad\\219\\&9G\\207W\\131\\165a\\130\\174\\255\\207'(\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\210\\&0\\168\\253\\213ud\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"O.+6\\229\\204\\SI?S\\163\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\b\\223\\a\\190\\218*O\\134J\\197@\\a\\195\\158\\246\\\\\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\152\\EM\\164\\205\\225J\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\DC4I\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\CANX-/J\\180\\213\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\243\\190h8\\188\\193\\197~\\190\\180%d[\\143\\168Q&lFK\\223{\\228<\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206<\\187\\245\\141\\135UxZ\\ETX\\181\\&3\\233\\165-ML\\SUB\\191\\131\\235\\SIm\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\DLE\\SUBf\\182E\\222IdB\\203\\171G\\165?G\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"w#-\\170\\146\\tv9\\184^aB|\\189Ir\\181\\186\\163\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\r\\191\\142\\185\\243CeC\\176,p\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"eR$\\215\\195\\b\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\140\\165S\\240\\151\\DEL\\172\\201\\185\\&8\\225\\ESC\\160\\223\\233\\235$0\\DC4\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\166@h\\NULp\\162^\\235\\133\\165\\171\\NUL\\SYN\\139.\\139YQ\\136\\229\\195\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\171TBU\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\n\\208\\181\\158J\\STX\\ETBm\\198\\161\\158\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\211\\226\\244}EP*\\238nLK\\152\\223\\ENQ\\163r\\ESC\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\184\\201\\178\\225\\198S\\SI\\152i.\\156F\\132\\SI\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\150\\&9P\\159\\151\\147\\232\\&3>\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\232\\219\\249\\245%\\214\\132#\\191l\\v\\216=\\153\\a\\164\\186O\\167\\248c\\172pn\\253\\175\\179\\251oJ\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\137v\\245n \\194\\203\\239F\\253s\\152\\223\\ETB\\176Wz\\235\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\219\\226\\t\\135B\\246U;\\143\\FS[\\163:J\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\241\\168i\\207\\RS\\138c\\DC2\\177\\207\\158?\\b\\166\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\197\\EOTt\\239\\154\\239\\246\\156\\143\\228w\\EMN\\SOH\\182B4L\\172\\US0\\129\\183\\193\\251B\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241]\\134\\SYNw\\amn\\168\\202a\\EM\\225\\128\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\NUL\\149\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\EOTT\\188\\&4v\\171\\202\\147\\201\\133iB\\220\\154\\147\\\"\\233\\RS\\FSU\\174\\223\\147\\247\\185\\163\\153\\238ue\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144I\\138U\\172\\179\\154\\CAN|\\\\M\\194\\255\\145,\\196<\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"A\\159\\STX\\199\\NAKl\\NAK\\231\\248\\152d\\157\\ETX\\STX\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\234\\DC4C\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\\"\\165k\\252>\\143\\182u\\DC416\\205G\\186\\216\\145\\163\\DC2\\US\\169$5Bm\\163\\SUB\\155\\206\\151T\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"<(j\\144Z\\158F\\243\\&4\\210\\153\\DELQmvG\\216%o\\160\\151\\141\\DC4\\145n\\SI\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200WO\\227\\198+\\132J\\226\\&3\\173i\\\"\\197\\216\\174c\\180)m\\145\\239\\STX\\228\\SI\\US$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\229<\\GS_\\142\\213z\\192\\&1o5T\\141\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\f?U\\224\\192\\211M\\DC1\\142\\195\\136\\160mdp3\\200\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158<\\243\\140\\159 S\\133i8\\156U\\150p^\\236\\205\\167|^v\\138\\187\\252>!\\DLEh\\151\\217\\&9j\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135m\\ETX*5\\219\\193J\\GSx]eO\\184\\DEL\\DC4y_\\183F\\208\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\SIW\\254\\155\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\208\\223mo\\SO\\224wF\\STX[\\150\\238\\a\\NAK\\148\\240\\157Z\\175&,\\220\\251\\228\\247\\224*G\\\"r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175Q\\129K\\239\\188\\201+C\\r\\198\\152\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\FS\\131\\136\\RS\\234\\251\\DC3\\245K* \\NAK\\174\\229\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\234\\179\\237\\&6\\242\\DC4\\214\\ETXOA\\247o\\ACK\\170\\198ka\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\239$\\204@~\\234`dp\\213>\\154M'\\193\\171\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SIz\\149\\173M\\147?z\"","tag":"AbiBytesDynamic"},{"contents":"\"{KG'\\231sd_(\\221\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\184e\\193\\203\\155\\191\\&6\\215\\135\\245\\171\\242\\255-M{\\187\\232zA\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\205dU\\225%\\SUB\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\190\\136\\204\\FS\\216I%\\174\\215\\242<\\DC1\\DLE*\\207\\254\\&7[q\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\179\\225N#\\219y\\n\\242\\163\\204\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"Us\\222\\131Z\\225W\\234\\r\\EOT#\\178\\190N~:f\\255x\\147\\&1}\\213\\&8\\236\\247\\173\\147\\166\\v\\204\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\143\\DELZ\\252\\&4\\235\\239\\225\\254\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\238[\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\154\\149!\\189\\214\\230L^w\\173\\b\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254X\\214\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166S\\170ap3\\184\\ENQo\\192l\\239\\248`\\ETX\\150\\211'\\\\&\\USC,\\234\\144\\147\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\199R\\FS{kt(\\190L\\191\\229)Kn\\FS\\220\\SYNw\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\134\\236\\181\\247g\\203\\149\\217\\207\\236D\\\\J\"","tag":"AbiBytesDynamic"},{"contents":"\"~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\&7\\148\\&7V$\\\\\\231\\151\\US\\v\\161\\255\\DC3\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1530695325"],"tag":"AbiUInt"},{"contents":[256,"12543509156167826722723579767855044823464275148894030414847307971779268852138"],"tag":"AbiUInt"},{"contents":[256,"1528432156"],"tag":"AbiUInt"},{"contents":[256,"96182493483710831110469857749527209837059146990630556868455126464378273181215"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"51726217657785295506076124329889036622010718456679356392626501625306212370686"],"tag":"AbiUInt"},{"contents":[256,"25531787429206832825340328"],"tag":"AbiUInt"},{"contents":[256,"71282617624577992290688135795521253564245844812946039432095189691138516068629"],"tag":"AbiUInt"},{"contents":[256,"1534998099"],"tag":"AbiUInt"},{"contents":[256,"111566886288353154136679052404225806451202864943885144100125483158578156740015"],"tag":"AbiUInt"},{"contents":[256,"41979830137477839101315855864307477021342216719411186361302346111601570003590"],"tag":"AbiUInt"},{"contents":[256,"27434134060497595878711265437975102407064927720204249802408780518751745727282"],"tag":"AbiUInt"},{"contents":[256,"452"],"tag":"AbiUInt"},{"contents":[256,"75147523991840374051128479093653616608295347347149130373239056514687953425194"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"2581434282"],"tag":"AbiUInt"},{"contents":[256,"14898075218047471479616528007635980493443278639833624383570575785321382231404"],"tag":"AbiUInt"},{"contents":[256,"22400886262580177097905820206194609047925620472833073154719915008211847825996"],"tag":"AbiUInt"},{"contents":[256,"15782656782229814769999958861688594838954971450550369166038010717158973367060"],"tag":"AbiUInt"},{"contents":[256,"102141379843325221972356659778883374825771789736066436683522708690844248128738"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266895"],"tag":"AbiUInt"},{"contents":[256,"18668021440339522448055388494"],"tag":"AbiUInt"},{"contents":[256,"9921723981596010738642325892766049149"],"tag":"AbiUInt"},{"contents":[256,"34058282097127549191546071724761603595001827174874713165159982884603002377241"],"tag":"AbiUInt"},{"contents":[256,"1004"],"tag":"AbiUInt"},{"contents":[256,"3745249590536389890154775320282289877794025576901363012357"],"tag":"AbiUInt"},{"contents":[256,"70947507477495894550294886063771916280533157761027074786219518220665957783253"],"tag":"AbiUInt"},{"contents":[256,"1528133277"],"tag":"AbiUInt"},{"contents":[256,"4998"],"tag":"AbiUInt"},{"contents":[256,"1530050850"],"tag":"AbiUInt"},{"contents":[256,"4157906450131900943223698646880494182751809599064426321867878903195672222446"],"tag":"AbiUInt"},{"contents":[256,"1532868533"],"tag":"AbiUInt"},{"contents":[256,"111348058791939879985878932018392543893128876739058959469158531753403159941697"],"tag":"AbiUInt"},{"contents":[256,"1526696597"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908085"],"tag":"AbiUInt"},{"contents":[256,"80098286048841220700166089"],"tag":"AbiUInt"},{"contents":[256,"37015720553824345007236747451125827132958659696774001988717271120979424050947"],"tag":"AbiUInt"},{"contents":[256,"50789832947711252"],"tag":"AbiUInt"},{"contents":[256,"50789832947711252"],"tag":"AbiUInt"},{"contents":[256,"50789832947711252"],"tag":"AbiUInt"},{"contents":[256,"50789832947711252"],"tag":"AbiUInt"},{"contents":[256,"50789832947711252"],"tag":"AbiUInt"},{"contents":[256,"50789832947711252"],"tag":"AbiUInt"},{"contents":[256,"50789832947711252"],"tag":"AbiUInt"},{"contents":[256,"1532360205"],"tag":"AbiUInt"},{"contents":[256,"3983478"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858882"],"tag":"AbiUInt"},{"contents":[256,"1535433341"],"tag":"AbiUInt"},{"contents":[256,"1528503732"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858881"],"tag":"AbiUInt"},{"contents":[256,"103267088892199069757182167051194846912341529805351241079913727595248281003073"],"tag":"AbiUInt"},{"contents":[256,"13853157461794012414203223315837050365600952082298469283810630257548250244884"],"tag":"AbiUInt"},{"contents":[256,"88016893563082814327849155461536640660371883631744201480056474184230639495691"],"tag":"AbiUInt"},{"contents":[256,"66542605459458908431225862666262887196238635178513877967040283067079165591960"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639863"],"tag":"AbiUInt"},{"contents":[256,"66822174719612544537711090024054401971549273451223817547303822046936058066594"],"tag":"AbiUInt"},{"contents":[256,"66810076323284118483393998594934646201269921610969811890438763138934730186173"],"tag":"AbiUInt"},{"contents":[256,"68692452058368264455099199535832283409149049784781837056613792699354797828202"],"tag":"AbiUInt"},{"contents":[256,"45405937960762749579315268077912210723092514597996217614925366726751727182468"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"47614867333704256307227759073044526409773778856350858534853548655133508742697"],"tag":"AbiUInt"},{"contents":[256,"101335348296707877992126552911416371897060446013690298235125755292944988986543"],"tag":"AbiUInt"},{"contents":[256,"1533296060"],"tag":"AbiUInt"},{"contents":[256,"15026478829329201753663245677489407981164913363514186632551018204617487230548"],"tag":"AbiUInt"},{"contents":[256,"15026478829329201753663245677489407981164913363514186632551018204617487230548"],"tag":"AbiUInt"},{"contents":[256,"15026478829329201753663245677489407981164913363514186632551018204617487230548"],"tag":"AbiUInt"},{"contents":[256,"15026478829329201753663245677489407981164913363514186632551018204617487230548"],"tag":"AbiUInt"},{"contents":[256,"15026478829329201753663245677489407981164913363514186632551018204617487230548"],"tag":"AbiUInt"},{"contents":[256,"15026478829329201753663245677489407981164913363514186632551018204617487230548"],"tag":"AbiUInt"},{"contents":[256,"15026478829329201753663245677489407981164913363514186632551018204617487230548"],"tag":"AbiUInt"},{"contents":[256,"15026478829329201753663245677489407981164913363514186632551018204617487230548"],"tag":"AbiUInt"},{"contents":[256,"15026478829329201753663245677489407981164913363514186632551018204617487230548"],"tag":"AbiUInt"},{"contents":[256,"15026478829329201753663245677489407981164913363514186632551018204617487230548"],"tag":"AbiUInt"},{"contents":[256,"15026478829329201753663245677489407981164913363514186632551018204617487230548"],"tag":"AbiUInt"},{"contents":[256,"15026478829329201753663245677489407981164913363514186632551018204617487230548"],"tag":"AbiUInt"},{"contents":[256,"15026478829329201753663245677489407981164913363514186632551018204617487230548"],"tag":"AbiUInt"},{"contents":[256,"15026478829329201753663245677489407981164913363514186632551018204617487230548"],"tag":"AbiUInt"},{"contents":[256,"15026478829329201753663245677489407981164913363514186632551018204617487230548"],"tag":"AbiUInt"},{"contents":[256,"15026478829329201753663245677489407981164913363514186632551018204617487230548"],"tag":"AbiUInt"},{"contents":[256,"100516283746510810178957885072717672156125356209100293991107653225187219355307"],"tag":"AbiUInt"},{"contents":[256,"93892404742859909605685862"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"101164957449303419259243757551647983854544305047558080453917210138838429461667"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"562"],"tag":"AbiUInt"},{"contents":[256,"90615321247171024891397127634794676085564712923215620110204188784444713663652"],"tag":"AbiUInt"},{"contents":[256,"906"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628417"],"tag":"AbiUInt"},{"contents":[256,"28681546490290603288389724623224934724034197411452181391910835927735553273491"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639830"],"tag":"AbiUInt"},{"contents":[256,"1533544763"],"tag":"AbiUInt"},{"contents":[256,"113335802500774476070028400541766802746483746922447920888391946964083770374740"],"tag":"AbiUInt"},{"contents":[256,"1531980488"],"tag":"AbiUInt"},{"contents":[256,"87818343769108997997108367977372642099979997514183430178982518550320310698725"],"tag":"AbiUInt"},{"contents":[256,"14181310832"],"tag":"AbiUInt"},{"contents":[256,"55640566874763388281468610245402077538858125620830687442260006359978909824240"],"tag":"AbiUInt"},{"contents":[256,"34247728668364337215585648761497787485351363588795126667840020967423644577344"],"tag":"AbiUInt"},{"contents":[256,"1532906281"],"tag":"AbiUInt"},{"contents":[256,"56774170618721720552155945341786585817827212488895108472461333783219751361715"],"tag":"AbiUInt"},{"contents":[256,"4103605108542122404947755808316298923568885609548266587456387524756"],"tag":"AbiUInt"},{"contents":[256,"6814521659249526387757835373057197586653050371107516069485684828938574640225"],"tag":"AbiUInt"},{"contents":[256,"1524785993"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637936"],"tag":"AbiUInt"},{"contents":[256,"62596188396583683415941297696350482319366398378618167653506955383814973511304"],"tag":"AbiUInt"},{"contents":[256,"1529351096"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"29023686268091675935150262933670583122834232320576101756800638145023276363217"],"tag":"AbiUInt"},{"contents":[256,"14405733745093001989969786611954431501070400957772673327142754692287773988516"],"tag":"AbiUInt"},{"contents":[256,"95347903893729938463474432505985577203106207040968447562802608606013755544923"],"tag":"AbiUInt"},{"contents":[256,"48959323489115038393818759841242526508447913004601408492900498611450482966642"],"tag":"AbiUInt"},{"contents":[256,"14056958043156483247048201965417458913877495123374076577990353347172431687392"],"tag":"AbiUInt"},{"contents":[256,"57237188298128445458016658562469353739980520427181052406358510528373906256426"],"tag":"AbiUInt"},{"contents":[256,"28180699777096417206935078373438509662798306350323355063054314413072009936294"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"55663066873179804444914297042614696335204366625928366340112052124330884608039"],"tag":"AbiUInt"},{"contents":[256,"19331154161847852085408990736772109200697832472723499183438912955965868459231"],"tag":"AbiUInt"},{"contents":[256,"19571418713158809113108811930192723086063180263442780578585994409449656903385"],"tag":"AbiUInt"},{"contents":[256,"340282366920938463463374607431768211453"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"110184741435027366338956802702721636769455286211338051076639845780751725779823"],"tag":"AbiUInt"},{"contents":[256,"46558072217126778790418610640708073803387309616569558612118788882639647952603"],"tag":"AbiUInt"},{"contents":[256,"11956679258426851907547778344511706618605152395844826328968638134391852192452"],"tag":"AbiUInt"},{"contents":[256,"12174117559198403638083793995448008543337645019856191888758038739400837093879"],"tag":"AbiUInt"},{"contents":[256,"1533964019"],"tag":"AbiUInt"},{"contents":[256,"1533656660"],"tag":"AbiUInt"},{"contents":[256,"100914669756089958444916572621767142948901558685287762999614070855195617388838"],"tag":"AbiUInt"},{"contents":[256,"73203904327276178483580090551066918645731611764944033121940921649538058236270"],"tag":"AbiUInt"},{"contents":[256,"5"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"108012185521928591821357213700311934537100230122797143925563529120710387663898"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266895"],"tag":"AbiUInt"},{"contents":[256,"37530525560192552529094531978201508340835380618530265503562888509593572852671"],"tag":"AbiUInt"},{"contents":[256,"49365292104181355650761619576951988789143330757333573041969495246788835817735"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635935"],"tag":"AbiUInt"},{"contents":[256,"68063853607790470274681995483149337876739848111654906047990424824265655267261"],"tag":"AbiUInt"},{"contents":[256,"61530071283109193094253997677569490499687595490537907817728815987617079693618"],"tag":"AbiUInt"},{"contents":[256,"72933822245231808895597820380208520811379278507402253879482575425847991381295"],"tag":"AbiUInt"},{"contents":[256,"104529717231984128400484073415924766172548212029516473527732571604645453326202"],"tag":"AbiUInt"},{"contents":[256,"1539170852"],"tag":"AbiUInt"},{"contents":[256,"1923806798173026657540281072339235733429813118048121055505051944446707244081"],"tag":"AbiUInt"},{"contents":[256,"64118203699338131981171772653821099263441199482985478768176900448497538425746"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639925"],"tag":"AbiUInt"},{"contents":[256,"1531099145"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000108dd","0x0000000000000000000000000000000000000000000000000000000000006a28"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5f","0x0000000000000000000000000000000000000000000000000000000000000bcd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000004d31f21570cc8b520"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005e","0x000000000000000000000000000000000000000000000000000000000000ea4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea49","0x000000000000000000000000000000000000000000000000000000000000b491"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0xEd0c7986cB7a7a1eED89B520d604B796D9101466","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001c7","0x000000000000000000000000000000000000000000000000000000000000133f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639801"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232c","0x000000000000000000000000000000000000000000000000000000000000137a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"66460205518135818613576860982614703537062984788361689400233786420272214017964"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045473","0x0000000000000000000000000000000000000000000000000000000000001370"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"1533656660"],"tag":"AbiUInt"},{"contents":[256,"38706212190062973664635793449914146366631255678200190373865651697180342566003"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000d87e","0x0000000000000000000000000000000000000000000000000000000000000460"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"9153438079657259144024924794632348381799022115491986675014628252767345494517"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000020e","0x0000000000000000000000000000000000000000000000000000000000000042"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"42812407424558305171010584315121935224966135302482827995290929103084964596368"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000eb","0x0000000000000000000000000000000000000000000000000000000000006158"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"1528016933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a2d2","0x00000000000000000000000000000000000000000000000000000000000006c6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"77766342376623652032846849487295893132110372194670846533758915299588932472468"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001b","0x000000000000000000000000000000000000000000000000000000000000619a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"61679636475629441958223893331377699352103241313413794714937207239816702063469"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000048","0x0000000000000000000000000000000000000000000000000000000000007644"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000340ca","0x00000000000000000000000000000000000000000000000000000000000091ec"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639908"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead1","0x00000000000000000000000000000000000000000000000000000000000044ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":[256,"764856893722624699054481460777028431335027721755407735331350103162897237071"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000205c3","0x0000000000000000000000000000000000000000000000000000000000001ab9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"254"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa3","0x000000000000000000000000000000000000000000000000000000000000b516"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000047031","0x0000000000000000000000000000000000000000000000000000000000003cf5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"9329748971074488749162675528070934711944815622990142683069062568862696525735"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000004710","0x0000000000000000000000000000000000000000000000000000000000009d8d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042ee5","0x0000000000000000000000000000000000000000000000000000000000007427"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"526"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001af","0x000000000000000000000000000000000000000000000000000000000000b708"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"37"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061708","0x000000000000000000000000000000000000000000000000000000000000010d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"249"],"tag":"AbiUInt"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"16524542620372876760771445195144209175281969514962850042366180060402967341243"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000524f","0x0000000000000000000000000000000000000000000000000000000000003968"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x1922902ff94861bc5538704CCB7b3930320d4474","tag":"AbiAddress"},{"contents":[256,"1531100499"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000090725","0x0000000000000000000000000000000000000000000000000000000000001c7b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"1527822701"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007e7","0x0000000000000000000000000000000000000000000000000000000000007e50"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000088b50","0x0000000000000000000000000000000000000000000000000000000000001c9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"970274196381252527169029299572749747474235848144599290874440348271367926845"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f8ad","0x0000000000000000000000000000000000000000000000000000000000009d39"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"41423939312896657854772075074774403163863797963763993991848403798811166201501"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092206","0x000000000000000000000000000000000000000000000000000000000000bb1d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037b35","0x0000000000000000000000000000000000000000000000000000000000009ed0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81f","0x0000000000000000000000000000000000000000000000000000000000008ad9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"80098286048841220700166089"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075c54","0x0000000000000000000000000000000000000000000000000000000000002147"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"73171571444218260126837170096172623718931208590043771816717764194942436940871"],"tag":"AbiUInt"},{"contents":[256,"1531052253"],"tag":"AbiUInt"},{"contents":[256,"218"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f113","0x0000000000000000000000000000000000000000000000000000000000003a1a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"16548434397877133118185420605038099166670797303921751445782496588619994311287"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000086f75","0x0000000000000000000000000000000000000000000000000000000000009891"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002bd79","0x00000000000000000000000000000000000000000000000000000000000080f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"1530190794"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000025555","0x0000000000000000000000000000000000000000000000000000000000001383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"95"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c5","0x000000000000000000000000000000000000000000000000000000000000963e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"68796816643732583227866453426789277276829164083574276756536567914767046114559"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0f","0x0000000000000000000000000000000000000000000000000000000000000620"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"[\\STX\\192\\238!\\232[\\198\\145'\\176\\172\\204\\248\\&3<\\209\\ACK<\\ENQ\\246\\211c8v\\131U\\157\\&8&v\\a\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000108dd","0x0000000000000000000000000000000000000000000000000000000000007b1c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"89837612545796398717365506774122588121216436779411425927568456367284152385242"],"tag":"AbiUInt"},{"contents":[256,"46619206880235791428418228053102159765225189239436169874794323295650448158745"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043e7c","0x0000000000000000000000000000000000000000000000000000000000006ad1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":[256,"36614686209698844958061090182484637152976394453139563197510672917021007782055"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba7","0x0000000000000000000000000000000000000000000000000000000000000043"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"3954486710581287718050656634254219601910730738673106068496311532359222180694"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef48","0x000000000000000000000000000000000000000000000000000000000000cb2f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"3249479797978183514080913709428392472512578831036207115169527737136201854193"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59c","0x0000000000000000000000000000000000000000000000000000000000003649"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1313373043"],"tag":"AbiUInt"},{"contents":[256,"1526612679"],"tag":"AbiUInt"},{"contents":[256,"5570166182957996525373916882953573047386411845041439285507482168581218616133"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fb48","0x0000000000000000000000000000000000000000000000000000000000003f43"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"2306679206278148348165074774740873358265725072526025255462801461649380233493"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000206b1","0x000000000000000000000000000000000000000000000000000000000000294d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5d","0x0000000000000000000000000000000000000000000000000000000000008194"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"59885052184180006913139763134354448606397546523890987147012757477800217739543"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004384d","0x000000000000000000000000000000000000000000000000000000000000004f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"26443997067890273331099722991366227373624358196108177825060285898531218305793"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000002da","0x0000000000000000000000000000000000000000000000000000000000000040"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":[256,"118905342935126304600258195771392236218"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639937"],"tag":"AbiUInt"},{"contents":[256,"115074091615555272875267828630306373072788904170331052225756310261012860439361"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035f94","0x0000000000000000000000000000000000000000000000000000000000007d64"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001772c","0x000000000000000000000000000000000000000000000000000000000000449b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000066","0x0000000000000000000000000000000000000000000000000000000000000129"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000003ea3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639866"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"122"],"tag":"AbiUInt"},{"contents":[8,"30"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000715d2","0x00000000000000000000000000000000000000000000000000000000000070ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"1527944875"],"tag":"AbiUInt"},{"contents":[256,"18436599823336728567035333467162050431023125919782320327935557060229656204401"],"tag":"AbiUInt"},{"contents":[256,"63596141410345378670250267947698170997768417055242953278083163370617264606599"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007186c","0x00000000000000000000000000000000000000000000000000000000000022cc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639872"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000060579","0x000000000000000000000000000000000000000000000000000000000000523f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ff","0x0000000000000000000000000000000000000000000000000000000000000bf7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"2"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008345","0x0000000000000000000000000000000000000000000000000000000000001021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"1078"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0eb","0x0000000000000000000000000000000000000000000000000000000000005a36"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb49","0x00000000000000000000000000000000000000000000000000000000000001f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0e","0x00000000000000000000000000000000000000000000000000000000000001fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1531637844"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2c","0x000000000000000000000000000000000000000000000000000000000000529e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd33","0x000000000000000000000000000000000000000000000000000000000000cede"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1530506124"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007dc8e","0x0000000000000000000000000000000000000000000000000000000000001370"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"102"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ad21","0x000000000000000000000000000000000000000000000000000000000000b614"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002105a","0x000000000000000000000000000000000000000000000000000000000000000e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"78805975976773961701026067"],"tag":"AbiUInt"},{"contents":[256,"2062176502639836683090899262787223161993375151209342333039425099233520588571"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1532343279"],"tag":"AbiUInt"},{"contents":[256,"1526426165"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000070004","0x0000000000000000000000000000000000000000000000000000000000004825"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"68470796844540035460725260131240283459023370665496445957189176593848397400844"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f19","0x0000000000000000000000000000000000000000000000000000000000001dbf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000385","0x000000000000000000000000000000000000000000000000000000000000a271"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"1529295351"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ed3b","0x0000000000000000000000000000000000000000000000000000000000000721"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"1527360600"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000025","0x0000000000000000000000000000000000000000000000000000000000003e19"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002208e","0x0000000000000000000000000000000000000000000000000000000000001428"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"8643121096053515532602808117923973972172899916298722280049339665435189602719"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002714","0x0000000000000000000000000000000000000000000000000000000000007d7c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x1a6076058a93937E7fe5236f6F10d35Ab001A5ee","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"76"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063fef","0x0000000000000000000000000000000000000000000000000000000000005bb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"48497077842245876770500398384985155104954295223297825469575234633550641382201"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e701","0x000000000000000000000000000000000000000000000000000000000000a867"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f8fe","0x00000000000000000000000000000000000000000000000000000000000051c6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000087fea","0x00000000000000000000000000000000000000000000000000000000000031ef"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfb","0x00000000000000000000000000000000000000000000000000000000000015e8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d09e","0x0000000000000000000000000000000000000000000000000000000000009fb7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f6ff","0x0000000000000000000000000000000000000000000000000000000000008b83"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000019976","0x000000000000000000000000000000000000000000000000000000000000b212"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":[256,"33116899616880396725907973993548137930393275076442574183718532879446565397247"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa3","0x0000000000000000000000000000000000000000000000000000000000003b49"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"61"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea48","0x000000000000000000000000000000000000000000000000000000000000a71e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"1527360600"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000400e8","0x00000000000000000000000000000000000000000000000000000000000049b9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setFulfilledDifference",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006df0e","0x0000000000000000000000000000000000000000000000000000000000004162"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"99999999999999999999999998"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000059a7b","0x0000000000000000000000000000000000000000000000000000000000000047"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000704fb","0x00000000000000000000000000000000000000000000000000000000000000c5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]