[{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"3823412142853321939107175097685044638472140939790200171604448182865511555290"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c7","0x00000000000000000000000000000000000000000000000000000000000013a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6d","0x0000000000000000000000000000000000000000000000000000000000000016"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639882"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb21","0x00000000000000000000000000000000000000000000000000000000000003e6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"28639483727665454962459312425998847488840975511899141206803041875375432742689"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065679","0x0000000000000000000000000000000000000000000000000000000000000035"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"18398042208947300800428878055311354793389304317215013659708096293292876899324"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacc","0x000000000000000000000000000000000000000000000000000000000000c234"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021a86","0x000000000000000000000000000000000000000000000000000000000000135d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"1533425777"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007cf5c","0x000000000000000000000000000000000000000000000000000000000000a884"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"37761703075925520856364580754091634686850949950556431089877187844805168861484"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd37","0x000000000000000000000000000000000000000000000000000000000000138e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000080772","0x0000000000000000000000000000000000000000000000000000000000001319"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"369"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270f","0x000000000000000000000000000000000000000000000000000000000000755a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5f","0x000000000000000000000000000000000000000000000000000000000000a291"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":[256,"68679492684563726448621246556205989214683498161557301573867745453252914214756"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000049","0x000000000000000000000000000000000000000000000000000000000000134a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\178\\&9\\131\\239\\138A\\129\\&5\\255\\225\\v \\250\\STX\\210\\139:\\245\\154]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230h\\\"\\224L\\152<$:s\\254\\185.\\NULu\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160t\\242#\\146\\134*\\DC2\\191R\\249\\231\\SYN\\231\\146\\190\\238p\\183\\175\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"QK\\145\\&2Q_\\180\\130\\214k\\165MR\\ETB{%x<\\175\\221\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\227\\236\\166\\241\\242\\227\\155\\DC4U)`:\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\168\\&7:\\164W\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\")7\\234Xnf*$\\244\\163z5\\222M\\244\\182\\ENQ\\135\\193\\&2\\163\\232W;\\173\\252\\246RU\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\154\\166\\&8\\158\\249'b\\184n\\GS\\196*\\US\\200\\214\\141\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"lH8\\SUB\\154\\151\\239DN\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\v_\\218\\217\\233\\228v\\ETXET\\233$$8W,\\248\\177&m\\132|A/fH\\183\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209D\\rm\\156\\246\\SUB\\DC3\\DC4Y\\131\\&7\\221\\SI\\187\\DC3\\183\\ETBa\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\230\\173\\ETX\\NUL\\192\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\USJf\\b\\167\\t\\\" \\151R\\227T\\252V6KF\\227\\177\\199N\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\158\\NULN{+\\ACK\\219Vn\\rj\\186M\\166\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218N\\128\\130\\133B2Xg.\\153\\&2\\228c\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"114152685084503867365834678891695376494549643570181784186991143819396327506936"],"tag":"AbiUInt"},{"contents":[256,"3503912157615886735465971506115599903277348907375847945449492309505227042609"],"tag":"AbiUInt"},{"contents":[256,"1530529569"],"tag":"AbiUInt"},{"contents":[256,"21"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634937"],"tag":"AbiUInt"},{"contents":[256,"67852553924097699150187459590730120558988175228497049993228062512293568917324"],"tag":"AbiUInt"},{"contents":[256,"67852553924097699150187459590730120558988175228497049993228062512293568917324"],"tag":"AbiUInt"},{"contents":[256,"67852553924097699150187459590730120558988175228497049993228062512293568917324"],"tag":"AbiUInt"},{"contents":[256,"67852553924097699150187459590730120558988175228497049993228062512293568917324"],"tag":"AbiUInt"},{"contents":[256,"67852553924097699150187459590730120558988175228497049993228062512293568917324"],"tag":"AbiUInt"},{"contents":[256,"67852553924097699150187459590730120558988175228497049993228062512293568917324"],"tag":"AbiUInt"},{"contents":[256,"67852553924097699150187459590730120558988175228497049993228062512293568917324"],"tag":"AbiUInt"},{"contents":[256,"67852553924097699150187459590730120558988175228497049993228062512293568917324"],"tag":"AbiUInt"},{"contents":[256,"67852553924097699150187459590730120558988175228497049993228062512293568917324"],"tag":"AbiUInt"},{"contents":[256,"67852553924097699150187459590730120558988175228497049993228062512293568917324"],"tag":"AbiUInt"},{"contents":[256,"67852553924097699150187459590730120558988175228497049993228062512293568917324"],"tag":"AbiUInt"},{"contents":[256,"67852553924097699150187459590730120558988175228497049993228062512293568917324"],"tag":"AbiUInt"},{"contents":[256,"94862816827103928921077664926779550087292430489917800039133992271877589337294"],"tag":"AbiUInt"},{"contents":[256,"999999999999999999"],"tag":"AbiUInt"},{"contents":[256,"17217151547774416629041416968570056911375128015636094818772970350342092123023"],"tag":"AbiUInt"},{"contents":[256,"90950337527894704310173613447107820970788717563195531719966827803148572767810"],"tag":"AbiUInt"},{"contents":[256,"84179460534095702865402092116695430155190725647365132513806218720783545181658"],"tag":"AbiUInt"},{"contents":[256,"112055633074696499173249512046009714355390827301683356465775830219279836791979"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"73631045588084484277201535689132700234141480761921927504073240363843022396960"],"tag":"AbiUInt"},{"contents":[256,"31"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731850"],"tag":"AbiUInt"},{"contents":[256,"567"],"tag":"AbiUInt"},{"contents":[256,"110121415992780376161644518854255554795963014893556063211167219747114327140666"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"103115221754650994684050861395557438795803413575317774488816444995143454026751"],"tag":"AbiUInt"},{"contents":[256,"58"],"tag":"AbiUInt"},{"contents":[256,"77292318360051883714452472396594217419295141758683758392206467582800638930337"],"tag":"AbiUInt"},{"contents":[256,"11928804227835470024372140246397949932223862871426789346594799920868140836597"],"tag":"AbiUInt"},{"contents":[256,"209"],"tag":"AbiUInt"},{"contents":[256,"73911712706897613523659707742808853639043366186052617505652304133000697336617"],"tag":"AbiUInt"},{"contents":[256,"93169249485708211767934820492299722685667710760552580917020100300400837040025"],"tag":"AbiUInt"},{"contents":[256,"59499761790303621797000269926160777041906328134503821900847193500266262996499"],"tag":"AbiUInt"},{"contents":[256,"222"],"tag":"AbiUInt"},{"contents":[256,"27003923003893890699373163820832927787727773420970087698385466865914202242381"],"tag":"AbiUInt"},{"contents":[256,"84"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628417"],"tag":"AbiUInt"},{"contents":[256,"32"],"tag":"AbiUInt"},{"contents":[256,"34361961048974318347460206809126204254330414992189714461169641658618132361160"],"tag":"AbiUInt"},{"contents":[256,"765"],"tag":"AbiUInt"},{"contents":[256,"69390526490116501062004820044135490938098951687966249407051813443092089524424"],"tag":"AbiUInt"},{"contents":[256,"2229010912303585903747926395014430510241511730794384769962425191938267101880"],"tag":"AbiUInt"},{"contents":[256,"70813904831313747586549457752099313459052736512031992636861433537878800163854"],"tag":"AbiUInt"},{"contents":[256,"106618474597008624225824278146892024692429382411114887327618766915900815992936"],"tag":"AbiUInt"},{"contents":[256,"662"],"tag":"AbiUInt"},{"contents":[256,"120"],"tag":"AbiUInt"},{"contents":[256,"24439197178172284942126338739321037821169506932349137912038431581815980083788"],"tag":"AbiUInt"},{"contents":[256,"231"],"tag":"AbiUInt"},{"contents":[256,"105164741658259440481075369749442674376729170364660314416460863724215382138542"],"tag":"AbiUInt"},{"contents":[256,"107252813157059088614696658218423162684079967403595623303741634110300441161420"],"tag":"AbiUInt"},{"contents":[256,"253"],"tag":"AbiUInt"},{"contents":[256,"46749431830938798807991416525627883901738468490162951655296200245063900682145"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639681"],"tag":"AbiUInt"},{"contents":[256,"270"],"tag":"AbiUInt"},{"contents":[256,"36600346700385750902305659617241694598113266052102279306419159993215909021819"],"tag":"AbiUInt"},{"contents":[256,"25741991149400189972070351041952171419038169278892962331423400857984433274758"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639868"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639906"],"tag":"AbiUInt"},{"contents":[256,"5002"],"tag":"AbiUInt"},{"contents":[256,"66"],"tag":"AbiUInt"},{"contents":[256,"379"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"20219412899899826493186826057543105680085360086898067091865759715083112413277"],"tag":"AbiUInt"},{"contents":[256,"87652709852345053038610075805560213798241035091104170664599783866459477319353"],"tag":"AbiUInt"},{"contents":[256,"559"],"tag":"AbiUInt"},{"contents":[256,"62730283253443035462919777751878960196197705043194576738231426992165141726467"],"tag":"AbiUInt"},{"contents":[256,"29513469368549832256184645187519390224524342882085982376224463211688285054223"],"tag":"AbiUInt"},{"contents":[256,"79748192782007845276103198967381630607242896923084236162798209885414701075416"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639939"],"tag":"AbiUInt"},{"contents":[256,"18663080919932100005067168751294671616838458651521302263551735832743872164964"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630938"],"tag":"AbiUInt"},{"contents":[256,"46799766959042922204669470658054483071095050724400569073508695120664447469553"],"tag":"AbiUInt"},{"contents":[256,"91591168374393895682622037885410472558516772566047812590198812054407424731333"],"tag":"AbiUInt"},{"contents":[256,"91591168374393895682622037885410472558516772566047812590198812054407424731333"],"tag":"AbiUInt"},{"contents":[256,"91591168374393895682622037885410472558516772566047812590198812054407424731333"],"tag":"AbiUInt"},{"contents":[256,"91591168374393895682622037885410472558516772566047812590198812054407424731333"],"tag":"AbiUInt"},{"contents":[256,"91591168374393895682622037885410472558516772566047812590198812054407424731333"],"tag":"AbiUInt"},{"contents":[256,"91591168374393895682622037885410472558516772566047812590198812054407424731333"],"tag":"AbiUInt"},{"contents":[256,"91591168374393895682622037885410472558516772566047812590198812054407424731333"],"tag":"AbiUInt"},{"contents":[256,"50894798794488169773918382411300039329786852402013421192382316606192931626924"],"tag":"AbiUInt"},{"contents":[256,"1527865100"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266894"],"tag":"AbiUInt"},{"contents":[256,"944906097301733578285267032856740579596170826953276843159031725564489796585"],"tag":"AbiUInt"},{"contents":[256,"76373837676062460611474114931807066272349370124589848350190529084540500437095"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000354e9","0x0000000000000000000000000000000000000000000000000000000000005d4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001517f","0x000000000000000000000000000000000000000000000000000000000000001c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[128,"57"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003eb","0x0000000000000000000000000000000000000000000000000000000000006541"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DELj\\131\\201\\ETX)GV\\141\\245Y\\144[\\138\\129\\162\\149U\\193\\171\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\231\\139+\\152\\SUBc\\US\\147x\\158\\195\\130\\136\\172!\\158_\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\226\\EOT\\DC4'\\230\\FS\\t0\\227\\249Y\\195o,\\227\\154\\249\\229\\251\\198Q\\b\\196\\227\\242\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\245m\\185Q\\SUB\\NAK\\191\\NAK\\DC2\\197A\\158\\208(\\v\\\\\\240\\147\\154\\GSx\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC^\\190\\212G/\\179\\SI\\134\\253\\197\\217E\\180\\154G2\\139\\153\\131;R\\ACKG\\237\\151\\177\\230\\232\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\214\\&9\\f\\138\\STXc\\EM\\DEL]\\206/\\128\\&5y\\212S\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\134\\229\\191\\168d\\151\\222\\&9e_J\\134D\\189\\&1\\r\\189v\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"Q#\\186\\233\\144\\132$$\\STXzwM\\US\\244]o\\210Uc\\161\\236\\204\\&38\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\200\\174\\226X\\137\\136\\230\\169\\204\\203\\154\\240|%~q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\212\\217y\\189 B\\147\\241!\\211\\174\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214RbZ\\178\\158\\185\\SO\\194\\180\\f\\146`\\134\\138\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\135O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253^\\139\\248f|z!\\133\\&6\\242\\177Km\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\GS%\\251\\&2\\rj\\SO\\r}\\131\\ETX\\202\\133}\\132\\226V\\155\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\165\\215\\217\\141\\233\\132u\\186d\\NUL\\174\\133\\188\\185\\176\\t\\139|\\129\\136\\156\\219\\254\\245\\208\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\";\\183\\212\\163\\153\\214\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"5O\\SO#\\176M\\243\\ACK\\242]&\\by\\217l`\\176d\\193z\\246\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\143\\ETB\\DEL\\218\\129\\230\\NUL[lu\\184i\\251\\229\\205\\162\\128\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\ENQV`\\n\\165\\201`\\r\\218M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\247\\247/\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\186o\\189\\223h\\184\\187a[\\255k\\220\\208\\153\\231\\DC4\\208\\169\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\168\\193P*[\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\";\\175\\199\\206\\140\\175E=k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240=\\150\\145Bx\\222@NQ\\DC3\\233@\\198\\&3\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\254\\DC3a\\239:\\181K\\240D\\144\\150\\USs#!\\196\\f\\STX\\220&TF\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB4\\f\\CAN\\ACK\\223Pi\\231\\SOH\\198\\144\\253A\\245\\&7oxz\\194\\RShq\\136\\&8L3\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\ACK\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\226\\n\\168&\\219\\253\\US\\196\\205\\254M\\186\\142\\152\\128{X\\ETX~,\\f\\146~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139:\\231\\DC2\\202W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213K\\132\\167 #\\156\\RS\\DC1R0Y\\160\\227\\161<\\198\\147\\234\\&3\\186\\241Vg`\\182#\\224\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\RS\\203\\DLE\\132m\\151\\186\\194\\201Z0\\158z\\ENQ\\227\\144\\&9*\\154\\148\\220\\223h\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\DC4;O%*\\192E]r\\168\\208\\GS.\\202\\DC2\\247\\230z\\187a\\129UC\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151d\\165\\181'\\GS\\237\\ENQ\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\159\\191\\bv\\208'\\209\\228\\&2%\\239y0\\STX\\ESC3\\144\\229u\\233\\&9\\176\\241\\223\\t\\133B2\\168\\176\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\204P\\202\\&3\\198\\DC3\\198\\NAK\\219s\\144\\184\\a\\172\\213\\254\\DEL\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\DC4=\\139\\228\\&9\\204\\137\\DC4\\EOT\\DC4Y7\\208\\239+_!\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\234\\244\\248\\b\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"*7\\136Z\\166\\134)\\156F\\250!\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\217\\SUBGL\\163X\\190\\205\\177t\\187\\&3\\242\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"tY\\225\\151\\248V\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195:\\143\\EOT\\138^\\f\\236e\\174\\205>\\173NG\\GS~T\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128{\\197g\\167\\203\\225j>\\140\\167\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\FS\\211K\\164,\\250\\148G\\214[\\ab\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\EOT\\251\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\aEw\\DC3\\145:~^A\\183?\\148v\\200[\\182tC\\233\\140[\\233\\161<9\\217Y\\ETX4\\159O\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1 & \\217\\129\\GS\\198&\\201\\DC2\\253\\213!\\DC1\\RS\\227&\\NAK\\186\\180@l\\184\\b\\248\\t\\214\\US\\185\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\FS}\\216\\SOH\\DC1\\241\\233\\246\\238\\234\\143j\\181Pr\\139\\159\\a\\219dp\\144\\154\\155\\203|\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128U\\162\\SO\\175\\129\\144Z\\191\\211\\139\\232;\\180\\DC4d\\209\\SOHV]\\137\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\147\\234f\\228m\\131\\240\\167\\160\\246\\203Tn\\189Fs\\216\\235O\\230Yg\\199\\228\\&4*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ni\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\197(\\210_W\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\171\\177\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234V+\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\247\\219\\&8&5\\DC4\\219A\\155\\213\\179\\SIq\\188\\215\\188\\233V\\233JR\\241\\US\\169\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\138\\US:\\CANQSho\\171\\171\\248|=\\199'$z\\170I\\174\\224\\191\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"N'\\177oB\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"~k\\EOT{\\204\\185\\227\\233Jv!\\228\\DEL\\DC3\\188\\162\\172[\\251?\\251\\160\\169f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\213\\148\\131E\\219\\146*\\199\\211\\189\\160\\175\\245^\\222\\199v\\214\\&4j\\NULc\\224\\145Pi\\171\\239\\fO\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222;\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EMN\\187\\ESC\\186GC\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\200\\251F\\SO3\\136\\128\\n\\218\\230\\255\\194\\&8\\255\\198\\225\\171pU\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"%p\\130\\197}\\195\\238\\249v\\253[\\r;b49\\188t\\139\\234\\186\\244\\212r\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAKK\\221\\166\\SO\\EM\\230a\\SUB\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\SOH+]\\164\\&7)\\214\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"2\\229\\208\\t\\ACK*\\167R\\238\\t\\242\\153\\209)\\180\\169U\\\\\\213\\DC2\\146tx\\RSa\\139rY\\STX\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\150\\226\\216f\\151\\DC4'x\\SO\\133\\186\\DELv6\\DLE\\129\\v\\ACK\\199\\161\\203f\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"5dg\\NUL\\130\\169J)\\190\\230<5`\\STX\\ETBEz\\\"\\243h\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\222OqY \\236\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS8\\179\\199\\135Xu\\SO \\153y\\185\\245\\206\\255,\\\"u\\FSz6\\191\\203\\140\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181k\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\164\\156\\178\\US1\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\ETX$nD\\129\\189\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\158\\EOT\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\\"\\202=X\\238\\154$UA\\208\\192\\166\\&7_ \\188\\DC4\\149\\175\\137\\196s\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\192\\EOT\\\"\\195`w:F\\162\\167dT\\210\\224H\\228\\&0\\186\\229aBv\\183&V\\158\\a,\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\201\\DC3mk\\251\\215\\147H\\168\\159Y6\\251PD\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194pu\\235%\\GS\\218$\\198=^\\a\\194y\\131\\237\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO'\\173x\\181$\\236f;m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\247\\&8\\174\\vW\\139\\169\\202K\\223h\\233\\190B\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"Z{\\196\\246^B\\RS\\135\\SOH\\158o\\249\\fT\\233\\208\\206\\NUL\\184\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238{\\DC1\\DLE\\DC3\\128\\&9H\\ETX\\149\\226\\255\\168kn\\170\\241\\148i\\159\\149\\214B\\158\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\169ao\\170\\195F\\188w\\227Y\\215g\\209\\201sv \\221~\\243N\\140|l\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\255=!\\ESCa\\ETB\\210\\145\\CAN\\139\\151$\\253\\162\\196\\EOTq\\225\\249E&\\200\\192.\\195\\128\\237\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\ETB\\SOH>\\144\\223\\186@\\160\\225Qk\\140s\\128^\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vc0\\193\\ACK\\vEy+Q8\\USA\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\\"\\149\\216X\\225%<\\217v\\235\\GS\\128X\\188T\\136M!\\239\\233f\\195W\\SOHU\\171\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\197*\\239\\136\\199\\252}\\249D\\171]\\167\\SO\\SOT\\172v3\\ESC\\231\\&9 Qmg]\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\162\\CAN\\EM\\DC1>\\243\\236j\\160l\\169\\165,\\245Z0\\200\\SI\\188U\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239:1\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\241\\209\\253\\205\\160E\\152\\199\\130f\\171\\209\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SOH}+\\235\\DC3h\\172/?BeX=\\DLEz\\b\\DC3\\202u/\\209\\226\\181\\245G%p\"","tag":"AbiBytesDynamic"},{"contents":"\".i\\210\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\235\\SI\\147IWe\\153\\211W\\FSl\\222b\\DLE\\DC2\\141K=\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128ro\\128\\168\\&9\\EOT\\231\\&9mG@\\221gD\\135\\DC2\\ENQ\\144\\157OE\\154\\191\\175h\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\&5\\162\\244\\235\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\129\\167\\CAN\\197\\190\\205iT\\172\\228\\226P\\\\\\147\\167w|m\\216\\184&\"","tag":"AbiBytesDynamic"},{"contents":"\"w$\\218)tPB\\210\\135s\\226>\\136\\a\\132>Qj\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\t\\187\\173\\134gyi\\GS\\194`\\221cc\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\212pp\\249$\\EM\\197wQ\\DC1!^a\\DC2\\232\\144;\\203q\\241x\\165p\\129\\234\\232\\\\\\237M\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC&?\\148\\171\\RS\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\206\\233\\SOo\\212q\\179XsJ\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"8,\\236\\a\\202'}T\\SOHY(\\231q\\179/z\\FS\\244o\\222\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\199\\239\\159d\\193\\231\\DC4K2%8\\136\\233\\163\\182.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245/\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\227\\152`\\216\\251\\NAK \\211m\\221\\158E\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\185-\\201\\161\\180K\\176S\\a!\\133\\243?@\\SUB+\\SO\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"k?!\\142\\134\\135z&\\135^\\206\\219\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"7h\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\145A\\DEL\\CANt\\\"\\SUB\\134+\\158<\\239\\&0\\230\\178\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133e\\199\\134\\223\\253\\225\\156JD\\236-\\240\\149\\SUB\\\\$\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\175\\DLE\\240\\ESC,\\183\\v\\189\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"xZj\\f&\\239'\\205{\\133\\SI\\222\\142\\SUB\\181\\SYNO\\246\\DC2a?]%\\130is\\\\\\165R\\213&c\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\">c\\211\\239@\\138\\149\\162\\130\\211\\132\\DEL?\\NAK\\SO\\ETXka\\194\\150\\215MV\\246\\FS-\\188\\240\\190\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\NUL~\\188L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221lk\\152\\155\\189\\b\\CANS\\174\\138\\174\\159\\200\\195\\234z\\154-B3\\175\\RS\\222\\165e\\161)\\166$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\212\\174\\241\\EOT\\191\\233\\EOT\\159P\\164\\157\\151\\191Z\\200\\221\\ETB\\232!\\189Q\\ESC2;\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\173\\210'2?M\\232z\\174\\238\\161>>\\147\\189~\\DC1\\144@\\DC3V\\US\\187\\241@\\GS\\231}j\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\162f\\163\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145U\\190\\248\\143\\EOT\\131d>D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\209\\DC4\\205\\226!\\248\\185^\\197\\237 \\247[\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\186\\196\\231\\135\\208\\229\\RS\\v\\225\\238\\224\\252\\163Z \\223\\GS\\STX\\DC3M-J\\165v\\166:\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"D$\\247\\182\\216\\222&\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"<[|\\174\\220\\128*au\\177\\203\\199\\195C\\208A\\208\\248\\\"\\EOT\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"IH\\186B\\149\\145\\215\\240\\164R\\164\\248:\\189\\161\\&1\\137_\\224\\&1\\164#\\166v\\EOT^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t=\\189\\176!S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\131\\197?b\\182\\239\\161\\221\\177\\230[\\159=\\183j\\199\\135\\\"Ki\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"4/H\\166\\197\\162:\\135-5\\172\\223&\\220\\253o\\164=}Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\193\\144\\157\\v-\\SUB{\\225i\\196G\\170\\156\\NUL\\153{]\\187-\\173\\141)\\178_\\rB\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\184\\128\\175\\135\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"6g\\SOH\\240|\\142b\\RS\\159Y\\203)\\220\\DC4\\194\\&7\\ETB\\201`1&\\189}`'c\\SOH\\246\\247\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188[\\249\\\"\\174c+\\197\\&3i\\231\\ETB \\209J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\197A\\133\\202\\f\\254\\SOHl\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\248\\171&\\f\\250k\\197U\\179\\205_o!\\191:$|\\206\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"W9\\221\\134\\219O\\155n\\246}\\238h\\154%~\\244\\GS\\164\\195\\130L\\SOHQ\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"+>\\228/k\\248\\174kg\\SYN\\163\\\"aIE\\250!\\253R\\199\\208\\143\\192\\197l/\\208\\\\H\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\n\\171\\248F\\187P}\\148\\152\\SO\\r\\193*XU\\US\\200\\230\\175\\130B\\207\\192q=\\NAK\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\">e\\200\\192\\184\\156\\161u\\132\\171\\145\\\"\\196A\\STX\\166\\156-B\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\165\\227O\\214\\204\\241\\216\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\254\\212\\190\\192?U\\DELm\\245\\199\\184\\DC2V\\RSP\\197\\129iXD1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198vF\\146\\&5\\b\\223+\\240\\DC2\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"}o\\243(\\194\\190}\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"R>\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141Q\\176\\145\\133{\\SO,\\154\\191)_7@\\169\\175\\220\\v\\US\\225\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\212|Em\\142b>,\\158\\233\\234M\\138v\\217\\183\\238\\ESC\\189\\234Y[\\145\\245}H\\223\\255\\EOT\\178\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\165O\\152\\&4\\EOT\\SYN\\196B4\\190V#\\148\\227\\250]Q\\202uh\\229\\NUL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\130(^Uh\\149\\ACK\\SI\\153t\\243\\182\\201\\246\\146?\\211yC\\245+\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK +%\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\151I\\177\\ACK3\\215\\164\\178\\230\\153[)e\\188\\168\\DC2\\160\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\5;iZ\\ETB\\197!V\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\177\\208(\\196V\\254\\STXC\\n\\229\\203\\&5#\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\131d\\132l\\CAN\\182\\130\\136:\\252\\233\\139\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\158\\&4\\241\\SOHebeX\\233\\v\\SO\\208\\196\\185O\\178\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164.u\\RS\\134Kq*)\\231\\180\\130\\199\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\228\\241n\\b\\159\\250\\231\\195\\193]^kL|\\233\\171\\201\\NAK\\221{\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\147\\197\\a\\244\\SUBD`?\\179\\ETX\\t\\242[\\149,Q|\\142@\\202\\229\\197\\189\\139j\\232\\237R \"","tag":"AbiBytesDynamic"},{"contents":"\"L\\a|4\\226y\\157\\145\\156\\152\\&8\\225x\\168\\200Q\\208]\\199mc\\196k\"","tag":"AbiBytesDynamic"},{"contents":"\"b+\\253\\176a\\212J\\131\\181gN%Iq7:m\\208D\\244\\178\\255\\236C\\239\\194'\\185$\"","tag":"AbiBytesDynamic"},{"contents":"\"+KX\\252` \\228V\\SYNv\\DC1\\128\\NUL\\228X%\\242/5\\249I)1\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132>\\147h\\ESCzh\\164\\&5\\\\\\238\\209}\\193p2\\r\\191NR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\177\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\&9]\\208\\136`\\186k-\\SI\\185\\245\\162s\\183\\197\\163\\&4\\211\\190\\DC1\\169$\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\a\\248\\173\\229\\142\\226\\245q\\220s\\DC4\\192o\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"*~\\198b\\145M\\212\\GS\\177k\\SO\\135\\231.s\\165\\199\\DC4\\193~\\254\\208\\255\\211\\130\\224p\\169\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\251\\\\\\NAK1\\v\\DEL\\132F\\213\\218\\239(\\CAN\\138\\160\\228\\169\\FS\\140g\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\v\\180\\232\\&6\\143\\&8\\216\\160\\234\\\\\\ACK\\203\\138K6\\236\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130~y_\\ESC\\SUB\\247\\185\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\204\\\"\\170\\158a\\CAN\\130P|\\SOH\\146\\128\\232V[k%S\\b\\243\\238\\240p\\EMp<\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\182\\SOH\\131\\ENQ\\SI3z\\142\\194\\&0:\\152\\DC2\\130\\214\\177q\\NUL\\251\\155\\207\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\206\\r\\144\\190>D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207/\\192\\213\\DLE\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\150T\\204~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185U2\\210\\134\\172\\NAKRCB8\\137\\152\\152|\\227j\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\242r\\207\\214\\DLE\\CAN\\188\\EM:\\194\\128\\ESC\\ACK\\253\\n\\237$'\\248/['\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\240\\199 \\\"\\193w\\173\\184\\229M\\253\\158X*\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\176E|\\163\\255;\\210>\\158\\162\\242pRP\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\165K\\ENQ%\\250\\227S\\246\\245\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\180c\\b\\163Fr\\188=T$\\US.\\241\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\208I(\\149A\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\233h\\168\\248\\246@o\\183-\\192\\227\\133\\221\\130\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\136\\t\\160\\NUL\\RSD\\SI\\154d\\186\\135\\\"AM\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\220\\203F\\164\\134Xa?Wa7bb\\SOH>\\228\\STX\\218\\139u\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB~#\\138y\\158s\\SOH\\\\Ej*\\GS\\159\\141\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\NAKc\\a\\NUL\\183wr=\\161\\204\\DC2\\205\\147U\\225{\\232\\NUL\\STX\\ETX\\163y7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1)\\236f\\f\\188-[\\225$s\\185\\\"\\170;-\\162\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\194\\132f\\229Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\211R\\180\\EOT\\r\\ESC\\235\\188\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\156P\\\"\\r\\207\\218G\\234\\&1f\\229\\143\\170\\217\\237\\177\\129'\\253\\ad\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\184\\238i\\176[1\\217*\\142g\\171^.\\218\\158\\SO\\DELFD\\150,\\\\\\220^\\227\\vft\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1H\\193\\227\\DLE\\191\\244\\194\\&7\\157\\244\\186\\251G\\128\\223\\183\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\fR\\207\\232\\168\\184\\DC3\\SI\\DC4\\172Wf\\146*\\153\\181\\219\\140\\192,weCx\\FS\\220\\249o\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"Gk\\229\\147\\DC2\\221\\RSv\\143\\132]IJ/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\227\\&4\\GS\\163\\187\\SUB\\240\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"|\\194\\\"\\169\\252\\236\\128\\198\\176\\205\\&8\\182\\252\\DC3\\158\\174\\160\\NUL?\\165\\&1>\\ESC\\180\\ETX\\EM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639890"],"tag":"AbiUInt"},{"contents":[256,"51572529599498375079158888595097630065504203735729942942372113300888077192157"],"tag":"AbiUInt"},{"contents":[256,"42955666128321472392049374332609830171261295513155817379492531728561981401051"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892769"],"tag":"AbiUInt"},{"contents":[256,"66453112871202230880046626917758957266723357546506686527084064128295891072374"],"tag":"AbiUInt"},{"contents":[256,"211575079531317857013569251521037044199285090079"],"tag":"AbiUInt"},{"contents":[256,"24233132402136178629879160463199653095033640847832150345835735248578399638529"],"tag":"AbiUInt"},{"contents":[256,"98639041437391387376206181559089628148095363080782156891468735855256947401766"],"tag":"AbiUInt"},{"contents":[256,"48749831616597501984831897597510128364835752893802293837115448125579864628200"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639815"],"tag":"AbiUInt"},{"contents":[256,"109337191737247274118456048111230664856795629496728686579863617649189779756490"],"tag":"AbiUInt"},{"contents":[256,"56833292750638991461981021937206962598654797543276955990946804686306956147576"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639937"],"tag":"AbiUInt"},{"contents":[256,"65289236794981436640043427313324583477275647424809158378660503359879486533744"],"tag":"AbiUInt"},{"contents":[256,"256"],"tag":"AbiUInt"},{"contents":[256,"604799"],"tag":"AbiUInt"},{"contents":[256,"249"],"tag":"AbiUInt"},{"contents":[256,"34446206943201820865531148022528688557185506494920254895416586124093051341638"],"tag":"AbiUInt"},{"contents":[256,"46920475129867559662056936152940321172115364289486992291254389603610408859474"],"tag":"AbiUInt"},{"contents":[256,"12"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000003"],"tag":"AbiUInt"},{"contents":[256,"1989075924291827006400"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950337"],"tag":"AbiUInt"},{"contents":[256,"110956322207352877499597232454244119146385344576423070340305291981589549603890"],"tag":"AbiUInt"},{"contents":[256,"87265418847860870697566823339067443212227415544783976218716881704264510457735"],"tag":"AbiUInt"},{"contents":[256,"101471676844294272412036737215998275267600053389051314791198016616039532110644"],"tag":"AbiUInt"},{"contents":[256,"74305131481850987656607117559173552670654028921481616201319729440370531296306"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639832"],"tag":"AbiUInt"},{"contents":[256,"87151206172133428984708605011170952562041293900074313364669444916737694595659"],"tag":"AbiUInt"},{"contents":[256,"72493402205448004520303444416878213503843278098538215130588703897208913733572"],"tag":"AbiUInt"},{"contents":[256,"576"],"tag":"AbiUInt"},{"contents":[256,"23226362850871333955572134580305529270648882234157945233970961779365648407974"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551615"],"tag":"AbiUInt"},{"contents":[256,"11106981186324852132311578261422007070875830120354921129068177673916703006180"],"tag":"AbiUInt"},{"contents":[256,"58572046560274864615105362875240078064334097602634394483211475859048828493223"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"53082857939723886733436014968197194816011488186184930169809362460433746656042"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639887"],"tag":"AbiUInt"},{"contents":[256,"96132627705349422137930126188346210904423540368406626743479768885807133327269"],"tag":"AbiUInt"},{"contents":[256,"38083312841335453579201260463557325549829231350450109695332352926150486957322"],"tag":"AbiUInt"},{"contents":[256,"81111060520778612329066781630847663924853478849106062069513705229205522471146"],"tag":"AbiUInt"},{"contents":[256,"100000000"],"tag":"AbiUInt"},{"contents":[256,"252"],"tag":"AbiUInt"},{"contents":[256,"99999999"],"tag":"AbiUInt"},{"contents":[256,"30445738057584040724747674365511063494561564523444446550939372633114289746707"],"tag":"AbiUInt"},{"contents":[256,"15284188940850176242057094719148015349805789068862260993435977860172216290452"],"tag":"AbiUInt"},{"contents":[256,"2645407315663911620032795917156648213079908190969012834535766643094222448246"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639835"],"tag":"AbiUInt"},{"contents":[256,"75057039659787476594609697933577696059890944489970452340147073892252543667744"],"tag":"AbiUInt"},{"contents":[256,"86310656670200930094567723941987934887586741722224729929593956722037394172049"],"tag":"AbiUInt"},{"contents":[256,"58495567283628737002404370738674339958408639772159294689008832520603014183077"],"tag":"AbiUInt"},{"contents":[256,"1528577580"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639798"],"tag":"AbiUInt"},{"contents":[256,"21494160875360329377703546096789347509156501067421133199140446184832486827501"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"4000"],"tag":"AbiUInt"},{"contents":[256,"63284106507047664444666210378601500867712461282629328249129176874334818145714"],"tag":"AbiUInt"},{"contents":[256,"880"],"tag":"AbiUInt"},{"contents":[256,"107177798114052320955477702159289565354226170804469672380941013218579132769452"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609600"],"tag":"AbiUInt"},{"contents":[256,"68218811875623849077795029094910582231710570846943065793256102585929400625009"],"tag":"AbiUInt"},{"contents":[256,"74775746204263075007264653094167167923571221319451319117148641699696581667359"],"tag":"AbiUInt"},{"contents":[256,"75777381265776364230399009357657389595576919688046718718768465601235967326676"],"tag":"AbiUInt"},{"contents":[256,"18436739642646702951429364916492524823759474804679202620753771609269977168174"],"tag":"AbiUInt"},{"contents":[256,"656"],"tag":"AbiUInt"},{"contents":[256,"34224562025729908281876394898775250012165909119432333493743724483000910652978"],"tag":"AbiUInt"},{"contents":[256,"1530529569"],"tag":"AbiUInt"},{"contents":[256,"81"],"tag":"AbiUInt"},{"contents":[256,"1906320522810326889696045"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"63203418147184290214324552550042229358569359665606567158831370818300776640882"],"tag":"AbiUInt"},{"contents":[256,"54308536348759910613549271780709843929590206399526367439422277215331959835912"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950338"],"tag":"AbiUInt"},{"contents":[256,"39104202165938723350130159672898618076999646470713796510119657346727252927629"],"tag":"AbiUInt"},{"contents":[256,"1533653972"],"tag":"AbiUInt"},{"contents":[256,"862"],"tag":"AbiUInt"},{"contents":[256,"97307351581494770555248676988651065491931328685905040743050257453211775813927"],"tag":"AbiUInt"},{"contents":[256,"976"],"tag":"AbiUInt"},{"contents":[256,"58256750851050452137516084058749460949"],"tag":"AbiUInt"},{"contents":[256,"4345616020134651307258190936387914121880344169770387827893142164573321950349"],"tag":"AbiUInt"},{"contents":[256,"110952717039921387604602180489580750112744385896931540621966937744093149007546"],"tag":"AbiUInt"},{"contents":[256,"8386061659576726379891234294969896969414594177287889569614704806681601663169"],"tag":"AbiUInt"},{"contents":[256,"370"],"tag":"AbiUInt"},{"contents":[256,"28190637146429510228427469918625794096306262357659543343830904904578258832947"],"tag":"AbiUInt"},{"contents":[256,"97"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781058"],"tag":"AbiUInt"},{"contents":[256,"1528577453"],"tag":"AbiUInt"},{"contents":[256,"25537525026426056349345036565552099069920867913475798474898336688473837788027"],"tag":"AbiUInt"},{"contents":[256,"96800120616054346791708331045899703264021210420705762125746481378817299002858"],"tag":"AbiUInt"},{"contents":[256,"100000003"],"tag":"AbiUInt"},{"contents":[256,"230"],"tag":"AbiUInt"},{"contents":[256,"1533846764"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"23926193683064270883291011578786096635678451036749871529431923869102014644064"],"tag":"AbiUInt"},{"contents":[256,"54820808397371876976432777056562354305813099097085793473369697921381836390904"],"tag":"AbiUInt"},{"contents":[256,"4001"],"tag":"AbiUInt"},{"contents":[256,"97393138388079044341181023027405328195896146162969449867283124245015068998514"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035139"],"tag":"AbiUInt"},{"contents":[256,"89969566731909545211606848716437255519484281529939537607967706259605634665366"],"tag":"AbiUInt"},{"contents":[256,"9391522722313927110982605304074213129299138758989388984549268443335490014198"],"tag":"AbiUInt"},{"contents":[256,"324"],"tag":"AbiUInt"},{"contents":[256,"3632806412557461123"],"tag":"AbiUInt"},{"contents":[256,"2000000"],"tag":"AbiUInt"},{"contents":[256,"47598210847081667525436668409976778070178855340934291463417100965740957236842"],"tag":"AbiUInt"},{"contents":[256,"386236934481409891007817885344908684537281667002375713423058237084278102471"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639886"],"tag":"AbiUInt"},{"contents":[256,"36030513304824248022885299145418025229050734921568953377693558284215369713701"],"tag":"AbiUInt"},{"contents":[256,"9004"],"tag":"AbiUInt"},{"contents":[256,"87872113673386191535065639992280923331514420234041107293906683152845771921637"],"tag":"AbiUInt"},{"contents":[256,"14899249172606378610621437120111837378098473966514779710925852487892682203921"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f39","0x00000000000000000000000000000000000000000000000000000000000013a8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000749e3","0x0000000000000000000000000000000000000000000000000000000000000f9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214c9","0x0000000000000000000000000000000000000000000000000000000000000e12"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"60863046088437819656920020441740983105932950387505472324345570615737034715789"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628416"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5f","0x00000000000000000000000000000000000000000000000000000000000085e0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"9714928670168557325339323695944708611043753621526783750376008238523798856418"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427b","0x000000000000000000000000000000000000000000000000000000000000bc0a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6d","0x0000000000000000000000000000000000000000000000000000000000000384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b721","0x0000000000000000000000000000000000000000000000000000000000001c9c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639639"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5c","0x000000000000000000000000000000000000000000000000000000000000c7b4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000063","0x0000000000000000000000000000000000000000000000000000000000002e23"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":[256,"31573338651591948059558773107261146169524374162049816589772352918361804283494"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164b","0x0000000000000000000000000000000000000000000000000000000000002608"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"67295807493799588817882199949138924601470678463200341123957540234092277497660"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628418"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000061","0x000000000000000000000000000000000000000000000000000000000000c16c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"14220894119624943503507415017431206799112753690357819771565929433861957894652"],"tag":"AbiUInt"},{"contents":[256,"96717591219104319993278415279304908317915587808034418552189474694417138354863"],"tag":"AbiUInt"},{"contents":[256,"3429643303645722511023491"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000015","0x0000000000000000000000000000000000000000000000000000000000001385"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"46572514169518504935677674381411774266713931846981368434827345962382165550881"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf9","0x000000000000000000000000000000000000000000000000000000000000a8bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"5922134218394984544059304611433157544903784008405049809347169909112014268926"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"1531009548"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000012","0x0000000000000000000000000000000000000000000000000000000000009205"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac7","0x0000000000000000000000000000000000000000000000000000000000008191"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"86398"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c439","0x0000000000000000000000000000000000000000000000000000000000001395"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"20983362482785984089943048433655107537791384330909862518347791467523976833202"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae6","0x000000000000000000000000000000000000000000000000000000000000ca0b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"81185566573639027123136403403915382162776068704181476844832877694812110884185"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81b","0x0000000000000000000000000000000000000000000000000000000000009187"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"99999999999999999999999998"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000094ab","0x0000000000000000000000000000000000000000000000000000000000001390"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[128,"104"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084276","0x0000000000000000000000000000000000000000000000000000000000006149"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639639"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000227a8","0x000000000000000000000000000000000000000000000000000000000000422a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000212f1","0x000000000000000000000000000000000000000000000000000000000000003e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6d","0x0000000000000000000000000000000000000000000000000000000000003bc9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"49859037877694337571728510792225970349333029595834435248759967962398240637055"],"tag":"AbiUInt"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427c","0x00000000000000000000000000000000000000000000000000000000000012a3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"65673675980239996813774148396292340109672754952743572804013501733840147868747"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002712","0x0000000000000000000000000000000000000000000000000000000000000fa2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214c9","0x00000000000000000000000000000000000000000000000000000000000000fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e7","0x000000000000000000000000000000000000000000000000000000000000138d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb27","0x0000000000000000000000000000000000000000000000000000000000009a9f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\",\\253\\164L\\215\\156BHe\\GS#\\204wd\\SI\\204TgeO\\212\\198\\EOT@\\170\\187=\\ETB};l\\231\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063720","0x000000000000000000000000000000000000000000000000000000000000d2eb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135ad","0x0000000000000000000000000000000000000000000000000000000000008c68"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"70"],"tag":"AbiUInt"},{"contents":[8,"186"],"tag":"AbiUInt"},{"contents":[8,"56"],"tag":"AbiUInt"},{"contents":[8,"234"],"tag":"AbiUInt"},{"contents":[8,"59"],"tag":"AbiUInt"},{"contents":[8,"1"],"tag":"AbiUInt"},{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":[8,"156"],"tag":"AbiUInt"},{"contents":[8,"103"],"tag":"AbiUInt"},{"contents":[8,"52"],"tag":"AbiUInt"},{"contents":[8,"176"],"tag":"AbiUInt"},{"contents":[8,"169"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270d","0x0000000000000000000000000000000000000000000000000000000000000eba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"9842819087361496453707834039369608751011417360097441564154740530913834824476"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c8","0x0000000000000000000000000000000000000000000000000000000000006ddf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c4","0x0000000000000000000000000000000000000000000000000000000000002f15"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfe","0x000000000000000000000000000000000000000000000000000000000000d13a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"23243652074343444264987226093813913694975765386797895767921927701484060731371"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e955","0x00000000000000000000000000000000000000000000000000000000000007d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011522"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000076","0x0000000000000000000000000000000000000000000000000000000000001382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"21838504216313068793176260645962946973922363789555806187297806936204897687650"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fd","0x0000000000000000000000000000000000000000000000000000000000008191"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"97349079410981130616910699729706880453097426562806036153965562821377043171502"],"tag":"AbiUInt"},{"contents":[256,"63510017899954754622028149679530174812510645946244882836158638553131670957936"],"tag":"AbiUInt"},{"contents":[256,"52808155549640318997064908089033289663429781388753120865686489719579613379607"],"tag":"AbiUInt"},{"contents":[256,"45901729817648887635828187939846576291050668028442310244313298726744490525505"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000037","0x0000000000000000000000000000000000000000000000000000000000000fa3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"923923244370660981651458303575"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000576ad","0x0000000000000000000000000000000000000000000000000000000000009745"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"142"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045c05","0x0000000000000000000000000000000000000000000000000000000000000066"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa2","0x000000000000000000000000000000000000000000000000000000000000dcc3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"97040008787282242552837499893421469066596455559831232885438523249757860543446"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb07","0x00000000000000000000000000000000000000000000000000000000000013ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"103399705336067592182085019973600896807790184995238658603480282211251690643840"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001b","0x000000000000000000000000000000000000000000000000000000000000597d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"68451613162544549143522337846775227328641788387161712764242162219940372269730"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f9e","0x000000000000000000000000000000000000000000000000000000000000002e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639858"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eafc","0x0000000000000000000000000000000000000000000000000000000000000382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061e55","0x0000000000000000000000000000000000000000000000000000000000000022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":[256,"25427339435406443655718010286743736100444979858933020432342333248373133768315"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3f","0x0000000000000000000000000000000000000000000000000000000000000045"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"589851348810295782117584083536363324838795472680020233281629376880"],"tag":"AbiUInt"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd38","0x0000000000000000000000000000000000000000000000000000000000000056"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"74108660359013465716659242362490175992169119005686959036379492767661854805048"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001d2be","0x00000000000000000000000000000000000000000000000000000000000047fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"23661762792852022926921562792276590903514590219009803804856575726198563021837"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0e9","0x0000000000000000000000000000000000000000000000000000000000000bd1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":[256,"90772872084765759769413323856436464787588210545992765901230160094919941270007"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000020f7","0x000000000000000000000000000000000000000000000000000000000000653f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"8599655942622924507089597626411896376691734025083635538969679284030913783049"],"tag":"AbiUInt"},{"contents":[256,"24868783033203134675951440050006864546163482179854565602098230119609818989474"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e1ce","0x0000000000000000000000000000000000000000000000000000000000004b9b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000013ce5e616b56323d3"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"32295810194124330644901826694292608338090325394869139659715439649734176210820"],"tag":"AbiUInt"},{"contents":[256,"94284081331819393298286115313299912875529032232092973154180713243060139965968"],"tag":"AbiUInt"},{"contents":[256,"508"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012a","0x0000000000000000000000000000000000000000000000000000000000004b96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"37792330290929402989504011813555927546558326538831833024381273613337327888976"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf2","0x000000000000000000000000000000000000000000000000000000000000136a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"121"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000290","0x0000000000000000000000000000000000000000000000000000000000007e50"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266892"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000048889","0x000000000000000000000000000000000000000000000000000000000000469a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"7213336569304138217844083612086937685013047468075912781121815500265358961153"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008714","0x00000000000000000000000000000000000000000000000000000000000094d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"231"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639889"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000b02","0x00000000000000000000000000000000000000000000000000000000000035da"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":[256,"114993386652333467689780091686322235127139275803569243506291767585887312212832"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b6b0","0x00000000000000000000000000000000000000000000000000000000000003fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdc","0x0000000000000000000000000000000000000000000000000000000000000031"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1533294010"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e6","0x0000000000000000000000000000000000000000000000000000000000009e94"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"132512610563465436684643801510396333369943868165566557909031"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004daf5","0x000000000000000000000000000000000000000000000000000000000000d8d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"258"],"tag":"AbiUInt"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e953","0x000000000000000000000000000000000000000000000000000000000000007f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"58747481982369896671779014417519491077951579658565344729521686492679394340160"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b1","0x000000000000000000000000000000000000000000000000000000000000001d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba9","0x00000000000000000000000000000000000000000000000000000000000095e4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"25"],"tag":"AbiUInt"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":[256,"18446744073709551612"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f3a","0x0000000000000000000000000000000000000000000000000000000000006ddd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb27","0x00000000000000000000000000000000000000000000000000000000000069fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"74723910080713848859717822786388837055515710497157254607834739207338412949227"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003d","0x0000000000000000000000000000000000000000000000000000000000000025"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb39","0x000000000000000000000000000000000000000000000000000000000000d8d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"82857753882096744747757001055233608874555326597545324748883093405517717815627"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0e","0x000000000000000000000000000000000000000000000000000000000000e345"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"17944996349117330862836108753314613577243600949049831234472717165260173744051"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000019","0x0000000000000000000000000000000000000000000000000000000000007e4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"101205734586247755572553813487968443176484463531112796373305277897360409032369"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e955","0x0000000000000000000000000000000000000000000000000000000000001395"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639634"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ff46","0x00000000000000000000000000000000000000000000000000000000000069fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"O\\SI\\140\\205\\175y8N\\178\\214\\196Z\\235\\147\\248\\DEL\\181#7\\233\\215A\\138\\a`b\\131\\\\\\246\\US\\210g\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000281dc","0x0000000000000000000000000000000000000000000000000000000000001389"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"5616338370488299766527485107640911869918544679232550432084864449346966096045"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb41","0x0000000000000000000000000000000000000000000000000000000000000068"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222592"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf0","0x00000000000000000000000000000000000000000000000000000000000012b5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000fdf0","0x0000000000000000000000000000000000000000000000000000000000002f15"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"3388672567106361495238969135783477420804178071938243030702282703733896282794"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e5","0x0000000000000000000000000000000000000000000000000000000000001381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"78"],"tag":"AbiUInt"},{"contents":[256,"69"],"tag":"AbiUInt"},{"contents":[256,"80161137132945493167048929199692634276591922664972208126270946775414012562080"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec5","0x0000000000000000000000000000000000000000000000000000000000007117"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"103"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007cf","0x0000000000000000000000000000000000000000000000000000000000000063"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":[256,"1245664554164896181207632699258725599364348"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b4de","0x0000000000000000000000000000000000000000000000000000000000000020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":[256,"92624614014663826442605102755662191920777088255543326773186133156374244304419"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012a","0x000000000000000000000000000000000000000000000000000000000000a293"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"35640323243926000159813292200008621121793912793762805712262312191774636353334"],"tag":"AbiUInt"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875df","0x0000000000000000000000000000000000000000000000000000000000001342"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f9df","0x000000000000000000000000000000000000000000000000000000000000012a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"9000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e0e","0x0000000000000000000000000000000000000000000000000000000000001381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]