[{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"42847419041261382319883668279662797938047822891161597843091067846593180800136"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"100589813109639701576789638881469842226517050704350909031313266889099161253689"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000030206","0x0000000000000000000000000000000000000000000000000000000000001740"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"91428910191968688879758473043302373637622177007474844809325966546985965086469"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e6ff","0x0000000000000000000000000000000000000000000000000000000000009aa3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"135"],"tag":"AbiUInt"},{"contents":[256,"18297987208735146874220582743584803296820597996698861782050350307411530087027"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd38","0x0000000000000000000000000000000000000000000000000000000000006a25"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"33808834849652312373256805884087161763854272273086034427604140607005665525446"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003aae8","0x00000000000000000000000000000000000000000000000000000000000000ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"1044"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000632d4","0x0000000000000000000000000000000000000000000000000000000000001982"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"38578768549747044508430232871329770739258725909331306807761252111541734343467"],"tag":"AbiUInt"},{"contents":[256,"675756954782446144643828889732874169747590331383620408382603886354362447006"],"tag":"AbiUInt"},{"contents":[256,"1535449667"],"tag":"AbiUInt"},{"contents":[256,"95973846677542157548367300252320543891447368902639972566620014888579646113045"],"tag":"AbiUInt"},{"contents":[256,"52"],"tag":"AbiUInt"},{"contents":[256,"1527322530"],"tag":"AbiUInt"},{"contents":[256,"31035536514153939723061500094652860502773695563777696027533262928200876187838"],"tag":"AbiUInt"},{"contents":[256,"66316925018229638592851381503958461283774448208371103904749197067665269726750"],"tag":"AbiUInt"},{"contents":[256,"3405256450226098420942256442316733198956235558298571873801327617732750597"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639883"],"tag":"AbiUInt"},{"contents":[256,"27755400569104926933803316090742468985253325418573374384751443446435998301444"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639836"],"tag":"AbiUInt"},{"contents":[256,"36803798977750467130450356680417485904009790567003421008309395167116676460453"],"tag":"AbiUInt"},{"contents":[256,"6500465760290928526969899295287488487312500270752"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"643"],"tag":"AbiUInt"},{"contents":[256,"51029426290762079780387443038549578769231154572450522642937177412782491361281"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"2409921312815352600009"],"tag":"AbiUInt"},{"contents":[256,"459"],"tag":"AbiUInt"},{"contents":[256,"39"],"tag":"AbiUInt"},{"contents":[256,"13770785025169791077098275414312106686637590173964136657810705832863931739638"],"tag":"AbiUInt"},{"contents":[256,"11055263315152874555408697734131516009082186226565202908041789092813085179260"],"tag":"AbiUInt"},{"contents":[256,"82928012787400843708323460549705778588253081073636270124561961604685340167250"],"tag":"AbiUInt"},{"contents":[256,"1023"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639920"],"tag":"AbiUInt"},{"contents":[256,"55259412598322951194902361833244679266857907395100403900420938626578163658208"],"tag":"AbiUInt"},{"contents":[256,"959"],"tag":"AbiUInt"},{"contents":[256,"94331107704247346388151911551188000034054977561189577789086814388757379170598"],"tag":"AbiUInt"},{"contents":[256,"79232708873944900448376240235581836079489865647716161600228011626698728526849"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639939"],"tag":"AbiUInt"},{"contents":[256,"106552604838132192910098506665042757417842167025712666072364400311447350890411"],"tag":"AbiUInt"},{"contents":[256,"52985557134244481400483005364086558339121808340181824926229748806965469471850"],"tag":"AbiUInt"},{"contents":[256,"58493439439281389481038201228045455313420694427543148808914177002771975191744"],"tag":"AbiUInt"},{"contents":[256,"2648273274132674713521905423759882256260140341674"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"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":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc78","0x0000000000000000000000000000000000000000000000000000000000001358"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000000000000005b6e9492"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4a","0x0000000000000000000000000000000000000000000000000000000000001414"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7f","0x000000000000000000000000000000000000000000000000000000000000da41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e956","0x000000000000000000000000000000000000000000000000000000000000231e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055112","0x000000000000000000000000000000000000000000000000000000000000007f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0e9","0x0000000000000000000000000000000000000000000000000000000000001475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000384e7","0x0000000000000000000000000000000000000000000000000000000000000055"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"535802370117546387776218828567575324495434454279385913381156749211350689118"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639842"],"tag":"AbiUInt"},{"contents":[256,"805"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c820","0x000000000000000000000000000000000000000000000000000000000000711a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639854"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004463f","0x000000000000000000000000000000000000000000000000000000000000e691"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacc","0x0000000000000000000000000000000000000000000000000000000000007116"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x2aa1f1978f5d18D91eB3fc2E6975dC6E85FDefdF","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x12F8Aa9519Dc6CbE9b26E3A1201CB779176ad088","tag":"AbiAddress"},{"contents":"0x12F8Aa9519Dc6CbE9b26E3A1201CB779176ad088","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\133\\SYN\\134^\\202\\144\\150X\\240Y'\\\"\\194\\140\\ENQ_\\153$w\\200\\232\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\181\\216\\190*\\250\\SO1\\tZ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\137\\GSfO\\n\\227\\172\\147\\132\\DLE4Cc\\214f\\DC2\\250\\DLE\\219l\\163\\ETX\\131,\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245U\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212N\\155}\\170\\CAN=l<\\184\\234\\&2\\DC1asU\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\203\\237\\140\\RS\\206\\202\\209\\166 n\\t\\208\\225e\\231\\135|\\157;\\172WH\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\199\\195\\192\\ETX\\144\\132\\&4\\219\\158B/[\\183\\v\\b\\232{\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147k\\STX\\241X.\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\203\\ETX\\254\\223\\131E\\236\\135\\159:cX\\200\\253\\222\\255\\EOT[\\188\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173(\\193\\ACK\\213\\135\\146\\170<\\136#\\184\\148\\215\\STX\\US\\172\\US\\180\\181\\209\\248j\\SI\\166\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\230\\221\\165\\252\\171\\155\\179x\\b&\\244\\ETB)\\EOT\\174\\148\\ENQ\\245\\158\\&9\\SOH\\243J\\171\\201\\ETX;\\a1e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\fI\\211\\\\x\\244\\ETB\\248H]5\\199\\139\\174\\148%a\\192d\\DC3q\\DLE\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"$t\\145\\147\\175\\DC3\\254E\\DC3\\215\\&0q)Nc\\153\\148\\160_\\SUBP\\229\\129\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\173\\RS\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"Xy\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214js\\253pp\\200V6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\&2\\134\\202\\205\\GSuB:^0\\210\\193\\239p-\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\SOF\\149lc\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\253\\239\\215\\vG6^\\185\\190\\139\\184\\211\\SOH\\178\\172\\236\\NUL\\169\\DC2\\CAN\\ESC\\156%=+\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\180\\249\\&4\\EOT\\ACK\\221\\DEL:\\210\\183\\STX,c\\215M[\\151lx\\183\\176\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\158\\185\\250\\199\\249\\142\\182\\144\\186zy\\192\\238\\150o\\DC3\\SYN\\231,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228EP\\226N\\185Y\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\\"\\SO\\251\\240r\\ENQ1\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240c\\163$\\202\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\212C\\230\\&4\\160\\134x1\\186\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\247?RW\\247\\248\\146\\ESC9\\201\\CAN\\EM44\\153\\&2%e\\211\\DC4\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208!{\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC;\\198!\\239\\237.\\140\\199z\\149\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\178\\249_/\\209\\&3\\US\\170\\231\\179\\238F\\148\\207\\232\\&9\\225\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\ENQ|X5\\168\\a\\DLE{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\DEL\\201]\\ENQ\\152^J\\189\\&2\\179r\\ETXU\\SUB.\\246\\vW\\246\\174\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\184\\210wR\\237\\ACKa\\208%[\\SO\\149\\241\\156\\217\\ETB\\140\\238\\154+\\207\\174=\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\206;\\DLE\\218]W\\f\\186\\\"\\ACK|\\150\\DEL\\DC1\\208\\245\\&2\\208Z\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\221Q\\250u}m\\228\\166\\254\\STXVz\\NUL5\\247>\\EMi\\254\\246\\144`\\155;\\198\\232YXX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\&8\\159\\190\\SUBf\\SUB\\151y\\252Q1}&\\163\\241V\\228\\DLE\\253\\229\\218\\255\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\\\\\193\\203\\157\\158\\208\\179\\173\\198\\n\\\"aQQ\\225\\164$\\145\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\236W\\SUB\\242\\135\\199v-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\213\\206e&\\184\\207\\212\\USx\\132\\243;\\175\\185Yt\\NAK\\138\\&0\\NAKr\\167\\135\\227\\f\\201{\\ETB\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\210\\244\\160b3U\\v?\\249\\208\\183\\220\\166q\\140\\208X\\221\\251\\243y\\139\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\198E\\229\\179{.\\199n\\\"\\145-M\\140\\132cU\\t\\165h\\168\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146Y\\ACKwd\\205\\245D\\132\\221\\218\\138\\165\\138\\182\\SYN\\237\\205\\SUB\\183\\254a2\\160\\249]rQ\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\176Q\\149\\195\\179\\197>\\ESCB\\NUL(\\196XR\\219p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\nt\\131\\194c\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM)~\\229\\218vk\\185\\RS\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217,\\248\\&0\\212\\138\\244$V\\135\\225f;I\\220q\\249\\235\\215\\FS`-;\\181\\DC3\\ACK\\220\\DLE\\178\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218}\\207\\129\\151\\246\\204\\185\\216\\148\\233\\211\\138\\f\\143C\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159~\\172a\\166\\233\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\211W\\SO\\192Mym\\130\\136\\DC2\\aZ\\169Z\\255KGrB\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"|l\\163\\NAKte\\252\\&1gM\\166\\190\\246\\128\\159\\b8P\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DLE3G\\221?\\189\\192\\STX!\\132\\231\\186\\219\\ACK\\142$\\240X\\197\\149\\136\\252\\174p=_\\173\\GSW\\163\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"K/e\\246\\160O7B\\ETX\\170\\160\\156\\&9\\229\\DELNk\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"e*\\189h-\\f!I\\156\\172cjC\\186\\139bU\\169\\179\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\197{\\254\\US\\216_\\199\\a\\SI\\182t\\US\\139\\t\\157=\\239\\223 \\132]\\207\\DC2\\DC3\\222\\241>\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\152\\245\\STXzY\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"@'\\154\\USWE\\249\\&8\\147\\137f\\132W+x\\159T\\207H\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1R\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\221\\140\\DC3woR\\128\\188\\208\\&9b\\201$Hy't\\220\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOD\\151\\194@A s3\\234z\\r\\187\\140\\&1O\\f]\\242\\SOH\\238\\f;\\136\\145\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214o^[\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\252\\190{d\\238\\252\\172\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3X\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\164\\152G\\190\\211\\162\\NUL\\156\\&1\\167\\tp\\186\\169RT\\133\\b\\US]\\213\\n\\SOH?\\USs\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1Y;\\146\\179\\EOTgZ\\186\\ENQM\\133:\\133m\\NAK\\209\\199\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\166\\150\\ESCa\\253g\\169&\\185\\221E\\176\\\\\\166\\132A\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131]\\215\\231\\GS\\210ah\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\242}\\215\\253Y@\\134\\169\\144\\t/\\EOT\\STXq\\ETX\\a\\165\\254%\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\228\\245K\\203\\130\\242\\EOT\\198Y\\210%x\\223\\190\\SYN:\\231\\148\\153\\SYNI\\232\\182\\EOT\\222U\\177\\236!O\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\201\\249\\ETB\\180(\\137\\&1\\222\\141;^G\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\EOTmw\\243\\161!\\212/\\158\\NAK\\bQ\\140\\243\\187\\153?\\159\\202\\133\\225\\165G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\235nV\\128k\\NAK\\183\\233\\136\\CAN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\163Y\\236\\130\\179\\173\\163M\\236Zs\\SI\\225\\&9\\132\\&5\\215H\\167\\NUL\\201\\224u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTtd&\\150\\203Z\\158$\\233(\\tf\\181\\nK\\218\\220\\232\\135\\152\\193%\\195r+\\215\\RSL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153X_\\222\\rM\\DC3C\\218\\195]#4}\\244M\\238\\NAK\\SIU\\143\\&2jK\\131JW\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\166\\240{\\202\\220\\131\\&2\\227P%\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\164\\DC3\\237\\200A\\183\\203-\\130\\166z\\198\\232\\STX\\128\\233}\\238\\139%\\240\\FS\\f\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\r\\131\\245{\\235\\192\\217\\145(}\\DC3\\USgF\\173\\188[\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219+Y(\\178Wu\\NUL\\137ll=s\\243(1\\205G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250n\\176\\135\\227k#\\157\\129\\SOH\\227\\133\\&2f\\175\\ETX^y\\202\\DEL\\222\\148\\144\\249\\234{w\\210z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187K\\ACK\\GS\\228\\SIw\\191\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOHJ4\\145\\188,(\\ENQX\\197\\152V\\192\\tAW\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\196\\201\\155\\173\\233H9\\217\\SO\\198\\NAK\\135\\246\\237\\208L\\220\\250\\rA\\\"s\\215\\SUB_$\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\245\\138\\143\\152\\166\\b\\DC3\\213\\t\\242\\&0$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\DC3\\147\\148^l\\174\\221\\162\\176;\\235\\149rp\\157!\\236\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\216s\\US[\\151\\171B\\181\\130\\ENQ)F\\158 f\\157\\249 \\152\\175\\228N\\218z\\137'\\199g\"","tag":"AbiBytesDynamic"},{"contents":"\":)DN\\181i\\r\\202V\\140~\\175\\FS\\219\\130\\&7\\SI6\\140\\f\\192\\188\\159\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\CAN\\129\\239o1[\\161!\\DC3\\138\\ESC\\245\\\\\\133*WzO-\\SUB\\134\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\aCn\\b\\201\\240{\\236\\148\\228\\191\\250\\140\\&32\\190\\SO\\150E\\SOH$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\159\\132\\136\\ETXqf;r\\223\\198t\\158\\174\\\"\\ACK\\153\\146!\\207\\138P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\203\\253\\236bY\\223\\230\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\253h%\\209\\153Ei\\174\\&5\\165\\175\\130\\v\\232:\\188\\141!\\178,s\\188m\\128\\ACK\\159\\254\\255\\250\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS}\\138\\US\\232N\\170\\ENQc\\184/*h\\128\\SYNd\\SO_\\243\\134\\176\\RS\\185\\170\\185\\180\\&8\\225O\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\&9zq\\215x{\\249\\242\\189\\142\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"]X\\ETB.\\CAN*\\230\\228\\188\\195\\232\\196jQ\\174\\163\\bt\\183@\\212\\154\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"'n\\167\\251i\"","tag":"AbiBytesDynamic"},{"contents":"\"0\"","tag":"AbiBytesDynamic"},{"contents":"\"ml\\216h\\229$M\\SOHn\\172Z\\231\\191<$\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\&7\\160p\\191O\\240\\SO\\171Y\\153\\219u$\\162\\150\\DC4\\240H\\198r-\\133\\\\t-W\\253\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154<w\\245J\\146\\128j\"","tag":"AbiBytesDynamic"},{"contents":"\"`D\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\">\\176\\234}\\STX\\238\\167\\235D\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\231\\b\\157\\DC1s\\205^\\ETX\\US\\SOH\\169\\189M\\128\\DC4\\229+|\\ETXx\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"I\\158\\128\\184!\\168{\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\250\\200Q\\162\\233\\201dx\\178:\\229P\\185`P\\156\\241\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\ACK\\SO\\131&\\181B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187R\\218\\170\\NAK$\\229\\SUB}\\f\\247\\196F%\\149\\154\\249\\170\\180a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161{M\\169\\219q3~\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211>\\228\\129hr-\\243\\170\\v\\SUB\\202\\158\\DC3Z\\234\\195\\237\\182V\\141\\202<t\\192\\136nm\\135\\156{\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"p9\\224D8\\196,=)\\247\\ACK\\249\\241\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\152\\203G\\207\\DC3\\196DA\\198\\139\\214\\135\\&9\\DEL\\196\\181\\203\\138\\DC2K\\241\\b\\241\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253S\\217\\200\\183d\\194\\231\\197\\240\\208\\192\\146}\\t\\254\\194kx\\184\\151\\165\\200\\ETXjI2/\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\169r,\\222\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\236hE\\DC2\\DLE\\DC2\\153\\139\\NAKR\\b\\247h*\\148\\164\\129\\&3)T\\DEL\\NAK\\144F\\SOH\\CANU\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\229S\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\146Q?\\237\\207\\198\\199\\159/3[3v\\US\\237P\\t\\188\\245\\161\\172A\\159\\RSXX\\183b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\164\\220@+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"S\\165=\\197\\STX\\DC4\\209\\175\\139\\181\\250Q\\196N\\NULm4#i\\DEL\\184\\226\\244\\238flP\\177\\254\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\221\\152\\131\\193aE\\246\\223FZ`\\DC4\\v\\199\\a\\221\\200}u\\161 *\\184oD\\146\\201pR\\153\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\DC1\\159\\153kZ\\248\\188\\DLE\\176K\\201\\199\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\236\\&1\\248Wy\\DC1\\206]\\162\\236\\207\\137\\159\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\233g\\ENQ~\\FS7pI\\200DM{^\\227\\204\\193\\&8\\DC2\\241\\DLE7\\213\\&6\\NAK\\ENQ\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"bq\\248\\&8\\222#\\176B\\173\\&6\\167\\149\\\"\\SI\\197\\129\\&2\\DC1\\255\\141\\&51\\140{\\255\\136\\SYN\\129\\220\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\">U\\172\\198\\184Q\\SYN,\\ny9\\185\\199n\\186\\223j\\DLE\\a)\\181\\SUB#\\131U\\254\\US~\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\169k\\153\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\232\\GS\\130\\CAN\\196\\196j\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\DEL\\146\\165OG)Y\\NUL\\156\\198=\\US\\162[h\\161/\\SO\\192\\n\\RSp\\146?hm\\252\\162\\r\\SOHH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\200>\\187>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\167C\\153W\\197\\v\\n\\192\\205]\\\"\\135\\227:\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\236\\209\\250\\144\\205\\SYN\\219\\ESC)\\254C\\r\\175\\208i\\236\\246\\242b\\142];\\170\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\160e\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"*ow\\226-H\\206\\ACK\\190\\132-\\FS\\158\\227\\150\\158\\195\\242\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\162\\NULV\\DC3\\137'\\a~\\SI\\168\\ESC1\\208\\148Z\\227\\\\2\\148`\\216\\228\\219\\223\\188\\230\\ESCS\\154\\218`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\227\\143\\&9\\153\\191J\\192{\\158z46\\235\\136w\\200Qj\\230\\247#}\\184\\DC2\\222\\219;\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"1y\\253\\246GU\\219\\145\\164\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\137\\235\\141r\\EOT\\237\\235\\171\\STXA\\185%\\209\\211\\247\\164\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\&9K\\183\\128\\153\\132\\248\\201\\220\\148M,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\130\\170\\148\\139\\233n\\152)%\\ENQbM\\146\\206\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\219%\\174}\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"470"],"tag":"AbiUInt"},{"contents":[256,"1530264317"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731853"],"tag":"AbiUInt"},{"contents":[256,"51284090401555088859411148385891940632690362467119547265416373159763091671138"],"tag":"AbiUInt"},{"contents":[256,"107934112374832141158081769935768565903634034893675284464000654281093779359295"],"tag":"AbiUInt"},{"contents":[256,"48753547328211045107395013698343480443280885072640166498664180255068868180812"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639902"],"tag":"AbiUInt"},{"contents":[256,"310875580629868116789234124787690709584484445845542"],"tag":"AbiUInt"},{"contents":[256,"46364642834290567939229279551226999458235554912090254431612240691431379289244"],"tag":"AbiUInt"},{"contents":[256,"311"],"tag":"AbiUInt"},{"contents":[256,"1530090635"],"tag":"AbiUInt"},{"contents":[256,"1531376811"],"tag":"AbiUInt"},{"contents":[256,"74153706632601877588186679546450432409327262041596058645049708232178766777207"],"tag":"AbiUInt"},{"contents":[256,"34274962313078096825792683632320389176419113879658867387140642772792876698342"],"tag":"AbiUInt"},{"contents":[256,"10000"],"tag":"AbiUInt"},{"contents":[256,"28865110362799467181162652371311200884762287654451502603536464417930222014106"],"tag":"AbiUInt"},{"contents":[256,"1531127728"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577600"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639635"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"1997"],"tag":"AbiUInt"},{"contents":[256,"1532900734"],"tag":"AbiUInt"},{"contents":[256,"72552546033457867302340407965183694819065215610845942652672933518933700323331"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"49695525835719707653739026024867090688946562132019877053590236030860451340233"],"tag":"AbiUInt"},{"contents":[256,"1530174670"],"tag":"AbiUInt"},{"contents":[256,"79535820233432430671873644540836214433501457537143584589347961597931615865237"],"tag":"AbiUInt"},{"contents":[256,"102332436424696167930060279918142365729138512187579121678794552816084371540603"],"tag":"AbiUInt"},{"contents":[256,"893612561"],"tag":"AbiUInt"},{"contents":[256,"111507043684136617390331065327775232263373648705250849087618067190652653337380"],"tag":"AbiUInt"},{"contents":[256,"255963983937708558218832751832959635860"],"tag":"AbiUInt"},{"contents":[256,"102137118581302353140172033104260897084648118380677198384567324953499044651662"],"tag":"AbiUInt"},{"contents":[256,"1529869150"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"15353864664899994143702979854866571745259673405618960547747255934828563364116"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638937"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"3385224370609744991691793703789747623105215870570212003930776154472919591022"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507325"],"tag":"AbiUInt"},{"contents":[256,"16958772502551833449085840496718188050774731818019291943026001528361409345266"],"tag":"AbiUInt"},{"contents":[256,"101905987011810490100045941693312962489962867413624969878106155098150014669485"],"tag":"AbiUInt"},{"contents":[256,"2856139687514685715513838790"],"tag":"AbiUInt"},{"contents":[256,"1531952385"],"tag":"AbiUInt"},{"contents":[256,"7325187586786816984677175668040344437957014967649417617659277742708598999405"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553536"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630936"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507330"],"tag":"AbiUInt"},{"contents":[256,"1537041824"],"tag":"AbiUInt"},{"contents":[256,"101580725232452376057776432546666021321965545067494569542026984429978739474936"],"tag":"AbiUInt"},{"contents":[256,"67"],"tag":"AbiUInt"},{"contents":[256,"109389358174750363815795235212444438869887011525213197582218067648411423504694"],"tag":"AbiUInt"},{"contents":[256,"14796505070254448963360190555520804839372440013213938287786560934117353881083"],"tag":"AbiUInt"},{"contents":[256,"50"],"tag":"AbiUInt"},{"contents":[256,"71354568006886295516676349842236526357457936807923661633775842375424831367662"],"tag":"AbiUInt"},{"contents":[256,"37966485754164868719069172937065575498786220229645470025505068025989639033316"],"tag":"AbiUInt"},{"contents":[256,"30555169056120510885782748423364887580288154271834079928189810702769388228493"],"tag":"AbiUInt"},{"contents":[256,"58"],"tag":"AbiUInt"},{"contents":[256,"47493666256804664536144361437226822982599593229914516328162348887025617841187"],"tag":"AbiUInt"},{"contents":[256,"1528781023"],"tag":"AbiUInt"},{"contents":[256,"31028734161766731918776892720511589695386325747448340810167528065873027613936"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999997"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"47581377526298405047828436432215018521198984440876161362669928807372980217815"],"tag":"AbiUInt"},{"contents":[256,"84"],"tag":"AbiUInt"},{"contents":[256,"6987335292591475967526909179706571809821035590865197214635326214252967949678"],"tag":"AbiUInt"},{"contents":[256,"9442914688812603719199461149131473896464206276469075124595972933445095908631"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999999"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950337"],"tag":"AbiUInt"},{"contents":[256,"64025934611193380926241285155366122094992810959906800933783712054015983917523"],"tag":"AbiUInt"},{"contents":[256,"85642541680008681934274935349141444222178288338710081280519660152895367696306"],"tag":"AbiUInt"},{"contents":[256,"126736174773162006327724044593084566548141"],"tag":"AbiUInt"},{"contents":[256,"53597725408770596842672241086197103463348093978651714571172928647240175558930"],"tag":"AbiUInt"},{"contents":[256,"80243422552130178774067601146998505779316117513453490747056436691153394783092"],"tag":"AbiUInt"},{"contents":[256,"47420538368834819444357007632084022397987880958257149362051748175224524246498"],"tag":"AbiUInt"},{"contents":[256,"90453036795751187688765943896139802247602847236380101266561331599592860890340"],"tag":"AbiUInt"},{"contents":[256,"3192828782977795243675129100726009958544688811991470156072763068761268978076"],"tag":"AbiUInt"},{"contents":[256,"386"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1527059611"],"tag":"AbiUInt"},{"contents":[256,"82048340925966438166407254534376047531177776394333376064948832871866700448716"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"1535449667"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb43","0x0000000000000000000000000000000000000000000000000000000000000023"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553533"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639875"],"tag":"AbiUInt"},{"contents":[256,"79535820233432430671873644540836214433501457537143584589347961597931615865237"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689600"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000013312","0x00000000000000000000000000000000000000000000000000000000000012ba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"9112867035950869797586654133689502691484741026450316380925534594002047892396"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000038006","0x000000000000000000000000000000000000000000000000000000000000107f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000023","0x00000000000000000000000000000000000000000000000000000000000001f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacd","0x00000000000000000000000000000000000000000000000000000000000043be"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000387","0x0000000000000000000000000000000000000000000000000000000000007591"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":[256,"11965558866193514469133005952529964412483908990288906867513068968417803767340"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb02","0x00000000000000000000000000000000000000000000000000000000000094d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"98"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006dfc5","0x0000000000000000000000000000000000000000000000000000000000001690"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142f0","0x0000000000000000000000000000000000000000000000000000000000001c99"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"42835922159932912619453201834299747651231677616765299819334221491589542061094"],"tag":"AbiUInt"},{"contents":[256,"56257041008536728596685887294420764409965859152070859833859489591167169364464"],"tag":"AbiUInt"},{"contents":[256,"1532274400"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000012","0x0000000000000000000000000000000000000000000000000000000000009ec6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"20150562067778307626023935840751809548250981221332307863955425218391769302860"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c4","0x000000000000000000000000000000000000000000000000000000000000a296"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[8,"17"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077e64","0x00000000000000000000000000000000000000000000000000000000000095e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":[256,"42611829692655190532935812341118400258329225239011344639217602713135382937626"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084276","0x000000000000000000000000000000000000000000000000000000000000131a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005355b","0x0000000000000000000000000000000000000000000000000000000000004a50"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f2","0x00000000000000000000000000000000000000000000000000000000000001ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"3602"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004545e","0x000000000000000000000000000000000000000000000000000000000000135a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d671","0x0000000000000000000000000000000000000000000000000000000000000f9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c43a","0x0000000000000000000000000000000000000000000000000000000000001740"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000028928","0x0000000000000000000000000000000000000000000000000000000000000048"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000761b6","0x0000000000000000000000000000000000000000000000000000000000001271"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"156"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d52","0x000000000000000000000000000000000000000000000000000000000000d0cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x00000000000000000000000000000000000000000000000088bff5484eb18527"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":[256,"502"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e77a","0x000000000000000000000000000000000000000000000000000000000000021a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":[256,"42611829692655190532935812341118400258329225239011344639217602713135382937626"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000053a97","0x0000000000000000000000000000000000000000000000000000000000004881"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6c","0x000000000000000000000000000000000000000000000000000000000000a4e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"60"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007a","0x0000000000000000000000000000000000000000000000000000000000002bd1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bbbd","0x00000000000000000000000000000000000000000000000000000000000012ba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002326","0x0000000000000000000000000000000000000000000000000000000000001a41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062217","0x0000000000000000000000000000000000000000000000000000000000009e93"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e1","0x000000000000000000000000000000000000000000000000000000000000001e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000910e6","0x0000000000000000000000000000000000000000000000000000000000002b55"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"5735149936134521018357240118313428948945086902491818441657492149038189190879"],"tag":"AbiUInt"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0a","0x000000000000000000000000000000000000000000000000000000000000e345"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000102","0x000000000000000000000000000000000000000000000000000000000000a293"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\202\\DC4\\227\\253H\\163L\\200(f3ABc\\151\\242\\168\\244\\156\\181\\&7\\144\\242}\\b\\175\\159\\143\\227\\247\\179K\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001134","0x0000000000000000000000000000000000000000000000000000000000002385"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000381","0x000000000000000000000000000000000000000000000000000000000000137c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639434"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff8","0x00000000000000000000000000000000000000000000000000000000000012b9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1528211092"],"tag":"AbiUInt"},{"contents":[256,"81"],"tag":"AbiUInt"},{"contents":[256,"84362639247844319540476254448830261147789436419537392528980501867289938256366"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x000000000000000000000000000000000000000000000000000000000000711b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"95701095286694517217498825413935177415587310200804402780738774702961318560811"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e762","0x000000000000000000000000000000000000000000000000000000000000136b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"23360376038565080966568607710114026846404369946978158716088241106485665857284"],"tag":"AbiUInt"},{"contents":[256,"2388439307"],"tag":"AbiUInt"},{"contents":[256,"95425528052287112122608514231826689387036534191987415544640974842125486416316"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a7c9","0x000000000000000000000000000000000000000000000000000000000000b3f9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"1536389663"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c00e","0x0000000000000000000000000000000000000000000000000000000000002606"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639634"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000114a8","0x000000000000000000000000000000000000000000000000000000000000b02a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055779","0x000000000000000000000000000000000000000000000000000000000000b446"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\180\\246\\183\\a\\221\\195\\200\\204)\\ACKq\\218\\193f\\184n\\148\\170\\153V]t\\191\\t\\146s\\RS\\248\\&2\\SOR\\231\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007b66","0x0000000000000000000000000000000000000000000000000000000000006a2b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb39","0x0000000000000000000000000000000000000000000000000000000000000fb7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002328","0x000000000000000000000000000000000000000000000000000000000000001a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1525108274"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002ca7","0x0000000000000000000000000000000000000000000000000000000000008199"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"89988368995439021632264537042994634609064990553510914627466817264436515368131"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c821","0x000000000000000000000000000000000000000000000000000000000000c53f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"87843696951131016320311650749173209894992464658138327803197598026527299729037"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000071c76","0x0000000000000000000000000000000000000000000000000000000000000402"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"883"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001a","0x0000000000000000000000000000000000000000000000000000000000006b0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ae65","0x0000000000000000000000000000000000000000000000000000000000002e32"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb21","0x00000000000000000000000000000000000000000000000000000000000003c5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[256,"9757861013766335500405020526553794129995846733558805118802492245479652348458"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012a","0x0000000000000000000000000000000000000000000000000000000000000e12"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c435","0x00000000000000000000000000000000000000000000000000000000000099f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639837"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bad","0x0000000000000000000000000000000000000000000000000000000000000315"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639881"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001387","0x000000000000000000000000000000000000000000000000000000000000101b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":[256,"1532"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052db6","0x00000000000000000000000000000000000000000000000000000000000003e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"99999999999999999999999998"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000087","0x0000000000000000000000000000000000000000000000000000000000008773"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"692"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ff9d","0x000000000000000000000000000000000000000000000000000000000000058d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":[256,"1529676054"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089638","0x0000000000000000000000000000000000000000000000000000000000006a2a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"53550889890280747084059752712694715817414625671261208255422932399643527022962"],"tag":"AbiUInt"},{"contents":[256,"1526532364"],"tag":"AbiUInt"},{"contents":[256,"741141107192897358015265564747224625251026045474717151026674791368114908001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015180","0x0000000000000000000000000000000000000000000000000000000000007e4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639833"],"tag":"AbiUInt"},{"contents":[256,"9998"],"tag":"AbiUInt"},{"contents":[256,"30615680420348979669702959334799805004155941803977894026444971288977657841208"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037b35","0x000000000000000000000000000000000000000000000000000000000000d628"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639839"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000082967","0x0000000000000000000000000000000000000000000000000000000000001277"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"28047538096445084383387553005152415063543660088539382415283000689835554256254"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb33","0x0000000000000000000000000000000000000000000000000000000000005fdf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"198506221188849007574069113123679109692822844017631"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427c","0x0000000000000000000000000000000000000000000000000000000000000008"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffc","0x00000000000000000000000000000000000000000000000000000000000001f5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":[256,"24752943186555979974945360209952049412709558195041603275317169785240338071415"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec8","0x00000000000000000000000000000000000000000000000000000000000012bb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875df","0x000000000000000000000000000000000000000000000000000000000000508f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"63560225588095816601186868"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000723db","0x0000000000000000000000000000000000000000000000000000000000003a66"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000664","0x0000000000000000000000000000000000000000000000000000000000006272"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002710","0x00000000000000000000000000000000000000000000000000000000000020ee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"388"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000079170","0x000000000000000000000000000000000000000000000000000000000000003f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006af83","0x0000000000000000000000000000000000000000000000000000000000000320"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"67"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000766ac","0x0000000000000000000000000000000000000000000000000000000000000231"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\135\\145\\224D\\136\\253Z\\188\\166]i\\233\\r\\197&eJ\\201\\247\\150\\168\\n^k\\150;\\136\\232V.\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\\"\\EOTl\\155M\\227c\\177L+\\171\\146\\212_A`\\SI\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158G\\230\\243\\136\\229^\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\DC1\\135\\233\\137|\\238\\217\\236\\223Q\\190\\251\\DC1F\\188\\149z&\\163\\175\\130\\158Ds\\EM\\ETXs\\223Yb\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171X\\213\\140Rj\\209\\156\\137\\207g\\224\\253\\162\\248\\216\\145\\145u&\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\183\\131c\\244\\235\\185\\210\\170\\CAN\\213q*ab\\227m\\214\\128\\DC2\\149I\\141\\r\\207\\245\\DEL\\157\\169\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\217\\130O\\202_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\222\\208\\&1\\213b\\220\\243\\139\\163{\\\\\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\186\\DC4Y|\\ESC\\ETB.\\FS\\DC1\\191,\\183\\179@\\128B\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\SUB\\162\\141\\245\\158\\241.\\172\\135\\229\\204\\217Y*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\RS\\128\\246\\r)\\250\\200\\CAN&\\180\\140\\r&\\DEL\\DC3n\\183IdPs\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\n\\SUB\\169##\\179uAKX\\EOTc\\245EB\\152\\RS\\239C\\139o\\137\\214\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"Qc\\212X\\134<|\\198C\\184\\150\\163I\\141\\202\\134b\\134\\138\\DC2R\\216B>\\165\\180=\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\ETX\\167\\212\\200\\209\\&6=\\187\\a\\NAK\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"2]\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\251\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138X\\154B\\CAN\\138\\253\\129\\166\\242\\204\\228\\159\\196\\164\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\DC1\\203\\208\\225\\184\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"a)\\220\\242\\ACK\\189\\176\\199\\ETXB\\162\\248\\162#a=+Y\\254\\219\\205z_\\227up\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225-\\184\\&7#\\194\\172B\\DC2O\"","tag":"AbiBytesDynamic"},{"contents":"\" \\215\\223\\rd\\249%\\240\\173x\\139n\\183\\b\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GSh\\201Q/\\197\\ESC\\152\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\ENQ\\151\\249\\&1\\242\\140brZ\\154\\130\\tYP\\158t\\a\\189K\"","tag":"AbiBytesDynamic"},{"contents":"\"Y5c{\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\".\\206\\DC2(\\192\\220\\192\\&6\\255Jqv*[Q<\\SOHO\\154\\179\\243\\r\\166\\208\\SOH\\212Rh\\211c\\ETX\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\128\\182;\\253o\\128\\196\\SUB\\154c\\197\\&6Cw\\210\\242P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\t_\\185\\172\\&2\\USm\\182\\GS\\DC4\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\228\\128;\\218\\251\\&9\\176\\&9xY!\\241\\r2\\SOHbbSP\\248$\\201\\146\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154;<\\DC4\\156\\130\\220\\247\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\177\\149\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\t\\SOH\\DC2\\162FU\\NUL2\\167\\203\\SYN\\164T\\ETB\\ENQ\\239\\157!v\\RS\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\136\\SIf\\206\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\192~\\138*&M0\\141g(7\\\\lC^u!\\FS\\STX\\196<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\184aj\\186~;ep\\190\\ESC\\199\\225\\206\\192\\150\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250O\\158 \\ENQ\\ENQ\\130s'\\219\\174\\ESCL\\194X7w\\236\\174\\144Rl\\163\\192)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139L{\\ETB\\134\\220\\178\\145\\145\\218\\189s\\SUB@\\131?\\225\\142\\131\\196-A_\\149\\172<\\rG\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\CANL'J\\144\\155G%e\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"GG\\201<M\\157x\\175\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\140HKJ\\253c\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\131\\173\\130\\226Db4\\154t^\\205\\236\\150-\\229\\165\\134\\ACK',\\133\\USvw\\217\\129\\246\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\179\\189\\173\\208\\ETB\\rbo\\192W\\241\\231/,\\ENQm\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\GS\\195\\252su<\\181\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\SI\\130\\203\\198\\233\\234\\131'\\DC2\\201\\211\\249,{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\242\\STXz\\156\\157y<\\208\\195\\139\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\231\\US\\193Y\\205\\146Ni\\246w\\235\\150P\\243z\\DC4\\168\\166\\161\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\131\\239e\\159o\\182|\\175eJz\\164\\FS\\229\\206\\a\\200q\\NAKLZ\\143\\255\\157\\168\\136`\\SOH\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\209\\159\\148\\194+\\195E\\169\\&6}^j\\169)\\245gj\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\157\\236d\\219\\248J\\240\\233=\\135\\132\\EM*\\174\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\146h\\237\\&2\\\\f\\SI\\167O\\162\\129\\216H\\NAK4\\249h*\\237\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\254\\n6\\153P\\DC3k\\196hA\\195\\155\\189\\139\\220\\175\\ENQ\\183\\193#\\166\\\"\\184\\221\\231\\&6\\246\\215\\129W\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\237~\\178o\\186\\n\\246\\164\\n\\198\\200\\187\\243\\167T\\176u\\175$z\\ETB\\147s\\DC3\\233\\159*\\198\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\249\\197\\183\\SUB\\225\\146\\227*l\\220E\\186\\248\\SOH\\226g\"","tag":"AbiBytesDynamic"},{"contents":"\"NL\\175\\186\\132\\233Iy{ft\\n\\235\\129t&Z\\218\\251\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\207\\161I)GA\\156\\GS\\140\\167tW\\165\\SYN\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\DC3l_\\185\\DC4\\220\\CAN\\215AF\\128?r\\182\\143\\225\\222\\133<\\182@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\204~\\194\\144AT\\135\\193a\\132j\\\\\\166\\\\Q*\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128&\\220\\217A\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\128X\\149\\&0\\132\\251\\176\\199\\188\\149\\202\\160\\SUB\\225\\219\\227\\141\\244\\&9iM\\230+\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\220\\160\\157N\\193#!\\ETXlz`\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\254\\n6\\153P\\DC3k\\196hA\\195\\155\\189\\139\\220\\175\\ENQ\\183\\193#\\166\\\"\\184\\221\\231\\&6\\246\\215\\129W\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\237~\\178o\\186\\n\\246\\164\\n\\198\\200\\187\\243\\167T\\176u\\175$z\\ETB\\147s\\DC3\\233\\159*\\198\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\249\\197\\183\\SUB\\225\\146\\227*l\\220E\\186\\248\\SOH\\226g\"","tag":"AbiBytesDynamic"},{"contents":"\"NL\\175\\186\\132\\233Iy{ft\\n\\235\\129t&Z\\218\\251\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\207\\161I)GA\\156\\GS\\140\\167tW\\165\\SYN\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\DC3l_\\185\\DC4\\220\\CAN\\215AF\\128?r\\182\\143\\225\\222\\133<\\182@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\204~\\194\\144AT\\135\\193a\\132j\\\\\\166\\\\Q*\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128&\\220\\217A\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\128X\\149\\&0\\132\\251\\176\\199\\188\\149\\202\\160\\SUB\\225\\219\\227\\141\\244\\&9iM\\230+\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\220\\160\\157N\\193#!\\ETXlz`\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"58473614897031775726025734092584803801140156135819968995222761561598350681599"],"tag":"AbiUInt"},{"contents":[256,"86653404735178215396816229761003667045280865481620596259791533724727830329833"],"tag":"AbiUInt"},{"contents":[256,"14991956231588112662388241128368492924906375455650117953209957584737709775108"],"tag":"AbiUInt"},{"contents":[256,"133"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"51"],"tag":"AbiUInt"},{"contents":[256,"312719539456054558224"],"tag":"AbiUInt"},{"contents":[256,"1530646137"],"tag":"AbiUInt"},{"contents":[256,"4000"],"tag":"AbiUInt"},{"contents":[256,"4000"],"tag":"AbiUInt"},{"contents":[256,"4000"],"tag":"AbiUInt"},{"contents":[256,"62"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577601"],"tag":"AbiUInt"},{"contents":[256,"74896212708804690730530862369023975425132268841180056300662084461680040513995"],"tag":"AbiUInt"},{"contents":[256,"27474036108069664422377037398851107054047532128949452680318115934049009525816"],"tag":"AbiUInt"},{"contents":[256,"1529869356"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"42350481311223660967510420516409592942144431253824740395898606802845684292898"],"tag":"AbiUInt"},{"contents":[256,"110774993743643386995894546159296206563234502801589877702781737813998672107591"],"tag":"AbiUInt"},{"contents":[256,"163188370138336091513180472116553850256081392"],"tag":"AbiUInt"},{"contents":[256,"75909690284988986852584304642447424945941288528083913167923584159464149212560"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"16448410699010194266697887062588193553269208306793615368691767587132412430824"],"tag":"AbiUInt"},{"contents":[256,"50647287977316424406935342021045433161348742261905088988736411227657646159667"],"tag":"AbiUInt"},{"contents":[256,"64698665472573106022854129619780630235906377854269775065902834181452132971729"],"tag":"AbiUInt"},{"contents":[256,"224345490783272570334070611099797640320600953460864713837828582224915365093"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638938"],"tag":"AbiUInt"},{"contents":[256,"33"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428163"],"tag":"AbiUInt"},{"contents":[256,"22470075507901825934878604847561923292294958762147580972357001627012516916062"],"tag":"AbiUInt"},{"contents":[256,"371"],"tag":"AbiUInt"},{"contents":[256,"1529911356"],"tag":"AbiUInt"},{"contents":[256,"59856550556097156771714440000693956205786727522097340135465157940041803728384"],"tag":"AbiUInt"},{"contents":[256,"96476039014534371869161414870389546783763633885939039461296673985568563384994"],"tag":"AbiUInt"},{"contents":[256,"19879592149357768139609940"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858879"],"tag":"AbiUInt"},{"contents":[256,"5115933"],"tag":"AbiUInt"},{"contents":[256,"303"],"tag":"AbiUInt"},{"contents":[256,"112263390344647465166467685358381821245636703706467003889703936216169713741854"],"tag":"AbiUInt"},{"contents":[256,"1532638184"],"tag":"AbiUInt"},{"contents":[256,"83692973373301037348002935348745254911133416494159773919030706082950596171666"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"28573870587715467502528433376180610054341778512117961080290661303610009020399"],"tag":"AbiUInt"},{"contents":[256,"1531395072"],"tag":"AbiUInt"},{"contents":[256,"463"],"tag":"AbiUInt"},{"contents":[256,"101544934991015672761524216865627489791753959289281876856517014721354760452950"],"tag":"AbiUInt"},{"contents":[256,"47360799262234873740437995057618066836532876725489701988061297612008466909355"],"tag":"AbiUInt"},{"contents":[256,"105583519156199915607040066159291995092334549847260942982081638626114591599668"],"tag":"AbiUInt"},{"contents":[256,"5488247960441585817194989555346120145228142241216872029066386357474538245451"],"tag":"AbiUInt"},{"contents":[256,"1526540143"],"tag":"AbiUInt"},{"contents":[256,"94"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731852"],"tag":"AbiUInt"},{"contents":[256,"64168923522007871388929012322829096214683423861752282038489447667634658407300"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639871"],"tag":"AbiUInt"},{"contents":[256,"39737174022459093456551698540608432915714553970482351329036272427017573262187"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030338"],"tag":"AbiUInt"},{"contents":[256,"9999"],"tag":"AbiUInt"},{"contents":[256,"65319352068996349551034779730464028904684305828936171168250627877566121816647"],"tag":"AbiUInt"},{"contents":[256,"51340265407990648614925280414936662171337168034689348651174942022440112905929"],"tag":"AbiUInt"},{"contents":[256,"4882097277064460148745729265275216865379458850820409726438891511033661948441"],"tag":"AbiUInt"},{"contents":[256,"10000"],"tag":"AbiUInt"},{"contents":[256,"9225457047320960264133475353106289958574995541312835776647600297804662078970"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"1539367303"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639899"],"tag":"AbiUInt"},{"contents":[256,"81927577799895559713867855391621352110148211828245909985079225934902201086354"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"1526354679"],"tag":"AbiUInt"},{"contents":[256,"87147716073100184166648819903417929909180772524119420404803907274763634083193"],"tag":"AbiUInt"},{"contents":[256,"804"],"tag":"AbiUInt"},{"contents":[256,"72792363498693251891440787060843780130538896269631505384386990430802711432812"],"tag":"AbiUInt"},{"contents":[256,"410"],"tag":"AbiUInt"},{"contents":[256,"35789946040234848494600482214065215625500611766427018759690023461713462336734"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"58585287372916241903402362825898680"],"tag":"AbiUInt"},{"contents":[256,"22171520673573573034119865414213432231758236145734754674597854344998147374725"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639435"],"tag":"AbiUInt"},{"contents":[256,"14049528737724354296794024070872915855908043660269118446951397932828672609891"],"tag":"AbiUInt"},{"contents":[256,"29987903782976922142483796450084088745545761912406036074514393204269904339785"],"tag":"AbiUInt"},{"contents":[256,"1528216888"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639436"],"tag":"AbiUInt"},{"contents":[256,"1530024703"],"tag":"AbiUInt"},{"contents":[256,"2207586583830660329183858731611038848599618544000452505942084473472884791398"],"tag":"AbiUInt"},{"contents":[256,"32405828661925268652237196746180112036068392536624497756552421392737478083108"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858883"],"tag":"AbiUInt"},{"contents":[256,"50899478804657284389217120658081974164113249222068752714942186935818597263563"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639819"],"tag":"AbiUInt"},{"contents":[256,"1015"],"tag":"AbiUInt"},{"contents":[256,"32846985442147697833275740020096240899775549616091941086184006879078558145155"],"tag":"AbiUInt"},{"contents":[256,"82380296398719897923855765639749517530868951315056302195978603446100543632795"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"1534719519"],"tag":"AbiUInt"},{"contents":[256,"79008016531812103140532508565823153199330503089141049361930274173734357524291"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639880"],"tag":"AbiUInt"},{"contents":[256,"565602340416734008270275309085389261651996554285154708610268616002452442942"],"tag":"AbiUInt"},{"contents":[256,"8807246013435551138332082392050500070051986032546818514683213420474323728171"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003bf67","0x0000000000000000000000000000000000000000000000000000000000002327"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":[256,"104"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000013","0x0000000000000000000000000000000000000000000000000000000000001372"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc30","0x0000000000000000000000000000000000000000000000000000000000000290"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003837a","0x00000000000000000000000000000000000000000000000000000000000031cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002dac9","0x0000000000000000000000000000000000000000000000000000000000000439"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"165"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010a2f","0x0000000000000000000000000000000000000000000000000000000000002ad7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000003ab545668d254e585"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030338"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e353","0x0000000000000000000000000000000000000000000000000000000000004d52"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"66336991378954670816784210034443408258776850425414439460806915935289081597127"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c9","0x0000000000000000000000000000000000000000000000000000000000000098"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639888"],"tag":"AbiUInt"},{"contents":[256,"107340678782351858387990127617490102732964310016560315852254363465581400694187"],"tag":"AbiUInt"},{"contents":[256,"4000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002aef9","0x0000000000000000000000000000000000000000000000000000000000004c38"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e762","0x00000000000000000000000000000000000000000000000000000000000089b0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"90486723149752616876230386656939233846754208043262126826776198053496949954423"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf1","0x00000000000000000000000000000000000000000000000000000000000012f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639917"],"tag":"AbiUInt"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":[256,"1529203794"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34e","0x00000000000000000000000000000000000000000000000000000000000030fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"108683813995830781961341252"],"tag":"AbiUInt"},{"contents":[256,"1529727679"],"tag":"AbiUInt"},{"contents":[256,"86402"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000052","0x000000000000000000000000000000000000000000000000000000000000139f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]