[{"call":{"contents":["erc7540_7_mint",[{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":[256,"99999998"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164c","0x0000000000000000000000000000000000000000000000000000000000006a25"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"57942659216371091316111664933585056313740981030790505431813992637166433478862"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000064ad5","0x0000000000000000000000000000000000000000000000000000000000000381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001b","0x0000000000000000000000000000000000000000000000000000000000001315"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"18446744073709551615"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75d","0x0000000000000000000000000000000000000000000000000000000000007d93"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"32136828657562593283883563458875410742"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039baf","0x0000000000000000000000000000000000000000000000000000000000006a26"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4e","0x00000000000000000000000000000000000000000000000000000000000001f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"15013367175913304185072030150882622963582581808289678590331675884080210552902"],"tag":"AbiUInt"},{"contents":[256,"83248314813129693975976630321882784993983311683820599547165437400577936206147"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000067f55","0x0000000000000000000000000000000000000000000000000000000000000fbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"63451142078032724915262958890290663211309723927987875"],"tag":"AbiUInt"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c5dc","0x0000000000000000000000000000000000000000000000000000000000009202"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\rx\\221\\SOH\\185\\234\\205\\ENQo\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\EM\\248i\\a\\254\\251d\\NUL\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"et(\\ESC\\n\\218(#5C=\\158:<W\\165o\\216\\135^\\138x\\DC1\\158]\\194\\bF\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\" \\238E\\139\\161dP\\229\\171Vl\\250\\238=\\ETB\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\184?\\195\\r\\243=\\RS\\232Nmf\\t\\203\\174\\145\\164\\140\\164\\fx\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"%8L\\183iil\\228zy(\\b\\248z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146>fy\\224a\\230w\\206\\189\\192\\SI\\185\\&03\\157\\149\\ENQ\\225\\180\\172@{I\\249\\163\\219\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639039"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035136"],"tag":"AbiUInt"},{"contents":[256,"43759480926762728605033155646194399870044303098520434610688853630550498338119"],"tag":"AbiUInt"},{"contents":[256,"43759480926762728605033155646194399870044303098520434610688853630550498338119"],"tag":"AbiUInt"},{"contents":[256,"43759480926762728605033155646194399870044303098520434610688853630550498338119"],"tag":"AbiUInt"},{"contents":[256,"43759480926762728605033155646194399870044303098520434610688853630550498338119"],"tag":"AbiUInt"},{"contents":[256,"43759480926762728605033155646194399870044303098520434610688853630550498338119"],"tag":"AbiUInt"},{"contents":[256,"333"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"977"],"tag":"AbiUInt"},{"contents":[256,"544965469847513380125496949452639685620068305834348713111122171766648565966"],"tag":"AbiUInt"},{"contents":[256,"19"],"tag":"AbiUInt"},{"contents":[256,"63924948081312587541868395541593180431049920771054553138082836611667473140480"],"tag":"AbiUInt"},{"contents":[256,"105922594906762492508199694400786978317102115941932369054332973407527515173528"],"tag":"AbiUInt"},{"contents":[256,"95"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"84449021226607715302621844111828718593064767387865951119394978797771481017366"],"tag":"AbiUInt"},{"contents":[256,"33569902660211609227580779769147255766988909973440760364128912824450224575742"],"tag":"AbiUInt"},{"contents":[256,"11"],"tag":"AbiUInt"},{"contents":[256,"832"],"tag":"AbiUInt"},{"contents":[256,"4909240038381033716349"],"tag":"AbiUInt"},{"contents":[256,"19895609275736478596165559671902217604993567330052695660346003133893463208419"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639872"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222593"],"tag":"AbiUInt"},{"contents":[256,"65840187013186383521541217478859542705016927161642675232912351794147376053168"],"tag":"AbiUInt"},{"contents":[256,"93019093850935518123267983786709996675942657729085613258190378937208072705331"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639939"],"tag":"AbiUInt"},{"contents":[256,"98738325189998581193852819694869699862960539490190141042889715577713764680061"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689597"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639880"],"tag":"AbiUInt"},{"contents":[256,"17624227302916238414773596600425217872363049722534953120851750111508069026889"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"20"],"tag":"AbiUInt"},{"contents":[256,"20901855010125629372410032344598992392543268869173865636543105446924805673751"],"tag":"AbiUInt"},{"contents":[256,"58047885622771983513920111718798159535347102918855286812497221238175075666646"],"tag":"AbiUInt"},{"contents":[256,"28051748649494884406421760832622237878768969897684025343472118540457394168841"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639703"],"tag":"AbiUInt"},{"contents":[256,"12"],"tag":"AbiUInt"},{"contents":[256,"114366920222721276102270697416308214952867104002778973867561970957762426714086"],"tag":"AbiUInt"},{"contents":[256,"307"],"tag":"AbiUInt"},{"contents":[256,"82033269763180210376838704828446361460898050168681688683574130129448577032194"],"tag":"AbiUInt"},{"contents":[256,"48703328982686174806886026960608148913272490435260647995889262449755493974738"],"tag":"AbiUInt"},{"contents":[256,"15238320455518501909234729291810308992740905914773994798119864016298891613349"],"tag":"AbiUInt"},{"contents":[256,"7236365982436067561896626107611549103011677859257614950605361425195214193666"],"tag":"AbiUInt"},{"contents":[256,"20013348351233261764545600161114265099408408540451704989991496669510585252902"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858882"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088319"],"tag":"AbiUInt"},{"contents":[256,"451"],"tag":"AbiUInt"},{"contents":[256,"77759061178402228179111623399768404862616926591769618460230405982095968905782"],"tag":"AbiUInt"},{"contents":[256,"98046185471020112141967616278431268666839349724988274559508652043694971846266"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"4311291955086435119092067686899225796975880064580144118368870819121731210260"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"104027165381911160460223811290120776987900700711648213615033893252793438572131"],"tag":"AbiUInt"},{"contents":[256,"807"],"tag":"AbiUInt"},{"contents":[256,"92718599536962885272125457612315880060296700752932357560496335990027560939888"],"tag":"AbiUInt"},{"contents":[256,"123773643723986289945841501862760088434965530"],"tag":"AbiUInt"},{"contents":[256,"40129565499275505295813493373886176631528874010703460651388765563509951339579"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637935"],"tag":"AbiUInt"},{"contents":[256,"76115490606633685235067014141115202819726355668872127608861791112236174548881"],"tag":"AbiUInt"},{"contents":[256,"1257769843722515876041657516325929475370306974757215092991934413143725278449"],"tag":"AbiUInt"},{"contents":[256,"92697009023587940911833187317526949149807762210690525649749093810099520993788"],"tag":"AbiUInt"},{"contents":[256,"118"],"tag":"AbiUInt"},{"contents":[256,"69136044014637796628946248307467352587541559539595603376005254075456003612499"],"tag":"AbiUInt"},{"contents":[256,"108772113016816902252254004687373051326616786031020253784769060398950958833387"],"tag":"AbiUInt"},{"contents":[256,"122"],"tag":"AbiUInt"},{"contents":[256,"9"],"tag":"AbiUInt"},{"contents":[256,"13192987065371886929975691248236169618145115584649807004756273465392330385497"],"tag":"AbiUInt"},{"contents":[256,"33614852553919854701504175455054876344352190610247609898418060128441299642719"],"tag":"AbiUInt"},{"contents":[256,"69793201511471164452627880814320500527869713737073621045276079325942478766770"],"tag":"AbiUInt"},{"contents":[256,"71241347654826537254498828064361908691719118760215160208272617587107535900222"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639633"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000060","0x000000000000000000000000000000000000000000000000000000000000012b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e6ff","0x0000000000000000000000000000000000000000000000000000000000006a28"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000103ef","0x0000000000000000000000000000000000000000000000000000000000006a01"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"36112585239754325750693049304669211669187440279382384844475044"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59e","0x000000000000000000000000000000000000000000000000000000000000ea54"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bc","0x0000000000000000000000000000000000000000000000000000000000001351"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"28156671202928223718300964161136203873751999692197382798196817637219227345771"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002ce58","0x00000000000000000000000000000000000000000000000000000000000000eb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000138b","0x0000000000000000000000000000000000000000000000000000000000008194"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"31041677767640563504450212550971893323645456934076056225017579232299650313145"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084278","0x000000000000000000000000000000000000000000000000000000000000a4f5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062f9c","0x0000000000000000000000000000000000000000000000000000000000000f12"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000102","0x0000000000000000000000000000000000000000000000000000000000000591"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014ed6","0x00000000000000000000000000000000000000000000000000000000000023a3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"151657910198326851109636446893724509200806632792283903978"],"tag":"AbiUInt"},{"contents":[256,"742"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639843"],"tag":"AbiUInt"},{"contents":[256,"5544322468189235068432878127057541225398845935387998347106602083178874630872"],"tag":"AbiUInt"},{"contents":[256,"29136418920376497122468713835341772453121568391250410572433490305505958979789"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639861"],"tag":"AbiUInt"},{"contents":[256,"49561316542008824880250066049595881776041257984231100051997291424267505074535"],"tag":"AbiUInt"},{"contents":[256,"136"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609600"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"70645022420146492294831133315256366272206546844189326068312208099577040718688"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577598"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428158"],"tag":"AbiUInt"},{"contents":[256,"48833455184578939785825076546566234357765940148869094554328387379558303877562"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"104534413602771845577398376932535493166987163420471564127472757530292678848306"],"tag":"AbiUInt"},{"contents":[256,"15954371088617072272161481625060597606305659276396097772685334801522779768710"],"tag":"AbiUInt"},{"contents":[256,"70894581020373513891577572002922171571194011163413677803997152913187653768345"],"tag":"AbiUInt"},{"contents":[256,"73690075010057576654608200598732884300616048933827005977946685066924330599199"],"tag":"AbiUInt"},{"contents":[256,"49737181162546150610801051933590597354818080008516510953172125715563749864803"],"tag":"AbiUInt"},{"contents":[256,"26073501674520010969725778810941857558495717726436813474118310555307666560483"],"tag":"AbiUInt"},{"contents":[256,"19052953456346554983468969927011579824959491833569587933052120077737164003783"],"tag":"AbiUInt"},{"contents":[256,"67105022604987819621176913230270739464684267268806830734061823980045495453038"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639632"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035136"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb12","0x000000000000000000000000000000000000000000000000000000000000b447"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x00000000000000000000000000000000000000000000000395acda7f22e7e2d1"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"209"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c4","0x0000000000000000000000000000000000000000000000000000000000000bd1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf2","0x000000000000000000000000000000000000000000000000000000000000270f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":[256,"100000000000000000000000001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef4a","0x0000000000000000000000000000000000000000000000000000000000007e48"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"43556812689534984127846255085381246944116611461405463699574276394233201825618"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7f","0x0000000000000000000000000000000000000000000000000000000000000fa1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"102895973203882006389815374692757130149371620592171983808210915198850732174641"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000011","0x000000000000000000000000000000000000000000000000000000000000d249"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000782d0","0x00000000000000000000000000000000000000000000000000000000000035d5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb24","0x0000000000000000000000000000000000000000000000000000000000009829"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639934"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000f","0x000000000000000000000000000000000000000000000000000000000000c7d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"72979914371748468979626057481971371613348934935591657432723402897428623144836"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008345","0x0000000000000000000000000000000000000000000000000000000000000043"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004e","0x00000000000000000000000000000000000000000000000000000000000095bb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000066","0x00000000000000000000000000000000000000000000000000000000000095b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"46895244853374094170519380477453751336169346184104064233799156282022451225662"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4d","0x00000000000000000000000000000000000000000000000000000000000003ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"102278592148487808099314672354613771525389552329172693647118315899893502551555"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea45","0x00000000000000000000000000000000000000000000000000000000000095e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6e","0x0000000000000000000000000000000000000000000000000000000000000018"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"91183331713000346701337575799335265574123270437183748665838599180480716657551"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084275","0x0000000000000000000000000000000000000000000000000000000000001380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"56295145904313987104331846240130042454158272553340982513412988926922707674040"],"tag":"AbiUInt"},{"contents":[256,"103217639677052709110313069935738130285687329145465367219870696191863848971850"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea17","0x000000000000000000000000000000000000000000000000000000000000133e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"62819565984402628689934508264075739003122120132957815286602494358397095686419"],"tag":"AbiUInt"},{"contents":[256,"7755424308531740519923514388357636832355214355780222463298535522230019072647"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1c","0x0000000000000000000000000000000000000000000000000000000000000044"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"1442003352932452683538117222817730559419504767038124728488121713045248748814"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e950","0x000000000000000000000000000000000000000000000000000000000000007b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"97515860520430609"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34f","0x0000000000000000000000000000000000000000000000000000000000001380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c5","0x0000000000000000000000000000000000000000000000000000000000007e4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"\\\\\\220sn\\234\\242 \\190\\227\\226\\221\\SUB\\SOH{Kd\\201\\184\\GS\\146\\141\\139@wO\\220\\198\\149\\196~\\CAN\\185\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270f","0x000000000000000000000000000000000000000000000000000000000000eb58"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3a","0x0000000000000000000000000000000000000000000000000000000000008197"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab50","0x000000000000000000000000000000000000000000000000000000000000101e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"19517094798286977617223542288982398198092159044393299176262386484559550515942"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e705","0x0000000000000000000000000000000000000000000000000000000000001022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d1b7","0x00000000000000000000000000000000000000000000000000000000000013ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"160"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"50502657046677082324030367892882557968987676413127732417191870253476081678000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f7","0x000000000000000000000000000000000000000000000000000000000000135d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":[256,"33274592740972611848028263503187550942614650782731887749769565321429203301763"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd33","0x0000000000000000000000000000000000000000000000000000000000008195"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"16287328037589440186406190277792302819870358924484608892406344640114271602335"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x000000000000000000000000000000000000000000000000000000000000a4f5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"58339307864127266603373739039603113893701059007595868557326859066364181183169"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2c","0x0000000000000000000000000000000000000000000000000000000000009aa3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"17467456948390892320394185729947742957418127723863857865674307827900219324502"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908081"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f37","0x000000000000000000000000000000000000000000000000000000000000c1af"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"1526462290"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052be8","0x0000000000000000000000000000000000000000000000000000000000003f7e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34d","0x0000000000000000000000000000000000000000000000000000000000001396"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0xA444FBB2a149cE92B1F25002F0d612583A75261a","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000025","0x0000000000000000000000000000000000000000000000000000000000001740"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"29"],"tag":"AbiUInt"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"423"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e6","0x000000000000000000000000000000000000000000000000000000000000012a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb42","0x00000000000000000000000000000000000000000000000000000000000095e1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"178"],"tag":"AbiUInt"},{"contents":[8,"230"],"tag":"AbiUInt"},{"contents":[8,"49"],"tag":"AbiUInt"},{"contents":[8,"247"],"tag":"AbiUInt"},{"contents":[8,"34"],"tag":"AbiUInt"},{"contents":[8,"152"],"tag":"AbiUInt"},{"contents":[8,"136"],"tag":"AbiUInt"},{"contents":[8,"235"],"tag":"AbiUInt"},{"contents":[8,"103"],"tag":"AbiUInt"},{"contents":[8,"160"],"tag":"AbiUInt"},{"contents":[8,"79"],"tag":"AbiUInt"},{"contents":[8,"232"],"tag":"AbiUInt"},{"contents":[8,"72"],"tag":"AbiUInt"},{"contents":[8,"243"],"tag":"AbiUInt"},{"contents":[8,"243"],"tag":"AbiUInt"},{"contents":[8,"243"],"tag":"AbiUInt"},{"contents":[8,"243"],"tag":"AbiUInt"},{"contents":[8,"243"],"tag":"AbiUInt"},{"contents":[8,"243"],"tag":"AbiUInt"},{"contents":[8,"243"],"tag":"AbiUInt"},{"contents":[8,"243"],"tag":"AbiUInt"},{"contents":[8,"243"],"tag":"AbiUInt"},{"contents":[8,"243"],"tag":"AbiUInt"},{"contents":[8,"124"],"tag":"AbiUInt"},{"contents":[8,"2"],"tag":"AbiUInt"},{"contents":[8,"253"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084278","0x000000000000000000000000000000000000000000000000000000000000001a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052403","0x00000000000000000000000000000000000000000000000000000000000001f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000047","0x0000000000000000000000000000000000000000000000000000000000001413"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffd","0x000000000000000000000000000000000000000000000000000000000000a6db"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":[256,"78143481490217976663977715881572046891169313269014256304159744212649176237180"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000076","0x000000000000000000000000000000000000000000000000000000000000c05f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"43105631908323689560333498521616341810656113392181803754195504594017362909215"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142f0","0x00000000000000000000000000000000000000000000000000000000000009d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000398","0x0000000000000000000000000000000000000000000000000000000000001350"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"97819492236627927106529940227196029297094955331717359361077110458591409189493"],"tag":"AbiUInt"},{"contents":[256,"349"],"tag":"AbiUInt"},{"contents":[256,"113690940598983279270450620624291440126374549908287563056009921548308979226676"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7e","0x0000000000000000000000000000000000000000000000000000000000005577"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164b","0x0000000000000000000000000000000000000000000000000000000000003f80"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"41854164103732504256293641682830270629632677103674617506234311574846537920374"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1155354102378974165901"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2d","0x0000000000000000000000000000000000000000000000000000000000001386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"498"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006fca6","0x0000000000000000000000000000000000000000000000000000000000001352"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":[256,"15820343758906061396719906538964944528255413291369845186336742983910808972891"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002358e","0x0000000000000000000000000000000000000000000000000000000000000044"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"106527653345785235940707279485355704133242520055670526548634748347857589797565"],"tag":"AbiUInt"},{"contents":"0x12F8Aa9519Dc6CbE9b26E3A1201CB779176ad088","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008b6cb","0x0000000000000000000000000000000000000000000000000000000000001394"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"29412708759323730487227150810982806174410427479360452398722742439160897028784"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000053f5c","0x000000000000000000000000000000000000000000000000000000000000dcc2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"79241005141998571132671055196348411028920924813934962676715312194797427224701"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5c","0x0000000000000000000000000000000000000000000000000000000000000e12"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"108346713200105372423357809174270589084736441983633239222169953952756238378013"],"tag":"AbiUInt"},{"contents":[256,"23583816283693905518759985681989122659393057876454518449265610237776420727439"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0e","0x0000000000000000000000000000000000000000000000000000000000008ec8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"13500912350043473698339736675649998057681407264243410029156060605853031363707"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0d","0x0000000000000000000000000000000000000000000000000000000000000017"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000004d0e","0x000000000000000000000000000000000000000000000000000000000000101d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000433c2","0x000000000000000000000000000000000000000000000000000000000000be1e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639034"],"tag":"AbiUInt"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063160","0x0000000000000000000000000000000000000000000000000000000000007e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"87"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"28116971287157758242087160833035488248756851864593717892556782582636923699811"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000f","0x0000000000000000000000000000000000000000000000000000000000001370"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"106"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bd8a","0x000000000000000000000000000000000000000000000000000000000000266d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":[128,"163219280351950012298603587025222198505"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214ca","0x00000000000000000000000000000000000000000000000000000000000013aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000c","0x0000000000000000000000000000000000000000000000000000000000000402"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639678"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59f","0x0000000000000000000000000000000000000000000000000000000000009e93"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":[256,"900"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef4a","0x0000000000000000000000000000000000000000000000000000000000001399"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffc","0x0000000000000000000000000000000000000000000000000000000000000002"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"82060852060062808919688325557389831875217978009854100451718709356311923601028"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e379","0x000000000000000000000000000000000000000000000000000000000000ca0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"8998"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4c","0x0000000000000000000000000000000000000000000000000000000000001315"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"48"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea18","0x0000000000000000000000000000000000000000000000000000000000006a25"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"42843968848578504305336055339533828115336617787077552610825225192700141916946"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb39","0x0000000000000000000000000000000000000000000000000000000000005d4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266895"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c9","0x0000000000000000000000000000000000000000000000000000000000002711"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e6ff","0x000000000000000000000000000000000000000000000000000000000000d065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":[256,"2001"],"tag":"AbiUInt"},{"contents":[256,"1531575618"],"tag":"AbiUInt"},{"contents":[256,"96431531246288261604834958694550274673576603005464781878626770850735033611698"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf8","0x00000000000000000000000000000000000000000000000000000000000000ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"337"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb19","0x0000000000000000000000000000000000000000000000000000000000000078"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"79"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639927"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000013463","0x000000000000000000000000000000000000000000000000000000000000dcb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"1313373042"],"tag":"AbiUInt"},{"contents":[256,"4002"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59d","0x0000000000000000000000000000000000000000000000000000000000000bef"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c5","0x0000000000000000000000000000000000000000000000000000000000001b32"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"850"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ff","0x0000000000000000000000000000000000000000000000000000000000000e0e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"5211750956119685339909057961087143239399476"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"55570904061942369993262321892455557584241138264931219957847433645567394109242"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec9","0x00000000000000000000000000000000000000000000000000000000000095e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"93"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000d","0x0000000000000000000000000000000000000000000000000000000000001275"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"72"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea47","0x0000000000000000000000000000000000000000000000000000000000001357"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639869"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5c","0x0000000000000000000000000000000000000000000000000000000000003e8f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000040240","0x000000000000000000000000000000000000000000000000000000000000136e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":[256,"7706069143452195219476952591275562102205794075792237647704593874661303695974"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2f","0x0000000000000000000000000000000000000000000000000000000000002321"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]