[{"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":["yieldSource_simulateLoss",[{"contents":[256,"18867274313313842040772602604487831322557476765952713523025524685597904784266"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000644ad","0x0000000000000000000000000000000000000000000000000000000000000f52"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"47581876172539432398940620998272125649421076479794484831593355009752069316009"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c1ea","0x00000000000000000000000000000000000000000000000000000000000042d5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000081d13","0x000000000000000000000000000000000000000000000000000000000000189b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"16"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c4f1","0x00000000000000000000000000000000000000000000000000000000000033d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"1529531732"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063526","0x000000000000000000000000000000000000000000000000000000000000d58f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"7721732846334708380647212825153473953997998741317803551188775574154823221170"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054940","0x000000000000000000000000000000000000000000000000000000000000c1f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"90733480703413651253771523150288422385673261826645395131573374096203720870805"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000083aa","0x000000000000000000000000000000000000000000000000000000000000b2b0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"52743284008263423700232060758191466275887918266790330718710375697308209203510"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004b8db","0x000000000000000000000000000000000000000000000000000000000000481e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"1533903373"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001c7","0x00000000000000000000000000000000000000000000000000000000000060aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"23258452476236535440230746168787916979253851256983391987967401299787915419791"],"tag":"AbiUInt"},{"contents":[256,"5002"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639436"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000005be5","0x000000000000000000000000000000000000000000000000000000000000cda2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[128,"152489216725684077009498382048144138471"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5e","0x0000000000000000000000000000000000000000000000000000000000001678"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"1533782372"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007ad1c","0x0000000000000000000000000000000000000000000000000000000000009770"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000404e8","0x000000000000000000000000000000000000000000000000000000000000be55"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"309485009821345068724781057"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb46","0x0000000000000000000000000000000000000000000000000000000000009436"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"77055033415653237401500242439096675143860267135997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083cb4","0x000000000000000000000000000000000000000000000000000000000000a785"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"3"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"72018301846253533879406027147041206825406636211577873943746845271602182174688"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004516f","0x000000000000000000000000000000000000000000000000000000000000cbfe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"66463609350974903158132247777800643256197319150245797216324455345153818880095"],"tag":"AbiUInt"},{"contents":"0x1a6076058a93937E7fe5236f6F10d35Ab001A5ee","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000fe8b","0x00000000000000000000000000000000000000000000000000000000000004b4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005a2b7","0x000000000000000000000000000000000000000000000000000000000000b55c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"1533055403"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000076eec","0x0000000000000000000000000000000000000000000000000000000000001fed"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"1529379365"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000936e8","0x000000000000000000000000000000000000000000000000000000000000e859"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"85441902068732739931681363"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002f751","0x00000000000000000000000000000000000000000000000000000000000011ae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"1526580290"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003a9bf","0x000000000000000000000000000000000000000000000000000000000000087f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":[256,"58857626781240064006882858013133682136377117383325914184793069021397411194938"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004b70e","0x000000000000000000000000000000000000000000000000000000000000039d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000005603","0x0000000000000000000000000000000000000000000000000000000000005406"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"483"],"tag":"AbiUInt"},{"contents":[256,"751237987005527180728731"],"tag":"AbiUInt"},{"contents":[256,"220"],"tag":"AbiUInt"},{"contents":[256,"1536306731"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000116e5","0x0000000000000000000000000000000000000000000000000000000000009142"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\199\\149{?\\207\\221\\205\\244)\\ESC\\SYNO|#\\191\\231:\\245\\248t\\244\\DC2T\\162\\189}\\DLE\\226\\\\^;\\186\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027ad8","0x0000000000000000000000000000000000000000000000000000000000004e36"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":[256,"48633865047534218350929647"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001dfdc","0x0000000000000000000000000000000000000000000000000000000000000fc6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"23258452476236535440230746168787916979253851256983391987967401299787915419791"],"tag":"AbiUInt"},{"contents":[256,"5002"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639436"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008d618","0x000000000000000000000000000000000000000000000000000000000000b7ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_6",[{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052e0b","0x0000000000000000000000000000000000000000000000000000000000008a84"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1528779212"],"tag":"AbiUInt"},{"contents":[256,"27525942198242328683887181112471737439383033304962445423436798399882619792926"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000035306","0x000000000000000000000000000000000000000000000000000000000000a2a4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000f02c","0x0000000000000000000000000000000000000000000000000000000000006ab3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000049578","0x0000000000000000000000000000000000000000000000000000000000005829"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0xd615c52d5AE16Ad8b6Ec4654D85753263437D50f","tag":"AbiAddress"},{"contents":[128,"105"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000d5eb","0x000000000000000000000000000000000000000000000000000000000000276c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000738ba","0x00000000000000000000000000000000000000000000000000000000000013a7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003592e","0x000000000000000000000000000000000000000000000000000000000000d309"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"112548880620904881002432750944479033088012088276721034591891152795369840159706"],"tag":"AbiUInt"},{"contents":[256,"63188798288078954679049730364134283716736869475797520092711518695118627864417"],"tag":"AbiUInt"},{"contents":[256,"4370000"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507325"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"103341669607937526847792388018259596086634727404052243227921841981179892132587"],"tag":"AbiUInt"},{"contents":[256,"10211419809743047655286892628747840956607625336899856488002904961976311990368"],"tag":"AbiUInt"},{"contents":[256,"71638964544185244069669748991046137780530219605611648399600658437368595592007"],"tag":"AbiUInt"},{"contents":[256,"114824763627960255454724202098659674748472972060406244304055917309097932643750"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629934"],"tag":"AbiUInt"},{"contents":[256,"54070629479648760325790208461000459227038796790555119488353949265809001530872"],"tag":"AbiUInt"},{"contents":[256,"3600"],"tag":"AbiUInt"},{"contents":[256,"58882281148915628440950609515639577540436447279186182815237145556640456385545"],"tag":"AbiUInt"},{"contents":[256,"42928056116802420550712680213948308609345451522335972882994868598243585340941"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636334"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639910"],"tag":"AbiUInt"},{"contents":[256,"531"],"tag":"AbiUInt"},{"contents":[256,"10411358859684424634137070165132945645881083621937"],"tag":"AbiUInt"},{"contents":[256,"89455424854288793850632490217270447200499802890576333145008181742739492806177"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003364e","0x0000000000000000000000000000000000000000000000000000000000009222"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000000000000005b489adf"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000022eed","0x0000000000000000000000000000000000000000000000000000000000000de9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"736"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b060","0x000000000000000000000000000000000000000000000000000000000000cf0a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002028","0x000000000000000000000000000000000000000000000000000000000000e0d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000060f36","0x0000000000000000000000000000000000000000000000000000000000005562"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"443"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077bdc","0x000000000000000000000000000000000000000000000000000000000000c2c3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"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"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000f7dd","0x000000000000000000000000000000000000000000000000000000000000cf21"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"40672765403087299027788308912696555188342565425246918678593834661473479363790"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000738ed","0x000000000000000000000000000000000000000000000000000000000000acc6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"61475007051465002399166429700522682179608514161068082260703919413054264019400"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000056452","0x00000000000000000000000000000000000000000000000000000000000017cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"88905098481491210378044027660371781427347358744459858063377492202487901528450"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005478e","0x000000000000000000000000000000000000000000000000000000000000948c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"1534679223"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000011","0x0000000000000000000000000000000000000000000000000000000000005569"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"26189518304489763406400934785708878248834628602111603297911507315267581079677"],"tag":"AbiUInt"},{"contents":[256,"1536972138"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042ff7","0x00000000000000000000000000000000000000000000000000000000000088ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b054","0x000000000000000000000000000000000000000000000000000000000000c00f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"198"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000287a","0x000000000000000000000000000000000000000000000000000000000000cade"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"106246170629441749660857800330603233058341647035285530089669485339765995039879"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000243ea","0x000000000000000000000000000000000000000000000000000000000000c8b5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"24074026052783078951651723064338309252598214017906139663544904466529937339491"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000040686","0x00000000000000000000000000000000000000000000000000000000000005ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"450"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000429fe","0x0000000000000000000000000000000000000000000000000000000000003657"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"96450091549098856750915601844828239665388091687939014398236095910768923802391"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a164","0x000000000000000000000000000000000000000000000000000000000000b5b3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":[256,"684"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077179","0x0000000000000000000000000000000000000000000000000000000000000450"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":[256,"110792794163257707716255858175063672300434570785540158542552396765797048188462"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f792","0x000000000000000000000000000000000000000000000000000000000000d363"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"1531288381"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005eb4f","0x0000000000000000000000000000000000000000000000000000000000002af0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"49856395985078990010259612816552207987608020285309661306682143830241620369226"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074da7","0x000000000000000000000000000000000000000000000000000000000000a57a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x9Ce3ccDa21da4b0c4b49258615315F9041f218D8","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003c17d","0x0000000000000000000000000000000000000000000000000000000000004b17"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"38096617271582218166270057667204378951992482569277090242973437174117587813018"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005bd3f","0x0000000000000000000000000000000000000000000000000000000000004ea0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":[256,"92973765531944648498032419683767960437475813846345472660316419430066796129983"],"tag":"AbiUInt"},{"contents":[256,"1534769620"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046a66","0x00000000000000000000000000000000000000000000000000000000000036d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006377e","0x0000000000000000000000000000000000000000000000000000000000000018"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003dc","0x0000000000000000000000000000000000000000000000000000000000000c89"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000049a1c","0x000000000000000000000000000000000000000000000000000000000000776b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"B\\201\\154\\241\\178\\144\\147\\207\\185\\236\\ETXg\\ESC\\247#\\SI+?\\216\\190{N\\211\\nhm\\STX\\ENQP\\245\\&2\\229\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008b1b1","0x000000000000000000000000000000000000000000000000000000000000aef5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"94"],"tag":"AbiUInt"},{"contents":[8,"201"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002beed","0x000000000000000000000000000000000000000000000000000000000000599c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"22816985898996770994323745832608018645337513955570809352832"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000772ff","0x0000000000000000000000000000000000000000000000000000000000007ae1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"J\\r\\193\\242P/7\\236C\\255\\243\\200Zv\\165/ \\DC4\\204\\DC4%\\138f\\243\\241\\214\\ETB6\\r\\197i\\252\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003c1f6","0x0000000000000000000000000000000000000000000000000000000000001860"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf19","0x0000000000000000000000000000000000000000000000000000000000004092"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"1529367371"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000033a44","0x0000000000000000000000000000000000000000000000000000000000000023"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"1526616830"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0e","0x000000000000000000000000000000000000000000000000000000000000090d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"35320900934025379881662693395614336322900003194798657325372160229748807570477"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000232cc","0x0000000000000000000000000000000000000000000000000000000000008141"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x1922902ff94861bc5538704CCB7b3930320d4474","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xb8C2d58ec1aF15eE5B2C5Fff51258BD3b7288F72","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005ea78","0x000000000000000000000000000000000000000000000000000000000000bde2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"1539186320"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000081ffe","0x0000000000000000000000000000000000000000000000000000000000001176"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006e049","0x0000000000000000000000000000000000000000000000000000000000003b1c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000035b","0x000000000000000000000000000000000000000000000000000000000000001f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"6142824291"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002bf9e","0x0000000000000000000000000000000000000000000000000000000000000c3b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]