[{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639864"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb35","0x0000000000000000000000000000000000000000000000000000000000009a9f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"103"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5d","0x00000000000000000000000000000000000000000000000000000000000001f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d51","0x00000000000000000000000000000000000000000000000000000000000087a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000044","0x00000000000000000000000000000000000000000000000000000000000095df"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232b","0x0000000000000000000000000000000000000000000000000000000000000f9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"79228162514264337593543950338"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59c","0x000000000000000000000000000000000000000000000000000000000000a1a4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089b73","0x0000000000000000000000000000000000000000000000000000000000008a16"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef48","0x0000000000000000000000000000000000000000000000000000000000001022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"82423108294967528405116137827720309900957065563117409797301313432919358394158"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"41483653822814922507719632129776993233416005334577709548957873082404245181462"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011520"],"tag":"AbiUInt"},{"contents":[256,"95372735298204104037816425867642152507454497289710646916628276887936195287833"],"tag":"AbiUInt"},{"contents":[256,"23539466278228561689230143012056281258640365364615070034281745984767664966440"],"tag":"AbiUInt"},{"contents":[256,"100028953042660840433480207534272374110707113648308016959385678714442681477812"],"tag":"AbiUInt"},{"contents":[256,"1008"],"tag":"AbiUInt"},{"contents":[256,"85063842938358179881697592792788858500303554469977719190133399207198956440261"],"tag":"AbiUInt"},{"contents":[256,"111294534542623762181307332588131245459740038049454704207268015722458883322455"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636338"],"tag":"AbiUInt"},{"contents":[256,"534"],"tag":"AbiUInt"},{"contents":[256,"17775895150999454212035852322005924263374258662639920315621939678419859541405"],"tag":"AbiUInt"},{"contents":[256,"79018791292107499068944910520972504718599414380563047758067848054500092455445"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639937"],"tag":"AbiUInt"},{"contents":[256,"486"],"tag":"AbiUInt"},{"contents":[256,"40592483780847993300981410016380644176567622595718453680460011831203001516719"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000002"],"tag":"AbiUInt"},{"contents":[256,"95704603431204106900892321507698937151284895619634772683718955604822544073845"],"tag":"AbiUInt"},{"contents":[256,"10510717526002012817404093584200024610931592472587955526639663425005932192758"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088319"],"tag":"AbiUInt"},{"contents":[256,"1"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428160"],"tag":"AbiUInt"},{"contents":[256,"78568975635205834618316360654515698518634731898245783751919856337109742139484"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639911"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"28764153444643895437213596092082791695658799759210292224638022543267825380573"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629932"],"tag":"AbiUInt"},{"contents":[256,"4370000"],"tag":"AbiUInt"},{"contents":[256,"7824806929648212812187424112880145696395093868826361618215208725876622981629"],"tag":"AbiUInt"},{"contents":[256,"71782852526034623900981622811612287714698753494497889221773787097471567717"],"tag":"AbiUInt"},{"contents":[256,"55018199710403080447324340452103519714005172534956"],"tag":"AbiUInt"},{"contents":[256,"503"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"27895301078029553813527266085066419296965087407607594791042540567482317053631"],"tag":"AbiUInt"},{"contents":[256,"13491457049264812"],"tag":"AbiUInt"},{"contents":[256,"38516547084633782990732760611934517372067728318271167627423131371630425344141"],"tag":"AbiUInt"},{"contents":[256,"71"],"tag":"AbiUInt"},{"contents":[256,"81577973580643641914886042770808216382584403611179565065455200644201050058256"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac0","0x0000000000000000000000000000000000000000000000000000000000001339"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000000094f1778dc022648"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"Test Token\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010978","0x000000000000000000000000000000000000000000000000000000000000e344"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"1767608248948185947219990235000089357533675066766151168670597284004258012"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e3","0x000000000000000000000000000000000000000000000000000000000000711a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"qea\\138\\168\\140 y\\244\\231Y\\192\\231\\156\\213\\191\\255,\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\242^\\206 \\195q\\202\\208]\\213X\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176mr18W@\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\152B\\232\\fT\\187\\CAN\\DC1\\SO\\v\\DC2\\NAK\\242\\238\\233\\&1N\\199\\217\\EOTN\\a\\252Q\\248HfM2\\196\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\135\\USv\\153\\FS\\156\\166\\206\\SO\\234\\241\\t\\191\\195\\CAN\\255\\&2\\188\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\174ZO\\184\\197Y\\200\\181\\243W\\DC3\\n.\\187a8\\214\\247\\211\\NAK\\197\\251\\165Q\\161\\NUL=6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\177\\&6\\166U\\246_\\DLE\\248\\ENQ\\234X1\\n\\RS\\GS5\\236\\144\\SI2\\210\\NUL\\240\\233\\214\\243+\\187Jmu\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158R\\DC3\\238\\a\\135K;V\\b\\221\\153\\185|\\167p\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"Re\\160\\255\\t\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\167\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\177\\251NF\\vZ\\185\\223K\\199\\252\\251\\226\\224\\ESC\\180\\f\\219\\191\\236\\223h\\182\\b\\CAN3G[\\195\\FS\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128>\\174\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\DLE\\DC4WT\\225\\198O\\229\\\"E5Wa&\\148\\227h\\166:\\213\\245\\&9:]-\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\206\\255X\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\241\\b\\178\\251\\194Z\\235'\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194N,@\\r\\216\\NUL\\f\\n\\EOTZ\\226.:\\143\\136]\\137\\136\\208\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\139Knr~ \\FS_\\213\\129\\177\\USOh\\130\\219y\\tF\\206\\240\\129\\190\\159d\\244\\137W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\229\\227\\ETXFr zQM\\187\\179S\\186\\140\\155l\\ACKXc\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"k\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\249\\&6\\138\\227e\\176\\201v\\130\\134\\CAN&\\167\\153\\255>\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\163X\\181\\206^\\143\\173\\236\\US\\227\\158\\168\\226\\&7\\254\\ACK\\ETB\\141]\\147\\172\\133\\233\\156b\\134bur\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2O\\250wX\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\218\\239\\251\\128\\167\\210\\224\\208/\\167\\255\\US\\234\\169\\244\\180\\160\\163\\248\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\225[\\166\\149\\&4LT\\r\\ESC{)\\f\\CAN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"B\\129\\165\\USi\\234\\&9W\\208GaI\\173\\STX\\185\\164\\197B[\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\&9+\\255\\154\\249\\a\\170\\r\\243\\SO\\209\\193l\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\182\\134\\211\"","tag":"AbiBytesDynamic"},{"contents":"\";\\146\\205z\\190W+\\230\\151\\209\\181n+\\169]#}\\222\\194\\&2\\229\\195\\&1\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"-,\\196d,!\\191\\200T8\\243\\&0\\SYN87E\\173\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231l\\159B\\f\\ACK\\233\\196\\134\\DEL\\205\\132\\248S\\172\\196\\215\\254\\227\\226]\\250\\249G\\FS\\152\\194\\EOT\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\204\\213\\207\\139\\155\\210\\\\\\DC2_\\198k>\\150\\180`\\231\\242\\165\\FS_\\STX\\236\\ai?\\181\\n\\172\\RSs\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244V0x$\\194\\183\\t\\165\\225\\207\\203\\143\\148\\153\\162\\155h\\254\\t\\143\\158\\&7\\217\\223\\&5\\183\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"Ii\\151\\168\\187S\\DC2\\220y\\194\\205\\154\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\DC4J\\192\\205\\138\\NUL6\\254N\\\"\\SO\\176\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"fGbZ\\SYN\\199D~12\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\231\\133\\160`q\\148\\241k\\230{f\\244\\182\\&1\\rR\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2_\\137*\\181\\208\\227\\200\\252\\223\\212o\\SOH\\203B\\206\\190cgZ\\142\\184\\149\\196\\t~B;\\209\\203\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\191y\\226\\&4\\138\\EM6\\250Y\\SI\\178x\\177\\157\\SUBT@pt\\157\\nc\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB5D\\SO\\169\\194\\DC3\\154\\244\\f\\249\\155\\n\\145&\\135\\SYNn\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\225{x\\233\\190\\195\\&2P\\185\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\214\\STX\\152A\\182\\NULOr0\\170\\192\\136\\235\\&62[;\\151\\156\\136\\198\\215\\SIn$\\SI\\f\\255V=c\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\144a~\\166vq\\224\\146\\233\\255\\ETBl*\\174\\141O\\185Q\\232.K\\144\\252j\\238G\\187I{t\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241g\\136\\\\\\200\\206$\\199\\184\\204\\226FW\\163\\DC11/\\175Q\\DC2%\\190\\162\\249\\177X\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\248\\209m\\138\\170I^\\160\\215\\173\\220z\\224\\248\\254b\\255Q#\\143\\228\\138\\139\\172\\ACK\\128\\219\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"%=\\204\\172\\ENQ\\RS^'\\182\\187z\\ETB\\140\\192\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\ACKKs\\STX[\\139F\\ACK\\219;\\215\\219\\143\\223b\\147\\r\\223\\ESC\\r\\138\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\222\\180<i\\240\\231\\189\\186\\SUBd\\243\\a=A29\\183$m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\176\\136\\159\\230\\&0q\\222\\160\\&2\\\".{T\\161\\165\\EM\\SO\\203\\198(\\ESC\\130\\RS\\134\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\249g\\141\\204;^\\163\\NAK\\157\\250\\160\\196\\222\\SUB\\199\\&4\\216\\213\\160\\GSS\\STXp\\142\\NULX\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\157\\231q\\NAK\\SUB\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\224>$#~\\SO\\175\\181%R`\\251\\230\\132\\232\\189'w\\SO\\SI7Q\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\249\\ETBWn\\170\\200[R\\141@\\165P\\166\\243\\&2\\187\\STXAn[]!\\193\\CAN\\234j \"","tag":"AbiBytesDynamic"},{"contents":"\"\\154$v*\\DLE\\209\\252\\148(\\150'\\220\\184 `mgn\\236i\\218(|S5iB\\233\\195\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\ETB\\v\\250\\135z\\SI\\177\\189\\228\\139\\140\\ESC\\232\\252\\227\\138R\\143t\\207\\190\\197DWNk\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\230\\b\\tW\\146\\&0\\US\\198+\\237\\171\\146\\209D\\215/f\\241\\v_\\255\\189\\209\\SUB\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\160\\139.\\141\\219\\176\\149\\163\\181\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\131\\EOT\\137\\199\\196\\252\\206\\147\\169*\\195\\151\\150\\129r\\222C\\229y\\225\\167M\\192\\197\\227\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169/CfZ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213iM\\182\\STX\\FSP\\137\\216y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215@~\\EOT\\177\\241\\193\\221\\230\\239\\135\\183qst\\145\\241\\139,\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"vq\\178\\&9\\158\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOA\\220\\229\\230\\244,\\158\\DC1\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\&9\\145r\\129&c\\235\\213i 9\\200\\226a\\247\\203v\\234I\\194\\171lp\\SYN[\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\197j\\132\\236\\236\\248\\221jT\\192\\FS_\\144k\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\232\\139M\\180\\n\\253\\146f]\\205\\228\\SOH\\221\\SI!\\ENQ]\\237\\188\\218\\178Z\\154F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\r\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\164\\142\\va\\167\\US\\168/\\173X\\153\\210\\237 \\DLEsg\\DLE\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\150\\167\\f\\252\\227U\\207\\217\\249\\233\\128B\\211\\146N\\131\\228\\185^\\238j\\187D\\223\\222$\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\248\\170\\SOH\\243\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"DK\\178}\\176\\180k\\228n\\195\\228\\SOH<\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\179\\208J\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"U^V\\143)rR\\r\\DC3c'\\209\\158\\216\\ETX\\173P\\142\\154\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201On\\EOT\\138\\175|\\149e\\163\\241\\r1k`l\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\DC1\\163N\\184\\194\\199\\215\\212\\243\\212\\226-U\\231\\161\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\245G\\\"\\209?\\198\\169'\\191\\b\\180WD\\247D\\230\\149\\GS\\SOH[\\157f\\216?\\236\\207\\130\\209o1\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\EOT\\240\\158\\172:\\165\\246\\214\\FS\\DEL\\201R(\\130\\DC4h\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\DEL\\202\\CAN\\231)\\v\\138\\134&>\\165\\212>\\194\\STX\\220_\\145\\SUB\\130\\165\\b\\237e\\243&\\195b\\185\\171\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\251\\136\\210Y(x\\154\\143\\134@T1\\204\\&5\\130\\148\\161;\\242\\206E~\\237\\&0\\131,;l\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\181@\\189\\241\\165\\220:\\235\\172t>\\244,w\\249z@q\\223Z\\192z\\238\\&7\\245\\SI\\142Sp\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170i\\162~l\\NAK\\150\\&4cl\\DC25\\201u7\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\ESC\\230\\SI\\167\\217\\132l\\170\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\251\\236\\231\\r\\SYN\\152u\\156\\208\\195\\182`\\223`\\186\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\STX1^r\\224N!\\175\\233\\237G\\DC2\\210\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\222Q\\163\\241|\\190z&\\178!A\\DEL\\208$SL`\\145\\197er\\195\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\179_\\167\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162x\\252V\\DC1\\194\\&3+\\139k\\184Vxy\\245\\242j\\133\\US\\185\\146\\&6\\GS\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"6\"","tag":"AbiBytesDynamic"},{"contents":"\"K.o]-\\150\\&6\\196\\176\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"_h\\ENQ\\DC3\\163\\NUL\\207\\176\\241\\133\\a\\204\\180\\151\\212v\\ETX\\211\\212\\t]M\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\241\\r\\DC1\\187\\SYN\\242\\&5 \\132<u\\STX\\240\\179\\246\\\"\\183\\&8\\224\\131\\166\\DC3\\213\\139\\EM\\217`\\169m\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYNX\\183q\\143\\226\\163\\STXcI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151(\\130asgg\\186\\151*\\140\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\DC1\\ETX\\CAN\\214\\159\\183\\228,b\\211\\254\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191A\\152C\\241+\"","tag":"AbiBytesDynamic"},{"contents":"\"T]\\180\\194Sc\\SO\\217Xo\\181\\219\\166\\NUL\\167\\153\\144\\192\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\152\\169\\201\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\212z\\USp\\246\\224\\&3h\\250\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"(\\189\\178\\200\\158:\\134\\DEL\\246\\225\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"g9#\\NUL\\204'O\\DC28\\236\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\215\\160\\&0\\209\\177L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\158U'\\RS\\132\\142Y\\US\\139\\169M\\141k\\187*Tgb\\240~\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"rG.\\133A\\248\\&0\\224\\DC4\\DLE\\225\\200^\\232\\224\\208\\237\\222v\\165urVW\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"(V\\187u\\169\\207R\\199\\SIO\\175O\\DC1\\248\\214\\248!\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\222\\184u6\\173\\156}\\136\\184\\NULg\\134{V$\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\SI?{@\\STX\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"?K\\214\\SIE\\179.\\152\\128\\218\\DC33M\\253\\239\\236\\ACK\\250\\191\\&3\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241s\\144\\&6}\\164h\\EM#\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\180\\DC2\\SUB\\145qu+\\227\\142!\\219\\240?\\142\\ETB\\238#\\b\\210\\149\\164\\136\\230\\175\\233\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\222\\197+\\244\\156\\&5B\\175Ge\\180\\DELW\\178\\152\\218\\158I\\246|\\240\\225J\\241~\\151\\254\\223$+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\242\\165\\234\\FS\\145\\187\\212\\172Vg\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\f\\237\\187\\182\\SUB{\\DLE/~\\fv\\198\\137\\205\\131\\r=\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\240\\193\\236^p\\SUB\\DC3\\235L\\EM\\209\\158\\138\\186f1\\151<\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"p\\239NB\\151\\202\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"zMN\\STX\\165\\\"\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\141kM\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"#D\\205\\188\\192\\226b\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170S\\236s7\\168D\\157\\v\\206\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"dK%\\190\\130:\\ETX\\140\\217L\\246\\226U<\\191\\239 l\\ENQ\\SUBs5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166u\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234w\\161=\\EOT\\204@5^q\\154hE\\135\\SOH\\161\\243\\185\\185 \\223\\180\\238\\DLE\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\f\\182\\202\\&4L\\158=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221Ldp\\170;3\\212(Z\\DC4\\176\\254\\STX\\234>J\\228\\250Q\\159\\173{\\DC2\\SUBe|)F\\220\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\173S\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1529772272"],"tag":"AbiUInt"},{"contents":[256,"92594319925034451794810284"],"tag":"AbiUInt"},{"contents":[256,"1526728347"],"tag":"AbiUInt"},{"contents":[256,"111471535302535100667655442096820906650446328273938010708144274120672888570715"],"tag":"AbiUInt"},{"contents":[256,"71769466175670167742003669061897049423625107070289227085734336834185484434507"],"tag":"AbiUInt"},{"contents":[256,"1532172850"],"tag":"AbiUInt"},{"contents":[256,"84283828667333164718718776566466594493779304064033461316221071708157172609593"],"tag":"AbiUInt"},{"contents":[256,"19723521582027460394655848477210668866064676026989766117311301671572436180792"],"tag":"AbiUInt"},{"contents":[256,"1525114861"],"tag":"AbiUInt"},{"contents":[256,"31250744287434816464681696384304231649256040835876270810049"],"tag":"AbiUInt"},{"contents":[256,"1526492603"],"tag":"AbiUInt"},{"contents":[256,"28267684357561913913023382789076777550438175584136707865162583358967479611664"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"65704627670539638270154153711204008783819174595412046768765558679624217824264"],"tag":"AbiUInt"},{"contents":[256,"1530847382"],"tag":"AbiUInt"},{"contents":[256,"72949207409045068967231248780775039132401985051873001570145857790963021383510"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1537589451"],"tag":"AbiUInt"},{"contents":[256,"1533561954"],"tag":"AbiUInt"},{"contents":[256,"89082065204043683976792535831551403594139112960522812575319927705164923711333"],"tag":"AbiUInt"},{"contents":[256,"81291410955514281528444528305119327822287297542615496910647805326960121378822"],"tag":"AbiUInt"},{"contents":[256,"5004"],"tag":"AbiUInt"},{"contents":[256,"13142991663511990193720557672614328834346357023819235166210686373674084431365"],"tag":"AbiUInt"},{"contents":[256,"603"],"tag":"AbiUInt"},{"contents":[256,"14476328601831740620433734423385258890837255710438808498374890345241386378323"],"tag":"AbiUInt"},{"contents":[256,"276"],"tag":"AbiUInt"},{"contents":[256,"79763571016980013698864621486645113805906279655363098124227141202363753456307"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639873"],"tag":"AbiUInt"},{"contents":[256,"49411066709702664106878760565435786023428876070935815166637819611570811112213"],"tag":"AbiUInt"},{"contents":[256,"30"],"tag":"AbiUInt"},{"contents":[256,"70659844932189566561405109768062923642671341024025182567230414630096161849659"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"},{"contents":[256,"342"],"tag":"AbiUInt"},{"contents":[256,"101394598603395158753729913471982260277566533881396026269492229987973744535562"],"tag":"AbiUInt"},{"contents":[256,"19626453281422607811236720509222311065606189831453444438033901026898825840149"],"tag":"AbiUInt"},{"contents":[256,"70439932606456137556781728259756716900099963269250982897230176160564738490130"],"tag":"AbiUInt"},{"contents":[256,"23469425782180452299889341816847086344069302528602943776608764407866961358666"],"tag":"AbiUInt"},{"contents":[256,"35799472007682"],"tag":"AbiUInt"},{"contents":[256,"73417198455994435268449855290594733035157"],"tag":"AbiUInt"},{"contents":[256,"95388102481364067249682071827009068525583668566745526687571808779653117042516"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892766"],"tag":"AbiUInt"},{"contents":[256,"87586949622592529484745951808523456506789259866445462468419476248686988147294"],"tag":"AbiUInt"},{"contents":[256,"54009692172404611778361980663393903586193454349831835478898862888342366957916"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"88353741856753023913580050932499650995489220874273114265526793389375165062897"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"1525528344"],"tag":"AbiUInt"},{"contents":[256,"70235955620186881810192730820648400641975619399036432119017760647669480494035"],"tag":"AbiUInt"},{"contents":[256,"915"],"tag":"AbiUInt"},{"contents":[256,"51728559283489633893614639795807011376350793026962732057736455958225198498728"],"tag":"AbiUInt"},{"contents":[256,"1527617731"],"tag":"AbiUInt"},{"contents":[256,"66324524197074945626076909778160541849571545463554555505314626133653415715679"],"tag":"AbiUInt"},{"contents":[256,"84498126280903599353188165021850440744362607220175741394900740956231363752306"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"48467451308385889573764189540901786891712707574359107677072851870449767941972"],"tag":"AbiUInt"},{"contents":[256,"48467451308385889573764189540901786891712707574359107677072851870449767941972"],"tag":"AbiUInt"},{"contents":[256,"48722492562522011950601542504453896947252849613400894789403204195904751879721"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950336"],"tag":"AbiUInt"},{"contents":[256,"16602784882005280"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000048d8c","0x000000000000000000000000000000000000000000000000000000000000058c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"1524785992"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff7","0x0000000000000000000000000000000000000000000000000000000000001390"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a9a4","0x0000000000000000000000000000000000000000000000000000000000000a23"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"48595635521170250384765833693690856324105932886878592401932400301232012328553"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000091738","0x000000000000000000000000000000000000000000000000000000000000b32f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000009d1c","0x0000000000000000000000000000000000000000000000000000000000004ae0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1525331615"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef4d","0x0000000000000000000000000000000000000000000000000000000000006d56"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000441af","0x000000000000000000000000000000000000000000000000000000000000be6c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"1533120553"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000372d1","0x00000000000000000000000000000000000000000000000000000000000099da"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":[256,"76892146225731938189970285487928195308701663147156453321539239676471253542182"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000082244","0x0000000000000000000000000000000000000000000000000000000000007e50"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004694f","0x0000000000000000000000000000000000000000000000000000000000004b0e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb2","0x000000000000000000000000000000000000000000000000000000000000ca0d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"56210272461121514449486407641642890671977271314778628713488441798303174240698"],"tag":"AbiUInt"},{"contents":[256,"68635838785593575217223888012757865646005161010236974373019905750390087808348"],"tag":"AbiUInt"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007ec15","0x000000000000000000000000000000000000000000000000000000000000eb6b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"56650834743013192758504776521651351778105638294781053604444783919608224566097"],"tag":"AbiUInt"},{"contents":[256,"2038937319514523613455638718783751961147500009114901195630541595238925365077"],"tag":"AbiUInt"},{"contents":[256,"40731552166794120552977327993946371736415391482036964703287297752602243705610"],"tag":"AbiUInt"},{"contents":[256,"12060680719823391478972807622313476432827629109785225381425382581495017826451"],"tag":"AbiUInt"},{"contents":[256,"782"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639632"],"tag":"AbiUInt"},{"contents":[256,"84950131506467664359710456653953516504126777252880885388350149750914919408376"],"tag":"AbiUInt"},{"contents":[256,"1531846275"],"tag":"AbiUInt"},{"contents":[256,"89655990861283240055486263114445227222605792452015770881762502877846733527557"],"tag":"AbiUInt"},{"contents":[256,"3526227717205208949429121680754453859403879608824826776430575192523272344085"],"tag":"AbiUInt"},{"contents":[256,"1532711668"],"tag":"AbiUInt"},{"contents":[256,"479"],"tag":"AbiUInt"},{"contents":[256,"42678092682122390151383992374194026441403467829439581625903490319813870838271"],"tag":"AbiUInt"},{"contents":[256,"113995953381295655171285743805700493959220672056432553012207660450088230152120"],"tag":"AbiUInt"},{"contents":[256,"6675031408897898493493575572413573704551510968390413699523534253989290033591"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"26867863621908090244413923889395764184220022903447955805329644070707069608275"],"tag":"AbiUInt"},{"contents":[256,"82697201651963565555027407"],"tag":"AbiUInt"},{"contents":[256,"94072166355143518122158339"],"tag":"AbiUInt"},{"contents":[256,"66795843294400039042503063781453416611532245760856894104796298943494872509068"],"tag":"AbiUInt"},{"contents":[256,"258"],"tag":"AbiUInt"},{"contents":[256,"36644497593285103515429484614166113966776791614429694070553623641997458121725"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636332"],"tag":"AbiUInt"},{"contents":[256,"1525637769"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731854"],"tag":"AbiUInt"},{"contents":[256,"85041225061784612885313483564483132806769508706129238727596765153217951061434"],"tag":"AbiUInt"},{"contents":[256,"44018969366742515370975132832789515530070169736439281949965570090067656701820"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"93525713270479627893031809389610242968091744086"],"tag":"AbiUInt"},{"contents":[256,"869"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"103519335944910251155596974247501866055303936071182532236536239073654939331351"],"tag":"AbiUInt"},{"contents":[256,"36494165391327731234993138951289342695356940087584795563001183800337984724110"],"tag":"AbiUInt"},{"contents":[256,"431"],"tag":"AbiUInt"},{"contents":[256,"1003"],"tag":"AbiUInt"},{"contents":[256,"1527391429"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"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":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000430bc","0x0000000000000000000000000000000000000000000000000000000000006d7c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x000000000000000000000000000000000000000000000000000000005b4323c3"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000030452","0x000000000000000000000000000000000000000000000000000000000000d13a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"y\\DC4\\216\\251C\\190\\220\\147\\175\\142\\236o\\237?\\205\\250\\DLE)\\\\\\245[\\156\\203\\ETBG\\EMg4\\233JE\\142\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000009","0x000000000000000000000000000000000000000000000000000000000000b603"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"32425536315362847999698983211188853818537412719518752522416928249478023584899"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bad","0x0000000000000000000000000000000000000000000000000000000000002f15"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639929"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639886"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bda","0x0000000000000000000000000000000000000000000000000000000000005b04"],"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,"38845057186434701021790335142877042"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689599"],"tag":"AbiUInt"},{"contents":[256,"92785701116044013490663450440513570379077893014848700594022398740953141861291"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"774"],"tag":"AbiUInt"},{"contents":[256,"772"],"tag":"AbiUInt"},{"contents":[256,"1529874638"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000002c1","0x0000000000000000000000000000000000000000000000000000000000000068"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"1527910408"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046dd8","0x0000000000000000000000000000000000000000000000000000000000001e3f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c439","0x0000000000000000000000000000000000000000000000000000000000003c08"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639839"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000002c0","0x0000000000000000000000000000000000000000000000000000000000002734"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_ASSERTION_STRATEGY_NO_LOSS_ON_FULFILLMENT",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x8324ADfC37e4Ce6B24a34Ced4A13faadbd59Ca97","tag":"AbiAddress"},{"contents":"0x792F3eb0aCD92Dc9ab83c64DA4657B1AA8E47681","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\CANC\\229\\204\\226\\253wf\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"d->\\ACK\\150\\133X\\207\\221\\199\\187\\EOTF\\170\\US\\193f}\\234s\\161M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\129O\\230\\186\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\133\\177\\188M\\152DS\\v_\\181\\173*\\248\\186\\199e\\159U\\177Y%\\229\\ETB\\147\\ENQA&\\239\\148[\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\254P\\161\\214\\169(\\aZ\\132\\170\\216\\194\\222\\144\\175`\\254d\\222\\162s\\196\\247G\\233r(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\&2\\207\\202\\USU<C\\DC2\\143d\\240\\210\\239\\bKv\\ETBb\\176\\209A,\\162\\200\\\"h\\171h\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\137\\200\\224aV\\188\\157\\DC1\\134\\DC2\\172=\\177hU#\\244\\153\\218\\&6\\255U|\\209P\\DLEk\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1532231781"],"tag":"AbiUInt"},{"contents":[256,"669"],"tag":"AbiUInt"},{"contents":[256,"14271813747052609477837932304626230461029050375550743718524436177945742950329"],"tag":"AbiUInt"},{"contents":[256,"2000001"],"tag":"AbiUInt"},{"contents":[256,"1533789304"],"tag":"AbiUInt"},{"contents":[256,"9002"],"tag":"AbiUInt"},{"contents":[256,"94344081017916126741077837451018057768"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639935"],"tag":"AbiUInt"},{"contents":[256,"8732346637740358643957811038043562357600078727123704760680306723775116842257"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636337"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011519"],"tag":"AbiUInt"},{"contents":[256,"66501014629524740794162934988264855955541760061194663369328140325998228740714"],"tag":"AbiUInt"},{"contents":[256,"1526893423"],"tag":"AbiUInt"},{"contents":[256,"75428414414063481314453723316269486317185768861774178593045817351937317584402"],"tag":"AbiUInt"},{"contents":[256,"19"],"tag":"AbiUInt"},{"contents":[256,"19"],"tag":"AbiUInt"},{"contents":[256,"19"],"tag":"AbiUInt"},{"contents":[256,"19"],"tag":"AbiUInt"},{"contents":[256,"19"],"tag":"AbiUInt"},{"contents":[256,"19"],"tag":"AbiUInt"},{"contents":[256,"19"],"tag":"AbiUInt"},{"contents":[256,"19"],"tag":"AbiUInt"},{"contents":[256,"19"],"tag":"AbiUInt"},{"contents":[256,"19"],"tag":"AbiUInt"},{"contents":[256,"19"],"tag":"AbiUInt"},{"contents":[256,"996"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"contents":32,"tag":"AbiBytesType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"\\147\\230I\\180\\191mZV`\\153\\181\\&7\\143)7t\\225\\r\\v\\DEL\\165\\187=\\218\\STXf\\243\\136\\168H\\224\\253\""],"tag":"AbiBytes"},{"contents":[32,"\"21\\211\\172J$\\203n\\138\\210\\129`<\\191r\\131&\\191IT\\169\\237\\231\\201I\\165\\240G\\139\\221\\238?\""],"tag":"AbiBytes"},{"contents":[32,"\"HIGH_PPS_DISPERSION\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"SUPER_ASSET_FACTORY\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"stateless\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\n\\172\\248p\\244\\aK\\173\\137]~\\236\\166\\142\\204\\US\\189*5\\184\\SUB\\230=\\228@\\217\\ENQ\\148\\138\\r\\151\\145\""],"tag":"AbiBytes"},{"contents":[32,"\"vault shares are insolvent\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"\\147\\230I\\180\\191mZV`\\153\\181\\&7\\143)7t\\225\\r\\v\\DEL\\165\\187=\\218\\STXf\\243\\136\\168H\\224\\253\""],"tag":"AbiBytes"},{"contents":[32,"\"21\\211\\172J$\\203n\\138\\210\\129`<\\191r\\131&\\191IT\\169\\237\\231\\201I\\165\\240G\\139\\221\\238?\""],"tag":"AbiBytes"},{"contents":[32,"\"HIGH_PPS_DISPERSION\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"SUPER_ASSET_FACTORY\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"stateless\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\n\\172\\248p\\244\\aK\\173\\137]~\\236\\166\\142\\204\\US\\189*5\\184\\SUB\\230=\\228@\\217\\ENQ\\148\\138\\r\\151\\145\""],"tag":"AbiBytes"},{"contents":[32,"\"vault shares are insolvent\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"\\186\\157\\168\\227\\170\\242\\184\\255\\235\\254\\182Xml\\239yD\\STX\\ACK)\\137\\138\\249\\183\\SUB\\163\\163\\195\\NUL\\245?\\175\""],"tag":"AbiBytes"},{"contents":[32,"\"SUPER_ORACLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"GUARDIAN_ROLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"GAS_MANAGER_ROLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"Invalid yield source type\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"Invalid yield source type\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"x`1\\158\\228g%\\210\\a;\\251W\\202\\254\\195\\DC1r\\238F\\t\\206FUX~\\205Q+\\ETB\\253\\&69\""],"tag":"AbiBytes"},{"contents":[32,"\"maxWithdrawAsShares != maxRedeem\""],"tag":"AbiBytes"},{"contents":[32,"\"\\177\\191\\178\\FS=\\227\\NUL\\SIvnd\\141\\FS\\242\\138J\\156/\\222\\&5\\133y}\\250\\243\\137n7[\\218\\133\\191\""],"tag":"AbiBytes"},{"contents":[32,"\"Canary invariant\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"hook.account.context\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"l\\a2L\\217\\224j\\174\\v\\177y\\209\\145\\144r\\176\\DC3\\242\\215\\220,+\\DEL\\194\\198[`\\209'\\239\\DC2\\223\""],"tag":"AbiBytes"},{"contents":[32,"\"stateless\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"MANAGER_TAKEOVERS_FROZEN()\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"p\\169o\\249\\177\\170\\157N\\142o\\183\\n\\ETX\\242\\203\\189#\\r\\242Qw\\212\\162L\\176\\SO\\145\\133_u\\213~\""],"tag":"AbiBytes"},{"contents":[32,"\"UP\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\169\\134\\175\\138\\151w\\193\\238\\187\\156I\\205.\\153\\DC2z\\159\\229l\\t'\\205\\248\\&3\\246\\195\\SUB\\158h\\\"\\138\\ENQ\""],"tag":"AbiBytes"},{"contents":[32,"\"\\141]#\\181\\233N\\SOH\\DC2]~t\\222\\248\\221\\164E\\210\\210\\198u\\173\\220\\154\\US\\147\\223\\250)\\235\\RS]\\215\""],"tag":"AbiBytes"},{"contents":[32,"\"d\\n\\133\\188\\200\\&9\\214\\217\\131\\245\\GS\\181\\143\\DC3\\NUL\\249\\STX\\176\\211]T\\164\\143\\t\\130,\\250I^x\\DLE\\t\""],"tag":"AbiBytes"},{"contents":[32,"\"\\176XR>\\250\\a=\\159\\169f:p:w\\250W\\RS\\148\\202\\132\\246\\DC3\\CAN \\175\\242\\199\\150 r\\170n\""],"tag":"AbiBytes"},{"contents":[32,"\"BANK_MANAGER_ROLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"`\\217\\&4\\225 o\\230\\NUL\\236Oq\\226I\\130Z\\168\\149\\DEL\\211\\189\\187D~\\178DR[-,:\\175i\""],"tag":"AbiBytes"},{"contents":[32,"\"1\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\209,\\254\\204\\197\\172\\183\\232w\\ESC-\\SYNr\\EOTt\\249\\224\\DC2Hc;ws\\160\\241+D\\203:H\\207\\178\""],"tag":"AbiBytes"},{"contents":[32,"\"1\\129\\USG\\ETX\\251\\227n\\145\\ETX\\209%\\US\\184\\173\\170\\177\\184\\FS\\176\\236[\\205\\229\\131J\\134\\172\\RS\\198\\213~\""],"tag":"AbiBytes"},{"contents":[32,"\"\\209\\\\\\SUB\\DC1!\\227\\173\\248\\255\\f\\241l\\194\\146\\&9\\182R\\ENQ_\\215\\f\\233\\DEL\\129\\153\\209\\234&\\231\\ESC0\\201\""],"tag":"AbiBytes"},{"contents":[32,"\"SuperVault\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"ag\\140M\\131\\\"\\211.\\134px\\ETBy\\202\\174R_i\\179.\\ESC5H\\236\\133\\138\\193\\191\\176\\191X\\NAK\""],"tag":"AbiBytes"},{"contents":[32,"\"SUPER_GOVERNOR_ROLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"GAS_QUOTE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\166\\DC4\\251z\\144_\\fG\\214f|e\\SUBN\\229\\181z\\186K\\236\\220&j&\\168\\238\\228\\150m\\157k[\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"contents":32,"tag":"AbiBytesType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"7}\\147\\&0\\167\\152\\140\\STXp\\140\\237d%~\\205R\\170A\\168\\b%\\245\\254\\194z\\175\\222^\\177\\128kR\""],"tag":"AbiBytes"},{"contents":[32,"\"INVALID_SIGNER\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"W\\207\\200\\SUB\\232p\\STX\\t9\\ACK\\RSn`4\\176\\213\\SOV\\222b\\vc\\252\\DC1\\221\\128\\197\\197\\226~\\ETXe\""],"tag":"AbiBytes"},{"contents":[32,"\"AVERAGE_PROVIDER\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\173\\133\\139\\219\\174\\156u,\\v\\206J\\227\\&5\\172\\&8d\\138L\\183\\237#\\226\\&2\\156g\\240\\&8\\223\\131\\154FJ\""],"tag":"AbiBytes"},{"contents":[32,"\"d\\176?\\212UF\\141\\154j\\235\\131\\237\\231\\209\\SUBw\\217\\156OE\\GSWK\\158l\\254\\161PK\\191n2\""],"tag":"AbiBytes"},{"contents":[32,"\"\\172\\155_ m\\203\\SOH\\184\\140b\\221\\218\\162|\\230\\160\\167\\173\\185\\145\\n\\131m\\144\\168\\193U\\SUB$\\b\\157\\202\""],"tag":"AbiBytes"},{"contents":[32,"\"\\DC4q\\165\\186\\&7N\\ETB\\FS\\135b.\\\\T\\187\\SO\\161\\209\\b\\236\\146\\&5\\229\\192\\222\\132)\\223|\\DEL\\173L\\252\""],"tag":"AbiBytes"},{"contents":[32,"\"\\215\\187\\131\\227RO\\159\\134\\202\\226(>\\240]Z\\215Q+\\248\\DEL\\163<*\\161k\\ETX\\132\\229\\&0\\187\\DC1)\""],"tag":"AbiBytes"},{"contents":[32,"\"FC\\237c\\155\\172\\252\\251\\FS\\225\\DC3\\245Z\\205\\DLE\\224\\225\\EOT\\STX\\ESC,\\156p\\nDMR\\230<s<\\191\""],"tag":"AbiBytes"},{"contents":[32,"\"\\187d\\170\\220[l\\SO\\n<\\156Cy;M#f\\RS8it\\234\\217\\165\\EOT\\147'f\\177\\187K\\ESC\\NAK\""],"tag":"AbiBytes"},{"contents":[32,"\"\\164(k\\ESC\\215\\DEL\\174\\206\\&3e\\211\\219_Oz\\RSF\\228\\SUB\\ENQB\\b\\168\\234\\158\\229\\207\\&6O\\173\\213\\ESC\""],"tag":"AbiBytes"},{"contents":[32,"\"\\a\\227]v\\\\\\a|\\US\\ETB;\\181u\\235*\\143\\206EE\\224\\225\\251\\240\\DEL\\212m+[\\188\\193a\\147\\170\""],"tag":"AbiBytes"},{"contents":[32,"\"toUint256_outOfBounds\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"w%N\\222S\\197\\209\\223R7i\\DC3A\\154\\221{\\240\\194\\GS\\DC2\\ti\\182\\191\\253Ymv\\182.m\\204\""],"tag":"AbiBytes"},{"contents":[32,"\"Supply is not zero\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\238>\\132\\163o\\237\\236N\\207\\171I\\229\\SIyS\\250\\147+\\244\\141\\r\\212\\189I\\NAK\\136(\\179\\172\\135\\248\\200\""],"tag":"AbiBytes"},{"contents":[32,"\"\\188\\171\\145W\\207\\160mp=\\221]\\134\\161\\182\\235\\234\\211t\\224Y=\\177O\\149(\\166\\139\\&3\\DC2N\\132\\228\""],"tag":"AbiBytes"},{"contents":[32,"\"\\150\\184?n\\211\\229\\176kc(p\\170w\\177 -\\233\\182 \\186\\156\\130\\236\\246m7\\206\\&1C\\157R@\""],"tag":"AbiBytes"},{"contents":[32,"\"\\247q\\SI#a\\DC2\\147\\195m\\151\\234Ba\\194\\135\\177g\\199\\155\\&6^\\SOH^\\238\\&8Kx\\173\\203H\\178\\175\""],"tag":"AbiBytes"},{"contents":[32,"\"MANAGER_TAKEOVERS_FROZEN()\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\219\\205r5>\\189|\\144Jw\\197\\NUL\\221\\196\\243n-8\\171k\\145\\151\\f1%\\177\\230\\195\\DC3\\149\\240D\""],"tag":"AbiBytes"},{"contents":[32,"\"\\198\\155\\\"\\226<4$MN\\CANUp'\\152\\155\\RSR\\251hBW\\214F\\174\\195f\\163\\155x\\146\\167\\228\""],"tag":"AbiBytes"},{"contents":[32,"\"\\137\\186\\246\\208H\\128\\DLEu\\193\\249_\\254\\220\\221^\\209\\171\\142:k$\\EM\\DEL\\145i#\\204X\\224\\255\\225\\SO\""],"tag":"AbiBytes"},{"contents":[32,"\"\\245m\\138T\\213S\\255\\210\\134\\DC1\\153\\251\\207\\193\\ETB\\138mUVI\\137(Qd?diU#\\129\\179\\225\""],"tag":"AbiBytes"},{"contents":[32,"\"H\\175\\238\\190t\\191i\\177.\\206\\DLE/\\144\\185w\\243\\184'\\ACK\\220\\254\\&6\\175S\\t>\\162\\176\\162\\b\\236/\""],"tag":"AbiBytes"},{"contents":[32,"\"\\143\\170\\DC3\\GSA\\171#\\169\\207\\237\\216%D\\144\\176mG\\215g\\173a\\174\\218j\\250bO\\200:\\SO\\nb\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"\\158\\147\\148@\\EM\\v\\161\\192dai\\242Tx\\US4%b?N\\177\\173\\189\\228\\130\\143o\\235\\SUBi\\143\\208\""],"tag":"AbiBytes"},{"contents":[32,"\"\\214\\253@J\\ETXq.j\\140\\178\\178\\a\\210\\139\\b\\162\\135\\STXv\\236\\232\\147\\229\\SI\\165\\160\\&9J\\SUB\\153\\163\\138\""],"tag":"AbiBytes"},{"contents":[32,"\"h\\252\\171%9\\178\\157\\207o[\\198\\DC4k\\169TZ\\152\\241\\&1O;`\\132\\221b`\\FS\\186L<i\\236\""],"tag":"AbiBytes"},{"contents":[32,"\"\\219\\148\\ETX\\145\\185\\&5+(4A^9S\\207o\\DEL\\\\\\142\\&5_\\b\\251Z\\133i\\164&\\133\\a\\ar6\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"\\DC2`ra \\249\\210\\161\\213\\155\\r\\SI7\\182\\253V8\\169\\&3\\DC1q\\150\\226u\\208~\\157W\\182d\\149\\EOT\""],"tag":"AbiBytes"},{"contents":[32,"\"o\\193\\165\\218\\230\\166\\202h\\147P\\153x\\174\\153 \\ENQ\\210:\\131\\172P\\211\\131(r\\b\\216\\203\\183\\198\\139m\""],"tag":"AbiBytes"},{"contents":[32,"\"Canary invariant\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"Invalid percentage\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\SI\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"MANAGER_TAKEOVERS_FROZEN()\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"GOVERNOR_ROLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\129\\203\\138\\146\\224q\\193\\156\\244\\183\\163>\\223/\\nlC*\\221\\129\\\\\\232\\131\\245\\217\\NUL\\144\\234e[\\ETX\\240\""],"tag":"AbiBytes"},{"contents":[32,"\"\\190\\EM\\227\\&0+\\164\\227\\140[5\\156\\210\\140|\\235\\&6M\\172\\244^\\228\\224\\a\\CAN\\ACKw\\129\\223x\\185\\191\\210\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"~\\140fF\\v\\CANP\\200 \\229\\230\\246\\211m\\212A.\\186\\SOHc\\197\\180\\240V\\198\\US\\141\\130\\165\\200\\154(\""],"tag":"AbiBytes"},{"contents":[32,"\"Error(string)\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"MockERC4626Tester\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"MANAGER_TAKEOVERS_FROZEN()\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\175\\245\\242'\\145D\\196v\\166\\ACK\\176\\ENQ~\\197\\131\\&0\\214\\DC2\\GS\\204W\\USSJ2\\185\\182\\196\\211\\203n!\""],"tag":"AbiBytes"},{"contents":[32,"\"SUPER_ASSET_FACTORY\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"/f\\240\\195+\\144#\\214\\NAK\\234%I\\149\\ENQ\\231\\206\\194a\\ENQ!*\\206</.\\248H|\\SIY\\240\\234\""],"tag":"AbiBytes"},{"contents":[32,"\"\\SI\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"g\\DC2~\\153j#\\233\\207\\136\\215\\233F\\195\\141Y\\201^\\194\\250\\ETX\\159\\175\\134\\153v`8\\224Z\\200C\\251\""],"tag":"AbiBytes"},{"contents":[32,"\"A normal Revert\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"=\\250\\229\\SYNFe\\US\\233\\215\\DLE2\\f\\195[\\152l\\250Z\\221\\177S\\ETB\\EM;c<3\\250\\&5\\250\\vM\""],"tag":"AbiBytes"},{"contents":[32,"\"Invalid request\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\226\\\\N\\\"\\161q2L\\208:\\231Jl\\DC3J_t\\235\\EOT\\166\\210\\238\\211\\NULL\\136\\168H\\158\\\"-\\154\""],"tag":"AbiBytes"},{"contents":[32,"\"toUint256_outOfBounds\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"HIGH_PPS_DEVIATION\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\183\\238\\239+\\241L<\\139a\\227-wq\\t\\237\\223PH\\162\\ENQ\\250\\254\\200\\230\\155\\229\\160:\\140\\249\\195\\228\""],"tag":"AbiBytes"},{"contents":[32,"\"\\135\\DC4\\207\\133\\205\\214\\244\\146\\198\\DC4\\ACK\\153\\237\\228~\\177\\231\\192\\FSk\\183@\\217\\161%\\US.\\211\\&4\\206\\\"\\210\""],"tag":"AbiBytes"},{"contents":[32,"\",0ut\\179\\255\\ETB\\243\\184k\\128K\\ACK\\182w\\238\\RS\\149\\226\\CAN\\132s\\140\\190\\165i\\184\\247#\\178\\156\\195\""],"tag":"AbiBytes"},{"contents":[32,"\"\\SI\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\154\\a\\225\\233\\184;\\222\\GS\\244N\\227|$\\220\\&2T6O\\236\\&0C\\233\\181\\vg)\\ETXrD\\b+\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"!!! canary assertion\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\249NX\\222\\203\\159\\233\\142\\176@|\\190e\\147]HY\\237 \\185N\\SUB\\182H\\130\\194{\\SI\\254\\r\\t\\230\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f94","0x0000000000000000000000000000000000000000000000000000000000000020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":[8,"2"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000031651","0x0000000000000000000000000000000000000000000000000000000000007ab3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0e6","0x0000000000000000000000000000000000000000000000000000000000009452"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"100000002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011603","0x00000000000000000000000000000000000000000000000000000000000050c5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630938"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c247","0x0000000000000000000000000000000000000000000000000000000000001380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000085d9e","0x000000000000000000000000000000000000000000000000000000000000a143"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"67113395711318588120393498954290550277762661447527846718750212377443652736500"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ad7d","0x000000000000000000000000000000000000000000000000000000000000eb58"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"102465325188131719448113288409596030663400287896418794537671656270920687117220"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000057c50","0x0000000000000000000000000000000000000000000000000000000000008196"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008e43c","0x000000000000000000000000000000000000000000000000000000000000b19e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"97093605723460370826478460152830151186723484652462112667743438648636978558197"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e0e","0x0000000000000000000000000000000000000000000000000000000000000015"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xDEC9f3Dcc5158854Ef368E0B842F9e2cA8c990DB","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"200"],"tag":"AbiUInt"},{"contents":[8,"55"],"tag":"AbiUInt"},{"contents":[8,"160"],"tag":"AbiUInt"},{"contents":[8,"167"],"tag":"AbiUInt"},{"contents":[8,"199"],"tag":"AbiUInt"},{"contents":[8,"188"],"tag":"AbiUInt"},{"contents":[8,"233"],"tag":"AbiUInt"},{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[8,"54"],"tag":"AbiUInt"},{"contents":[8,"86"],"tag":"AbiUInt"},{"contents":[8,"138"],"tag":"AbiUInt"},{"contents":[8,"117"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000019b0a","0x0000000000000000000000000000000000000000000000000000000000004e3d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"41595094231036747601764045743744536132881562049725419563765941557722708085736"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002326","0x0000000000000000000000000000000000000000000000000000000000000463"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011521"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000242b","0x00000000000000000000000000000000000000000000000000000000000058b4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639933"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4e","0x000000000000000000000000000000000000000000000000000000000000c060"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\188\\201\\224\\140\\128V\\215A\\149I\\159\\131\\138\\249\\166(\\CAN\\228\\226\\220\\165\\181\\255|\\243\\128g\\244\\140\\185\\&3Z\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c706","0x000000000000000000000000000000000000000000000000000000000000c9be"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000090b38","0x000000000000000000000000000000000000000000000000000000000000012c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"866"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f956","0x0000000000000000000000000000000000000000000000000000000000000016"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001187","0x000000000000000000000000000000000000000000000000000000000000ca0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008704a","0x000000000000000000000000000000000000000000000000000000000000000f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"87098525371023640544890888230856521713878346979960811879497406710308887766493"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001e3d","0x0000000000000000000000000000000000000000000000000000000000000f52"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"65517843367259771767672660287848901466580347003247130296155919706661667821060"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003dfcb","0x0000000000000000000000000000000000000000000000000000000000006a4a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"450"],"tag":"AbiUInt"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001fa","0x00000000000000000000000000000000000000000000000000000000000043ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d2","0x00000000000000000000000000000000000000000000000000000000000074f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x2aa1f1978f5d18D91eB3fc2E6975dC6E85FDefdF","tag":"AbiAddress"},{"contents":"0x792F3eb0aCD92Dc9ab83c64DA4657B1AA8E47681","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004086f","0x000000000000000000000000000000000000000000000000000000000000c228"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000638c3","0x00000000000000000000000000000000000000000000000000000000000014e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f9f","0x000000000000000000000000000000000000000000000000000000000000270d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"70413684343309534789538882500752338653230854787984279330196955510859743448373"],"tag":"AbiUInt"},{"contents":[256,"1532310267"],"tag":"AbiUInt"},{"contents":[256,"2171"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052be8","0x0000000000000000000000000000000000000000000000000000000000000fa1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015181","0x0000000000000000000000000000000000000000000000000000000000005a78"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0xB7D2d61ec425c5B32B32291Ef912EFaE84a92617","tag":"AbiAddress"},{"contents":[256,"205286239207902485586273291957421150489"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf9","0x00000000000000000000000000000000000000000000000000000000000062b0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae7","0x000000000000000000000000000000000000000000000000000000000000e99f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e8","0x0000000000000000000000000000000000000000000000000000000000001c9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"46922921349184928984714128534510442293851310085718596722836477286542555442669"],"tag":"AbiUInt"},{"contents":[256,"115244655798402081748990493859317533065714970451765431989713292931619293642922"],"tag":"AbiUInt"},{"contents":[256,"712"],"tag":"AbiUInt"},{"contents":[256,"9414643045661117567908594389932634826770220045771350723697328730188892859782"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639843"],"tag":"AbiUInt"},{"contents":[256,"39317517689038782071236028274971123489898961119833437350935282488002995393832"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639797"],"tag":"AbiUInt"},{"contents":[256,"45"],"tag":"AbiUInt"},{"contents":[256,"2617825651360355208217935689351"],"tag":"AbiUInt"},{"contents":[256,"77894205244337428626766755848400805941558328629136047114526121157435207468620"],"tag":"AbiUInt"},{"contents":[256,"41560161704832502250680639445018163794088131352233490409119768836389904044171"],"tag":"AbiUInt"},{"contents":[256,"1533393919"],"tag":"AbiUInt"},{"contents":[256,"152"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"1458530496922"],"tag":"AbiUInt"},{"contents":[256,"113104241752573890431415470952701479722456766697520485597599836158485005576882"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"34618586350384959930742768993014865047900955652137213185090199593352770849395"],"tag":"AbiUInt"},{"contents":[256,"76950783514148540486094162564678627161972257052867574611545772374233046865411"],"tag":"AbiUInt"},{"contents":[256,"14115454916034084073026727795655608410183370025106248903704095504866146773365"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731851"],"tag":"AbiUInt"},{"contents":[256,"63210928453450724419634414614776883774716192754434350982436820269309218110191"],"tag":"AbiUInt"},{"contents":[256,"25885678155861983093377671942132352600879012415694672226882734534005"],"tag":"AbiUInt"},{"contents":[256,"43000216413249852614329544703635954903736425497822439182720012612990708959840"],"tag":"AbiUInt"},{"contents":[256,"1531001064"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"1527687286"],"tag":"AbiUInt"},{"contents":[256,"15060225380924076295905178237792688425308082413725446609317435888382566632136"],"tag":"AbiUInt"},{"contents":[256,"14114509063725980058472231246613830601694092047380090441058195107089514781543"],"tag":"AbiUInt"},{"contents":[256,"12193960338561585213577440619642023555014450378427594614996704354263986628593"],"tag":"AbiUInt"},{"contents":[256,"91736412691889561085980000760400161749552445313228478676343896043072342786272"],"tag":"AbiUInt"},{"contents":[256,"33802799535020366415417011084548168245140322118110347872640091603735530065868"],"tag":"AbiUInt"},{"contents":[256,"33143226203839526455351281033158295613430537051507900247958238057661964798305"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639803"],"tag":"AbiUInt"},{"contents":[256,"61925819980683639422535917100572140158887067104305454302012502156059532055170"],"tag":"AbiUInt"},{"contents":[256,"56031094765215039720613328202723275473323537673339711829729494672189872915216"],"tag":"AbiUInt"},{"contents":[256,"1524917341"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637936"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639801"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"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":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":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006119c","0x0000000000000000000000000000000000000000000000000000000000000075"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000053ff67412b71125f6"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f17","0x0000000000000000000000000000000000000000000000000000000000000d15"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x1C310426202C49BD70225A9A660dA6019422FFcA","tag":"AbiAddress"},{"contents":[256,"13303840528403880967352424252114414200182277915385410682175168243866981473073"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"86402"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb13","0x0000000000000000000000000000000000000000000000000000000000008193"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043d75","0x0000000000000000000000000000000000000000000000000000000000001387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"39262182423707410593468883415779586088370973580653970575954163724730999012751"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001d7bf","0x0000000000000000000000000000000000000000000000000000000000000c57"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"23704044241242260975742824390666302119502525993869449940906153107307177711408"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001389","0x0000000000000000000000000000000000000000000000000000000000003f7d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":[256,"1534845306"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a9f7","0x0000000000000000000000000000000000000000000000000000000000003d1e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"70"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000138b","0x0000000000000000000000000000000000000000000000000000000000008841"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"1533450155"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054b98","0x000000000000000000000000000000000000000000000000000000000000755a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000175a7","0x000000000000000000000000000000000000000000000000000000000000ab05"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000006f20","0x0000000000000000000000000000000000000000000000000000000000009201"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"156"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"2236794631569084320506836020134058045318100812225975669318"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000440b","0x00000000000000000000000000000000000000000000000000000000000050db"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"49"],"tag":"AbiUInt"},{"contents":[256,"999999999999999999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bd","0x0000000000000000000000000000000000000000000000000000000000004f57"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077d37","0x000000000000000000000000000000000000000000000000000000000000ccd4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000060d0b","0x000000000000000000000000000000000000000000000000000000000000cd44"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003b2","0x0000000000000000000000000000000000000000000000000000000000001cc1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004086f","0x00000000000000000000000000000000000000000000000000000000000035ba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c82f","0x000000000000000000000000000000000000000000000000000000000000058e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":[256,"987"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffd","0x0000000000000000000000000000000000000000000000000000000000002577"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007902c","0x0000000000000000000000000000000000000000000000000000000000001a0d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"760"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000897fe","0x000000000000000000000000000000000000000000000000000000000000c598"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211778"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000620d1","0x0000000000000000000000000000000000000000000000000000000000002505"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"35481368569095658391220357230370710225303931079190352447808483730662430150917"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077a7b","0x0000000000000000000000000000000000000000000000000000000000005b11"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"5678153061773956180829454380830671651"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054a5f","0x0000000000000000000000000000000000000000000000000000000000009c64"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000019177","0x0000000000000000000000000000000000000000000000000000000000007034"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007ffac","0x000000000000000000000000000000000000000000000000000000000000e0dc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"1534573792"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000009016c","0x000000000000000000000000000000000000000000000000000000000000da27"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"1527292094"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75c","0x000000000000000000000000000000000000000000000000000000000000b77a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75f","0x000000000000000000000000000000000000000000000000000000000000ac77"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x8324ADfC37e4Ce6B24a34Ced4A13faadbd59Ca97","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000145e3","0x000000000000000000000000000000000000000000000000000000000000042c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"1535871544"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c0c4","0x0000000000000000000000000000000000000000000000000000000000007109"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f39","0x000000000000000000000000000000000000000000000000000000000000996a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"1535919013"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093783","0x0000000000000000000000000000000000000000000000000000000000000cc7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0xfE21C85fc6B149ad71cfA8a762f75BaBc15208E2","tag":"AbiAddress"},{"contents":"0x9Ce3ccDa21da4b0c4b49258615315F9041f218D8","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xfE21C85fc6B149ad71cfA8a762f75BaBc15208E2","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"223"],"tag":"AbiUInt"},{"contents":[8,"143"],"tag":"AbiUInt"},{"contents":[8,"230"],"tag":"AbiUInt"},{"contents":[8,"70"],"tag":"AbiUInt"},{"contents":[8,"174"],"tag":"AbiUInt"},{"contents":[8,"66"],"tag":"AbiUInt"},{"contents":[8,"96"],"tag":"AbiUInt"},{"contents":[8,"1"],"tag":"AbiUInt"},{"contents":[8,"183"],"tag":"AbiUInt"},{"contents":[8,"254"],"tag":"AbiUInt"},{"contents":[8,"151"],"tag":"AbiUInt"},{"contents":[8,"237"],"tag":"AbiUInt"},{"contents":[8,"31"],"tag":"AbiUInt"},{"contents":[8,"5"],"tag":"AbiUInt"},{"contents":[8,"175"],"tag":"AbiUInt"},{"contents":[8,"126"],"tag":"AbiUInt"},{"contents":[8,"118"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000020ce6","0x00000000000000000000000000000000000000000000000000000000000074ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"87576172068629363691713428923555873529395082219557180411099341381827994105048"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010632","0x000000000000000000000000000000000000000000000000000000000000cfce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"83109957123530613185827347106434442471575863001654125691561652593952558118041"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063160","0x000000000000000000000000000000000000000000000000000000000000137f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]