[{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"61930382437265276377226623490480428963609395867413967116476852453824070035985"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012b","0x0000000000000000000000000000000000000000000000000000000000002637"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000047f39","0x000000000000000000000000000000000000000000000000000000000000df2b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636332"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f97","0x0000000000000000000000000000000000000000000000000000000000005daa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577603"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c5","0x00000000000000000000000000000000000000000000000000000000000003ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":[128,"86401"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000089","0x0000000000000000000000000000000000000000000000000000000000000006"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"65"],"tag":"AbiUInt"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":[256,"60530040760024349794190613647393204759870864401956986428309084425894124371714"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc11","0x0000000000000000000000000000000000000000000000000000000000000ae3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"29000735601447670451817769275"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000aab4","0x0000000000000000000000000000000000000000000000000000000000001327"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"6\\DEL\\208\\139\\147\\206\\200\\216\\176=\\154\\151>\\229)Jd\\193\\143\\195^\\203\\197\\185g=\\218\\DC2\\160\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\227\\229+\\DC2\\209-\\241\\201\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"]I\\177\\NULk\\162n\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\201\\223q\\DEL3\\176\\GS\\149\\233\\220\\234\\rn\\223\\219\\213B\\241\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Foj\\246\\&8W\\217!\\EM=\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\134\\228/\\244\\EOT\\STX\\201\\&3\\177\\189\\FS\\DC4g+\\ETBc\\180\\RS\\243\\&8Dcu\\166i\\ETX\\NUL+\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\182\\DEL\\208@K\\189\\165\\145G\\226\\205\\200\\134E\\223\\132SO>\\183&\"","tag":"AbiBytesDynamic"},{"contents":"\"rd`\\206\\176<@\\129\\133l\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"8\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\">\\240\\159@\\182\\SOH\\186\\DEL\\131\\190\\169\\215\\201r\\207\\241rB\\187P\\t\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\135\\138\\157\\254\\201\\vW\\198\\139\\155\\241:\\131\\ESCa!\\ETB\\241Z\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\b\\153\\199\\163\\DC4\\154\\202\\SYN\\209\\140\\255\\140R\\140e$\\217\\&4o\\SUB.\\138\\&7\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\214O\\183\\135\\NAK\\t!D\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\&5\\181R\\253\\ESC\\169X\\203[\\232\\FS\\240\\148~9qP\\161\\196\\249\\231\\DC1&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197o\\215\\&2\\\\\\t\\130<\\156\\227\\222\\200\\151\\132\\147d-\\155\\201\\173\\&4\\225\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\236nnp\\191\\217\\ENQ%\\170\\FS\\224\\242\\190\\CAN\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\254\\&4\\150\\\"\\243\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\SUBG\\USdC\\NAK\\162'\\193}\\229\\tk\\165\\167\\203\\235#_\\182\\254\\223\\198\\193\\177\\185\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\196*\\\\\\EOT/\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\203\\r\\STXJ\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\236v\\143\\US\\175\\DC2\\244d\\151sMnj\\144M\\153\\255'Iw\\136yg\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159 ;\\165\\249P<\\148\\SOH\\250B\\208\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\148\\214\\206\\167\\130P}\\213\\200\\158x\\192\\NUL\\252l\\132H\\219v\\ETX\\STX\\147\\ENQ\\v\\b\\179\\167a\\f4\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\195p\\SI\\143|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\215_\\175\\167\\170\\172\\152\\197\\DEL0\\189\\EM\\DC3u94B^G\\DC30\\220\\224\\128\\158\\192,\\176\\vc>\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169s\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\a\\145\\141\\b_Z\\218\\153\\245\\171\\131/\\194\\135Q\\182\\214\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131n+f\\167p\\184T\\227\\170W\\205@&1\\142\\&2a\\185\\156\\192\\221\\SI\\182y\\185\\152\\\"\\173\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"YU6\\204<\\213\\DC4\\240\\225}x\\168\\135\\ACK\\130\\ACK\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\FS\\170\\154tk6NU\\144\\153x\\143\\207\\CAN\\211\\243\\181\\146!\\177Qdb\\222\\\\\\254nN\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\b\\t\\214tf&\\247\\197\\240\\202\\n2\\160.\\165\\DC4-\\235\\213a;\\233LP\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB~\\252\\179Kv \\255\\255\\226%\\156@^p\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206H\\249\\\\\\222\\&0]\\b\\183\\156\\212\\154\\202p\\188\\157K\\238\\&5\\188M\\186\\SO\\170\\DC2t\\n8\\156@4>\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\233y8\\241\\SOH\\173\\FS\\209\\245\\137\\b?\\242s\\ETXR5GH\\147x\\204\\DC1\\181I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206YI\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"l\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\DC4\\239\\159\\146\\251\\170\\211\\129\\180v\\224\\231J\\195\\RS9\\DC1n\\181\\210\\194\\165b\\DC3\\196\\GSs=\\132o\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135Zb\\187\\172j$\\182\\200'\\187\\168\\135f\\231z\\ENQ\\144$+\\175\\253\\131\\246\\129\\159+\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"Z?\\FS\\180RG`\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\165\\134\\ESC\\160g\\NUL\\ESC\\201\\137)\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"Hr\\164`\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"pc\\150Yv\\151\\201>%\\201$d?;\\\"\\183V\\140\\160\\181ZYw\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\137\\SOHF\\f\\CAN\\254US\\240\\176S\\242r\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"<D\\168\\&1\\229\\213yeI\\237^\\150\\160E\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\166&\\ACK\\217:x\\143\\138\\151\\250\\196w\\199\\193\\230n\\186\\134\\209\\174\\ETX\\168\\131\\217\\\"\\203\\132\\196\\&3\\135G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\208\\164j\\t\\162OLn\\165\\\"\\142q\\244\\166\\161\\151\\165\\248\\b\\145O\\250/\\STX'\\203\\235\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\129\\193\\129%\"","tag":"AbiBytesDynamic"},{"contents":"\"w8S\\SO\\255-\\183\\254\\254\\196\\SUB\\224\\157\\NUL\\253\\163\\DC1B\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\155s\\CANu\\229\\239}}!@E\\254\\ETX\\172PD9J+\\237m\\SO+s\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\144\\132\\188d\\233\\b\\198\\248\\199\\205\\168\\218\\220\\148\\SOH)\\DC3\\192d\\189\\164\\182fK\\229\\203\\ACKT\\135\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176J2\\189\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\254\\207dOy\\ETXCP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\212\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\135~1\\211\\208y\\161\\243\\213\\137\\214\\139\\204=^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\SO!\\215k\\229\\NUL\\250\\151\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\160\\254\\185\\198\\131\\226\\255\\137\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188m\\172\\152\\&5uJ\\176\\STX\\202&\\DC4\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\142\\208\\254I\\235k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243u\\188\\ESC\\151\\&3\\246\\191z\\250\\241\\&0x@\\191\\146\\165\\192\\239\\b\\244\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\174\\242Uw\\ACK\\131\\ACKX\\208\\242a\\172\\157\\229\\ESCs\\203%\\241\\233&\\201\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"yZHsS\\210_\\174\\SIO\\149t\\246\\&1 \\187\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\156n\\166\\ENQ4D5\\132\\SYN\\200\\&1\\144N\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238//9s%\\NUL\\169\\148\\SI\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\b\\209\\138\\140\\203QGi2\\171\\234%\\208\\220\\188j\\b\\164\\184\\176\\224m\\147N.(P\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\186b\"","tag":"AbiBytesDynamic"},{"contents":"\".\\154\\ETX\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"k\\138\\224V\\245\\185.L\\206\\181)\\248\\162\\EOT*\\199\\198niy\\SUB\\215\\226U\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\195\\156\\129\\233\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\182\\SO\\135\\DC3m\\133#l\\222\\242\\138\\\\i&\\128{\\148\\v\\190*\\bo\\177\\234\\173\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"MM\\CAN\\132T\\240q\\144\\228\\211I&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\200\\&43\\175\\ETX\\USI\\224\\170+s\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\ENQJV\\NUL\\145\\223\\225,\\197E\\DC2)`\\184\\&0\\DC4x\\240\\200D9,(\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\SO\\160m\\213\\193\\149\\215\\156\\&3}!\\190\\196\\241\\225Q\\af\\167\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"k\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"E\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3H\\242i#\\129\\204p[M\\RS\\SI\\t\\172\\136\\156\\219X\"","tag":"AbiBytesDynamic"},{"contents":"\"io\\212f\\198(\\149\\244\\172\\129\\193A\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"x[\\153\\231\\206\\250\\199Z\\169e@\\130\\&8'#\\SOH\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\210=:E\\175\\NAK\\178\\150[\\STX\\208\\DC1\\137,\\213\\CAN\\223.\\195S\\nN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\CAN\\231\\229\\NAK\\SYNt\\249\\fj\\233\\fs\\154\\165\\200\\239O\\143{^\\STX\\NAK\\242\\161<z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\175\\141SU\\158\\152M\\182\\n\\138w\\171\\175t\\146\\\\3\\RS?\\255\\228\\166J{\\CAN;\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\201\\144\\ENQ0?Y\\rC\\NULp\\134b\\166\\\\n[\\225\\186\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\184\\\\\\243\\135B\\187pF\\196\\248jB\\249\\CAN5\\DLE)\\137\\f\\221\\213\\237\\233\\163\\177\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"M;\\250\\162\\DC2%\\128`\\173'\\221\\203\\148B\\r\\168\\204\\162\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\203_\\151\\183\\201\\RS1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\148\\251\\140:\\SYN\\238Uj)S\\145\\157\\214\\DC2\\228\\242p\\138O\\185\\\"\\STXk-u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1=;\\EM\\204bQlZ?\\203\\211O\\130}\\184\\252\\DC3=R\\CAN\\RS\\244>\\219\\219\\163*\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\219\\ACK\\249F\\142\\240h\\135\\150.\\253\\229%\\171 \\DC2\\193\\152ZdP\\128X\\153\\nq\\181\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\191J\\180\\251\\242\\a\\152\\159H\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\163\\SYN\\144\\171\\232\\237\\235i\\177\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\211\\235(`W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLEN\\146mm\\DC4%}k}\\196\\181\\SYN\\158\\134\\vJ\\184\\DEL\\251\\STXGB\\161\\227\\173\\DC2\\171i\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\130}\\203\\244\\241\\129\\174\\240\\199\\DC1\\162\\\\\\224\\249\\241\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\152\\174$=Q\\DC2\\ENQm\\FSX\\ETX\\213b:\\134C\\244\\234\\148\\158~\\\"\\GSc\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\193\\&2\\203\\186\\237\\SOH}\\nO\\177\\205\\EOT]\\226\\210\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\190hV\\151>\\FS\\246cLUf\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\155\\140]\\130B\\238\\212(\\208\\159\\NUL\\DC4\\194,\\146\\188\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\251d!,\\179\\232\\&3\\190\\246m\\225\\CANvM+\\215j>Uyd\\175.4l\\v\\ETX\\220\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\167\\206\\SYN\\250u\\NULi\\193\\219\\&1m\\217h%\\190=.-\\213\\EOT;\\SUBK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\131\\135\\ETX1K\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\151t\\212\\178W\\204?\\182\\140$\\188\\&8\\146,q\\221J\\DC49\\247g\\157\\151\\215\\170\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216J\\151F\\170{\\198\\252U^^Q\\252\\&5\\f\\130\\215\\176\\EOT\\189]4\\f\\221b(\\152%C\\249jr\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\167-\\234\\174b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210 p\\186\\171\\254\\SUBz\\SOHA\\147\\US\\252m}\\149\\227\\132\\DC4\\185\\161\\177F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\193\\&9wK\\231a\\147\\235\\248\\232\\159\\205}I\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\219<\\148Y\\SO\\223\\154>iL\\147\\SO\\152\\156\\139\\DC4u\\f+\\227[RH\\ENQ##\\146\\226q\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\232\\150.\\211\\ETXtz+\\183\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"T\\RS\\235=R\\248\\SOH\\151#\\183\\RSk\\140\\129\\144\\167\\DLE\\NAK\\RS`P\\132\\154N\\161\\247Y\\160\\ESCj\\191\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141U\\153\\181\\198%\\158<\\198\\254\\DC49\\183\\t\\160\\166\\225\\221D\\144\\216o\\200al\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\157\\136\\223\\237\\162\\229vL\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247[_6Ad\\224\\149\\226pA\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\164p5\\235\\229\\241\\149{\\203\\DC1\\142\\190RIu\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\243#\\172\\141\\161x-\\178\\141\\ACK\\180p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC2o\\200\\NAK\\GS\\224 \"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\237ZR\\140\\218\\158yO\\nV\\SUB*\\144\\243\\199\"","tag":"AbiBytesDynamic"},{"contents":"\",\\CAN2^\\199\\154\\202.\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\188\\213\\183\\SOH1Ix\\v\\137\\173\\213\\\"e\\255\\220\\ENQ\\209\\ACK\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\":\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"!?\\152\\196aQ]\\192\\236\\152\\222\\181\\174\\&5\\180\\247\\152\\250I<x\\RS~b\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166x\\168\\&6=K($\\194\\a\\255T\\SI\\200\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUBSk\\208mR\\138\\249\\194\\NAK@\\248\\253]z\\238\\RS\\ETB\\145\\239\\228\\255\\ENQBk;wV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\173\\192\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\234\\152\\251\\244S\\207\\228\\164D\\131\\227\\235x\\201tX\\141\\130\\133\\n\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\":\\148\\ESC\\160T\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224g\\GS\\213\\132\\202\\206\\170P\\192v\\149\\147\\170\\180\\227\\243\\&0\\223cYR|\\ACK#\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\SI\\202\\157\\244:\\202\\210\\176\\151\\172\\GS\\174\\234\\189\\SYN\\ACKR\\215\\234U=\\179\\167a\\EOT\\142\\158-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\183\\240\\219x&\\228\\161$\\143\\146\\161\\GSH\\253_\\ESC\\179\\180\\175\\201Gt\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\US\\131\\228{\\250\\253_k\\195(\\162Z\\152Ta\\194Q+\\212W\\222\\233\\247\\196\\201\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\196\\225a\\211\\193:60&%\\SO;!\\193g\\137\\201vx\\192\\SI\\CAN\\150\\139\\170z\\DC1\\218\\FSf\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\230\\228DH\\155\\ACK\\129\\142\\EOT\\184\\&2\\138\\214\\v\\211\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\162\\144\\232f\\190\\144m\\SOH\\151\\166\\224mei),\\169w\\202\\FS\\ETB\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\161Q\\176\\168\\191\\254Ks\\208\\NAK\\SYN\\ACK\\SI\\233\\\"v*\\140_\\ENQ\\143\\229\\173\\t=\\136:{ @F\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\152\\228\\238\\194\\249\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225y\\164\\174B\\181\\140\\239\\DC2\\169\\175u\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\131\\225G\\214>\\151\\162<\\NAK\\219\\DC4`\\155s\\RS\\141\\162\\218\\165\\247&G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\145\\145c?\\148\\223E\\239\\195R\\EM<\\235\\185\\147\\171\\168;\\ESC\\140\\200\\ENQ\\227\\b\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239pl\\245L\\\"\\195\\231\\206\\197W\\142\\149\\DC4\\US\\147W\\230e\\128/\\245\\SYNh\\145D\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235P\\191l+\\NUL\\242\\150\\254\\&2\\237;J\\235\\200\\ESC\\169\\223\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\163\\153\\211\\GS)\\144\\135\\166\\227\\DC4\\135\\132\\223\\DC3\\229E\\176\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\165\\252yQ\\SO\\146\\166\\150`\\198VB\\217\\162\\201\\222\\227\\136\\222\\215\\DC13Wog\\231\\241\\a\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\186\\148L\\135\\239\\180\\v\\186\\214!\\223)V\\237\"","tag":"AbiBytesDynamic"},{"contents":"\" \\217D|:\\NAKX\\148\\145y^\\133e\\245M\\SOH\\ACK]\\214\\\"\\201\\172[ Q\\166C\\ACK\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\244\\135\\249\\161\\201\\254\\\"\\199\\DC2\\a\\DC3\\164\\219\\213bD\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\138o\\237]\\148\\178\\163jq\\152\\250ni\\DC4 H\\ETB\\230\\144\\RS\\195\\DC3\\132\\183eu\\172T\\165\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\143^j/\\ETX\\223Oy\\211k\\224\\253f\\207\\194\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\250*\\\"\\\\\\130w_\\152{.\\DC1\\141\\GS\\234\\212\\234\\187\\GSg\\DLE\\253\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\250\\218\\227\\169\\230a\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247Y\"","tag":"AbiBytesDynamic"},{"contents":"\"%u(g\\151\"","tag":"AbiBytesDynamic"},{"contents":"\".n\\201k2\\158\\172\\138i/\\171\\DC4\\204\\191Y\\134\\167%\\DLE\\248\\249\\242\\181h\"","tag":"AbiBytesDynamic"},{"contents":"\"wUY|\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\149\\212\\&9u\\251)\\160v&\\203F^`\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"glz\\172\\146 \\191\\135\\148\\SOHU\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\214\\193}#~^\\236R\\176]\\141\\140*\\211S\\196\\161\\228l\\235\\235\\DC1\\210@\\\\j\\DC3+\\USx\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\191\\247T\\200\\247\\149\\223\\136\\155\\216\\206\\173\\185\\174\\250\\251\\EMJ\\135\\177a\\225D\\184\\250\\246\\137\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\RS\\v2>Z\\218!\\STX\\180M\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\149\\250}\\NUL\\231\\t'!\\183\\250\\\\\\151\\&2H8\\US.\\252\\138k\\\"J'cni\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\176WN\\214\\USuW?W\\135\\\"[\\145\\155j\\f\\134\\176\\&05t\\EM\\214+\\DC1\\179\\148\\224\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\209u\\ETX4A:\\236\\190E\\239\\223\\140^4\\234\\217\\236\\f\\134\\131s\\242\\187\\223\\166qW\\244C\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"7r=\\242u\\191N\\158\\176\\134A\\ba\\b\\130\\233\\NAK\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136R\\238\\&9+\\147_\\141\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180-<J\\EM</$\\206?\\139\\210\\SYN\\229q\\SUB\\221{\\b\\192\\253\\136#\\132y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\223Of)\\DLEY\\148XI`\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"869"],"tag":"AbiUInt"},{"contents":[256,"231"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211773"],"tag":"AbiUInt"},{"contents":[256,"38821085002882805179599487573537715042341052588387943571793898535547888959791"],"tag":"AbiUInt"},{"contents":[256,"63370043154250366735255468774742993237378230393932434096104317503270152143610"],"tag":"AbiUInt"},{"contents":[256,"100645992385520911313212751583149122134159177548908050435450649945269204155106"],"tag":"AbiUInt"},{"contents":[256,"1529838536"],"tag":"AbiUInt"},{"contents":[256,"73309278290249394718639382847106208825495591537857965333360872280504231220510"],"tag":"AbiUInt"},{"contents":[256,"72740580758663407039436476824143913819359927356685592914135133322772815125089"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639939"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"67782962837928107950628431172722616115285043143866656116257963150369904707231"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908086"],"tag":"AbiUInt"},{"contents":[256,"62428171265163558283847626602375740882609829006276985295402714053018751769115"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"15131679395896122445975189558993186313943635970258205909058802180223905794179"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629936"],"tag":"AbiUInt"},{"contents":[256,"86509828288321407829718657727668118658990521993895928"],"tag":"AbiUInt"},{"contents":[256,"1527195727"],"tag":"AbiUInt"},{"contents":[256,"289"],"tag":"AbiUInt"},{"contents":[256,"93"],"tag":"AbiUInt"},{"contents":[256,"110985258985635201018674117038181285649840541458730981797972835485354071504761"],"tag":"AbiUInt"},{"contents":[256,"63682098680409383574311605"],"tag":"AbiUInt"},{"contents":[256,"56052314104009477724447058564724401862088926001220826408136063110991564757708"],"tag":"AbiUInt"},{"contents":[256,"10003"],"tag":"AbiUInt"},{"contents":[256,"57071712480872609424417757592943892731339085857207552028518947790165343611922"],"tag":"AbiUInt"},{"contents":[256,"904"],"tag":"AbiUInt"},{"contents":[256,"2000000"],"tag":"AbiUInt"},{"contents":[256,"96313995469457119007684541347740713007225186462565450466706515514585710672182"],"tag":"AbiUInt"},{"contents":[256,"103163524897733930925673280864040901499097861763224692081138462209443573693545"],"tag":"AbiUInt"},{"contents":[256,"256"],"tag":"AbiUInt"},{"contents":[256,"15715521205865729219940463526882832132406991982564188458402647966767171823893"],"tag":"AbiUInt"},{"contents":[256,"59445271730545773912110284201225799975841678445015988968185875812996229677461"],"tag":"AbiUInt"},{"contents":[256,"49981800084482334641606859942049804345368818973933437353939442066778800659715"],"tag":"AbiUInt"},{"contents":[256,"82169387057363846873170860139508273398996524524570938299287644597907288877431"],"tag":"AbiUInt"},{"contents":[256,"98042298613073646548686641918208465714712147038039846395328465300795295435945"],"tag":"AbiUInt"},{"contents":[256,"33461451219915915883833109511237349633703428945730426876174625120662424507635"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639916"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629938"],"tag":"AbiUInt"},{"contents":[256,"107491967418853758540856528877540893195254688990911651628486295605123334976306"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639888"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639935"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000003"],"tag":"AbiUInt"},{"contents":[256,"8678637727967593582528988800912"],"tag":"AbiUInt"},{"contents":[256,"31138622734630436658633260479820860270339"],"tag":"AbiUInt"},{"contents":[256,"7417153735620041719328005935200979702029627588271664625927994"],"tag":"AbiUInt"},{"contents":[256,"75878729991441976305479163364087956818959352934612390997529086974204431658331"],"tag":"AbiUInt"},{"contents":[256,"73"],"tag":"AbiUInt"},{"contents":[256,"93371716040584217366632820183860853559511652382980979263917708780717098155332"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628414"],"tag":"AbiUInt"},{"contents":[256,"1529166241"],"tag":"AbiUInt"},{"contents":[256,"80947879946791149683129933585903219427296010849533874521285446292449989630474"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639884"],"tag":"AbiUInt"},{"contents":[256,"416"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea4b","0x0000000000000000000000000000000000000000000000000000000000000384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb27","0x0000000000000000000000000000000000000000000000000000000000006913"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639633"],"tag":"AbiUInt"},{"contents":[256,"104400696326391054960534889339301397299026703364631575146426092487703372779845"],"tag":"AbiUInt"},{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007b922","0x000000000000000000000000000000000000000000000000000000000000b431"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"50"],"tag":"AbiUInt"},{"contents":[256,"54826290701747564567934755003892506286501947734998758138413864976149054524465"],"tag":"AbiUInt"},{"contents":[256,"1997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005a64f","0x0000000000000000000000000000000000000000000000000000000000000036"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f367","0x00000000000000000000000000000000000000000000000000000000000007c0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007f065","0x000000000000000000000000000000000000000000000000000000000000b2fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"99999999999999999999999997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000804a4","0x000000000000000000000000000000000000000000000000000000000000af58"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"33444400632562071325142258531295730936927127601016693368048021417986251844722"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000a4","0x0000000000000000000000000000000000000000000000000000000000001860"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008fecd","0x0000000000000000000000000000000000000000000000000000000000007660"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"101129867316944847441716047577208408725732724546399832370775041524114300025629"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000078","0x000000000000000000000000000000000000000000000000000000000000231e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"454"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000076e07","0x00000000000000000000000000000000000000000000000000000000000001a1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e952","0x0000000000000000000000000000000000000000000000000000000000001328"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000299b7","0x00000000000000000000000000000000000000000000000000000000000095e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"121"],"tag":"AbiUInt"},{"contents":[8,"49"],"tag":"AbiUInt"},{"contents":[8,"65"],"tag":"AbiUInt"},{"contents":[8,"21"],"tag":"AbiUInt"},{"contents":[8,"230"],"tag":"AbiUInt"},{"contents":[8,"241"],"tag":"AbiUInt"},{"contents":[8,"46"],"tag":"AbiUInt"},{"contents":[8,"187"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"},{"contents":[8,"188"],"tag":"AbiUInt"},{"contents":[8,"51"],"tag":"AbiUInt"},{"contents":[8,"13"],"tag":"AbiUInt"},{"contents":[8,"90"],"tag":"AbiUInt"},{"contents":[8,"193"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce52","0x00000000000000000000000000000000000000000000000000000000000067f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x31f02bC1084cb942E4245A15182A6E5bcC606e61","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189&ys\\168\\ESC|\\222'\\200w;A<!\\139\\162\\f\\ENQ\\204\\EM'[D\\189\\186\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\190\\140\\235d\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\143\\211\\164\\&5\\nvt\\255\\EM\\ACK\\141@\\243k\\218\\208\\&9D\\149\\228\\150'=\\166SI\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\149o\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"c0}\\151Y\\223\\RSi\\171\\187\\139c\\135<\\144\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"q\"","tag":"AbiBytesDynamic"},{"contents":"\" \\211\\167#\\137{\\142\\v\\142j?t|r\\235$U\\239\\252\\220g=\\253\\NAKP5\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\210\\198XP}\\NUL\\132\\143,\\155^\\FS9C\\233\\155(@\\204\\EOT?<\\147\\197\\166\\&7\\\"()z\"","tag":"AbiBytesDynamic"},{"contents":"\"X*W\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\156;\\212\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\gnV=i\\RS\\204\\190\\129l\\188\\207st\\210\\170\\252\\223M\\228a\\135\\238\\187\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\201\\b\\143\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"o#\\220\\214\\200\\196\\234\\235\\RSs\\207Jy\\212\\f\\177\\174+8\\227B\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\255\\169\\&7xb\\171.\\146\\166\\ENQ\\167\\133\\\"D\\204s\\238\\228\\241\\&9\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\245\\147\\134?\\129\\nt\\182\\143\\223\\134`\\245\\185Z\\243\\185\\138\\218k\\237\\181Bv\\251\\142\\GS]\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\150\\225\\162J\\199\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQW\\242\\168w\\171N\\149\\&7\\154\\&1\\ETB\\195\\141\\152O\\ESC\\212\\&4J\\249&\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\142\\182\\175\\187n\\183\\tV\\151\\214\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\133\\180dGo\\226\\fT\\RS&\\FS\\DC2\\226\\146\\144G<\\175\\253\\255j\\bx]\\r\\150Y\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\254\\230\\b\\242=A\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"UC\\213D\\178|m\\219\\150\\129:*\\137\\244\\bA\\150%z\\140I\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\ENQ\\214\\218e\\137)\\n\\249:;l\\178\\251\\172\\222\\SO\\222@\\r[\\231\\137\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"!A\\251\\183\\211\\207I\\254\\244L\\210\\200;\\247\\195\\EM\\193f7\\233\\EM\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215}\\ENQ\\190\\131\\210\\&0\\SI\\EM\\235\\205|V&\\168*\\v\\174pex(\\160\\222\\217\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\215\\217\\220X%\\SI\\254L\\DC4\\136,\\243Z\\251@\\140I\\163\\DC4\\239\\ACK>7\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\212\\216\\218\\143\\206\\&8p\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"y~\\165zB\\175\\150\\\"\\143\\235L)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211+(\\DC4\\t\\248\\196\\199,\\220=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195,\\229\\188wW\\177\\248&\\ESC`\\239,\\255\\n\\193\\n\\DC2\\220L\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\252U\\166%oR\\207\\210\\FS\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\DC3\\250_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\157\\&6\\207\\218\\172\\254OM\\139\\&7}\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\SO}\\142\\215\\201H\\183yz+9xh\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"#X\\\\\\224\\195\\SYN,]\\133s\\171\\ETB\\157G\\135[\\227\\254\\217J\\211\\ACK\\DC2\\NUL\\155\\&4N\\203\\234z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\210\\194\\&9<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\234H\\137\\254b\\EMW\\139F\\184\\164\\178\\EM\\ENQp\\224\\188\\208\\208\\152;\\144\\ETXd\\211M\\DEL\\215r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\245\\249\\&6&Bdt(\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\224\\195[\\t\\140\\179\\156\\162=\\US\\190l\\DC3`Yx\\170#\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\170\\215\\134\\&9\\146\\220(pT\\172\\150\\n\\139\\164\\148K\\181\\208[\\136io\\226\\197\\214\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\190c\\218\\134Z\\f\\239\\173\\203d7\\158\\143\\ETX\\190t@\\SYN9ht\\213\\SO-\\v\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\208\\226\\159[\\188\\194\\181|\"","tag":"AbiBytesDynamic"},{"contents":"\"26\\207\\236\\229u\\148\\205\\212\\203\\171\\184;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\199\\ETX\\148\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\245\\164\\255R@\\143\\226Nx\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252<\\\"\\194=\\199\\157T\\203d\\DLEU\\DEL_\\\\\\SYN\\247\\230\\240\\245;\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\a\\210\\DC3M\\235\\247.B\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"VK\\SYN|=q\\240\\247\\238\\160\\163\\146\\SUB\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\ACK\\140\\246\\135\\&3\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\253\\&8\\175\\194\\227\\158\\205\\147\\\\^EyL:BG\\239So7\\226_*lUr\\199^\"","tag":"AbiBytesDynamic"},{"contents":"\"b[\\199g\\234\\219rb<\\RS\\t,\\237\\180u\\215\\147\\241\\233\\172\\187\\SOH\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\RS\\147\\t$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\162\\179\\193\\187\\145\\SO\\219g\\195\\163\\135\\n\\154\\225\\251\\SUBjM\\143\\223\\186\\r\\249\\174\\182\\&3\\137\\227\\190\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\201\\223n\\129'C+\\158s\\130\\SO\\CAN\\233;6\\195\\153-\\DLE\\170u%\\156\\v*\\241\\132\\243\\175\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"dU\\201\\204pW\\167\\134\\203\\177\\226F{4&\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\187\\SYN\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\246\\152\\238:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\US\\245\\244\\ETB\\170\\194\\226=\\214\\192\\230*/\\195\"","tag":"AbiBytesDynamic"},{"contents":"\" \\235\\235\\192\\&3a\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\199\\198\\STX~\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\&3\\EMfO\\184\\166\\235K\\169g+\\174E\\249\\240C\\t\\208\\EM\\141\\250\\128MoA\\\"\\236i\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\239nK\\173=\\128p\\a\\128\\194\\\"yv\\231\\154\\222\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DC2|\\253\\175G\\138|\\153]\\134\\131\\212\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"d`\\246\\&4W\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\152\\212\\148H\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\DEL\\250\\FS\\198D\\132?7Hd\\204\\173b\\bS\\254:FI\\r\\247h\\153Ap\\217\\242I\\207\\232c\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\164\\SO\\204\\CANz\\176\\b\\152\\136\\STX\\ESC\\139\\166\\DLE\\182BmtC\\249\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"^Jk\\211\\215\\226p\\139@\\129Q,@\\STX\\173~r\\223\\&6x(\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\DC1\\223\\134\\132\\ACK\\244\\ACK\\130]q\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\201\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"<J\\203\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201-\\US\\237\\b^A\\153\\232DJ\\DC1\\207\\t\\n\\NAKb\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\&3\\153\\DC2\\214o\\210\\241\\181\\134\\215\\132\\ENQ\\r\\163\\198mvn\\195\\185\\177\\f\\178\\SUB\\194|\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\DC2\\129\\214K\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149n\\225sK0\\152\\225\\137Q\\160\\156\\154\\165\\166*\\\"\\188\\&2\\142\\f~\\r\\GS%X\\142\\226\\192\\&9\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\243\\ESC\\243\\131;|g\\189\\210\\DEL-_\\223\\178\\216.\\184\\204\\185\\232\\STX5\\166\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\218\\205~\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"SW\\129\\RS\\219;\\202\\154\\142\\240\\159[r\\244\\194\\156s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\252&\\143\\176(2\\251J\\164\\177W\\229`N\\184\\222\\217\\150T\\234\\176\\DC4d\\US\\205;x\\GS6\\251H\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\&5\\250\\245=\\139z\\242\\230\\153\\&8/x\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\145\\240\\CAN\\ACK!\\162\\&6#u'\\aMl\\ESC@\\SUB\\255\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\151\\EM\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\156|\\243\\173U\\227\\199{$y\\145VD?\\188\\169u\\162\\231?\\201\\150I\\NUL'8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\144\\132\\185:\\201\\189R\\a;\\171\\249\\199-_\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"Q=\\EM4\\217\\184\\244\\237\\128\\199#]\\r\\RS\\133\\164=\\ESCb\\197\\151\\&9\\214\\159\\242\\143o\\147MkT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\137\\ESC\\DC2\\205\\EM\\164\\206An\\\\eR\\212\\223e3\\DEL\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\NAKpn\\128\\134\\169v\\231\\231{\\STX3\\202]O(\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SUB\\249\\207\\159\\205\\&8\\251W\\243\\SUB\\179\\CAN\\148\\209\\\\\\185\\136A\\211\\150\\fMv\\169F\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223;Yb\\ENQ\\166\\ENQc\\129\\EMB\\138\\NUL\\161f\\205\\167\\188\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\182\\&8u\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\218S/VP\\172\\131\\153\\NUL\\255$\\SYN\\184\\131\\246\\244\\&7\\253w\\170#/Y\\206\\183\\241\\187\\b{h\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\143E\\ETBw5\\217P\\204h\\RS \\STX\\DC1A|\\244Z\\160\\169\\227\\150d\\165q/\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\216L\\214O\\179\\142&\\149k\\200\\147\\173\\195\\176br\\CAN\\208\\165\\193\\148B\\218\\207\\205A\\215\\&77\\174\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\208\\145\\SOH\\f\\ACK\\178\\EOTZ'\\237\\250\\184\\RSC\\253J\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\231\\204;t\\166B\\191\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\NAK\\195\\149T4\\210#m\\169\\159\\231\\SI\\137]\\252\\219Cxw\\211xA\\188\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"JY1\\249\\183\\222\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\149;)\\180\\206\\218\\USY\\137\\198\\243X\\228`O\\148R\\199\\225W\\183\\163\\ETBnO\\142\\ETX\\250\\179\\193_\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\247\\152\\133B\\DC3\\239\\131/@D\\az\\138z\\239\\208\\ESC\\250E\\NAK\\251~\\145\\135\\218\\154\\137R\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\194\\197>C\\189\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\ETX\\178j\\187\\SYN\\188Dl\\137\\DEL\\167\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\230\\191'\\a\\220%\\166Z\\NULM\\241mP\\SYN\\234\\NAK\\146J\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\133W$\\219\\&3\\ENQ\\154\\246k\\133\\213\\253Og#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\183\\224\\186\\244!-\\225-\\132\\&1\\128\\148\\238\\137K\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141e\\254K\\SI\\207\\173<\\131\\175\\&7\\235\\b<>\\153\\&6\\231\\239\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\nb\\155ua\\fN\\200\\144\\139\\207\\225\\132\\168MJE \\215\\SYN,\\138\\213\\184\\136\\134\\DC1\\241o-\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\189\\168\\251\\ACK\\170\\245\\132\\218\\r\\243\\188\\133*\\a\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\148\\237\\GS\\239zj\\\\\\v\\188\\154\\152\\226b\\192\\235\\242?x\\225\\SO\\208D\\NAKY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226Q/\\184\\152\\216U\\202\\193\\203\\137\\192\\163\\192\\146\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\224a\\161K\\147\\\\\\169\\\"\\202K\\186\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQu\\176T\\177\\NUL\\183?\\CAN\\224AJb\\234\\197\\180\\SOH\\SI\\209i\\132\\242\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247j\\201\\219\\149\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"]z\\149\\237\\228\\163$\\DELSJ\\\"y?s\\199\\128\\178\\&8\\a\\152\\177\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198-3G\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\129\\EOT\\v]~Wl3H\\179\\ACK\\tr_d\\164\\185\\230\\230\\SYN!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\219\\190G\\141\\134\\143\\188D\\166Dm\\a tw\\227\\191\\132+\\228\\238\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\184\\ACKO\\vN\\244\\136\\&4\\175LD%\\210\\201\\157\\184\\206\\138\\228gjg\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\247\\193\\a\\227\\US\\142^]\\143\\252\\t\\172\\164\\244\\229\\247\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\165\\179\\152\\211@*\\ENQ\\r\\183%z\\243\\186\\166\\132:\\171\\&2\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\NUL3\\ETX\\161\\223\\187\\&2\\155\\177h\\250\\206h\\182\\DEL.\\155\\DC36\\180\\190\\152\\179\\207\\227\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204d\\DC2\\EOTX\\a\\136\\245c\\149b:\\222\\206\\212A@\\230\\&7X|\\244oW\\130\\187\\245;\\226v`\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\ETB\\EOTE\\157\\a.\\219\\200pj\\167O\\148\\136\\203\\189\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\";R\\250\\208c3\\233\\205\\255I\\206\\SUB\\172\\150\\172_\\174\\&2\\SOH\\215\\129P*\\182'\\228\\135|\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\147W\\\"\\163\\\\&\\DC3\\194^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\135\\189\\SO\\173^\\SYN[ck\\226\\255K\\162L\\SOH\\255\\170qs\\218\\161\\215>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\144\\198\\146\\243\\245p,Z%\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\240\\216?\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\">e\\171\\ENQ\\129\\163\\179\\231\\172f\\SYN\\176p|\\248\\v1V4\\241\\198\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK`V\\232\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134H\\160\\194LW\\183\\147\\210\\249\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\184=\\177\\151\\128:\\SYN\\155\\b%B\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\145\\245\\167\\238\\176\\203\\DC2\\133\\230\\a\\201\\196\\159P\\176H\\209\\&1^1.\\182\\151\\232d\\v\\208:v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\ACK\\141T\\242}\\204\\133\\207\\143\\246\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\132\\200\\213\\a\\DC2\\ACK?\\STXP$d\\186|\\184\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\\\\\146RZ\\138o\"","tag":"AbiBytesDynamic"},{"contents":"\"O.\\251\\SIk]G\\218\\221\\159\\204\\150\\179\\162\\fX\\159bq\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\128w4r\\NAKL\\221\\208\\&9D\\136\\\\\\215\\NAK\\253\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r0\\169\\201^\\235\\181\\DLEV\\237\\142X\\188}\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215K\\209G\\169\\172\\176 \\170\\146\\137\\&2\\196>E\\249Ay/v?\\ETB\\\\\\166\\SUB\\250\\244\\193\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232$\\251\\173\\DLE\\DC20\\191:\\168\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"27360734983828360244112381133391434370103827421101920272923692496788003680866"],"tag":"AbiUInt"},{"contents":[256,"71747587578821806447549728547471117717524565238377581506018218847524611873090"],"tag":"AbiUInt"},{"contents":[256,"74844374206646784089787975799281901243750756115597346211906017018761379154429"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"281669459764195493584687196743770132392"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639819"],"tag":"AbiUInt"},{"contents":[256,"196"],"tag":"AbiUInt"},{"contents":[256,"663"],"tag":"AbiUInt"},{"contents":[256,"558456"],"tag":"AbiUInt"},{"contents":[256,"99999997"],"tag":"AbiUInt"},{"contents":[256,"72974075043644414403846812618789660131946474000293421284526953509640514332988"],"tag":"AbiUInt"},{"contents":[256,"61"],"tag":"AbiUInt"},{"contents":[256,"20328689544351188228659652128566159284346487924256108299404233675063877056149"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747171"],"tag":"AbiUInt"},{"contents":[256,"1528319321"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"70461733127227922705273489499843193307318435547186133676262896969020808491843"],"tag":"AbiUInt"},{"contents":[256,"121"],"tag":"AbiUInt"},{"contents":[256,"75313132159903697431218847350775135479424032692689000272765092254216347939783"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507328"],"tag":"AbiUInt"},{"contents":[256,"41323259533032156884046348510639683353522569021277959736702045109942764329413"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577603"],"tag":"AbiUInt"},{"contents":[256,"60109645593829676200094961881199247397518000863925265513487115900966653807032"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639928"],"tag":"AbiUInt"},{"contents":[256,"1537115683"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639849"],"tag":"AbiUInt"},{"contents":[256,"61766700396008000528149159826633128072080477442970638707686156549211738602399"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"9998"],"tag":"AbiUInt"},{"contents":[256,"180621554590222087420684609611320214378510664483712680857089634950361660"],"tag":"AbiUInt"},{"contents":[256,"54702001958376119302037172843569563943003928915694415880629002280333686572036"],"tag":"AbiUInt"},{"contents":[256,"84268188589422776998803449921044333094521299794908046885252527519519565516280"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"12646552502584835529418547917865208497532943497712471940640188149774400614831"],"tag":"AbiUInt"},{"contents":[256,"77490807638012390250855157276692010219447721719260844173718831314710829253876"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639889"],"tag":"AbiUInt"},{"contents":[256,"110871457306591245186212271274419974014885082854842666117189565562460090782861"],"tag":"AbiUInt"},{"contents":[256,"906"],"tag":"AbiUInt"},{"contents":[256,"906"],"tag":"AbiUInt"},{"contents":[256,"906"],"tag":"AbiUInt"},{"contents":[256,"906"],"tag":"AbiUInt"},{"contents":[256,"906"],"tag":"AbiUInt"},{"contents":[256,"906"],"tag":"AbiUInt"},{"contents":[256,"906"],"tag":"AbiUInt"},{"contents":[256,"906"],"tag":"AbiUInt"},{"contents":[256,"906"],"tag":"AbiUInt"},{"contents":[256,"906"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132607"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639843"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1199070792920528941374356015281"],"tag":"AbiUInt"},{"contents":[256,"105899183930801174873937227935401665559680122345084232226482786571599791132355"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639915"],"tag":"AbiUInt"},{"contents":[256,"15421888591924232767266251101034460285604238250902008561905973011742985258553"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639864"],"tag":"AbiUInt"},{"contents":[256,"1525678377"],"tag":"AbiUInt"},{"contents":[256,"1528281893"],"tag":"AbiUInt"},{"contents":[256,"1530645176"],"tag":"AbiUInt"},{"contents":[256,"1283787661697372201330621184713699907314"],"tag":"AbiUInt"},{"contents":[256,"56950580594564180099409442600387367057549778462241698557935908147574474205264"],"tag":"AbiUInt"},{"contents":[256,"526"],"tag":"AbiUInt"},{"contents":[256,"25531787429206832825340625"],"tag":"AbiUInt"},{"contents":[256,"49469631150294614075000572318969390775780661560183453905180008753499376288826"],"tag":"AbiUInt"},{"contents":[256,"61763272098201267369140663746966801196729802028112223444505773238208275950492"],"tag":"AbiUInt"},{"contents":[256,"86504781706801267946239579450758201824765194752106028693563558644402639164811"],"tag":"AbiUInt"},{"contents":[256,"81588985181392857415173391898697345708875912550998499909503203688485311533545"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"60995176203734383583882819626683503991001517624353006993314221819567611108552"],"tag":"AbiUInt"},{"contents":[256,"673"],"tag":"AbiUInt"},{"contents":[256,"54768461740391757154057690136111716126171269064778419426614940488353976913242"],"tag":"AbiUInt"},{"contents":[256,"16"],"tag":"AbiUInt"},{"contents":[256,"11540167587"],"tag":"AbiUInt"},{"contents":[256,"1526854088"],"tag":"AbiUInt"},{"contents":[256,"84876067531919284804832261239657019943549533352562928650310260141615585487917"],"tag":"AbiUInt"},{"contents":[256,"108861964818513255971904307255371842834076737684257674817107017330789114171671"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"83280650208349637235796710700987422600035472006250497876300041467815036378848"],"tag":"AbiUInt"},{"contents":[256,"9532639968878954528872470998706612472013178397479823324557271807811475083554"],"tag":"AbiUInt"},{"contents":[256,"3985856040696837663421832231478490809850800954951019371286145843025304797135"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"112704801244436625355363417066292882157788572517036340962019646192536688555537"],"tag":"AbiUInt"},{"contents":[256,"2002"],"tag":"AbiUInt"},{"contents":[256,"103"],"tag":"AbiUInt"},{"contents":[256,"44858990935471167399177377771743622970616163852519645185119072903316131747402"],"tag":"AbiUInt"},{"contents":[256,"23855328372985996768599077521505363797046450257868202220319181017682236515929"],"tag":"AbiUInt"},{"contents":[256,"65864928948687637372653813612763374053999501728019026642817046693175274323107"],"tag":"AbiUInt"},{"contents":[256,"36320065"],"tag":"AbiUInt"},{"contents":[256,"62265999637628497918984947772387977301622965590550922064816370384508964989326"],"tag":"AbiUInt"},{"contents":[256,"1528790594"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"107436998849594687522075359841519767503423247452960052482124644408666858435430"],"tag":"AbiUInt"},{"contents":[256,"23257442225058055190836747363041541276693850700107801508902001504240110451089"],"tag":"AbiUInt"},{"contents":[256,"85961304618754442854062043091141964154121358125421260970360102483055850725871"],"tag":"AbiUInt"},{"contents":[256,"62326852478928544747807195158323309747768603740269680413912852648451877686342"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507330"],"tag":"AbiUInt"},{"contents":[256,"78370789134085392900757961672174109227796245296233262178008512202876995978710"],"tag":"AbiUInt"},{"contents":[256,"1141"],"tag":"AbiUInt"},{"contents":[256,"65024093917468736798142112396464811459259578621474770367232984979483099201980"],"tag":"AbiUInt"},{"contents":[256,"864"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428161"],"tag":"AbiUInt"},{"contents":[256,"26827573660917702270498038877701775329021441841514465151915429581524225733745"],"tag":"AbiUInt"},{"contents":[256,"21471435716164335330626785344281495254386842612414759932780895695410889154825"],"tag":"AbiUInt"},{"contents":[256,"1534832283"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731851"],"tag":"AbiUInt"},{"contents":[256,"44837389100167103515127388112515859579191217639339640099511737853427652437141"],"tag":"AbiUInt"},{"contents":[256,"591"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"61316139340581213261620223779742462161780708828635370201023795535169119701854"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639928"],"tag":"AbiUInt"},{"contents":[256,"23727276778751130323843675332229566450289626932022532909196724648465767875157"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892767"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dbaa","0x000000000000000000000000000000000000000000000000000000000000448f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639707"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f9d","0x00000000000000000000000000000000000000000000000000000000000005fc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"389"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000475","0x0000000000000000000000000000000000000000000000000000000000000009"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":[128,"270566360867051767271232235282561343853"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000a4","0x000000000000000000000000000000000000000000000000000000000000129e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"4195870238831871337428798010244479865045392380849279924696047122491302224687"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214c8","0x0000000000000000000000000000000000000000000000000000000000001390"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4d","0x000000000000000000000000000000000000000000000000000000000000134a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000040","0x000000000000000000000000000000000000000000000000000000000000136a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"18446744073709551618"],"tag":"AbiUInt"},{"contents":[256,"35800928368957893610539278041763029755517369268671812290645833060102513389103"],"tag":"AbiUInt"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003f422","0x00000000000000000000000000000000000000000000000000000000000001a7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":[256,"72184151476047943671771548261707237478024234168295992205531103675628345018544"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000024169","0x0000000000000000000000000000000000000000000000000000000000001339"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000048a23","0x0000000000000000000000000000000000000000000000000000000000007b32"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"74041089066950657035939323931618261928858665031318238651068631229458416679979"],"tag":"AbiUInt"},{"contents":[256,"78817268925284326848230127036944315092645605938238947817968084794249264798372"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001d71a","0x0000000000000000000000000000000000000000000000000000000000005386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"15"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000008","0x0000000000000000000000000000000000000000000000000000000000000381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x00000000000000000000000000000000000000000000000014b0fb912d42b793"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"33022869518050940923507441901338303163851747119226291875791128642671785785007"],"tag":"AbiUInt"},{"contents":[256,"95659257865061161300131741387774064197124939221818772838445115695575638126970"],"tag":"AbiUInt"},{"contents":[256,"1525159605"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"39995887920583082457071034862090534243249231551678085878069088293180249152201"],"tag":"AbiUInt"},{"contents":[256,"23714380112072881327932922"],"tag":"AbiUInt"},{"contents":[256,"66058891369162498516831973798063048770858523155174014401064928367530117687571"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ca28","0x000000000000000000000000000000000000000000000000000000000000231f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"4136324881159977827328728273061849629"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000d","0x0000000000000000000000000000000000000000000000000000000000001379"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"1\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\196\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008dcad","0x000000000000000000000000000000000000000000000000000000000000d118"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639886"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000002f8","0x0000000000000000000000000000000000000000000000000000000000005386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":[256,"107142837436470866722189512636148388396744305523828187307480320179946526567521"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077ad0","0x000000000000000000000000000000000000000000000000000000000000d56b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"179"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000120a6","0x0000000000000000000000000000000000000000000000000000000000001362"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000026131","0x00000000000000000000000000000000000000000000000000000000000060fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"1533333467"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a51b","0x0000000000000000000000000000000000000000000000000000000000006148"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x8324ADfC37e4Ce6B24a34Ced4A13faadbd59Ca97","tag":"AbiAddress"},{"contents":[256,"1537246865"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075009","0x0000000000000000000000000000000000000000000000000000000000000e11"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001f","0x000000000000000000000000000000000000000000000000000000000000e8ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"46424556561727795184286657045488064269049795224153987374505074633573743481107"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c042","0x0000000000000000000000000000000000000000000000000000000000007841"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"174"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045b62","0x000000000000000000000000000000000000000000000000000000000000bddc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"989286061483830908491318508578467720220517621778631322392298750095497198432"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001a1c5","0x0000000000000000000000000000000000000000000000000000000000001c5d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"56483902922303533897130634435013268585348111707542413209758315925561896168906"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000804a4","0x0000000000000000000000000000000000000000000000000000000000004ed1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"31564881866250212386740547236356784505574666351050049433392684667750777352214"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000090016","0x0000000000000000000000000000000000000000000000000000000000005ea6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"17"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eade","0x0000000000000000000000000000000000000000000000000000000000000fb6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e3","0x00000000000000000000000000000000000000000000000000000000000013ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"254"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ba1e","0x0000000000000000000000000000000000000000000000000000000000000271"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":[256,"102181985296968437612590791264011526038947057088403852667036776253965644167321"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002b4f5","0x0000000000000000000000000000000000000000000000000000000000001cd8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"200"],"tag":"AbiUInt"},{"contents":[256,"19489899340466260635600627687639994571339572914482779609570498296067826459760"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002592","0x000000000000000000000000000000000000000000000000000000000000300f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"1\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c439","0x000000000000000000000000000000000000000000000000000000000000105b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"162"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000027","0x000000000000000000000000000000000000000000000000000000000000101c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":[256,"76322519509719216687466571930098783549824852812971340414309708831630155633108"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e1ce","0x0000000000000000000000000000000000000000000000000000000000007405"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000271","0x0000000000000000000000000000000000000000000000000000000000000021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"1000000000000000000000001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c9","0x0000000000000000000000000000000000000000000000000000000000000049"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setFulfilledDifference",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000866f2","0x00000000000000000000000000000000000000000000000000000000000086e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"Error(string)\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc11","0x000000000000000000000000000000000000000000000000000000000000ba14"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"24553610001650425295875123122914195398829311359411457862189432965095354339443"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008606e","0x000000000000000000000000000000000000000000000000000000000000e059"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"1997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb41","0x0000000000000000000000000000000000000000000000000000000000008ec6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e8","0x00000000000000000000000000000000000000000000000000000000000074ae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000818db","0x0000000000000000000000000000000000000000000000000000000000001b69"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639634"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007de52","0x0000000000000000000000000000000000000000000000000000000000001367"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000a7","0x0000000000000000000000000000000000000000000000000000000000001382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"27836222895129089659652361174964497776064073648613791049651982638483852746945"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000009912","0x00000000000000000000000000000000000000000000000000000000000012a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075d82","0x000000000000000000000000000000000000000000000000000000000000755d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"1530977294"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052404","0x0000000000000000000000000000000000000000000000000000000000008ae8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002a14b","0x0000000000000000000000000000000000000000000000000000000000000d66"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"2534658154691259302914230105558932913462437519809413178484762942953980138161"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba5","0x0000000000000000000000000000000000000000000000000000000000000233"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000020a51","0x000000000000000000000000000000000000000000000000000000000000a8e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"42854300099480183484717186907890193252417287389884723262881613365143130070141"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093073","0x0000000000000000000000000000000000000000000000000000000000001329"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"1528028095"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000102","0x00000000000000000000000000000000000000000000000000000000000090d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052be8","0x0000000000000000000000000000000000000000000000000000000000000275"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"8999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000049f18","0x0000000000000000000000000000000000000000000000000000000000001380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"114014899765668424308367988554055837596448150193544562918029655928107278606509"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e8","0x0000000000000000000000000000000000000000000000000000000000002a71"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000090ba4","0x000000000000000000000000000000000000000000000000000000000000b44a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"30428850994109083417253462405279073114212908866781054176337620635293818503646"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003ea","0x000000000000000000000000000000000000000000000000000000000000d8cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"14560777589300129935592471371554705075715376975670674519488532975693986876910"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005797c","0x0000000000000000000000000000000000000000000000000000000000004ba1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b726","0x0000000000000000000000000000000000000000000000000000000000003ace"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"38547229732177801608405485994280700639100870389455926677797610108655777218911"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000710f3","0x00000000000000000000000000000000000000000000000000000000000022ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"81621084920389870146303140041745186104899942083666167875653977018"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d852","0x000000000000000000000000000000000000000000000000000000000000be19"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"1529014183"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002514f","0x0000000000000000000000000000000000000000000000000000000000007fa0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007a22","0x000000000000000000000000000000000000000000000000000000000000027c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006eedb","0x0000000000000000000000000000000000000000000000000000000000009ac6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"11736115775059198741218297513333805421186292730021743700401616282262670573495"],"tag":"AbiUInt"},{"contents":[256,"465"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000028fc1","0x000000000000000000000000000000000000000000000000000000000000138a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0a","0x0000000000000000000000000000000000000000000000000000000000009e94"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"52566557087623771568063385543046142343628776551327831945591242339906898574651"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004bd56","0x000000000000000000000000000000000000000000000000000000000000d8cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e5","0x0000000000000000000000000000000000000000000000000000000000005dbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"27346138569388939857879690329375934243742244893111352152052910928847906685852"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e3","0x0000000000000000000000000000000000000000000000000000000000000382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003cfd","0x0000000000000000000000000000000000000000000000000000000000006cc1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008c1ba","0x00000000000000000000000000000000000000000000000000000000000035d9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\CAN\\185E\\150(LB\\DC3\\244?\\209\\195\\146\\222EUD\\173\\208\\177a\\EM\\187i\\203\\189\\EOT\\231!\\238~d\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81d","0x000000000000000000000000000000000000000000000000000000000000b258"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":[128,"335235356155936536627789287833027605262"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000015","0x0000000000000000000000000000000000000000000000000000000000001367"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000057f08","0x00000000000000000000000000000000000000000000000000000000000002ef"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"11412381861227013739531281"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec3","0x000000000000000000000000000000000000000000000000000000000000e347"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000348","0x0000000000000000000000000000000000000000000000000000000000001668"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"77845224789425247699814247989190835325709822583149323528173117813611222149884"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008472b","0x00000000000000000000000000000000000000000000000000000000000022a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"EIP712:\\NULUninitialized\\NUL\\NUL \\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000103ef","0x000000000000000000000000000000000000000000000000000000000000270f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]