[{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f956","0x0000000000000000000000000000000000000000000000000000000000006a2a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c821","0x000000000000000000000000000000000000000000000000000000000000012c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacf","0x000000000000000000000000000000000000000000000000000000000000001a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"57"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000102","0x000000000000000000000000000000000000000000000000000000000000a8de"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"101677641404444324376551603599981628406927037547919613636164624197149577709951"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c2","0x0000000000000000000000000000000000000000000000000000000000001361"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"213"],"tag":"AbiUInt"},{"contents":[256,"89468795283833688256724433090558683715906914265988335600139240991195798118997"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000056bc0","0x0000000000000000000000000000000000000000000000000000000000004767"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062338"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135a8","0x000000000000000000000000000000000000000000000000000000000000dcbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[128,"10001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d1b7","0x0000000000000000000000000000000000000000000000000000000000001382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"52956848398418555307491350937598487571144327901303895315981688715468778231936"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e377","0x0000000000000000000000000000000000000000000000000000000000001c9c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"62611927377453004858645920287450502871045048823888041790211098251754920572838"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000338cc","0x0000000000000000000000000000000000000000000000000000000000006de1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062123","0x000000000000000000000000000000000000000000000000000000000000a297"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"91663469072279489892427677685940111600438542761191649922434152858637454136195"],"tag":"AbiUInt"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003256a","0x0000000000000000000000000000000000000000000000000000000000000034"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000001f2","0x00000000000000000000000000000000000000000000000000000000000095e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"636"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce55","0x000000000000000000000000000000000000000000000000000000000000002f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"63"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135ab","0x000000000000000000000000000000000000000000000000000000000000000b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffb","0x00000000000000000000000000000000000000000000000000000000000003e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266894"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007b","0x0000000000000000000000000000000000000000000000000000000000001740"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135ab","0x0000000000000000000000000000000000000000000000000000000000005b04"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"3351647047584405654179"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e701","0x0000000000000000000000000000000000000000000000000000000000000764"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\227@\\189\\f\\239\\248R\\162z\\201\\140t\\190\\250\\&4\\192GB\\160=\\201`\\221f\\150v:\\EMK\\160\\EMt\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000555b8","0x000000000000000000000000000000000000000000000000000000000000ca0a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005a860","0x0000000000000000000000000000000000000000000000000000000000000062"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037272","0x000000000000000000000000000000000000000000000000000000000000614a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639436"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cb0e","0x00000000000000000000000000000000000000000000000000000000000003ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"107612600610432679400342634280417108111731326074023467079020071335083197128154"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4e","0x000000000000000000000000000000000000000000000000000000000000a593"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142fe","0x0000000000000000000000000000000000000000000000000000000000009e94"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb25","0x0000000000000000000000000000000000000000000000000000000000001275"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000045ac1","0x0000000000000000000000000000000000000000000000000000000000000403"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000e83c","0x0000000000000000000000000000000000000000000000000000000000009e95"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639684"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639904"],"tag":"AbiUInt"},{"contents":[256,"84378720060342842210468151418195660862041245763194838342637938834045979772585"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731853"],"tag":"AbiUInt"},{"contents":[256,"90355044079678978285237669329558067940316716525387234645644746574754394975039"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628414"],"tag":"AbiUInt"},{"contents":[256,"2000001"],"tag":"AbiUInt"},{"contents":[256,"13"],"tag":"AbiUInt"},{"contents":[256,"27480530572714476004356557284225727192359772725671363020798727350116658114266"],"tag":"AbiUInt"},{"contents":[256,"15092841155123500477945495903261221201662829631329183272421726284804352347061"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639837"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"50"],"tag":"AbiUInt"},{"contents":[256,"35907510980565072100805168335997690017226328912274040451134897703664251841055"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"81"],"tag":"AbiUInt"},{"contents":[256,"63019690653963934162746317042973336490823596870236366723745065895666770790313"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747170"],"tag":"AbiUInt"},{"contents":[256,"79950735619334741178579144216257940157349027361888529958637771693354865314914"],"tag":"AbiUInt"},{"contents":[256,"44668121160762242127955333042215306796523932703927596935539899784986465532654"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266892"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088324"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639878"],"tag":"AbiUInt"},{"contents":[256,"56102609577324871229494639590298289831072673552239717409482565473529313933052"],"tag":"AbiUInt"},{"contents":[256,"257"],"tag":"AbiUInt"},{"contents":[256,"100000000"],"tag":"AbiUInt"},{"contents":[256,"802"],"tag":"AbiUInt"},{"contents":[256,"43564875283657869261061684399652982588911350841534151622369112941860249298174"],"tag":"AbiUInt"},{"contents":[256,"60969843030385725226497349951590431994810607308591747910071663705700046710648"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639800"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030338"],"tag":"AbiUInt"},{"contents":[256,"83"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e761","0x0000000000000000000000000000000000000000000000000000000000001350"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000007494f93b98db5ce2"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c7","0x000000000000000000000000000000000000000000000000000000000000134e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"18895376623532719639976103344013092388008318624817613644400915109734183908960"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000067","0x0000000000000000000000000000000000000000000000000000000000000020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042d6e","0x0000000000000000000000000000000000000000000000000000000000008ecb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"101433347581699668466890179684068626726920306752317822212994715527130318313742"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a515","0x000000000000000000000000000000000000000000000000000000000000b249"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"86672311102463255642855032935306674565377700372443446407759671405490247294882"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427b","0x0000000000000000000000000000000000000000000000000000000000006a02"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000010000","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178d\\185\\210\\245\\141\\187I\\250\\150\\176\\246\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\193e\\222\\145\\ESC\\144\\198\\178\\166\\207s\\202\\238\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\179\\242\\245\\ESC\\197\\237\\239=\\ETX\\FS\\143\\CAN\\215BuV\\203\\213\\SYN\\159\\240\\240\\&7\\f7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\142\\210\\155\\164\\189\\188\\ACKe\\252K\\237\\SOH)*\\169\\169'\\155\\210\\180\\SOH\\GSa\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\231\\157\\239\\SYN\\242\\161\\207\\138>MC\\153\\212z\\170\\&5\\164\\&7.\\166\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\246\\231\\222\\ACK\\203Rv\\214\\251\\SO\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\228\\155\\174\\\\\\150V=\\150\\168\\182\\239U\\RS\\152D\\DC1\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\SO\\206{>\\STX[\\164\\210Y\\170\\\\\\246\\219\\227\\&4\\156\\&6\\199\\201\\219\\184\\132\\&9,\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\135Y16aA\\209co\\202\\202G\\ENQ\\EM\\208\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC'5Q\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\131\\185\\251h\\156\\243\\v%\\203\\211\\US\\a\\EOTJ\\NUL\\132\\232v\\173~@1'_\\241 \"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\209\\FS\\DLEx\\SOHUo}\\148\\142\\217\\n\\CANT\\229L!\\166\\191!\\ESC#\"","tag":"AbiBytesDynamic"},{"contents":"\"^\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\147\\131\\186\\157\\v\\ENQ=\\137Vx\\200N\\NULU\\240P\\b]n\\179f\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\140\\FSs\\220\\138P\\130\\SOH\\ACK\\197\\164^\\205\\203\\SYN\\208J\\r\\237\\154\\SUB\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\223\\DLE\\207\\131\\167\\DC4\\198f\\CAN\\180T\\228I\\176#$S\\198\\169?n1\\221j\\178\\138\\209B\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\150\\231c\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\249\\183\\254liF\\n\\244\\248d\\138s\\238\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"[`\\\\\\172V\"","tag":"AbiBytesDynamic"},{"contents":"\"q4\\193\\188r\\DLE\\193\\ff\\147\\187\\NAKN\\251PN\\210\\&6rLl\\177\\215\\131\\171\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"pG\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\215j\\139\\132\\211iS9\\ESC\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\245\\215Li\\228\\205\\&2J\\NUL*\\244\\190t\\139\\231\\230$\\RSA\\220v\\254\\167|I\\135\\NULBe\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253T4R\\DC2}\\137\\166\\224\\CAN(\\DLE+,\\140{\\f?\\DEL\\155\\136\\249[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS|\\a\\SIC2~\\NAK\\204\\166\\179\\254\\226V\\133]\\240Ky\\152\\184\\218\\163\\250\\179\\226\\FS6a3M\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\131\\191C\\255\\242\\182\\164\\183\\217\\209\\&1\\236\\&35\\US\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163<\\130\\140\\fq=\\178\\158S\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\148\\136\\162\\244\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\134\\149\\185\\252\\201\\&8\\243F&F\\STX\\174\\158xN\\244\\244\\209\\244\\212N\\135\\238\\n\\165\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS[\\SOFKX\\183S\\220>][V|\\DLE9\\189\\148\\132\\151e\\130[\\175n\\165`\\201\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\237\\228\\184\\DC4h\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\168Q\\179\\n\\ACK\\EM\\148sf\\180.W+2\\143\\232\\142\\230g*\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\tG\\249\\f*^k(u\\202\\140\\176\\211\\nO\\203\\&6\\RS`\\188v0\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135E\\137\\185\\139<\\ETB\\159\\150\\237\\247\\132U\\143\\152u!\\176\\189Y*\\188hO\\179\\DC3\\187\\171\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251@V[\\132q\\173\\187\\&29\\\"\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\198\\149\\223\\tC\\EMl\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\&4>tt6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"(w\\254\\EOT\\129\\184\\v\\160'\\227\\191\\207$\\202T\\DC4\\DC4f\\138\\172\\163#rw\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\198\\233{}(\\139\\CAN\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\ACK\\244{\\DC1\\215\\205\\ETB\\193f\\DLEO87\\ESC\\179\\208\\155k\\221^\\\\W9\\168,:\\242\\210\\213\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232w\\227\\STX\\NUL\\218\\n\\n3 \\243\\235s\\SO\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168!6=.\\232\\173m\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218Kd\\202B\\168F\\214O \\192\\252\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\203Z\\193\\130Z\\151;V\\216\\238\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\138\\227\\200\\217\\211\\239#\"","tag":"AbiBytesDynamic"},{"contents":"\"vik:q#\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"_-+\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\140E\\138\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\\"\\247\\232\\250\\130_\\DC1\\CAN\\141\\154i:\\207\\STX\\202M\\EOT0\\237\\221\\168*U\\SI\\vC\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\217]o\\203/6ri8\\152\\&0\\tg\\207\\168\\RS\\210\\ETB\\SOHF\\234\\163?5\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\203z\\159\\&4v\\168\\200\\166}mL\\tx\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\210\\DC4\\207,\\141\\171\\227\\145e\\169R\\246\\GS\\232\\166p\\229\\246\\\\i\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\145\\ETB\\189<\\159N\\176U\\169\\219)\\172\\a\\204^\\169\\ETBs\\GSW\\146b\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\189\\156\\189\\190~\\GS\\168\\187\\241#\\RS&\\150\\FS\\SI\\142\\141|b;\\231\\231\\131Ok\\EOT\\134\\212uT\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\180\\229\\237\\213%\\RS2\\166-\\137j\\205\\157\\254\\142n\\143r\\173\\203Qp\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\SI\\248\\209\\128\\&6\\f{\\156\\162\\243\\USH>YB\\213Pz\\149\\232\\200\\242\\137\\188<\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\221\\EM\\248\\211\\&6\\183\\231\\208d; #\\DC2\\148~\\178\\243\\161\\167_5\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\219\\193B\\139\\200\\216\\\"\\149\\163\\239\\181\\170\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\f\\179'\\SO\\211\\217\\200\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\213L\\NUL\\NAK\\\";\\213\\DC3\\140\\227\\162\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226{\\187{\\ENQ\\204+\\228Z\\180}+\\144\\SYN\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164^\\232\\&1\\DLE\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\156\\USh`\\DLE\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"N%\\186\\197\\229FY\\250\\247h\\182\\231H\\199\\230\\160\\186^\\198\\175\\t#Z\\197#\\235\\222\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\210\\235\\243\\&0\\ETB\\200\\&6\\236\\220\\206@\\166\\138\\168F\\225\\136\\131\\232\\DC2\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\&7Q\\183\\n\\EM\\SUB_\\199sV\\216\\240D\\217\\169\\200^\\173\\FS4\\145\\190\\\\\\168C\"","tag":"AbiBytesDynamic"},{"contents":"\"FIQ\\152\\182\\219\\215\\167\\152\\213\\213\\132&Jx\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\EM\\132\\241\\SI\\228\\177+\\150\\236\\137\\DC1\\227\\131l\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\171\\183s\\239P\\nnX\\131\\DC4\\193\\154\\&3GAm8\\217~]=\\170\\192n\"","tag":"AbiBytesDynamic"},{"contents":"\"@V\\163R\\139\\245yF\\\\\\EOT\\239\\a($\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\">i\\250o\\RSi\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\209<\\160\\190\\160\\154%\\192\\DEL\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\207]V\\174\\130\\FS\\DC4O\\FS-\\206\\185E\\212)n]\\\\\\170N\\137\\253\\189*\\159\\233&'\\244\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\128\\SYN\\159\\143\\165\\141\\254\\ESC,Z\\GS;\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\141\\213B\\203\\ETX\\186\\248\\237\\211\\164\\DEL\\182\\178\\237\\FS\\250\\141\\187\\n\\255\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\239\\193\\239i!O\\140U:\\149\\166\\153\\EOT\\244;\\246l\\DELE\\167B\\234\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\ETB\\152D\\176\\by8$\\135\\189`\\152\\ENQ\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\202b5\\DC2\\207\\150\\225\\199\\168\\140L\\170\\243\\245\\146\\143\\160G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\214!\\130\\157\\&0\\219b9'\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\207)E\\153\\&3\\ETB\\254\\r\\175\\147\\214=\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\EM \\147\\210\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\246\\&7\\191x\\191\\&5=\\234\\136\\239\\160\\&4Y\\ENQK\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\168\\168\\235\\138P\\DC27\\131\\240\\251\\SUB\\DEL\\197\\131\\\\'\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"kB\\158\\147K\\175T\\177\\242\\DEL7\\252\\DC4\\SYN\\229U\\EOT\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\&8\\188\\NUL[m\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\180\\152e\\189\\RS?n%\\145B\\208T\\nt\\140\\218W\\144\\DC1\\132nP-\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\174\\245\\USL\"","tag":"AbiBytesDynamic"},{"contents":"\"3%\\165rI\\184<$\\SI\\179$at\\221\\140\\&8\\f\\128U+N*\\130\\225\\176 \\EOT\\188^S\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240x\\GS\\238\\NAKa5\\165\\252\\185\\199\\178\\n\\224\\167\\228\\\"\\SUBX\\205\\173:Y\\ETX\\151`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\137\\146\\n\\241\\b\\216f\\199\\&68\\243\\194q\\186\\ETX\\163\\250\\&2]\\222\\194m\\DC2\\163~\\148D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\209T\\EOT\\161\\240)\\212\\207\\RS0h\\168\\198\\180\\219-\\234|+|s\\240J1F\"","tag":"AbiBytesDynamic"},{"contents":"\"<F\\\\.\\DC3\\252\\157\\240\\148\\&4\\221\\134\\&0\\ETB\\DEL/\\187\\186\\r%5\\195\\153c\\211S<\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"`F\\157\\&7\\169\\151\\154\\a&\\128\\134\\&4\\t\\133.\\217e\\194\\170:\\244#\\b\\216-\\DC2?q\\225\\202:P\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\aQ\\246\\133\\218\\DC3b(l\\209\\207\\&0\\130\\129\\199$R>v\\192\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DC2^\\\\\\231\\204\\&0\\DELz@\\206\\237\\194\\179(mi\\238\\CAN&\\247\\147\\227\\252\\ESCJ\\201~R\\185\\139I\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\223\\a\\\"\\197'\\182\\202\\a\\166>\\163,\\f\\239\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\179\\220\\154\\b\\204\\167\\207\\229\\SO\\152\\DC4\\t\\227\\US\\ACK\\216\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\170a\\202T\\203\\140\\145\\STX\\250\\138\\144\\208\\135-M\\SI8V\\166\\DC4\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\147\\194\\235_\\152\\&9\\252P\\131\\\"\\RSu\\254\\241+\\191\\177\\a\\GS\\216j\\141\\195\\145\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\134b7\\r\\ACKU\\139\\\"\\DC1{\\134e\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\bG\\165\\254\\224\\214\\163\\242\\220\\202\\191^\\217c\\ETX\\229,9;\\128O\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\193\\227\\238v\\DC4K6\\201.)\\235\\248\\175\\152'\\139Z\\186\\142S2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\161\\139\\221\\164!]k\\151\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\" \"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\136\\146\\137V\\133\\149\\154\\ENQ\\168\\&3\\a\\t\\238\\191cL\\128\\r\\143(&[\\189\\aO\\177\\145\\180~)\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\188\\STX\\163\\211,\\DEL\\158\\253\\STX\\182\\139\\234&\\147K\\166\\142\\173\\ETB\\202'\\t\\249\\178\\151O\\190$^\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\158\\131\\186\\193\\177\\252\\136\\EOT\\220\\&3\\SO\\DC35\\DC1f\\184\\154\\134.q\\197\\226\\175\\tC\\GS\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178-P\\254\\DEL\\170\\ESC\\223x\\170\\199!\\225R\\246\\t\\221\\171<n\\167\\a]Pi\\132\\225V\\175\\212\\132\\139\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\241\\246Mkhox\\FS\\STX\\145Kf\\vC\\151\\EOTD\\164 \\222l[2\\DC3Fz\\176^\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"g\\144\\138\\223\\189\\235k\\ETX]\\236T~V8`j\\NAK\\238\\SUB4\\130\\166\\226\\192\\&0\\181ebpK\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\234oV\\DC3\\168\\199\\210)\\154@\\253D\\f\\215GP\\235\\177\\143\\163e\\236n{\\220\\152\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\160.k\\141\\176\\SO\\\"\\192\\&4G\\133\\219\\149\\238e\\223\\a\\142oe\\243Zy3U\\142\\213\\174\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\f\\v\\169\\249\\\"W\\143\\249\\154\\212\\196.\\146\\248l\\GS\\242J\\187\\242\\150\\EOT\\DLEm\\235\\197S\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\195\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152(\\NAKvO\\240Z\\193h\\233\\171\\173e5\\172k\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\\"]h]4\\185\\207\\129\\217\\SUB\\210\\&6A\\211\\230\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\202\\ENQ\\196\\US\\193\\199Ny\\129\\135}\\234t\\193KkX\\254\\STX\\234#\\216\\131\\DC2g\\ESC\\200\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"N\\bC!\\215\\NULM\\135<\\194m\\172yg\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196kU'\\131\\230\\191&dh\\208\\175\\130\\223/\\218j\\176y\\DC1\\143\\\\\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\ESC\\235\\&6\\187[f\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\198\\FSA\\195\\132u\\208A\\DC3\\ESC\\132\\196\\215x\\SI\\224ZF&1\\154te\\219\\ETX\\194\\ESC\\216\\ETBf\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\164\\187\\219\\ESC9\\250\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"2;\\157\\209\\138\\152N\\173\\223\\157\\147G.\\aOC\\138\\DC1\\212\\236\\218\\254U\\179\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\144\\144\\146\\&6`\\t\\148\\205\\253\\222\\232\\\\\\146r\\170A<\\153\\SOH\\217\\&0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"x\\144kh\\218\\228v\\144\\STXm\\136]\\179L\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231B}{\\143i\\GS\\221\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\243z\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\241\\163\\SYN\\244\\203YRc\\208Fa\\247?*\\NAKSm\\185\\151]\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\248w\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\199\\141\\255\\253\\171\\216\\151{\\249\\v\\ETB\\138hP\\141dRtx\\188\\175\\186\\130\\239kY\\194\\237>\\246r\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\")\\190oS\\154Qt\\215\\174\\165)l\\157[\\210\\134\\170\\220\\209<SM\\233\\DEL7\\168_s_\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"S;^6\\130\\&1\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177E\\151/\\233\\228L\\239P\"","tag":"AbiBytesDynamic"},{"contents":"\"E%\\ESCO\\EM\\247\\128\\160\\131/\\172\\201Y\\139\\163\\142\\\"\\DEL\\136=\\164\\212\\213\\169\\171\\EOTVR\"","tag":"AbiBytesDynamic"},{"contents":"\"6r\\158\\249C.*F3\\188\\&7\\151c\\b\\185\\NUL\\149\\138\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\DC3\\244\\b\\179\\208\\192\\241}\\133b\\138n\\FSV\\EOT\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180 \\158\\EM&!$\\US>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187Q\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184p#\\184f\\t\\161'\\204\\242\\139\\240QF\\233W7\\150Z\\143\\&5\\137\\FS\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\168\\210\\217}\\242\\167\\230\\134S\\216\\189E>\\197\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\196\\\\\\136\\ETXa\\153j\\162\\&3\\175\\193\\169/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\136\\141\\174X\\249\\217k\\252}\\191\\196*xh\\159\\t\\203Z\\183@\\184\\156\\205/\\184a\\250\\167p\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"+_{\\fB:\\ETX\\154\\&9\\135v\\173X\\218\\210\\139\\159\\198U\\182/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\161\\&1\\192\\187_35\\217{:\\172\\172\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\154\\174\\236u\\131#a]NS\\163$}\\SYN^G\\214v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165'\\FS\\178{\\196\\n'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242y\\223\\249c\\185\\ESC\\214\\216\\241\\157\\213\\247\\130\\153\\DLE\\130\\223I\\161\\160\\196\\182`\\184\\140\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\181Ed\\149,\\SI\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\166v/\\151{\\231\\252\\208C\\172\\205\\174\\158\\160]/\\202\\247\\DLEs\\238%uO\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\v\\180\\129\\212\\\"\\244o\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTsM\\FS\\SUBW7$\\191kK\\175I\\201\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\223stSG\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\158\\172\\US\\210a\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\176\\204\\248\\221.\\154\\DLE^\\180\\200\\SOH\\142\\193\\241\\&8\\241\\220\\SI\\tz\\130\\205\\213\\ESC\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\ETX\\165+\\169\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198?)s\\NAK\\SYN\\163\\NAK\\159\\147\\201\\197)\\134\\226i\\205}\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\194\\NUL\\187N\\134\\201\\US\\194\\166\\162\\202_E\\CAN\\230\\254\\179\\135\\&9\\DC3\\199\\233\\168\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135]\\254V\\165\\232\\DELn\\tt\\193\\245'\\173 \\224\\&6@~\\201\\t\\179\\&1-\\232\\132\\251\\228J\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\EOTO\\129\\234\\128m\\ENQ\\n\\209\\234g\\183\\168\\217e\\184\\CAN&Q\\129\\147Z\\250\\251pT*DsE\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\&3\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\148\\233\\148\\239\\146\\DC3\\255?\\b\\EOT\\138\\136\\238\\244\\248\\190:H\\135wo\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\174\\142\\246\\220\\182\\NAK\\171\\253X\\207>c\\166\\191\\135\\202&\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206i\\201\\172\\254p\\202\\146\\176N\\157`\\176\\\"\\204\\&2\\251\\140\\175iLY\\233\\155Z\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\171L\\242(\\201\\186\\v\\169\\250\\191\\153]S\\219\\251wC~\\238i\\175[\\162\\222.)\\214\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\EOT\\252\\143\\179\\140\\NAK\\254\\\\\\215\\DLE,6\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\154-\\205LH> \\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246|g\\b\\214- \\167`\\DC4-7\\176\\203LUH\\128Py-\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\254H[}\\213\\134gN<\\181\\&1TOl\\a\\t\\190\\DC2#H\\154\\250^\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247]\\164\\138\\211\\199\\172\\142R\\196K\\246\\130\\EM\\203P(\\246\\ENQ\\134w]vg\\230\\191\\226\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\159\\186\\218'\\131\\184\\232\\NUL\\217\\210@\\157\\237\\205\\246j\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\237nO\\USxcm\\247\\172\\235\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"P4e+,u\\SUB\\163Gx\\151\\DC2:\\213|\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\ETX\\189\\197\\207\\&8\\234R?K\\138y`\\235\\239\\DLE\\255u}'v\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\175\\150\\164\\NUL\\234\\214LqTz]K\\NUL\\t\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"Zv(\\247|\\204\\GSC\\186\\n)\\202\\ACK'\\233\\148\\225\\161yZ\\251\\&0\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\242\\213B\\235\\182Q\\a\\137\\ACKm*\\t\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229e\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\136\\166\\EM\\250\\148\\170\\176\\160\\194\\174\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\SO\\204\\DC4)\\154\\FS\\152\\184E\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"JWW\\141\\229\\234m\\135\\253\\137\\t\\165\\EOT]\\224h\\EM\\169\\229\\n{F#HZe\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129tLoC\\ETX\\194\\211\\241\\195\\185@I%\\201\\191\\238\\vL;\\223\\135\\251\\200\\\"\\148\\254\\USB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\170\\183\\132\\ENQX\\137N\\183\\a\\150\\171o\\255v!e\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\152\\NAKI\\ETX=\\245\\EOT\\EOT\\FSF\\238\\tF)~\\\\\\230\\222\\EOTs\\223\\131B\\249x\\239\\227I\\188\\248\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"4%UF\\211Mg\\147\\135\\&5\\NUL\\171\\SI\\201:\\NAKh\\174\\191\\250\\160N\\130\"","tag":"AbiBytesDynamic"},{"contents":"\":\\225l\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\171\\215\\226\\RSW\\FS\\163\\146\\&8\\217J\\DC4w:k{\\216{\\136 \\143\\168\\208\\182\\239\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\133\\SYN\\176\\b\\191\\253\\USi\\153\\132\\255UZ\\196\\241Z\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251D\\238y\\167,\\STX&\\DEL\\229\\208\\&5\\SI\\185V\\230\\&1\\DLEh\\244t\\NAKx\\176[\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"s\\218\\192\\r\\210S\\172\\146\\250G\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"wL\\140P\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\176w\\136\\234\\ENQ\\200\\187\\DC3\\238Q\\EOT\\179\\255?\\NAK\\\"\\163\\193\\fG\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\226\\201\\220&\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\148\\220,\\182\\225\\CANp\\226;\\245\\a?\\184\\218!s-\\US\\147\\203@n|L\\ESC\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\219\\129h\\241t\\137\\252O\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224TDJ\\215\\206\\130\\172\\146\\&6Z\\139\\215\\&3\\174\\227zz\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\199\\226\\255\\239&\\187\\237F\\215\\170n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\162\\230E\\155\\174^\\US\\200\\227)\\136y\\157\\241\\&2\\240\\211\\242\\235\\ENQ0\\184\\140\\135\\255\\243\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\214\\178\\161\\ESC\\172\\SOH\\215\\224\\167\\169\\217U\\174g\\215\\SYN\\ETB\\186\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\243\\SYN;\\128\\138T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\150\\207\\239\\222 \\DC1T5\\ETB\\ACK\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\t/\\154iS\\ENQ\\252\\151\\DC2\\223\\210?M\\NAK{[D\\140\\STX]\\255\\138\\244m\\138\\&9\\188\\ETXC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\253~\\140J\\204\\142H\\139u\\226\\191^\\216j8\\151\\193\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"/\\\"#\\158\\&5,\\172\\252\\238\\157\\158]@\\191\\\\.s{\\182\\217\\200\\DC4\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\170\\ETX\\242\\186\\138\\173\\b\\231f3\\160\\DC1\\237m<\\SYN\\164\\235\\140]\\181{\\140\\199\\NULs\\173\\156D\"","tag":"AbiBytesDynamic"},{"contents":"\">\\208\\a\\219*)\\173f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186~\\r\\238\\218\\192\\175\\239f\\160b\\DC2\\NUL\\NAK\\219\\147Tv\\236\\133\\STX\\ETBi\\162\\188o\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137+\\215\\152*\\190yl\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\145\\GS\\175\\\"\\DC1\\158\\168\\RS\\155\\168\\156]\\ACK\\161\\ACK\\176D\\212\\171\\204\\249\\170HM\\138\\234=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS_\\b\\US\\t\\194\\180\\r\\DLE\\169y\\t\\239\\194\\229\\NAKrkv\\ENQ\\217\\GS\\184\\230N\\142\\174\\184\\156\\158,u\"","tag":"AbiBytesDynamic"},{"contents":"\"z\"","tag":"AbiBytesDynamic"},{"contents":"\"sNK\\176F\\234s\\222\\DC16\\133\\&5\\CANy\\SOH\\145\\158\\199\\199)du\\239Z}\\DC2\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\182\\229\\148\\231\\153\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\246or\\DLE\\174_\\151\\DC3\\167q\\166\\213\\US\\DC4\\n\\233\\250n\\ETB\\138w\\210\\162\\246\\196\\164B\\173\\\\Y\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"AJ\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\240\\145\\f$\\134\\225\\164Q-Z\\NUL\\238\\223\\221:\\n\\175`\\247\\172\\251\\128\"","tag":"AbiBytesDynamic"},{"contents":"\":I\\133\\132\\249'\\133\\ETB\\168\\207\\226S\\226\\221 \\226\\157\\226\\\\\\252\\186V\\167{\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\255%\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\156\\165\\222\\143\\bK\\175\\218\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"6\\145\\169\\buh\\141!Ui\\222\\163\\243\\144\\149t\\SO\\197\\139\\243k\\198\\146Q+|\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\n\\ETB\\209{LJ\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218M\\SYN\\154\\184g\\226\\147\\ETX1\\241\\219\\234\\192\\&3`:A\\202\\230`\\178e\\142x\\154\\232\"","tag":"AbiBytesDynamic"},{"contents":"\",\\251\\STXw>;0\\EM\\SYN0\\195o\\NAK \\241g\\177[\\151\\255\\250\\166\\212\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160B\\160\\155_\\181SI\\NAK\\185\\SI#mW\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CANp\\205\\224\\ENQ\\255\\244\\169E\\abt\\155\\249\\\"\\214\\DC3\\201\\SOH\\231\\252k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\170\\193\\235\\228\\190\\229\\192\\&5\\254\\EOT\\207\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215v\\182\\&3\\184<\\229*x\\191\\165\\CAN\\236\\USJn\\171\\SI\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\DC4\\177I\\t\\224\\138H\\138\\SIk31\\251\\FSA\\196\\185\\243\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\140?\\246\\179\\223\\SOH@i\\EOT\\185\\193\\141.\\208\\vf\\215\\224\\&5\\234\\197\\a\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250^E\\238\\DLE$\\218\\v\\203HG\\ESC\\CAN\\165*\\229\\239\\156\\247h\\a\\169\\231\\175}\\156@\\146\\209%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\USL\\141'\\144\\194\\218^\\215\\199\\NAK\\159c\\DLE\\170\\DLE\\158\\204\\184[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\148\\129\\190\\v\\ENQ\\229 [\\251\\172\\176X\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\167\\230\\212\\202\\133\\178,\\252\\214xF\\247\\&4\\149\\158<\\190u\\243\\244\\219\\171S\\t\\152\\RS\\ETB\\CAN\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\".m7\\208\\162)\\139\\201\\129\\223\\DELfZ\\186\\240\\181\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\225\\211\\244~\\193#\\SYNv\\221\\167\\164ue\\253A\\206?\\130vQ\\\\G\\200\\219\\DLE\\244\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\133\\220\\166#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253v\\174f\\176~^\\151\\247\\189a\\197\\213x7\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"yN)\\200\\131\\169\\f\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\148R4d\\a\\194\\229\\147<\\195*\\213h\\ETX\\134a\\174n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"&D\\SOHx\\STX\\159\\&0%g>\\179D\\175\\155\\168p\\164\\223\\EOT\\168/v[\\DC2\\153uf\\198\\248\\&0'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\181P\\185\\138\\248\\187\\170\\RS\\225\\143\\202\\151}\\DEL\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"[,\\159\\&9\\174\\128\\144\\ESC\\EM\\214\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\234\\250Q{\\GS\\b\\249S\\ESCY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248?\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\\\J\\208\\128I\\221\\SYNC\\188\\172\\222\\240n\\135\\192U\\GS\\ENQ\\166\\204\\162>G\\221\\242\\255\\169\\DC2\\144\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\ESC\\128\\229\\EM^\\228\\rebw\\130\\226r\\213\\t9J\\faw)\\n\\211\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"ZC\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\165,\\233\\143V\\SOHm>`.\\241\\202\\229\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\183TC\\SI\\224\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167.\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\231\\183\\253\\SUB\\236\\224n$\\CANy\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\236\\168}\\130\\189.[L\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\242'\\DELs\\SUB\\199\\ENQ\\a\\233x\\EOT\\191\\180\\131\\175\\134ct.\\156\\153\\EM(I\\a=;\\169\\251\\245\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"k:}Zqm\\216\\171\\205\\162^\\229}\\128\\185\\239[2\\241U\\154\\146\\171\\225R\\205>\"","tag":"AbiBytesDynamic"},{"contents":"\"e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\217\\&8>b.O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\135\\&36\\158;\\\\\\DC4\\156r\\135\\242\\228/Y\\158\\217:\\NAK\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"i+R-ny\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236+__6\\237\\215\\STX~\\136\\161v[\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\203\\ESC\\130\\bu\\173\\245a\\251\\NUL_\\219X}\\213\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639874"],"tag":"AbiUInt"},{"contents":[256,"10001"],"tag":"AbiUInt"},{"contents":[256,"232"],"tag":"AbiUInt"},{"contents":[256,"100503059329890224019721389518977226651877242405452325672342179226980893943085"],"tag":"AbiUInt"},{"contents":[256,"20547524368725776152181465724350172276921167029897819787207927425713450406343"],"tag":"AbiUInt"},{"contents":[256,"37966091032373668585459956249362157876285865795448199897305208294220739638188"],"tag":"AbiUInt"},{"contents":[256,"75222081596450467984563837102369048688766749508568062910054458479320662158957"],"tag":"AbiUInt"},{"contents":[256,"88119281823148317195724541944893269929236589748702902706056121507472236932985"],"tag":"AbiUInt"},{"contents":[256,"22138953324084994868327236421113456950989980729343976952997620144863524411919"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"12680228866264126754219056924762907461737708426627660167103656191139683320860"],"tag":"AbiUInt"},{"contents":[256,"66"],"tag":"AbiUInt"},{"contents":[256,"29596272392564911059201267590507506606740694358824580282954155684682959675348"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639872"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"1526187391"],"tag":"AbiUInt"},{"contents":[256,"39083535029437470429343798241841982346616830979113069280583370013497218233397"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"36800970754940151532779198186465999464355483614984954922000672185632382158887"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222593"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634935"],"tag":"AbiUInt"},{"contents":[256,"28650739071799908270526996818383447084408875797374738307490055222322451572469"],"tag":"AbiUInt"},{"contents":[256,"117"],"tag":"AbiUInt"},{"contents":[256,"27370267665868997028704474502455038831826074832820657946289102014862287462870"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630934"],"tag":"AbiUInt"},{"contents":[256,"101564154245674376419569913748731567663444188767447559002349205449316774032481"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"1533263486"],"tag":"AbiUInt"},{"contents":[256,"49947282094461981025443359823504221234889526676072256209716811283253681001373"],"tag":"AbiUInt"},{"contents":[256,"102477189569434110350103874017289435159784138615372557181705234821111421262075"],"tag":"AbiUInt"},{"contents":[256,"86398"],"tag":"AbiUInt"},{"contents":[256,"1524785993"],"tag":"AbiUInt"},{"contents":[256,"346"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639798"],"tag":"AbiUInt"},{"contents":[256,"22381880551023064495066907937870003581389792709005397795232026070692605454050"],"tag":"AbiUInt"},{"contents":[256,"34599804816373892425354558500981572602146986468626273977929013719078483060735"],"tag":"AbiUInt"},{"contents":[256,"94149871352713499182482036902928298593605139479249102023809684167603444357250"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639802"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1998"],"tag":"AbiUInt"},{"contents":[256,"101634392136317425988784174393079257668408319402251177476510469350607780190836"],"tag":"AbiUInt"},{"contents":[256,"97900265909655905857810668309096792833080164857847938556935372001409548700064"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639679"],"tag":"AbiUInt"},{"contents":[256,"110838627035315221309819774113642678052645747430739908183093497787964736325637"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"67"],"tag":"AbiUInt"},{"contents":[256,"80084977604657484770463295707231355835960528694128577371756374716201537861487"],"tag":"AbiUInt"},{"contents":[256,"100294757087966070988933307787297883897547290727297116776425073608717447467412"],"tag":"AbiUInt"},{"contents":[256,"62735978502172581192997709160796729030452164262720375072548298892232308837296"],"tag":"AbiUInt"},{"contents":[256,"70547316728891720038649407535898037469632822530367664559818549051142184418785"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"463"],"tag":"AbiUInt"},{"contents":[256,"110949220524305145535463996620273168569588621515530351019621786723993962277432"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553534"],"tag":"AbiUInt"},{"contents":[256,"31997357833383245318029729275345168920619837299714483990588430594895796664168"],"tag":"AbiUInt"},{"contents":[256,"1524785991"],"tag":"AbiUInt"},{"contents":[256,"73230415221196989111183098562068763921768190495960406099852164098581847340437"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731853"],"tag":"AbiUInt"},{"contents":[256,"106587964770427982540761357750540245281552818927964618557842613610930594924428"],"tag":"AbiUInt"},{"contents":[256,"74776126375271565022365231372201118296441951415037295342491550935668167732381"],"tag":"AbiUInt"},{"contents":[256,"27110520290241069065917805986205838176644175420396175547122319413941175732171"],"tag":"AbiUInt"},{"contents":[256,"79121383239109824962326059632712998300378526851746799932751546205740833091530"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000026","0x0000000000000000000000000000000000000000000000000000000000000015"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000076ea6","0x000000000000000000000000000000000000000000000000000000000000030b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DC1;\\167B/\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\166\\b1\\164\\253\\141\\230o\\171\\ENQ\\250A\\253D\\SOH\\200\\154\\158\\224fD\\187\\245\\232\\238w\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223=\\136(]\\US\\141\\218\\179\\147n\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\193\\220\\249\\NAK\\151\\195\\224\\222x\\136\\164eu`R\\139\\187%\\144\\145\\STX5\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207-\\181\\149\\DC2\\149\\227\\158\\159+\\r\\223\\DEL\\211xJ\\US\\SUBIFG\\204\\202\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\ESC\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"+Di\\135,\\246~\\149\\195\\t\\189\\143\\159\\128\\156\\151\\190Ot\\182\\215\\173g!\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETBk\\252\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254<`\\186\\STX\\241\\215\\ETXk\\226\\247\\205W\\bs\\159\\252\\212\\237M\\182.\\235\\219\\154\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\130\\237\\191Z\\f\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132Q\\214y\\221\\205\\207\\141=\\169\\185l\\147\\186/\\\\\\245\\239W*>\\138l\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237=\\247\\132f\\133-\\236\\235\\215o\\131\\DC4yBo^sI\\ETX\\214\\159\\173Q\\ETX\\r\\142\\ETB\\238\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\t\\215\\194cd+|\\252\\162-\\EOT \"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\".^7\\233\\204\\172\\128\\&8\\193\\194\\DC2c\\255\\138\\234w\\186v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191b\\196\\205\\209\\GS\\231,\\144)\\226\\205\\NUL\\212\\141\\t8\\218\\204\\168?\\195T\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144m\\248H\\255x\\193\\208\\ETX\\DC1\\230C\\146\\v\\DC1_uc\\n\\155\\223\\219\\241\\231;\\229\\237N\\174\\207\\249)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"}PN)\\196{T\\206\\197\\222\\221b\\DC4\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\153\\156\\SO\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\239\\ESCT\\DC2\\233@t\\204o0\\134\\DLE\\176\\239u\\SYNj\\228\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS^=\\208\\239\\157\\239\\207\\SOHJ7L\\DC1\\166\\229c\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\139q\\ACKP\\238s\\166\\185\\EM?\\te\\\\\\STXx\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\244\\\"\\171\\144:\\158K\\183\\140\\241\\204\\&5w\\237\\RSn\\231\\&5q5\\227\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\198wp+\\210\\DC1\\241\\133\\222\\182\\248\\204OT\\STX\\172\\242v\\162\\216\\209\\&1\\169\\168\\ETB\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"(`\\201\\\"\\ACKYq\\217\\238[\\199\\216\\221\\200m6)rf_\\158Y=L\\143\\237j\\170\\t\\165\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\CAN\\146\\147\\202\\148\\235\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154?\\206O,\\\"a\\236\\&2\\245|X\\178V\\243{\\184r8\\222\\148\\182taT\\n\\170^9&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\191\\195,\\238Q\\254\\&1n\\175P\\243\\ESC\\181\\246\\n\\209\\SOH\\217\\SOH\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\186o/\\199\\152\\219&V\\252\\195\\151)\\154}\\240\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"D|1l\\163f\\184qk\\254>\\DC2\\NUL\\235\\&1\\218\\EM\\134A\\249j\\175\\245\\DC4\\232}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\229\\214\\ACK\\160\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\239\\139\\DLE\\255\\200s\\181\\&0\\128%\\229\\&5\\232\\177\\DLE\\130A)\\RS\\220\\&7Ey)\\FS\\130\\151\\217\\152R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\STX\\162\\254\\220\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\210`\\211+\\131\\201\\161K\\168\\&1\\DEL<w~\\133\\198\\154\\138\\&0h\\238j\\193\\n\\206\\163_\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\SI\\SOH\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\144\\221\\133\\128\\&2\\171\\196\\&3e\\156\\CAN\\153\\202\\141\\218\\129\\225hD\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE]D,\\252\\137l\\174{\\146\\NAK>\\232L\\176%\\154\\DEL\\250\\SYN\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\211(`\\235\\164O\\142\\193\\200h>?t\\150\\155@?\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\210\\159\\182\\143\\168\\239\\142J\\147\\187\\FS\\249Z\\SI\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\186\\242\\DC2\\ETX\\222\\252\\188%'\\237i\\200[\\210\\NUL\\155`-\\136:I\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\182js\\243\\f}\\248\\129TU%\\136s\\241\\220\\202!z\\191\\170]l\\142\\190\\&9\\SYNYs\\ENQc\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\223r\\225\\202|\\165\\NAK\\STX%\\234\\199^\\236\\205\\DEL}\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\214V\\174\\166\\231\\EOT\\246\\202\\DC1Q\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\202\\148\\&1\\235\\t\\195\\162\\DC4~\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\232\\179\\152\\234\\&7\\253Fn\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\145\\129\\132^\\198$_\\EM\\237_G%\\195;\\173|\\133\\163\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Q\\DC4\\153>B2\\FSQ\\163\\239\\134\\248T\\234S\\US\\145\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\128UT[3\\186\\236\\136}H\\255\\171o2G\\a\\174\\246J\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\FS\\145\\212\\184\\128\\&9#\\233[\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\235G\\243\\fv%n\\164\\\\\\132w\\205Q\\203\\&4_:\\ETX\\180a\\195\\239\\205\\245\\167\\EOT\\217\\SUB\\DC4\\201\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\213\\143\\&0\\239\\170\\186d\\251\\202l\\162\\SUBQ!\\169\\160\\145\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"U\\193\\141\\SO~j\\191\\233\\248%\\DC3\\213\\DEL\\208\\197\\248eF\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\202\\SOH\\181\\199G\\184\\&1\\152\\255\\239d\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\242\\147[<\\166\\227\\&0\\226\\167P-\\221\\244h\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\202f\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"E]\\150\\171Z\\167\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"_j\\165\\180\\SIR\\\\v\"","tag":"AbiBytesDynamic"},{"contents":"\";Z\\251g?\\223\\n\\199\\&9\\134\\185*\\196D\\236\\\\\\216\\185\\&5O\\202\\253\\210\\197\\RS\\ENQ{\\STX\\204\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236Jh\\167%\\SO1\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\233%\\223!#_\\214\\DEL[\\151\\&2X\\152\\t\\185\\187Q\\177\\RSVn/\\195x\\ESCy\\ESC\\190\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\NAKS\\\\\\220\\206\\206s\\178r\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\143{\\141c\\ETXB5\\174\\188\\SIJ\\203\\240*a\\152\\130}_\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\208\\198\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\ACK\\133\\167<qB\\219X\\130Lc\\145>\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\212\\131\\&5\\160\\178)~\\186\\ESCN\\201\\204f\\187\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\206\\171\\159\\218D\\137*\\131\\158\\198\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\191n\\169\\152\\EOT\\US.\\155Z\\200\\\"\\t\\133,M\\SYNw\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"2td`\\162\\193\\211\\&6\\b\\180\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\237|\\131W\\130\\&3\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\ETX\\235m\\243\\152\\ACK\\134\\n\\235\\240;;CL=/\\STX\\181/\\236PR\\254\\197\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\245S)\\141n\\215\\175\\245u\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\156\\164w\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\b\\197\\183!\\255l\\134\\ETB\\204\\211\\192D\\fr\\153z\\156x\\231\\&3.]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\150\\166\\129\\161\\167r\\203\\213\\135\\&0\\140\\188\\227g\\NULn\\EM\\239\\141\\173w\\145\\249*\\189\\186\\141\\241f\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"#\"","tag":"AbiBytesDynamic"},{"contents":"\">\\215\\162\\234\\168\\DLEmw\\129Zdg\\DEL\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221O\\238V|5\\147\\SOeU\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\245\\199\\170Z\\244p\\DLE\\\\\\233\\139\\222\\225\\128\\&8\\214?\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\201\\\"\\231\\217~\\STXh\\219)E\\f\\233\\201p\\SO\\ACK\\130u\\NAK\\173\\245jV\\CANjr\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\196\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\";\\133\\nu\\ETXE\\157\\198b\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231_\\209\\203\\159\\161&\\211<\\239\\201\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\US\\143\\229\\189+\\SUB\\160\\149\\195;\\b~\\202\\242\\224)\\tS\\153\\200\\170\\243CP\\235\\198\\130c\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\137\\&3\\217O\\165\\RS\\DC3\\211\\220\\252\\220\\171\\244>\\158\\DLE\\150-0\\255@\\178\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\164\\ETX\\243b\\251\\168\\233\\165\\143\\224?\\248\\185C\\157V\\SOHc\\250k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134e\\148ur\\f\\182M\\r\\NAK~W\\218\\STX\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179P~\\252\\207\\138\\201\\191t\\205\\201\\186\\149\\193@\\245\\171\\\\W\\253\\131h\\DLEv\\192\\173\\NUL\\232U\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\SI\\rB\\ENQ+?%\\219\\GS\\246\\b\\242J@\\SO\\SYNz\\171\\144[{\\193\\253\\SOH\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\ETXR\\SO\\181[\\f\\163\\fx\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\166\\143\\a>@\\254|\\254Q\\EM\\RS\\224Vo\\145\\131@2\\153#\\238\\a\\218\\151\\222\\\"\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\183\\161,\\242\\253\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\231\\187\\169nP\\247\\242\\147[\\254\\NAK\\FS)E*\\223\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\237rj\\155\\199\\182c\\154\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\224\\ESC\\169\\222\\230^3\\FS\\217/D\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTOWc8O\\182j\\EOT\\138\\145\\135\\158\\239\\v8\\226'\\\\\\SOH05&\\177i\\198!\\152u\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"Gn\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165x\\GS\\139u\\184\\GS\\178R\\230q\\FS\\191\\ENQ;\\241\\133N&'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\153b7zCu\\230\\136\\SOHA\\ESC\\186\\241-vU\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\ESC\\183/\\140\\n%)N\\ACKB\\n`{\\178\\221\\253%;G6\\149\\171\\195\\183i\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190-,\\205q\\141\\144\\&46Yw\\198\\201.\\NAK\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\146\\216PD\\134G\\138\\&7\\186\\SYN{4\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\EOTu\\ETB\\129V\\180$}\\143\\230\\187\\217.\\172\\142\\v\\153b\\135#\\185\\187*\\NULm\\185\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM2\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\DC4\\160-\\177\\138uAg\\240K\\bV\\209\\165\\v\\USc`^\\150\\254\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\&3\\GS\\ESC\\234\\175i^\\168\\NAKCG\\178\\255\\&1oe\\248\\210\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\220\\134p\\ETBW\\244\\168\\204\\146\\239\\EOT\\220\\216\\139\\146D\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\198Y\\144f\\143e\\223\\vhY\\132\\ETB\\245|\\178S\\ETBoc,\\DLE\\231\\208\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\STX\\242\\181\\140b\\168r\\181\\216(u\\241\\&4\\206p\\254\\aA\\130r\\226\\195s\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\188\\220\\183FKa:\\CANE\\157\\&46\\141}B\\144\\182i\\216\\195~\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\155\\SO2\\250\\148\\244\\238\\RS\\236\\217\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\163kC\\168\\226\\229\\&0\\231\\SUB\\SYN\\189r'T\"","tag":"AbiBytesDynamic"},{"contents":"\"@ND\\185\\135\\147\\255$k\\202\\253\\173\\&0+\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\236o\\v\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"B7\\218\\140\\255\\209\\211\\197\\185Mi\\252\\EM1\\ETB\\135}\\201\\n\\236n\\ACK\\168X\\145R\\242H\\154\\150\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226HY\\170\\178\\200\\ETX7\\224*\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"%C\\142Y\\DLE\\252>\\190~\\190\\131\\147=b.\\ENQ\\145a\\134\\172\\SUBl\\233\\a\\145\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\CANP\\163\\221u\\148\\198\\&0\\196\\135\\162\\191\\249\\135\\178^\\157\\139\\SO>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\197\\210\\228|I3&\\EOTP\\158\\238\\RSO\\229\\155F\\201\\252\\150\\242\\&9\\230v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\223@\\248\\219\\148\\238l5\\139\\NUL\\253\\&85\\142\\a\\GSr\\237\\135\\DC3\\ACKY\\ETX\\185',\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\189\\255!\\248\\224#|\\ESC\\193\\t\\\\\\247\\209Q\\149R%7az\\173+z\\209m\\225}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\183\\246\\173F\\221\\177[Lq\\194\\164\\249SP\\143F\\DC4C\\143\\161\\198|\\151&L3t(\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\166\\170\\145\\&0\\238^\\vI`\\177TR\\n3m\\187\\NAKQM\\219\\128\\176\\CANn\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\SYN\\US##\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\155\\DLEj)\\217S\\GS!_\\190wY\\196\\245T\\192\\240s\\135\\215\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\nD\\218}2\\254\\240\\135.\\252]\\152\\229\\197\\192;;\\187:\\157\\134\\189U\\f\\138D\\240\\138\\ACK\\147S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223&\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\246\\224l\\188\\248\\177Z}\\201\\US\\f&\\250\\137\\227\\150\\171\\ENQ\\237\\222\\227/0\\149\\EM\\166z\\151{\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\181\\249\\204\\EOT\\173we\\248\\131\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\215\\193\\178\\173 c\\221\\SOHn\\226\\158\\\\\\185e\\229\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152hw\\151\\ACKt\\t\\202\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\241\\189\\GS\\233\\195\\249P\\148\\153\\206&\\163\\226\\t\\154\\232_\\137\\210\\136\\FS\\240\\236\\203#\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\131MV\\245!\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\183\\SI]S\\144\\&5&\\234I\\164\\192\\210\\223AH\\\\\\224\\136\\188~iY\\170e\\215\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188d&\\168\\SI\\155\\173\\178js\\198\\146\\241\\218b\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\230uL\\232\\237q\\143:wm$\\248\\221\\237B\\217+s\\ACK\\135\\243\\225y\\177\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\223\\DC1(0\\140\\SYNDF:\\224C\\225\\ETBQnq3\\156\\136C\\198\\237\\222\\164\\239Tn\\\\\\131\\173\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\160\\135\\202i \\144R]\\152\\211\\193\\223\\162\\133\\SOr/3\\189\\&3\\213\\ESC\\r\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196>\\156}\\139l\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\139W\\131\\194l5\\176\\160}\\RS\\204\\200{\\252\\&80>\\239\\152\\DC4\\NULa b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174F\\160L\\250L\\202\\146LS\\n\\146\\163\\ESC\\143\\181p`\\240\\222\\246G\\242\\180\\174\\223\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\200$\\232\\217\\194\\149\\155<t\\FS\\173\\233\\133\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\a\\224\\232\\204\\216\\214F\\NAK\\138{\\NUL\\226v(2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\169?|\\218\\143!%J\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\166a4\\229\\&0\\217e\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\146mu\\CANYL\\\"\\242z5\\237F/\\215-;\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"P#Y\\240\\DLE\\134Q\\EOT\\252\\254\\STX\\EOT\\EOT]\\133\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\DC4.\\197\\174\\\"\\191)5\\195\\132\\190s\\246\\202\\175\\253WCB\\248\\194\\DC4\\203\\DC1E\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"1#-\\222\\&5T\\194K\\DELB\\131t\\140\\155\\212\\147\\ACK[FHk\\225\\&6V\\v\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ~EX;\\183\\205p\\GS\\165\\178\\&9\\183.\\234\\DLE\\142\\236P\\231y@\\148M\\DLE$?\\NUL\\SIz\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\r\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\238-\\237\\DLE\\242\\158I\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\EM\\v\\SOH\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"#u\\149\\\"\\205mvZ\\DEL\\234\\132\\a\\157\\&8\\154xp\\SUB\\186m\\224\\183\\ENQ\\162\\185h\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\199g\\187\\143\\193N\\204\\ENQ\\209\\132\\154\\&6\\ESCi\\US\\241\\206gp\\174\\128[\\162\\249\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\163\\228\\a\\241\\RS6\\190\\248y\\SO \\132;\\133#\\227\\142{`(\\138\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"qV\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224`\\CANZ\\168\\&9(\\223\\203CY\\244\\245\\143\\DLEa\\131\\237\\179T\\v@\\149\\138\\171u\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\130(\\223'8\\v\\146\\216\\ETB\\224\\DELc\\ETBN\\160\\&3\\172\\222^\\167'\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\166\\186\\155\\DC2P\\142gQ\\152'\\168?\\STXj\\230\\220\\153\\173a\\190\\135\\n\\233\\SICXj\\241\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\209Q\\178\\ETB\\176a!\\233z\\NUL\\ETX\\228&,\\180\\DEL\\246e\\132\\191t\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219;J\\137\\231H\\137\\197\\137_\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQx\\201\\200\\159\\SO\\235\\&4\\SO\\146\\143\\171\\241\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196o\\208w\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\192^\\194\\149\\ETB5\\163\\154\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\187\\213\\v\\165\\180\\146tQ\\222T\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"Fm\\163\\&1\\175\\&0\\253\\207\\178\\183~\\168\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140f\\233\\US^\\DC3\\252\\222\\138\\208!\\SI\\215\\173\\231\\239\\229a\\214q\\230\\159(W\\166J\\184\\136\\208Az\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\252\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230<\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\168\\140\\223\\SID\\ENQg9T\\227(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\158\\NUL/#\\225\\199\\232\\172\\f\\181\\152\\236f\\141z\\250\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\161\\NAK\\DLE\\178\\201\\245\\226\\178\\250V\\237\\144\\231\\255\\GS\\fT\\DC3W`@\\SO\\163X\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201M\\254Z\\180D\\184\\243*\\175xx*\\130\\SYN\\159\\188\\181`\\244\\SOH\\134\\&5\\211\\249g\\191\\202\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\209\\158\\209e43\\232\\175\\206\\231n:~7\\193^\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636332"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551613"],"tag":"AbiUInt"},{"contents":[256,"42682308140449311476822428525149499482704092231130211532295410304358480541227"],"tag":"AbiUInt"},{"contents":[256,"85"],"tag":"AbiUInt"},{"contents":[256,"45351514738519409769847109215948713119943490567014438588817788401072697462039"],"tag":"AbiUInt"},{"contents":[256,"61868892047005821969814685193173501909942427812585004523513986731997210664422"],"tag":"AbiUInt"},{"contents":[256,"16811245308399041875227877853826386606252893297200850867445824900295763103438"],"tag":"AbiUInt"},{"contents":[256,"32373673721899818597321418648442298306217320633347504101783834103089379248629"],"tag":"AbiUInt"},{"contents":[256,"3599"],"tag":"AbiUInt"},{"contents":[256,"448"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"95526220040863284157400316473331053906192250872578876623024629538517303980378"],"tag":"AbiUInt"},{"contents":[256,"25849269645146224233493725438447427652760670106012045547745093667299651660387"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"97170056586979438123115370279925003231407424844351392499519507266255061026551"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636335"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858881"],"tag":"AbiUInt"},{"contents":[256,"115306513234712238487996924372818769068119765321157774609924467138275541889917"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"45521591723403810007985856945044393244587782130409476623775569096198709688249"],"tag":"AbiUInt"},{"contents":[256,"29657918864775509535937477195570531169877963058287012506210826822625"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"68182082061182753093811941498913255743407250520407879932780263555904350974211"],"tag":"AbiUInt"},{"contents":[256,"302"],"tag":"AbiUInt"},{"contents":[256,"18454378420520881299069541856844007984179564912759670976099730785254906768665"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553535"],"tag":"AbiUInt"},{"contents":[256,"4771402462900571272918005702577181469134465121777539567978813456349906384587"],"tag":"AbiUInt"},{"contents":[256,"69934374341739241338163278426552717757236128833186231578344066291872123858844"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577603"],"tag":"AbiUInt"},{"contents":[256,"68591346094470626164939271864062206500414752142991714903522954533831250545980"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"67267915268793947757504689837770363327766195112414484879501983279826289250155"],"tag":"AbiUInt"},{"contents":[256,"1528390317"],"tag":"AbiUInt"},{"contents":[256,"253"],"tag":"AbiUInt"},{"contents":[256,"48"],"tag":"AbiUInt"},{"contents":[256,"36776755487915981391580987846972915007554795451965441970783430939308573419419"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950336"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030339"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"73606855787830042067312248691517995619540976154714754923710821749625523123983"],"tag":"AbiUInt"},{"contents":[256,"85202288625781741230166720044142349054606188755360824242799156479966464587241"],"tag":"AbiUInt"},{"contents":[256,"105832494372850164116302849299895313486170794975560620313258918183423293444000"],"tag":"AbiUInt"},{"contents":[256,"47111597807367658982207657425629767996579754908500068053199319816396723686527"],"tag":"AbiUInt"},{"contents":[256,"86231401029172258168025553075425936455322211613327319660276938413148299737619"],"tag":"AbiUInt"},{"contents":[256,"54080076200347853516946818925314844822389385222851505013398490358195832799111"],"tag":"AbiUInt"},{"contents":[256,"98297547510241374186929415537640908293049672798720487141684376167003492141154"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"41161625344455627874059114522301986026535275091186867538037661576767745362647"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"5880444714786713245349985898718295396532714198710901147014238786551414525610"],"tag":"AbiUInt"},{"contents":[256,"501"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222594"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781054"],"tag":"AbiUInt"},{"contents":[256,"4001"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908082"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000043","0x0000000000000000000000000000000000000000000000000000000000009a09"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000384","0x0000000000000000000000000000000000000000000000000000000000000fbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"102976845943324779224801839739645810660417716242565885697181138823257032799511"],"tag":"AbiUInt"},{"contents":[256,"3200056199589781446235773590396603615116662935061044428612933400871825184367"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1313373044"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639839"],"tag":"AbiUInt"},{"contents":[256,"99763342677804884308480667850081503948365295483836025520102225983496711138829"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4d","0x0000000000000000000000000000000000000000000000000000000000000552"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":[256,"172"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000577b0","0x0000000000000000000000000000000000000000000000000000000000001271"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000038950","0x0000000000000000000000000000000000000000000000000000000000004b98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"42330286750917902992102485170150057154750361631239965100034547377217817359425"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb14","0x0000000000000000000000000000000000000000000000000000000000000086"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a0f1","0x00000000000000000000000000000000000000000000000000000000000098e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"65946697282960810943686653177131018735643962759987225806130658260961464920843"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135ac","0x000000000000000000000000000000000000000000000000000000000000614e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"667"],"tag":"AbiUInt"},{"contents":[256,"102"],"tag":"AbiUInt"},{"contents":[256,"47880790652480217372951814130544400681387347423598477797330688947291768424491"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000ffff","0x0000000000000000000000000000000000000000000000000000000000000382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"48753751591739033564398532745632387227280641935804439739443836457561738930818"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ac","0x0000000000000000000000000000000000000000000000000000000000001389"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"35030817275797325651974011670124102556863076576522364475624368198872325469375"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747171"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004b89e","0x000000000000000000000000000000000000000000000000000000000000bd45"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eace","0x0000000000000000000000000000000000000000000000000000000000001272"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"37414742507589937789569166469170587540908306237838202465985903382172266901824"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002712","0x0000000000000000000000000000000000000000000000000000000000001c9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639936"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000060fb","0x0000000000000000000000000000000000000000000000000000000000005ef7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002f433","0x0000000000000000000000000000000000000000000000000000000000005b6b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164d","0x000000000000000000000000000000000000000000000000000000000000101d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427b","0x0000000000000000000000000000000000000000000000000000000000000075"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1c","0x0000000000000000000000000000000000000000000000000000000000000043"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010fc2","0x0000000000000000000000000000000000000000000000000000000000008fbe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"60537590966681093601888006441655329710893191036135189790026133071335580917944"],"tag":"AbiUInt"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bf","0x000000000000000000000000000000000000000000000000000000000000004a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"169"],"tag":"AbiUInt"},{"contents":[256,"35126763590592077234856217575861976145993273445069886553726957814042153641325"],"tag":"AbiUInt"},{"contents":[256,"98355752920825983969381716584648818773138525170513120404984423507935071678795"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fc","0x000000000000000000000000000000000000000000000000000000000000129e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001f","0x0000000000000000000000000000000000000000000000000000000000001337"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"TST\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NUL\\NULn\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002710","0x0000000000000000000000000000000000000000000000000000000000000fb8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"2000000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c5dc","0x000000000000000000000000000000000000000000000000000000000000134d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":[256,"84145698496872093900882585690587134724347109768675921943925266570759197768950"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bae","0x0000000000000000000000000000000000000000000000000000000000007c32"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"413"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000804d9","0x000000000000000000000000000000000000000000000000000000000000ea54"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052404","0x000000000000000000000000000000000000000000000000000000000000c9e3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"157413349884562533053509675234224066805075560445551"],"tag":"AbiUInt"},{"contents":[256,"329"],"tag":"AbiUInt"},{"contents":[256,"511559835577373069"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"15"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628419"],"tag":"AbiUInt"},{"contents":[256,"4733968088332013773162309043163233183991803249431168317362758671707565542859"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628416"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637937"],"tag":"AbiUInt"},{"contents":[256,"44184644074549605880037438957926601182595106885010473741545500789636726644381"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"9004"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"36131572935336585372957219730671635154782302785549090963697437503485561395686"],"tag":"AbiUInt"},{"contents":[256,"71"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639800"],"tag":"AbiUInt"},{"contents":[256,"74105758705469594779726944947544481473978605426150770868378905314982386850809"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639861"],"tag":"AbiUInt"},{"contents":[256,"299"],"tag":"AbiUInt"},{"contents":[256,"108381150126545835521554815069726070296579778630582720407947095578641303222910"],"tag":"AbiUInt"},{"contents":[256,"53198169900453561454881033385109277999843014918963259003756086696831866009370"],"tag":"AbiUInt"},{"contents":[256,"3632266714424570088714389220783664407818809018516501320658903269624332230175"],"tag":"AbiUInt"},{"contents":[256,"23702620248292519509704791675133264201620533558597025439834499114612697177977"],"tag":"AbiUInt"},{"contents":[256,"110561266484177547432489564849947082134504587691512370375073040528928098967545"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427a","0x0000000000000000000000000000000000000000000000000000000000008ffb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000003238d9132ca4be2d4"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2b","0x0000000000000000000000000000000000000000000000000000000000000051"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e374","0x0000000000000000000000000000000000000000000000000000000000001356"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0d","0x0000000000000000000000000000000000000000000000000000000000000054"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747171"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000b056","0x0000000000000000000000000000000000000000000000000000000000005d4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"<\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231q\\191_nA\\158Y\\139\\160\\244\\192\\DEL\\\\V\\192\\213\\242\\138\\225\\USj\\170\\186\\ETBf\\154\\247!\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242>?8\\149\\184<\\254D\\157\\200\\179\\245AW/+z\\131\\CANO\\SOH\\231\\244,\\239u\\b2\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\249r\\217\\217\\177M \\134hm\\176\\250j\\142+\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"Rd`\\GS\\228\\214\\227\\SUB\\176\\167{\\244\\214Q\\169\\181\\137)\\162\\185\\192\\142<ro[\\139#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135&\\224\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\bl\\243\\&1\\208\\241\\SOHw\\154M8\\192W\\214\\&7\\203(\\153\\221\\223\\143=`\\137\\188\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\203s\\216U\\188'\\145Bgj\\132>\\SUB\\213\\146\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209.\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"T,9/>9\\221F\\NAKU**hg\\STX\\180\\NAK\\b\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"76368539637955121394426527991323738916620133692205132764928589075319934535325"],"tag":"AbiUInt"},{"contents":[256,"76368539637955121394426527991323738916620133692205132764928589075319934535325"],"tag":"AbiUInt"},{"contents":[256,"76368539637955121394426527991323738916620133692205132764928589075319934535325"],"tag":"AbiUInt"},{"contents":[256,"10003394892339300620738673155427519061713028714136763270375185488252998287551"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428158"],"tag":"AbiUInt"},{"contents":[256,"60318181046636098123013681869263144018390096606711154166688562523906676382988"],"tag":"AbiUInt"},{"contents":[256,"99493417936388842410956462181773201604091762887313451995895716714623352302630"],"tag":"AbiUInt"},{"contents":[256,"113143052589514866723249645586904953382267261730641267845701112731625894611406"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"63"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689600"],"tag":"AbiUInt"},{"contents":[256,"111911181361581382725266469900462866770786776271376351242586949310923607322282"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731856"],"tag":"AbiUInt"},{"contents":[256,"97648414655236204518255828554751627019813883074409671099240013137461234934083"],"tag":"AbiUInt"},{"contents":[256,"12082286361188835602381215084408497845468765815165004902590020037044510370370"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"11206443171474911156749315553071828"],"tag":"AbiUInt"},{"contents":[256,"65493116188860552862895183019202864113814285268251554784551008819428059309654"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638936"],"tag":"AbiUInt"},{"contents":[256,"171"],"tag":"AbiUInt"},{"contents":[256,"90094980036065076980570573087740852464524582548833601669701769333548606275557"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132609"],"tag":"AbiUInt"},{"contents":[256,"566"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638936"],"tag":"AbiUInt"},{"contents":[256,"111883944757929762905313123784536790820139925888229520141333019657432438499937"],"tag":"AbiUInt"},{"contents":[256,"11"],"tag":"AbiUInt"},{"contents":[256,"235"],"tag":"AbiUInt"},{"contents":[256,"67943291837784790101982307585264172718461054775126082513402048648200248937039"],"tag":"AbiUInt"},{"contents":[256,"132"],"tag":"AbiUInt"},{"contents":[256,"28843198750472957406421688189371419295843837852193209119738230764929680251898"],"tag":"AbiUInt"},{"contents":[256,"94270852761987860331002951840206932997629982080085936938755796388012641492891"],"tag":"AbiUInt"},{"contents":[256,"15330911223483683568409707187779498442620893695748785056563649120734635605297"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"13583698014143123598849698212298000775316328726264880666020630092910130079404"],"tag":"AbiUInt"},{"contents":[256,"47322990347447930761608309367140410837584468383417463092952832383075317443688"],"tag":"AbiUInt"},{"contents":[256,"43070036399615846427870065543595781387040129377971236973110662825963691981612"],"tag":"AbiUInt"},{"contents":[256,"711674177970612614436550266069165083922378750972411999412516075225169021935"],"tag":"AbiUInt"},{"contents":[256,"10200278613991742650590414531863931445775178645959069931823030595951666065873"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"12689059936376832854514516118623071662535040656953512869694131218496185168131"],"tag":"AbiUInt"},{"contents":[256,"9003"],"tag":"AbiUInt"},{"contents":[256,"96159650146306875913483487752861173203880047155703125657488992135646333723952"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129035133"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639704"],"tag":"AbiUInt"},{"contents":[256,"2"],"tag":"AbiUInt"},{"contents":[256,"499"],"tag":"AbiUInt"},{"contents":[256,"56533663279518168981287837942215990312782622499502412902718261121720785838453"],"tag":"AbiUInt"},{"contents":[256,"79704878740880155396208969723612189426713287343088651042125864074792982190314"],"tag":"AbiUInt"},{"contents":[256,"67946360698672125856414771808922812141217975201470442111812997796240485039777"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"604"],"tag":"AbiUInt"},{"contents":[256,"51479414714375657295903069359856355318299959103097628304455080411049152401079"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639802"],"tag":"AbiUInt"},{"contents":[256,"9739418109909136584737725529606191437724172145565510815713574836842820357722"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858881"],"tag":"AbiUInt"},{"contents":[256,"1999"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639856"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553537"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266893"],"tag":"AbiUInt"},{"contents":[256,"82085783332657077901119367775698855485204065666434337085536020678835503927906"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"66827586268010225681049488880929044807642978742042688331642029559278723370202"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000002"],"tag":"AbiUInt"},{"contents":[256,"29671763240815220312636588467875308183784460365709619959778711900666362347063"],"tag":"AbiUInt"},{"contents":[256,"101178718328761338539346276725671253103097484641182044920856611229999380584622"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553536"],"tag":"AbiUInt"},{"contents":[256,"9002"],"tag":"AbiUInt"},{"contents":[256,"79446148801437930596344654298197462908003985005148371965105266196071482395637"],"tag":"AbiUInt"},{"contents":[256,"13791894033176769921796995397194829733086333669192792493664869993132337667182"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266896"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"3999"],"tag":"AbiUInt"},{"contents":[256,"1999998"],"tag":"AbiUInt"},{"contents":[256,"3685304048967328517286442239719290590248878604105541653024808456507751154593"],"tag":"AbiUInt"},{"contents":[256,"62"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553536"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553536"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553536"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639886"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577600"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428160"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"98446997964889416317054658760415271362958601217678609054188789173985965238199"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"11519739378946986653661531279777683990433654136039217859883796608516272119002"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"85304447301372616890307282393585257354553689070784792083989048221842853408980"],"tag":"AbiUInt"},{"contents":[256,"44196215382915102186483507738291929279150469723711144374669712897218573444308"],"tag":"AbiUInt"},{"contents":[256,"8999"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062334"],"tag":"AbiUInt"},{"contents":[256,"318"],"tag":"AbiUInt"},{"contents":[256,"31"],"tag":"AbiUInt"},{"contents":[256,"6138525737036078520123578651394332287128126786000695998546086762148417100647"],"tag":"AbiUInt"},{"contents":[256,"2883483825497072442004336247010777909999062341062015271652505154387895941269"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551615"],"tag":"AbiUInt"},{"contents":[256,"81194815009839244181587086688952177175841278848490161585242264988456021167294"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427c","0x000000000000000000000000000000000000000000000000000000000000ec36"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000077","0x0000000000000000000000000000000000000000000000000000000000006a25"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000004eba666298520e362"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"903"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000007a","0x000000000000000000000000000000000000000000000000000000000000138e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000000787b2f5755b907ed"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"99999999999999999999999999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bad","0x0000000000000000000000000000000000000000000000000000000000003f7e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x27cc01A4676C73fe8b6d0933Ac991BfF1D77C4da","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[8,"188"],"tag":"AbiUInt"},{"contents":[8,"175"],"tag":"AbiUInt"},{"contents":[8,"41"],"tag":"AbiUInt"},{"contents":[8,"203"],"tag":"AbiUInt"},{"contents":[8,"66"],"tag":"AbiUInt"},{"contents":[8,"234"],"tag":"AbiUInt"},{"contents":[8,"46"],"tag":"AbiUInt"},{"contents":[8,"133"],"tag":"AbiUInt"},{"contents":[8,"93"],"tag":"AbiUInt"},{"contents":[8,"99"],"tag":"AbiUInt"},{"contents":[8,"108"],"tag":"AbiUInt"},{"contents":[8,"62"],"tag":"AbiUInt"},{"contents":[8,"134"],"tag":"AbiUInt"},{"contents":[8,"49"],"tag":"AbiUInt"},{"contents":[8,"204"],"tag":"AbiUInt"},{"contents":[8,"16"],"tag":"AbiUInt"},{"contents":[8,"120"],"tag":"AbiUInt"},{"contents":[8,"8"],"tag":"AbiUInt"},{"contents":[8,"32"],"tag":"AbiUInt"},{"contents":[8,"9"],"tag":"AbiUInt"},{"contents":[8,"181"],"tag":"AbiUInt"},{"contents":[8,"8"],"tag":"AbiUInt"},{"contents":[8,"239"],"tag":"AbiUInt"},{"contents":[8,"30"],"tag":"AbiUInt"},{"contents":[8,"105"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c43a","0x0000000000000000000000000000000000000000000000000000000000001391"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b6e7","0x00000000000000000000000000000000000000000000000000000000000095b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000712e3","0x00000000000000000000000000000000000000000000000000000000000069fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"63424059129111229792654053954385450825675799700313330894980668835918101214301"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000028928","0x0000000000000000000000000000000000000000000000000000000000003c09"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":[256,"75452505789163307724952332893283427443664585284251676189977910125960438"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf2","0x00000000000000000000000000000000000000000000000000000000000055f2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"20"],"tag":"AbiUInt"},{"contents":[8,"244"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000023","0x000000000000000000000000000000000000000000000000000000000000b449"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"100"],"tag":"AbiUInt"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"34358031277846757081026707208170657765556298996869145229277201893818206245833"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75c","0x0000000000000000000000000000000000000000000000000000000000009204"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fbfd","0x000000000000000000000000000000000000000000000000000000000000a294"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]