[{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639864"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb35","0x0000000000000000000000000000000000000000000000000000000000009a9f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"103"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5d","0x00000000000000000000000000000000000000000000000000000000000001f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d51","0x00000000000000000000000000000000000000000000000000000000000087a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000044","0x00000000000000000000000000000000000000000000000000000000000095df"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232b","0x0000000000000000000000000000000000000000000000000000000000000f9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"79228162514264337593543950338"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59c","0x000000000000000000000000000000000000000000000000000000000000a1a4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089b73","0x0000000000000000000000000000000000000000000000000000000000008a16"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef48","0x0000000000000000000000000000000000000000000000000000000000001022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"82423108294967528405116137827720309900957065563117409797301313432919358394158"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"41483653822814922507719632129776993233416005334577709548957873082404245181462"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011520"],"tag":"AbiUInt"},{"contents":[256,"95372735298204104037816425867642152507454497289710646916628276887936195287833"],"tag":"AbiUInt"},{"contents":[256,"23539466278228561689230143012056281258640365364615070034281745984767664966440"],"tag":"AbiUInt"},{"contents":[256,"100028953042660840433480207534272374110707113648308016959385678714442681477812"],"tag":"AbiUInt"},{"contents":[256,"1008"],"tag":"AbiUInt"},{"contents":[256,"85063842938358179881697592792788858500303554469977719190133399207198956440261"],"tag":"AbiUInt"},{"contents":[256,"111294534542623762181307332588131245459740038049454704207268015722458883322455"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636338"],"tag":"AbiUInt"},{"contents":[256,"534"],"tag":"AbiUInt"},{"contents":[256,"17775895150999454212035852322005924263374258662639920315621939678419859541405"],"tag":"AbiUInt"},{"contents":[256,"79018791292107499068944910520972504718599414380563047758067848054500092455445"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639937"],"tag":"AbiUInt"},{"contents":[256,"486"],"tag":"AbiUInt"},{"contents":[256,"40592483780847993300981410016380644176567622595718453680460011831203001516719"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000002"],"tag":"AbiUInt"},{"contents":[256,"95704603431204106900892321507698937151284895619634772683718955604822544073845"],"tag":"AbiUInt"},{"contents":[256,"10510717526002012817404093584200024610931592472587955526639663425005932192758"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088319"],"tag":"AbiUInt"},{"contents":[256,"1"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428160"],"tag":"AbiUInt"},{"contents":[256,"78568975635205834618316360654515698518634731898245783751919856337109742139484"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639911"],"tag":"AbiUInt"},{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"28764153444643895437213596092082791695658799759210292224638022543267825380573"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629932"],"tag":"AbiUInt"},{"contents":[256,"4370000"],"tag":"AbiUInt"},{"contents":[256,"7824806929648212812187424112880145696395093868826361618215208725876622981629"],"tag":"AbiUInt"},{"contents":[256,"71782852526034623900981622811612287714698753494497889221773787097471567717"],"tag":"AbiUInt"},{"contents":[256,"55018199710403080447324340452103519714005172534956"],"tag":"AbiUInt"},{"contents":[256,"503"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"27895301078029553813527266085066419296965087407607594791042540567482317053631"],"tag":"AbiUInt"},{"contents":[256,"13491457049264812"],"tag":"AbiUInt"},{"contents":[256,"38516547084633782990732760611934517372067728318271167627423131371630425344141"],"tag":"AbiUInt"},{"contents":[256,"71"],"tag":"AbiUInt"},{"contents":[256,"81577973580643641914886042770808216382584403611179565065455200644201050058256"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac0","0x0000000000000000000000000000000000000000000000000000000000001339"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000000094f1778dc022648"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"Test Token\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010978","0x000000000000000000000000000000000000000000000000000000000000e344"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"1767608248948185947219990235000089357533675066766151168670597284004258012"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e3","0x000000000000000000000000000000000000000000000000000000000000711a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"103853355858546682987303224209429071044203858633727152573466806469518220954298"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052400","0x000000000000000000000000000000000000000000000000000000000000597d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"996"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000385","0x00000000000000000000000000000000000000000000000000000000000013a8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e700","0x000000000000000000000000000000000000000000000000000000000000260b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577603"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f467","0x000000000000000000000000000000000000000000000000000000000000d9da"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"\"\\141\\227\\183\\244\\215\\143\\211\"","tag":"AbiString"},{"contents":"\"toAddress_outOfBounnnnnnnnnnds\"","tag":"AbiString"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"255"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"63390738832147026401047209750482301417307759466551739893096792246324891032066"],"tag":"AbiUInt"},{"contents":[256,"5269498545794965123689490691676612296070908727393"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d50","0x000000000000000000000000000000000000000000000000000000000000012f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001c","0x000000000000000000000000000000000000000000000000000000000000134b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffa","0x0000000000000000000000000000000000000000000000000000000000007d5c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"80"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb45","0x000000000000000000000000000000000000000000000000000000000000135f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000fe","0x00000000000000000000000000000000000000000000000000000000000001f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"95180562203616075445107147936541413777997128607994238815154242064115231712801"],"tag":"AbiUInt"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092841","0x000000000000000000000000000000000000000000000000000000000000231d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000102","0x0000000000000000000000000000000000000000000000000000000000000fb7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e9","0x0000000000000000000000000000000000000000000000000000000000005d4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb4b","0x000000000000000000000000000000000000000000000000000000000000270d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135a7","0x00000000000000000000000000000000000000000000000000000000000069fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"79643494857765184699250101506959908916168912518394906658707770816512821344952"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065373","0x0000000000000000000000000000000000000000000000000000000000004be6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"3"],"tag":"AbiUInt"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd8","0x0000000000000000000000000000000000000000000000000000000000003c08"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001e","0x000000000000000000000000000000000000000000000000000000000000b192"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e376","0x0000000000000000000000000000000000000000000000000000000000001389"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb24","0x000000000000000000000000000000000000000000000000000000000000231d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001387","0x000000000000000000000000000000000000000000000000000000000000a475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\227\\136\\199\\220\\234C\\138\\238\\DC4\\DC2\\162\\201\\&5\\245\\227\\178~\\156\\143\\252|Mu\\171\\FS\\196\\DC4\\134\\231\\232\\140\\RS\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4ff","0x0000000000000000000000000000000000000000000000000000000000000032"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000605cf","0x000000000000000000000000000000000000000000000000000000000000270f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":[256,"76892146225731938189970285487928195308701663147156453321539239676471253542182"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead2","0x000000000000000000000000000000000000000000000000000000000000653c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007b6a","0x000000000000000000000000000000000000000000000000000000000000e258"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a51a","0x00000000000000000000000000000000000000000000000000000000000095b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5c","0x0000000000000000000000000000000000000000000000000000000000000075"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"29"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5d","0x000000000000000000000000000000000000000000000000000000000000001a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bf","0x0000000000000000000000000000000000000000000000000000000000009e95"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":[256,"37666679722433186283925342223320530883587624062992045432406553356662218399211"],"tag":"AbiUInt"},{"contents":[256,"23073400676816183031900067449436792065323855712877247097733675372116364959018"],"tag":"AbiUInt"},{"contents":[256,"89427248121754860300705680769289333396173411025071388631296774818703298589838"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001292b","0x000000000000000000000000000000000000000000000000000000000000dcc1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"90986354402119147079517566373485717113157000875455172974731956707278612433452"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000a8a3","0x0000000000000000000000000000000000000000000000000000000000000149"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000026c","0x0000000000000000000000000000000000000000000000000000000000008525"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636335"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002030","0x000000000000000000000000000000000000000000000000000000000000854e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"32116676381948980809337434918074380780507108404408360383324562171379460700057"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001388","0x000000000000000000000000000000000000000000000000000000000000ea84"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000798a0","0x0000000000000000000000000000000000000000000000000000000000002608"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"2841123428922890452831997646973649030803264504160147223928551710707778978415"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000620a7","0x000000000000000000000000000000000000000000000000000000000000a294"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f467","0x000000000000000000000000000000000000000000000000000000000000b77a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"30965575696286536557694905935660012075298859703783320653733556365153286903997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012e","0x000000000000000000000000000000000000000000000000000000000000ccaf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000023127","0x0000000000000000000000000000000000000000000000000000000000003f0b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000034de59551cd724943"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b986","0x000000000000000000000000000000000000000000000000000000000000d1c5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"39746741435260977495524633799441563004168768947662856344118796609551648392757"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002c5b1","0x0000000000000000000000000000000000000000000000000000000000000212"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x8324ADfC37e4Ce6B24a34Ced4A13faadbd59Ca97","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000407cd","0x0000000000000000000000000000000000000000000000000000000000007016"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"33698370934282587683120572659804665024449240314306674922697547412948422155712"],"tag":"AbiUInt"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063584","0x0000000000000000000000000000000000000000000000000000000000007d02"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000035","0x000000000000000000000000000000000000000000000000000000000000d8e8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba8","0x000000000000000000000000000000000000000000000000000000000000bdc1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055776","0x00000000000000000000000000000000000000000000000000000000000094ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"199"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001e856","0x0000000000000000000000000000000000000000000000000000000000007115"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bd","0x000000000000000000000000000000000000000000000000000000000000130e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062333"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001e","0x000000000000000000000000000000000000000000000000000000000000137e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"926"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000888e8","0x00000000000000000000000000000000000000000000000000000000000013bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a317","0x000000000000000000000000000000000000000000000000000000000000016f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000024d","0x0000000000000000000000000000000000000000000000000000000000000e0f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004650c","0x000000000000000000000000000000000000000000000000000000000000d8cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"134"],"tag":"AbiUInt"},{"contents":[8,"81"],"tag":"AbiUInt"},{"contents":[8,"120"],"tag":"AbiUInt"},{"contents":[8,"3"],"tag":"AbiUInt"},{"contents":[8,"84"],"tag":"AbiUInt"},{"contents":[8,"107"],"tag":"AbiUInt"},{"contents":[8,"4"],"tag":"AbiUInt"},{"contents":[8,"21"],"tag":"AbiUInt"},{"contents":[8,"246"],"tag":"AbiUInt"},{"contents":[8,"251"],"tag":"AbiUInt"},{"contents":[8,"198"],"tag":"AbiUInt"},{"contents":[8,"235"],"tag":"AbiUInt"},{"contents":[8,"41"],"tag":"AbiUInt"},{"contents":[8,"49"],"tag":"AbiUInt"},{"contents":[8,"185"],"tag":"AbiUInt"},{"contents":[8,"117"],"tag":"AbiUInt"},{"contents":[8,"98"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bde","0x0000000000000000000000000000000000000000000000000000000000008a3e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"4"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea47","0x000000000000000000000000000000000000000000000000000000000000101f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000a9c","0x000000000000000000000000000000000000000000000000000000000000081f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"50950342872142511245547753677029244322207294548558221975139130534172738622729"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bad","0x000000000000000000000000000000000000000000000000000000000000139b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eafd","0x0000000000000000000000000000000000000000000000000000000000008dce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072518","0x0000000000000000000000000000000000000000000000000000000000001363"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb01","0x000000000000000000000000000000000000000000000000000000000000b3a3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084275","0x000000000000000000000000000000000000000000000000000000000000a97b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639857"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f9f","0x000000000000000000000000000000000000000000000000000000000000ea4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214c9","0x00000000000000000000000000000000000000000000000000000000000011ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000020","0x0000000000000000000000000000000000000000000000000000000000007003"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"64"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000889b8","0x0000000000000000000000000000000000000000000000000000000000001371"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"Invalid percentage\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb29","0x000000000000000000000000000000000000000000000000000000000000dcc2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"1299888024692693778038540173474196743044695537689680415976866260042940006381"],"tag":"AbiUInt"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000357a3","0x00000000000000000000000000000000000000000000000000000000000095bc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"1009"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507326"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e3bb","0x000000000000000000000000000000000000000000000000000000000000007e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000044da9","0x000000000000000000000000000000000000000000000000000000000000137a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dbaa","0x00000000000000000000000000000000000000000000000000000000000098a5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf4","0x000000000000000000000000000000000000000000000000000000000000c450"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000053538","0x000000000000000000000000000000000000000000000000000000000000139e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1534189722"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000046","0x0000000000000000000000000000000000000000000000000000000000002264"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"149"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000b","0x0000000000000000000000000000000000000000000000000000000000001264"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000640f9","0x00000000000000000000000000000000000000000000000000000000000012b8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"87859835476956514553422930710059225449773699656266324110900413489155970645574"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035c3e","0x0000000000000000000000000000000000000000000000000000000000001277"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"102501051155233441342906115764534797632663521742713353926366575651469307288274"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000026c","0x00000000000000000000000000000000000000000000000000000000000020e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"99985783296877757456433661991633093112797968894431055007372981171240055537462"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce53","0x0000000000000000000000000000000000000000000000000000000000000212"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ae98","0x0000000000000000000000000000000000000000000000000000000000001389"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"1525709369"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007371c","0x000000000000000000000000000000000000000000000000000000000000b4bb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"102505198698540690362648673380314500250443901300844658774906504588675610339774"],"tag":"AbiUInt"},{"contents":[256,"45021184667302549253289451349020479968794681116836124030850607433406814594369"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577599"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000004c48","0x000000000000000000000000000000000000000000000000000000000000131a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"1533189634"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000307c6","0x000000000000000000000000000000000000000000000000000000000000d1e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"5394468871449003582521873501318951879993374081099644507087390007279926561039"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062172","0x0000000000000000000000000000000000000000000000000000000000003c69"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"\"HIGH_PPS_DEEEEEEEEEEEEEVIATION\"","tag":"AbiString"},{"contents":"\"P\\188\"","tag":"AbiString"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"33847724261683317737833121"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689601"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"68954855801134252434896347927839845572226724780486357470817502001049329061098"],"tag":"AbiUInt"},{"contents":[256,"90788381288285136667862290541575517157049242657802888996684944769642936320783"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2c","0x0000000000000000000000000000000000000000000000000000000000000016"],"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":["0x000000000000000000000000000000000000000000000000000000000004eb46","0x0000000000000000000000000000000000000000000000000000000000000384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055262","0x000000000000000000000000000000000000000000000000000000000000dcc0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"136"],"tag":"AbiUInt"},{"contents":[256,"74546232525544802958339211896524194152096013047479127564852345534633431608368"],"tag":"AbiUInt"},{"contents":[256,"93643483169978404706136666436860390091726783418211404796801065562439598088288"],"tag":"AbiUInt"},{"contents":[256,"9661710902816580635534045740154178837563480164529716716112547747846961537872"],"tag":"AbiUInt"},{"contents":[256,"115646325864747309878162472039465740338325276056513876589206116647479692931062"],"tag":"AbiUInt"},{"contents":[256,"604802"],"tag":"AbiUInt"},{"contents":[256,"53802985745256697791860615011739982898502482898707858119348440014291730015962"],"tag":"AbiUInt"},{"contents":[256,"15925053086359379894691393205177915920"],"tag":"AbiUInt"},{"contents":[256,"813"],"tag":"AbiUInt"},{"contents":[256,"963193676641967566407051806868900416770044073363171175716537516874042388998"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639869"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1528360222"],"tag":"AbiUInt"},{"contents":[256,"109004988327532520329355819996096500263400070746839431336014006287327271434257"],"tag":"AbiUInt"},{"contents":[256,"20298680889299884283919849485536484875374686579851505833942678492072196428120"],"tag":"AbiUInt"},{"contents":[256,"113005336446713446561661380522059718248756314604676577319525496016333716433871"],"tag":"AbiUInt"},{"contents":[256,"50500813469909031121569776457569323457541281966743839236399828008576532213176"],"tag":"AbiUInt"},{"contents":[256,"376"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"74286758138983616231586111204164524858"],"tag":"AbiUInt"},{"contents":[256,"38648053137067416685163911579578431020006171189284577386512785037646519549160"],"tag":"AbiUInt"},{"contents":[256,"81996158425460752195157725098536670599996120644787974823346079824112667672914"],"tag":"AbiUInt"},{"contents":[256,"579"],"tag":"AbiUInt"},{"contents":[256,"82022712729474737228924877140462830853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639435"],"tag":"AbiUInt"},{"contents":[256,"4798538276812295558226132"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428160"],"tag":"AbiUInt"},{"contents":[256,"117"],"tag":"AbiUInt"},{"contents":[256,"51159165229048158241637165319037508277328326793570958574731025448788930096223"],"tag":"AbiUInt"},{"contents":[256,"88204605870014241341092909913425835841876163496889672673474292183289411245"],"tag":"AbiUInt"},{"contents":[256,"21612335592285642866911656964719169526934241753980023197955312396617164656124"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"4512306721965245411981980608045325413444"],"tag":"AbiUInt"},{"contents":[256,"47862397936960234901852473227283636082681266104133738410522449404419712715783"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"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":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":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000025244","0x000000000000000000000000000000000000000000000000000000000000b3a3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000055"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000034e30","0x0000000000000000000000000000000000000000000000000000000000001c98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0xDEC9f3Dcc5158854Ef368E0B842F9e2cA8c990DB","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\220\\232\\191U\\\"\\DC3\\DC3\\204\\rI\\181\\167\\187\\232P\\DC3g\\202\\201\\142{\\186\\&7\\219\\222\\239A_\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\DC3`\\228\\133\\fBo\\232\\141\\207\\161X\\SI\\211j\\198\\ENQ\\137f\\ENQ\\255}\\226\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"7Ry\\168l=6\\132\\253\\214@\\227\\148\\210\\DC2rg\\158\\242\\\"\\251B\\159\\RS\\SYN\\251\\242uQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\180\\180\\152m\\179*\\164\\156$L\\163\\253\\229\\219\\DC1aI'\\198\\131\\222e\\206!\\v\\157\\219\\212\\DC2N\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\170\\207\\185\\139\\NUL/\\147Vb(Y`\\aO\\215\\139\\248\\229\\232\\CANG\\227\\DELa\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\193Lm\\ETB\\255\\ESC\\\\g\\155\\198\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\245>\\161\\242\\216\\ETB\\232W\\167\\212a\\t\\DC3'\\138`\\STX\\203C\\248\\157\\246\\234#pH\\DLE/\\SYN\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\131;u\\235\\236\\229<;\\152a{\\161W\\208\\196\\GS1\\175`>ea\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"&RV\\218/\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"(P\\\"#\\153\\EM\\ETB#c\\244\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\&3\\159\\147z\\174\\190\\140\\181!j\\ENQ\\155.1DA\\DC2\\158\\181`f\\217\\NUL\\SO\\248\\147\\220U\\n(^\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"@8\"","tag":"AbiBytesDynamic"},{"contents":"\";\\157\\f\\GS\\t\\RS\\CAN\\245N\\236\\166^<\\218o\\NUL#\\166\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\\\f\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251O\\128\\ETX'\\230k\\167B\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\CAN;\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\161\\136\\146K>\\222~\\DC2wU\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\184\\US\\r\\f\\\"\\aQ\\SOHY\\237|\\SI\\155\\njp\\140B6r\\182\\251\\NAK\\153\\241\\179\\196\\200\\144_\"","tag":"AbiBytesDynamic"},{"contents":"\"rW\\170\\208w\\184\\178XxG:\\146\\190\\229Js\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"NN\\150\\191\\&2\\DC3\\ETX\\142p\\182\\219\\247\\151\\141\\135\\STX\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\143\\250\\174\\254v\\208[e\\240(\\226\\&8p\\SO\\GS$W\\199=e\\FS\\204\\186\\EM\\131d\\205X\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\201\\158M\\224\\163\\162\\203^3y\\DC1\\f\\223*-\\SI\\226\\223\\210\\227\\SOH\\231+\\137}\\160\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\202\\179=\\199\\231.\\GS`\\237\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\220\\202uU\\164\\246\\209\\253P\\t\\153`3\\223\\231\\198\\168\\DC4\\203\\232tO\\169\\ETBQ=r\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"2e6\\187\\129\\215\\153\\253\\195\\152\\SYNW\\DELD\\192\\231\\DC4\\171\\211 -\\218\\136\\153\\EMe\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133#\\142\\&2\\229\\222`\\CAN\\ACK\\143d\\235I\\152)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\130T\\223v\\205U\\149\\143\\137F\\248w\\212-~\\200N]Y\\GS\\202\\190\\254\\a/g\\150\\175\\166\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\tP\\189\\175\\220\\DC1\\164\\186\\248\\164\\137\\193(x\\233l\\\"\\234\\246EzM_\\t\\225bb\"","tag":"AbiBytesDynamic"},{"contents":"\"?$\\156;S\\165\\225 \"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\DC2\\EM\\NULly\\143\\202h\\229^\\249\\185qX\\244|?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236e\\ETX\\250\\186T\\240\\244\\163\\251\\217\\174FUX}C\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\";|\\138\\180z\\a\\193U\\173\\176>\\229\\199D\\\"\\137\\NUL:1}\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"y4\\199=?Y\\246\\CAN\\EOT\\151\\US\\230\\152c\\SO\\174\\164f\\213O\\162p8C\\230 j\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\232G\\140\\215\\242U\\207\\197(\\167\\137k\\161k\\STX\\SIT\\195^\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\150\\183p\\249\\&9\\222+\\131b[\\230R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\168\\232\\209\\201\\SYN\\149\\FS9\\\"\\DC4\\172\\&7\\a\\239\\155\\248h\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"9G\\209\\ENQ\\FS\\165G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\ETB\\142\\NAKp2\\235\\n'\\248F\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\186f\\246/\\DC1T\\245\\231\\137P\\200\\144\\f\\173\\224\\&85e\\232\\150\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180D\\197Pv\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\&2\\236\\241\\163\\239\\224\\252M\\SI\\228S&\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\SI\\247\\n\\ETX;\\208/\\190\\200\\167K\\140_;\\155\\229\\UShAd$P\\DC4\\183^\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\ESC\\178\\tF[\\146\\130\\231\\r\\ETB\\ETX\\167\\SUB\\190\\235\\217U\\240!\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\147\\238[\\194#\\SOH\\245\\&6\\150\\243\\214\\215\\148\\220{\\207N-\\aE\\183\\SOH\\130\\132\\131\\241e\\153}\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\199D\\241_\\156Y\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\246\\t&\\196\\153D\\f$(\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"wf\\182\\180Y2|}\\167Z\\208\\150K\\253\\194\\178\\220\\ETX\\189\\179mE\\251\\143\\214\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\253\\SOH\\150\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\228 \\128\\&3Z6\\146\\&8V\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"k\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX]\\250\\FSRM\\244bC\\198\\135\\EOT\\253\\165\\241\\205h{S\\199\\&0\\238Aw\\132\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"6u\\222$w\\200\\&7\\171\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\USa`\\205y\\149\\215\\204Y\\179[\\207\\SOU\\233\\133\\169p\\177\\230m\\134\\141\\DEL\\159p\\197?\\DELW\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\163\\202x\\129lt\\206\\190\\NAKK\\185\\NULV\\246\\139\\131\\182\\151\\200\\132\\EOT'\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\134\\224\\&1\\181\\&2\\161'-l9\\151y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\&4\\213\\162mTR22\\184H\\239\\204\\r\\171\\190\\217\\188o\\197\\168\\235\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\DC4\\220\\223\\238\\153\\150\"","tag":"AbiBytesDynamic"},{"contents":"\")\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\&4ZZ\\ESC?\\251\\&4\\178\\149\\247_\\193\\210\\231\\231\\196v\\243\\189\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\216\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172.\\136\\209\\130\\222\\129\\203\\EMU\\EOT\\US\\157\\150V\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\RS\\DC1a\\153\\180O\\166\\206A\\181\\200\\138`\\237\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161p8To\\243k\\226M\\215\\137/\\t\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\227\\DC1\\207l|.r\\189\\158W\\247\\203\\130\\224\\156\\139\\t\\142\\253\\157\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\193\\237\\185\\170A\\164<\\204\\142\\236yN\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"3\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\149\\186\\210\\240#n\\171\\225\\SUB\\235\\237N;9''\\138(\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\168l\\190\\148\\174\\ACK\\187\\240L\\176Q\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"H_?\\250/\\DC1\\US\\190~\\158\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"Qb\\176\\159\\185\\186\\157A\\171;l\\129\\224\\217\\180\\135o\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\201\\216\\249D\\148\\&4)\\228#\\128\\ACK\\164H\\180\\138\\SI[\\191\\189\\ACK\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\178\\157'\\187\\171\\DLE\\185\\251\\133\\152W\\155\\DC3!@\\138j\\248\\220\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\166\\193\\DC1]~\\r\\143jo2\\206\\197\\n\\163\\154|}n\\217\\240Jk\\141cjT\\152\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"CC\\248\\235$\\253m\\174\\244:\\220{\\197\\172\\209]\\RS%G\\\"\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"Be\\130_\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\ENQ\\140x\\207\\EOTy\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"d\\198\\&8\\ESCQA\\164\\160\\156\\137\\ETBik\\r\\178\\131V\\145\\165\\201\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201~\\EM\\219^i\\n\\206\\CAND\\247o\\151j\\CAN\\201v>o\\STX\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS9{\\133\\b\\133\\143\\168\\aZ\\134\\GS-4&\\144\\210\\156\\230\\151\\SUB|\\\"*\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155,\\131\\NUL!c\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"B`\\173!O\\ACKx\\243_\\141\\208\\SUB\\221a\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\STX\\178\\245\\236\\161\\187\\224\\219\\193\\149{\\ESC\\194T62\\177\\139\\253\\164\\GS\\149~[\\186\\143\\ACKu\\211 \"","tag":"AbiBytesDynamic"},{"contents":"\"\\tNo\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\SIs\\161\\142ZRo\\f_\\211\\209\\CANN%\\132\\210\\248\\239\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\248w\\DC37\\175\\DC3\\v\\144\\158\\175\\246\\213~\\251%H\\130\\176\\225\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\f\\EMTF\\NAK\\SI\\191\\128\\240\\241\\163\\171\\210\\249\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\217\\216JU\\134\\GS\\r\\190\\205\\190\\153\\r\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\147\\181e\\133\\&1\\NAKI\\153\\221-\\n\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\CAN\\157a\\253\\156\\DLE\\208\\197\\178\\242\\196\\243c\\146\\&6\\225z\\130\\196\\198\\254[kw\\DC1\\154\\NAK\\198L-\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\DC2\\187G\\193\\&3\\167\\232FRb1\\ETX\\238\\239\\DC4\\174\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158z}\\STX\\214\\152\\EM\\162+\\CAN\\251\\232b\\241 \\ESC\\184\\184\\152:\\158\\132\\ACK\\220\\235\\195\\246\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\&6\\228P|\\245\\242\\204\\NAK\\146\\248\\ENQ-\\USE\\254\\158\\140\\222\\179\\147\\182\\164*W\\213\\227$!\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\NAKl>md\\ACKl$\\155\\255\\186\\&2U\\DLEx\\EM\\158\\245G<\\185!\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\189\\190)-\\226@jd\\163\\t\\229\\138\\144\\149\\178\\137h\\251\\f\\204\\166\\173\\248{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253c\\208KA:\\161\\143\\184Wl~\\207l\\215\\200.\\CAN\\SO&\\SUB\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\t)P\\147?+,\\217\\180\\174\\181].y\\NAKP\\SOH\\198\\&7o\\244\\244o\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\230\\132,\\179\\164\\200\\172SA\\ESC\\243\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\215Ig\\209\\202\\208\\212#\\229\\222\\ETB\\148a\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\NAK\\219\\n\\250\\128\\168\\&9\\DC4\\FS\\235\\RS7\\197\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244k\\187\\248[e\\243\\v\\225z\\218\\139\\191\\170 J^\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\216\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"yy\\f\\SYN\\180\\162\\248\\245\\199u\\205\\169\\177\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\168$\\254&\\173\\ESCC\\fN\\ESC\\150b1\\191\\245O\\v\\185\\182jXO\\204)\\ESC\\204\\207\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\ETX\\175\\&8\\a\\240\\231\\RSm\\250\\&3\\200\\129v\\207B\\169\\231\\154\\202(\\152\\DLE\\211F\\147\\224L\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"0z5S\\198[\\v\\EOT\\218\\141\\242\\191\\&9\\202\\a6N\\133\\183\\241\\249l\\197\\215\\RSO\"","tag":"AbiBytesDynamic"},{"contents":"\"*b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136O`\\233\\176\\DC1g5\\254\\156\\251\\182H\\209\\247\\143\\131'\\203\\&8:\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\210\\SI/P y2V4\\SI\\128kY\\140\\&2~Te\\210\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\185.\\160\\151\\185+\\t<\\200\\223x'\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\n\\SOHV\\178!\\138\\213X\"","tag":"AbiBytesDynamic"},{"contents":"\"ZP\\254\\168\\ETX\\t\\206w\\168Yu&?Ie\\181\\198l\\rj\\239\\&9~\\228\\242\\&5\\246y10Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\187\\v.\\218\\t\\EOT\\130\\197\\170M\\162\\134\\171\\170\\RS%\\SUB\\227\\159IG\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\SYN\\176F\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\144\\184&\\135F\\151\\161\\184\\220\\&5\\234\\184\\141\\189q=%B\\234\\149\\134\\193\\195\\f\\247+oQ\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\SOH8E\\181\\SO\\SOv\\189dZ\\132\\ETBn\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US$^\\ETX\\140\\252/\\206\\\\\\240S\\190'\\206\\STXk\\133]i\\189\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"103151623019655797281355235022385100297092144511277198959267121231831763365973"],"tag":"AbiUInt"},{"contents":[256,"67487980622239699138767775245201388068788602054071858385090490639222017838950"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639843"],"tag":"AbiUInt"},{"contents":[256,"92509926535089314729236193458841354370660085436420516674905578928018147945839"],"tag":"AbiUInt"},{"contents":[256,"7424065689316742296070962979224428521758172364566041897667140339607944297915"],"tag":"AbiUInt"},{"contents":[256,"45580332305528504961862118844553220828619806767330477729851521888051384544717"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639835"],"tag":"AbiUInt"},{"contents":[256,"85180109744998527053055397562846640580162063219175384556962592960180005401943"],"tag":"AbiUInt"},{"contents":[256,"12015072550756962268951070589776294619684117790166993715478144389064505495568"],"tag":"AbiUInt"},{"contents":[256,"8998"],"tag":"AbiUInt"},{"contents":[256,"102444636160315465933279776402341244758976525609645992875847324563249329815499"],"tag":"AbiUInt"},{"contents":[256,"68928530485477358587306871966876041360793852653390190708423970463737208675521"],"tag":"AbiUInt"},{"contents":[256,"6149015275329965010045037601337146788230504915513314953482600352673442105250"],"tag":"AbiUInt"},{"contents":[256,"16504447295938019377133960344456035448342325515130515567580100213785458221029"],"tag":"AbiUInt"},{"contents":[256,"32717964878728292301476542910464292239192176879637742435601469226355828050814"],"tag":"AbiUInt"},{"contents":[256,"32717964878728292301476542910464292239192176879637742435601469226355828050814"],"tag":"AbiUInt"},{"contents":[256,"32717964878728292301476542910464292239192176879637742435601469226355828050814"],"tag":"AbiUInt"},{"contents":[256,"32717964878728292301476542910464292239192176879637742435601469226355828050814"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"24741360384989089860522214519102819131285835457224507884929539040355161345082"],"tag":"AbiUInt"},{"contents":[256,"105347322915728674714547769478635743109419153617969742280617333882704172557853"],"tag":"AbiUInt"},{"contents":[256,"497"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030338"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"22668499380297078632749979709922226421715986806275564968731950257397779572418"],"tag":"AbiUInt"},{"contents":[256,"582"],"tag":"AbiUInt"},{"contents":[256,"113271297234731121329938483905657483817826291523960582402581663322892209980619"],"tag":"AbiUInt"},{"contents":[256,"773"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"95"],"tag":"AbiUInt"},{"contents":[256,"97523499617935655193330502608147116524637950375691058458397364294282639440313"],"tag":"AbiUInt"},{"contents":[256,"108359671188100687686782707868308875945007320331892848933195026071574986302865"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639438"],"tag":"AbiUInt"},{"contents":[256,"170775835451892523598695"],"tag":"AbiUInt"},{"contents":[256,"6347136301571416313610916681581425153648465943746336226198371691912403278504"],"tag":"AbiUInt"},{"contents":[256,"1525877756"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507330"],"tag":"AbiUInt"},{"contents":[256,"10856719517114818805620874953750710358940249873414540934167082504037259762364"],"tag":"AbiUInt"},{"contents":[256,"1529440810"],"tag":"AbiUInt"},{"contents":[256,"741"],"tag":"AbiUInt"},{"contents":[256,"92765955836281369302253953278413728903226788936721586825610436028880909370027"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639702"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637935"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"104307019681296634917807437014153290015527556120252840722580284468878068516333"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222591"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639437"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"50076408187181975992831509817699610948888384397164380771858747933853577814243"],"tag":"AbiUInt"},{"contents":[256,"56377077966666913128621501580844403356104645222553059404027023192248974937979"],"tag":"AbiUInt"},{"contents":[256,"137"],"tag":"AbiUInt"},{"contents":[256,"19989648558915796577337485720370202713795981269785454063982946425959755163879"],"tag":"AbiUInt"},{"contents":[256,"1531173645"],"tag":"AbiUInt"},{"contents":[256,"1531514519"],"tag":"AbiUInt"},{"contents":[256,"1533556454"],"tag":"AbiUInt"},{"contents":[256,"82863638702866385638922277814346781020219319411957326129949272479750558492687"],"tag":"AbiUInt"},{"contents":[256,"53614846238690305271829442023457301593560627703330879237227426554600701763586"],"tag":"AbiUInt"},{"contents":[256,"34610332938403159923285726265307460552268935204856016602474083361874040626384"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000087168","0x000000000000000000000000000000000000000000000000000000000000ca62"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000018410","0x000000000000000000000000000000000000000000000000000000000000b3a3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]