[{"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":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000014","0x0000000000000000000000000000000000000000000000000000000000003ac7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"4927098"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e377","0x0000000000000000000000000000000000000000000000000000000000000019"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"373"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d50","0x0000000000000000000000000000000000000000000000000000000000000043"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"51228550072157751697278536186712477389239031581069169800603346545379862944407"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000057","0x000000000000000000000000000000000000000000000000000000000000921b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000674e2","0x0000000000000000000000000000000000000000000000000000000000002c55"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x37807580d7cA3d467b57BA6111DE473d57Dd2204","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf6","0x000000000000000000000000000000000000000000000000000000000000d9d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003d37d","0x0000000000000000000000000000000000000000000000000000000000000fa0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"79228162514264337593543950335"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffb","0x000000000000000000000000000000000000000000000000000000000000012e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a51b","0x000000000000000000000000000000000000000000000000000000000000135d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000247d1","0x0000000000000000000000000000000000000000000000000000000000001349"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"6734487455127200681287255517107193154477490011870442084347199991726030831072"],"tag":"AbiUInt"},{"contents":[256,"960"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000001"],"tag":"AbiUInt"},{"contents":[256,"67680064549743674609618218803163260707145359710374801957544471307170200804364"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000021648","0x0000000000000000000000000000000000000000000000000000000000006a25"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"63814985537015263935806644730952277874753126320385174641422528391453214008290"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3e","0x000000000000000000000000000000000000000000000000000000000000137b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"96294902208416431981216742875027002387686649406692353031309806664866888762525"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639935"],"tag":"AbiUInt"},{"contents":[256,"1857011"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"618"],"tag":"AbiUInt"},{"contents":[256,"57151366819647102337880321472307189860851260703379788957489356548990989432215"],"tag":"AbiUInt"},{"contents":[256,"13692454151616077609153473483757924058532314010541296129420213541577400602"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb41","0x000000000000000000000000000000000000000000000000000000000000101e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb27","0x000000000000000000000000000000000000000000000000000000000000000d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629936"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4ff","0x000000000000000000000000000000000000000000000000000000000000129f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222592"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfe","0x000000000000000000000000000000000000000000000000000000000000d9dc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c18d","0x000000000000000000000000000000000000000000000000000000000000614a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"13702210927112532546248726927677552671444502629929124470970783228892683724982"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000fd","0x000000000000000000000000000000000000000000000000000000000000135b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"15978631886592977302982756288291230372087907747654723131247222124545444660133"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75e","0x000000000000000000000000000000000000000000000000000000000000e56b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[128,"10000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5f","0x0000000000000000000000000000000000000000000000000000000000009436"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"75"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000582b0","0x0000000000000000000000000000000000000000000000000000000000004f13"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"61"],"tag":"AbiUInt"},{"contents":[256,"46118997656602491342568693240551509272104234744364064484077318892612292521273"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c9","0x0000000000000000000000000000000000000000000000000000000000001325"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000004a55","0x0000000000000000000000000000000000000000000000000000000000005bb7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"93687266257602866759007755394459313094889166223298654307324972630767899053232"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2a","0x0000000000000000000000000000000000000000000000000000000000001384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"87"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81e","0x000000000000000000000000000000000000000000000000000000000000d0cb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf69","0x00000000000000000000000000000000000000000000000000000000000007c0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"112634907148350052604175931850152901012581253737034337710827665394271123968734"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7f","0x0000000000000000000000000000000000000000000000000000000000007e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"16"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c6","0x000000000000000000000000000000000000000000000000000000000000dcba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"251"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135ab","0x0000000000000000000000000000000000000000000000000000000000002609"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"108"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfa","0x0000000000000000000000000000000000000000000000000000000000004b98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x00000000000000000000000000000000000000000000000000000000000012ba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[128,"340282366920938463463374607431768211454"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2d","0x00000000000000000000000000000000000000000000000000000000000069ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x792F3eb0aCD92Dc9ab83c64DA4657B1AA8E47681","tag":"AbiAddress"},{"contents":[256,"36424602947671011102083374912536364660491414923956826472346538226248925702265"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c3","0x0000000000000000000000000000000000000000000000000000000000001361"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x00000000000000000000000000000000000000000000000020409efd905e161e"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59b","0x00000000000000000000000000000000000000000000000000000000000003e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"113952584181600497460327695930696849014286545762707373215745102180161058888126"],"tag":"AbiUInt"},{"contents":[256,"4370000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000523ff","0x000000000000000000000000000000000000000000000000000000000000001c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000079f4","0x000000000000000000000000000000000000000000000000000000000000c065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffc","0x0000000000000000000000000000000000000000000000000000000000000034"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":[256,"22472328383283881550256874798074829670614185283358984728018746704971844373404"],"tag":"AbiUInt"},{"contents":[256,"53"],"tag":"AbiUInt"},{"contents":[256,"3985856040696837663421832231478490809850800954951019371286145843025304797135"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae4","0x0000000000000000000000000000000000000000000000000000000000002347"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":[256,"66647610688200145252042980842063178272517260867115578989090951264828425404975"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f99","0x000000000000000000000000000000000000000000000000000000000000002e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c5","0x0000000000000000000000000000000000000000000000000000000000007a00"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"\"\\176Z\\222C\\152\\al\\151\\ryp9\\239\\205\\135\\177\\156\\GS\\244\\149\\206\"","tag":"AbiString"},{"contents":"\"INVVVVVALID_SIGNER\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"103091134333801039368340037653000438565225930561851950061466944012958926574704"],"tag":"AbiUInt"},{"contents":[256,"103138352156358416146193701988752336149668223850944927620168068432092350350636"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"84445749492610881586212316614568979884602460371862996972777748941462783863094"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609602"],"tag":"AbiUInt"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e956","0x000000000000000000000000000000000000000000000000000000000000653f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011523"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf6","0x00000000000000000000000000000000000000000000000000000000000095e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"3998"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f9f","0x0000000000000000000000000000000000000000000000000000000000009e96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639923"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eadc","0x0000000000000000000000000000000000000000000000000000000000008ec9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689600"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084277","0x0000000000000000000000000000000000000000000000000000000000000383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000001382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59d","0x00000000000000000000000000000000000000000000000000000000000009de"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffb","0x00000000000000000000000000000000000000000000000000000000000095ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"10874846299889961718554914749342733254366117885452084757005370221432945973220"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ba83","0x0000000000000000000000000000000000000000000000000000000000001383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"62"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce53","0x000000000000000000000000000000000000000000000000000000000000614b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"30700952642220380434560402786440135355406820732108786436663264897618965801228"],"tag":"AbiUInt"},{"contents":[256,"16283067924073071138670586838545355964175170825348078796790467305560431068366"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000007","0x000000000000000000000000000000000000000000000000000000000000e390"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"66557432428502180732906795877954656941737927779837112090257585452690575779991"],"tag":"AbiUInt"},{"contents":[256,"1528862195"],"tag":"AbiUInt"},{"contents":[256,"53270065017298717105125677881988514185700997539422731595305393060243964111887"],"tag":"AbiUInt"},{"contents":[256,"82933298819030608290879287047657705015715619281007837705932477193509877400760"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000073736","0x000000000000000000000000000000000000000000000000000000000000133e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f96","0x0000000000000000000000000000000000000000000000000000000000000590"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"99"],"tag":"AbiUInt"},{"contents":[256,"90657883638262119335822985722745149748808066960156323083858208689347226076054"],"tag":"AbiUInt"},{"contents":[256,"35435668652597025622583705205096586750078228902382749192257710510663508808965"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"52523792344107694285986302087989007056764288710557076528446696719766656183197"],"tag":"AbiUInt"},{"contents":[256,"94170895653943034251443279605596061465895873050701664333102951717422782100155"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f9df","0x0000000000000000000000000000000000000000000000000000000000000012"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"51"],"tag":"AbiUInt"},{"contents":[8,"187"],"tag":"AbiUInt"},{"contents":[8,"145"],"tag":"AbiUInt"},{"contents":[8,"249"],"tag":"AbiUInt"},{"contents":[8,"137"],"tag":"AbiUInt"},{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":[8,"31"],"tag":"AbiUInt"},{"contents":[8,"194"],"tag":"AbiUInt"},{"contents":[8,"3"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a0f1","0x00000000000000000000000000000000000000000000000000000000000001f4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e14","0x0000000000000000000000000000000000000000000000000000000000006de0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ca7b","0x0000000000000000000000000000000000000000000000000000000000009e93"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012e","0x000000000000000000000000000000000000000000000000000000000000ebcc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34d","0x000000000000000000000000000000000000000000000000000000000000d27d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000603d","0x0000000000000000000000000000000000000000000000000000000000001271"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000080772","0x0000000000000000000000000000000000000000000000000000000000000023"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0eb","0x0000000000000000000000000000000000000000000000000000000000009201"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"77"],"tag":"AbiUInt"},{"contents":"0xAD8C9b4C04fE5e23393956EDe82A3d29f997cDAF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"50"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000329b9","0x00000000000000000000000000000000000000000000000000000000000064a6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bde","0x0000000000000000000000000000000000000000000000000000000000002347"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"77341114425790034011382912713058521469121322534560667094913552332533863094923"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead2","0x00000000000000000000000000000000000000000000000000000000000003e6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639878"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000fd","0x0000000000000000000000000000000000000000000000000000000000009bd9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e377","0x00000000000000000000000000000000000000000000000000000000000095e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"8480726981817341565354234234304334902682832675861029605840260753773299485459"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000039","0x0000000000000000000000000000000000000000000000000000000000000068"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]