[{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"80925097848738394103794348290406602126976512290026982487988986026368558830947"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb20","0x000000000000000000000000000000000000000000000000000000000000ca08"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002539c","0x0000000000000000000000000000000000000000000000000000000000007630"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"1748455376"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa1","0x00000000000000000000000000000000000000000000000000000000000065d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"77587391612140836095072485361465792608013903087178256588759517935457427199510"],"tag":"AbiUInt"},{"contents":[256,"13087107962034140428675076695320752185161930734835138809394336644887481062567"],"tag":"AbiUInt"},{"contents":[256,"230"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"81122395914745527182286201016159143965043636709681696002330293361649827834399"],"tag":"AbiUInt"},{"contents":[256,"40772819437774438394977734723824869764659343281997131312865577712371974276909"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639851"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c439","0x0000000000000000000000000000000000000000000000000000000000001328"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000027"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"99"],"tag":"AbiUInt"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":[256,"136"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce53","0x0000000000000000000000000000000000000000000000000000000000001395"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":[128,"163219280351950012298603587025222198505"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000079","0x0000000000000000000000000000000000000000000000000000000000008198"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c433","0x0000000000000000000000000000000000000000000000000000000000001355"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"2001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e6","0x0000000000000000000000000000000000000000000000000000000000000381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"43105631908323689560333498521616341810656113392181803754195504594017362909215"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a60","0x0000000000000000000000000000000000000000000000000000000000002712"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\ESC\\165k\\245T\\140\\STX\\145U\\US\\NAK&\\171\\ETB#&\\155?X#\\214\\ESC\\252\\b \\\\\\211\\DLEP\\205\\f\\135\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb30","0x00000000000000000000000000000000000000000000000000000000000095e1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_1",[{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f39","0x00000000000000000000000000000000000000000000000000000000000001f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3c","0x0000000000000000000000000000000000000000000000000000000000000f9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"110"],"tag":"AbiUInt"},{"contents":[8,"176"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e8","0x000000000000000000000000000000000000000000000000000000000000d8d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"97819492236627927106529940227196029297094955331717359361077110458591409189493"],"tag":"AbiUInt"},{"contents":[256,"349"],"tag":"AbiUInt"},{"contents":[256,"113690940598983279270450620624291440126374549908287563056009921548308979226676"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b7cc","0x0000000000000000000000000000000000000000000000000000000000009a9f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c7","0x00000000000000000000000000000000000000000000000000000000000000e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"174"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c8","0x0000000000000000000000000000000000000000000000000000000000000066"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[8,"115"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142ee","0x000000000000000000000000000000000000000000000000000000000000b0cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"45420729949017291697130841058517787232845577403427831415542886910010895223907"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030337"],"tag":"AbiUInt"},{"contents":[256,"102"],"tag":"AbiUInt"},{"contents":[256,"86903222028534447440400116588725883279734710837129667368060141377682287511842"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d1","0x000000000000000000000000000000000000000000000000000000000000007b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639852"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000068","0x000000000000000000000000000000000000000000000000000000000000d8d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"232"],"tag":"AbiUInt"},{"contents":[256,"34023228552441554383616609451462625183475735407228017986082583369655334429776"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001c","0x0000000000000000000000000000000000000000000000000000000000002713"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":[256,"56332163730616534648068646481450147261910300605145545975567437381742975445306"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055777","0x0000000000000000000000000000000000000000000000000000000000000052"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"'C\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"P3\\aS\\251\\GS\\172rLu?U\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\231\\229v\\ETX\\220\\160\\159\\145P\\FS\\154(\\192\\240\\232\\&0\\208L\\193.~\\\"X,\\251\\206%b\\188\\136\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\&9\\209\\250&)\\178/$\\US\\175\\178\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"%c_nm\\242%N\\163\\&3]\\154/qF\\167vt\\169\\235\\133\\233\\169\\142\\207\\159\\135`\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\180\\170B\\136\\221%y\\159%\\NAK\\231\\150\\213\\129\\163!\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"5,?\\242\\230\\&0\\GS\\128\\170v\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\236\\197\\192\\ETB\\188\\164\\&1\\DEL\\ETX\\131\\187\\168\\177\\132w\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\222\\172\\151\\DELE\\206\\&3`t\\239ZTn,\\ESC\\171\\169\\170\\172\\&2\\SOH\\168vU\\227\\DC1|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\134\\143\\193\\235o<\\\"\\194\\252\\253'\\a\\DC4\\227\\216\\210\\156\\202E\\142\\128\\220\\&70\\236\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\183d\\230\\246D\\250\\195\\175\\183eWo\\242\\168jSa\\255\\176f\\134\\DC2'\\255\\154\\192\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\235\\214\\208e\\\"\\228&\\250-\\DEL\\tS\\251\\CANX\\203\\228APvD\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"`x\\183\\173R\\183\\147SSK>\\233-\\164\\SOTPM\\148\\&5\\EOT\\211\\137\\USV\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\141\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144n\\255\\&3\\SOH\\t\\DC2J/l\\210O\\DLE\\207\\159f\\191/O\\DC1=kxt\\134\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\\"\\SOH\\251\\189\\&2 #VW\\DEL\\239\\157\\NUL\\165\\EOT\\254\\245\\216\\200\\CAN\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\183d\\230\\246D\\250\\195\\175\\183eWo\\242\\168jSa\\255\\176f\\134\\DC2'\\255\\154\\192\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\235\\214\\208e\\\"\\228&\\250-\\DEL\\tS\\251\\CANX\\203\\228APvD\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"`x\\183\\173R\\183\\147SSK>\\233-\\164\\SOTPM\\148\\&5\\EOT\\211\\137\\USV\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\141\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144n\\255\\&3\\SOH\\t\\DC2J/l\\210O\\DLE\\207\\159f\\191/O\\DC1=kxt\\134\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\\"\\SOH\\251\\189\\&2 #VW\\DEL\\239\\157\\NUL\\165\\EOT\\254\\245\\216\\200\\CAN\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b0\\212\\238\\175\\GS\\172X*\\ESC\\163L\\131\\230\\SO\\156m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137;\\255\\199r<\\237\\255\\255\\232\\177\\247\\STX\\SUB\\137 \\164\\\"sW\\RST\\203XG\\133\\204\\151%`\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\",\\182*:\\248]\\246\\134\\157\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\n\\EOT\\252\\214\\184\\144\\174\\STX-\\DC4\\160\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\";\\130'K\\SYN\\181\\223\\&9\\DC4\\159\\&1\\183\\157/\\241Vn\\200\\166A\\ENQ\\184\\166\\164\\US\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\178\\r\\193p!\\159\\176\\190x\\223\\239\\185\\141\\162\\STX)h4\\DLE=L\\169\\&2\\196\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210g!E\\140\\212\\142\\159\\252\\183iw+\\SO\\177\\203\\154 |\\NAK\\205b~\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"10954791157593513238720046789225450233859350645657729272567267182304070809190"],"tag":"AbiUInt"},{"contents":[256,"60108725700871834638680257360332647129802297937156602663117506209089931069316"],"tag":"AbiUInt"},{"contents":[256,"65225028331193468268497839778688666826407090874094749742867235250369489858258"],"tag":"AbiUInt"},{"contents":[256,"4576101051704367006"],"tag":"AbiUInt"},{"contents":[256,"63976152144658662382398078736295252105034955432947592494815323747766512825281"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634937"],"tag":"AbiUInt"},{"contents":[256,"64686200529424305203635337023228732686433307346618100908964640837929579015571"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639902"],"tag":"AbiUInt"},{"contents":[256,"1999998"],"tag":"AbiUInt"},{"contents":[256,"97274974637653885670216408880793120163941051565730601998412041750677687452977"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781053"],"tag":"AbiUInt"},{"contents":[256,"107674150092792395290033680416281746167648560281732940714508697623684726073315"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639632"],"tag":"AbiUInt"},{"contents":[256,"25861445892383750449988971421896899105043556214634609289539810715779683578764"],"tag":"AbiUInt"},{"contents":[256,"38729947912606535553314770861336725399276879335886933128136381970315670737828"],"tag":"AbiUInt"},{"contents":[256,"912"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731856"],"tag":"AbiUInt"},{"contents":[256,"63049086505031353797467621564342077159394429751902318035190753743475486365155"],"tag":"AbiUInt"},{"contents":[256,"87723304022457891211489368401927529924666009172167065661044080744248224809758"],"tag":"AbiUInt"},{"contents":[256,"114468435093201307069347095667716470208501745767226497843091546748935030931094"],"tag":"AbiUInt"},{"contents":[256,"12293546618017797724141542700059427172288369717728852764761821916072233281614"],"tag":"AbiUInt"},{"contents":[256,"44217663311513732897260561452247415683555434924617806468503949483510193435596"],"tag":"AbiUInt"},{"contents":[256,"8"],"tag":"AbiUInt"},{"contents":[256,"1530198872896872117162403448141802150331806863069168997954447041206828761004"],"tag":"AbiUInt"},{"contents":[256,"47"],"tag":"AbiUInt"},{"contents":[256,"49045710721592430986844608596989152277015003123336782581671192698643356251255"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639856"],"tag":"AbiUInt"},{"contents":[256,"99574962567360714415924382656079927554062452990305655192002426850450246214755"],"tag":"AbiUInt"},{"contents":[256,"10"],"tag":"AbiUInt"},{"contents":[256,"74275135352983791767538635401959483456452522940031065805626860083932947494026"],"tag":"AbiUInt"},{"contents":[256,"4369999"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"6857136347973552994145946303978697657437346079392890240940332385308688093823"],"tag":"AbiUInt"},{"contents":[256,"501"],"tag":"AbiUInt"},{"contents":[256,"88255008567665082938252798914523994665545346650491832268785983101923836824718"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417345"],"tag":"AbiUInt"},{"contents":[256,"134"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"486"],"tag":"AbiUInt"},{"contents":[256,"33925945905763849091306764701773020672766182650665934164865650950910155660009"],"tag":"AbiUInt"},{"contents":[256,"56"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266898"],"tag":"AbiUInt"},{"contents":[256,"233"],"tag":"AbiUInt"},{"contents":[256,"92845497410041399283490539464390891627586117425127194786415090592221898015443"],"tag":"AbiUInt"},{"contents":[256,"4003"],"tag":"AbiUInt"},{"contents":[256,"81005464628943929610308990489427005429517051444972370569616857130517226642298"],"tag":"AbiUInt"},{"contents":[256,"11166473106629827064268999171794575675447955876384850105652379276299183864288"],"tag":"AbiUInt"},{"contents":[256,"112578548806917502273870060697066331754646254647003682183699847178085403100555"],"tag":"AbiUInt"},{"contents":[256,"12527489214248509220248728784443190645169891407951359"],"tag":"AbiUInt"},{"contents":[256,"388"],"tag":"AbiUInt"},{"contents":[256,"51389658442888882086752732909778125899463048428329337944018000037831721221054"],"tag":"AbiUInt"},{"contents":[256,"72021431114476073416286418888969478374447913683842493737218514464285865224726"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088321"],"tag":"AbiUInt"},{"contents":[256,"51527981723393747126937246775555054517190752978698961446762176009968493011215"],"tag":"AbiUInt"},{"contents":[256,"109430952635055754327593348794303461959602206049685652419558079084510606711573"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011518"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266893"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"36520380985302634340105505614962605354721481765922917666057991264185245455653"],"tag":"AbiUInt"},{"contents":[256,"3604"],"tag":"AbiUInt"},{"contents":[256,"440"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"604803"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689597"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689597"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689597"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689597"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639857"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950339"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639888"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639938"],"tag":"AbiUInt"},{"contents":[256,"30879078085205236616157306046241362709390002439405520327059952983849785954232"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577602"],"tag":"AbiUInt"},{"contents":[256,"93"],"tag":"AbiUInt"},{"contents":[256,"37"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011517"],"tag":"AbiUInt"},{"contents":[256,"14819405736730007426431414547222072134285775890779407833272757528287605944496"],"tag":"AbiUInt"},{"contents":[256,"1313373042"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3a","0x0000000000000000000000000000000000000000000000000000000000000033"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007db88","0x0000000000000000000000000000000000000000000000000000000000008ec7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"100000000000000000000000002"],"tag":"AbiUInt"},{"contents":[256,"8"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635937"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000582b0","0x000000000000000000000000000000000000000000000000000000000000003a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"1011"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f85c","0x000000000000000000000000000000000000000000000000000000000000007a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f7","0x000000000000000000000000000000000000000000000000000000000000653d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"4047014553359335447295606355923017122948010542382"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ae4e","0x0000000000000000000000000000000000000000000000000000000000002609"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":[256,"10653805110395547626932654383127306348381935497524434966839246017964544801101"],"tag":"AbiUInt"},{"contents":[256,"17851051078165587298117189588103461"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000106b2","0x0000000000000000000000000000000000000000000000000000000000009204"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"62822469030061808927712058907230027409185063301997525980486801705318525488111"],"tag":"AbiUInt"},{"contents":[256,"57628221327746746105352403422308566177725606825355332343609104926415198006764"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507326"],"tag":"AbiUInt"},{"contents":[256,"454"],"tag":"AbiUInt"},{"contents":[256,"114553008125701173563631299978797819885662205329878135322971974504331521095918"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a61","0x000000000000000000000000000000000000000000000000000000000000231d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc11","0x0000000000000000000000000000000000000000000000000000000000000320"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef4b","0x0000000000000000000000000000000000000000000000000000000000007e4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001e","0x000000000000000000000000000000000000000000000000000000000000116e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639928"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639907"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000067","0x0000000000000000000000000000000000000000000000000000000000000440"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f9d","0x00000000000000000000000000000000000000000000000000000000000013ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81d","0x0000000000000000000000000000000000000000000000000000000000001d6a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030337"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb46","0x0000000000000000000000000000000000000000000000000000000000001392"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6a","0x00000000000000000000000000000000000000000000000000000000000001f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639916"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211779"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"233"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007fff","0x0000000000000000000000000000000000000000000000000000000000006540"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"107"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"27386578626761027335608001211466467417773679457494072408712967321784432753241"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164d","0x0000000000000000000000000000000000000000000000000000000000006dde"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"\\t\\DELO\\251\\243\\220\\132\\245B\\210BJ\\FS\\209\\181[f\\146\\163\\&8Jw\\196-\\240\\220\\215\\156/\\ETBo[\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008449f","0x000000000000000000000000000000000000000000000000000000000000136a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000080772","0x0000000000000000000000000000000000000000000000000000000000003f7f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"3600"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084278","0x0000000000000000000000000000000000000000000000000000000000000015"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"25060424368916694142495392917853095511414298907278180242370345627131235103562"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000020","0x0000000000000000000000000000000000000000000000000000000000005daa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065679","0x0000000000000000000000000000000000000000000000000000000000000386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"32425536315362847999698983211188853818537412719518752522416928249478023584899"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e4","0x0000000000000000000000000000000000000000000000000000000000000e12"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"139"],"tag":"AbiUInt"},{"contents":[256,"13234795305703168937075948146818651847482928652865158854862617644917662726652"],"tag":"AbiUInt"},{"contents":[256,"95208167074745742509054020639442332531992857037601337315673334513085674003507"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639900"],"tag":"AbiUInt"},{"contents":[256,"312"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551612"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef47","0x0000000000000000000000000000000000000000000000000000000000001a41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"1525821514"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015181","0x0000000000000000000000000000000000000000000000000000000000000075"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000680fd","0x0000000000000000000000000000000000000000000000000000000000006a27"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec6","0x0000000000000000000000000000000000000000000000000000000000001341"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"248"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c820","0x0000000000000000000000000000000000000000000000000000000000000049"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"82"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb33","0x00000000000000000000000000000000000000000000000000000000000012b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\b\\204\\tG\\146\\&0.\\254y\\229\\n\\205tT\\EM*VZN\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\237\\160\\191\\222nI\\230\\&7s%\\252 !\\234t\\214c\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"va\\251E\\EM\\US?\\212P\\189\\133+1\\213\\175h\\DC2l\\225[\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\150\\ACK\\181\\171\\160 \\228\\185\\EOT\\174o\\184\\129\\253C\\ENQ\\200\\146y{?\\197\\248\\227B}I\\166\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\131\\DC3\\133\\SOH#m\\143\\228e\\ENQ\\207==\\135\\216\\228\\&6E\\191\\212\\NUL\\253C-\\235\\168\\253R\\170\\168\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\241\\DC2\\247UP_\\160ys\\228\\213\\US\\223g|\\179\\174`%\\168\\205\\&5m\\195\\247O\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\156\\179'-\\147\\225\\193%L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238a\\a\\174\\EOT\\202\\155W\\151\\226\\165SnVR\\220\\240M\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\&5]\\FS\\189\\150\\DC1:P\\167G\\208\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"-\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\171\\DC4\\141\\136\\nMw\\ESC\\161\\ETB\\a[#\\228\\180E\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\156\\164\\246\\DLEd\\229F\\205s\\SUBg\\239\\213>n\\\"\\NAK\\DEL\\251\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\244\\192\\224\\207\\204\\184\\253\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\179\\\"\\190\\216i\\150mS.\\160\\213\\237,q\\141-_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\a\\161;\\NUL^\\223\\155h\\167So\\ENQ@`\\206\\165\\GS\\ENQ\\229W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\190\\235a\\252$~\\CAN\\133@\\188h\\177\\&4*z 7Y\\220b\\235\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\255\\165\\162q_c\\205\\135td\\229\\165\\143-\\128\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147?\\162\\RS\\214\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\232Y\\130\\191u\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241B\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\171\\DC4\\141\\136\\nMw\\ESC\\161\\ETB\\a[#\\228\\180E\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\156\\164\\246\\DLEd\\229F\\205s\\SUBg\\239\\213>n\\\"\\NAK\\DEL\\251\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\244\\192\\224\\207\\204\\184\\253\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\179\\\"\\190\\216i\\150mS.\\160\\213\\237,q\\141-_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\a\\161;\\NUL^\\223\\155h\\167So\\ENQ@`\\206\\165\\GS\\ENQ\\229W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\190\\235a\\252$~\\CAN\\133@\\188h\\177\\&4*z 7Y\\220b\\235\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\255\\165\\162q_c\\205\\135td\\229\\165\\143-\\128\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147?\\162\\RS\\214\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\232Y\\130\\191u\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241B\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\171\\DC4\\141\\136\\nMw\\ESC\\161\\ETB\\a[#\\228\\180E\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\156\\164\\246\\DLEd\\229F\\205s\\SUBg\\239\\213>n\\\"\\NAK\\DEL\\251\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\244\\192\\224\\207\\204\\184\\253\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\179\\\"\\190\\216i\\150mS.\\160\\213\\237,q\\141-_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\a\\161;\\NUL^\\223\\155h\\167So\\ENQ@`\\206\\165\\GS\\ENQ\\229W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\190\\235a\\252$~\\CAN\\133@\\188h\\177\\&4*z 7Y\\220b\\235\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\255\\165\\162q_c\\205\\135td\\229\\165\\143-\\128\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147?\\162\\RS\\214\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\232Y\\130\\191u\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241B\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\171\\DC4\\141\\136\\nMw\\ESC\\161\\ETB\\a[#\\228\\180E\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\156\\164\\246\\DLEd\\229F\\205s\\SUBg\\239\\213>n\\\"\\NAK\\DEL\\251\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\244\\192\\224\\207\\204\\184\\253\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\179\\\"\\190\\216i\\150mS.\\160\\213\\237,q\\141-_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\a\\161;\\NUL^\\223\\155h\\167So\\ENQ@`\\206\\165\\GS\\ENQ\\229W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\190\\235a\\252$~\\CAN\\133@\\188h\\177\\&4*z 7Y\\220b\\235\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\255\\165\\162q_c\\205\\135td\\229\\165\\143-\\128\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147?\\162\\RS\\214\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\232Y\\130\\191u\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241B\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\171\\DC4\\141\\136\\nMw\\ESC\\161\\ETB\\a[#\\228\\180E\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\156\\164\\246\\DLEd\\229F\\205s\\SUBg\\239\\213>n\\\"\\NAK\\DEL\\251\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\244\\192\\224\\207\\204\\184\\253\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\179\\\"\\190\\216i\\150mS.\\160\\213\\237,q\\141-_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\a\\161;\\NUL^\\223\\155h\\167So\\ENQ@`\\206\\165\\GS\\ENQ\\229W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\190\\235a\\252$~\\CAN\\133@\\188h\\177\\&4*z 7Y\\220b\\235\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\255\\165\\162q_c\\205\\135td\\229\\165\\143-\\128\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147?\\162\\RS\\214\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\232Y\\130\\191u\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241B\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\171\\DC4\\141\\136\\nMw\\ESC\\161\\ETB\\a[#\\228\\180E\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\156\\164\\246\\DLEd\\229F\\205s\\SUBg\\239\\213>n\\\"\\NAK\\DEL\\251\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\244\\192\\224\\207\\204\\184\\253\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\179\\\"\\190\\216i\\150mS.\\160\\213\\237,q\\141-_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\a\\161;\\NUL^\\223\\155h\\167So\\ENQ@`\\206\\165\\GS\\ENQ\\229W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\190\\235a\\252$~\\CAN\\133@\\188h\\177\\&4*z 7Y\\220b\\235\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\255\\165\\162q_c\\205\\135td\\229\\165\\143-\\128\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147?\\162\\RS\\214\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\232Y\\130\\191u\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241B\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\171\\DC4\\141\\136\\nMw\\ESC\\161\\ETB\\a[#\\228\\180E\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\156\\164\\246\\DLEd\\229F\\205s\\SUBg\\239\\213>n\\\"\\NAK\\DEL\\251\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\244\\192\\224\\207\\204\\184\\253\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\179\\\"\\190\\216i\\150mS.\\160\\213\\237,q\\141-_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\a\\161;\\NUL^\\223\\155h\\167So\\ENQ@`\\206\\165\\GS\\ENQ\\229W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\190\\235a\\252$~\\CAN\\133@\\188h\\177\\&4*z 7Y\\220b\\235\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\255\\165\\162q_c\\205\\135td\\229\\165\\143-\\128\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147?\\162\\RS\\214\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\232Y\\130\\191u\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241B\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\171\\DC4\\141\\136\\nMw\\ESC\\161\\ETB\\a[#\\228\\180E\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\156\\164\\246\\DLEd\\229F\\205s\\SUBg\\239\\213>n\\\"\\NAK\\DEL\\251\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\244\\192\\224\\207\\204\\184\\253\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\179\\\"\\190\\216i\\150mS.\\160\\213\\237,q\\141-_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\a\\161;\\NUL^\\223\\155h\\167So\\ENQ@`\\206\\165\\GS\\ENQ\\229W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\190\\235a\\252$~\\CAN\\133@\\188h\\177\\&4*z 7Y\\220b\\235\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\255\\165\\162q_c\\205\\135td\\229\\165\\143-\\128\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147?\\162\\RS\\214\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\232Y\\130\\191u\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241B\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"$\\227\\139\\131\\175\\241\\248\\241\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\248\\194\\200fO`\\193\\153\\r\\179{\\201\\DC4\\ACK\\163\\232\\141\\130\\150J\\157\\230$\\215\"","tag":"AbiBytesDynamic"},{"contents":"\".{3\\225\\224\\145\\248TY\\228\\US\\227W.`\\201\\146\\194\\US~\\140\\160\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS@\\214\\129\\194\\USc\\160\\248\\\"\\145\\225\\DLE;\\250f\\241\\184\\188\\153\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"f(V~0\\251!\\207\\198R\\r\\208\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185C\\230\\199N\\183C%\\190\\248+G\\170\\SOH=\\f\\236*@\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\132\\135\\153\\221\\183\\&98\\198+\\138\\151\\252F\\138\\NAK+R\"","tag":"AbiBytesDynamic"},{"contents":"\"D+`aq\\136!s\\158\\213\\198\\163e\\f\\DEL\\222\\&6W\\\\k\\210C\\175v\\DLEn\\179\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\tD\\RS\\223\\&8\\130\\207SNxF\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"DZY\\SIc \\f\\188\\SI\\131.f\\185\\&3\\239:\\252\\171\\EOT\\236\\184\\RS\\244<u\\250\\250\\\\\\RS\\GS\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\196\\197m\\207\\237\\222\\252\\132\\242\\&3''\\171`\\221p\\233\\214\\164\\137wh+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172XM\\223K\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168r0\\203\\136\\fC<\\173\\&5jY\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\244\\130<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234m\\133\\180\\&9\\188.4\\150\\&0\\134C\\248C\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238@2\\188\\248a\\250\\206\\141\\SYN\\252\\210\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\EM\\155\\\"\\165\\190\\211\\NUL\\178\\217\\DC2\\USs]`\\241\\SI\\132\\192\\NAK\\166\\DC4gP\\150\\SYN\\190X\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"sK\\241\\145\\&5\\140\\244P\\DC1\\ETBq\\169\\149\\207\\182>\\215\\137\\133\\186O\\175\\229v\\131vH\\NAK\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\176\\225M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\b\\180\\185K\\235\\138M\\179[\\155^\\r\\129\\248\\SI+\\219\\NAK\\204=\\SOH\\145\\&4U\\CAN\\EM\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\176\\194\\132\\201\\197\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\250\\193+\\205J\\210im\\221\\171\\166\\167\\233=\\\\n\\DC1\\186\\197zf\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200w\\207\\166\\128\\211\\147\\196,\\230\\159&\\128;A\\181\\&5\\201c\\248\\209\\244\\\"\\143mK\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\202P\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\190p$6\\254P\\SYNn/9\\142\\&2\\175\\157l\\165\\204&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183q \\165\\RS\\175C\\DEL:,Qm\\FS\\STXT\\138n\\191\\234\\181\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\143:\\232U2\\191\\DC4\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\194e\\SIB\\189\\GS\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191B\\204hGkz\\235\\172\\SOHA\\DC1\\166J\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN[\\213\\195\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129/\\146\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220Dd\\168\\146\\129\\tJd\\183~q\\a\\178\\DC3\\255\\181=\\143\\a\\243\\204\\142\\137\\159\\189\\131<\\198s\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\131\\141\\245)\\217*A\\243\\186\\218\\DEL\\202\\188\\221DI\\160\\188\\&3#X\"","tag":"AbiBytesDynamic"},{"contents":"\")\\244\\143\\187\\185\\152`JT\\STX\\174!\\216\\244J9 \\b\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\SO\\164\\199{\\250p\\229$&\\227\\225\\&6`[86\\nzy\\192x\\FSg\\ENQ\\250\\141_\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\197\\DC3\\184H\\229_4z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\165\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195!`\\237\\220Uc\\242.\\223\\147\\233ZM\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\".@\\227{G\\182`\\194\\DC4\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\&9\\b\\217\\253\\&3g\\224\\DC4\\139pV\\238{s|f\\234hb\\169\\&0\\173\\231X\\DC3\\211\\151\\205\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"Zmb\\233\\DC3\\FS\\204\\202\\&8:\\235H\\251\\150\\&6W7\\bj\\DC48y\\255*\\SO\\SYN\\148\\210\\251\\212\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\f\\131\\139\\DC2\\198|\\DC1\\164\\245r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\212\\163\\183\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"iXs\\133:\\217\\167+\\192\\153\\186E\\238\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\176\\239\\130\\NULF7\\156)\\150\\ACK\\252\\128jP/V\\ETX\\ACK\\232s\\240\\155\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\n\\255e\\SIa\\242\\ACK\\171&e\\v0x($\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\181\\182tn^\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\184k\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133x\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"?`dn\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169u\\DC2\\233\\139\\&6\\215>\\CAN\\196\\198\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\244\\197\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203eSQ\\239\\223\\204\\ACK\\129\\USy\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\171R\\207l\\152\\157\\244\\161~<(\\181ZWz2\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\194P\\218\\240d\\DC3~\\250J\\248[\\DEL>\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"B)f\\SUB\\243\\142\\135R\\NULJ>N\\192\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\148\\t\\249&\\154\\240\\128&\\161\\172\\&4\\t\\242\\SOH\\239\\v\\DC3\\t\\RS_\\163\\165Z\\248b\\202\\177X7%\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\219\\SUB-I\\223\\244;\\221\\132\\&0n\\242\\220\\234\\177\\244\\219\\152\\252\\168\\236\\178\\176 \\226@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\194\\ESC\\181\\166\\200\\&7\\198\\ESC\\133\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\191\\173r\\172/\\168Eq\\DC2\\190Z\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\171:\\\"H\\171>\\225C+,\\RS\\GS\\169\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"(7:\\210\\211W\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\149\\GS\\168\\235\\214\\DC2\\130\\217k\\191\\RS\\174\\US\\DC33\\177\\r\\202\\SUB8\\151\\166\\nE\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\204\\211\\252SE<\\211r\\183aXl\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\DLE#\\170||\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Xy\\150?\\FS6c\\135\\&4\\SUB /\\210\\240l\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\162\\240!\\ESC\\148Yo\\ESC\\150\\197\\243\\136\\179\\169\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\CAN\\238qL\\ni\\248[\\230\\150\\165/\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f>\\206\\131w0\\DC2\\236\\164\\172\\187j\\193\\196m\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\207\\145\\172pdg\\\"~\\152\\&3i\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\\\\\252QI0\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\133\\241\\219\\212M\\\\\\140\\NAK\\251\\b\\\"#\\247#\\SOPW\\253\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186j\\165J\\a\\237K\\216N1\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\RS/-\\242o&\\147\\209\\202\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\\"\\203\\169J\\198\\215-\\149\\b\\NULy\\158]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\ACK)y&qi\\245\\149\\NUL\\170J\\DC2:\\NAK\\247\\147Y\\ACKy\\ACKa@\\199z\\221\\248\\&0\\222\\SO\\150\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204M \\214-\\216\\161c\\NAK4l@\\132\\RSV>V\\STXn]\\252\\218}yD\\246\\215\\251iD\\GS\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\179\\&4\\162k(yE\\247\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\234\"","tag":"AbiBytesDynamic"},{"contents":"\" \\145\\163n\\200\\SOH\\210\\229\\255Q\\SUB\\157\\142\\249t.3\\209r\\238\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\222\\191\\157\\FS\\181_\\255\\154\\142\\&7\\NAK\\a#o\\141T\\ACK\\161\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\209N@\\181\\DC2OEd\\165Pa+\\234\\&6\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152D\\201$3\\141\\DC2\\210\\234!\\177\\148:\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218A\\ETBd\\GS\\130\\129\\181\\151\\132\\FS\\198\\207r\\161\\rO\\CAN'j\\190V3\\243\\200\\&0\\177K\\245\\&7\\145\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\176k\\STXv\\190T\\217\\237,\\165]\\192o^\\\"\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210sF\\131\\233x\\243o\\a\\154\\179\\SYNDM\\250\\185\\231\\217J\\ETX\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154N\\213}\\204(*&\\NUL\\250}\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\197\\238\\137\\222\\133=\"","tag":"AbiBytesDynamic"},{"contents":"\"8R\\159\\180e<#\\170L\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136?\\DEL\\SO\\n\\EOT\\132)\\141\\171\\136\\215\\203H\\186\\234p3\\215\\146\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"U4}\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\166C\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247S\\f\\161\\224JM0\\247\\213\\203\\233F\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\248\\176z)\\207\\209\\141\\205e*\\NUL\\SOHc\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139HS\\245\\162\\169L&\\174\\DC4\\232<\\174u>\\175\\253\\248,\"","tag":"AbiBytesDynamic"},{"contents":"\"@6\\156\\217`\\253\\aja\\153\\232F\\174>\\191w\\178\\220\\245Iq\\176\\150\\249\\199B\\208A\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\NAKl8?q#k9\\230\\&1\\222i\\135`\\134\\255r\\245\\\\\\144\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\137TTg7\\246T\\217\\145oR\\238\\191\\209\\STX\\220\\&9j\\bj\"","tag":"AbiBytesDynamic"},{"contents":"\"d(H\\DLE\\216\\171\\SUBS\\148k\\158[Pc<(\\NUL\\165\\156p0\\\\\\178\\STXJ,\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231bP\\232S?i\\203\\215T\\171\\139ex\\DEL.\\213\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\">|\\CANAPFXI\\151\\155f\\157-\\159\\SYN\\183\\128\\NAK\\DC1\\223\\SOD+\\\\\\176\\163\\131N\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\ETX\\128\\242+\\134\\NUL\\227\\SI>V'vG\\188\\ACK\\ACK\\154\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151eG\\248wQ\\222oT\\RS\\152\\161\\RS\\198\\223\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\189\\162mZVl\\189\\174@\\165\\227\\190.\\vUa|2p\\157\\\"P\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"Ctr\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"Y-R\\167y\\NUL\\224AW\\217\\180\\225\\161|\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"Y-K\\SYN\\SO(1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225S\\207\\209\\152\\229\\FS*\\210\\172\\t\\CANj\\175\\&3\\SO\\173\\226e\\223\\226\\NUL\\255\\162\\&4#\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"`u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147z\"","tag":"AbiBytesDynamic"},{"contents":"\"p.4\\129d\\200\\183\\t>\\239\\151\\165\\162\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"44505112532655786684482403083955459785979239957403005621989832565327402787568"],"tag":"AbiUInt"},{"contents":[256,"104882092072965648139413163641524064592963861800478272770198673118692476328864"],"tag":"AbiUInt"},{"contents":[256,"108216960433192254518884056872833761895960081515988760290157280141267969704030"],"tag":"AbiUInt"},{"contents":[256,"11343636929130186436226610368459170820391104983626329230379878724010077010331"],"tag":"AbiUInt"},{"contents":[256,"29806580953844708845675169667644973963060957634516662894571703701142861331389"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417343"],"tag":"AbiUInt"},{"contents":[256,"51"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132607"],"tag":"AbiUInt"},{"contents":[256,"90702289363383215483562822013439681720970568346545663319473069648712780967207"],"tag":"AbiUInt"},{"contents":[256,"598066656611455661593100804013939373646883022965"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"113015693784942442666966046170478757283492721825745874185484526227890671162800"],"tag":"AbiUInt"},{"contents":[256,"137"],"tag":"AbiUInt"},{"contents":[256,"18701719949926233470466518321591908075575762213302286393936406244686993261899"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"1533069824"],"tag":"AbiUInt"},{"contents":[256,"1530188797"],"tag":"AbiUInt"},{"contents":[256,"86558835652520121587003983573444368320462607900905690506753544454889321166337"],"tag":"AbiUInt"},{"contents":[256,"77588524075565625915181844019610393489808488158134801500978414410095922703634"],"tag":"AbiUInt"},{"contents":[256,"1612956785028356498245782208873257574559645241885"],"tag":"AbiUInt"},{"contents":[256,"111379314208666609619973872156536459164632584088857139735595512163563787440943"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030337"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"2001"],"tag":"AbiUInt"},{"contents":[256,"44804619619370354698726119966781480279096337042147251962941656375815840408914"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553537"],"tag":"AbiUInt"},{"contents":[256,"655"],"tag":"AbiUInt"},{"contents":[256,"50226507992959175227510115019940224375897896600242237050071366501300215917181"],"tag":"AbiUInt"},{"contents":[256,"1532024083"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639850"],"tag":"AbiUInt"},{"contents":[256,"656"],"tag":"AbiUInt"},{"contents":[256,"139"],"tag":"AbiUInt"},{"contents":[256,"112926143563478032299615698787216974480862326261553845583736181787728531424298"],"tag":"AbiUInt"},{"contents":[256,"79572750198815843657065861901502077595573635467295937549478959678477182036053"],"tag":"AbiUInt"},{"contents":[256,"31"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"},{"contents":[256,"87959811765930091452568904754430094029199504542285616224381013444773238760983"],"tag":"AbiUInt"},{"contents":[256,"87959811765930091452568904754430094029199504542285616224381013444773238760983"],"tag":"AbiUInt"},{"contents":[256,"87959811765930091452568904754430094029199504542285616224381013444773238760983"],"tag":"AbiUInt"},{"contents":[256,"87959811765930091452568904754430094029199504542285616224381013444773238760983"],"tag":"AbiUInt"},{"contents":[256,"87959811765930091452568904754430094029199504542285616224381013444773238760983"],"tag":"AbiUInt"},{"contents":[256,"87959811765930091452568904754430094029199504542285616224381013444773238760983"],"tag":"AbiUInt"},{"contents":[256,"87959811765930091452568904754430094029199504542285616224381013444773238760983"],"tag":"AbiUInt"},{"contents":[256,"87959811765930091452568904754430094029199504542285616224381013444773238760983"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062339"],"tag":"AbiUInt"},{"contents":[256,"338"],"tag":"AbiUInt"},{"contents":[256,"97837511872226066911129955421390060320964943197707594879059566524765140306293"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639933"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062336"],"tag":"AbiUInt"},{"contents":[256,"73122550452078666725937365891687383082759688134355180455449498134171957510806"],"tag":"AbiUInt"},{"contents":[256,"27363588369562578785895931788289864955930353851801623151629051130000014757536"],"tag":"AbiUInt"},{"contents":[256,"79276747990846954947709413390979464174763765603229705773297405978640562604673"],"tag":"AbiUInt"},{"contents":[256,"308"],"tag":"AbiUInt"},{"contents":[256,"45692011655608161867099315854959668269254533644715376002827550317469282789019"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"3997"],"tag":"AbiUInt"},{"contents":[256,"99999998"],"tag":"AbiUInt"},{"contents":[256,"6"],"tag":"AbiUInt"},{"contents":[256,"67446543256872074075801909683798594558928631175446737838645642861638433955683"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630936"],"tag":"AbiUInt"},{"contents":[256,"78288672421438004304739485661421426863318809744351015272506722490389690471472"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781057"],"tag":"AbiUInt"},{"contents":[256,"103334564911168840270589064156175733546371053275858855380721725814961158857918"],"tag":"AbiUInt"},{"contents":[256,"37122319975108662921730727155150077576970471989472322607632018378850840523921"],"tag":"AbiUInt"},{"contents":[256,"12342578345219247279572687473356062060012991170349059578432240221614122458424"],"tag":"AbiUInt"},{"contents":[256,"17463526812346577818477888306440473757749973752929188136579816502204431372888"],"tag":"AbiUInt"},{"contents":[256,"17463526812346577818477888306440473757749973752929188136579816502204431372888"],"tag":"AbiUInt"},{"contents":[256,"17463526812346577818477888306440473757749973752929188136579816502204431372888"],"tag":"AbiUInt"},{"contents":[256,"17463526812346577818477888306440473757749973752929188136579816502204431372888"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609600"],"tag":"AbiUInt"},{"contents":[256,"500"],"tag":"AbiUInt"},{"contents":[256,"21699072659554369362399689987548725685277018907764394356540369578216940800054"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1532078284"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428160"],"tag":"AbiUInt"},{"contents":[256,"34782423387387142704885417502394985113322803046475127519760896204923270366931"],"tag":"AbiUInt"},{"contents":[256,"1530839730"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"64025509121088929035603079082216969717593611791628177375298812378675222117800"],"tag":"AbiUInt"},{"contents":[256,"7739605670133890865925826769604588471407650378508438250293871062320540262009"],"tag":"AbiUInt"},{"contents":[256,"73472735121117132672578177478366299020101026415673707669460996595648776481681"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635934"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908086"],"tag":"AbiUInt"},{"contents":[256,"67462502669039820318390340788252871029826035752475224652906558415443339845640"],"tag":"AbiUInt"},{"contents":[256,"55462780309868078929460878315684902932920732760512796802647237543608545706006"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266894"],"tag":"AbiUInt"},{"contents":[256,"1534346147"],"tag":"AbiUInt"},{"contents":[256,"83715615304995322500750735197231000567162390888945615770231091475945248340912"],"tag":"AbiUInt"},{"contents":[256,"82248369504441453161285576077341681595628806771581723007246577034483753855544"],"tag":"AbiUInt"},{"contents":[256,"1526462290"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609601"],"tag":"AbiUInt"},{"contents":[256,"74835710574163313670421454154289196606898630588910485348308647025088852359984"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639705"],"tag":"AbiUInt"},{"contents":[256,"233950957698653276266307098244858950041"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"59096254282916563085273391825851921796771372923230877264887034857131543328488"],"tag":"AbiUInt"},{"contents":[256,"76953518382881168638257236476959654668668110890957787278789246104826686889521"],"tag":"AbiUInt"},{"contents":[256,"82052264857648601987951605129398595429714937141424598096531885551242166248693"],"tag":"AbiUInt"},{"contents":[256,"83562894314838100239180208371140761865987361939462257608156517396870087361789"],"tag":"AbiUInt"},{"contents":[256,"949"],"tag":"AbiUInt"},{"contents":[256,"38866653346154769557110546380137965733909126958610141266460344105859265005142"],"tag":"AbiUInt"},{"contents":[256,"56964121323488818883515648521711367687832434458999968164393922107268141838148"],"tag":"AbiUInt"},{"contents":[256,"4510217244399387166359261302325457774101664067814526781289295345204795585102"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639909"],"tag":"AbiUInt"},{"contents":[256,"48051791907924666889889003172610599175427220498479787948293177468596984886850"],"tag":"AbiUInt"},{"contents":[256,"15679983190908372419088635942384227711305736323950922386689400672003450526957"],"tag":"AbiUInt"},{"contents":[256,"1528390333"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f95","0x0000000000000000000000000000000000000000000000000000000000000734"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c2","0x000000000000000000000000000000000000000000000000000000000000003d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"721"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce51","0x000000000000000000000000000000000000000000000000000000000000006b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e761","0x0000000000000000000000000000000000000000000000000000000000001315"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"45420729949017291697130841058517787232845577403427831415542886910010895223907"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030337"],"tag":"AbiUInt"},{"contents":[256,"102"],"tag":"AbiUInt"},{"contents":[256,"86903222028534447440400116588725883279734710837129667368060141377682287511842"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":[256,"51555524920840754376997695747357468677755261477019523560111168103047831667355"],"tag":"AbiUInt"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":[256,"90028002176742892156405142372482796206870092695539276457830581726120098969457"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac2","0x0000000000000000000000000000000000000000000000000000000000001273"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"41360531110333323369902601246971666825073546389961213178291719527991006836564"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000475d0","0x0000000000000000000000000000000000000000000000000000000000001338"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"1533121058"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000038","0x0000000000000000000000000000000000000000000000000000000000000060"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f35","0x0000000000000000000000000000000000000000000000000000000000009d20"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":[256,"14726063833261004191766613966812523526839599017481660846465710364524518986350"],"tag":"AbiUInt"},{"contents":[256,"64059545059074551439112147876701301130070189858421450355220377686513620305086"],"tag":"AbiUInt"},{"contents":[256,"319725780559776905"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae9","0x0000000000000000000000000000000000000000000000000000000000000011"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008aa53","0x000000000000000000000000000000000000000000000000000000000000ec38"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"54554282989105050460165558492844775386815473159858386548566797597303336782660"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e9","0x0000000000000000000000000000000000000000000000000000000000000fa3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"33914204123458492349422487900684023150602236061540145477334306849457850887934"],"tag":"AbiUInt"},{"contents":[256,"58486893451817057275672538745947067506004482091271553414354296853345038848239"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1c","0x0000000000000000000000000000000000000000000000000000000000001319"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"85586256513708706978226437203452227407493521519667185573774036760278667221760"],"tag":"AbiUInt"},{"contents":[256,"604802"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e376","0x0000000000000000000000000000000000000000000000000000000000003f7c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"24"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000197fc","0x0000000000000000000000000000000000000000000000000000000000000013"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021649","0x0000000000000000000000000000000000000000000000000000000000008196"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"&9\\147\\130\\209\\&2\\192\\240\\128\\184:\\198}cf?H\\162\\EOT\\ETBO\\152\\213\\DC3\\a\\134\\n\\185\\251\\215\\183\\213\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000633a0","0x00000000000000000000000000000000000000000000000000000000000003ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"6692527570225309218058215144247757654245621425884176164864077879518996694844"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce4f","0x0000000000000000000000000000000000000000000000000000000000009202"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"75584970095312190577794681179599559226421464980460471524996978383776048093610"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000088","0x00000000000000000000000000000000000000000000000000000000000013ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077bce","0x0000000000000000000000000000000000000000000000000000000000000001"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0e8","0x0000000000000000000000000000000000000000000000000000000000006dde"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"572"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000053","0x0000000000000000000000000000000000000000000000000000000000006ddf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636334"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e6","0x0000000000000000000000000000000000000000000000000000000000001325"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"95279402097486645142534506414159368264753145325793243756067767187122621545545"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e8","0x000000000000000000000000000000000000000000000000000000000000653d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232b","0x0000000000000000000000000000000000000000000000000000000000003f30"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000301f4","0x0000000000000000000000000000000000000000000000000000000000008a77"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae7","0x0000000000000000000000000000000000000000000000000000000000006542"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2c","0x0000000000000000000000000000000000000000000000000000000000000100"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce55","0x0000000000000000000000000000000000000000000000000000000000001379"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"4370000"],"tag":"AbiUInt"},{"contents":[256,"71792644361084489296013008395058771758110530547422622460214463719287273488510"],"tag":"AbiUInt"},{"contents":[256,"8998"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"101368889073869041124452451501598118566101862283526000175024378888452957801828"],"tag":"AbiUInt"},{"contents":[256,"3371337492609401447145376023191526339210696151507363930142239370591675536251"],"tag":"AbiUInt"},{"contents":[256,"37483633283210778790627428242561072979628565981441972158932873342203304216126"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a6d7","0x000000000000000000000000000000000000000000000000000000000000012a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[8,"36"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006e7b7","0x000000000000000000000000000000000000000000000000000000000000001a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232c","0x0000000000000000000000000000000000000000000000000000000000001386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead2","0x000000000000000000000000000000000000000000000000000000000000e2be"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd35","0x0000000000000000000000000000000000000000000000000000000000009200"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"83"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb4a","0x0000000000000000000000000000000000000000000000000000000000007117"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639033"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015183","0x000000000000000000000000000000000000000000000000000000000000136f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"86403"],"tag":"AbiUInt"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1b","0x0000000000000000000000000000000000000000000000000000000000001349"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdc","0x0000000000000000000000000000000000000000000000000000000000004f13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d2","0x0000000000000000000000000000000000000000000000000000000000000306"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222589"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003f46f","0x000000000000000000000000000000000000000000000000000000000000711a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"46236034881893556251523891604599142781961374657046538138338957153659519538928"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb24","0x00000000000000000000000000000000000000000000000000000000000001f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"\"}\\160\\&8\\209r\\ETB$\\166\"","tag":"AbiString"},{"contents":"\"\\241\\200l\\148Y/\\US\\162\\r+\\250\\200\\v/\\145\\189\\174U\\183\\183\\183\\183\\183\\183\\183\\183\\183\\183\\183\\222\\206\\CAN\\185\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"112227727385318490318390068350363496282188965931626100773677574290711834404352"],"tag":"AbiUInt"},{"contents":[256,"1608848330941149660885234338863369071469944525269895077903791669773090590101"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"47170236934093335165234459"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637939"],"tag":"AbiUInt"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c9","0x0000000000000000000000000000000000000000000000000000000000008ecb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"78900010858328865657428602505742257665905218407826513270036605147815669424044"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5e","0x000000000000000000000000000000000000000000000000000000000000037e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"2464719938513166191932204135366349264875744550136849668754600932735019046667"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eafd","0x0000000000000000000000000000000000000000000000000000000000006b0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639881"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb46","0x000000000000000000000000000000000000000000000000000000000000b44b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"1531110609"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c7","0x0000000000000000000000000000000000000000000000000000000000005d4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"70662053109587582468070878850466757315330809399803912386730151460832948469974"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000df93","0x0000000000000000000000000000000000000000000000000000000000004432"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5c","0x0000000000000000000000000000000000000000000000000000000000007116"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"895"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000030","0x0000000000000000000000000000000000000000000000000000000000001391"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]