[{"call":{"contents":["MAX_ROUNDING_ERROR",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf1","0x0000000000000000000000000000000000000000000000000000000000001020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000085194","0x0000000000000000000000000000000000000000000000000000000000008196"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"604797"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000008ad6","0x0000000000000000000000000000000000000000000000000000000000000bd3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"235245198009095662973641069969698792702181634065495290471476669802330704584"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000002bb","0x0000000000000000000000000000000000000000000000000000000000009b62"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000055","0x000000000000000000000000000000000000000000000000000000000000a56c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731856"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eabf","0x000000000000000000000000000000000000000000000000000000000000d6b8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"64"],"tag":"AbiUInt"},{"contents":[256,"627"],"tag":"AbiUInt"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045d1d","0x000000000000000000000000000000000000000000000000000000000000e59f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"18803237417609435410714446207753268936386850896601971170800887049435565075552"],"tag":"AbiUInt"},{"contents":[256,"12287420343502122166027012987311401060234180479737646948677658314285404737041"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ee32","0x0000000000000000000000000000000000000000000000000000000000002605"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3c","0x00000000000000000000000000000000000000000000000000000000000011ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000cf9b","0x0000000000000000000000000000000000000000000000000000000000004a19"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"8921420278661141463613824474666355222737538222349219067851454381619874282687"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006601b","0x0000000000000000000000000000000000000000000000000000000000007e48"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc11","0x0000000000000000000000000000000000000000000000000000000000002577"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x6AFc743aa4E9D98D0F53Ff111996E9817d79D301","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"},{"contents":"0xd615c52d5AE16Ad8b6Ec4654D85753263437D50f","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc12","0x0000000000000000000000000000000000000000000000000000000000007300"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":[8,"87"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000028a4c","0x00000000000000000000000000000000000000000000000000000000000003e4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c821","0x000000000000000000000000000000000000000000000000000000000000005f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"8156577973262373243789167857730120361176501718151148011178902597208239751094"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004462b","0x000000000000000000000000000000000000000000000000000000000000d492"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003e60","0x0000000000000000000000000000000000000000000000000000000000002063"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084277","0x0000000000000000000000000000000000000000000000000000000000000592"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"SUPER_VAULT_AGGREGATOR\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000064","0x000000000000000000000000000000000000000000000000000000000000d9da"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"85029271755288493155018810873994463810335319403155490659988286142199823147243"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c9","0x0000000000000000000000000000000000000000000000000000000000000884"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012a","0x00000000000000000000000000000000000000000000000000000000000080dc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"3800065134356440379878461382212907149156010170292460717589617226174952207782"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac1","0x00000000000000000000000000000000000000000000000000000000000017ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\244\\211\\142\\n\\250ls\\EOT/\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\SYN\\209Y\\200W\\230\\146\\239\\&1\\\\1\\176E\\178\\139;/\\244Dp\\198j\\255\\&1\\150\\162\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\192\\187#\\\"\\ESC\\207\\208%\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\170s\\233\\199\\240h\\ESCA{\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\237v\\234\\238\\242\\151~\\174\\167\\232=\\156\\225\\\"\\203\\150\\167\\DC4\\194\\209\\142\\v!\\209\\bP\\199P/\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\182\\ACK\\ETB%\\231\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\188\\251<\\188\\179\\176\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\158w\\NAK\\218$\\135e\\228\\149\\f\\GS\\181\\229T\\206y\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\b\\184bo\\139\\157\\169\\161W\\242\\159\\SYN\\209\\133\\202#\\180\\163\\ACK\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\215i~\\201\\191\\RS\\163\\128$0\\136 \\142\\NUL\\243\\215\\ETXL\\fX5S\\199hL\\DC2\\142\\DC3\\184\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"g%}\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\186\\188\\250g?\\145\\247u\\184\\156S\\147\\DC3?6\\217=`\\180\\SYN\\ESCoLxu ktH\\199\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\215\\133\\SOV0\\175^\\235h?;%\\EM[\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\196\\217_\\202\\141\\227@w\\DC2\\211\\152\\SYN\\132\\239\\GS\\248f\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\221\\227\\198j\\233\\153\\168g\\129\\145.&\\151\\175^\\226\\162\\158E\\239W\\250\\166g\\134+\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\249\\r\\221\\242?/{\\252\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\209~\\160\\175\\193\\252\\154F\\139\\ETX\\244\\176\\155^\\253/\\200\\212D\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\192\\STXd01O\\f\\130\\210\\biqHP\\\\\\217\\238^E\\165 \\196\\170\\159[\\n\\165\\189\\219\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"bA\\210\\213e\\232\\&5\\130?\\131\\138\\158\\173\\130\\253\\246\\137\\198\\229\\168\\CAN\\145\\NAK\\133i\\183\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"4W\\152\\219\\198O\\US\\223^\\US9\\246w\\142\\150X\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\196`\\229\\147K\\178\\&2l\\199\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ETX\\189YTQ\\138\\151\\&5\\NAKY~s\\139.\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\224\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\146,\\164\\199\\189\\171qZ~\\199+\\161\\176\\133\\173\\231\\f\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\203t`~\\207;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\&9\\246#\\189\\136\\190J)]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\176\\209\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\183\\232\\152^\\147\\ETX\\198\\244\\155\\225\\142\\214\\DEL\\SOHB\\240=\\227Jt\\132w\\EOT\\210cP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\222\\234\\180\\200\\249\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155_\\247\\&9a\\201\\EOT~\\190|\\154\\250\\223W{\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\131D6/\\248):\\144\\245\\195\\187?\\216\\157\\137\\212\\ENQd\\138\\227\\198\\173`[\\b(d\\235\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\171xFyN\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\207?7\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190:\\a3\\237\\142\\152\\133@\\137\\rC\\167\\US?\\233\\217\\197\\SO\\228TU\\213\\215\\beR\\133=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223v\\141\\SYN7\\162\\GS\\239\\STX\\162\\214\\193\\159\\165pu\\194\\166\\225\\219\\142 \\233V\\205\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\228\\CAN~U\\ENQ\\225P\\160\\161+Y\\bV\\213$]\\175\\152\\168\\233%\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\250\\DEL\\177\\FS\\188\\137A\\252.|\\208\\247h\\ESC\\192\\CANf\\STX\\198\\183\\239\\194w\\253c\\154\\149Q\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"Ob\\231\\171\\176r\\161\\191\\157\\132\\146\\246\\153\\158\\189\\&3\\222Ngt\"","tag":"AbiBytesDynamic"},{"contents":"\"q0f\\159\\RS\\179\\ETB\\DC3s\\152\\229\\132\\176\\215\\SOH\\214\\147\\145\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\149N\\208\\NULT;r-\\181\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\".\\223\\SOH\\SYN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\RSZ\\224!\\167|\\138+|\\EOT\\129\\166\\150\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"(s\\SOH\\157)!|\\RS\\162\\191\\188oz\\199\\&0\\a\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\\"\\SOH\\148\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\FSA\\\"0\\185_yk:$\\153:\\143\\206\\211\\230\\225\\168#0r\\203\\156\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\\"!\\\"\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\193\\163\\149s\\195\\139\\185\\192\\242T\\154\\191;\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\187\\238\\SUB\\149E\\181\\254\\DC1\\148(W\\NAK\\a\\249zi\\225\\209\\DC3\\247\\ENQ\\151\\177\\253\\219\\DEL\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\252\\164\\159\\177\\\\h\\252\\223Y9p|\\154oU\\SO\\150\\164{\\156\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\146\\187\\132\\184\\133\\158\\143{i\\138\\\"tvx\\224K\\129\\219_y\\231r\\b\\201\\165\\139\\157\\171\\135\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189V\\227\\SO\\190\\167\\230M\\210\\EOT\\247}\\233\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\242,'@\\DELg\\DC2\\253\\165\\&3q\\152\\160\\139\\SOr\\195\\SOn\\141G\\134\\206|\\209\\183rq\"","tag":"AbiBytesDynamic"},{"contents":"\"<?\\r\\135\\149\\&9{\\137\\228\\130\\208u\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\")\\134l\\174a%?\\194\\162d\\227F~4\\243V\\SOH%\\151\\151\\&2\\239\\191h\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\168\\251X\\144\\164\\239\\166\\169\\&89\\216\\EMa\\f\\SO\\251\\GS\\193\\170\\202\\219\\253\\t\\135\\217\\207B\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\244\\162X\\202\\163\\DC3\\r\\151\\181\\CAN\\144)\\141\\246\\220\\129\\RSW!\\SUB\\138#\\ESCF\\213\\183\\236\\200\\a,)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\201\\142\\222\\186M~4\\180C~c\\239\\147\\\\\\EMN\\221\\255>\\236,\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\ETX\\DC3\\DC4\\191C\\250q\\218\\151\\169y\\142\\212\\147\\235X\\154HS\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS/P\\198P4N\\207\\233hp\\252\\176\\b8\\240\\r\\145b\\DEL\\NAK=\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\&2\\239\\235\\216\\216la\\242\\155m\\DLE\\SIv\\137\\148\\132\\182\\222\\171\\228\\249P\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\",U\\131\\207\\148RNj\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246v\\EM\\136\\147\\170\\209 \\ap\\250\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221B\\DC2\\137$\\192\\170\\128S^\\239\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\162\\SO\\fY\\239M\\246=\\150E0\\131\\152\\\"\\191\\DC4\\229\\186\\&5\\b\\DLEM\\160\\212\\140\\&6\\170\\184qs\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\141\\RS\\219M\\DLE\\GS\\129\\184(\\169\\&2E]\\131\\186H\\DC3\\191o\\ENQ\\a\\239\\152N\\237\\167\\208\\210\\ETXp\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\SI%\\192\\187\\140\\GS\\SO\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\231\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\213A\\193\\230\\181\\212gey\\234V!\\201\\175\\189\\165\\249\\206\\131\\&6\\145\\161\\203\\235\\226\\GS\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224|.2\\238\\247V\\a\\133\\v{\\166\\157\\139\\200=\\133P\\251\\148\\186\\183\\243\\215=\\ENQ.4\\231F\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"&D\\243\\165\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\tA\\244i\\RSkm\\168VXKj\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"K\\180^\\165\\251B\\US\\167\\180\\157K5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\223oC\\202>\\188\\SO\\246\\131+:\\215\\134\\231\\249\\220\\129V\\185\\235\\189WLa\\ENQ5{\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\153f\\252O\\146!\\DC2H\\DEL\\143\\b8\\DC1\\a6\\ESC7vz\\SYNzMS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149Zc'\\180\\243B\\192\\249\\249\\202\\225\\SO$\\223\\172/\\137\\209\\196\\rf\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197}\\GS\\145.\\US\\233M\\239/h<\\219\\165CQ'G\\197\\248\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\194\\181\\169Mq2Kf9J\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\205\\133\\&2\\134\\163\\&5U\\235o8\\177\\EOTL\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\254\\&9+\\a\\242\\197\\&7\\223*\\ETB\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\SI\\240P\\234\\231g=/6\\254H\\208\\237\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"!-\\206\\236\\159\\247\\194\\201\\175\\254\\CAN\\\\3(\\181\\249\\203^\\GS\\146wS\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\135\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\r\\214'\\183\\FS\\222\\CAN\\220\\172\\r.\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\246}\\225h\\190\\234<\\\"\\252\\159\\218\\147\\217\\194\\DEL\\143F\\SOH\\SUB\\f\\174\\141\\SI.\\226\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\243\\128}\\192\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"_Sh\\221\\214\\201\\209\\EOT\\r\\210\\EM\\149\\ESC\\214\\206[\\181k2\\221\\DC4\\209\\DC3<\\223\\136\\247\\242\\141\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227C\\171m\\v\\NAK`\\vp\\SUBTQ\\143\\128P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239Srk\\SUB\\SUB\\138\\184\\214\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"p\\187\\213\\129\\249&To\\DC4\\192\\&6\\193\\ETX\\182S\\244\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\229\\225O3\\SOa\\250\\SOoB\\190\\ETB\\175\\bHoz_\\201\\208w\\170T\\158\\&2\\140\\230\\a\\191:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\&2=\\204\\135\\204F\\bND\\189zx\\149\\132\\183\\&7 \\159\\205/\\172>r\\ENQ\\165-gX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198.Z\\232\\&3\\209\\204\\SYN\\233\\166:uJ\\b\\243R\\221\\163G\\195!\\143\\183\\197\\193\\191\\141\\233\\178U\\195\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\FS>G\\236\\a!F1G\\180Wj\\192c=+\\165\\RS\\153-\\247\\&4\\170v\\255\\153\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\NAK'\\175 \\SUB\\206=\\144M\\153\\EM\\241\\158\\215\\134\\182\\193\\147M\\ENQ\\156\\EOT\\a\\212\\174\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"G?\\176\\201(\\227\\179Q\\135\\RS\\165}\\b\\218i\\172\\&6\\191\\214P^\\200\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"DqR\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\182\\149\\234q\\223l\\215\\239\\EOTM\\a\\234\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\251Ht.\\ETX\\191\\169aAp\\254Gc\\203\\213\\DLE\\192\\&7\\236\\&8/\\138\\212\\252\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\137\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\DC2\\164\\&9i9\\b\\166\\SYN\\240)j\\217\\222\\201\\228\\211m\\RS$\\DLE\\190>\\234\\193\\&0\\155x1}A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\&7\\r\\133\\128\\158\\200\\224\\FSI\\168\\DC2\\186D?\\140'4\\187\\143T0\\249\\241Z\\SOH^\\161\\&8\\DC2\\232k\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\165\\a>\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\232'\\147V\\191\\162\\&8df9\\219uR\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"s_\\245'\\181\\206T\\211\\NUL\\227\\162\\209|\\234\\183\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\220*\\177\\176\\185\\FS\\f\\182\\199X\\130H\\173\\255}\\215\\131E\\173H\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\170\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\158\\217\\172\\SI=\\DC14t\\135\\&0\\220\\220\\236`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\GS&T\\192\\249\\244\\138\\227\\&4Z\\222\\250\\133\\249\\211\\\\\\204lv\\189\\249\\168\\195aF\\229\\NAK\\SOHd\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\t\\151M\\f\\ENQP\\199?)\\244\\249\\170\\169='z&\\194\\133\\161\\200\\195\\194\\250\\136\\158\\245\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\145\\177\\219:\\128i\\SOH\\191\\183.A\\DC4\\216\\145\\t\\207\\134\\239\\175\\206\\b\\142`\\183\\137\\143\\129\\218\\203\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\140\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\247\\ETX\\144E\\203T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3bO\\132w-\\\"\\205\\142\\151\\ETX\\186\\182<6\\157;\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\138\\166\\155\\167A\\SOH`\\v\\182\\139(\\201\\CANE;>\\173\\255\\195\\n=\\GS\\213\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"r9d#C\\149\\145\\144\\250\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\237\\198\\142^\\DEL\\161L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\SIL\\EM\\211\\163\\252\\251\\199NV\\160\\158\\194\\151\\206\\176\\245\\ACK&so:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233tUKzS]=\\243R\\NUL\\248\\\"\\ETBfA\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\246\\193\\\\[d\\253\\210[\\176f\\250olI\\DC2\\DC1B\\142\\245\\SYN\\162La\\177o\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\243\\208\\246\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"$4\\216B\\157\\f\\250\\CAN\\232\\SI\\235\\177\\201.\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\".I(\\244|\\129\\FSW@J\\\\\\DLE\\ENQ\\GSe\\179\\144\\183D\\248\\146\\135#\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156C^N\\129_\\228hdBQ\\169]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\\"\\139H\\161\\189N\\DC4\\197\\236\\150\\DEL\\224\\142\\191,\\163#U\\211\\205I\\193\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\161@_Ke\\ENQ\\245\\203\\244\\245\\248\\175\\ETB\\165\\201FM!_\\\\\\CAN(\\f\\149\\ETB{x\\148L\"","tag":"AbiBytesDynamic"},{"contents":"\"{J\\204\\223\\229\\239\\197m \\218\\132\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\">c'\\224+\\163\\SO\\DC3\\243\\219\\253\\157V\\163\\132\\&03\\140|\\DC2\\132+\\136t%\\RS\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242J\\135ok?\\151\\209\\132R\\235\\147!\\150\\204\\241\\177\\227m:\\209Y\\DLE\\235\\231X\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\245L\\GS\\176\\168\\DC1\\159R\\142\\174\\168e\\226\\198\\200#\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\237c\\253\\176\\134t\\231\\147\\177\\244-\\143\\219\\180\\&9Z\\139\\\"\\SUBFz\\207\\165\\239\\164\\185\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"X\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\ACK\\138\\141}>\\248\\US\\254\\168\\SUB%Dr\\214\\209?G2\\218\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\183\\146\\178\\231`l5\\207I\\DC2\\208X\\248\\253\\244\\FS59%w\\208!\\246\\226@6\\202\"","tag":"AbiBytesDynamic"},{"contents":"\">\\204\\132\\248\\211\\186\\&4\\215*\\t\\139\\SOR\\f_\\185x{d<\\176Wi\\251\\211\\239\\203\\131\\146\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\141\\213\\197?u\\246\\240R\\241\\215\\196xS\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\152\\155\\\\d\\189\\232}\\f>\\229\\140O\\221\\238d\\192R\\193\\137\\230\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\SYN`U[\\132\\189\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\183a4\\183\\148\\SI\\204\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254K4=\\221 I\\228\\&5\\182\\228m\\ACK:\\DC1zd.\\234m\\240\\240\\136\\199\\DEL2R\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\SI^\\131\\&2q\\138\\163f7b\\206Z$\\GS\\\\\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\SIlj\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\132(;'\\170\\158\\212F\\172\\194\\223\\196\\DC1\\253\\128\\233\\168\\194\\252\\155/\\218'\\131[\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\168h\\139)\\178\\251L\\143\\173-\\166\\n\\DC3P\\177\\DLE\\132\\143\\138N\\vp\\174E\\161\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\143}P\\n-!\\196\\249\\166\\131\\157\\249/\\224 O_\\151\\215\\a;\\SYN\\160\\217\\187\\a{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246 \\194\\144\\225\\254/\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSx\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\164\\251\\USf\\224#3y\\233\\&4\\160\\192\\DC1\\163\\168\\226\\185=r\\221\\152\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\193q\\195(\\241Ap\\231\\162e\\228\\231*\\136\\\\\\200\\178\\167\\180\\196\\&9G\\207\\184K\\SI@\\229\\187u\\216\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\233\\ETX\\236_\\186\\196\\193\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\191\\142\\220\\ACK`\\154r5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NULB\\155'\\FSc\\243T\\228\\138\\v\\GS\\247\\163fOEF\\150\\177Mm\\241\\161V\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\CAN},\\249\\199\\184\\ACK\\187V\\f}\\133\\176\\GS;@\\EM2[\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"GFp\\205\\176\\235\\DC1\\185C\\139\\171\\ETX:\\184k\\225\\221\\250\\194\\132\\SO\\SUB\\187f\\138\\150\\195\\213\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129K\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\US\\\"Q\\150\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168q\\192\\ETB\\154\\218r\\161/\\129\\138(\\168\\165\\169\\129\\178_\\FS@\\SYNA\\131\\DC1\\145\\150\\221|\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\199\\188\\210D\\208W\\253\\188&\\229\\DEL\\160\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161E6\\250\\154u^\\191T\\180U\\130\\b_\\148\\t\\179Szf\\186+\\223\\206]\\181\\220\\163\\DEL\\207\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\222|\\255\\202\\174<h\\185\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\195\\154V2\\233\\213T\\222V\\DC3r.\\DC4X\\155eK\\169\\ETB4'\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\199\\230\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSQ5Aj\\252\\255\\220\\196\\170\\SYN\\250P\\198\\187\\156\\242\\224\\253Q\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\236\\165\\234\\235\\192N\\177\\148\\224o/eqt\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172j\\ENQ9}5\\182vJ\\168\\217}\\242\\216\\DC2\\218\\SO>~a\\236\\144\\226Gd\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\186P,\\173s\\228M\\150\\226n\\187]\\197\\250\\EOT\\153\\236\\230\\\\\\229\\213\\239\\250\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\224\\f\\EOT$\\201\\199\\DC1\\212\\RS\\211\\139\\181\\SUB\\165\\DC4\\134\\DC1\\160\\t\\ACK\\226\\DLE}:;K\\208\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\240\\197\\&2\\225>\\255\\130@So\\199\\166\\\\\\227~\\199\\198\\225\\208\\212%<\"","tag":"AbiBytesDynamic"},{"contents":"\"bx\\137\\159\\CAN\\152+\\155.\\253M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\226w\\STX>P\\241\\238tvV\\139%3\\225\\236}\\224\\143\\NAK\\172\\248}\\f\\193\\DC3\\143\\ACK&\\130\\244\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\252\\211\\DC4\\STX\\199\\254\\207\\253\\190\\189j\\EM\\242\\198@\\237\\SI\\138\\231\\181\\DEL\\143\\222N@\"","tag":"AbiBytesDynamic"},{"contents":"\"~le\\185mbq'\\ENQ\\133\\r\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\223\\134\\245\\231\\185\\160M-\\162\\r`\\179\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230;5w\\DC1S\\176h'\\211\\140\\207\\157<\\218\\&6r_\\230\\244\\a\\198\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\161,c)\\176\\141\\141\\&1\\DC3#\\STX)\\247X\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\ACKr\\217\\208\\226I\\a\\248\\253-\\162\\181\\192P\\150\\251*\\156\\r\\248\\137\\188M\\SUB\\210A8s\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STXDD\\196\\199\\148\\225q<\\139\\161\\219l\\167\\199\\185p\\DEL\\206\\a\\202\\225x\\170FV\\172\\203\\NAKZ\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\246\\FS\\a\\ENQ\\f\\138\\190]\\141\\240\\242\\233!,\\225\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\205\\218\\180\\136\\&2\\171\\250? M\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"cZ\\173\\176\\133#\\SI\\217\\177.\\STX{\\135\\213\\&5\\243:pO\\240\\133g~\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\250\\234\\251\\157I2\\179\\226\\STX\\239v\\209\\142@e\\141\\195T.\\188\\135\\215cJ\\FS\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"&?\\144\\&2\\241\\166\\153\\194c[\\155\\182|\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"vy\\217\\225[\\226q\\147\\169\\198HmU\\196\\189 \\SYN\\190$J\\192_\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248K\\199\\255\\223\\197\\v\\242\\205\\SYN\\NAK\\237z\\130\\139\\142\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\254\\191+\\245\\238\\247\\FS\\tG\\130\\148\\189\\187vD\\204\\183\\186XU\\137\\168\\157\\&4+\\235\\DC2Z\\DC1\\aM\"","tag":"AbiBytesDynamic"},{"contents":"\"0*\\180\\f\\138\\175{\\233\\212\\238k\\ra\\248L\\225\\236\\143$\\140\\SYN,C\\RSMW\\250\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\202\\253\\238l&@TC\\180\\179\\209\\156\\DEL\\203\\174\\183+\\142\\FSJ\\203c\\192dO\\218\\202p\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\148\\&0\\148\\193g\\191\\DC2C&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\145\\156\\&1\\133\\142T\\191;\\170P\\131\\255\\138\\150\\&5\\217\\238fX~\\226\\209j\\216\\136\\STX\\141\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\176w\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\167\\204\\232\\187l\\NUL}P\\205\\&5\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\222\\b\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"YfhBN<C\\139r\\SI:2:\\218Q\\230\\146\\DLE\\157\\213\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1529950294"],"tag":"AbiUInt"},{"contents":[256,"3510108200084713024622704687413011429209930080674983720100486273931276509612"],"tag":"AbiUInt"},{"contents":[256,"62767599535685872347631382035851193222860383382714771560010102255571451093865"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"1002"],"tag":"AbiUInt"},{"contents":[256,"1535055765"],"tag":"AbiUInt"},{"contents":[256,"8"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"72"],"tag":"AbiUInt"},{"contents":[256,"1533041985"],"tag":"AbiUInt"},{"contents":[256,"44871488948497333076520058267058491536751694075719305274619481467656650043125"],"tag":"AbiUInt"},{"contents":[256,"1534735754"],"tag":"AbiUInt"},{"contents":[256,"6907629984009528665272464584025135374219568736485216966266615011692544800473"],"tag":"AbiUInt"},{"contents":[256,"1725107956691117369063313544201582321338099079822815852002043219216280251019"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950333"],"tag":"AbiUInt"},{"contents":[256,"47013435772252962573281399677953043958518029793905092577384830252920528495986"],"tag":"AbiUInt"},{"contents":[256,"38631021744917589477674834524448898799933788797619225351231372695945935587117"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"9004"],"tag":"AbiUInt"},{"contents":[256,"1534377964"],"tag":"AbiUInt"},{"contents":[256,"90051711555360908594451681678192614507003502311535901249902746259404880065781"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689603"],"tag":"AbiUInt"},{"contents":[256,"1526893423"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"87143723686414005258417297092266045380648553715858474300469285532025234868920"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"88797734510372462509438348497467524155963550106286713448810973362928638451257"],"tag":"AbiUInt"},{"contents":[256,"374"],"tag":"AbiUInt"},{"contents":[256,"1525873748"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639868"],"tag":"AbiUInt"},{"contents":[256,"75035236566688237726819967139003439884280256265056612852795970841602204234407"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"454"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639910"],"tag":"AbiUInt"},{"contents":[256,"982"],"tag":"AbiUInt"},{"contents":[256,"99589765731313705106106547122573981006072689771142306470632340468711373742997"],"tag":"AbiUInt"},{"contents":[256,"9365978007622895937632285195253830295458023697161657273882106151678181954128"],"tag":"AbiUInt"},{"contents":[256,"63111048575714454796894213264874876775758111371441854789219578656178269724016"],"tag":"AbiUInt"},{"contents":[256,"901"],"tag":"AbiUInt"},{"contents":[256,"81338230118690107049412717805901970742641364496838403590836848707836075376861"],"tag":"AbiUInt"},{"contents":[256,"66429884410132023884296028443874307661371411986599143762168279286412869325522"],"tag":"AbiUInt"},{"contents":[256,"68630117976498518254813749764113752451085313617242163130136414169372872812281"],"tag":"AbiUInt"},{"contents":[256,"63904468171501348610660911445924251590248201776311090016506"],"tag":"AbiUInt"},{"contents":[256,"19892482105708108050168480843194260874530600439447216391729531746459744898610"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"488012063133242418874047125103598652699409289"],"tag":"AbiUInt"},{"contents":[256,"15783199234772715740095451835692767692916655584857856284548136690497537556878"],"tag":"AbiUInt"},{"contents":[256,"20902273109423268545315907460402945207195675350950875728535553319169311931748"],"tag":"AbiUInt"},{"contents":[256,"550"],"tag":"AbiUInt"},{"contents":[256,"28075132034640128614107849885862619604720399176352083050959958490194312842822"],"tag":"AbiUInt"},{"contents":[256,"50414431603639771266867766044407467348353264731450210191247467602096700296093"],"tag":"AbiUInt"},{"contents":[256,"71027974783977636324530429838334158126762811374316378612658542593658689973201"],"tag":"AbiUInt"},{"contents":[256,"29299765973983384661207937653768981970588857552679236168961361896785627753355"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"113367357740435060763167946982936395850097419245849355277014070695203137346355"],"tag":"AbiUInt"},{"contents":[256,"35742584349821175501972056783608751732282494200156699306492500624123227825276"],"tag":"AbiUInt"},{"contents":[256,"8999"],"tag":"AbiUInt"},{"contents":[256,"30784174219522414915916837143132907956831103255199901685891992547432107879286"],"tag":"AbiUInt"},{"contents":[256,"7076569256721772258358976048527339706390216052378201854986502470816000288795"],"tag":"AbiUInt"},{"contents":[256,"69519712160801562155910303422993900212205370108187671605043264347286570826666"],"tag":"AbiUInt"},{"contents":[256,"301"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577598"],"tag":"AbiUInt"},{"contents":[256,"33575262053922058035421105088306249681398899400494091255307025475420353541490"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428163"],"tag":"AbiUInt"},{"contents":[256,"106950482333651820918108018164156340656403093525228110969875560730249162974444"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577598"],"tag":"AbiUInt"},{"contents":[256,"53"],"tag":"AbiUInt"},{"contents":[256,"1524796950"],"tag":"AbiUInt"},{"contents":[256,"40099026289381190034349719687639294399597800824489844920603413284775825345363"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"100000000000000000"],"tag":"AbiUInt"},{"contents":[256,"62000769129089490508380801671534332062566270781833704682969779578764213123658"],"tag":"AbiUInt"},{"contents":[256,"1526732933"],"tag":"AbiUInt"},{"contents":[256,"7767150650361435298576891159"],"tag":"AbiUInt"},{"contents":[256,"61387329324793529819401131565162450881041308650597139304949416129620982533155"],"tag":"AbiUInt"},{"contents":[256,"112002760810458256388204989514374279693453090947659263990273000010906864534388"],"tag":"AbiUInt"},{"contents":[256,"25434493187453270421742136068847210777619608267262502862163332167420746875450"],"tag":"AbiUInt"},{"contents":[256,"1309944438989919733767183292245224161946025172117738449126"],"tag":"AbiUInt"},{"contents":[256,"34991399448324048702864128776035327492786843693241150239109997761737605039480"],"tag":"AbiUInt"},{"contents":[256,"36612274127870251076902890372355893497453886287782570869061963402466361619822"],"tag":"AbiUInt"},{"contents":[256,"34614648070890014477986873002116314164779445194349761923261420367587343270216"],"tag":"AbiUInt"},{"contents":[256,"14350519302384105749390663132778014211317123460057269772643164861863609797549"],"tag":"AbiUInt"},{"contents":[256,"81998506206882208534097237686187487648775680790067226048988248119912403871082"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"257"],"tag":"AbiUInt"},{"contents":[256,"1526688517"],"tag":"AbiUInt"},{"contents":[256,"7459860893149407827525125"],"tag":"AbiUInt"},{"contents":[256,"21050823605779429912562184"],"tag":"AbiUInt"},{"contents":[256,"63378185485564292938431059134749904490704468566556566414367090638584438555003"],"tag":"AbiUInt"},{"contents":[256,"302"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639842"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639938"],"tag":"AbiUInt"},{"contents":[256,"1526732933"],"tag":"AbiUInt"},{"contents":[256,"255"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030337"],"tag":"AbiUInt"},{"contents":[256,"266"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639702"],"tag":"AbiUInt"},{"contents":[256,"9624247394113540756473482409556585010631537625308528929830153434780555753015"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"299939360904676125452825492315496005398"],"tag":"AbiUInt"},{"contents":[256,"1008"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c43a","0x0000000000000000000000000000000000000000000000000000000000000151"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3b","0x0000000000000000000000000000000000000000000000000000000000006dc5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"177"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015f0a","0x00000000000000000000000000000000000000000000000000000000000052fa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"1530193614"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a441","0x000000000000000000000000000000000000000000000000000000000000eab9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":[256,"45627841810145325604591255632538450954139878166072527414504063456874497500974"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002327","0x0000000000000000000000000000000000000000000000000000000000001396"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"39270972834543384337886468308449283819788984456945330093411510460824043646827"],"tag":"AbiUInt"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa1","0x0000000000000000000000000000000000000000000000000000000000006542"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"12"],"tag":"AbiUInt"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"12371751330218083945481925369297283610368526186277799734400093901254423957280"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3f","0x0000000000000000000000000000000000000000000000000000000000000076"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"32707665571042336453601257474135919448207843451831925717132615602169490094399"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005bd20","0x000000000000000000000000000000000000000000000000000000000000004a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ed57","0x000000000000000000000000000000000000000000000000000000000000a5a6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"785"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062123","0x0000000000000000000000000000000000000000000000000000000000002e5c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae7","0x0000000000000000000000000000000000000000000000000000000000002162"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b5e5","0x000000000000000000000000000000000000000000000000000000000000c48e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"1533913302"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003a964","0x0000000000000000000000000000000000000000000000000000000000007119"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"44675768396985966281093899283495630929073129743435946668899113445701948713823"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001051","0x0000000000000000000000000000000000000000000000000000000000000383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"59628394629352519730046475037550315041586429969094858844571575856333693836644"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e704","0x0000000000000000000000000000000000000000000000000000000000000273"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"192"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fe","0x000000000000000000000000000000000000000000000000000000000000aebd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"910"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232b","0x0000000000000000000000000000000000000000000000000000000000006196"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"58010422127320916973516150047570366720"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639924"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbff","0x0000000000000000000000000000000000000000000000000000000000000088"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609600"],"tag":"AbiUInt"},{"contents":[256,"1525873748"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003aa0a","0x0000000000000000000000000000000000000000000000000000000000007840"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005bcb6","0x000000000000000000000000000000000000000000000000000000000000136c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bd","0x0000000000000000000000000000000000000000000000000000000000000047"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"2000000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf7","0x0000000000000000000000000000000000000000000000000000000000005b04"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"60716343442691349080169332793459091848819853897482100928476875931344439006286"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000047125","0x00000000000000000000000000000000000000000000000000000000000095b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"84065169943586351042929041952713255785181087186133785245058690331481385345587"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000325c3","0x000000000000000000000000000000000000000000000000000000000000e699"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"620"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551615"],"tag":"AbiUInt"},{"contents":[256,"254"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428162"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e762","0x0000000000000000000000000000000000000000000000000000000000000388"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"401"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f7c2","0x000000000000000000000000000000000000000000000000000000000000a9a5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"48109090585454574005420592981034011110841425609950753244515772287097444359857"],"tag":"AbiUInt"},{"contents":[256,"45358149172689271720167199295315923819758700706019794241426314701742915719415"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065129","0x000000000000000000000000000000000000000000000000000000000000562f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000088","0x000000000000000000000000000000000000000000000000000000000000000a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000626ca","0x0000000000000000000000000000000000000000000000000000000000000552"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000055","0x000000000000000000000000000000000000000000000000000000000000138f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"100892858138844543503156991869530937099852373985833996218822637457492314257072"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfc","0x0000000000000000000000000000000000000000000000000000000000007e14"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"2000001"],"tag":"AbiUInt"},{"contents":[256,"14328505678074512452073217793798519674613199301843043247487464276175278661805"],"tag":"AbiUInt"},{"contents":[256,"152"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000043","0x000000000000000000000000000000000000000000000000000000000000135f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"98976992204515790133363115163900530449108927986442786220164811027591965423858"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7f","0x0000000000000000000000000000000000000000000000000000000000001e2d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"210"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59c","0x000000000000000000000000000000000000000000000000000000000000d8cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"60573758833624031809412138232983598952013530546067157761347303896888963096318"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b504","0x0000000000000000000000000000000000000000000000000000000000006fa4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":[256,"24"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000d5ce","0x00000000000000000000000000000000000000000000000000000000000007c1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"86399"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e353","0x000000000000000000000000000000000000000000000000000000000000b449"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"6765429689493001921003422013999843223472321209450261486635599829657775093524"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001cae0","0x000000000000000000000000000000000000000000000000000000000000058f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"67102080094257788030226255076459191944248035044468661704401847096811591140035"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006031a","0x0000000000000000000000000000000000000000000000000000000000007fa0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"80089379953232414830178794836042240435883764522516289927030985504359135917801"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004694f","0x000000000000000000000000000000000000000000000000000000000000d3f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f3a","0x0000000000000000000000000000000000000000000000000000000000008192"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000006109","0x0000000000000000000000000000000000000000000000000000000000008888"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"8910668278480329507860853313833624314792462929767302805134722456803644397354"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000080f18","0x0000000000000000000000000000000000000000000000000000000000002714"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c247","0x000000000000000000000000000000000000000000000000000000000000551c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"65901832629815973755253641984832264812253353277980548660295245660251678864214"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065e18","0x000000000000000000000000000000000000000000000000000000000000889f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000056740","0x000000000000000000000000000000000000000000000000000000000000136a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000006b","0x000000000000000000000000000000000000000000000000000000000000b994"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"49471804462903881343383700654479895515620907982905835661838058525295931129455"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0d","0x00000000000000000000000000000000000000000000000000000000000095ba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000059efe","0x0000000000000000000000000000000000000000000000000000000000008ecf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"895"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008996e","0x0000000000000000000000000000000000000000000000000000000000002a22"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"84189133835720278517730913336726561375421729677197998682755521972081845458434"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046263","0x000000000000000000000000000000000000000000000000000000000000d065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"104"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e4","0x00000000000000000000000000000000000000000000000000000000000001fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000016b17","0x0000000000000000000000000000000000000000000000000000000000000056"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"40023846187878915398690507564119386211419343277883600411832777530819825221944"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb1","0x00000000000000000000000000000000000000000000000000000000000045a3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fc","0x00000000000000000000000000000000000000000000000000000000000080dc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"3999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc12","0x00000000000000000000000000000000000000000000000000000000000084b9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"32"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007f","0x0000000000000000000000000000000000000000000000000000000000001784"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"31545975199663530889886797958487895240174103954830386773356965218732863617255"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf7","0x000000000000000000000000000000000000000000000000000000000000232a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065410","0x0000000000000000000000000000000000000000000000000000000000007e4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000028f7a","0x000000000000000000000000000000000000000000000000000000000000337f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"5836883843007457735641661526186366379274451364821959594948"],"tag":"AbiUInt"},{"contents":[256,"11659427342271879309367987948906060393128254882254077037564000526109607359444"],"tag":"AbiUInt"},{"contents":[256,"11659427342271879309367987948906060393128254882254077037564000526109607359444"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1002"],"tag":"AbiUInt"},{"contents":[256,"70235733566472086589234884330116724319695801203196284861695521439035874907978"],"tag":"AbiUInt"},{"contents":[256,"22629140818332628409240623944536616651671502580807838745523805503130901887516"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000021be","0x000000000000000000000000000000000000000000000000000000000000136e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"19"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001387","0x000000000000000000000000000000000000000000000000000000000000996a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"31743249310207474340641512582898915926525399292869436243552627770489146731776"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628414"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81c","0x000000000000000000000000000000000000000000000000000000000000134c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"207"],"tag":"AbiUInt"},{"contents":[8,"26"],"tag":"AbiUInt"},{"contents":[8,"117"],"tag":"AbiUInt"},{"contents":[8,"107"],"tag":"AbiUInt"},{"contents":[8,"4"],"tag":"AbiUInt"},{"contents":[8,"98"],"tag":"AbiUInt"},{"contents":[8,"15"],"tag":"AbiUInt"},{"contents":[8,"137"],"tag":"AbiUInt"},{"contents":[8,"208"],"tag":"AbiUInt"},{"contents":[8,"213"],"tag":"AbiUInt"},{"contents":[8,"74"],"tag":"AbiUInt"},{"contents":[8,"74"],"tag":"AbiUInt"},{"contents":[8,"74"],"tag":"AbiUInt"},{"contents":[8,"74"],"tag":"AbiUInt"},{"contents":[8,"74"],"tag":"AbiUInt"},{"contents":[8,"185"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000150be","0x0000000000000000000000000000000000000000000000000000000000005caa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"84"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004fac1","0x0000000000000000000000000000000000000000000000000000000000009e94"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b295","0x0000000000000000000000000000000000000000000000000000000000000474"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":[256,"111225503591602878096916122631127813727210336843078433912020287387906847477874"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005586f","0x000000000000000000000000000000000000000000000000000000000000dcc2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[8,"87"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427a","0x00000000000000000000000000000000000000000000000000000000000088d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"38367009053214605542059861456726185892857370161139858105032837307823793360905"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055774","0x000000000000000000000000000000000000000000000000000000000000c543"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000036898","0x00000000000000000000000000000000000000000000000000000000000058ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"82940755200948775804548667602401028898481788507327211364012742227690954119413"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae2","0x000000000000000000000000000000000000000000000000000000000000755a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2b","0x0000000000000000000000000000000000000000000000000000000000001b6b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf5","0x000000000000000000000000000000000000000000000000000000000000231d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"873"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000021","0x000000000000000000000000000000000000000000000000000000000000c972"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000387","0x000000000000000000000000000000000000000000000000000000000000134d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"2000003"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000144ca","0x0000000000000000000000000000000000000000000000000000000000007e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001214f","0x000000000000000000000000000000000000000000000000000000000000c07f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003dfcb","0x0000000000000000000000000000000000000000000000000000000000001390"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]