[{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417345"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce4f","0x000000000000000000000000000000000000000000000000000000000000006a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858878"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea19","0x000000000000000000000000000000000000000000000000000000000000dcb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"283"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135a9","0x0000000000000000000000000000000000000000000000000000000000001385"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"1002"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000bf09","0x00000000000000000000000000000000000000000000000000000000000000e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000454ad","0x00000000000000000000000000000000000000000000000000000000000007cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"12966237754744014122200365674727931919494"],"tag":"AbiUInt"},{"contents":[256,"67763277121477121168866973226343792107762219129242865723966681960103433778059"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609601"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b3","0x0000000000000000000000000000000000000000000000000000000000003f82"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":[256,"49538033924389875779997192399116456054688280148414083749471768372174281940642"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bae","0x00000000000000000000000000000000000000000000000000000000000091bc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"102239983333736297541361309898411733600696441699465698421698518618416569831692"],"tag":"AbiUInt"},{"contents":[256,"94639170109671106502783775478613670095262565935761288657503340107584026095894"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d2","0x00000000000000000000000000000000000000000000000000000000000009d0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635936"],"tag":"AbiUInt"},{"contents":[256,"37382149748589563382512479647986396061947229943071274176663994355217345322462"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002713","0x000000000000000000000000000000000000000000000000000000000000a292"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"103122116841230526127426271172283967002177890732549524024548283691691610342209"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd33","0x0000000000000000000000000000000000000000000000000000000000008ec9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"189"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"31513075148977554935545044090872481667782869177979077060122621193096503442946"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bde","0x00000000000000000000000000000000000000000000000000000000000012ba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001051","0x0000000000000000000000000000000000000000000000000000000000001316"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\171oc+S\\245\\219A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\178;\\254\\145+\\192\\208ZU^\\254h\\214D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\133N\\186\\186\\253\\132(?\\224\\213S7\\vF\\FS\\147\\\\\\248B\\NAK\\201\\153\\210\\223\\175\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\ESC\\205K\\f\\179\\&4\\EOT\\STX\\201p\\225*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\FS\\145s\\227\\NUL\\SUB<\\223\\143*\\ETX\\243\\174\\188e&\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\228?\\SOf\\182\\200A<\\166\\\\\\r\\165s\\132\\ETB\\251O\\DLE@f\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\&7\\193\\193\\178\\164\\t&\\141<\\161\\189\\239;Pw0\\245\\&3\\175\\&3=\\136]:+\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\236\\168\\151\\148\\DLEl\\133\\186*\\FS\\226\\185\\183=9\\144(\\190&\"","tag":"AbiBytesDynamic"},{"contents":"\"gH;\\240\\136\\231K7\\173\\ENQX\\150\\152f~\\234\\183\\167\\nfMPH\\245\\r\\ACK\\223\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"c*\\NULI\\STX\\214\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"hI\\EM\\160\\148\\SOI;NP\\165\\SYN,$\\DC4\\255\\184>r5\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\156\\223J\\197m\\SUB\\NUL\\EOTG\\237\\NAK\\204\\&7\\216\\134\\227\\170m}\\\"P\\174z\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\233\\246|\\SOH9Q\\DEL\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\129t\\129\\207\\199\\250\\163\\162\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\151n\\194\\224fqW?\\247\\nB\\161x\\USUd\\212\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\DEL\\129\\\"I\\223\\157\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\248\\200\\DC2\\DEL\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\162}\\167\\vs\\191\\240\\175\\153\\147\\211\\138z\\151\\201\\EOT2=\\ETB\\224\\237\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\FS\\214\\215:\\212X\\163\\165U\\145\\166\\v\\128\\143\\205hfX!\\\\`\\158\\231eq\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\SYN\\229\\SOHw\\250\\ra\\218\\to\\ETB\\169eM\\250\\168\\143\\147\\190:\\167+{\\160\\NUL\\202\\242C^\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\241Z\\158\\fm\\211\\215\\181F\\161F\\239\\GS\\135\\226D\\215;\\188P\\193/\\128x6\\151\\185\\242\\r+p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153j\\180\\212\\253\\NAKx@W\\209\\211\\156\\142d+Y\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\202\\148\\137\\137}\\178\\156\\241Q\\151\\176]\\213\\SO\\216\\199\\206$\\241t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208Z\\150\\147\\228\\DC2\\128\\233\\175\\134A\\184\\207\\128\\241\\182\\174\\176\\230\\r\\169r)\\146\\f\\128\\222c\\SYN\\171\\171\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"7 \\250\\175:\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"*7\\243\\135M\\171\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"0{&\\227\\209\\218\\a\\244\\131h\\173\\r\\164k\\220\\240%\\207\\173\\247[CZ~/\\245r\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\202\\194\\229\\234]\\\"\\FS\\202Yq\\STX\\200\\130G\\149]\\176\\211\\200me\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\158\\144\\155??4\\226\\&9\\182\\t\\138K\\161\\216\\174o3LN\\145\\237f\\146\\215)}\\218\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\156><\\146\\189\\201\\ENQY\\164a\\186\\NAK@\\128\\216\\225,\\217~\\164b\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\204e\\249\\138\\210%mu^\\163&*#`\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188h\\223y\\150\\142\\246x~\\200\\225\\222\\137@\\136V\\189 p\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\DC4w\\STX[\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\238+\\193\\216\\140\\183K`s\\\\\\165^[\\231\\ACK\\156\\171\\\\k\\223\\252\\EM\\207T\\193\\199\\EM\\160'~\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\DLEL3jdD&\\171v\\133\\205\\134tav8y\\252\\201\\v:\\t\\128\\\\\\156\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\DC4\\159#\\197uu#\\180l\\218\\ETB\\134\\190\\245\\195\\153wK0S\\171\\149\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Mg\\213\\238\\241Q\\195\\135\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\137\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\189\\DC4\\196X\\149K\\245\\178\\130\\229\\231\\144\\238\\233]\\SOK\\155\\233\\EOT\\182\\STX\\163\\DC3\\223I\\ACKv\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\&0\\170uH\\153\\178\\214\\\"`\\175\"","tag":"AbiBytesDynamic"},{"contents":"\";\\213\\204\\151\\172\\171\\RS\\143r\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"u<\\196\\170i\\241\\230\\GS!\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"%!@r\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\SOH$m\\136\\150\\202\\215\\DC2{\\199\\232-\\239QSf\\128{\\249\\214)'\\241h\\US\\163\\161\\180\\251fU\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170|zr{\\144\\223pN[\\159\\148\\ACK\\a\\157\\251?\\158\\145\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130e\\131\\139@G\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\129\\196\\141k?N\\250\\ETXV2q\\194\\NUL&\\224\\252\\205\\\"\\195=\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\198q\\209\\149\\165\\144{sx#\\212\\202+\\132a\\132\\&2\\213\\&4\\211|\\181\\188\\&2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173b~\\251\\201F\\EOT\\243\\EOT\\194pv\\207\\195N\\200\\185\\148\\229(\\235\\186mlQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\215\\168\\212\\244)\\221\\SOH$\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\196\\193\\129\\219\\ACKC~\\227>\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"L\\133\\vH\\NAK\\130k\\153q\\176 \\140\\246^d\\245%O\\229\\145\\238o\\EM'\\DC4\\SI.\\203W\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\USd\\148kg\\198\\239P\\140\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"Ml}\\EOT\\211\\r\\EOT\\242\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146P\\151\\166V\\n\\DC17\\170\\SUB\\STX\\192\\134#\\242\\&9\\DC3\\NULt\\229^\\175D\\249\\133Hh\\195\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"wT\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\144\\231\\248\\DC3\\166\\249\\194\\134$8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\180cC\\220\\139\\188k\\203\\175`\\216\\141\\&7\\199\\SO\\224@\\159\\DLEB\\134\\232\\253\\EOTk\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\226\\DC4\\ETB\\244l\\160\\CAN+\\bj\\201\\161l\\138\\187\\180t\\170\\246\\NAKD\\DC3\\\\\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"C?\\132\\191\\253V=\\128\\236\\t\\192\\159\\DC4_o\\188\\211\\216\\198\\131\\180\\nLE\\DC3\\155\\174\\206\\171\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\137\\146{:\\DEL\\212\\175\\130\\GSy\\168\\188C\\227\\b\\165P\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\215\\131ooF\\ESC/l\\236?\\134\\223\\226d\\190N\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\153\\148w.p\\NAK\\201\\247T\\181n@\\226\\176\\\"@\\DLE$\\215f\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\235k\\146_\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\199\\151\\212\\ETB\\222\\210\\245\\159\\134\\179\\213T\\215K\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\193x\\141\\195\\152\\ENQ\\202\\254\\172\\147\\173\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"}6\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\ETXUfi\\137J\\158\\203\\234\\194c\\135\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242}.#\\195\\197\\141\\150\\144;\\FSt\\172\\167\\DC3\\148`I\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"2g\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\NAK\\182\\176\\220=s\\179\\211\\181T\\204\\176\\188\\176\\129J\\155a\\ESC\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\&4\\FS\\249H)v\\SI\\DC1\\129\\NAK\\187*\\147\\US\\171\\233\\154\\191G P\\210\\242.'\\196\\t(\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"HQn`\\134\\212\\213\\&0\\DLE\\221\\200\\182w\\226\\v\\159\\248\\&3\\225\\253K<\\ACK,W\\251\\160\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146r\\162\\142YII\\194@\\130_\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238$\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\185\\162\\252)@\\ETB\\EOTg\\201\\EM\\208u\\182\\252\\227\\201\\167\\243\\SO0nA\\196\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3AA\\176\\143\\RS-C\\182\\251\\201\\&3\\129T\\131{\\246S\\ESC=b'%\\183\\208\\239\\255\\148{=\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\161\\233V\\DC3\\213a\\r\\205\\FS\\134]\\179\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"N\\139\\254\\171\\NAK\\175\\155$\\234\\253\\SUB\\215\\DEL\\DC2\\229\\227A\\221,\\216m\\255H'\\175\\233K\\226/FN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\224W\\208U\\234\\139\\193\\DC1\\180S\\138e@rU\\139\\144C4\\226\\141n\\176\\189/\\180\\138\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\208O\\\\\\234\\188&\\129\\226\\254\\t\\176\\&3S\\r\\178\\208\\151\\155\\182\\217\\249\\233\\241D&\\209\\202\\234X\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222:*\\203s\\b\\236\\tR(\"","tag":"AbiBytesDynamic"},{"contents":"\",\\166\\188\\228\\SOH\\198:\\155\\190\\SOH)\\233K\\214\\189C\\208\\245;\\202\\150@J\\136\\b\\NAK\\250p)\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\130\\DC2\\165\\241$\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228h\\183\\200\\223\\DELq\\158\\133r6\\180\\\"\\195\\223\\194\\US'su\\STX\\188\\vc\\US^B\\174\\237\\181l\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\248=\\ETX\\129\\139\\RS\\186\\238\\152\\a<\\146\\168\\b\\\"\\201yhz\\153\\130q\\236^$G\\192M\\168\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\213^,E\\201\\212P)-D\\207\\t\\173\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\147\\216\\175\\200R\\248\\&8\\174\\240\\186\\DLE\\155\\209\\DC3CV\\132j\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a[2\\142\\158\\215$\\198b|c\\239\\fg\\SOH\\223.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\206\\210\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\197z\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\" \\211\\170\\222\\239\\237\\185\\160\\SYN\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\141\\176J\\DC2\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\ETX<wO\\225\\229\\DLE@\\146\\STX\\184\\ETB\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\US\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132H\\200\\136\\138^\\241\\201~\\251\\151>\\FS%\\238w3q\\199\\230\\128\\177\\163\\239'\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255Fia\\SO\\182\\205\\192Zj-\\159\\&9\\133\\195%\\161;\\231\\142\\&9\\\\1\\250\\SYN\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\166s\\150W\\CAN\\250\\246\\194\\235\\235\\&8\\181\\EM\\161\\153\\223\\&8f@D\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\200\\STXm\\145|\\227\\227v#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235<\\US\\185\\246-\\246\\198_\\140b\\SUB\\245\\206`\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200Cuk!8\\157\\135\\245|+\\150\\152\\ACK&Q\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\208\\205\\209\\138\\147xl-\\205{\\ACK\\221\\243u\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ETX\\\\+\\EOTT2T&\\149\\152i\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS|bA\\173\\191\\207\\ETX\\248\\234\\136zTCg\\230\\186\\185if\\178Q\\205\\221\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\215<93*:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\207\\201\\179\\159\\201\\168_\\205\\NUL\\167\\GS~t(\\236\\\"W\\212\\135\\&3\\237\\200\\DC4\\147\\192\\164+\\238\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\155\\CAN\\159\\ETXL\\203\\ENQi\\237\\243\\159\\128\\EM#{\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"is\\131\\156\\244\\RSF?\\195\\237\\164\\&8\\SI\\146>\\237\\212Y\\130\\ENQ=Dm/\\247\\191H\\222\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\NUL\\220\\149j\\231\\\\\\151YE\\173,3\\196\\223T\\135\\218\\152G\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\&1.4\\218\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\193\\227\\217\\&3\\192\\ESC\\152R\\203k\\201\\205\\166\\210w\\SI\\161-\\148\\171i\\SI\\DEL?\\FS\\128\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\162\\144\\207x\\STX\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\211\\193\\&8=\\US\\EOT\\215\\140\\nx\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\234<!\\EOT\\216*7\\155\\139p\\177M\\247\\249\\155\\254Q\\209`\\ETB\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"Hq\\177\\251}\\242\\162]\\SO\\151\\181f\\tp\\140X\\142\\131\\196\\&4q@1\\220(Q/\\239#&\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\\"\\148\\217\\147k\\138*\\214D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\192Hp\\ETXf\\CAN-\\v\\150\\ETX\\164\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\157\\255\\212Y\\NUL\\GS\\181\\175\\188\\189\\DC1\\209\\FS\\147=\\ENQ\\187K[\\231\\156$\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\")5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\188<\\DC1\\238DE>.\\SUBK\\225\\201#\\134\\182\\252R\\NAK\\180\\216\\142\\249\\DLEM\\198-\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\bf\\138R>\\128\\144\\&0\\155\\211\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\203\\183p\\133C\\250<\\195n6\\164{\\244\\209\\233\\227\\198\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\t#\\CANUf\\DC3\\202\\131\\180\\131\\214\\199\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"^Ll:?\\SYN\\238\\144W\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\176\\135\\GS+\\137\\\"\\208\\158\\131D\\163\\177\\207i\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\200\\t/\\\"\\240$;\\147\\193`\\EM\\172\\186\\231\\253\\150%1=N=Nqp\\188\\155 E\\199>\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\246\\r\\DC3\\175\\203\\152WX\\151$z%<4Be\\169t\\175\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\t\\ENQ\\178\\178}\\198pb\\167\\231\\200\\139\\174\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147)\\197\\181\\SOH\\NUL\\182\\148\\228\\NAKP\\243\\175\\176\\153A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\200\\188\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\237\\194\\226>\\162\\DEL-\\146\\SOH%\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\202ue\\164FU\\193\\251\\RS$N\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\177\\&9\\255 \\161\\187b\\DC3\\aH\\220\\179\\191\\199\\GS\\ETX\\225\\138\\236\\189\\191\\DLE\\DC1\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\160/\\189m\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\254\\136\\188_Dj\\RS[\\142\\&5\\235\\&9\\EOTze\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTz\\143\\222'\\201\\189\\CAN+\\161\\159\\193\\185F\\130\\&5\\139Hm0G\\EOT\\b\\147\\&8:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\134\\134I\\159b\\215@X\\178\\237\\139\\137\\187j\\254o\\207;\\162\\146fQD\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\134\\226\\242\\139\\133\\233eU\\161\\220\\US~\\175}\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SIT\\128\\214\\192\\207\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETXF4p\\216\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\130\\SYN\\233\\DC4\\149\\198\\RS\\217\\254\\148J\\242\\175\\159\\168$:\\254|Z\\ESCr8\\DC4\\191\\197G$F\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETBv\\250m\\EM4\\163\\188~\\193\\143A\\184)\\145j|\\b}\\210\\DC2\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"(\\135\\181}\\181\\135\\211\\148\\156\\242\\234\\&7\\194\\DC3\\201\\130\\&9\\135\\153\\ETB%\\192\\US\\157]1\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\t\\DC4p\\233\\147\\209\\179\\235x-_sn;\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN]\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232'|\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\201\\197\\221A\\216\\240\\205\\189\\181oR\\ACK\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\231\\&3\\ETX\\r\\176\\227\\190\\193\\172\\246hz\\DLE\\198sE<\\187\\183N\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\&2\\191&\\161\\200\\176\\213\\US\\238\\136\\211}\\185Ju\\145\\197[W\\208\\170jn0\\246\\241\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"+-{=\\248\\163&\\200\\206\\183\\217a\\ESCv\\156\\229\\177\\245<P\\239\\DC1\\244\\213:\\235dAa\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142P\\231\\\"l\\233\\150\\200%\\240\\196+)\\SO'1\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\147\\&1Z\\GS\\205\\146\\\\p\\135\\247\\146\\149cZ'=ti\\249\\ESC\\200\\246\\222\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\187\\165\\240%\\208d\\247\\228j\\vtP\\205p>g\\218\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"8\\229\\224\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"B{\\202\\&7\\DC2\\197\\212\\145Y:\\226\\134\\131\\ESCAk\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\\\\\180\\201\\NUL4\\DEL\\DC2\\169\\243\\164\\a\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"R'\\162\\150\\DLE\\134\\&7\\157\\146\\226q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223/\\v\\255\\173!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\197\\131\\169\\142\\203V\\156d\\a\\159\\DC3S\\185a>\\SIH\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\207>E\\192\\174\\&9e\\159\\175\\210\\181\\158\\214\\DC3\\214\\f\\CAN\\245M\\ETB\\252s!8\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\254\\226\\&8\\244\\164u\\STXe\\236\\155\\233\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\244w\\246z\\247dt\\217\\156?a\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b-\\\\x\\241\\240\\231b\\157\\189!\\254\\158\\142\\244K\\181T\\235\\170\\152\\152\\b\\139_m\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\ESC\\205\\252o-|\\192,\\218\\177\\&9j\\243\\243\\157\\174\\&6U\\181\\ENQaOE\\231\\179\\245\\236\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\GS\\CAN\\202\\149\\149\\185\\216cQ\\178\\234\\245\\\\\\199\\DC4)4\\252\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"(<\\251\\SI\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"1)Fb#t`z\\ACKqer\\148\\254S\\225\\142\\170s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\154\\163\\139j\\238b\\191{\\165\\250\\&4N\\254\\204\\202:xv\\142\\&6\\248H\\160\\&2\\143\\179\\208c\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"7k\\196\\222\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"LW\\227\\138F\\197'c4a\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\150\\EM\\226\\236\\128\\192/-@\\191)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\f\\ETX\\233\\214\\&2\\175\\160\\219<\\184rD2\\STX\\226\\235\\205H{\\229\\154\\228\\223\\253\\DC1\\217R\\\\\\194)'\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\250\\233\\195\\159D\\140\\236P\\230\\137\\166\\255\\216\\150#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\251\\129&\\166\\SUB\\DC3\\216V\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\SUB<4\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213w\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\" \\183Krge+\\228\\222z\\245\\SYN\\RS\\202\\147m62\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\187\\aI\\254cy\\244\\NAK\\DLE\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\219\\166\\250^4\\DC3\\188\\244\\&7\\242OfWa\\177\\v\\b\\ENQ\\174\\179\\208\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189S\\132N?E\\143\\182\\153qq\\170\\213FN.\\235\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\130\\212,\\211\\136\\245\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\186\\213t\\SO\\195\\255\\189\\&4\\EM\\145\\195:\\215zD\\227W\\159\\RS\\138s\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"ay\\178\\222\\224\\253\\161\\195}\\DC2\\145\\153\\US)8 \\228\\134_\\160\\133\\185\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"{N\\224\\&2\\SOH\\DLEd\\249\\ACK\\STX\\138-luD\\224\\146jn@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156i\\150\\225\\a\\250\\&0\\179|\\223\\fvE\\130@\\209+\\r\\160L\\165\\205\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\220?Z\\166\\128\\142\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\187\\t\\r\\231\\235>]\\130]\\139\\&9\\244\\171Z\\167\\204\\185Ei\\179\\US]\\186U\\165G\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"A;\\254\\231\\252\\ESC\\137\\\"\\202\\&1\\187\\&2U\\221\\tm\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\175\\133\\&6\\b\\GS\\187\\156\\171$]64\\142\\STX)\\143\\197U\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\140\\157\\158\\130M\\187o\\246\\139\\165w\\218\\161\\150\\242\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216H\\172i`n}k\\175$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249u\\238\\n\\233\\202G\\128A\\175\\180\\CAN\\207\\ESC\\178\\t\\182\\204}\\237*\\220\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\238\\254I>~_\\242\\ETX\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"~E\\233\\195T`\\141\\ETX\\164\\DC4\\253\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"2C5\\187\\155\\216\\185\\225Nv\\189\\207\\168\\CAN\\189\\205\\184\\137o\\144\\250\\232)\\US\\220y\\ACK\\219\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"309485009821345068724781055"],"tag":"AbiUInt"},{"contents":[256,"103103790454822996600955744846644025288755170813043648467796410992191030724364"],"tag":"AbiUInt"},{"contents":[256,"47"],"tag":"AbiUInt"},{"contents":[256,"33201643004998404356937256425737322679349305495141661817187374808531607159760"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639873"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088321"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639911"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636333"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"18"],"tag":"AbiUInt"},{"contents":[256,"3603"],"tag":"AbiUInt"},{"contents":[256,"23"],"tag":"AbiUInt"},{"contents":[256,"61527079474773199386770852379217974023674181450137432633540314740545906864115"],"tag":"AbiUInt"},{"contents":[256,"54613081140140994021022332698518935646153978721102765262441300145285824351418"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507325"],"tag":"AbiUInt"},{"contents":[256,"918"],"tag":"AbiUInt"},{"contents":[256,"997"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"51286643777994483663470872305136809250459533688647723017616343275916491038919"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"21327230831846322383861376448558902701225010401999135579401113471551336955696"],"tag":"AbiUInt"},{"contents":[256,"44962627120236998041110974414826773793629509458601272122881731399039252296010"],"tag":"AbiUInt"},{"contents":[256,"3599"],"tag":"AbiUInt"},{"contents":[256,"69643694558089937523651631821439954606891965647463758286291384970517752824846"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"91031629774148429217016024725806507847555779304616672533610725698754231516767"],"tag":"AbiUInt"},{"contents":[256,"38716303961369403596816682910415428716584162836523159215607465814363861052310"],"tag":"AbiUInt"},{"contents":[256,"897"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"95844785644147898844579451018259849964225616263839077203111099379823234339803"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689603"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639707"],"tag":"AbiUInt"},{"contents":[256,"28593782503857333306965250599118424012284156404557483747114308516347503672782"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630935"],"tag":"AbiUInt"},{"contents":[256,"94935581371253757488612720112465205570858603670555077744763222303986791679497"],"tag":"AbiUInt"},{"contents":[256,"302"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628419"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628413"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609601"],"tag":"AbiUInt"},{"contents":[256,"26300362902003479353909802209287720621067677059463709440639328888811394671526"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908086"],"tag":"AbiUInt"},{"contents":[256,"11644636999952916140751578127594926039280792005704948481597674959609555364379"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"90322715690618021902656702029027605639936281814461373954203093775057544393594"],"tag":"AbiUInt"},{"contents":[256,"41740483535438877536049664276054883245938920808670236997365831868935887755543"],"tag":"AbiUInt"},{"contents":[256,"79506613179577069797119521764229649207948092525260481580659224918168344915840"],"tag":"AbiUInt"},{"contents":[256,"68284205677111010937671815629165535231193393048991188843722054573776076555725"],"tag":"AbiUInt"},{"contents":[256,"73682349026854169511252633000572335764413856499097901256896445852397588208765"],"tag":"AbiUInt"},{"contents":[256,"86402"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639855"],"tag":"AbiUInt"},{"contents":[256,"108776161885192570935817044512712232335634019946322165701063744826982337645634"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628419"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"107168178436475278634125907614801034434467033688375469804025358616103704585259"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639433"],"tag":"AbiUInt"},{"contents":[256,"43044481202614103621265406356694730814864185068265827406281370914651603375561"],"tag":"AbiUInt"},{"contents":[256,"78"],"tag":"AbiUInt"},{"contents":[256,"22"],"tag":"AbiUInt"},{"contents":[256,"95675932230284355034161937849470076144369904418709930484788564739868983933617"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639886"],"tag":"AbiUInt"},{"contents":[256,"2002"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"15709647052420137551122134747040283401917972123753594183662272949763042402500"],"tag":"AbiUInt"},{"contents":[256,"101737140983469766916519112530199390185812207182852906334415196238943012690520"],"tag":"AbiUInt"},{"contents":[256,"8710799431530626898978596068130540024255342489171849588566395920712801393913"],"tag":"AbiUInt"},{"contents":[256,"97"],"tag":"AbiUInt"},{"contents":[256,"97"],"tag":"AbiUInt"},{"contents":[256,"97"],"tag":"AbiUInt"},{"contents":[256,"97"],"tag":"AbiUInt"},{"contents":[256,"97"],"tag":"AbiUInt"},{"contents":[256,"97"],"tag":"AbiUInt"},{"contents":[256,"97"],"tag":"AbiUInt"},{"contents":[256,"97"],"tag":"AbiUInt"},{"contents":[256,"97"],"tag":"AbiUInt"},{"contents":[256,"97"],"tag":"AbiUInt"},{"contents":[256,"97"],"tag":"AbiUInt"},{"contents":[256,"97"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"58689934970201142694229111794474071452734776320530653263132988813827010507025"],"tag":"AbiUInt"},{"contents":[256,"12"],"tag":"AbiUInt"},{"contents":[256,"34289784488794320984992966126055623640267090381347092623776525995493308372492"],"tag":"AbiUInt"},{"contents":[256,"60872807720803219236657263807597564981516425935372286865981316570850342671796"],"tag":"AbiUInt"},{"contents":[256,"95656378042123852719011437526388718007810716947990882457503987088731159207144"],"tag":"AbiUInt"},{"contents":[256,"900"],"tag":"AbiUInt"},{"contents":[256,"16797567827157447486397051469128164030321022800403391456719236930054332355559"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae7","0x0000000000000000000000000000000000000000000000000000000000001327"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074576","0x0000000000000000000000000000000000000000000000000000000000006876"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":[128,"4998"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084277","0x00000000000000000000000000000000000000000000000000000000000013a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":[256,"30362808396263168000676706528421248253222917523392884667625526911647948787229"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c8","0x000000000000000000000000000000000000000000000000000000000000138d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[128,"9998"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59e","0x000000000000000000000000000000000000000000000000000000000000d13a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639033"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e374","0x0000000000000000000000000000000000000000000000000000000000001357"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"62468994608818031612640224779877853058631936792208327945088036113946243683864"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81e","0x00000000000000000000000000000000000000000000000000000000000020ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427b","0x0000000000000000000000000000000000000000000000000000000000006541"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"181"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3a","0x00000000000000000000000000000000000000000000000000000000000003fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000044","0x000000000000000000000000000000000000000000000000000000000000bf82"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"49590255217651441226983553855347808267326251845853931098370488132357938772967"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142f0","0x0000000000000000000000000000000000000000000000000000000000008196"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":[256,"309485009821345068724781055"],"tag":"AbiUInt"},{"contents":[256,"9779924001126837197092437727628752508147255335502651783520344637000770470652"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639939"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b056","0x000000000000000000000000000000000000000000000000000000000000134b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b73c","0x000000000000000000000000000000000000000000000000000000000000702f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb10","0x0000000000000000000000000000000000000000000000000000000000000053"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":[256,"3602"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea19","0x0000000000000000000000000000000000000000000000000000000000001740"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232c","0x000000000000000000000000000000000000000000000000000000000000133d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ff","0x0000000000000000000000000000000000000000000000000000000000000e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[128,"299"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb19","0x0000000000000000000000000000000000000000000000000000000000000024"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1d","0x0000000000000000000000000000000000000000000000000000000000000069"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f18","0x000000000000000000000000000000000000000000000000000000000000d569"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"85"],"tag":"AbiUInt"},{"contents":[8,"234"],"tag":"AbiUInt"},{"contents":[8,"5"],"tag":"AbiUInt"},{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":[8,"236"],"tag":"AbiUInt"},{"contents":[8,"5"],"tag":"AbiUInt"},{"contents":[8,"235"],"tag":"AbiUInt"},{"contents":[8,"235"],"tag":"AbiUInt"},{"contents":[8,"235"],"tag":"AbiUInt"},{"contents":[8,"251"],"tag":"AbiUInt"},{"contents":[8,"175"],"tag":"AbiUInt"},{"contents":[8,"6"],"tag":"AbiUInt"},{"contents":[8,"207"],"tag":"AbiUInt"},{"contents":[8,"81"],"tag":"AbiUInt"},{"contents":[8,"93"],"tag":"AbiUInt"},{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[8,"5"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000382","0x00000000000000000000000000000000000000000000000000000000000011ae"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000020488","0x0000000000000000000000000000000000000000000000000000000000001381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"21"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639886"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002326","0x0000000000000000000000000000000000000000000000000000000000002712"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":[8,"253"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e378","0x0000000000000000000000000000000000000000000000000000000000002f15"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":[256,"60035438964686364591597248916589211626526075929472142935118528108337663282701"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb45","0x0000000000000000000000000000000000000000000000000000000000000013"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"108980865244735568564615748257784364537410638075305176806732412379787637277317"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142ee","0x0000000000000000000000000000000000000000000000000000000000001384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639637"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac0","0x000000000000000000000000000000000000000000000000000000000000a41c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"592"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e955","0x000000000000000000000000000000000000000000000000000000000000653e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003bf22","0x0000000000000000000000000000000000000000000000000000000000000e0f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelDepositRequest",[{"contents":[256,"25"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0eb","0x0000000000000000000000000000000000000000000000000000000000001383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb39","0x000000000000000000000000000000000000000000000000000000000000824d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"11900592366389732838699932328423919621472845521875742623665336135394406587270"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec6","0x00000000000000000000000000000000000000000000000000000000000013ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"81"],"tag":"AbiUInt"},{"contents":[256,"41203530825058135750880920726814054122250958524162696498521439836711319487750"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164c","0x0000000000000000000000000000000000000000000000000000000000007e4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"78514243460982203177584257953116215417061048331849117684304495707165830098342"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb49","0x000000000000000000000000000000000000000000000000000000000000001f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075d98","0x0000000000000000000000000000000000000000000000000000000000005d4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892768"],"tag":"AbiUInt"},{"contents":[256,"36587010681027064019717427111522916076034796351237780519995705416999797736196"],"tag":"AbiUInt"},{"contents":[256,"81"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"524300179102017528641244494879"],"tag":"AbiUInt"},{"contents":[256,"47792523973175709092342491355676491141094000883532385624986206522461630469830"],"tag":"AbiUInt"},{"contents":[256,"105658711310365312055559537884399023620900944340066252796435454224859804348583"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a0f1","0x0000000000000000000000000000000000000000000000000000000000000023"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000078366","0x0000000000000000000000000000000000000000000000000000000000000592"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf69","0x000000000000000000000000000000000000000000000000000000000000012b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609597"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000006","0x0000000000000000000000000000000000000000000000000000000000007e4a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c436","0x0000000000000000000000000000000000000000000000000000000000000079"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"191"],"tag":"AbiUInt"},{"contents":[8,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000091336","0x00000000000000000000000000000000000000000000000000000000000013a8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"472260498517428093450829853099908084"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e5","0x000000000000000000000000000000000000000000000000000000000000134a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"497"],"tag":"AbiUInt"},{"contents":[256,"59661184870627605198830321192893205776004395651938323382730962703521206946952"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000138b","0x00000000000000000000000000000000000000000000000000000000000001f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"174"],"tag":"AbiUInt"},{"contents":[256,"96826595148671771954134586251244704002243109917060799342325036369105627853446"],"tag":"AbiUInt"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f99","0x00000000000000000000000000000000000000000000000000000000000094d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"13"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012d","0x000000000000000000000000000000000000000000000000000000000000058f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c5","0x000000000000000000000000000000000000000000000000000000000000eb78"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000076ea6","0x0000000000000000000000000000000000000000000000000000000000003f7e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"145"],"tag":"AbiUInt"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":[256,"100000000000000000000000001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000010","0x0000000000000000000000000000000000000000000000000000000000001273"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000006d079c75ef9d64fe"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000062","0x00000000000000000000000000000000000000000000000000000000000087a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052403","0x00000000000000000000000000000000000000000000000000000000000069fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135a9","0x0000000000000000000000000000000000000000000000000000000000007e4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"576"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fd","0x0000000000000000000000000000000000000000000000000000000000004b9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"111002177876986892631855898636885717352812439954422460256081661645118931951958"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084275","0x0000000000000000000000000000000000000000000000000000000000000069"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[128,"286338789007069585685821833165663457252"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e2","0x0000000000000000000000000000000000000000000000000000000000007e51"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"56674183346793206222396159049466931517032787307429072265084859512651732599447"],"tag":"AbiUInt"},{"contents":[256,"14175648918732310731026667416149609711767905922204667735452258290601946803097"],"tag":"AbiUInt"},{"contents":[256,"5004"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd37","0x0000000000000000000000000000000000000000000000000000000000006ddd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2c","0x000000000000000000000000000000000000000000000000000000000000a296"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"34"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000063","0x0000000000000000000000000000000000000000000000000000000000001414"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e700","0x000000000000000000000000000000000000000000000000000000000000001d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000022","0x00000000000000000000000000000000000000000000000000000000000011ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"2668420820281317667065554839906499570499371401805836565410363135532554258828"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000090605","0x0000000000000000000000000000000000000000000000000000000000000021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000006","0x00000000000000000000000000000000000000000000000000000000000095ba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"108111960319160913224721420349696386821507160819771927597932718666444890055626"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe4","0x0000000000000000000000000000000000000000000000000000000000001316"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"4999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bde","0x0000000000000000000000000000000000000000000000000000000000000f9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000029fee","0x000000000000000000000000000000000000000000000000000000000000d629"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"1022750022839114507723068011572218819944704726359410433894663859232267805683"],"tag":"AbiUInt"},{"contents":[256,"114315319669698239107628375949055103482096123958011737112764635428864502733563"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063720","0x000000000000000000000000000000000000000000000000000000000000e343"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"102"],"tag":"AbiUInt"},{"contents":[256,"30884945913312665671109054186933713345431377176226597174300779583797936429593"],"tag":"AbiUInt"},{"contents":[256,"99769709052814051960847716970494431375827361600247559266021340383204333424907"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639935"],"tag":"AbiUInt"},{"contents":[256,"9028040735886550019651073206262244799695075787915535700707621589231055563133"],"tag":"AbiUInt"},{"contents":[256,"8360969622264237945420411087481101902185287647256932276741505775261062476806"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e350","0x0000000000000000000000000000000000000000000000000000000000000e0f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e13","0x0000000000000000000000000000000000000000000000000000000000000400"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084278","0x0000000000000000000000000000000000000000000000000000000000000026"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"203"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012d","0x000000000000000000000000000000000000000000000000000000000000004e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead1","0x000000000000000000000000000000000000000000000000000000000000003a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"115442704351837162790034565303799412402568273161677254039738203767642057179292"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb42","0x0000000000000000000000000000000000000000000000000000000000004b98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"64"],"tag":"AbiUInt"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf7","0x0000000000000000000000000000000000000000000000000000000000003f80"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":[256,"77576983602628811774411045623575939186226132831274848453380919970938552784977"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2a","0x0000000000000000000000000000000000000000000000000000000000001358"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"3302"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001e2e0","0x0000000000000000000000000000000000000000000000000000000000002606"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"64579277191508395110947381459773191976886502448159974706222509817967094607515"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636332"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000080772","0x0000000000000000000000000000000000000000000000000000000000001c9b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d1b7","0x000000000000000000000000000000000000000000000000000000000000dcc3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"102092703087844162526143335686381079544389304287137700254623567102422042972909"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c8","0x00000000000000000000000000000000000000000000000000000000000095bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043af0","0x000000000000000000000000000000000000000000000000000000000000ca07"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000013","0x000000000000000000000000000000000000000000000000000000000000ec3a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000068","0x000000000000000000000000000000000000000000000000000000000000260b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f9a","0x0000000000000000000000000000000000000000000000000000000000007115"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d88d","0x00000000000000000000000000000000000000000000000000000000000026c0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"21026829392022858027124404078659199060007864418039310703439021161929601930743"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000189e3","0x000000000000000000000000000000000000000000000000000000000000ca08"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\143L\\214\\129d\\186\\185\\216\\250L\\f(_+\\253\\152\\232\\155\\150\\DC1W\\167\\&6\\240\\b\\173\\203{\\209\\202\\205\\139\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffa","0x0000000000000000000000000000000000000000000000000000000000006148"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"85599976874606363126804615967825772179312824668094659615532675326600077785829"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001517f","0x000000000000000000000000000000000000000000000000000000000000003f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":[256,"80"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e950","0x0000000000000000000000000000000000000000000000000000000000006a24"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639797"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055777","0x0000000000000000000000000000000000000000000000000000000000000038"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf5","0x000000000000000000000000000000000000000000000000000000000000ca0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]