[{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"628"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb26","0x0000000000000000000000000000000000000000000000000000000000003f7e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000067","0x000000000000000000000000000000000000000000000000000000000000d13a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639903"],"tag":"AbiUInt"},{"contents":[256,"4631711780279466560670382912529246441805525469835934731770008163965638556133"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5e","0x0000000000000000000000000000000000000000000000000000000000000005"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000008b","0x0000000000000000000000000000000000000000000000000000000000000064"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035139"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b2da","0x0000000000000000000000000000000000000000000000000000000000000017"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"6"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fb","0x00000000000000000000000000000000000000000000000000000000000009cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34f","0x000000000000000000000000000000000000000000000000000000000000003d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":[256,"86400"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000046","0x0000000000000000000000000000000000000000000000000000000000005d4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc12","0x0000000000000000000000000000000000000000000000000000000000000088"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\192\\235\\ACK\\214tFw`R\\183\\DC4\\212\\222\\131\\&2J\\204\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250A\\167\\254\\239\\206<\\192l\\148_\\ri\\237\\237\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\154\\183\\181\\&2\\222\\209A=m\\255\\143\\175n\\165\\EOT\\EMG\\166\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\226\\170\\217\\USN>\\198w\\184HN\\140\\&2a\\ACK\\237t\\227\\152\\137\\157j\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230C\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\152\\158\\220\\162i\\145{\\246Qw:UZF\\191\\203\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\245z\\DC4\\GS\\ACK\\255>\\SUB\\206\\&7\\200\\198\\252\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\133\\160\\&5\\235j\\187.\\230\\156Th\\148\\210\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238UHcF\\DEL\\194\\212o\\227\\232y+\\224\\149\\220D\\196\\129\\DC2$\\239m\\236\\217\\230\\DC1\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\NAKi\\243\\EM\\211\\EM_\\131$9\\166f\\226)!\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\141\\225\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225>\\206\\249\\192\\186X\\194j/\\209\\238}\\151\\157\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\168\\163E&\\163@\\200\\160\\180K\\133\\NUL.T\\228w\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\DC4\\142\\133@\\b\\190;9R\\217`\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\218T\\b\\167\\207\\STX\\179\\240\\DC2\\245\\181\\\\\\SIx\\248\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\226\\\\\\194\\178\\209\\&0^\\GS\\ESC\\163\\239\\138\\STX\\226\\205%?\\139\\SUB\\205\\165|]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\228\\227\\EOT\\207\\248\\ENQ\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\bT\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\196*\\228~1\\213|\\254\\ETXbY\\167\\245=\\245\\228\\246\\236\\159\\147\\176e\\238\\254\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\223\\149\\131\\EOTY\\179o\\223\\ETB\\CANl\\SYN\\206\\SO\\205]\\137\\149\\133O\\231>#(\\229= \\178\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\177\\244\\SUB\\241\\SOH#\\161\\238\\199}\\159\\163\\&3\\DLE\\ETBI\\230\\187\\153?KW\\229\\213O\\234\\224\\238v\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\170\\191\\153\\134\\181\\135\\208\\179\\157\\169\\157<\\225a\\\"h\\DC2\\151\\ETX\\238\\218#\\186\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\138\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\242\\141kjL1\\169\\167aW\\240\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161U\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\211\\ACK\\249\\146P\\149\\151\\210\\190\\ETB\\152y{\\SOH\\249K\\134\\223\\168\\227+\\138\\FS5\\235\\188\\203\\208l{\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"+~\\250Z\\237b*1\\133}\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\241^\\166\\246\\CAN,7\\160\\199(}\\249\\128\\USci\\134\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\185\\198k\\130o\\138s\\182\\SOHxpr(Y\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\253\\250\\206\\154\\154\\146'\\251\\206A\\234\\130\\189\\137x\\215\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"`\\EMh\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166X\\247(\\211\\211\\148\\&7g\\195\\253\\188k0\\209\\164TV\\152\\\\\\USH\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CANH\\GS2\\176\\176\\172\\fz\\201\\EOT\\180:\\189\\207V\\167\\227S\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\244R\\255Wer\\218\\&6u\\ETB\\ETBe\\153\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\&9\\SOH\\161\\208\\237\\169\\DLE\\160\\174\\180\\215\\STX\\159\\237\\235\\&8w\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\232[_\\187_\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\EOT\\235\\156<G*\\GS\\132\\143._\\168\\248\\237\\219\\208Q\\133\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\ACK\\SOH\\143'\\a\\212\\SI\\171\\211\\\\\\176\\208\\202\\&8\\182\\SO\\237h\\US\\194\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\242\\239v\\142\\213\\157\\248=\\r\\DC4\\184\\177\\255\\238\\226\\136\\143\\252\\165,k\\US\\215\\&7\\229\\vU\\239\\244\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\182\\206\\223\\235\\162\\161}\\231\\136\\188\\237\\172\\254\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175ys\\181\\SOH\\251K(\\156xx\\177~\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\147\\158\\128jPV\\187\\SYN\\b\\160\\156\\195 \\253\\&2\\255\\129[\\157\\182?7O\\192\\150\\158\\216\\255\\198\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"Lh\\NULt\\ESC4\\217\\135\\200\\139\\ETX]-lZf|\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\158D\\186\\fal\\203\\226\\140\\137.\\197\\v/l=\\245\\242L\\192\\132\\194jh\\206\\157\\\"\\152\\201\\ENQ,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\SYN\\133\\t\\CAN\\170\\\\eJl\\180:U\\181\\132\\ACKay*v\\245w\\242H\\225\\252/\\187\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\ETXN\\DC1\\139\\EM\\174A\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\223\\205\\184\\139*\\DC1\\163\\156\\150\\190KST\\141\\225\\155h\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\248\\243\\SIk\\250\\173y\\248gj\\217\\208\\254.>\\nx\\160T\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228{\\209\\223(\\EOT\\153\\218\\SYNX\\151F\\249]\\152\\144\\143\\ENQm\\199YG\\145\\245\\DLE1\\255\\226\\DC2\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219W\\182\\196\\250S\\RS{\\245R<H~\\209V6\\237\\DC3\\NUL\\189\\210r\\208l\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\160\\NULA\\SYN\\177T\\165\\173\\r\\199\\168\\DELl\\208\\240\\233%\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181% 5\\211\\250\\141\\131\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\254\\137CC[\\SOGnB\\SOe&\\NAK\\229\\240D\\134^\\147\\b\\r[\\234u\\253\\179\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\197\\131~\\153#^\\252\\144o\\FS\\224@Q\\152\\184\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\136F\\132O\\145\\205\\250\\128]\\190\\211;\\214t\\140;jp\\133\\210\\SO?\\186\\155\\189\\238/\\207\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\128\\200)aB\\233r\\USJ\\212\\235\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\208\\141\\SYNo\\ESC\\235\\141\\DC1\\154\\&0\\252\\169\\146\\n\\DEL(\\aq\\183\\159~\\ENQo\\190\\236P\\t!\\174\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\152\\170\\168\\200\\203\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\249\\236\\GSn\\181\\238\\161l\\EM\\140\\163\\230=\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\183\\151/\\209\\ETXv\\DLE\\143\\171\\FS\\254\\213\\155\\165\\\"\\184\\187\\&8hD\\187\\132\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\\\\\NUL7\\254\\SUB8\\184I\\151\\&1\\194\\190\\205;Zwc\\253\\162\\202\\SOI\\222y\\249\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\219\\&0\\SYN\\188\\ACK\\238\\133\\228\\243\\232\\STX.\\247F\\228\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\DC4\\201\\USx\\172\\219\\195\\227\\DC1j1\\192x\\\\P\\NAK\\164\\245\\214\\&6\\172\\224\\195\\249\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\148\\206\\241,yl\\225\\192I\\202\\145\\167qq\\DC1\\246O\\253\\CAN\\ENQ'\\223\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"0Eo\\191\\244\\245\\207\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"|\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUBo\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\204O\\154\\134k\\224n\\144\\157\\203\\214.[\\166\\RS\\248N\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\239\\246\\174\\253\\148p\\240\\220\\166\\201\\171\\130\\248*\\230\\154\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"*\\240\\&2\\224\\139G\\247\\DC2\\GS\\207\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\v\\232\\240eR\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\213vnA\\186\\165\\166_,t\\130Z\\EM\\156\\US\\237h\\234D\\EOT\\b\\187\\187\\207\\210\\FSC(V\"","tag":"AbiBytesDynamic"},{"contents":"\"t1Q7\\DLE\\178\\207\\241W';\\241\\128\\197\\DC2\\142_)\\STX\\r=\\200\\141\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\231T\\242V\\249\\172o\\221O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\d\\246\\165\\251\\147\\216\\198\\233\\237\\235\\153\\232l\\132r\\131\\166+\\141\\224O0\\NAK&?\\DC27\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\232\\215|N\\165\\171\\141\\153\\128\\&6\\206\\152\\252\\206{kQ\\178+\\230\\&9\\SOH`\\217\\207O)\\148!\\229\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\173\\141]$h\\DEL\\156\\144\\210g\\b!\\162\\RS}\\172\\163Q\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\197\\234\\156\\150\\162\\144\\fQ\\241\\t&\\t)\\180\\182g?\\179b\\181\\170\\217\\EOT\\164\\167\\138\\202\\243\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201~\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK;\\\"\\CAN.\\SUB\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\212^\\205\\133=B\\190\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"YI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\r\\154fF\\222\\n\\181Y\\241?\\234#\\159\\&4\\159\\133\\198\\220\\146@\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"zu\\188'\\132\\139\\199\\128'd\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\186\\248\\193 \\130\\&1\\SO+a\\214\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160(pq\\179\\247\\186N\\t\\207\\133\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\223\\247\\&1\\RS^T\\148\\DLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\215\\147\\192-\\209+\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\ETB\\b\\146\\191#N\\RS\\189-\\173c\\148\\235^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\&8\\248\\221g\\220]\\217Yd\\149\\DEL\\DC1w\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\148\\132?\\217\\250\\240\\NAKv\\EM\\174?\\154\\248~[\\FS\\129\\198\\143\\142&\\253\\166\\169y\\223\\168\\133\\ACK\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\166\\223:\\136\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\197\\164\\192\\&19h'\\236\\140\\136\\147\\133\\149 \\140W\\254^\\243A\\rx\\161\\170\\186\\196\\217\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\157\\US\\220\\154e|\\175z\\137\\197v\\137\\138\\RS\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"xIo-\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224Xn\\CAN\\198\\&2\\192\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\SI\\211:\\183\\\\\\214fX\\187\\156' Q\\SI\\248\\ETB\\150\\US\\188\\229\\173zA\\159!(P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\233\\\\\\137}\\235D\\207\\237g\\DC2\\n\\173\\CAN,\\176\\218\\194\\r\\153f'x\\144\\153\\144B\\131\\192\\222\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\" \\134\\&6\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\255V\\184JI9\\152\\221\\159\\EOTT\\208\\DC2\\217\\CAN\\DC3\\185\\f\\129\\192\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\199\\DLE\\138\\177Az\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\&4\\235M\\230IL\\t^\\NULI\\247O\\178\\173\\133\\ENQ\\203\\161\\168\\192\\130\\175\\DC2\\129\\250\\t\\151'\\186Y\"","tag":"AbiBytesDynamic"},{"contents":"\"gH\\187#\\155D`\\136\\157\\233\\228\\235\\213o\\171\\225\\255Z\\EOT\\225\\215\\192?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\253d]\\226\\229`\\164\\188\\227\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\215\\147\\192-\\209+\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\ETB\\b\\146\\191#N\\RS\\189-\\173c\\148\\235^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\&8\\248\\221g\\220]\\217Yd\\149\\DEL\\DC1w\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\148\\132?\\217\\250\\240\\NAKv\\EM\\174?\\154\\248~[\\FS\\129\\198\\143\\142&\\253\\166\\169y\\223\\168\\133\\ACK\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\166\\223:\\136\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\197\\164\\192\\&19h'\\236\\140\\136\\147\\133\\149 \\140W\\254^\\243A\\rx\\161\\170\\186\\196\\217\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\157\\US\\220\\154e|\\175z\\137\\197v\\137\\138\\RS\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"xIo-\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224Xn\\CAN\\198\\&2\\192\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\SI\\211:\\183\\\\\\214fX\\187\\156' Q\\SI\\248\\ETB\\150\\US\\188\\229\\173zA\\159!(P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\233\\\\\\137}\\235D\\207\\237g\\DC2\\n\\173\\CAN,\\176\\218\\194\\r\\153f'x\\144\\153\\144B\\131\\192\\222\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\" \\134\\&6\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\255V\\184JI9\\152\\221\\159\\EOTT\\208\\DC2\\217\\CAN\\DC3\\185\\f\\129\\192\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\199\\DLE\\138\\177Az\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\&4\\235M\\230IL\\t^\\NULI\\247O\\178\\173\\133\\ENQ\\203\\161\\168\\192\\130\\175\\DC2\\129\\250\\t\\151'\\186Y\"","tag":"AbiBytesDynamic"},{"contents":"\"gH\\187#\\155D`\\136\\157\\233\\228\\235\\213o\\171\\225\\255Z\\EOT\\225\\215\\192?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\253d]\\226\\229`\\164\\188\\227\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\215\\147\\192-\\209+\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\ETB\\b\\146\\191#N\\RS\\189-\\173c\\148\\235^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\&8\\248\\221g\\220]\\217Yd\\149\\DEL\\DC1w\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\148\\132?\\217\\250\\240\\NAKv\\EM\\174?\\154\\248~[\\FS\\129\\198\\143\\142&\\253\\166\\169y\\223\\168\\133\\ACK\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\166\\223:\\136\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\197\\164\\192\\&19h'\\236\\140\\136\\147\\133\\149 \\140W\\254^\\243A\\rx\\161\\170\\186\\196\\217\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\157\\US\\220\\154e|\\175z\\137\\197v\\137\\138\\RS\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"xIo-\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224Xn\\CAN\\198\\&2\\192\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\SI\\211:\\183\\\\\\214fX\\187\\156' Q\\SI\\248\\ETB\\150\\US\\188\\229\\173zA\\159!(P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\233\\\\\\137}\\235D\\207\\237g\\DC2\\n\\173\\CAN,\\176\\218\\194\\r\\153f'x\\144\\153\\144B\\131\\192\\222\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\" \\134\\&6\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\255V\\184JI9\\152\\221\\159\\EOTT\\208\\DC2\\217\\CAN\\DC3\\185\\f\\129\\192\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\199\\DLE\\138\\177Az\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\&4\\235M\\230IL\\t^\\NULI\\247O\\178\\173\\133\\ENQ\\203\\161\\168\\192\\130\\175\\DC2\\129\\250\\t\\151'\\186Y\"","tag":"AbiBytesDynamic"},{"contents":"\"gH\\187#\\155D`\\136\\157\\233\\228\\235\\213o\\171\\225\\255Z\\EOT\\225\\215\\192?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\253d]\\226\\229`\\164\\188\\227\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\215\\147\\192-\\209+\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\ETB\\b\\146\\191#N\\RS\\189-\\173c\\148\\235^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\&8\\248\\221g\\220]\\217Yd\\149\\DEL\\DC1w\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\148\\132?\\217\\250\\240\\NAKv\\EM\\174?\\154\\248~[\\FS\\129\\198\\143\\142&\\253\\166\\169y\\223\\168\\133\\ACK\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\166\\223:\\136\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\197\\164\\192\\&19h'\\236\\140\\136\\147\\133\\149 \\140W\\254^\\243A\\rx\\161\\170\\186\\196\\217\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\157\\US\\220\\154e|\\175z\\137\\197v\\137\\138\\RS\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"xIo-\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224Xn\\CAN\\198\\&2\\192\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\SI\\211:\\183\\\\\\214fX\\187\\156' Q\\SI\\248\\ETB\\150\\US\\188\\229\\173zA\\159!(P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\233\\\\\\137}\\235D\\207\\237g\\DC2\\n\\173\\CAN,\\176\\218\\194\\r\\153f'x\\144\\153\\144B\\131\\192\\222\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\" \\134\\&6\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\255V\\184JI9\\152\\221\\159\\EOTT\\208\\DC2\\217\\CAN\\DC3\\185\\f\\129\\192\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\199\\DLE\\138\\177Az\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\&4\\235M\\230IL\\t^\\NULI\\247O\\178\\173\\133\\ENQ\\203\\161\\168\\192\\130\\175\\DC2\\129\\250\\t\\151'\\186Y\"","tag":"AbiBytesDynamic"},{"contents":"\"gH\\187#\\155D`\\136\\157\\233\\228\\235\\213o\\171\\225\\255Z\\EOT\\225\\215\\192?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\253d]\\226\\229`\\164\\188\\227\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\215\\147\\192-\\209+\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\ETB\\b\\146\\191#N\\RS\\189-\\173c\\148\\235^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\&8\\248\\221g\\220]\\217Yd\\149\\DEL\\DC1w\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\148\\132?\\217\\250\\240\\NAKv\\EM\\174?\\154\\248~[\\FS\\129\\198\\143\\142&\\253\\166\\169y\\223\\168\\133\\ACK\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\166\\223:\\136\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\197\\164\\192\\&19h'\\236\\140\\136\\147\\133\\149 \\140W\\254^\\243A\\rx\\161\\170\\186\\196\\217\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\157\\US\\220\\154e|\\175z\\137\\197v\\137\\138\\RS\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"xIo-\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224Xn\\CAN\\198\\&2\\192\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\SI\\211:\\183\\\\\\214fX\\187\\156' Q\\SI\\248\\ETB\\150\\US\\188\\229\\173zA\\159!(P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\233\\\\\\137}\\235D\\207\\237g\\DC2\\n\\173\\CAN,\\176\\218\\194\\r\\153f'x\\144\\153\\144B\\131\\192\\222\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\" \\134\\&6\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\255V\\184JI9\\152\\221\\159\\EOTT\\208\\DC2\\217\\CAN\\DC3\\185\\f\\129\\192\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\199\\DLE\\138\\177Az\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\&4\\235M\\230IL\\t^\\NULI\\247O\\178\\173\\133\\ENQ\\203\\161\\168\\192\\130\\175\\DC2\\129\\250\\t\\151'\\186Y\"","tag":"AbiBytesDynamic"},{"contents":"\"gH\\187#\\155D`\\136\\157\\233\\228\\235\\213o\\171\\225\\255Z\\EOT\\225\\215\\192?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\253d]\\226\\229`\\164\\188\\227\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\215\\147\\192-\\209+\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\ETB\\b\\146\\191#N\\RS\\189-\\173c\\148\\235^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\&8\\248\\221g\\220]\\217Yd\\149\\DEL\\DC1w\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\148\\132?\\217\\250\\240\\NAKv\\EM\\174?\\154\\248~[\\FS\\129\\198\\143\\142&\\253\\166\\169y\\223\\168\\133\\ACK\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\166\\223:\\136\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\197\\164\\192\\&19h'\\236\\140\\136\\147\\133\\149 \\140W\\254^\\243A\\rx\\161\\170\\186\\196\\217\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\157\\US\\220\\154e|\\175z\\137\\197v\\137\\138\\RS\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"xIo-\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224Xn\\CAN\\198\\&2\\192\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\SI\\211:\\183\\\\\\214fX\\187\\156' Q\\SI\\248\\ETB\\150\\US\\188\\229\\173zA\\159!(P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\233\\\\\\137}\\235D\\207\\237g\\DC2\\n\\173\\CAN,\\176\\218\\194\\r\\153f'x\\144\\153\\144B\\131\\192\\222\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\" \\134\\&6\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\255V\\184JI9\\152\\221\\159\\EOTT\\208\\DC2\\217\\CAN\\DC3\\185\\f\\129\\192\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\199\\DLE\\138\\177Az\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\&4\\235M\\230IL\\t^\\NULI\\247O\\178\\173\\133\\ENQ\\203\\161\\168\\192\\130\\175\\DC2\\129\\250\\t\\151'\\186Y\"","tag":"AbiBytesDynamic"},{"contents":"\"gH\\187#\\155D`\\136\\157\\233\\228\\235\\213o\\171\\225\\255Z\\EOT\\225\\215\\192?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\253d]\\226\\229`\\164\\188\\227\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\215\\147\\192-\\209+\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\ETB\\b\\146\\191#N\\RS\\189-\\173c\\148\\235^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\&8\\248\\221g\\220]\\217Yd\\149\\DEL\\DC1w\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\148\\132?\\217\\250\\240\\NAKv\\EM\\174?\\154\\248~[\\FS\\129\\198\\143\\142&\\253\\166\\169y\\223\\168\\133\\ACK\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\166\\223:\\136\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\197\\164\\192\\&19h'\\236\\140\\136\\147\\133\\149 \\140W\\254^\\243A\\rx\\161\\170\\186\\196\\217\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\157\\US\\220\\154e|\\175z\\137\\197v\\137\\138\\RS\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"xIo-\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224Xn\\CAN\\198\\&2\\192\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\SI\\211:\\183\\\\\\214fX\\187\\156' Q\\SI\\248\\ETB\\150\\US\\188\\229\\173zA\\159!(P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\233\\\\\\137}\\235D\\207\\237g\\DC2\\n\\173\\CAN,\\176\\218\\194\\r\\153f'x\\144\\153\\144B\\131\\192\\222\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\" \\134\\&6\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\255V\\184JI9\\152\\221\\159\\EOTT\\208\\DC2\\217\\CAN\\DC3\\185\\f\\129\\192\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\199\\DLE\\138\\177Az\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\&4\\235M\\230IL\\t^\\NULI\\247O\\178\\173\\133\\ENQ\\203\\161\\168\\192\\130\\175\\DC2\\129\\250\\t\\151'\\186Y\"","tag":"AbiBytesDynamic"},{"contents":"\"gH\\187#\\155D`\\136\\157\\233\\228\\235\\213o\\171\\225\\255Z\\EOT\\225\\215\\192?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\253d]\\226\\229`\\164\\188\\227\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\215\\147\\192-\\209+\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\ETB\\b\\146\\191#N\\RS\\189-\\173c\\148\\235^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\&8\\248\\221g\\220]\\217Yd\\149\\DEL\\DC1w\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\148\\132?\\217\\250\\240\\NAKv\\EM\\174?\\154\\248~[\\FS\\129\\198\\143\\142&\\253\\166\\169y\\223\\168\\133\\ACK\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\166\\223:\\136\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\197\\164\\192\\&19h'\\236\\140\\136\\147\\133\\149 \\140W\\254^\\243A\\rx\\161\\170\\186\\196\\217\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\157\\US\\220\\154e|\\175z\\137\\197v\\137\\138\\RS\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"xIo-\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224Xn\\CAN\\198\\&2\\192\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\SI\\211:\\183\\\\\\214fX\\187\\156' Q\\SI\\248\\ETB\\150\\US\\188\\229\\173zA\\159!(P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\233\\\\\\137}\\235D\\207\\237g\\DC2\\n\\173\\CAN,\\176\\218\\194\\r\\153f'x\\144\\153\\144B\\131\\192\\222\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\" \\134\\&6\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\255V\\184JI9\\152\\221\\159\\EOTT\\208\\DC2\\217\\CAN\\DC3\\185\\f\\129\\192\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\199\\DLE\\138\\177Az\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\&4\\235M\\230IL\\t^\\NULI\\247O\\178\\173\\133\\ENQ\\203\\161\\168\\192\\130\\175\\DC2\\129\\250\\t\\151'\\186Y\"","tag":"AbiBytesDynamic"},{"contents":"\"gH\\187#\\155D`\\136\\157\\233\\228\\235\\213o\\171\\225\\255Z\\EOT\\225\\215\\192?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\253d]\\226\\229`\\164\\188\\227\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\&2^\\168\\FS\\218\\212U\\201\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244-\\STXo\\184$\\\\\\248a-\\147n`\\167\\153`(?\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\252m\\203=\\155C\\168M\\166Jh\\166Qo\\211)\\156O6?\\172O\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030333"],"tag":"AbiUInt"},{"contents":[256,"8675201140334"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639842"],"tag":"AbiUInt"},{"contents":[256,"37694343277869949313040795592071610508498611680495703515388880469769493710371"],"tag":"AbiUInt"},{"contents":[256,"36769487926388319308283494827689181769470192697909099541838804365820605457365"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011519"],"tag":"AbiUInt"},{"contents":[256,"89380524678463166987733212567786768699913412074021759992663217244345071380239"],"tag":"AbiUInt"},{"contents":[256,"81039673306627403970229501982872363025592099217516400686122639509129629885389"],"tag":"AbiUInt"},{"contents":[256,"54447667351403400688653179395361254812224216644789866572853733319094075611693"],"tag":"AbiUInt"},{"contents":[256,"17971582659335672360614410123419611470937955201842336262748198833050309384117"],"tag":"AbiUInt"},{"contents":[256,"71637174994444475635571066680989719121401998091488965984515607128827379038541"],"tag":"AbiUInt"},{"contents":[256,"9998"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634934"],"tag":"AbiUInt"},{"contents":[256,"22"],"tag":"AbiUInt"},{"contents":[256,"73994843124120033520826140493768359954455061532568782956622626099615641503891"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062335"],"tag":"AbiUInt"},{"contents":[256,"102843926214449197162338891665340130493896256331250972893399455149712282823535"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639937"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"4369999"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639836"],"tag":"AbiUInt"},{"contents":[256,"216933273870906930846308198147714196135111980245000060418671939495438832823"],"tag":"AbiUInt"},{"contents":[256,"65175598531952822602934066819160602184284510224232569579423549813173515190937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088322"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000004"],"tag":"AbiUInt"},{"contents":[256,"27341926047906660426188940268927920877988108278577473522745589181486046418829"],"tag":"AbiUInt"},{"contents":[256,"25"],"tag":"AbiUInt"},{"contents":[256,"9499378776970165293281049117485856625"],"tag":"AbiUInt"},{"contents":[256,"79466007956170621738419628425359247384906255214439092295671030568676597726045"],"tag":"AbiUInt"},{"contents":[256,"9998"],"tag":"AbiUInt"},{"contents":[256,"232"],"tag":"AbiUInt"},{"contents":[256,"49461695204781642351027113613019081556378310368922366010033824820445638766683"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"2556078959753185005953922231085028246081830850832327554786092986597547792913"],"tag":"AbiUInt"},{"contents":[256,"60263559002386093976079988314547092039795372843404333488822169623537418244337"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639815"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629932"],"tag":"AbiUInt"},{"contents":[256,"51578214452657489251550659784718375928832122623928006178551051695509672794956"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"503"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"113597876094094969561442698514128998215899703658183925989667386348790455742981"],"tag":"AbiUInt"},{"contents":[256,"92978243849754706921494515329786752920304238167998902051608943135916227049870"],"tag":"AbiUInt"},{"contents":[256,"92978243849754706921494515329786752920304238167998902051608943135916227049870"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000053","0x00000000000000000000000000000000000000000000000000000000000011a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"58"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000041a2","0x0000000000000000000000000000000000000000000000000000000000001388"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007eeef","0x0000000000000000000000000000000000000000000000000000000000000006"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"66600713410316081109965027199068259647050316455392486045894855073341047793417"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629935"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"83374865499815671458520610114861703514599742189787305034540150284337669853716"],"tag":"AbiUInt"},{"contents":[256,"83289560429871781759430797245874948983160816984105012936062112624942017577369"],"tag":"AbiUInt"},{"contents":[256,"4004353503572735021296237048308398318351660384087802586137808136829833078493"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c3","0x0000000000000000000000000000000000000000000000000000000000002ea6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"111124797926536232313739517033439054318121806074893340356518957488584431727220"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59a","0x00000000000000000000000000000000000000000000000000000000000013ad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"35464779383598389708598719912508543859630694864187911720547755006360503144574"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084276","0x00000000000000000000000000000000000000000000000000000000000001f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":[128,"167468416915956500512180693990519300166"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce53","0x000000000000000000000000000000000000000000000000000000000000dcb7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"22776540598249431923310476310984674686156584548911566237877909"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000382","0x00000000000000000000000000000000000000000000000000000000000012b9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065373","0x000000000000000000000000000000000000000000000000000000000000d9d9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd35","0x000000000000000000000000000000000000000000000000000000000000012a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1d","0x000000000000000000000000000000000000000000000000000000000000ca08"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"94600976415566519435939818595209231819616057720972602025678901494820742170579"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce53","0x000000000000000000000000000000000000000000000000000000000000dcc2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"18736796524180245440316193640963896697704197763812226649122003913659711242441"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0e","0x0000000000000000000000000000000000000000000000000000000000000079"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"29139933315563114590824382120347869580943594544919721665342206554363969607754"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce55","0x00000000000000000000000000000000000000000000000000000000000069fc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eafc","0x000000000000000000000000000000000000000000000000000000000000a295"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"401"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb19","0x0000000000000000000000000000000000000000000000000000000000000e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"1000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000214ca","0x0000000000000000000000000000000000000000000000000000000000004b9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"60444010502788421580624744439013384593762692304367215787583363712596277115607"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa2","0x0000000000000000000000000000000000000000000000000000000000001350"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":[256,"85912452145325874361697223846673519007982790324305146698448624893624620524510"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000037","0x0000000000000000000000000000000000000000000000000000000000004ddd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"19"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000042","0x0000000000000000000000000000000000000000000000000000000000001275"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacc","0x000000000000000000000000000000000000000000000000000000000000b44a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"962"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5b","0x0000000000000000000000000000000000000000000000000000000000002710"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005bd20","0x0000000000000000000000000000000000000000000000000000000000002c55"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"1002"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000068ec0","0x0000000000000000000000000000000000000000000000000000000000000402"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6f","0x00000000000000000000000000000000000000000000000000000000000012b5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"47430053800675864754449397913613889095190940027002604425414938884810263770375"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e954","0x0000000000000000000000000000000000000000000000000000000000003ac4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1313373038"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000065","0x00000000000000000000000000000000000000000000000000000000000009cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":[256,"46162195747494830444879760554654273257999618465916135405511542245841276555853"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab50","0x000000000000000000000000000000000000000000000000000000000000101a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"86400"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d50","0x000000000000000000000000000000000000000000000000000000000000129e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"652"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb24","0x00000000000000000000000000000000000000000000000000000000000035d6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"9999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f5","0x0000000000000000000000000000000000000000000000000000000000006ddb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"257"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c4","0x0000000000000000000000000000000000000000000000000000000000007e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a61","0x0000000000000000000000000000000000000000000000000000000000007e4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"29997676398473010998567444800492429557539626131104605555300192369179356964"],"tag":"AbiUInt"},{"contents":[256,"80491063351413253306115111319461419327031090523571152767946617382698845754248"],"tag":"AbiUInt"},{"contents":[256,"78"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005bd20","0x0000000000000000000000000000000000000000000000000000000000000025"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"111682570466979211809919695254919468959970275331141444801971365351855459214192"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639933"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb01","0x000000000000000000000000000000000000000000000000000000000000058d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"167"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdc","0x0000000000000000000000000000000000000000000000000000000000008197"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000085b27","0x0000000000000000000000000000000000000000000000000000000000000087"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"2003"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000041dae","0x0000000000000000000000000000000000000000000000000000000000001355"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000025","0x0000000000000000000000000000000000000000000000000000000000007e4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636334"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e952","0x0000000000000000000000000000000000000000000000000000000000000bd0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"51"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba5","0x000000000000000000000000000000000000000000000000000000000000b448"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007ce","0x0000000000000000000000000000000000000000000000000000000000001335"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"79228162514264337593543950336"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5d","0x0000000000000000000000000000000000000000000000000000000000000052"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000073718","0x000000000000000000000000000000000000000000000000000000000000e88a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e6","0x000000000000000000000000000000000000000000000000000000000000007f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba9","0x000000000000000000000000000000000000000000000000000000000000058f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":[256,"32040751206721151789390416352409064678915570236084784829328384468965516934124"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb30","0x000000000000000000000000000000000000000000000000000000000000107f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae0","0x000000000000000000000000000000000000000000000000000000000000136d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639833"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4e","0x0000000000000000000000000000000000000000000000000000000000000023"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000052","0x000000000000000000000000000000000000000000000000000000000000aed4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"73837236120477356475088294864635332383678126853861658314772800414743628308455"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427a","0x000000000000000000000000000000000000000000000000000000000000653e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164c","0x000000000000000000000000000000000000000000000000000000000000001a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[128,"309485009821345068724781052"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000006b","0x00000000000000000000000000000000000000000000000000000000000013ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000026","0x000000000000000000000000000000000000000000000000000000000000b448"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"48"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf7","0x0000000000000000000000000000000000000000000000000000000000001338"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"232"],"tag":"AbiUInt"},{"contents":[256,"81794640071858896672460706115968776852316619933486023369761517703827445642565"],"tag":"AbiUInt"},{"contents":[256,"16137776555978446264581300329599762877263537882088805833309548805052957811083"],"tag":"AbiUInt"},{"contents":[256,"33"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e13","0x0000000000000000000000000000000000000000000000000000000000002323"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0a","0x0000000000000000000000000000000000000000000000000000000000001356"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000007","0x0000000000000000000000000000000000000000000000000000000000001372"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e375","0x00000000000000000000000000000000000000000000000000000000000001f1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"105160930592356813723552074698087970192781189105182842761893390614589920411647"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce51","0x0000000000000000000000000000000000000000000000000000000000001273"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":[256,"3602"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000086","0x0000000000000000000000000000000000000000000000000000000000000f9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005f","0x0000000000000000000000000000000000000000000000000000000000001356"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"\"tooooooooooooooooUint256_outOfBounds\"","tag":"AbiString"},{"contents":"\"Y\\186^\\163\\244j\"","tag":"AbiString"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"79228162514264337593543950333"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639703"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"106519736416353176383495590569154971825330287258137747746054236768682361512536"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052403","0x00000000000000000000000000000000000000000000000000000000000000ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638937"],"tag":"AbiUInt"},{"contents":[256,"99999998"],"tag":"AbiUInt"},{"contents":[256,"54063111083222916674532815500441862726775727493584120875555824447394566158225"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000383","0x0000000000000000000000000000000000000000000000000000000000000023"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000101","0x00000000000000000000000000000000000000000000000000000000000035d9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"36334572645577509930891979854846421392212700782084312157338942871970952700589"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000030","0x0000000000000000000000000000000000000000000000000000000000001272"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639800"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fc00","0x000000000000000000000000000000000000000000000000000000000000e343"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea17","0x0000000000000000000000000000000000000000000000000000000000001388"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb29","0x0000000000000000000000000000000000000000000000000000000000000fa2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892771"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eadd","0x000000000000000000000000000000000000000000000000000000000000101d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e704","0x0000000000000000000000000000000000000000000000000000000000009206"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"79688055630420483204404651816042303950692808396883532359875951897182330423881"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c434","0x0000000000000000000000000000000000000000000000000000000000003c07"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"46990980361957569426284701888731907766748794836100960831041250696857163620991"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000004a55","0x0000000000000000000000000000000000000000000000000000000000005d4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"5"],"tag":"AbiUInt"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000008a","0x000000000000000000000000000000000000000000000000000000000000774b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000804a4","0x0000000000000000000000000000000000000000000000000000000000000231"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59f","0x0000000000000000000000000000000000000000000000000000000000000100"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"810"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000079","0x0000000000000000000000000000000000000000000000000000000000001328"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007fff","0x00000000000000000000000000000000000000000000000000000000000069fc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c4f1","0x000000000000000000000000000000000000000000000000000000000000dcc2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"56296130547768026160737291352113853962693301196145028289424894275547031118071"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c7","0x0000000000000000000000000000000000000000000000000000000000001358"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"206"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"59256691289040850415540950970616289235613611247028131638955082568398845036560"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084275","0x000000000000000000000000000000000000000000000000000000000000002f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb45","0x0000000000000000000000000000000000000000000000000000000000006ec9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639683"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002710","0x00000000000000000000000000000000000000000000000000000000000069ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"110"],"tag":"AbiUInt"},{"contents":[256,"71581942945919475086346644256979410839836194375514232945059483503509643802487"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232a","0x0000000000000000000000000000000000000000000000000000000000002605"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bd","0x000000000000000000000000000000000000000000000000000000000000003a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"97641992112346022756570553722870328627762043464740249747471884353073406307229"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000191f2","0x000000000000000000000000000000000000000000000000000000000000d8d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"9"],"tag":"AbiUInt"},{"contents":[8,"49"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000019","0x000000000000000000000000000000000000000000000000000000000000133f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe6","0x000000000000000000000000000000000000000000000000000000000000139d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639855"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4b","0x000000000000000000000000000000000000000000000000000000000000b2fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fa","0x0000000000000000000000000000000000000000000000000000000000000e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\177\\ENQ\\184\\167\\n\\141\\198\\190[-\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\246\\224\\179\\201}\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\252}.\\196=<k\\217\\SOHZ\\231-\\238\\129\\153\\193\\202\\150\\148\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f[\\DC3\\254\\&9\\225k\\DC3\\129\\162\\197\\226\\135\\240\\166Q`k\\167\\241\\DC1]p\\254#t\\\"i-\\216E\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\\156/pD(\\178|T\\144b\\142\\187&\\ENQN\\210VotM\\174\\ETB\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\165\\248?\\229\\191\\&2=\\GS\\STXS\\203\\128\\&7(\\EM\\248\\213\\207]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\ETX8\\v\\208\\244 \\242/0#[z.\\232\\208\\136\\EOT\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\144{\\DLE\\188\\RS\\184\\\\\\135\\176\\140\\236\\157\\ETX\\192\\205Q\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220%\\\"@V\\STX]\\ESC\\254\\229a\\163\\225\\213\\CAN\\195\\161\\252+\\227\\DC1\\176\\t`\\245\\170\\219\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246+d\\143\\162\\206p\\131\\177i\\208\\230[L\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\218\\216sC1W\\141Q\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128Z\\186g\\141\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\254\\251\\180\\181\\133\\210\\212\\240\\FS\\158\\152\\ENQ\\240\\132\\&7ps\\133\\225\\164\\v\\CAN)\"","tag":"AbiBytesDynamic"},{"contents":"\"Z5\\245\\185\\ESCc\\252\\150\\DC1\\200J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\245\\CAN\\169\\168\\230X\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\255\\166\\209d\\128\\192\\CAN\\146D\\149\\&9\\163m\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"te\\138\\188\\210&K\\r\\139\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\167h\\165=\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\NAK\\245\\131\\168a\\139\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\199\\228{\\204\\183\\242\\128\\183\\156\\EOTUu\\NAK!\\210\\129\\216\\aT\\SYN.\\207\\NUL\\166\\214my_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137zJ\\248\\223\\SUB\\179\\f\\175\\ACK<\\139=\\230$\\241w\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\242\\230q!\\216\\227f.\\243:\\171\\227\\211!^\\ETX\\212\\139\\232\\200q\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\US\\157/\\162\\207t\\249T\\135\\252\\163\\136\\220\\EOTJ\\194\\252\\\"\\DC3\\206\\236d\\252a\\132\\169\\190\\SUB\\180u\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"a)\\250\\195a\\156YD$\\228\\&9\\182\\190\\179\\178\\233\\225EJh\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178r\\FS\\187\\133\\132tl\\CAN\\164$\\244\\180\\DC4\\239&f\\DEL\\FS\\240\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247s\\DEL\\221\\191\\201\\181\\DLEX\\t\\183Gg4\\STX\\139\\&6R\\170T\\FS[\\157vU.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\STX\\158\\172\\245\\US\\202\\203|\\227Y\\191\\232\\202\\t\\197L\\r\\199\\138\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\214U\\202<(\\128\\142\\215^#@k\\238t*Zt\\DC2\\223\\169[j\\250=\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\v\\218_\\234\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\219\\DC4\\203\\205$\\241\\247\\235\\221\\145\\168-J\\248DK\\208\\154\\205\\171\\149\\153\\194\\140\\213v\\204\\201\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\204kp\\132\\128\\DC2\\204\\169\\186\\213Z\\219/c\\251\\133\\132N\\175\\247\\200\\EM\\147\\vZ\\245/J\\205[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\132mgR\\234Nx\\215\\a\\163\\\"2\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ag\\242\\216\\157Z\\189U\\140\\150\\&2\\234#i\\191\\128\\&4\\ENQO:\\157\\170\\240\\176i\\ENQ\\183\\v\\178\\134\\223\\249\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\203\\n\\168\\154\\239\\a\\190U\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\211{\\237\\200?\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\131y\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213z\\213-AD\\189\\180\\254\\237\\157K\\DC4\\167h\\240\\SOm\\220M\\175%\\SOH\\180\\190w\\DEL\\254\\149\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\217O\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\134\\178r\\211T1\\178\\236\\DEL\\133 \\133\\212\\169S\\237\\197\\157@C9\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUBp\\142\\228\\219\\f\\232\\187K\\243/S&\\173Q\\185\\172\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\DC2w\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\\"g@\\169\\200\\NAK\\233\\199\\186\\230G\\184\\ESCf\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"Bx\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\234\\199E[\\193\\148\\154\\&0\\241\\186\\129\\151\\145f\\236\\191H\\255\\141k\\252\\DC2\\NUL\\130 \\185\\199\\163\\197\\234\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"qS\\215\\177\\253\\218}\\148\\214CJ\"","tag":"AbiBytesDynamic"},{"contents":"\")\\139\\ENQ\\ENQ\\174\\245\\236m\\142\\226:\\a\\220\\161\\139\\224`=F\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\r\\254c\\b\\157\\SUB\\227\\240\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\183\\NUL42\\173Q\\207\\172b\\230\\215\\164\\193}\\253'J\\210\\ACK5JN\\135\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\242\\n\\133\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163s\\210\\DC2\\183\\138\\242\\\"n\\246\\183c\\253\\131=\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SO\\185\\202Q\\177\\167Wn0y\\184\\175\\244B\\aS\\229(\\133\\181\\132@\\187\\223\\176\\159\\217\\149\\161\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTd\\223\\140\\185X\\241\\SUB)&\\227Y\\215\\142\\211\\188\\216\\236\\143r\\156V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\176'\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"Zo9\\136\\222\\231\\STX\\248\\170\\159\\131\\137\\213w\\155\\ACKf\\168i\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\179\\244Y\\SOH\\223\\217\\NULN0\\225W\\DC4\\189\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\159CE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\215\\173E\\142\\233!{t\\240v\\211\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"hnyJW\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\CANB\\155e-W\\218\\228\\228\\\"/\\211\\128\\155\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"39214983841820219392516145180459286784773375672296934624146372965275017414719"],"tag":"AbiUInt"},{"contents":[256,"39214983841820219392516145180459286784773375672296934624146372965275017414719"],"tag":"AbiUInt"},{"contents":[256,"39214983841820219392516145180459286784773375672296934624146372965275017414719"],"tag":"AbiUInt"},{"contents":[256,"39214983841820219392516145180459286784773375672296934624146372965275017414719"],"tag":"AbiUInt"},{"contents":[256,"39214983841820219392516145180459286784773375672296934624146372965275017414719"],"tag":"AbiUInt"},{"contents":[256,"39214983841820219392516145180459286784773375672296934624146372965275017414719"],"tag":"AbiUInt"},{"contents":[256,"39214983841820219392516145180459286784773375672296934624146372965275017414719"],"tag":"AbiUInt"},{"contents":[256,"39214983841820219392516145180459286784773375672296934624146372965275017414719"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950334"],"tag":"AbiUInt"},{"contents":[256,"66478408625591055365523922838501681073671330188821756623949994358934723144853"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266896"],"tag":"AbiUInt"},{"contents":[256,"443"],"tag":"AbiUInt"},{"contents":[256,"12252824796579678340782699903323818334347189365660268039314277222507704968274"],"tag":"AbiUInt"},{"contents":[256,"56519399160399425111890217687956079651372843968804321277964951944452419496042"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"67808187282533342361056399388585219385425395086970862923466642389665032281106"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"217"],"tag":"AbiUInt"},{"contents":[256,"93306746332378223705572203796344431543046380132510145229247037738640955560990"],"tag":"AbiUInt"},{"contents":[256,"15632018327310038495519055351571475965262611"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"98363569389518855024321908324084269854793744593495242646284423143797571876328"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908083"],"tag":"AbiUInt"},{"contents":[256,"313875670742811509"],"tag":"AbiUInt"},{"contents":[256,"4806635279131509815824918412147570625673934057551785467527638108395079132396"],"tag":"AbiUInt"},{"contents":[256,"91020860332139672185452033529487494442979293518673926726403640996239937274040"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"92584149856029449978440123017189385682256716640377743159065624776260374884735"],"tag":"AbiUInt"},{"contents":[256,"100000002"],"tag":"AbiUInt"},{"contents":[256,"12"],"tag":"AbiUInt"},{"contents":[256,"108341283243197035343119548641588881896591178888512907403538367486546890860882"],"tag":"AbiUInt"},{"contents":[256,"2003"],"tag":"AbiUInt"},{"contents":[256,"267834306087054736799973318880790895115499508757783333648161592135890259"],"tag":"AbiUInt"},{"contents":[256,"65417573820522113240146903560744874583301144371745315417380327582875912618607"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"87"],"tag":"AbiUInt"},{"contents":[256,"54625391973573181625151836373839978876312463354190518953922539073385709200577"],"tag":"AbiUInt"},{"contents":[256,"94603139663518729231287680800953543799065806399635367248779728496370159031911"],"tag":"AbiUInt"},{"contents":[256,"29801062716856437388871292363368129718487915605296926879985834330653872460856"],"tag":"AbiUInt"},{"contents":[256,"90806401971637688501215427033337840315903526123826465101558102627698875419916"],"tag":"AbiUInt"},{"contents":[256,"53828168368850967045380509913997734855897388713100026511924136827439206545549"],"tag":"AbiUInt"},{"contents":[256,"48468953424128725257606853483561364914674957769369738158767002593972879989998"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"66"],"tag":"AbiUInt"},{"contents":[256,"20643661652614717037440"],"tag":"AbiUInt"},{"contents":[256,"4826429392214429502065559019981332872400333395209318919292692970540211251843"],"tag":"AbiUInt"},{"contents":[256,"86399"],"tag":"AbiUInt"},{"contents":[256,"29006028894925055127079939428950422268021949804528297041913826629670171601885"],"tag":"AbiUInt"},{"contents":[256,"999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"16234891139503235550421683424919979500966895235124399433003876052500745788041"],"tag":"AbiUInt"},{"contents":[256,"22306396155653470211870349461274814929288984814142424159124703157500481808270"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030338"],"tag":"AbiUInt"},{"contents":[256,"83093607238594666164921199005699236636509755710586200041305758796107258487988"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609603"],"tag":"AbiUInt"},{"contents":[256,"96711476834335615657096259605018357653394173919887745330422952326354731291476"],"tag":"AbiUInt"},{"contents":[256,"104521132620269878464203986740966598194319457126260186571595230068325637518640"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639936"],"tag":"AbiUInt"},{"contents":[256,"13"],"tag":"AbiUInt"},{"contents":[256,"36573305366620057035312538696438646106826833168742731920157018116375421117813"],"tag":"AbiUInt"},{"contents":[256,"59716573267157034933181044150693910629556449180147164674028101425615733085057"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"11"],"tag":"AbiUInt"},{"contents":[256,"69104861808751402936160333974050213960533960034862996170132077185302806696391"],"tag":"AbiUInt"},{"contents":[256,"97108055208379794930630249313025192281439982996820529085821445724614409327366"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747167"],"tag":"AbiUInt"},{"contents":[256,"230119128833203504495718394216081181101043793628104452904385062394"],"tag":"AbiUInt"},{"contents":[256,"93223477201599201041061085277988513450469114020222373345411256967220631307241"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639639"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639634"],"tag":"AbiUInt"},{"contents":[256,"91264697825641866137951793092013058148350787131266070343828559294633240878950"],"tag":"AbiUInt"},{"contents":[256,"79"],"tag":"AbiUInt"},{"contents":[256,"2003"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639862"],"tag":"AbiUInt"},{"contents":[256,"9441735537411515236980252722892254818505880055210385771757738912336148637615"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639682"],"tag":"AbiUInt"},{"contents":[256,"158"],"tag":"AbiUInt"},{"contents":[256,"30722818996321815206482346930895329792889990573416687284927333659630533376301"],"tag":"AbiUInt"},{"contents":[256,"61064649119121401590829899285893260507247380801098958365283225098227947759144"],"tag":"AbiUInt"},{"contents":[256,"30141527257494619351159253030531312083058892959523195739410972116851955827271"],"tag":"AbiUInt"},{"contents":[256,"45163456544603569890905352251582748288249899950171930526111946778364259282211"],"tag":"AbiUInt"},{"contents":[256,"50846311853819813110772062364278497976790687562028055780510073427631494663744"],"tag":"AbiUInt"},{"contents":[256,"67814671508139008357507380552930234245794296083896235735537175481697669763877"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639933"],"tag":"AbiUInt"},{"contents":[256,"69332967409247229561487061642787484612891768116584669266470941216774532089245"],"tag":"AbiUInt"},{"contents":[256,"7615824518700794209478875203130183335264926659170964576323405286226267957658"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634933"],"tag":"AbiUInt"},{"contents":[256,"43345850472403049421576356026249775816597803629717177702586228886268684869474"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639835"],"tag":"AbiUInt"},{"contents":[256,"91800570345136650274360245550108895121316958282280138393210353529122233484209"],"tag":"AbiUInt"},{"contents":[256,"19249250970300063512139247960792182925694612639494991395902262010140146516261"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553534"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd39","0x0000000000000000000000000000000000000000000000000000000000001342"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]