[{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a2ce","0x00000000000000000000000000000000000000000000000000000000000095ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035139"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"103"],"tag":"AbiUInt"},{"contents":[256,"12774744724"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003256a","0x0000000000000000000000000000000000000000000000000000000000000014"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc11","0x000000000000000000000000000000000000000000000000000000000000c8d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fa33","0x000000000000000000000000000000000000000000000000000000000000a297"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"31822879079981519895392905998817906680630002040617837753168968792943157835225"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a518","0x0000000000000000000000000000000000000000000000000000000000000400"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fa33","0x000000000000000000000000000000000000000000000000000000000000001a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015181","0x0000000000000000000000000000000000000000000000000000000000000007"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"29674015225708683190158584855624275684889566751701158000151313373705701126891"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002712","0x000000000000000000000000000000000000000000000000000000000000b2fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892771"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75f","0x00000000000000000000000000000000000000000000000000000000000001f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb25","0x000000000000000000000000000000000000000000000000000000000000d8cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"63580720103015757474642409627681629428330778784953155860891530046788933127245"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000050","0x000000000000000000000000000000000000000000000000000000000000614a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000031dd9","0x0000000000000000000000000000000000000000000000000000000000001475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062337"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffd","0x0000000000000000000000000000000000000000000000000000000000002e32"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"13"],"tag":"AbiUInt"},{"contents":[8,"25"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001389","0x000000000000000000000000000000000000000000000000000000000000b2fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f467","0x000000000000000000000000000000000000000000000000000000000000134b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"82"],"tag":"AbiUInt"},{"contents":[256,"53291033050707487721693834137580096091901582820132939709858911943718514494069"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001051","0x000000000000000000000000000000000000000000000000000000000000e8e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c5","0x0000000000000000000000000000000000000000000000000000000000000fb5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"62419537264494449512546654552117178740691649071481712904009492434410022694454"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639873"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf2","0x0000000000000000000000000000000000000000000000000000000000007e4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"1011"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b0c1","0x0000000000000000000000000000000000000000000000000000000000000053"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x10dFde0637E1daCDB06ed9B8dAa6F324Da0DF2fA","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDEC9f3Dcc5158854Ef368E0B842F9e2cA8c990DB","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"O\\248\\209\\SUB p\\221\\158\\152Qq\\231\\&5\\141Xf\\SOH\\FS\\160\\138\\248U\\192\\n\\160\\203\\184\\204\\240F\\237\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187s\\214HN\\159\\209\\252Q\\209&\\188y\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\167\\227>\\152,\\128\\128\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\STXJ$\\219\\222>\\fN\\225HX\\157-\\213\\178\\182\\DC2i\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177Y5$\\175\\209\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\\"\\238@)T.\\ETB\\DC1\\187\\174c5\\161\\163\\ETBl\\SYN!\\216\\DC4\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\160D@\"","tag":"AbiBytesDynamic"},{"contents":"\",W\\133\\201\\152\\US\\202\\155\\216\\206a\\159M\\250\\158\\ENQ\\155\\NAK\\238\\141n\\217nf\\SOH\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\186\\135i\\USj\\226\\147\\204\\US4\\SOa5\\227\\ESC\\131\\r\\145\\212\\213z\\194\\174H\\183\\208\\&0\\239\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"@a3+\\144\\157\\209\\239\\220\\&6\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167T@\\154\\&0\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\189S\\165\\222\\163\\200XJ\\219\\217\\223T\\176\\207f\"","tag":"AbiBytesDynamic"},{"contents":"\"[#Owo\\233\\154\\151!\\207\\220\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\232\\239\\224\\167\\214\\148\\253iqG$\\244\\NUL\\139fen\\251\\153QR\\157xb\\245Z\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\254\\147\\231>\\193\\241\\144\\152\\242\\172\\192\\252\\131)J1\\194@b\\167.\\RS\\181\\253\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"[%,\\SYNQ\\DLE\\212U}4f\\219z\\233\\168\\176\\DC4\\132\\160- _\\214\\v\\ACK\\229\\163\\130nc\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\211m\\RS'\\216\\250S\\ENQ\\205\\144\\vC/\\140\\148\\SI\\181\\207\\141\\236\\RSs(\\173\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"iO\\141R\\217\\186\\158@ !\\208\\244\\129\\167\\175\\235\\177\\226g=a\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\178\\&2\\243\\&4\\STX]9=\\ETB\\237`rw\\r\\141>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209b\\190)\\172\\149\\200f\\217\\189Q\\248\\SOH\\149M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151Y\\180\\136\\f\\218KD^>\\DEL\\157\\216\\&2\\188J\\153\\RSm}J\\228\\\"\\233K\\b\\DC3\\254\\227\\ETXp\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\">\\240|\\244O\\234*]\\a[8{\\244\\140\\151|\\206n\\DEL\\223\\157\\t\\228A.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\207dW\\200;z\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179i\\160*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\174\\178\\155|\\245\\&4\\178d\\218r>\\190e\\253\\&0\\206\\157Z\\EOTu\\177\\245\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI]\\156\\205/(\\DEL\\203\\231\\204\\246\\252\\&8\\253p=\\FS\\181\\205P^wt\\203\\203\\252\\DEL[\\SIO{\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\163\\207t\\163\\210\\NAK\\149w/N\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"G'\\139\\131\\193^R\\250\\136\\158\\132\\154\\206\\214\\210e\\158G\\140\\210\\232~\\135q\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246U\\DLE\\ACK[\\234\\193\\143r\\SOH\\198Q\\237\\237\\217R\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\EOT\\224H\\206\\157W\\136\\237p\\184\\206\\223\\DC4,\\157\\135\\227|i3\\221<\\249t\\217\\206\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\140wG6jXZM\\151\\205'\\210\\148N\\NUL\\173\\&7\\USu7\\EOT9V\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\133\\169\\140\\246\\SYN\\GS\\r\\151\\213\\NAKa<\\189\\&2\\ETB\\242\\141\\&7\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\231\\148zt3Q\\ETX\\EM\\207N\\187\\am\\221\\200\\187\\171\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\FSg\\215\\254\\153\\DC1\\245\\SYNpG\\FS\\148@\\234\\235*\\239\\237\\192\\192\\166\\254\\219g\\f7\\205\\220\\156i\\184G\"","tag":"AbiBytesDynamic"},{"contents":"\"g1\\SO\\144\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\239(\\SYNo\\DLE\\129l\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\135T\\185\\165;\"","tag":"AbiBytesDynamic"},{"contents":"\"n{\\161#\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"+2\\SYN\\ETB\\200\\152\\174v\\241\\171cw\\215q\\151C\\USq\\194s\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\219\\168\\171\\161t\\168\\250\\&6\\144>X\\171\\170dF\\220\\206D\\144\\ACKB\\SYN\\148 xoV\\250\\178y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\212&\\234\\253\\&1&\\226\\206\\194\\235\\210\\128\\SOH\\202S\\223c\\178\\224a\\SYN\\219m m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\212\\239\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248<\\DC2\\245\\213\\151\\150q\\133\\133\\&9\\EMj+\\134\\145\\188=\\214\\&2\\158\\ACKa\\208X\\SYNn\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\166\\DLE\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\130\\&5~\\221\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\&3\\247\\r\\132\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"=E\\v\\160\\155R\\217\\&0m\\t\\160}\\140\\163iE\\b\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\199\\226\\r<N\\138\\157\\186\\173\\176\\US\\167\\149lu\\NAK\\DC2\\237\\&8\\162\\&0\\145f#\\128\\r=N\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148!\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\184w\\SOH5\\151Aym\\245\\ENQ\\b\\152o-W?\\136#\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\DEL\\130\\173\\205\\227\\149\\165\\175D\\220\\162\\ENQ\\146\\169\\206%\\140\\201\\EOTl~\\205\\EM\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251o.=\\199\\146 j\\152\\SO\\183\\RS\\192\\168\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"&}\\146FH\\b\\224\\&0\\254\\156\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"J\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\194\\188t\\184\\SIe\\ETB9y\\STX<\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\173u\\194\\211,\\DLE!\\184\\235Mhi\\144XY\\SO\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\211\\ACK\\228\\FSX\\128\\249\\252\\230s\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\254\\223\\223DG\\164\\207n\\159\\144\\229$\\GS\\SO\\209\\DC3\\ESC\\232\\131\\182W\\246\\222\\247\\176\\145H\\DC3'7\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\139\\185\\249\\154W?\\ETX\\255^\\RS\\253[\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\\"l\\172\\&6\\228\\255>Wz\\175\\157\\207O-\\ACK\\ETBH\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\197\\ETX\\t\\159\\NAK\\209\\US\\240\\185\\242\\197\\221\\166\\SYN\\226%\\207X\\229\\212\\159\\246N\\248\\143\\149|a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\FS\\180O\\242\\&7\\219\\242\\RS\\168\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\149w\\133\\153\\193\\165`\\219\\153\\200\\DC48|QL\\138Y%\\251\\236\\196\\228\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\136\\215\\166\\183K\\199nU\\246S\\178>\\NAK\\194\\131\\183\\ESCL\\237\\163df\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\247\\183!\\133\\v\\ENQT4\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"A\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\224\\162\\182o_\\140;\\188%\\US/d\\145\\SYND\\245J\\US\\204\\&55#\\158E\\160\\162\\179\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\235\\208\\209,$[\\219\\213r\\156\\212\\&1X\\251&\\211\\216\\177=\\DC1\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"@Q<\\DEL<X\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\228\\npja8\\148\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\187\\v\\SOH\\DC1\\DC4\\215wA\\130\\nK*\\SI\\DC48\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\&4n\\ETX_,\\149e\\233KC\\219\\DC4\\164vS\\DC3\\249\\FSD\\160\\SOH\\SO^\\242\\174\\178\\f\\SUB\\DC2\\RS\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"nbA\\177\\232\\156\\STX\\169x\\193\\&0\\200\\147\\219\\236\\174\\139\\144\\164\\&9\\EOT\\147\\199B\\246\\253z\\180\\236\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\202=[\\GS\\140w-\\130ii\\226:P>\\165\\226;\"","tag":"AbiBytesDynamic"},{"contents":"\"yu\\173\\185F[\\ACK\\158\\160\\252\\195\\228}z\\167\\r\\SOH\\179\\194\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"Mx\\GS\\253%\\180R7\\238\\243`\\254]L\\185\\213\\213\\DLE.\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241XT\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\135f\\NAK\\159\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"57452759859229867789121675068071678580842683586034249852592714548363126235344"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"97771441138453837347678262097589674839290651041350298429743358655175324043980"],"tag":"AbiUInt"},{"contents":[256,"5001"],"tag":"AbiUInt"},{"contents":[256,"91046419460749328334541855881031459095121575241951243336427948199669823192078"],"tag":"AbiUInt"},{"contents":[256,"81"],"tag":"AbiUInt"},{"contents":[256,"235"],"tag":"AbiUInt"},{"contents":[256,"474"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629933"],"tag":"AbiUInt"},{"contents":[256,"97310955486926824729550022591781313651322573063363893658705169521040549989178"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908083"],"tag":"AbiUInt"},{"contents":[256,"72450753039380912730718307828979254022664854438796612607761435900831590670608"],"tag":"AbiUInt"},{"contents":[256,"46812638331571230292256146836694345068119226114851695230163309293244826980454"],"tag":"AbiUInt"},{"contents":[256,"89781014214718800614859859315968730986837012669266365137893700439800114597830"],"tag":"AbiUInt"},{"contents":[256,"3997"],"tag":"AbiUInt"},{"contents":[256,"38099570753441614073703856219305900026400696610376933704835156523135408546296"],"tag":"AbiUInt"},{"contents":[256,"198"],"tag":"AbiUInt"},{"contents":[256,"2000000"],"tag":"AbiUInt"},{"contents":[256,"57113363781616430435575507319434479158384898229684978421350812767308653737839"],"tag":"AbiUInt"},{"contents":[256,"84446745913444440833013670264687185547014028526669576049757030035345522992395"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639906"],"tag":"AbiUInt"},{"contents":[256,"58363501458098163325982852188349796794333527213064059023938018965714999219345"],"tag":"AbiUInt"},{"contents":[256,"89824854834910831967125413333159711863246797657762367824518073804484595088027"],"tag":"AbiUInt"},{"contents":[256,"70499689033970105313956642751223810845203996929251805987692361209831111997206"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"49955233797863665370318402599178659728089419169901568135839961435903318630372"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"92553355580907002046912755239294282015240082346459341246648386374035366442948"],"tag":"AbiUInt"},{"contents":[256,"69036912395179929906075597909269988214291139997338659728477032643419240405387"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639933"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950339"],"tag":"AbiUInt"},{"contents":[256,"39358935821733380950345329419355071915674987704758175302227532905789916584407"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"107975744053056089916406807579514178287980530794452654900153411668291141516659"],"tag":"AbiUInt"},{"contents":[256,"1313373039"],"tag":"AbiUInt"},{"contents":[256,"92016231126508611679686419236531403259083070057109754590638658333151438762386"],"tag":"AbiUInt"},{"contents":[256,"104"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639033"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639438"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628419"],"tag":"AbiUInt"},{"contents":[256,"101314529420944224797168311519998151025456444238020348809697099740077193930421"],"tag":"AbiUInt"},{"contents":[256,"24186204962216820683194885143682872866402543671584956374391312072590099725714"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"79228162514264337593543950338"],"tag":"AbiUInt"},{"contents":[256,"95029278699501584743721589675406974338777624451353186707617317935838628538202"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"86403"],"tag":"AbiUInt"},{"contents":[256,"110669272126179038494850634484654067997969879462991765282852146896684891732174"],"tag":"AbiUInt"},{"contents":[256,"67664513878138478444156181481927774063564378771328995356549569268951339123763"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639937"],"tag":"AbiUInt"},{"contents":[256,"71"],"tag":"AbiUInt"},{"contents":[256,"5430186271429929292399437432593728740994625323665111540255937368878427477223"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222594"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553534"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"53163785894304138470359709546225374876893135359974839542930233351715357670291"],"tag":"AbiUInt"},{"contents":[256,"85838045965999731619905131582552403618145254756093338403323352349370091353827"],"tag":"AbiUInt"},{"contents":[256,"58199549123223651078330545561537425993506655575096803247209914876636264088518"],"tag":"AbiUInt"},{"contents":[256,"15647338007644629829170978555756380648423656582934002160464675287382251258983"],"tag":"AbiUInt"},{"contents":[256,"91316596827866426822094145980921037022012513208347348226673824508342251188829"],"tag":"AbiUInt"},{"contents":[256,"3604"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639855"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639843"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"1313373043"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639915"],"tag":"AbiUInt"},{"contents":[256,"394"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"22153373352326910534574020220736986313666173928178734642556212699705572905012"],"tag":"AbiUInt"},{"contents":[256,"30"],"tag":"AbiUInt"},{"contents":[256,"74235099865681235995003070510700711272633064117845128789834063698179447288366"],"tag":"AbiUInt"},{"contents":[256,"90991362109207396004361178338951647285893399021398307969490207926157553272303"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635938"],"tag":"AbiUInt"},{"contents":[256,"81032074621326482508739010443779200215087373533036398916811245245703511179540"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417344"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"90110504173118944047468689796894104566554567653009541278245512684988670054768"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639433"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000024","0x000000000000000000000000000000000000000000000000000000000000b449"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e704","0x000000000000000000000000000000000000000000000000000000000000653d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[8,"68"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb07","0x0000000000000000000000000000000000000000000000000000000000002322"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"10318970028916412602603019986806522"],"tag":"AbiUInt"},{"contents":[256,"92848923441768038679948549391871527826186048573320574060228224848207761450050"],"tag":"AbiUInt"},{"contents":[256,"9094875806009595132935101782737945134396834389032876044665425050021683538818"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428163"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135a7","0x0000000000000000000000000000000000000000000000000000000000005d4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c7","0x0000000000000000000000000000000000000000000000000000000000000065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639837"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb16","0x00000000000000000000000000000000000000000000000000000000000016d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639036"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb45","0x000000000000000000000000000000000000000000000000000000000000614b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ffff","0x0000000000000000000000000000000000000000000000000000000000001414"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c5","0x0000000000000000000000000000000000000000000000000000000000004b99"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"94681700284976653674827787264649014621862871419705243533905258778257609066362"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c4","0x000000000000000000000000000000000000000000000000000000000000232a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":[256,"1012"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead2","0x000000000000000000000000000000000000000000000000000000000000ca0d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f3b","0x000000000000000000000000000000000000000000000000000000000000c064"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000175fe","0x0000000000000000000000000000000000000000000000000000000000002712"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"35778807537497080916319664122760616424318472708364536749952680889136381786700"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003fb21","0x0000000000000000000000000000000000000000000000000000000000004632"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":[128,"1313373043"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000442a2","0x000000000000000000000000000000000000000000000000000000000000858e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":[256,"66493903056593216168285808214936349740119760830039726292076615058208817370918"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075d98","0x00000000000000000000000000000000000000000000000000000000000050d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":[256,"77252098411058038953740517740489070626780677054000855001897603411935390627298"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea18","0x0000000000000000000000000000000000000000000000000000000000009a51"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":[256,"1526758044"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6f","0x000000000000000000000000000000000000000000000000000000000000137c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fc00","0x0000000000000000000000000000000000000000000000000000000000006b0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"/\\153W\\139\\221\\210.\\168\\130\\164\\226\\&9\\219\\215T\\b\\199\\n\\189G\\192\\178}u\\206L\\157\\156\\156\\165\\255\\196\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba6","0x0000000000000000000000000000000000000000000000000000000000001c9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"21537462473256434452065454682907785279808482622817035149928639082406407964023"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ab82","0x0000000000000000000000000000000000000000000000000000000000007c5f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e761","0x0000000000000000000000000000000000000000000000000000000000003f80"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"96290630095882956889712418659632794181801536129359870578518272238735709838227"],"tag":"AbiUInt"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000091ba8","0x000000000000000000000000000000000000000000000000000000000000101d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c5dc","0x000000000000000000000000000000000000000000000000000000000000ea8c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"5591950805327073021100400224378029007481298265696355546361601788677517058463"],"tag":"AbiUInt"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084278","0x000000000000000000000000000000000000000000000000000000000000e79b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"76"],"tag":"AbiUInt"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639934"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045ea6","0x0000000000000000000000000000000000000000000000000000000000000440"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"740"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bae","0x0000000000000000000000000000000000000000000000000000000000005ef7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175d\\EOTt\\236A\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\SO\\139\\SOH\\176j\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\&7\\172\\197\\221O\\t\\SOH\\182a\\225\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206<\\169\\142\\&9]3N\\209d\\197\\227\\&4\\163\\130\\151\\157\\&4\\199;3]S\\133\\241S\\163\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\239\\157\\250\\135\\250\\134\\238\\233\\230\\180c\\144{\\SUB\\213\\RS\\137\\138\\ETB\\DC4\\164f\\160\\247\\252\\157\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\246D4\\EOT}k\\154\\SIb\\197[a\\207\\153\\&4\\141\\226V\\159\\244\\128\\&3\\205\\196{R\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\165\\250\\138\\234q\\186qT3\\ETX\\rP\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\173\\167\\EM(\\131\\atZ\\159n\\238\\159p\\184\\&0\\176j1\\214\\234\\ETX\\139$J.\\158\\135\\175\\227\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\225U\\DC1U@\\STX0n\\198\\189:\\n\\146\\224\\180\\191\\197\\r\\202\\174f\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\163f\\142\\196\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"W|\\SYN4w\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\148\\a\\204J\\226f[\\156;+\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\239\\142:\\210\\222He \\139\\130C\\\\\\193W,\\146\\128C\\206R\\205\\223\\DLE\\187G}C\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\150f\\NAKA`\\SUB\\222S_\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\230\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\251[xj\\159\\180|n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\ESCns&\\182\\207\\194\\192\\160\\&3,\\233\\152`P\\148\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\199\\227\\ETB\\217\\154\\178\\153\\167H\\185\\r&\\SYN\\204S9!xuh=\\156J\\201\\182\\144Mj\\233\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254)9\\STX:}\\ACK\\140\\a\\141'\\140\\228lL\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\\"\\148E\\173J\\133\\218I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170$,\\255\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\245\\239\\194\\&0\\SO\\nQ\\SOhE\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\242J}\\239!\\233\\EOT\\v1A\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\144\\221\\SYN+^\\131\\178_\\DC2\\US\\206\\133\\NAKU\\255t\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\249?\\205\\175J\\213\\NUL\\aGR\\166\\129\\211K\\SO\\235\\SUBcN)%C\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\247Ki%\\\\\\224\\171\\177\\184k^g\\194Z\\ETX\\ENQ\\NAK\\SYN3\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\">\\129f\\254~f\\215\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\221\\238\\&2D\\203\\245\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\129w8\\131K\\186\\146\\206\\177\\248Q\\230\\237R\\ACK2ZR\\202J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\155\\209\\212\\158\\SYN\\228\\223\\212\\203\\208\\DC4\\165\\211\\144\\180\\150p\\207\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTv\\206\\207q\\146\\215\\DC4\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\250\\&7\\247\\199\\212\\213\\233\\&9\\233\\185\\160\\138nP\\242\\155\\ACKd\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\186.\\RS\\STX\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\SUB\\207\\r\\179z\\181\\236\\DC3\\189\\237\\201\\&5;\\190.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\188\\142\\204\\253\\ACK$\\203\\223\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198a\\206Sjj\\166/\\183\\ETB]\\148\\216\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151p \\134\\198\\t+\\150\\198NZ\\133\\134O\\162\\\\%\\SI\\DC1;x\\245\\130\\DC4j\"","tag":"AbiBytesDynamic"},{"contents":"\"DM\\131\\ETX\\129\\236\\249Ln\\185-\\234\\154#T6\\243\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\219M:EH\\SUB\\171\\nT\\164\\172vkp\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\209\\156\\SOH\\ENQ0\\170b\\205hj@\\208y\\rd\\EOT\\230\\167\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\241\\153]p\\207AR\\EOTi\\198f\\198\\196\\DC2\\155\\170\\NAK=\\b_#1\\240\\172\\196\\206\\130]\\251\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\202 \\230\\194m\\218\\140h\\188g\\r\\135\\173\\&6\\SYN=]\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"T5\\v\\179\\210\\227\\&1\\172\\180\\252p\\230TR\\EOTX\\163\\159\\EM\\179\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\f\\EOT\\t\\143o\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\196\\239\\192S\\SYN\\151\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\197\\184\\148\\150\\175\\NUL\\131>\\138}\\174\\DLE+\\DC4Ge@\\SYNz\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\153p\\174\\171\\187\\152\\\\l\\ETB\\254\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\249\\154t\\FS`\\235\\240#\\166\\254\\186\\236\\&2\\173\\SOH4\\\"k\\195\\SO\\175\\138H\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\246\\166\\214\\135;\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226^\\GSN\\148\\EM\\213bp4\\158\\134\\191\\144cD\\175c0\\198+]\\SI\\192.R9\\145'\\NUL\\ESCg\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\">\\145\\252\\DC1\\156\\235\\228u7k\\152o\\a(\\221\\139\\148\\239\\138\\207\\US\\nn\\132f\\177\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\139\\STXvas\\151}\\145\\202:IJh2\\233\\ETX\\231\\162\\200\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\SOH4n\\139@\\207\\164\\130j\\186O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143_\\148\\253\\161\\NUL\\228\\200\\SUB\\223\\188\\nJ\\203&\\232`E=\\252/\\153\\160-\\230\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\193\\&7[\\243\\144^\\228\\218\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183?a\\240_\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"AM\\247\\b\\225\\223\\144\\135\\244\\137\\254N\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\". o7\\239\\&6\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"<p\\243\\141V\\183\\202n\\DC1\\234\\134\\170\\GS\\144n\\160<\\194A\\189\\170Z\\GSG\\RS\\FS\\197\\200\\188\\150\\219\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203XR%#\\182q\\201u\\236\\242\\246\\t\\246;'\\139\\205\\238\\238\\134\\176\\216p\\216d\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"j\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\130}_\\157\\SI\\131J@\\134\\203O\\203i\\148o\\nX\\156\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\247\\132\\253#\\174SO\\203[\\245\\147\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\173\\138mjC\\198\\184\\158\\NULb&\\133\\&4\\141y*~\\155\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\213.\\195\\241\\171t\\150\\149a/a\\232\\216\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200$\\199\\149\\217zI\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\165Yr\\192\\184\\\"\\SOH\\128\\214AD\\156n\\STX\\201\\185\\&7\\175\\185w2r\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\139\\211\\DC3:Yd\\151zJ\\254\\&5\\254\\174\\135~<|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\197J\\205\\rE\\144\\186\\148\\192\\ETX\\179\\202\\a6\\250\\130O\\246\\230\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\159\\213\\rP\\250\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\150\\DC209\\EOT\\EOT#\\255y\\184\\147:\\175\\nK\\132\\DC3\\243\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\253\\&6\\t=\\151\\172=*\\246\\223\\206\\168\\DC3ke\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"0q9\\142\\250\\167\\137jg\\SOH\\215_T\\250\\176-t\\165HG\\169\\219\\NAK$\\240\\172\\173.\\ENQ\\138\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208{\\DLEa\\153\\\\\\251\\189'\\150\\DC3\\210\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAKy~\\245\\GSx\\233GfJ\\254\\&8\\252RD_\\DLE\\212^/\\180F\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\147\\STX\\fC\\190\\162\\208c`z\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"p-\\158jE\\170\\&6\\ENQr\\183\\143'\\132/\\239\\150`8\\212j|S\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\&5\\197]:\\129\\194\\&1\\CANPe\\147\\GSv*\\136\\FS\\189N\\149\\193^\\206\\131\\183\\174\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155R&[\\166\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\231[g\\158\\EMg&\\STX\\199M\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\237\\137\\178!U\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\NAK\\NUL\\DC2\\NULU\\180M\\250\\255X;\\159E6c\\141s@\\129\\STX\\GS\\141\\198\\151\\SI\\207R\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136I\\164*\\215\\221B)\\245\\186\\226 \\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141[II}y_7>\\ACK\\250\\SOH\\207\\185\\160\\199\\149\\SOH\\148\\201-\\140\\224Q\\150\\175)\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"0V\\140k\\193r\\255P\\255[\\185\\f\\132\\252!\\SOH\\250\\151$\\131X\\169_+\\NAK\\196\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ACK\\a\\215`\\GS\\159\\n\\180/\\233*\\218\\240\\SO\\189Ms\\a[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\255\\ESC\\166\\NUL\\US\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"pg\\137\\231\\192\\234\\197\\175V\\DC4\\130\\171N\\153\\130\\247\\152\\DC2}\\223\\143\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237/\\217\\187\\DC1\\214\\250\\169l|\\r\\SI\\146\\ETB+G\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172x\\STXe\\130~\\SYN\\150\\253\\134\\145wX\\135\\SI-5E\\209\\v \\245\\&7 \\191\\NUL2M\\DC2\\222\\182\\219\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\219\\168\\ETB\\247\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222/\\191}\\146S\\\"\\172\\237\\STX\\231\\ETB\\\\\\a\\194&\\230_g\\214}b\\132\\DLE\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\ACKQ\\180\\248\\233\\234\\206\\223\\DC2\\225\\243\\197\\SO\\220\\235\\146\\254\\184\\151\\&9e\\DC3\\202w\\DLEv\"","tag":"AbiBytesDynamic"},{"contents":"\"|o\\209\\190\\207^\\DC3\\146\\a0\\214\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\",\\244k\\143\\&9Z\\141G\\164\\171\\153\\NUL\\253\\206\\211M\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"R\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\SO\\195`-&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\198g\\182F\\EOT\\178@\\151yY\\134\\148y\\\\7e\\164\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\198\\198\\213\\153J_\\132\\179\\DC1\\231\\220\\148\\219\\224!\\DC4\\SUB\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQuUG#EEy\\EOT\\239M\\129t\\171\\234Y2k\\152\\241\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176w\\DC3\\220\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\129lh\\182\\167\\a\\b\\188,\\173Y\\t\\234A\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"7\"","tag":"AbiBytesDynamic"},{"contents":"\"DC\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\" \\202k\\150\\210]\\225\\204J\\218[\\SUB\\181b<\\147<\\173\\198\\132\\241\\217\\169\\219\\219\\235K\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\176\\161k\\211\\253\\ENQ\\152$\\133\\157\\199\\215\\240_9`\\243G\\216\\160l/\\ESC\\188*\\147\\167a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\187\\135\\STX~X\\152R\\252\\&3p\\DEL\\CANn<\\221\\153\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"Tb\\157VM\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\SIK\\172\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\216\\158S\\206\\213ez3N_.\\ENQ1EE'\\DC1;\\166Rt\\201\\158\\184\\245\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\250Q\\141\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"B/'\\185\\156\\132_%\\184,F\\251\\&4\\240`\\249\\207\\133\\203\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\176\\SUB\\219\\ACK\\181!6\\229\\f9\\245U\\195\\r\\200\\152\\221g\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213X\\187\\184\\196@\\GS\\207\\&07l\\139\\205\\180\\ESCz\\135\\DLEK\\203y\\NUL%W\\245\\141h\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\185\\253\\168\\200w\\196\\177\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"s;`\\186\\196\\130\\134\\182\\133\\235\\191&M\\DC2)p\\142\\234p\\DC47Z\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"77390715472483307668642546604284923757766855418329181721406552659498139943414"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222594"],"tag":"AbiUInt"},{"contents":[256,"162"],"tag":"AbiUInt"},{"contents":[256,"25106480843255433631990696439257734551652277201116761108330911279350748000264"],"tag":"AbiUInt"},{"contents":[256,"604797"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"5878623614256507594275124645717695763639139257454428160"],"tag":"AbiUInt"},{"contents":[256,"51"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630935"],"tag":"AbiUInt"},{"contents":[256,"122"],"tag":"AbiUInt"},{"contents":[256,"68864775546564449780368703400006735607847604647825713820830344794200509990979"],"tag":"AbiUInt"},{"contents":[256,"49911732681659755411771866046957194493284027536027692292626438644052001034952"],"tag":"AbiUInt"},{"contents":[256,"6573162691720337439955628666060049516"],"tag":"AbiUInt"},{"contents":[256,"135"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630932"],"tag":"AbiUInt"},{"contents":[256,"271"],"tag":"AbiUInt"},{"contents":[256,"25"],"tag":"AbiUInt"},{"contents":[256,"93675769346378071106092730110260447184519872999552278209351191423521256105854"],"tag":"AbiUInt"},{"contents":[256,"93809955843308389037071167512211223793045184075101605955192368792800336357396"],"tag":"AbiUInt"},{"contents":[256,"19672986301831757968453216625301359975860572616836920633399212614556510040181"],"tag":"AbiUInt"},{"contents":[256,"4000"],"tag":"AbiUInt"},{"contents":[256,"542"],"tag":"AbiUInt"},{"contents":[256,"57491408788525655558318122497863540524582098072002188527630026492537354637818"],"tag":"AbiUInt"},{"contents":[256,"61092406403636436482970249089135713844479968483589111452385286295056289957533"],"tag":"AbiUInt"},{"contents":[256,"30882067266150481781198902140105960282656827529308431768996813538234250830317"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011517"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062335"],"tag":"AbiUInt"},{"contents":[256,"108716505223605126868812242604026628876735641347116680413246712898650639577868"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639871"],"tag":"AbiUInt"},{"contents":[256,"1902767594613413"],"tag":"AbiUInt"},{"contents":[256,"40384724313351881537938405696252165669406834704382795426818221759525313554691"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428159"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088324"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"35158563449855785892507524306231153925167949480605466995013091082089548610879"],"tag":"AbiUInt"},{"contents":[256,"48586840886915982999756061952227810798303621998081041236382366675295800923956"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639903"],"tag":"AbiUInt"},{"contents":[256,"5978010479185013116891181754898558304842607092649638368621056978100614136010"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638936"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"75783227572025741092104332565447547692091700390911844256466637345521749947506"],"tag":"AbiUInt"},{"contents":[256,"7250878569534317907127522268524909789183835685968799204619258209325958922382"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"8047784225389201817040692374324176970557810475629821982738128079473496592004"],"tag":"AbiUInt"},{"contents":[256,"102166891356292661545853492707278973037489732751728535911064430595866857445274"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629937"],"tag":"AbiUInt"},{"contents":[256,"39855969383721139750359946065513849354037798304984819539883264273371371968838"],"tag":"AbiUInt"},{"contents":[256,"110767123841046917008486959257163080506144094351399260410654472227007613941322"],"tag":"AbiUInt"},{"contents":[256,"302"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"74456215882198202930811603290963744837077217252840710128430120268631751252098"],"tag":"AbiUInt"},{"contents":[256,"1994856361070658217250909293576781122879831672565596784415821144541288821089"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553533"],"tag":"AbiUInt"},{"contents":[256,"39259398120361656607910098165067724285381792579179670094804894480895506736452"],"tag":"AbiUInt"},{"contents":[256,"9997"],"tag":"AbiUInt"},{"contents":[256,"100000000"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"22433887508673247742000230284428285030752570713225704112659942061705521024837"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"2454911665896679695289770396132974858416691"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"90475070577910967277964540899537893072992735209251734474156407397557999659156"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639937"],"tag":"AbiUInt"},{"contents":[256,"51712902774077483332141866556792489600299383312146243225564493406873414276992"],"tag":"AbiUInt"},{"contents":[256,"98815491615249528032390450660591890018499035554422713112040622492802067653122"],"tag":"AbiUInt"},{"contents":[256,"1531617029"],"tag":"AbiUInt"},{"contents":[256,"19103780988563962408998764747723165437028627772886850610854232431156339620441"],"tag":"AbiUInt"},{"contents":[256,"53258780941906262803552812800956923251583131219789333268742182816571341785613"],"tag":"AbiUInt"},{"contents":[256,"24908764013782354810853064723227475088625938531453250118128272305678425709551"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"103144931539323921681298591757828722483217193059609587133811005742186879624504"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639880"],"tag":"AbiUInt"},{"contents":[256,"454139441456662089830364273051392229421405674"],"tag":"AbiUInt"},{"contents":[256,"38995949616121172733174682687734961613810620800708686014298741117134048459162"],"tag":"AbiUInt"},{"contents":[256,"38995949616121172733174682687734961613810620800708686014298741117134048459162"],"tag":"AbiUInt"},{"contents":[256,"38995949616121172733174682687734961613810620800708686014298741117134048459162"],"tag":"AbiUInt"},{"contents":[256,"38995949616121172733174682687734961613810620800708686014298741117134048459162"],"tag":"AbiUInt"},{"contents":[256,"38995949616121172733174682687734961613810620800708686014298741117134048459162"],"tag":"AbiUInt"},{"contents":[256,"38995949616121172733174682687734961613810620800708686014298741117134048459162"],"tag":"AbiUInt"},{"contents":[256,"38995949616121172733174682687734961613810620800708686014298741117134048459162"],"tag":"AbiUInt"},{"contents":[256,"38995949616121172733174682687734961613810620800708686014298741117134048459162"],"tag":"AbiUInt"},{"contents":[256,"38995949616121172733174682687734961613810620800708686014298741117134048459162"],"tag":"AbiUInt"},{"contents":[256,"38995949616121172733174682687734961613810620800708686014298741117134048459162"],"tag":"AbiUInt"},{"contents":[256,"38995949616121172733174682687734961613810620800708686014298741117134048459162"],"tag":"AbiUInt"},{"contents":[256,"38995949616121172733174682687734961613810620800708686014298741117134048459162"],"tag":"AbiUInt"},{"contents":[256,"38995949616121172733174682687734961613810620800708686014298741117134048459162"],"tag":"AbiUInt"},{"contents":[256,"107112714577352390921593125443488706575378786431136071320374065620855162321571"],"tag":"AbiUInt"},{"contents":[256,"107979651673497616166767326278910298145688935155634366144931408536590401038489"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011523"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"86400"],"tag":"AbiUInt"},{"contents":[256,"20472904792477575632454239955690785402801830032046924614490490499129955793612"],"tag":"AbiUInt"},{"contents":[256,"66340275146341286626359061860614407476858979751680358861682967592362044006037"],"tag":"AbiUInt"},{"contents":[256,"27484080454781335507338256713680442261044355473747835331838740391882549597328"],"tag":"AbiUInt"},{"contents":[256,"62318237198809770330587378579723252133807754609057341537394879271825707009399"],"tag":"AbiUInt"},{"contents":[256,"98443693816424895844421456691113256012112782637781728392348546906628382429502"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e351","0x00000000000000000000000000000000000000000000000000000000000012ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"52102466595136261694045807255861959542649905975511129657234103276225113516175"],"tag":"AbiUInt"},{"contents":[256,"78856911905985013731170781301964034874321269868221057710223647802820206572745"],"tag":"AbiUInt"},{"contents":[256,"1999999"],"tag":"AbiUInt"},{"contents":[256,"50826457836274379603038152206140041350539372115558968739650008937762402790372"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639863"],"tag":"AbiUInt"},{"contents":[256,"87584412418513997264107499408526328545134541322219340895103876992280384480902"],"tag":"AbiUInt"},{"contents":[256,"20010984232625742220475080060165649913547361666846687899386747067302870634073"],"tag":"AbiUInt"},{"contents":[256,"5787195246964631549574337411562839295997021311170844986318259458438218793390"],"tag":"AbiUInt"},{"contents":[256,"23692946464630662511804523850530429400337522157332017658253653923537836783148"],"tag":"AbiUInt"},{"contents":[256,"49888081656034658178663093556311655637972079247570901545889964926771568018108"],"tag":"AbiUInt"},{"contents":[256,"1526513828"],"tag":"AbiUInt"},{"contents":[256,"36023039821186182734420788673033462017674896949166818572770697906031605051380"],"tag":"AbiUInt"},{"contents":[256,"4"],"tag":"AbiUInt"},{"contents":[256,"27476361014610886202442914781174388611418387128944856140506814336364485223024"],"tag":"AbiUInt"},{"contents":[256,"3997"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"27"],"tag":"AbiUInt"},{"contents":[256,"60387572143831750691957311084923493565858698646060065585914584985201397931547"],"tag":"AbiUInt"},{"contents":[256,"899"],"tag":"AbiUInt"},{"contents":[256,"6433282253982637164043078070695606454495443730248891241366314093956436219317"],"tag":"AbiUInt"},{"contents":[256,"1529576503"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639637"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639878"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630934"],"tag":"AbiUInt"},{"contents":[256,"1600964391641249470547379590546047548842"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"79228162514264337593543950334"],"tag":"AbiUInt"},{"contents":[256,"98676664044667614759133493626089144068231725480186761623568953673988681969804"],"tag":"AbiUInt"},{"contents":[256,"68307833114903823291317033600881824376335081996153523543244807625496630641131"],"tag":"AbiUInt"},{"contents":[256,"195530362155456992193056015212706728"],"tag":"AbiUInt"},{"contents":[256,"97947376895721228581882391685437228891101650565471866319956709015715870933885"],"tag":"AbiUInt"},{"contents":[256,"230"],"tag":"AbiUInt"},{"contents":[256,"429"],"tag":"AbiUInt"},{"contents":[256,"90158343605896444118087830241265948721316815974329402581433972645739109689067"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630938"],"tag":"AbiUInt"},{"contents":[256,"68406398964340872967231624643846041878671137171058302500799915528834453873811"],"tag":"AbiUInt"},{"contents":[256,"21875240462965653503623257359845635082970352575514109873372855236784896086378"],"tag":"AbiUInt"},{"contents":[256,"134"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eabf","0x000000000000000000000000000000000000000000000000000000000000d619"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x00000000000000000000000000000000000000000000000465040e07e9cb5a8f"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"2000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae0","0x0000000000000000000000000000000000000000000000000000000000000e14"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":[256,"107503002723205626365178719801048953353806125279844800623003742625539185767828"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e955","0x0000000000000000000000000000000000000000000000000000000000003f7f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea61","0x0000000000000000000000000000000000000000000000000000000000001c9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":[256,"109279852020948867307437182897871426104848409854698673349900434149857399461201"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014a7d","0x0000000000000000000000000000000000000000000000000000000000006a26"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639855"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004f","0x000000000000000000000000000000000000000000000000000000000000138b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052402","0x000000000000000000000000000000000000000000000000000000000000138b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":[256,"22196666613837401231040934510161892792579250723734194516628834368650183464051"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f467","0x0000000000000000000000000000000000000000000000000000000000003420"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"51"],"tag":"AbiUInt"},{"contents":[8,"234"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce50","0x000000000000000000000000000000000000000000000000000000000000e8a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"3"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142ef","0x000000000000000000000000000000000000000000000000000000000000dcc0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035134"],"tag":"AbiUInt"},{"contents":[256,"180590728238720224418106782"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec4","0x000000000000000000000000000000000000000000000000000000000000b0a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba4","0x0000000000000000000000000000000000000000000000000000000000002323"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\EOT\\201\\154\\187\\248_\\178\\158\\191\\217\\162\\f[\\214\\221\\150\\NUL\\166,-\\171\\186\\r\\217\\219\\&1.y>\\157o\\234\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c5b8","0x000000000000000000000000000000000000000000000000000000000000231d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000584c1","0x0000000000000000000000000000000000000000000000000000000000000e11"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"231"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf9","0x0000000000000000000000000000000000000000000000000000000000001387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"229"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb49","0x000000000000000000000000000000000000000000000000000000000000137a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"110490829574019283914896153360578230176885578028397382826974305813610836976944"],"tag":"AbiUInt"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf0","0x0000000000000000000000000000000000000000000000000000000000001274"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"81308116840317767658951105502964706432887537141232180604156209935396251204272"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1d","0x00000000000000000000000000000000000000000000000000000000000013bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"76702587460454771415288487223704584362793061330703285890746880271724107954884"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000024be4","0x00000000000000000000000000000000000000000000000000000000000013a8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000385","0x000000000000000000000000000000000000000000000000000000000000afae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"114309843489402566244065339970734933633257112635178966779444293023627522555967"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000052","0x00000000000000000000000000000000000000000000000000000000000001f5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"114937303446684509846096019122186077970996420167426340220939438282824136842913"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec6","0x00000000000000000000000000000000000000000000000000000000000020cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e6","0x0000000000000000000000000000000000000000000000000000000000000017"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088319"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001278c","0x000000000000000000000000000000000000000000000000000000000000058d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"44598898521578078265192270226353914283712630979410985055855633819064607854694"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb46","0x00000000000000000000000000000000000000000000000000000000000095e4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634934"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3e","0x000000000000000000000000000000000000000000000000000000000000336f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084275","0x0000000000000000000000000000000000000000000000000000000000000014"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb47","0x000000000000000000000000000000000000000000000000000000000000d9dc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb01","0x000000000000000000000000000000000000000000000000000000000000058d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000094ab","0x000000000000000000000000000000000000000000000000000000000000270e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e14","0x000000000000000000000000000000000000000000000000000000000000614e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c4","0x0000000000000000000000000000000000000000000000000000000000000bcf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"10212763596489779867947799266970694230206026354473609653921810425907995256016"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000582b0","0x0000000000000000000000000000000000000000000000000000000000000079"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":[256,"376"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046eeb","0x0000000000000000000000000000000000000000000000000000000000001337"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"75881199117746688409102844301927429473180708242076463164611360814076019882546"],"tag":"AbiUInt"},{"contents":[256,"10477818487793018101073788548592984993784608290124143316867180904745897510419"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f3a","0x0000000000000000000000000000000000000000000000000000000000009aa1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"8566363303143017421958736684321620139278115005187053296570466141669081134524"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e0f","0x0000000000000000000000000000000000000000000000000000000000000591"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000005","0x000000000000000000000000000000000000000000000000000000000000e79b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055773","0x000000000000000000000000000000000000000000000000000000000000001e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427c","0x000000000000000000000000000000000000000000000000000000000000134f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639916"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000208dc","0x000000000000000000000000000000000000000000000000000000000000597d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637935"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000041c67","0x0000000000000000000000000000000000000000000000000000000000000061"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"81"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea62","0x000000000000000000000000000000000000000000000000000000000000037f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634933"],"tag":"AbiUInt"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb29","0x00000000000000000000000000000000000000000000000000000000000003f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"86401"],"tag":"AbiUInt"},{"contents":[256,"1444051507841486189960630722284650327611692194626230477511343138346521430071"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035e9e","0x000000000000000000000000000000000000000000000000000000000000c063"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":[256,"66493903056593216168285808214936349740119760830039726292076615058208817370918"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000243","0x0000000000000000000000000000000000000000000000000000000000007fff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"73349932505143292504210894842679826505863650253172517321577267802592187688341"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe7","0x0000000000000000000000000000000000000000000000000000000000008957"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[128,"3998"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59a","0x0000000000000000000000000000000000000000000000000000000000000015"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000050","0x000000000000000000000000000000000000000000000000000000000000d8aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e762","0x00000000000000000000000000000000000000000000000000000000000007d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000049","0x000000000000000000000000000000000000000000000000000000000000711a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088322"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb00","0x0000000000000000000000000000000000000000000000000000000000002322"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"100000000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4e","0x0000000000000000000000000000000000000000000000000000000000009205"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639816"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa1","0x00000000000000000000000000000000000000000000000000000000000007e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]