[{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"43989933816547961803274752487351911302917391922057932969252569782275487600752"],"tag":"AbiUInt"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81b","0x0000000000000000000000000000000000000000000000000000000000000034"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084279","0x0000000000000000000000000000000000000000000000000000000000007118"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222592"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000058401","0x0000000000000000000000000000000000000000000000000000000000004b9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"234"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab50","0x0000000000000000000000000000000000000000000000000000000000002c58"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\164*\\DC3\\DC1Oo+\\196a\\RS\\SI(a?\\\"M\\160\\DELa\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\174\\131\\142~E\\200\\228\\204\\224`\\166\\t~\\SOHAe\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n!\\145\\220\\186\\SOH\\171*K\\143\\ETB\\NUL\\250O\\DC2\\ETX=Q\\223\\172\\ACK\\170\\192v\\228>Z\\140#\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"V}\\223Qj\\232\\200U\\246\\ETX4\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\ACK\\211\\153\\159\\ESC\\133 N\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223~\\SOH\\239y\\140&\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1000"],"tag":"AbiUInt"},{"contents":[256,"8591374256542996723182622843359907879310046626296262092404617122461939130812"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639867"],"tag":"AbiUInt"},{"contents":[256,"17491358288859788679868994028035544760418478556769341552225186132512242012371"],"tag":"AbiUInt"},{"contents":[256,"17033884580297990679500526636269339137531335057195529300168847901931457721296"],"tag":"AbiUInt"},{"contents":[256,"95"],"tag":"AbiUInt"},{"contents":[256,"834"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639935"],"tag":"AbiUInt"},{"contents":[256,"890478663422825029175572601650458464802136049385072815735879514307404231811"],"tag":"AbiUInt"},{"contents":[256,"86402"],"tag":"AbiUInt"},{"contents":[256,"22361373369882497343658683475736808266247791832286872238319555814126398362051"],"tag":"AbiUInt"},{"contents":[256,"89974806001509696798864772261122771155144113564203004374198331520914332180965"],"tag":"AbiUInt"},{"contents":[256,"21835538478909902558098949397948990193061949644816272928624792325184445914928"],"tag":"AbiUInt"},{"contents":[256,"9977442480921649937040464970772736"],"tag":"AbiUInt"},{"contents":[256,"33"],"tag":"AbiUInt"},{"contents":[256,"3987812953689758929097511224841137331449704303125890329246471976243621798458"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"123324558400469383770199541"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"contents":32,"tag":"AbiBytesType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"\\DC3f\\\\\\196\\140:5ZYlXP\\EM4L\\129~V64Z\\190\\237\\180\\152\\168\\247\\SOe\\RS\\128\\187\""],"tag":"AbiBytes"},{"contents":[32,"\"SUPER_ASSET_FACTORY\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"\\SI\\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"},{"contents":[32,"\"h\\216\\213\\154\\&9>\\189\\162G\\129\\216\\217\\&79\\135\\SIoT\\175h\\199\\158{\\192\\199\\250\\156\\178\\139I\\190\\SI\""],"tag":"AbiBytes"},{"contents":[32,"\"toAddress_outOfBounds\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"A normal Revert\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\137g\\158\\EM\\215\\219\\164\\206(\\DC2\\252\\216_\\191)xt\\207\\161+\\177\\145\\189\\172\\200uDQ\\140\\238M\\134\""],"tag":"AbiBytes"},{"contents":[32,"\"h\\v\\t2T\\222\\204Z4\\ESC\\EM\\190\\136F\\254\\189r\\b\\246W7\\176\\&6P\\221\\v;\\146\\169\\193\\255\\168\""],"tag":"AbiBytes"},{"contents":[32,"\"m\\SOH8\\142\\142\\168\\211~y\\214\\180\\150\\203\\FS\\233\\231\\201\\SI\\227\\168\\133\\193\\DEL+\\183D3\\230\\FS\\247\\134\\&1\""],"tag":"AbiBytes"},{"contents":[32,"\"s\\183\\195\\168n\\184\\n_\\245U\\\"T\\254\\&2\\247q\\235\\182\\150\\177\\220\\&3X\\197\\174\\149\\133\\&2\\236!^E\""],"tag":"AbiBytes"},{"contents":[32,"\"8\\145\\173J3\\166%\\128\\RS\\177\\155\\247\\191\\&0y\\r\\251\\SYNT\\131\\232\\DC4\\145\\214Ud\\SOHlKb\\186\\186\""],"tag":"AbiBytes"},{"contents":[32,"\"AVERAGE_PROVIDER\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"toUint256_outOfBounds\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"GWEI_QUOTE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\a\\204\\178V39J\\SUB\\133\\253\\255T\\SOFS\\142\\fswz\\132\\&6,]QL\\149\\241d\\ETX\\130T\""],"tag":"AbiBytes"},{"contents":[32,"\"\\NUL\\133~\\253\\232\\227g\\159w\\192wI\\143l\\ENQ\\173\\179\\ETB\\160\\ACK\\148\\133\\254\\ACK\\255\\255\\144\\193\\n\\178\\182\\171\""],"tag":"AbiBytes"},{"contents":[32,"\"GWEI_QUOTE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"Ud\\ETX\\ETB\\DC4\\162KNq\\138\\ENQ\\USSd\\184c\\DEL\\130\\164?7d?\\151\\216\\EOT\\250\\166A\\190\\DC4\\168\""],"tag":"AbiBytes"},{"contents":[32,"\"I\\237Sw\\226:%1\\220\\EOT-\\RS\\164Jx\\211\\&9^\\154\\231`\\167\\SOH\\225:\\131\\202T\\STX\\173aN\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"toUint256_outOfBounds\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"BANK_MANAGER_ROLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"Not authorized\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\NUL\\SYN\\138\\165\\230\\155\\255\\166\\229\\203\\158\\187\\149\\USpy\\a\\140\\232\\&3\\249\\203\\191\\SI\\197\\143\\b\\DC1?\\230\\172\\137\""],"tag":"AbiBytes"},{"contents":[32,"\"GAS_QUOTE\\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"},{"contents":[32,"\"SY5115\\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"},{"contents":[32,"\"\\201\\241\\179\\142(\\196\\&6\\FS\\ACK\\140\\228\\251\\161\\237\\243\\182|-\\172\\DC4\\148\\247\\139\\198\\RS\\216}qDs\\225\\197\""],"tag":"AbiBytes"},{"contents":[32,"\"\\GS\\170EE\\DEL\\168\\EOT\\242\\206E\\138\\205\\208\\&88b*\\169\\DC2\\130\\DC1%\\231V\\215Y\\ETXL\\240\\253\\&2_\""],"tag":"AbiBytes"},{"contents":[32,"\"\\SOHX\\128<\\154\\&0\\195\\169\\173v\\140+Y\\139\\239YC-\\167\\&24/\\224\\175k\\150\\195\\136\\234\\213\\221\\248\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"?\\147{\\234\\224\\249M\\160\\160w\\130g)\\237\\\"\\189\\148C?)\\174\\206\\185\\226\\RS\\160\\RS\\\"\\131\\232\\SI\\239\""],"tag":"AbiBytes"},{"contents":[32,"\"Invalid request\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"hook.account.context\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"totalShares * pps != totalAssets\""],"tag":"AbiBytes"},{"contents":[32,"\"\\154\\243i\\171rX&\\DLE\\224\\182UG\\241\\150\\128\\\"ll\\235\\150\\202\\210)[e\\172\\239e\\227\\224\\144u\""],"tag":"AbiBytes"},{"contents":[32,"\"Undefined panic code\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"'\\NAK!\\v\\140\\175GI\\142\\f\\195\\230m=\\n~\\182\\142d\\165Z\\158#)\\240\\NAK\\177=Nx\\174\\180\""],"tag":"AbiBytes"},{"contents":[32,"\"%Gk\\198\\164\\214\\173\\184\\249\\RS\\254YR\\238\\179\\203\\228e~\\n\\232\\DC3\\183\\DC1\\246G\\ACK\\247\\152~*\\169\""],"tag":"AbiBytes"},{"contents":[32,"\"v\\130\\247\\194U\\231\\171d\\136F4\\193\\178O\\176M\\DC1;?KCJee,N:\\SOH\\130&~\\GS\""],"tag":"AbiBytes"},{"contents":[32,"\"load(address,bytes32)\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\224Z\\164c\\ETB\\254\\ETXU\\183\\STXg\\209\\221\\NUL\\230u\\255U\\184+\\199\\240\\NAKA<\\211U\\fw\\224\\210\\193\""],"tag":"AbiBytes"},{"contents":[32,"\"\\185\\175\\219\\DLE?\\208\\tzF\\137\\151\\ENQ\\246\\145o\\243\\204#\\196\\218\\164\\144'g\\242_\\156\\230\\194Br\\132\""],"tag":"AbiBytes"},{"contents":[32,"\"\\188\\146t\\b\\nvV}\\220\\163i]\\202\\DC1\\247ex\\236\\244\\161\\202\\227/C\\193z\\EM\\SOH\\SOH|u\\CAN\""],"tag":"AbiBytes"},{"contents":[32,"\"\\CAN\\SOH\\159\\207\\153\\SI\\142\\149\\193]R\\247\\ETX\\177!\\186W1?\\198\\207DL\\t?D1m?\\155\\NAK7\""],"tag":"AbiBytes"},{"contents":[32,"\"\\144\\129\\182\\130\\SI\\172=\\182\\235\\r\\132\\230'\\136>\\187+,\\225\\235Q\\EM\\198?\\152B\\145\\175\\238zG\\239\""],"tag":"AbiBytes"},{"contents":[32,"\"Uv\\201\\222!)\\177<\\139,\\205\\156\\&8\\148\\143\\133\\225\\225\\226\\223\\228* \\210XI]\\146\\151\\217\\149\\132\""],"tag":"AbiBytes"},{"contents":[32,"\"F\\135\\153b(\\194\\131\\ACKp\\172\\216.\\DEL\\177\\255\\210\\224\\196\\134k\\229e\\ETXI7oV\\228\\r\\170\\246n\""],"tag":"AbiBytes"},{"contents":[32,"\"SUPER_ORACLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"P\\144\\n\\251\\223`{\\160m\\228,m\\227\\f\\235\\207\\219\\STX\\215dp\\SO\\r\\CAN\\149\\177\\153\\198\\252\\192F\\ENQ\""],"tag":"AbiBytes"},{"contents":[32,"\"\\229n\\ACK2\\\".9e\\212\\f_\\USe\\232\\DEL\\219b\\232\\241;\\154\\185D/Ol\\207\\165\\181\\145\\146\\240\""],"tag":"AbiBytes"},{"contents":[32,"\"SUPER_ORACLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"BANK_MANAGER_ROLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\229|\\230s\\DEL7?\\RS\\134\\&49\\191CqN\\211\\242\\183\\157\\154\\220\\SO^\\176&u5\\200\\130\\234\\158\\STX\""],"tag":"AbiBytes"},{"contents":[32,"\"\\181\\139|\\157\\240\\144 >\\186\\FST\\249\\198\\155\\SO\\ACK\\f\\155\\240j\\203\\173\\201z\\169\\\"\\146\\&1<\\\\\\FS\\186\""],"tag":"AbiBytes"},{"contents":[32,"\"GAS_MANAGER_ROLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"\\204)\\ETB\\174\\217\\195\\DC3\\170\\131\\128\\EMF\\213?&K\\a\\248\\226\\151\\DC1\\219w\\233\\139\\CAN\\SI\\193\\NULc\\208\\ENQ\""],"tag":"AbiBytes"},{"contents":[32,"\"\\178\\SYN\\129M\\SOs\\246\\249WU\\222\\203\\170\\255\\205r\\205se\\SOH6\\150\\&8h\\222{\\235\\134\\153\\154\\221\\224\""],"tag":"AbiBytes"},{"contents":[32,"\"A normal Revert\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\217\\&08s\\186R\\191(\\NAK)J}z8\\194c\\SI\\130\\148\\200Q\\DC4\\216\\SO\\239\\165\\191\\163$\\ENQ\\215\\161\""],"tag":"AbiBytes"},{"contents":[32,"\"o\\146p(\\237\\188\\ENQQM\\182jG1\\232Q\\241\\153\\152\\219\\241\\251S\\231C\\156\\177\\180)\\240\\230\\ETX\\ACK\""],"tag":"AbiBytes"},{"contents":[32,"\"\\SO\\\"\\b\\226\\142\\219\\209\\194jH\\223\\251IW\\181m\\225\\132q\\150l\\252\\132\\205\\&5\\167\\167\\SOH\\SUB\\DLE\\DC2\\163\""],"tag":"AbiBytes"},{"contents":[32,"\"BANK_MANAGER_ROLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\SI\\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"},{"contents":[32,"\"\\233\\156\\207\\134ZY.gN\\214,o@QR$P/\\137v\\188\\134\\SYN\\200\\&5\\241\\141\\ETB\\165\\237\\245\\200\""],"tag":"AbiBytes"},{"contents":[32,"\"}\\129m:\\236\\216\\&9\\230\\227\\230\\210;\\207B \\167\\SYN\\t\\CANa7\\142\\241\\155\\165,\\225\\ENQ\\196\\171W\\229\""],"tag":"AbiBytes"},{"contents":[32,"\"8\\\"\\162\\168w\\187\\250=\\r\\STX\\244\\195\\&3_\\171\\&7`\\226\\210m\\171D\\v\\179\\SYN\\242\\SI\\131\\v\\247\\197\\244\""],"tag":"AbiBytes"},{"contents":[32,"\"\\237\\235m\\ENQ\\169)5\\130=\\228\\160h\\217\\243\\252\\157\\211\\v?t\\214\\216\\178\\218d)\\131]\\SOHf\\150\\252\""],"tag":"AbiBytes"},{"contents":[32,"\"\\208\\166j\\254\\224v\\186\\150H\\231/Bb\\209\\142wCp7\\161\\US\\174#\\219\\190\\FSgl\\251N,J\""],"tag":"AbiBytes"},{"contents":[32,"\"\\203Xw&\\245\\185\\151T\\STXl;=}\\139\\ETBO\\145\\NULH\\145\\CAN-@\\NUL\\187u\\GSS\\140s\\139\\248\""],"tag":"AbiBytes"},{"contents":[32,"\"TREASURY\\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"},{"contents":[32,"\"\\149\\235\\160\\r\\231\\150\\240\\240~\\209\\171)Q\\v\\ACK\\179\\145s\\159\\242c\\199\\NUL]<V\\227\\224\\150GH\\136\""],"tag":"AbiBytes"},{"contents":[32,"\"3\\FS\\240\\171-B\\242s\\205\\169~\\151\\165\\227(\\181\\202\\NULK\\136i_]\\221\\131\\223\\249\\218?\\211\\150I\""],"tag":"AbiBytes"},{"contents":[32,"\"\\191)\\DC2\\242\\184h\\FS\\STX\\170*\\251\\165\\215\\ENQQ\\156|@$\\222\\221\\152\\193ql2\\175!,\\166\\DC1C\""],"tag":"AbiBytes"},{"contents":[32,"\"!!! shares are lost on transfer\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"SUPER_ASSET_FACTORY\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\a\\SYNqv\\230\\221\\224\\205\\146\\137/_\\243B\\NAK\\171\\DLE\\CAN\\169Q\\211/|u\\150\\229\\187=\\235\\198\\133\\f\""],"tag":"AbiBytes"},{"contents":[32,"\"q\\217d!h\\241\\225\\DC2\\172{\\ENQ\\134\\223\\203$I\\237C\\ETX!fs\\239\\DC1\\175\\189\\208\\CAN^\\DC1^H\""],"tag":"AbiBytes"},{"contents":[32,"\"\\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\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"Undefined panic code\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"#\\151\\210\\EM\\173\\208C\\193q\\206fr\\137J(\\STX\\200b\\245&\\GSa\\166\\177\\198\\166\\162\\195q\\DC1\\231q\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"contents":32,"tag":"AbiBytesType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"contents":32,"tag":"AbiBytesType"},[{"contents":[32,"\"\\244\\&1\\231\\211\\EMf\\141\\213DU\\au\\170\\191\\225\\245\\245`\\CAN}H\\211%\\219\\185\\136\\&7\\162\\&4e3\\174\""],"tag":"AbiBytes"},{"contents":[32,"\"INVALID_SIGNER\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"M7540\\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"},{"contents":[32,"\"SV\\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"},{"contents":[32,"\"AVERAGE_PROVIDER\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\rJ\\217lp\\198\\165`\\141!\\f\\SYNQ\\255\\149\\255\\204\\DC2\\SI\\157\\184\\143\\249\\236\\227\\217\\199W2y\\241\\216\""],"tag":"AbiBytes"},{"contents":[32,"\"\\150a\\192\\238a\\211<I\\157\\183YI\\173\\165\\&0\\179Ea\\162\\SI\\162\\144\\171H\\246u61\\239\\230\\193\\ESC\""],"tag":"AbiBytes"},{"contents":[32,"\"Uvz#\\198\\194:d\\219\\175\\194Y\\131\\248'\\252\\137\\154/%p\\162\\212 \\221\\138o\\a\\242\\255\\188\\157\""],"tag":"AbiBytes"},{"contents":[32,"\"SV\\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"},{"contents":[32,"\"\\185n\\158B%\\149\\217-\\196\\132K\\225\\216\\NAK\\183k\\DC4m\\218.\\255\\168\\189=\\201)\\SO\\180\\188}Tm\""],"tag":"AbiBytes"},{"contents":[32,"\"\\181\\219\\218\\198-U\\203\\US\\USa\\r\\181\\138\\176\\128j_\\168Z0\\174u\\CAN\\183M3\\224Qd\\143.\\212\""],"tag":"AbiBytes"},{"contents":[32,"\"\\219\\164\\166\\136\\164\\193\\254:\\EMa\\251\\167?\\\"\\237\\SOHD\\147nis\\181\\242\\&8\\194\\b\\222]6h\\232\\SYN\""],"tag":"AbiBytes"},{"contents":[32,"\"UP\\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"},{"contents":[32,"\"Invalid percentage\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"HIGH_PPS_DISPERSION\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"\\215\\219\\NAK>\\ETX\\186\\f\\130\\toa\\134\\SI\\ETX\\231Ha\\ac\\178\\137\\236M\\163\\179h\\195\\153\\133n\\198\\237\""],"tag":"AbiBytes"},{"contents":[32,"\"C\\142C]\\193w\\178\\203\\153\\236m<\\NULM#k\\214\\\\\\USaP\\234\\168}P%\\181\\205m~2\\EM\""],"tag":"AbiBytes"},{"contents":[32,"\"\\187\\226\\179X]\\225Y\\194=\\163\\233F\\234\\173\\155\\139\\252\\135a\\247\\166'DI\\190\\152\\184U\\181|S\\NAK\""],"tag":"AbiBytes"},{"contents":[32,"\"GUARDIAN_ROLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"3\\a!\\128Q\\133\\155c^\\185\\253\\142\\210NO\\206\\234H\\133\\DC3T|\\US1\\248+!\\147m\\227XZ\""],"tag":"AbiBytes"},{"contents":[32,"\"toAddress_outOfBounds\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"hook.account.context\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"},{"contents":[32,"\"GUARDIAN_ROLE\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea60","0x0000000000000000000000000000000000000000000000000000000000006b79"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000044e4ab07515d01f62"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":[256,"58160524535380353267099662381211353082538015628965465931123967442953399856766"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf8","0x0000000000000000000000000000000000000000000000000000000000007115"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4f","0x000000000000000000000000000000000000000000000000000000000000231e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"F\\129J\\241\\131\\140\\155\\DC2'\\DLEi\\159\\221\\174\\219\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"=a\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143p\\236\\229>\\171\\179A1%\\175\\\\\\180\\\"\\US\\223\\183b\\DEL5\\232\\165\\203\\211\\178@w\\219\\153\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\235h/\\239!\\GS\\175}\\162\\136\\168a\\208\\252\\143\\184g\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\246\\189\\&8\\169%\\222\\183\\179\\NULE\\220\\188n-\\144\\174\\212\\249\\142t>NJV\\207\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\RS\\128\\a\\\\\\183\\RS\\158\\173\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\166\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DC2\\t\\172\\154\\180\\162\\222\\194\\NUL\\bu\\DC4\\237\\&9\\131$G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164S\\216o\\211dT\\188\\191\\211\\163K\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\198\\160\\163\\136\\224%\\224'\\GSW~\\186\\224p\\225\\173\\202vK\\240ay\\205\\168f\\214\\223\\168\\186\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"Q8\\222e\\194\\151\\ACKAn\\172\\177u\\176\\t\\161sPy\\156\\200\\ESC\\228Z\\252\\207G\\138\\146\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\250)\\209\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\DC2\\DC3\\226\\140T\\212\\139\\DC3%\\138C\\247\\157\\b\\DEL\\SI\\250\\SUB\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\155\\SI\\ESC^S0I\\164ye\\163|?\\215\\SOH\\128J\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\195\\137,o\\v\\254+\\179\\206\\GS\\133\\&1\\248\\186\\DLE\\SI\\165\\155\\\\P\\160`\\246\\244\\148\\169F=\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\179\\176\\253$\\171@\\196J\\RSE\\236n\\179\\NUL\\227\\137\\DELg\\159 rMf\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\245~K\\166\\blf\\133\\175\\171\\175\\211\\242\\149X,\\238z\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r.\\219r\\ENQ\\173\\157.#\\253\\169;\\156\\&1\\US\\DC3C/\\208&\\183gs\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\149.~\\253P\\246\\183^`PWWT\\SYN*EG\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\169\\SUB\\GS\\r)@\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\243\\RS\\SO\\230NKF\\a\\143\\181\\DLE9S\\FS\\160\\144\\247\\245\\212\\223\\238:\\137\\131PP=;\\202\\&0c\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\232\\NUL\\208\\248`\\192P\\238\\&9sx\\133\\DC4A\\238\\184\\\"k\\239\\USN}h\\133\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\206\\192\\165i^e\\153\\247\\\\\\SUB\\t_4\"","tag":"AbiBytesDynamic"},{"contents":"\"6[\\205v\\198%\\196\\172\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\SI\\150\\&2\\217\\131\\182\\209\\&8q\\ESC9#h$^z\\159\\179\\223\\204\\197\\169\\v\\164<9O\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\167\\133\\226\\147h(\\207\\\"GR\\146\\202M \\SOH%\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251I\\181\\218G\\a\\\"\\226OA\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1z\\ENQ|\\182\\235\\143\\DC1`\\128c\\149\\STXu4\\144\\155\\CANL\\ESC\\168m\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\189\\159\\190?\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\ACKK\\153i\\SUB\\194Ip\\ESCP<C\\EOT\\164\\ETX4\\154\\DC3\\249\\193\\156\\183\\160Cd\\244\\168=\\233\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\168{T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\ENQ8\\157g(\\189\\DC1\\234\\157\\250\\179q\\191\\157\\DC1E\\203\\fx\\135\\ETB\\155?a\\CAN\\195|\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\SI\\231_G]\\191\\SOH6o)\\158]f\\241\\157\\168!\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\214s\\154\\130\\175\\SOHm\\ESC\\128tJ/\\217\\160\\210\\227\\204g\\DC4V4%\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"/,\\172\\137\\&1b2\\157\\197\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\147\\213\\GS\\240\\227d\\225\\172\\208\\199\\&8_\\178&\\242\\157\\171\\FS\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227#\\152\\175\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\146\\206aU\\GSs\\171\\135\\150\\145\\GS |Ce\\210\\STX\\132\\ESC\\ENQ\\177\\&9\\177\\247y\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\DC1./x \\255\\154\\174i\\255pR\\148tvC3\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234aJ\\138\\240\\140\\233\\136\\USW\\251\\DC1\\209hJw\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188[?\\NUL57\\148J\\163\\141&TJ>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\152\\146\\232\\129W/\\NUL\\138F#\\DC3ld\\DLE;n\\136\\146\\166\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EMm\\GS\\CAN\\181\\134[\\231\\&8k\\207<2!W\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\144W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\147\\fA\\216e\\177X\\CAN1\\186\\171\\169\\201\\158\\SUB\\230\\144\\177\\241\\228\\246\\206\\139\\203\\SO\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249z~\\241\\183\\137M>8o\\217\\179=\\FS\\156Dpx\\200\\214l\\201H\\ESC\\208\\252\\200\\139\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\EOTi\\245mQH\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\f)\\216-\\165\\255\\217\\137\\tu\\149-H\\ETB\\b\\165l\\211\\215%q\\GSI\\GS\\\\f\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\213\\162\\f\\243y\\DC4\\173\\US\\221\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171l\\\"\\140S\\202;j|~\\USO\"","tag":"AbiBytesDynamic"},{"contents":"\"Nd\\146\\&5\\131\\&9\\217e\\f_J^\\140K\\136\\157\\181\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\" \\232\\EOT\\176\\223\\237\\209\\215%\\166\\SYN\\248j\\181eC\\ACK\\182\\131\\162Y\\181\\&6\\218y\\183,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\td\\143/\\ENQ\\DC2\\167\\178L\\162\\198\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"+\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187*hH\\f\\218\\SUB\\152\\214\\163a\\177\\&9\\144\\218{\\176^\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185[\\209\\246\\218\\ESC\\172$h:,\\228V\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"|~\\139\\FS\\220\\156p\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"B9O\\DC1qG\\220\\197\\236y\\202\\253\\162\\226HcTO0\\158\\SOI>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\DLEd\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\229\\186\\n$\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAKf\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\163-\\137\\157\\141\\217\\&8pLu\\DELz{\\148\\241a\\197\\217\\168x\\183\\152\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\238\\144\\157\\218\\159\\194\\246\\233\\FS\\169ZP^\\154>9\\a\\208*E\\223\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205(1\\ESCX\\169\\208\\t<Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\188\\&9\\STX\\SO\\243q<WU\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\189<N4\\193\\219D\\240\\253'\\208V%\\234\\151a\\217\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\141]\\238\\142l|\\190\\GS@\\186\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\":\\132\\246h\\186r\\195\\173=\\188J\\176\\&3\\192\\215\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206(\\188-v\\DELC\\245\\r@\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\189J\\192\\233D\\177\\GS\\228\\215kw\\SOH\\ETX\\221\\131\\142\\140}R\\146\\192\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"u3\\NAK\\188\\162ig}8\\NUL\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQU\\230\\189Q*\\164\\241z\\197g>\\EM\\SO\\163\\t|\\186]\\237\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\180\\136[-\\194\\235\\131\\SO\\229\\210\\DC4\\229\\t({I\\ESC\\183\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249G\\204\\DC3\\206C\\145\\182\\ACKbP>EYRh\\153A\\153(q!R\\152\\&4#\\230\\DC3\\188\"","tag":"AbiBytesDynamic"},{"contents":"\")\\143\\194\\228\\144U\\RS\\131u\\178\\STX\\133\\155\\192K\\137\\SI2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\&1\\160\\138\\246\\199\\180\\224\\FS\\250/\\138\\f\\244\\&3\\CAN)U\\148\\NAK(Q\\234b\\NUL\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\162\\200\\181\\205>\\247\\191\\229\\232\\132\\253\\226\\189q\\EM\\192e\\222\\158\\STX\\224\\240\\209G\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\162\\149\\164\\&0O\"","tag":"AbiBytesDynamic"},{"contents":"\"R\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\228\\198\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\136!\\244\\220kg\\ETB\\\"\\ETB\\189\\195tk\\223\\EOT\\FS\\EM\\169 \\236\\ENQ\\187#&h\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\149\\226\\172\\&9z\\254\\f\\ETB\\197\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\149\\&7\\158\\&1\\\\\\132\\167\\128/\\133\\247\\235_\\221<h\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"V\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\151$\\227\\SYN\\148\\154\\188M\\186\\128m\\197\\166o.\\ETB\\206?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\&5Xl\\251\\160\\148\\204\\145=\\243F\\237/vK\\211\\190r\\225i\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3x?\\236\\NAK\\149\\209\\\"\\136\\134\\182;\\138\\244n\\221\\&8\\CANfu\\156S|mD\\250\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\135\\253\\169\\204\\138P\\255\\194\\ACKP\\DLE\\156_\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232Q\\198s\\DELn\\f\\238le\\165\\137\\142\\b\\EM\\237TqN\\186\\175\\DC338\\255\\242\\154]D\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\175}\\SUB\\236\\DLE\\DC3s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189E\\185[u7\\187\\187qk\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244D\\SYN\\DLE\\196\\233\\185\\228c\\250\\a&\\152\\DC4\\151\\218\\206m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129k\\131\\223n\\208\\193\\&7\\248\\238\\185\\155n\\138\\139\\128\\215\\&83\\138\\NAK[q\\144\\150\\219\\239\\246\\227\\&7\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\186z\\ETB\\212\\&2v\\149\\EM\\190\\160\\248\\180\\252*t}1A\\186Yz\\DC4\\208\\226\\148Y\\131\\EMZ\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\157\\ENQO\\244\\252\\232\\129\\164\\SIb\\148/\\206#E\\138\\ESC\\173\\t}\\211\\218Ul\\\\\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"0k\\166y\\202\\154\\GS\\131\\249~2\"","tag":"AbiBytesDynamic"},{"contents":"\"7z*\\203\\221~\\140\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"V!\\FSX\\150\\193\\182\\EOT\\229\\239Y\\225u8\\213u$\\246\\195oD\\185A\\149\\174\\&7\\231\\r8\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"j \\DEL\\158[|\\231B\\208\\GS\\NUL@|\\140\\136\\167\\208\\239\\ETX'<\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201k\\STX,\\ESC\\EM\\177\\&5Z\\229k\\232\\137$\\DLE\\242Q\\138\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\GS)\\v\\153W\\177? \\142\\233-HX\\SI\\144\\153\\181C\\220FD\\ESC\\197e#M}\\161o\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\244\\219p\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\174IU6[\\247\\144\\228\\214IN\\DC3\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\252\\143\\175\\254W\\191UV6\\176\\&4\\205\\221\\217\\146q\\155\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"]'\\161\\197&\\213\\171\\US\\238\\186\\244\\136\\191vl\\237\\\"#\\130Mo\\135\\209\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Q\\210\\&52\\158\\173\\bq\\\\\\255th\\144\\EM\\STXD(\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\183r\\186j\\RS3\\CAN\\202\\155j\\236+\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138~\\153v\\209\\235\\128\\227\\205X$\\182q\\170\\&1E\\SONmn\\221BQ\\154\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\NUL,d\\188<Bz<\\196\\203\\219\\248\\192a\\rnrq\\146\\182\\136\\190\\246\\177,\\187\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"LI\\182\\229\\SI\\ETBs\\145\\145\\135\\143\\205\\253\\203\\NAKGP\\152e\\211z\\RS\\183\\201\\183\\223\\171\\GS\\233\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\201\\131v\\163\\168\\ESC\\t\\184\\195\\219\\132\\189\\226\\191m\\172\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\204\\191g\\187e\\130M1\\SYN?8A\\248\\156\\200p\\DC2(\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\238u.\\165p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\DC3\\171\\186d\\210hb\\246%D\\230\\183\\237\\173\\233\\NUL\\177\\240\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\221\\254^\\NAK\\149\\215\\SUB\\171\\157\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\ESC\\133(\\156 sU\\243\\STX=}$5\\STX\\241\\196\\198{\\ah\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\SUB\\231\\224-HQ4\\165w\\ETX\\173\\149hC\\150\\234*\\181\\166\\246\\151BJ\\ak*d\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\CAN\\132\\143MwHCB\\SO\\STX9\\137ktf\\255\\216\\147\\&97f,\\245'\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\199q\\251g5N]G \\DC1\\234\\173f>p\\232\\STX>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250C\\ACK\\197\\FS\\145kC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134y\\247\\200z/\\185K\\205u\\195!\\166Q\\144\\245\\157\\224\\ETB\\161.\\186v+5f\\248.qj\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\189\\161\\199\\185\\156]\\151\\\\\\200x\\235y\\DC2E\\171N\\205\\250\\204\\216|i\\222\\DC2\\130\\222o\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\177\\211sM\\133u\\136\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"TV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\215\\142\\SI\\208g\\137\\247\\&6\\199\\133\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSy\\173\\&7\\186\\180KpW\\229\\228dx\\210y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214~\\227\\190\\146D\\215#S\\DEL3S\\214\\135\\219\\RS\\207\\SYN.&\\222\\&7\\145\\245U\\213B\\163\\&8:\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238qv\\205\\134H\\232\\234\\NULt\\\"\\197E\\223\\138\\178\\143P\\239X|.\\NAKd\\140\\145MG\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\ESCp\\GS\\143\\bt\\DEL\\210\\176\"","tag":"AbiBytesDynamic"},{"contents":"\")\\235\\135?\\136\\155\\224\\t\\162\\236\\DC4^\\213\\&6b2\\146\\233a\\133{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\177K\\163u\\251\\FS\\236\\230\\142V:z+^Fu\\223\\173\\244m\\STX\\235\\199\\129\\135\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"8U\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\177\\&1\\244\\ENQ0\\254\\226\\253{\\160\\&3\\210\\&1\\147\\US\\255\\244\\254\\128\\176[\\140W\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"A4\\191u\\223\\181\\217EX\\131\\135\\211F\\193rm\\SUB\\158\\202\\210\\179/\\ACK\\SO\\224\\206\\223\\EMP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\226.cG\\132\\US\\186\\136\\239\\SOj\\SYN\\144\\DC2\\205\\&2\\\\\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202U\\246\\a|=\\196\\233%O\\EOT@C\\DC4\\247~H\\212\\172\\216\\221I\\175\\180\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\148\\151\\152\\150oX\\184\\167\\141\\137\\RS\\NUL\\n\\185g\\141\\185\\240\\DC4\\t>Xk\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\197;\\b\\203\\210\\164\\152\\134\\228\\187c)\\140o\\129\\189\\243\\240p}\\\\\\USKKu7\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131{\\ENQF\\196\\144\\186*\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\202\\132\\205\\&1`\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"Aa\\225\\158O\\136\\230(cD\\\\T\\214\\185\\255E\\ETB \\139'e\\250\\176\\201;0M\\198z\\147\\160\"","tag":"AbiBytesDynamic"},{"contents":"\")v8\\169\\237_\\223\\210e\\v\\148\\238\\148\\145-\\203'\\203\\DC2\\US`\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\175\\209E)\\242\\SI\\218\\181\\251\\&5\\169A\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\244*\\156k\\231E\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"+k\\244\\&6 g\\249u\\252(\\244uD5j\\231\\189\\237c\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\218j\\191H\\n\\SUB\\167\\175\\176\\ETX\\189\\248\\255#\\133\\174\\228\\174\\233/\\146\\186\\227\\DC4n\\206x\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\230*\\157r\\191!;\\CAN/\\151\\146J\\GS\\132%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\220*\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\210>20gg\\ETX\\147\\\"A\\SOg\\201\\&9\\SI\\154\\157\\130\\188\\155\\188\\221\\NAKl\\202T\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"(qU\\149\\145\\216\\200\\247\\244\\193\\211:\\140\\214\\170\\&9\\161\\202\\179r\\134>\\253\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\":\\208\\ESC\\177\\246\\b\\197\\&8\\170\\192\\244\\DEL\\f*\\149\\181\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229O\\235B\\238\\253\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\179\\ETX\\223\\233\\227\\151+\\DC2@\\178\\185FKG\\SYN\\167\\FSj4\\219Q6q\\228\\\\\\152\\227dp\"","tag":"AbiBytesDynamic"},{"contents":"\"B9\\161\\&5o\\232\\RSC\\211\\218'H\\233[\\CANW\\185\\185\\134k\"","tag":"AbiBytesDynamic"},{"contents":"\"b(\\218\\229I3\\151\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"+J+\\RSH+\\SOH\\146\\176\\DC3S\\174\\185g\\199\\241\\175\\175\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\220E\\226j\\NAKtP\\226\\149\\&6\\169k\\155J2\\226\\225\\196*\\219\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\217\\161/\\208\\186\\150\\ETBdY\\CAN\\b\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\220\\217\\133\\217\\195Uj\\210\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\142\\157*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138:-Q&\\223:\\155\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\133#\\171G\\ESC\\148\\NAK\\DLE\\a\\154\\213\\SYN\\224)\\164\\168N]\\158\\EOT\\226\\196\\ACK~\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\168[2\\218\\EOTo\\253\\251\\182q\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\192\\216|j\\STX:V\\153\\CAN|\\199\\134\\187\\205\\193\\\"\\187H\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\235\\219\\135n\\STX\\190\\201I*\\247\\157\\186\\161\\128!\\235\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"<{\\200\\159\\EOTN\\158\\SIb\\198\\203\\131\\188\\SUBN\\216\\&5&8P\\131^?7m\\130\\188\\224\\b\\253\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\178\\147\\215\\166\\DC4\\184\\208\\246\\226\\200ON\\168c\\133\\130$\\128\\r\\n3O\\228\\188G\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207k=\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\194\\253\\164\\156\\159t\\171\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\\"\\205\\v\\152\\141\\173\\210bYyqN\\NAKl]{\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\185\\242\\245\\134\\DC4\\136\\195\\\"\\t,O\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"8+\\vR\\158:\\aT\\168\\190\\158\\191\\188\\154\\253\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\216\\\\\\251\\187>\\DLE\\195\\SO\\226\\226\\232^~\\141\\166\\DLE/\\212D\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"lw\\249w\\159B\\219\\161f[\\172\\236D\\241\\129\\229L\\a'\\SYN\\ENQ\\\\\\GS\\n>\\213\\190T6\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\187\\220D\\235f\\173\\134k~a\\248V@\\215\\159j-d\\187\\SOH\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\165\\222`\\SI\\155\\159\\189X\\SUB\\FS\\251\\SO\\139\\RS\\224\\135\\214\\GS\\151}\\252\\b\\241c\\ESC\\188\\166\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\161\\154>\\150\\145\\142\\136a\\242\\245M\\NUL\\229\\DC1j\\247\\210\\145\\139?\\SI\\243eZ\\139\\163;t}\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\US!\\161\\156\\DC3|sC#\\244 \\204\\187X9*r\\162\\v\\172\\255\\192\\217\\235q\\CAN%p\\249\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\132\\161q4i\\236\\224\\249M7]\\140\\237\\241\\214`\\237\\149od\\\\\\RS\\r'\\218\\&59!\\179s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195j.\\NAK\\128\\239\\153\\217R\\v\\239p\\164<p\\231\\235\\ENQ\\255\\214\\168\\228\\217-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\220\\168R\"","tag":"AbiBytesDynamic"},{"contents":"\"]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\255e\\SI\\218\\136\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"n\\245\\nTB\\t\\244i\\210\\153\\170}\\133q\\135\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\221P\\210\\DEL\\139\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\150\\225mih\\174\\228J\\175d@\\DLE\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"fj\\179g\\133\\162$_\\141\\223\\238\\242\\240Q\\178\\&7\\ACK\\t\\192\\134\\205\\171\\203\\142\\aD{PB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166?\\191\\181\\233jV\\141\\\\3C`\\210\\216\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\251\\217\\218\\238\\176\\239 \\211\\172\\133\\234\\254X\\226\\202\\214\\211u\\ACK$\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\226\\148\\237\\250rL\\130\\169\\129\\156\\134\\&8jB@\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\&2\\153\\134\\253V\\ACK\\135\\&7\\aw\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\EM\\203d\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\192\\241\\251\\196\\139\\210\\156\\226-\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\176\\220\\136\\&4w\\172\\162S\\196\\155\\180}\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"$?\\223\\166\\156\\131(\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\b\\SYN\\207\\213\\223\\253\\\\\\NAKB\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"ip\\248cc\\FS\\136\\169Ti\\228X\\138\\&5\\158\\FS\\164\\fc\\US\\180 \"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\214\\201\\\\\\201\\191\\194\\216\\206\\n\\STX\\167\\EOT\\135>\\240d\\EM\\183z\\225>\\147!\\147\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\207`B\\238\\249MuG5.\\DELe\\150&\\CAN\\171\\213\\&4\\171|M\\175pn6P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\195(\\226\\192\\189\\197x\\226i\\r/\\239m\\DC4\\226.\\232\\&1N\\253\\GS)M\\145\\139\\221\\178\\&0\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\ETB\\\"\\ETX(\\128\\225\\146}\\255\\210\\174\\246UA\\\"\\232f \\143\\&6`e\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\221.Wd\\170\\221\\b5\\218\\150\\NAK\\NUL!\\186W\\249\\159S$\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\205_ee\\208\\EMn:\\179\\189R@\\183u\\143(v\\237\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\227N\\\"\\211\\136gt~\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\161\\222\\218\\213\\DC2MB\\154\\131\\172\\151r\\t\\241\\133\\ESC6$\\US\\210\\DC3\\251\\218\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\191\\211\\243\\226\\134{\\DC1\\207\\233\\211\\253\\220\\b\\165W\\ACK\\rh3\\213\\202\\212~\\170\\&7\\176\\214b\"","tag":"AbiBytesDynamic"},{"contents":"\".\\f05/!\\f\\185a\\172Y$\\238\\&1w\\155\\224\\CAN\\153\\191 X@VIt\\164\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\186\\161,\\211\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\245\\ACK=\\250\\149T\\129\\&3\\219u\\246C!\\172\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\216\\f2K\\135\\181K\\r\\138o Q\\DC2\\186>x\\189\\163\\194S\\204\\235\\182\\154!\\134\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"cX\\210\\198%\\223\\246rm\\155\\212\\r\\173m\\193\\242\\208\\180B:8q\\\"\\187\\a\\210C\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\ETB\\147\\DC2\\DC21\\169\\145F\"","tag":"AbiBytesDynamic"},{"contents":"\"RJ\\196\\161\\128\\ENQ\\153\\230\\249\\GSm-\\245\\155j\\197?\\141\\ACK\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\190\\250#\\234\\&8u\\198\\142\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\179~F\\201|\\154q\\156\\223i\\253|l\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\138\\192\\DC4\\133\\226'\\148a\\224\\&9\\173\\DC1Q\\130V\\a\\GS\\248l\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\241,3\\169\\154\\250\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\220\\135\\138\\140\\136\\DELY\\185j\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!,X\\SUB\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"41105720729920370599272364912692536201033230256586147347168962966122685157936"],"tag":"AbiUInt"},{"contents":[256,"41105720729920370599272364912692536201033230256586147347168962966122685157936"],"tag":"AbiUInt"},{"contents":[256,"100000003"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"53718701671494861817452957469263569318693880734248693385941553163256112896566"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639433"],"tag":"AbiUInt"},{"contents":[256,"11851397766056911985623366747081391324234468061119766263823853900210584264348"],"tag":"AbiUInt"},{"contents":[256,"17820998879914542113941443895699076595754234556507978138498175689897040881990"],"tag":"AbiUInt"},{"contents":[256,"127"],"tag":"AbiUInt"},{"contents":[256,"38"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553534"],"tag":"AbiUInt"},{"contents":[256,"39"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"83427295441309314584818256657366079508774324892205643805769746647762111992735"],"tag":"AbiUInt"},{"contents":[256,"17262625404745396225253"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"55325309909572734009784558909430213190373072813872179583030966939782860240705"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639835"],"tag":"AbiUInt"},{"contents":[256,"106313794660566251561346786034868733243261747541364941546574653649284973952284"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"112154358254357314669567180618463510226924036873658962900452939973352667383362"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"14342350166178929045995507201829338314822991516947738323940238880156484489652"],"tag":"AbiUInt"},{"contents":[256,"84388416892061426256320483572695407521124289303586194795917676543252926839710"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689603"],"tag":"AbiUInt"},{"contents":[256,"47173431437201979799606452015214512807469619079932169426897041928821689684081"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"69733747807594877408252493407248663039177637755204134226460623660842178268910"],"tag":"AbiUInt"},{"contents":[256,"2111249210441739340660863655394756646293430129070881264392173789747880355472"],"tag":"AbiUInt"},{"contents":[256,"111039646319413752098259193365414422298982055264409054374039221607125089149857"],"tag":"AbiUInt"},{"contents":[256,"47236412462825322751485406886080548886568064061566951109150965626732734764289"],"tag":"AbiUInt"},{"contents":[256,"112358484312547603053814558773766018816413513602053093608687369297504318504752"],"tag":"AbiUInt"},{"contents":[256,"64803627484767959413963349751750028783419333968467429043767586805736171167196"],"tag":"AbiUInt"},{"contents":[256,"6426272128183718218187413644521349263466852363265493696179147755670383736946"],"tag":"AbiUInt"},{"contents":[256,"256"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634936"],"tag":"AbiUInt"},{"contents":[256,"331"],"tag":"AbiUInt"},{"contents":[256,"14068739332136064118035838306580121005404609062878914455142351015370314476585"],"tag":"AbiUInt"},{"contents":[256,"229"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"97920383368434944116973010061699888013818518749931210861680136126933253668241"],"tag":"AbiUInt"},{"contents":[256,"19174610356625134555808772966173132070624043701077434602371178649625754977600"],"tag":"AbiUInt"},{"contents":[256,"52048305568562638713926147670527584098377219041932669444420875084852806791926"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637935"],"tag":"AbiUInt"},{"contents":[256,"13423541258252537681185855237807400422439207259087421008964561091495537585286"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553536"],"tag":"AbiUInt"},{"contents":[256,"111290377551783306692456828087013804315809058934084339414312869320603089994677"],"tag":"AbiUInt"},{"contents":[256,"74819144891422283413666265071526003827275466530513841284356113656899772241713"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639033"],"tag":"AbiUInt"},{"contents":[256,"137"],"tag":"AbiUInt"},{"contents":[256,"137"],"tag":"AbiUInt"},{"contents":[256,"137"],"tag":"AbiUInt"},{"contents":[256,"137"],"tag":"AbiUInt"},{"contents":[256,"137"],"tag":"AbiUInt"},{"contents":[256,"137"],"tag":"AbiUInt"},{"contents":[256,"137"],"tag":"AbiUInt"},{"contents":[256,"137"],"tag":"AbiUInt"},{"contents":[256,"137"],"tag":"AbiUInt"},{"contents":[256,"137"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639934"],"tag":"AbiUInt"},{"contents":[256,"604797"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035136"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"4629707928436398819062561287904332081102411663195530029975618482246305508208"],"tag":"AbiUInt"},{"contents":[256,"104363040836518642355076135648277572687497446893066755142507505618016262821947"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"1016"],"tag":"AbiUInt"},{"contents":[256,"11132331300373311145993206397581064220776065175390251841882954236996715797570"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689603"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689597"],"tag":"AbiUInt"},{"contents":[256,"47315238117162813541601619573304853335808936835904599314360997538891821071281"],"tag":"AbiUInt"},{"contents":[256,"88372324913576983991074794282505236704156832293599795790198974434854596736627"],"tag":"AbiUInt"},{"contents":[256,"84951960377233047610655455427331531662608801806011052669244026919297762287579"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639872"],"tag":"AbiUInt"},{"contents":[256,"62718170220910437858493538742806663328064941622701192661583719459283436466942"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639881"],"tag":"AbiUInt"},{"contents":[256,"19895855088935563747244395954748180723348155638413393591461939045908162129998"],"tag":"AbiUInt"},{"contents":[256,"38208932595452177848949884790069602740201267293752525909166306663956150527186"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"46"],"tag":"AbiUInt"},{"contents":[256,"10003"],"tag":"AbiUInt"},{"contents":[256,"80147686526781830436682500003125500451267255702034951418661207362446761742983"],"tag":"AbiUInt"},{"contents":[256,"99797831008329414271265020276008627252387983276971925079320905394806393881983"],"tag":"AbiUInt"},{"contents":[256,"21415308833880378880404316642184397729529606339079814683958038142439766194291"],"tag":"AbiUInt"},{"contents":[256,"324102246645314658671132809331893182080430629082476657555355711264391393636"],"tag":"AbiUInt"},{"contents":[256,"101"],"tag":"AbiUInt"},{"contents":[256,"3998"],"tag":"AbiUInt"},{"contents":[256,"74394044113815361190410908209065322129869673169410525638179982368283544027358"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"82337790947533544839502513705962486283883872380692851758992828937210177884930"],"tag":"AbiUInt"},{"contents":[256,"69721410634729759605320174496256990266197114826412304009160379360102004135975"],"tag":"AbiUInt"},{"contents":[256,"62259407157619597335398831950927751699924787812914460960784864440907453090688"],"tag":"AbiUInt"},{"contents":[256,"108138952093435556370993079669595799703068348863405688411230362035959988159376"],"tag":"AbiUInt"},{"contents":[256,"14596718603431940496751846606258"],"tag":"AbiUInt"},{"contents":[256,"22511156217534649602020755448225131468840267195152954325479898448805037241357"],"tag":"AbiUInt"},{"contents":[256,"9521794392738104494781320842598073008278254593494519030382243613055294654199"],"tag":"AbiUInt"},{"contents":[256,"604803"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639878"],"tag":"AbiUInt"},{"contents":[256,"55423912180418283111586271728520952079483480822159211854259258371619373783168"],"tag":"AbiUInt"},{"contents":[256,"79094292199267439531979276574294841846382019666356993569858897720889289308365"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781054"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639831"],"tag":"AbiUInt"},{"contents":[256,"63029668068759845819732930025466827433874693415590509363933025382880299342825"],"tag":"AbiUInt"},{"contents":[256,"30306892792107075199885838733739533495454835047283962441675244411530159"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000037","0x0000000000000000000000000000000000000000000000000000000000000056"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"5245648319540873790750426418"],"tag":"AbiUInt"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":[256,"9495421204296590828511507099446963046733367"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000034257","0x0000000000000000000000000000000000000000000000000000000000002323"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639911"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000386","0x000000000000000000000000000000000000000000000000000000000000101e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"63404850928511425206806080994394048996890768670180337587720780795931933763253"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000fe","0x00000000000000000000000000000000000000000000000000000000000035d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e14","0x00000000000000000000000000000000000000000000000000000000000095e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135ad","0x0000000000000000000000000000000000000000000000000000000000001363"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb08","0x00000000000000000000000000000000000000000000000000000000000001f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e760","0x000000000000000000000000000000000000000000000000000000000000d8d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"\"\\164F\\RSE9\\223\\190*\\179o+\\249\\NAK\"","tag":"AbiString"},{"contents":"\"if sum,of assets in SuperVaultStrategy and yield strategies is 0  maxWithdraw should be 0\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"38158431155548626702929834842548196949289844226721249219056574706475541438186"],"tag":"AbiUInt"},{"contents":[256,"1251757128105765790685968388564610"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639814"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507330"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa3","0x0000000000000000000000000000000000000000000000000000000000000fba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"88316912120531493711333615097666483328301477038156435598625052764683962422900"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002714","0x0000000000000000000000000000000000000000000000000000000000008199"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"71047460477680910869667445979837312267186040410964232476209513077918968474992"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e4","0x0000000000000000000000000000000000000000000000000000000000000101"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"47"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035137"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f7","0x0000000000000000000000000000000000000000000000000000000000000231"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb18","0x0000000000000000000000000000000000000000000000000000000000001c98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"251"],"tag":"AbiUInt"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":[256,"69248709947329189533867543349451386424761502879097510118918611471375296314667"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021647","0x0000000000000000000000000000000000000000000000000000000000002239"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"558456"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008719f","0x0000000000000000000000000000000000000000000000000000000000002606"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d53","0x0000000000000000000000000000000000000000000000000000000000002323"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000015","0x00000000000000000000000000000000000000000000000000000000000001f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088318"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005bd20","0x0000000000000000000000000000000000000000000000000000000000004b97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"37"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000054","0x0000000000000000000000000000000000000000000000000000000000000047"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084279","0x0000000000000000000000000000000000000000000000000000000000001368"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"W&\\243\\203\\173\\202#\\140\\132\\226Y,\\EOTA\\166r\\SOL\\178\\DEL\\249\\129D\\243+f\\139B\\ACK\\189>W\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd9","0x0000000000000000000000000000000000000000000000000000000000001c9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0ec","0x000000000000000000000000000000000000000000000000000000000000614c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"14482377455692234951046611335718577738311731802946611157880469368030530716985"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfc","0x00000000000000000000000000000000000000000000000000000000000088f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639433"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59b","0x0000000000000000000000000000000000000000000000000000000000000bcd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000eb","0x0000000000000000000000000000000000000000000000000000000000005b6b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000032","0x0000000000000000000000000000000000000000000000000000000000001274"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"12"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eabc","0x00000000000000000000000000000000000000000000000000000000000013a7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb15","0x000000000000000000000000000000000000000000000000000000000000004f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a317","0x0000000000000000000000000000000000000000000000000000000000007e51"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"237"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072e1d","0x000000000000000000000000000000000000000000000000000000000000232c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"43409516663773498013912561176821603436403574339031066963035374415265592534185"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005a644","0x000000000000000000000000000000000000000000000000000000000000131b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"254"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d464","0x0000000000000000000000000000000000000000000000000000000000007cfc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1525395794"],"tag":"AbiUInt"},{"contents":[256,"638"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074d9f","0x0000000000000000000000000000000000000000000000000000000000001a53"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaff","0x0000000000000000000000000000000000000000000000000000000000002608"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001517f","0x0000000000000000000000000000000000000000000000000000000000007304"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"110002545539758692531659073469942146445543369941037514767005684782311253141254"],"tag":"AbiUInt"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000069","0x0000000000000000000000000000000000000000000000000000000000001394"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae0","0x0000000000000000000000000000000000000000000000000000000000003301"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bb","0x0000000000000000000000000000000000000000000000000000000000001396"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639838"],"tag":"AbiUInt"},{"contents":[256,"99"],"tag":"AbiUInt"},{"contents":[256,"257"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"55411431853157261280820656273591591769694146873726191005278192163168734275742"],"tag":"AbiUInt"},{"contents":[256,"37586472113894055529649424865962762403330680805024723467189431436537636891316"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639707"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580ae","0x00000000000000000000000000000000000000000000000000000000000056c1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000008","0x000000000000000000000000000000000000000000000000000000000000eb6b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000009ba3bc3be3243093"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":[256,"33300404912260342485804083732728359484255380993651889921692971254720528144248"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7f","0x0000000000000000000000000000000000000000000000000000000000009205"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"107023958008356609319994741602244053077039468879324520606586550695115629589381"],"tag":"AbiUInt"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001517d","0x00000000000000000000000000000000000000000000000000000000000072eb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"maxWithdrawAsShares != maxRedeem\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045855","0x000000000000000000000000000000000000000000000000000000000000136c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"7953398107974166615912275172080327395110551377446198720767910552520913779626"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa3","0x000000000000000000000000000000000000000000000000000000000000014b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"28584400270803913029008291601073442158001815020268975260790343058676445905565"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000014b","0x000000000000000000000000000000000000000000000000000000000000e347"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"27852266402973967027085264490027174770058732298813311607415604434475119583269"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfb","0x0000000000000000000000000000000000000000000000000000000000001339"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff9","0x000000000000000000000000000000000000000000000000000000000000238f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006f52f","0x0000000000000000000000000000000000000000000000000000000000009fd4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d429","0x000000000000000000000000000000000000000000000000000000000000ec39"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":[256,"109581026491166320596969466195348210996955677477734786764592694101103457387867"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c2","0x000000000000000000000000000000000000000000000000000000000000b068"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"86837623022144364118531743163458791392280359570699664179812056878299726798560"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039baf","0x000000000000000000000000000000000000000000000000000000000000007a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"11902620238229192482270156290457154744242190658706830965119549840213460092744"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000089","0x0000000000000000000000000000000000000000000000000000000000000010"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"54668184747866349883913024809996870256274398365829605701364488097675720772490"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003448b","0x00000000000000000000000000000000000000000000000000000000000011aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"100000000000000000000000004"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a515","0x0000000000000000000000000000000000000000000000000000000000006a27"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"723"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003ea","0x0000000000000000000000000000000000000000000000000000000000001343"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000043","0x0000000000000000000000000000000000000000000000000000000000000056"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000548f5","0x0000000000000000000000000000000000000000000000000000000000000d66"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"55"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000094ab","0x000000000000000000000000000000000000000000000000000000000000b7e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"299"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba5","0x00000000000000000000000000000000000000000000000000000000000030d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"99813833770228763720527791038442837657057017478301923327477991147629562382267"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e2","0x0000000000000000000000000000000000000000000000000000000000006149"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"11485680662043045313705113331963152692084457538646891513535284603469723770710"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062e05","0x00000000000000000000000000000000000000000000000000000000000000e8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000001274"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000224ba","0x00000000000000000000000000000000000000000000000000000000000075ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"86557712738790685291651882836560299000417536252308631634542067659337744136360"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4f","0x0000000000000000000000000000000000000000000000000000000000007d98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"18889271466991931035964026071991785248470241916978335786617324052206408060206"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae7","0x0000000000000000000000000000000000000000000000000000000000000013"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e1","0x000000000000000000000000000000000000000000000000000000000000003e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000442c5","0x0000000000000000000000000000000000000000000000000000000000000025"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002326","0x0000000000000000000000000000000000000000000000000000000000000045"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b624","0x0000000000000000000000000000000000000000000000000000000000005daa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006f3f3","0x0000000000000000000000000000000000000000000000000000000000001336"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006f3e9","0x00000000000000000000000000000000000000000000000000000000000030fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"30140726443096755469944975673069075575951124061407270574471151149224048668898"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf69","0x0000000000000000000000000000000000000000000000000000000000006a26"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bd43","0x0000000000000000000000000000000000000000000000000000000000001382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"97051155354807387619048308249126237599702621279577514359847887440699029074645"],"tag":"AbiUInt"},{"contents":[256,"24447370338114382636708101006628348150510920926222422257641970049609963189122"],"tag":"AbiUInt"},{"contents":[256,"80589928558298598300276559925579330703978652067976286876380188476593100508011"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002113a","0x000000000000000000000000000000000000000000000000000000000000dddb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"6\\163\\228\\168\\171\\243d\\252\\156~mJ\\243\\188\\175\\189\\192\\181'/\\147\\158\\SO*\\DC3\\RSN?f\\229\\DLE\\\\\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003f","0x0000000000000000000000000000000000000000000000000000000000000fb5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000009399f","0x000000000000000000000000000000000000000000000000000000000000001a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"2998790370645845906822171838595802560503566422418785431360165913741896509474"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062f1d","0x0000000000000000000000000000000000000000000000000000000000007e4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"796"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae5","0x0000000000000000000000000000000000000000000000000000000000008199"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba5","0x0000000000000000000000000000000000000000000000000000000000006485"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfe","0x0000000000000000000000000000000000000000000000000000000000000030"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"308"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639911"],"tag":"AbiUInt"},{"contents":[256,"9746447560173983906544351805468099439507888247822542650128220844289863131018"],"tag":"AbiUInt"},{"contents":[256,"89786301656991238412618395015135688902798229072689160098734948520122687516410"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054f0f","0x0000000000000000000000000000000000000000000000000000000000006ddb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef4d","0x0000000000000000000000000000000000000000000000000000000000007117"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c4f1","0x0000000000000000000000000000000000000000000000000000000000006a24"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"22"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e81a","0x0000000000000000000000000000000000000000000000000000000000007fe1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002713","0x0000000000000000000000000000000000000000000000000000000000000075"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"totalShares * pps !=totalAssets\\188\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e703","0x00000000000000000000000000000000000000000000000000000000000035d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"22"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032672","0x000000000000000000000000000000000000000000000000000000000000129c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"1531619350"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000056d3a","0x0000000000000000000000000000000000000000000000000000000000000fb7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639867"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bad","0x000000000000000000000000000000000000000000000000000000000000134f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"2014689705834002340230686577780648447348747751742512404439131144320078422401"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000163","0x0000000000000000000000000000000000000000000000000000000000003072"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb18","0x000000000000000000000000000000000000000000000000000000000000668a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"80216110704215771107872464047613060893550047037347294131573480083813392556872"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084279","0x00000000000000000000000000000000000000000000000000000000000040e8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]