[{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"21054792666691782376543774693331459815005040259759287915587786111756109805133"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270e","0x0000000000000000000000000000000000000000000000000000000000000381"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"81"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000668ee","0x0000000000000000000000000000000000000000000000000000000000003350"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000039","0x0000000000000000000000000000000000000000000000000000000000000053"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"244"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000016","0x0000000000000000000000000000000000000000000000000000000000000022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"77114752148215811142465629561325132541820464191067002954733089053416097457842"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000142ee","0x000000000000000000000000000000000000000000000000000000000000135c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"64"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"499"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000017","0x000000000000000000000000000000000000000000000000000000000000c543"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004f08c","0x000000000000000000000000000000000000000000000000000000000000270d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"14395190800747823482387797840047213292885345145458885178284599780605148106437"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eace","0x0000000000000000000000000000000000000000000000000000000000001a41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34e","0x0000000000000000000000000000000000000000000000000000000000002323"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000077","0x0000000000000000000000000000000000000000000000000000000000000400"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"3306610710743390813235142416019392061120610129719327205401244178503706002536"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427a","0x00000000000000000000000000000000000000000000000000000000000019b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":[256,"28403742836480675649347773849898960873685918049016827878100181713338870050538"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2a","0x000000000000000000000000000000000000000000000000000000000000138d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002711","0x0000000000000000000000000000000000000000000000000000000000001391"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"70875982230952551082660676241181846504273916375866681404652048076460883957683"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d53","0x0000000000000000000000000000000000000000000000000000000000000055"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eafe","0x0000000000000000000000000000000000000000000000000000000000001341"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"241"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe4","0x000000000000000000000000000000000000000000000000000000000000a296"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"99249380957883541672781356660293478865762153952267521915270585216111176463723"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000046","0x0000000000000000000000000000000000000000000000000000000000000027"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"1000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e0e","0x0000000000000000000000000000000000000000000000000000000000009e96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"6"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005408b","0x000000000000000000000000000000000000000000000000000000000000ca0b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000103ef","0x0000000000000000000000000000000000000000000000000000000000001343"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000006123","0x00000000000000000000000000000000000000000000000000000000000007cf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0e8","0x000000000000000000000000000000000000000000000000000000000000101b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"231"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580ae","0x0000000000000000000000000000000000000000000000000000000000000087"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075049","0x000000000000000000000000000000000000000000000000000000000000b31c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"37148480863953326154050944796377562247391766086397075688265880063149221802521"],"tag":"AbiUInt"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000036","0x0000000000000000000000000000000000000000000000000000000000007119"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c9","0x000000000000000000000000000000000000000000000000000000000000c107"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"50"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003e","0x000000000000000000000000000000000000000000000000000000000000003d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d51","0x000000000000000000000000000000000000000000000000000000000000b939"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"40072307574673873201210716639883880413546300763993549974996627337192059640029"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fa33","0x0000000000000000000000000000000000000000000000000000000000000102"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"2057017972894230775005126833459308122630198886267500798501522518467571725960"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232b","0x000000000000000000000000000000000000000000000000000000000000133b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000129","0x00000000000000000000000000000000000000000000000000000000000095e1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb10","0x00000000000000000000000000000000000000000000000000000000000007c0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["asset_mint",[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":[128,"1998"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb10","0x0000000000000000000000000000000000000000000000000000000000009e94"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\144\\165\\131I\\254U\\129y\\213\\&1\\\"\\187\\165\\193\\130t\\244\\134\\130\\185\\140\\248\\145\\216\\158\\246\\244\\178\\209BS\\181\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb0","0x0000000000000000000000000000000000000000000000000000000000000383"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507326"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c5","0x0000000000000000000000000000000000000000000000000000000000003649"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c7","0x0000000000000000000000000000000000000000000000000000000000001320"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"21294230643497492297513379242635068027021596717482633182215458603780207606544"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb06","0x0000000000000000000000000000000000000000000000000000000000000384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"41762393067622219467306666674878124106601917437423371146747501718362"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae2","0x0000000000000000000000000000000000000000000000000000000000000f9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"999999999999999998"],"tag":"AbiUInt"},{"contents":[256,"103142037045159422827817558876636096155034165652627291829801403716513064884972"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001388","0x0000000000000000000000000000000000000000000000000000000000002266"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eafc","0x000000000000000000000000000000000000000000000000000000000000000c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030335"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1b","0x000000000000000000000000000000000000000000000000000000000000139f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf4","0x000000000000000000000000000000000000000000000000000000000000058f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"48"],"tag":"AbiUInt"},{"contents":[256,"1264317079946524353828233348247832519810"],"tag":"AbiUInt"},{"contents":[256,"95810048696530609367489652120779007894391151497519530404088552167943054092304"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"87137835542303843925980699817945774931827333828620449114973255754207395059038"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266898"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266898"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c9","0x000000000000000000000000000000000000000000000000000000000000ec38"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"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\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c43a","0x000000000000000000000000000000000000000000000000000000000000058f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"315929294449850859880998989622777029779017"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012d","0x0000000000000000000000000000000000000000000000000000000000000fb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003ea","0x00000000000000000000000000000000000000000000000000000000000092f0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"6067584978314469394684646899244431954431778565263846420936393544770523281121"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce4f","0x000000000000000000000000000000000000000000000000000000000000101b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"258"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000093a7e","0x000000000000000000000000000000000000000000000000000000000000c062"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007eea7","0x0000000000000000000000000000000000000000000000000000000000006ddf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000079","0x0000000000000000000000000000000000000000000000000000000000001340"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":[256,"429"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdd","0x000000000000000000000000000000000000000000000000000000000000135c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003c80d","0x0000000000000000000000000000000000000000000000000000000000000066"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"\\243\\219\\152\\222\\&4\\252\\143\\131\\222:\\156\\152\\225t\\NULA\\163\\220xe\\142\\137\\247\\212\\178\\ACK\\229\\205\\227\\239\\183\\136\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015180","0x000000000000000000000000000000000000000000000000000000000000e349"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553536"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000329b9","0x0000000000000000000000000000000000000000000000000000000000001c9c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"216868395375572850369755002117950772670287137066354193466552621604567"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa2","0x0000000000000000000000000000000000000000000000000000000000005d4a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"20966838259722103681229624221335977957900401206460158170929362791440091305299"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000081182","0x000000000000000000000000000000000000000000000000000000000000134c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a9f7","0x0000000000000000000000000000000000000000000000000000000000000fa1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"19045138923639441650238459348199036640510518893700457112974385736735316170274"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59e","0x0000000000000000000000000000000000000000000000000000000000001bdc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":[256,"17438328642335112507815795504100666918724767676409543250725371258576728"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012f","0x0000000000000000000000000000000000000000000000000000000000001396"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"59414570801110740607553428656961233339709783767396788132094598979144745885060"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000eb","0x0000000000000000000000000000000000000000000000000000000000000f9e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc11","0x0000000000000000000000000000000000000000000000000000000000001271"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0e","0x0000000000000000000000000000000000000000000000000000000000001387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000089","0x000000000000000000000000000000000000000000000000000000000000b44b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"maxWithdrawAsShares != maxRedeem\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb03","0x0000000000000000000000000000000000000000000000000000000000008ecb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"38948004245511878463145850189291600119115290135355174763358608063880249720138"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e3","0x00000000000000000000000000000000000000000000000000000000000007cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6f","0x00000000000000000000000000000000000000000000000000000000000001f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"39"],"tag":"AbiUInt"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1707650091796366282877276058308917685831976000655813248158865343029213034176"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e762","0x0000000000000000000000000000000000000000000000000000000000002323"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"309485009821345068724781054"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052400","0x0000000000000000000000000000000000000000000000000000000000007d93"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\181\\&3/\\245\\bI\\196$\\179\\&3\\203\\244{AS\\128\\140\\EMN\\189}r\\136M\\NUL&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\222\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\186\\nDQ%\\246\\159\\212\\&2X`\\141\\DC4\\181\\153<R\\231\\239\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\223\\158\\241@sIz\\177<\\236I\\255^v\\142\\228\\215\\175g\\213\\SI\\151o\\FS\\GS\\v\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\189\\ETX\\148\\228\\186\\186\\154R\\235\\211R\\199\\210\\220\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"5b\\141\\193eC\\DC4\\220\\198\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\145u\\169[5/\\226\\191n\\222m%\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227*\\237\\242|\\176(\\EMI\\144\\161\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236w\\226\\203\\195,\\156\\t\\146\\203\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\142X\\194\\139ry.Pr5\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\ACK0\\a\\216\\209\\227\\203R\\224\\148J\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\161\\243\\NAK~XpQ\\157z\\188D\\214'\\247\\140z\\214\\137b\\221M\\139\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\166lNm$l\\154qK$\\193\\158R\\207\\180\\246\\228c\\252\\206\\214.\\v\\252\\ACKM\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"U \\180@\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\ETX\\182\\235\\159&]\\142\\&6\\173-f\\244\\ETB\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\226\\234}\\246J\\255\\NUL\\232\\&2\\185\\192Q\\255~M]\\202\\ETX\\197\\134\\bO\\DC2\\175\\169K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159=t\\203\\193Q,\\155\\225\\199\\145\\DEL\\NUL\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\233\\\\\\180\\b\\SOH\\227\\NULj\\154\\190W\\v\\140\\205-\\216\\STX\\188\\DC2\\137\\218\\193l\\174\\207\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\249\\SUB(X\\ne07\\\"\\238Dw|\\222\\a\\173PG\\175\\231\\245\\172jM\\242P\\STX\\229\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"aD\\198Yl\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\239H\\199\\208\\CAN\\198j\\133\\248M\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"R$\\197\\139O\\211%5a\\175y^SvH\\235\\254\\185*\\197f\\\\H\\158\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\200V!\\248\\DC4$\\191}k\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"L@\\ENQ\\193\\133\\207\\146\\n\\129.Z\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"3\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\219qr\\181\\255\\161\\191\\152\\253\\ETX'\\141\\225\\201D\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\192\\198mr\\163\\200\\r\\229w\\157\\253\\249\\ETB\\174\\182\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\185\\214\\143\\178\\205\\NUL<\\193\\249|\\246|\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"z[\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\ACK\\254\\216=\\150b\\170\\fx]\\230\\177\\252\\167\\210\\178+\\EOT\\200\\f\\174S\\203\\SOH\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\133!\\228\\RS\\rW_\\132#\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"ZB\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\131?\\210:c\\178f\\DLE\\131\\&1\\138v&\\214\\ACK\\248\\188m\\r1\\147\\246i\\130bh\\221\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"_=\\CAN\\\\I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\198\\131\\235\\250\\172\\214\\ACK\\SO\\ETX\\220\\234\\144o\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\152\\222\\218\\136CM\\204\\215QK\\SUB<tV\\246=\\246\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\246\\SI\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\198WVo)\\DC2\\161\\252\\145\\170\\171v\\194\\174\\184_\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\157\"","tag":"AbiBytesDynamic"},{"contents":"\";\\248bj\\216\\128\\242\\USJ\\SOHZ\\176\\148\\217l|\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\202~\\250P\\180\\160\\t\\184=~\\249\\231\\211\\211Yd \\ESCn\\195A\\249\\&6\\134s\\221\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203%B\\200r\\255s\\EM\\173h\\215D\\238\\&0\\198\\CAN\\146\\134\\173\\203F |\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"P \\133uz\\238\\EOT=\\167l\\200\\211\\&8\\173i\\145\\160>\\191\\227jW\\182\\145\\DC3\\138\\211K\\158+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150g\\203\\240\\158i\\247\\140\\139\\250\\234\\250\\166\\147h,\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\239\\203f\\171_\\230j\\128a\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\";\\DC4f\\249\\167\\197\\&1\\147\\&5\\174L\\178\\215\\135\\242\\157j\\228\\234\\189\\SUBB)\\207\\&9>\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\CAN\\148U\\158\\165\\137qk2:\\192\\166\\180B\\FS7\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\139\\152\\252WQv\\136\\145\\234\\187\\241\\ETBS\\156p\\220\\204i\\199_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255R\\189?n\\204\\FS\\162f3;d\\212{\\RSj\\SO\\ESC\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\198\\216`\\146\\\"P\\186\\175\\STX\\157\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\206zk\\250\\219H\\139O\\180\\150K$8\\SOH\\144\\\\\\211\\143T.\\160hs\\144\\196\\229\\221\\228\\197\\210(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\255\\212\\GS\\246K\\177C\\NAK\\230\\236\\\"kg!\\ENQ\\EMP\\160z\\220\\233/\\159\\SI5i\\189T\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\n\\251\\238\\240\\232>c\\133J\\194U\\241\\189\\237\\155(\\225\\227\\240|\\FS)`\\RS\\ESCu-g\\244{\\r\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\168\\134\\132\\178\\188\\205\\230\\201\\196\\f\\191\\RS1\\RS\\164\\225UU\\212<\\204H_\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229w\\130\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\178U\\217\\234\\149\\136v\\233N\\178J\\184\\227\\220\\213\\218q\\248\\177R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143]}i\\244\\207\\171|\\180\\EOT\\247\\143\\247\\130\\239\\231M\\230\\250\\234\\211W0\\142\\203\\129\\134d\\233?\\170\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\183\\167\\135\\NAK\\187\\NAK\\252\\t2\\223X\\187\\221\\195\\207%\\131\\210\\176\\167_\\181\\234\\196\\SI\\207\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\231\\198\\154\\131)\\SOxM\\164<j/Xno\\218\\t\\163\\188\\SYN\\166\\161S\\244\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\219\\133%s\\179\\230 \\164W\\143J\\202\\&1\\202\\237\\237\\162\\219|\\CANM\\243-\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\235P?)\\FS\\146\\DELK\\DEL\\174\\144\\173\\188\\170\\239s\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\200\\223\\240O\\187\\157\\DC2\\221?\\175s\\213p\\189\\191eZ02\\ACKV(\\SOH\\171l\\USp2%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\211\\b\\210\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188_\\135\\208q\\n\\189P%\\179\\194\\245\\&1\\229\\138b\\152\\193\\fa\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186N\\ETB\\236\\155\\159\\139\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\254gQ\\202;NAf\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\157\\154\\142\\246u\\208\\243\\194Q\\178\\149\\&4\\245\\183\\193\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\224\\235D\\190\\189\\168\\194\\211\\&7\\167\\183(t\\192v\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GSQ\\DC2^\\227ys\\213\\238\\&9a\\143l\\147\\240\\199V>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\242v\\195\\252:\\154\\244\\180X\\161\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\178[E\\rI\\165\\173\\138K\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\230x\\201'\\199f\\148\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"v(Yj\\232B\\225r\\230t\\187\\&1\\DLE\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\v\\207$\\DC1w\\139\\NUL\\248\\173\\&3\\213q\\226*\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233,\\182X\\164\\210\\203vQ\\a\\SUB\\230f'\\155\\&4\\227\\213\\201\\206\\170IE\\n!\"","tag":"AbiBytesDynamic"},{"contents":"\"K\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\212\\163\\213\\140'\\144\\146\\138P/\\193\\&4G\\193\\243\\253\\&3A\\183I\\FS\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\227\\218\\175\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\175\\246a\\191_.+\\NUL_\\206\\155\\ETBf\\235\\160p\\201\\DC2G-\\191\\153\\NAK\\193\\250\\218\\156\\SI\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\180F\\208\\199\\172-\\221\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\211\\241,\\177\\187#\\215\\ACK:\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\251\\210\\245\\140y\\184\\166\\191}\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\230/\\180\\192\\190w\\130\\SUB:\\189\\164?\\146\\254\\NULb\\248\\138H\\134\\203\\188\\196\\EM3\\154\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\&8\\SUB\\163&W\\255\\237\\DC2dc\\216\\251-\\208\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\ENQ\\162\\&5W\\172\\EOT\\128(\\139@\\203\\246\\191\\DC1\\216\\224\\132\\163\\246\\158\\209\\234S{>%Sb\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\198\\132\\164\\ENQ\\CANyI\\246xX\\143\\SO\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\163\\208(8\\166\\185!\\200\\248\\179@J'\\212\\GS\\GS\\CAN\\217\\ESC\\209\\192\\234\\219\\191\\133#\\DC1O\\NAK\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"U\"","tag":"AbiBytesDynamic"},{"contents":"\"7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253R7\\160Ezr\\SUB)d<\\177\\128\\142\\&6\\145\\209ne\\161]k\\160\\NUL\\255\\ETX4#\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"b.\\244\\US,\\196\\188|z\\199\\202\\\\\\247\\196\\b\\247e6k`\\199\\STX\\239\\242\\240X\\205(-\\NUL3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\\"\\ESC\\138\\139\\CAN\\a^\\187\\b(\\GSj6\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\193\\239\\129)\\159\\150\\224\\130y\\246\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\192\\181\\243B\\EM\\ENQ\\172\\244\\SO_c\\139\\&2\\ACKn\\195\\134\\202\\245\\165p\\147z3\\f\\181\\153\\156\\ETX\\n\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\ACKW\\158\\162\\235\\203\\&9\\\"\\241\\ETB1G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\227Q\\153\\254\\144\\242VQ\\193\\179\\244\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181I\\201\\243\\DC1\\245v\\179\\204'\\184\\SOHH\\n\\224x\\SYN9\\173\\b\\ACK^\\149u\\237+\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\208\\206\\NAK\\211-\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"R:W\\200/\\140\\151\\ETX\\180\\153\\228\\\\wZ\\182c.\\196\\&43,\\245\\197\\136\\147\\n\\\\wN~\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\213\\GS\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\238Y;\\229\\229Gq'\\228\\CANW\\166\\194Y\\135\\131\\185\\SYN\\US\\211\\128\\150\\ETB\\EOT\\174\\235O\\FS\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\223`w\\\\@\\171C\\129\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134|O!\\241\\159\\144\\a\\130\\227\\191\\141I\\249\\185\\220\\EOTw\\DEL\\241\\155\\216\\201.\\188\\&8c\\201 \\174\\238\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\&4e\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240e\\250\\226#\\163\\DEL\\213\\207\\225\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\178u'\\192\\208\\128W'E\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\254\\DC3\\213z\\206\\221\\136\\247\\245-\\242\\&4\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"H_E5\\r\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\197\\ENQ\\195PF\\243\\ACK\\251\\235\\148\\216h\\250\\&6\\198\\CAN\\162\\EM)\\129\\155\\136\\140\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240!\\161\\225\\EM\\199\\199\\SOH\\167\\NUL)R\\129I\\251\\191\\202\\137\\175\\226\\ENQ\\nq*L\\148Z\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\158\\196#\\rsG\\153\\234|\\189\\237\\150\\232\\205\\146\\NUL\\178\\STX:\\180\\201S\\n\\170Y\\182\\DLE\\139\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151I\\169N\\219^\\193\\251t\\147\\233\\185\\220\\179K\\185\\240@\\138(\\t^\\EOTLt\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213.\\137\\195\\EM\\148\\254\\157\\192\\SYN\\220\\147\\242;\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\218qZM\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\r\\233\\229\\147\\143\\160UW\"","tag":"AbiBytesDynamic"},{"contents":"\"  \\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"z\\150Q\\US\\217\\235\\DEL\\150\\GS\\219+\\186h\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220c\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\RS\\SYNJ\\195\\235\\208\\136x\\STX\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178q\\255\\&2!\\141\\251\\192\\EM\\143\\153\\r?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\DC3\\250\\233\\nl\\147+\\fd\\218\\182}\\213fZ\\170\\DC4\\166=2\\DC4\\130\\133\\fj2E\\130\\222\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\236\\n\\161\\ETX\\NUL\\191\\190\\173\\245)\\248\\198\\211\\197\\226\\STX1s\\220\\f\\213\\251\\244O\\171\\196\\v\\241\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\228=N\\199o\\159\\SYN\\r\\251=@?\\153\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!s/\\211\\245\\ETBb~\\137\\196\\FS\\177\\250\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132xfK\\193*\\FS&6E9\\150\\204e\\143Q\\152:#i1?K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\178\\226y\\184\\155^\\158\\218\\210\\&3\\189W\\SO\\210\\168\\169V\\236\\166\\&8\\FS\\n\\n\\228\\203\\EOT9\\218@mx\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\177\\ENQ\\208\\&8\\204\\234<\\164\\DLE\\185\\244L\\n\\202\\SO\\248\\199]}S c\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243x\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\CAN\\EOT\\193\\193\\236\\f\\136d\\137\\DC3\\SO\\\"\\130\\\".\\246\\186\\195\\182,^fn\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\162\\161\\DC3\\130\\&8\\199(\\255R_\\142(\\233\\ETX\\209\\183\\CAN\\160A\\FS\\222u\\178\\184\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\242\\159EU\\232\\208\\134\\DC4\\140\\192J\\245\\SUB\\155\\f\\229\\156\\SIa\\177\\166\\253.\\ACKP\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\&3Wk-\\DLE\\254\\187\\146\\215k\\DC1\\196,\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"3yA$._\\133\\141\\160&\\GSr[c\\DC3\\ETB#}k\\181Vu\\246g\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176t)\\r\\145\\148n\\149c\\DLE\\EOT\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\231#'o-np\\136r\\144 @H\\227\\230\\144vI\\183\\197M\\242\\SIY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE6\\US+fP\\154Y\\178\\174\\136\\158j\\151\\&6\\STXm\\208\\235\\230\\ETBp\\158\\151\\163<\\133\\238\\199\\188\\132\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\218\\201\\188\\137\\&33\\214\\160\\193n\\194*\\RS\\255|1;!\\223g\\132\\ESCq\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169b,\\200\\DLE\\209n\\249\\140\\128\\176\\252\\241\\GS?f\\fh\\179=9\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\243$\\DC4\\182\\SYN\\137k\\188x\\253\\235\\251\\211\\228\\EOT\\141\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155y\\255\\201\\\\)\\201\\203\\\\\\247=R\\196G\\207\\243%!\\140\\144\\SO\\169\\241X\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\167<\\180\\183\\171R\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\nj\\198t\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157l\\b;\\238!\\n\\251@B9\\197\\DC1\\158Y\\157\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\255\\251\\187\\214\\&3\\tr\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\246\\SYN\\131\\231P\\146\\239\\165\\187\\206A\\168\\237\\ENQ\\146A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\248\\SUBt\\223\\177\\131P\\135\\140\\178\\NAK\\150\\189\\r\\213C\\SI\\161\\131\\205*\\194\\246\\EM\\163\\212\\171\\165~\\r\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240E5Y\\224\\173Ay\\249K\\189\\235\\244\\186u\\SO\\214H$cNM\\229\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244yd\\168\\156\\&7d\\219\\&7\\135m\\128\\171\\192\\139\\145\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\188\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX6]\\219\\234\\&4\\149M\\DC2\\179V\\251#\\255\\224\\130_\\213\\140\\202w\\RS)4\\158\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\177\\142\\180\\ETX\\149#\\254\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\FS\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\253mw\\162\\199\\145V\\219\\167\\167\\157C\\173H\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DC2j\\v\\234\\253\\RSzvw\\158\\236,O\\222\\184g\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162p\\217M\\145\\129\\145\\226\\146)l\\DEL\\202\\185\\209\\185\\193\\208\"","tag":"AbiBytesDynamic"},{"contents":"\".s\\188\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\143m\\224\\201\\172<h\\FS\\EM\\184\\&0\\146\\188\\220E\\218\\218\\172\\aA\\f:\\162X\\190U\\165-\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\246E\\RSP\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136s\\226\\\\\\a\\195\\225\\ETB\\SI\\156\\&5m\\145\\132\\171\\SOH&\\SO\\145\\141\\246\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\154\\211\\244\\150\\142\\160\\247L\\219I\\198g\\219\\GS\\144\\241#\\138\\164\\202\\ENQ\\ETX\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\228>\\152\\179Q\\167\\155E8z\\207\\168\\245\\247\\171\\250\\SI\\159\\234\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\168\\210\\ENQ\\206Ox\\251\\ACK5?\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\179n\\SYN\\178\\239\\185\\217\\EM\\181\\fo\\130m\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"h-\\169\\GSg\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\149\\176\\t\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\247[c\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166b\\226r\\212\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\162\\155\\216k\\ACK\\DC4\\138W\\139q\\248B\\201\\248\\180\\244\\172m\\166\\201\\155\\ETX\\243\\206\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\255Q\\198U\\207\\FS\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"*Z\\214\\DELWa\\191\\157-\\DLEa\\141\\252b)4\\229=\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219i\\246t\\140\\&7\\175l\\\\\\205\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\192\\217`\\191mT\\219.\\tch\\162\\SYNB\\249\\164)\\223\\166m\\203?Ke\\240\\244\\133\\SO^\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\162j\\DEL\\STX'Y\\168\\195\\152[\\r\\EM\\237\\253\\249\\202\\135\\DC2Q\\182\\203;\\226\\192Q\\US\\136\\EMk\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221n\\CAN\\238s&\\191\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207GO\\210&/\\227M\\161\\252\\243'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166|\\160\\158P\\219\\144\\230\\131\\132\\162\\&7\\241\\250#7\\128\\238\\246\\a\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\217\\224\\150\\198~\\197{Ey \\173\\166\\252\\&3\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\250\\210\\231}\\DC1S=^\\253\\138\\176$>\\DC2\\162\\187*g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212:?Qo\\191\\230\\241\\227\\153w\\SIL\\SUB\\194\\145_\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"^\\STXT9\\250\\202\\\"j\\STX/C\\239\\\";&\\153f\\212\\141\\176\\DEL\\SYN\\254\\195S;\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202w\\240#\\237i\\178\\&0\\DC1\\200rerF~\\174_\\162\\185u.\\RS ?u\\132\\f\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\225_\\149g\\211\\185\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"92\\211.2\\201\\243\\207\\t\\176\\220\\157|R\\STX\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128m\\188Okp\\ESC(mC\"","tag":"AbiBytesDynamic"},{"contents":"\"@DA\\ESCE\\146\\161\\222a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226c\\229\\USI\\222H\\173\\148'u\\136a\\237\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\130S#Z\\f \\SI%\\194*h\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\248\\153\\&5\\165#\\233\\225\\&0\\SYN\\NAK\\RS8\\174C\\161z\\162\\249\\199\\237\\163xZ\\233j*\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\133\\142\\RS\\141\\248\\145\\EOTr\\153_7\\129\\178\\&2\\212@\\228\\DC4\\\\\\206qhc\\156t\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255+t\\US\\135\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\\\E=\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231~\\240\\250kP\\f\\206{c<\\182N!\\153;9\\248U\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\209\\145\\224\\182~\\DC3\\249\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217}\\239\\197f\\246\\245\\t9\\DELN\\186O7\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"5\\173^\\SYNq\\255}\\227\\146E<\\181/\\202^1t\\215\\ESC\\236kn\\210\\243\\132F\\a?\\253f\\254-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\236F!\\161@8#\\180\\238`i\\160\\160\\197{U\\142\\156&:\\251\\ACK\\138\\RSsT9\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\v\\212\\186\\158\\SO:\\DC3\\209/#\\207\\DELw\\240\\213y\\225\\DC1\\137\\146\\198\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\ESC\\166\\210\\151\\a\\168\\153\\190;\\GS\\165\\v`\\232y\\166\\253\\131~\\202IX\\159}\\135\\220Gx\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUBf\\200S\\133\\134\\222\\201\\230(UU\\177\\ACK\\SUB`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198I\\189m\\238\\207r\\138\\ETB\\208\\188\\154&\\253\\NUL\\129(\\227NB\\\"\\DC1_\\209\\243w\\227\\249\\r\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\198\\254/ \\157\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217D\\237\"","tag":"AbiBytesDynamic"},{"contents":"\">=1\\207\\RS\\148\\198\\184\\&9ZcVx0\\249\\167\\DELG2K\\242\\235\\128\\188{\\162+\\169\\201\\t|B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\201\\163y&u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230}\\146\\tw\\248\\194 \\225Q\\DC1\\250\\207\\nr0d\\165\\167\\148\\v\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129]\\253\\DC1h\\170\\175\\185\\250\\SOHj\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\218\\146\\201\\NUL@O\\146\\141\\161\\DC2\\227|\\216`S\\SOH\\FS\\129A\\139\\199-\\206\\224\\176F\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190x\\233\\221\\EM\\229\\248\\GS\\166\\174\\187\\129\\193\\225\\167\\\"z\\SUB\\232\\134\\132\\253\\233\\n\\143\\180\\134\\136\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\161\\243\\229\\217\\&1\\169\\EOTF`\\206t\\246!\\188C\\178\\185\\190\\ENQF\\152\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\219\\f$@^s\\RS\\151\\154`\\187\\208\\169\\185?\\220\\224a;\\202P\\251\\DC1\\186I\\140\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\",\\143R^gX5\\129)\\153\\162\\&1ID\\ESC\\204Lw\\149\\165\\129N\\167\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\215\\nP\\146z9\\236!\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTv\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\187,L\\178z\\144\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\210t\\201\\180A(Z\\221M{\\128i\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\130.\\b\\165\\a\\NUL\\145<\\190\\154\\161g356\\225\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\CAN\\175\\198.\\146+\\174\\\"z\\190\\210KG\\158V\\STX\\183\\231\\193\\190+pP\\225\\n7\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\150\\184&\\185\\231\\248\\rdN\\210\\141/s\\214\\215\\229\\245\\&4A\\151\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\194\\179\\SI\\245s6\\165,(W\\b|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193v\\229t\\160&\\203m\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"33957019044241075152894624103036042166549220617329190030036647178004463819135"],"tag":"AbiUInt"},{"contents":[256,"38239239171729509644610506729954103333847527088137586430036013292478055997808"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"752"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635933"],"tag":"AbiUInt"},{"contents":[256,"39204323550858728812692965982626125923464969176528226496273836162166220708949"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639815"],"tag":"AbiUInt"},{"contents":[256,"100154492500750083366397492184764876570704437408195559437537404367592125231194"],"tag":"AbiUInt"},{"contents":[256,"70256454852062056206123133935164620830511920114413428155648787574921201283015"],"tag":"AbiUInt"},{"contents":[256,"30250093276092995883521362583917852216358667362238"],"tag":"AbiUInt"},{"contents":[256,"65759385849629621873502410441720033999575450717821906210494274678874776934449"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689603"],"tag":"AbiUInt"},{"contents":[256,"41648230683016073108944751975816780803901424451480502718630123833257992446414"],"tag":"AbiUInt"},{"contents":[256,"31125547288665229738788294988913008669371436704728978003016318374583460927719"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"112491311118518713862490291824356840012641225187018790941123242586578731342455"],"tag":"AbiUInt"},{"contents":[256,"79455392057686655860073289088638424447198457490808838625263352259205823653109"],"tag":"AbiUInt"},{"contents":[256,"2000"],"tag":"AbiUInt"},{"contents":[256,"112178667895871812377733844202462956727167428970030993815156952607507827171228"],"tag":"AbiUInt"},{"contents":[256,"387"],"tag":"AbiUInt"},{"contents":[256,"795"],"tag":"AbiUInt"},{"contents":[256,"35225499745290091931165244750952042996168273612617481976109265449601686259671"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635939"],"tag":"AbiUInt"},{"contents":[256,"6214247486162315601529637167395336240645399758685425662234427676719146781506"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639705"],"tag":"AbiUInt"},{"contents":[256,"31491121806293211987949424626249803967510936886428246449887695655054485323576"],"tag":"AbiUInt"},{"contents":[256,"81157131602230753523243627750635425034763021353801038105250336740502481479655"],"tag":"AbiUInt"},{"contents":[256,"839"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892770"],"tag":"AbiUInt"},{"contents":[256,"25411289908109700492223474369408717271812607745559032468122460259567292384198"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639831"],"tag":"AbiUInt"},{"contents":[256,"1313373042"],"tag":"AbiUInt"},{"contents":[256,"88601794122655250320117828210188896331649357653786888884073565672487610827354"],"tag":"AbiUInt"},{"contents":[256,"995"],"tag":"AbiUInt"},{"contents":[256,"45393562979629791637219363479014299149809762688167696681996915771704968304428"],"tag":"AbiUInt"},{"contents":[256,"63"],"tag":"AbiUInt"},{"contents":[256,"2354136309545801285832618228075867860154397"],"tag":"AbiUInt"},{"contents":[256,"7029904158992122134018709668099766247692765097498663626313257933642661650449"],"tag":"AbiUInt"},{"contents":[256,"61159173847169689267916927909084494586848419064814680618065766503197770149118"],"tag":"AbiUInt"},{"contents":[256,"47427311808777153210170944299105963650031634208616058581202451381482465735213"],"tag":"AbiUInt"},{"contents":[256,"32140526789907943883834694025235270670691487573848784391473319308533088289123"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639839"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"94813567694272160951473229348139723304227949265056406282725511565631602752118"],"tag":"AbiUInt"},{"contents":[256,"100840274449369821247216388631866869035212604906963579691676561723395746009782"],"tag":"AbiUInt"},{"contents":[256,"2003"],"tag":"AbiUInt"},{"contents":[256,"85417164568175493370279933785820973956673243648053629886779160286896163876811"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222589"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634935"],"tag":"AbiUInt"},{"contents":[256,"4370001"],"tag":"AbiUInt"},{"contents":[256,"43651086477272418629331528863526100666589460302169301008001394484344301063962"],"tag":"AbiUInt"},{"contents":[256,"36328868304255414212506497009425900116273137477089026453359811498443766438533"],"tag":"AbiUInt"},{"contents":[256,"47647079389664283703116811354720652625963802509091286536893120775041555641799"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639799"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"24870086673212709579179345075902678150228484126166921772501117716412343844571"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892771"],"tag":"AbiUInt"},{"contents":[256,"88392479425630397355055308201013275229736965947017123176998801934596755160316"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"99699367854296466583382858613988903640597552170748066712051467901737175386606"],"tag":"AbiUInt"},{"contents":[256,"13123372833666482066005692882232224629298283876795882291423708995"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926418782139537452191302581570759080747165"],"tag":"AbiUInt"},{"contents":[256,"92204508229140849612750635631416463160807521269419869365438020825923632238007"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"4003"],"tag":"AbiUInt"},{"contents":[256,"34745530503029527801997598225592150845493047619399499887557096873702230422668"],"tag":"AbiUInt"},{"contents":[256,"111563877637684151120360021157340505219217178441087844081268320594820273642783"],"tag":"AbiUInt"},{"contents":[256,"72"],"tag":"AbiUInt"},{"contents":[256,"569"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950335"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417342"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417342"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417342"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417342"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417342"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417342"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417342"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417342"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635938"],"tag":"AbiUInt"},{"contents":[256,"7618504362441923348974749324587924212449216881574532522409375620314230509187"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639684"],"tag":"AbiUInt"},{"contents":[256,"53"],"tag":"AbiUInt"},{"contents":[256,"90935769405116136320654065074811246667824713603524063561225330133048536052651"],"tag":"AbiUInt"},{"contents":[256,"43911932733580809589175389849279868185268002418734806795150931413899285247191"],"tag":"AbiUInt"},{"contents":[256,"105366208227927429135045837507691531870457817693123235933019940072140024108757"],"tag":"AbiUInt"},{"contents":[256,"45124475278848168654785394517816321812475830116634852955783380321913892398022"],"tag":"AbiUInt"},{"contents":[256,"406294477141984571884737420723873739313811297363787979893910065178838796246"],"tag":"AbiUInt"},{"contents":[256,"103658438546301203541544281191577151286959156538736814373072903347235115163729"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"72039042682535343579910257062184264866410144699203266811519848954154312196300"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507329"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629936"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639916"],"tag":"AbiUInt"},{"contents":[256,"2764579205723892492249489418170728118025775068461277420272771683801879786091"],"tag":"AbiUInt"},{"contents":[256,"106339640329187987747727242384807186913641541435434618456091071187351614180027"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639797"],"tag":"AbiUInt"},{"contents":[256,"20"],"tag":"AbiUInt"},{"contents":[256,"112822180923194325765579577651029865205263545954660602831957662510548806032211"],"tag":"AbiUInt"},{"contents":[256,"91826407600230774006359715303196882562671981024031373995277160801125458196436"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211773"],"tag":"AbiUInt"},{"contents":[256,"22501218671596696786880599965667341196270061032001565043433335896204244666638"],"tag":"AbiUInt"},{"contents":[256,"89642401722749284870206753276834812071332733408216534373521392195916825506054"],"tag":"AbiUInt"},{"contents":[256,"80750499049717720727994539193628440747102994626590628660818123694817284364103"],"tag":"AbiUInt"},{"contents":[256,"3601"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639924"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636335"],"tag":"AbiUInt"},{"contents":[256,"230"],"tag":"AbiUInt"},{"contents":[256,"350"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636332"],"tag":"AbiUInt"},{"contents":[256,"654807074748393560386264818154764308232325899383477128260388897291116660241"],"tag":"AbiUInt"},{"contents":[256,"84462151940879470670186949451290725552340854569598322150669739295199509920119"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635935"],"tag":"AbiUInt"},{"contents":[256,"57230553816555998610510398323446875652466433487980314148351240045644198014640"],"tag":"AbiUInt"},{"contents":[256,"67397325578622752976605733840528719208121001581996074831479117824198590727893"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639935"],"tag":"AbiUInt"},{"contents":[256,"79254017248745621244832295303608208759807736373436331135704960463140129380036"],"tag":"AbiUInt"},{"contents":[256,"60858981190535029740480795003087780389299468511687734285695262930080053421123"],"tag":"AbiUInt"},{"contents":[256,"73902799105477788691856739815705396792556010394803307626362711151486967543934"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd9","0x000000000000000000000000000000000000000000000000000000000000c05f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe7","0x0000000000000000000000000000000000000000000000000000000000001356"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\fd\\135\\152\\ETB\\146#\\DC3\\147c_\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\228\\251/x\\149R}C\\205B \\v\\131\\ETB]\\SUB\\202\\&9\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\211Z\\RS\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"s/\\SO\\221\\205e\\178f\\231\\164\\180\\f\\128\\219\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\246Sw\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221{\\220\\162[[\\209q\\191\\244\\205\\242%K%%R\\184*\\177d{8z\\DEL\\DC2\\255\\DC1\\134A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\156\\148q\\143\\244\\245\\DELze>H\\246\\&6\\NAK\\210\\191\\189\\197`\\190`2\\STXj\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\244\\246\\DEL,\\189\\213ew\\203\\222i\\157\\189\\235\\135\\129\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206U\\246\\n\\229\\176f\\164\\253\\165\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"*6\\148\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\222C\\t\\133\\150\\245\\&3D+\\226\\202\\\\\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153C\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\DLE`\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\229\\236\\170\\228}\\215m\\157\\182\\246x\\GSp\\226\\130\\170\\133_\\DC3#)\\213\\211JN\\ETB\\DEL\\GS\\250\\f\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\201\\191\\SYN\\252\\229\\234\\195\\210[\\SYN\\219W,\\SUB!`\\172+\\217\\241\\132tt\\RS\\144\\197\\165\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\237\\SO\\187\\ENQ\\195,\\166\\EM\\228\\171\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\&6\\ACK\\231rO\\152G9\\197DS\\b\\ETX\\245\\EOT\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"a]\\198\\170\\238\\198\\191rB\\217L\\218\\183\\SOHZ\\207\\215\\158j\\fry\\200\\ETX\\v\\176\\ETB\\215\\203R\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\178+Kw\\247\\203\\223\\152\\245\\165\\242q\\158\\201\\184\\133\\156~Awo\\t9\\NAK\\DEL\\156L\\139\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EMi\\216\\181\\181\\220\\244K\\f\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\130\\202\\175\\&6v\\128\\207GS\\EOT\\223\\130\\234\\\"\\155\\208\\233Y!\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143k\\192\\148\\146i\\207\\NUL\\252\\135\\164\\221\\253\\133\\211\\172\\DELi\\170\\143h\\NUL\\174\\235\\230\\147\\216`\\154$\\\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"y&\\204Y-\\146\\152=\\SO\\253\\240\\ACKV\\187\\241\\EM\\220\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"6+\\214\\225QRX{\\214\\219\\207[\\161\\236\\235\\US\\186.\\ETXI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\210\\224\\213\\222I#\\FS\\180\\150[+<\\253\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250,C\\242\\177Kp\\254\\246\\201\\190Uq\\196\\224\\158\\169\\146=\\134\\&48\\158\\aG\\221\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\228\\\"\\155\\249\\205\\244\\f\\216\\190\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\220\\ETX_\\SUB\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128a\\130\\r\\\"\\133\\233\\206\\229\\203\\ETBK\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\196\\164\\230\\r\\217\\240\\173i\\v4H\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\211\\244\\135\\140\\&1rw\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"K_L\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"w*e\\185;\"","tag":"AbiBytesDynamic"},{"contents":"\"B/v\\169\\230dA\\DEL!\\187\\205\\DLE\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\237\\159\\227\\\\\\205\\167\\219\\211\\DELzF\\250\\220\\217\\a\\141\\226O7\\149\\129\\154\\242\\162\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\147\\145$\\131\\\"\\169vr\\190EY \\147\\211\\172(U\\156\\132\\246\\162\\FS\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\215}31+\\137\\140\\212\\180\\182\\189\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"k4\\128\\SUB3P\\ENQ\\SOH8C\\NUL]\\250\\ETB\\145^\\a\\138?\\246g\\178\\186M\\209\\214\\NAK?\\205\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150a\\157U#V\\182L\\216\\147\\190(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\138h\\r\\167\\252W\\200.G\\176e\\146FC\\208/\\168\\227\\r\\160\\135\\237\\208\\161\\155:\\194<\\216\\165\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"z\\169\\185\\185U\\210\\184\\224>\\b\\ACKQA\\209J\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\EM6fW+\\207\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154c\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\210\\232o\\186\\b\\242/\\NUL\\169\\212 \\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204Ta\\b\\128@#2\\DEL\\SUBVi\\191\\SYN$\\187h\\166\\GS;\\195\\136\\172\\214u\\165\\\\p\\201\\255\\253\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\173\\149\\184=\\DC2E\"","tag":"AbiBytesDynamic"},{"contents":"\"t%a%\\237=\\244\\233\\149\\254\\186\\194\\140\\186\\182o\\241\\210\\EM\\152\\233\\211\\GSS\\230\\234(+\\133\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\185\\\"\\173^\\255\\205!\\144\\248m\\185!\\229oC\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"4\\188\\ETBo[8x\\185>u\\249\\a\\129?@1\\223\\236-\\143~vQ\\NAK\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\178P\\221u\\201Y\\179h\\140\\187\\DC24\\152\\154\\222\\CANu\\213Af \"","tag":"AbiBytesDynamic"},{"contents":"\"*\\ETXt*'\\243\\136\\n\\229I[|1\\ESCE\\255\\236\\DC1$\\EOT\\254\\ACK\\188\\161\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"F!\\181D\\201E\\ACK^I\\187\\SI\\209ji\\248\\&4\\191\\152\\188E\\133\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199&\\195\\173\\255]\\ACK\\235uj\\157\\206\\nc\\207y\\212\\DLE\\172\\157\\147C\\131\\\"\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\252\\215\\168\\155\\215\\ENQ^>\\173%o\\STX\\EOTRt\\149`V\\226jp\\EM\\192\\188\\164\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL0\\133\\ve\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187u\\220\\205\\207\\STX\\ENQ\\168\\156\\194K@8\\244Lq\\217\\162\\ETB+\\133F\\211\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224~\\176\\DLEBi\\195bh\\212\\DC4\\185]>H\\230\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"YD\\193\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"T:\\140n\\143\\132O GZE\\CAN\\203Qy\\251I\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\225\\194\\a\\246\\180]\\ENQ\\203\\248#\\ETX(\\237\\\\vy-*_H{E\\133\\236\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\214;r\\DC4\\133\\247\\226A\\215\\SUB\\131\\n\\250\\176P\\169\\197=\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\146/\\249\\251\\153\\203k/\\132\\228\\148g?\\GS\\138\\222\\250\\240\\RSj\\200\\205G\\177\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\133\\SOH\\173w\\RS\\183\\188\\217\\153\\184\\197\\r-V4\\255\\129\\194UX>7\\242\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\241 \\217 \\150\\136E:\\RS\\128Q\\194\\v\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\143\\132\\140\\251\\146K7a\\223+\\203\\226 \"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"|JG\\199\\220\\&6\\137\\157\\ACKS\\138\\183\\183\\EOT,iG\\204\\166\\245\\203R\\208\\230\\ESC\\139\\222\\143\\155$0\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\175f|\\171\\170\\SOH\\v#;9\\\\\\196\\205Y6\\ESC\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"Vs0\\ETB\\SOH4G\\146\\139Ue\\t\\251\\240\\170Ez\\151Z\\SUB\\198\\DC3\\193tU\\196\\178\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220:\\253x ?\\238\\227 {\\214\\228!4F\\162\\152p%\\f:`\\144bR\\248\\219\\176u\\170\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\178\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132N\\238\\DC15\\ESC9\\237y\\245^t\\157_(p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\139\\130\\135@\\206D\\166D?\\137W\\tB\\216h\\142_\\SIc9\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"Y\\SUB\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"1`$\\147\\154I\\n8\\235K\\b\\163\\183z\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"Al\\154\\219]\\249\\207\\211&\\DC2\\221\\DELSDM\\159\\248\\156\\&7N\\SUB\\204\\SYN\\181R\\SUB\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\217DB)\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\FSd\\154\\253r\\205\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229NO\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"V=c\\195\\240\\217\\244:\\202b)\\166\\255\\226\\246 \\156\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\150\\174\\153\\198\\212\\131\\&0\\155\\135U\\SYN\\249^A\\171e]|'3:\\218`\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\199\\150.\\138\\nX\\228\\226h\\163\\r\\145/O\\240y\\ENQm\\163\\139\\224O\\139\\CAN\\221\\191\\139/#t`\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\")\\179\\152\\DC1\\174\\247\\ETB\\134\\149\\172\\248\\148\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\166\\204\\165Qe:y\\b\\242\\&9)RA\\193\\200m\\225\\&1\\160e\\STXbI\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\202T\\DC2\\155\\151\\252\\DC2\\187<\\205\\249\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\SO&\\241G\\183\\190\\156\\159\\207\\232\\231\\EMK\\248N\\FSR\\219W\\228w\\247m\\254\\151M\"","tag":"AbiBytesDynamic"},{"contents":"\"i\"","tag":"AbiBytesDynamic"},{"contents":"\"|d\\220,O{\\153'\\192=8\\DEL7\\139[\\181\\169s/\\152\\210I&\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\142\\148\\151<\\153\\EOTR\\134\\147\\232\\&2\\179\\217sM.\\130\\148/\\209\\164O\\212\\131\\187\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\159*\\t\\193\\207,\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\187\\189\\165\\159\\224\\CANBDB\\230\\203\\177\\&4q\\171.R\\165\\200\\STX`\\137\\CAN\\FS\\181\\154\\229\\227\\142\\132d\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\210*n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\t\\144\\164AM\\251\\tY\\144\\251\\226\\249\\167.\\188\\216\\225\\135\\190[\\DLEi\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147*\\CANd*\\218\\DC49\\176\\181b\\228\\206\\RS\\155\\222\\218\\ETB(@\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\186\\174\\179\\251?\\t\\182\\184\\221\\184\\239k5\\136\\ACK\\EOT}C\\226\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\DC1fU\\193\\\\\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\SOHm\\DC4\\197\\CANy\\SUB\\223\\152\\ENQ\\SUB\\233\\152\\189u\\244\\212\\v6&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\GS\\fu\\152\\151\\135F\\SO0H\\249\\131\\SYN\\130\\251\\NAK\\SOHl#J_\"","tag":"AbiBytesDynamic"},{"contents":"\"Za\\224\\157\\198\\216J7t\\RS\\224\\184j.\\210\\184T\\FS|\\206\\132-&,]EJ\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\SYNz\\132=\\247\\128\\165j\\154\\250B$]\\209fH(k\\212\\CAN\\154\\128\\&4\\194\\239\\252\\183\\165|b\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\178\\SUBB\\212\\166\\141\\183\\178(uDe6\\178\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\135\\243\\168m\\170\\129\\134\\v\\224\\NAK\\200\\196\\187a\\244\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\180y!z{R\\143|\\138\\188m\\239\\151\\148\\167\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\214\\150(\\250\\&1ao\\144W\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128y\\RS\\151\\218:\\\\\\ACK\\231\\DC4\\228\\SOH\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179M\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253f\\135\\197\\EM\\169l\\244v\\179\\251+f\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"oAG\\184\\142@\\233I\\235}\\US\\212\\214\\187\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"Il\\191\\SYN_\\154\\SI\\239\\164\\176\\225\\245F{bS\\\\\\185\\207\\RSj'<_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\242\\165\\ACK\\162$\\237t2\\255h\\185\\237\\156\\SO\\205\\142\\137\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\190\\208\\145m4\\nu\\242\\170\\a\\r7A0\\133o6\\245\\232C\\GS,\\247#\\DC1j\\168S\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\rz@:\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\128X\\238{}\\144\\&0~e\\229!E\\DC4\\211\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246 \\220'Kj\\220\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"6q\\ETX\\181\\190]G\\200d\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\206\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134,\\\"\\200M\\150\\249\\150q\\214\\\"o\\216\\RS\\153\\n\\aL\\200\\142\\\"\\ESC\\194\\233\\128H\\188/Xm\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\175\\157l\\231\\160\\\"\\144V\\230\\163|\\230\\226L\\201k\\222\\\\\\188T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233i:r\\204-\\228j7C\\137\\242\\225\\SOf\\CAN~\\228\\138\\&9S\\DC1b\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\227\\242JW}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\236\\182\\134\\241ii\\aE< \\226K\\146\\232\\172\\233\\236m\"","tag":"AbiBytesDynamic"},{"contents":"\"m{\\130\\225J\\179\\RS9f#\\n\\200\\214\\235\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\ENQ\\237C\\207B\\200\\171\\226\\192p\\218\\235\\172v\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\226\\168X\\206\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\&6Y\\212a\\196\\&8\\213!\\225\\238/\\249\\221\\245\\SUBB\\191\\161\\141ab\\175\\236bi\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183]\\204\\146\\141Z\\133\\187\\224\\&4\\DLE@f\\167\\156\\&1\\216\\241sP\\187\\223L\\173\\EOT\\147\\190\\240\\234\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\204\\173No!\\SUB\\237tF\\136\\147\\190+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\ESC\\DLE\\191\\217\\177\\154\\242Eb#\\175G\\172\\249\\GS%\\151\\ETB\\201 Tw\\241\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\253\\226\\215A\\245h\\185\\181v\\210Yys\\158\\\\q\\248KR\\232e'1KG\\US?I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\218:.wH\\221\\136\\255a\\218R-\\174\\174\\186^\\CAN\\195\\228\\131iD:,\\191\\USz\\243\\200>\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\135B\\218\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\nq\\DC1\\234q\\185\\DC1\\232Uw\\176\\US\\210Mr\\238#\\226f\\NAKW\\RSAq\\135n\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245,\\185tEb\\SUB\\246'D\\146'\\ENQ:\\197Z\\152\\132\\147<\\178uVZ\\213\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\ENQd\\130\\DC2\\b\\160,\\181l\\ACK\\222\\157\\ENQ\\136\\166\\208\\152\\235It\\152\\167\\\"r@\\188\\145\\230\\205\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\216\\131\\\"\\RSz\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\238\\&2|7s\\216i\\EMo\\nDr\\216\\&4y\\235\\172n\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\171\\&2\\168/\\243\\208\\211!\\t\\188I\\156|\\EOT<\\168\\130\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\229\\EM\\n\\141\\DEL\\213;F\\135\\DC2\\255\\188G\\224\\241\\206\\155VE\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\",]DF\\217\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\187U\\163\\231\\154\\DC1\\207d \\225\\&1\\229=\\213\\SYN\\b/\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\153\\248\\FSe}\\190\\248\\238!<\\198\\151\\223#\\205X~\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"j^K\\233~ro\\215\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\220v\\207n\\FS\\255ZK\\US\\241C\\140\\165[\\146\\US\\137\\EM\\252rB\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\158\\211(\\212\\206\\251\\DC1O\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\228\\216\\144\\SI$\\FS\\128\\\\\\EOT7Nvr\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"-<s\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\177J\\177\\154\\138k.\\140:\\199\\229\\bL~\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\SI7\\140\\217$\\176\\EOT\\217\\174\\t\\167\\212J0\\SI\\252\\138O\\192*!\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157X\\146\\249\\237R\\156X-\\198\\&6\\229b\\198\\SUB\\214\\247\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\196\\188\\162\\129\\218\\EM\\174\\\\c\\165u|\\232<\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175%>\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\161\\191\\240\\161\\t\\224>\\139\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\NAK\\186\\243P\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159k\\202\\229\\199J\\235\\131-\\158\\EM\\198\\237\\254-f\\231r\\219}Rk\\193\\152z\\135\\204w*\\RS\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\255\\180V\\238\\195{\\231\\150\\186\\250X\\182\\DEL\\150'2\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\176\\aY\\213\\168p9\\147\\236QT\\159M\\235t\\235]k\\n\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\253\\232\\219\\DC2+\\128I\\196c\\232\\213<2\\214\\158\\182\\150\\RS\\252\\239\\234J\\EM\\181\\155\\SI\\152\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\197L\\168\\DC1cC\\225\\252t\\SYN\\161\\254u,,Fr@7J\\RS\\f\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\GS\\246t\\235\\DC4d\"","tag":"AbiBytesDynamic"},{"contents":"\"D\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\129jb<\\243\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\183\\NAK\\131xyl\\128\\192\\192ba0\\143\\153`\\215\\ETX\\237\\151I\\165^jH\\211\\150\\SYNd\\140\\v\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143w\\213 K\\GS\\155\\181\\205\\234\\&7\\194\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\DC1;5\\159h\\209\\ACK\\148!6cV\\227\\219\\&6\\145\\201k\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4M\\240\\152\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\")v\\152\\DC4\\FS\\129\\GS3I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192R\\f\\157\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\184\\199\\215\\138\\190I\\129\\174Z\\CAN\\180Q#Ya\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159W\\205\\248\\189Dj\\228^\\174_L7\\a\\251\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"DQs\\156\\212\\173\\146K\\184\"","tag":"AbiBytesDynamic"},{"contents":"\",\\171\\NUL\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\149f\\178\\178eE\\188K:\\SOH\\DC1\\143U\\186~\\214AQ\\165~\\247-\\150\\214m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\251\\184\\136\\USp\\163y\"","tag":"AbiBytesDynamic"},{"contents":"\"fq\\130\\230\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\198\\155\\226\\218\\197\\171\\DC1\\180\\147W\\201\\186!^\\179\\b\\157\\DEL\\239\\220ux\\237\\156\\229-\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215g\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\187q\\211\\152\\139zkV\\239\\184Z\\154\\FS\\246+|)a$.H\\SUB\\EOTu-\"","tag":"AbiBytesDynamic"},{"contents":"\"E\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145J\\250\\DC4\\\"\\210\\224\\190\\ENQK8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151=\\179U6\\249\\205\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\ETXLw\\231\\137\\204\\211!\\209\\213\\&6\\fW\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\212^\\253\\247:D\\128(\\157a\\177\\162-\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\";/^O\\226\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r~\\232\\173n\\184\\165)N\\tFY\\209\\222\\185\\241,\\223r\\DC3\\188\\237;\\189\\163;\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\185A\\238\\165\\134\\NAK\\a\\DC3\\196N\\129\\&2K\\134\\DC3\\216\\SOH\\CAN\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\&2\\161\\141\\224\\182\\129\\195\\145Y\\142\\211h{\\ACK<,B\\f%j\\153\\233\\164Q\\v#\\166/\\173\\167:\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\139\\b'\\183\\128\\153\\199\\200]5\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\240\\240t\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\225[:/a\\RS\\250E\\250\\197\\174\\&4#_\\253\\NAK\\184\\183\\243\\254\\240\\188\\145kw\\RS\\RS\\215\\216Z\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\178l\\209\\SOH\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\225\\186\\131\\188-\\SYN\\ACK\\199\\185\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\245:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233w\\196:\\139\\SYN\\206\\208\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"{Z\\255\\140o\\173~\\129=\\SUB\\242_\\173%H\\182\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\173%\\212!\\239\\179\\202\\239z1\\US\\167g\\224+E\\227UOXKM\\194\\183\\241\\255\\147\\145Dc\"","tag":"AbiBytesDynamic"},{"contents":"\"Ml\\184\\ACKvK\\184\\ENQ\\142\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSO'X)g\\224\\207\\227/_\\166\\202\\245\\191\\180\\&1\\146>\\244\\186\\160\\236\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\&5\\f)NE8\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\222\\\\n?\\215\\NAK\\136\\153\\220\\179\\252#p-\\137\\221<\\192O\\185\\199\\199\\145u\\r\\255q\\225qr\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191R%s;Zc\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\&3\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE]\\235i\\195d\\EOT\\222|\\193\\191Yg\\139EP\\153\\&4\\206p\\150-\\148]\\168a\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183!.\\234P\\233\\223\\159\\DEL:=\\ESC\\224\\241\\ETX\\v4<\\188Y\\223\\157 \\204\\186\\tP\\157UPt\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202s\\ETX^\\181\\162\\bUy\\SO\\227\\133\\a\\226\\SOH\\132_\\132\\250k\\148:\\200\\229M\\142\\RS\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"j{ \\157\\\\m\\am\\143m\\157>u\\176\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\218\\163\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\217\\220\\191\\241^\\158\\140\\223\\SO\\223\\203\\DC4\\171\\242#\\214G\\150\\170&\\253\\183\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225Q0d1P\\135\\216\\139\\192\\189\\138Q\\ACKR\\STXq\\216\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"ynq\\224\\129kZ#\\DC2\\135\\180\\236A\\177\\158\\138\\235T7\\a\\233A+\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\143@\\168)\\232\\216!V\\129k\\255\\137\\159\\189\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"U \\156\\154\\&3\\250\\n\\210\\164T\"","tag":"AbiBytesDynamic"},{"contents":"\"q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232k\\178\\160u\\n\\153\\159I\\250\\242\\196\\b\\230UX\\NAKQ\\135kmh\\150\\215\\197\\172\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\166-[\\188\\&2\\253*\\r@b)\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\213\\164\\155\\192$\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\n\\143\\150\\204G\\246\\162%\\177b\\208Mo\\159,\\253$(p`$^\\170\\173b\\208C-\\253,%\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\235\\142\\241\\225[\\203\\173\\212i2\\n\\NAK\\DC1p\\142\\211\\217\\&0\\ETBe\\150\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\163\\137\\225\\219N\\200\\129\\b\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\242\\159U\\187\\159\\177\\DLE)\\254\\143\\143\\\"\\244\\EOT+a\\144\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\192\\193\\ESC\\176\\132\\252\\DC4m\\139\\207\\204\\245@B\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194H\\ACKh\\t\\151^\\201f.C+\\200\\NULp\\195\\RS\\231\\255\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207#\\178\\164N\\157T4\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227{'\\235\\243\\243\\187u\\254\\159\\182\\ENQ~\\ETBE\\191!+\\153\\153\\&9\\SI\\128P\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\vw\\235!\\158-\\146\\171\\248n5\\178\\177\\208\\132\\158S\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\230\\243\\DC1\\135\\214\\173\\163\\SI.&\\152]\\FS\\230=\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\252\\&3\\232\\210\\205%B\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Mz\\\\\\206\\146\\DC3u\\162f\\150\\136\\146\\164\\NUL\\180\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\&0n\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\215.\\147\\190\\237\\251\\ENQ\\179\\251\\ESC5\\203e/\\253\\CAN\\179\\223\\SUB\\SYNKY\\212\\SYNmS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\\"\\135X\\163\\150ui!;\\184w\\254\\DC4\\CAN(yf|\\197\\195.\\208J\\240\\135o\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RSCF\\202W\\248\\173|\\212>e\\fE\\209\\vc\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\CAN\\GS$\\CAN\\174\\175\\251bA\\227\\&1\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\196\\DC1H\\205\\246m$\\216\\222\\154\\244\\134\\DLE6\\178&D\\227HD\\173\\204\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\r\\DC2p\\154M\\147\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"V[\\213\\138~\\157\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\177\\ACK\\250\\SYN\\ACK\\235\\154\\EMg\\195\\155)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227^\\227\\NAK\\DEL\\143\\231+\\157\\163AS\\249\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"T\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131C F\\148l\\225\\174j{\\138p\\180\\235\\NAK\\219;\\212\\SUB\\183Z=(\\ESC\\136\\NUL\\174\\STX\\196p\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"_!\\245\\131\\153w\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134j\\ESC\\204\\161\\164z\\FS\\144\\246\\160\\143\\193\\172a\\225\\v\\SUB\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\205\\192\\SUB=\\196\\153t\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\215\\237\\172\\r\\219\\139\\&3\\226\\146Q\\165\\166\\193\\221M@\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\245=\\130@~\\137\\166+3\\207)\\156\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188Y\\194\\ESC\\203\\180;,\\221-rZH/\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\130\\US\\131\\ENQE\\163HS\\234\\GSW\\246\\212\\216\\142~\\CAN\\140[\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\DC1\\US\\ETXt\\239L)\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\DC3.\\153Rz\\156\\&3y\\CAN\\STX\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\DEL\\214\\255s\\246\\b\\246=\\207R\\222\\216f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129j7\\224\\DC2ne\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\224\\248\\223\\219\\191`pQ\\240\\FSr\\161\\161!\\184\\\"Y\\143\\253\\244\\220\\234\\226\\139\\153\\255\\210\\183v\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\212\\230\\188\\&2\\212\\&5e\\r\\255\\189\\151\\210\\ETB\\173\\248o>\\243N\\231\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135t\\200\\198+\\202\\164!\\t\\236\\254\\217\\vz\\166m\\207\\218\\DC1\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\170\\223\\226OV\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\209\\183%;3\\177\\&4q,\\174$bE\\238o\\149\\&3\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\";\\177\\186\\197\\US\\CAN\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\156G\\227\\232\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\ETX\\160z\\\\`L\\226`\\220L\\v;z4\\194\\199\\206\\156\\DLE\\191\\168\\208\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224J\\128\\213\\191\\158Pco].e\\148k^J\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\243\\228\\147\\DC17*jg\\239\\179;#h\\162\\191]\\166$`(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL(7a\\137\\166\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\231\\DC4<\\215\\&5\\206\\213\\244\\133\\SO\\130rT`\\161!~2]+Uno\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"b\\131\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\189\\STX}\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\229\\150\\164}\\240\\210P\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\SYN\\ACK\\219\\\">\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\233\\140\\&7B\\179}VMF\\161S\\134\\160_\\129\\161}\\154}\\131\\204)X?\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\&8\\175\\156\\234\\142V\\203t\\201D\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\255\\222\\165\\137Yex`Y\\145\\159\\222>^\\164E'\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"{r<\\245\\RS`\\194\\GS\\132e>gFz\\165\\218cc^\\STX-!\\216e\\247\\215\\214H\\136\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"l1\\230\\RS7\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212=\\181\\156Tw\\147\\249s:\\136\\166B\\165\\128U\\144YA\\244\\SO\\b\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135Cc\\146\\152m\\184\\148C\\149\\243\\252tS\\197\\250\\131\\\\\\ETX\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"^0\\\\\\b\\193\\EM4=>\\239\\176)\\NAK\\EM\\153\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\NAK\\141\\226b\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\161\\219\\181\\169{\\129Z\\ETB\\237\\227\\161\\128!\\183\\212]\\237r\\186\\223\\DC4\\EM?\\160,\\195\\167\\168\\181q=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\EOT=C\\235\\144\\149d\\229\\189./\\ACKyW\\200\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\246A\\129\\189\\DLE\\232\\160\\223\\a\\143\\\\7\\DC1NUQ\\188aC\\231*\\154\\FS\\n\\147\\133\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\EM\\159\\194\\229\\182\\221\\184OHF\\165\\&0\\251M\\148_|2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\134\\231\\ACK\\128\\214M\\255\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\ESC\\165\\206\\230\\SI\\147ke\\222nv\\t\\222_\\190\\177\\DC1\\SUB\\174!h\\232j\\231\\b\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\176\\150^\\nO\\181\\143\\237\\254!\\180\\200\\230\\192\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"K8\\205\\v\\235\\US\\220'\\181P]. \\150fP\\DC2t3el\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\186PO\\156J\\CAN\\200\\157Hk\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\240\\162\\134\\186i\\238\\167[\\254\\237\\241B\\153\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173e\\225h\\230I\\148\\143\\147\\154.j?[\\192\\143A\\144\\170)CZ\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\224D;\\217\\143\\t\\EM\\163\\231\\SUB\\139\\246\\215\\187qR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130G/|G\\215\\206\\SI\\SYNF\\235rb\\128\\FSd\\ETX\\146i0\\248\\195\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\163\\&8\\225\\205\\r\\182o\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\248}\\DC2\\171\\212\\216\\&9I\\149\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\206\\v\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\GS\\203\\166\\244t\\240\\151\\209c\\235\\\"G\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\217\\134nT\\211\\178\\RS\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v!G)h\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\154w\\140W2\\237dg\\208R\\239\\SIL\\249HdtP\\244\\235G\\DC2\\182`\\215%:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\223\\CAN[\\227\\US\\186\\ESC.\\147\\EOT\\214(\\129\\DLE \\204\\187_\\204?\\161\\166\\139I\\154s\\253\\173\\204\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\161{\\DEL\\247\\199\\169\\202y\\202\\253\\195\\205\\151\\SOH\\214F_\\190\\199\\ENQ\\203Z\\STX\\212f\\SOHg\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"w-\\GS\\US\\236\\DLE8\\171d\\174\\135\\\\\\SOHU\\255\\182V\\136\\EM>\\228\\SUB\\215\\253\\147\\ETB\\DC2\\178\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\EMY\\ACK\\160~f\\244\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\NUL\\144.\\249\\t3+\\162\\247Z\\SI\\174\\215x\\252\\224\\r\\227\\229$1\\140\\189p\\129\\228\\150\\168\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129I]\\SOh\\190T\\FS\\182NN\\242\\SO\\241-\\200\\192Q\\USb\\255\\135\\205\\207\\161\\ETB\\n\\137\\SOH\\230\\176{\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\200\\129\\128\\216\\228\\142\\169\\r\\135\\160\\166 8\\b\\191\\205\\255\\176h\\229\\129\\213\\184\\190Z\\224\\NAK\\SI\\171\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\191\\178\\184\\DC3\\139:\\163\\188\\181\\177\\SUB\\232\\172:L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\r\\175Od\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\DEL\\204z\\128?5)w\\247=\\159\\146\\136\\&2L\\203\\212\\&2\\221)u\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"x{\\DC4X\\246\\143\\185\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144U\\223\\231\\213\\254\\SUBA\\155\\198u\\214\\va\\222z\\214D\\GS(\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\150\\227\\226=\\229\\187\\240\\239i\\SOH\\202!\\183s\\FS\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n!a\\235\\&1\\STX%\\165\\156\\207\\SI\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\130\\134\\234E\\t\\250PU\\161\\238\\207@VZ\\167~\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166J\\238\\142\\153S\\146gi3\\v\\203XE\\172]w\\252\\169\\DC38\\187\\&3\\237D\\NAK\\SOH\\185b\\224\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639829"],"tag":"AbiUInt"},{"contents":[256,"106"],"tag":"AbiUInt"},{"contents":[256,"82144038734783116327424870297012308833851100240016538040375184408445272020835"],"tag":"AbiUInt"},{"contents":[256,"27774256417368282074340006412632424432389511894282560993324878562659035925374"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639929"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636337"],"tag":"AbiUInt"},{"contents":[256,"89923520394168906565368424588630647829083362343005721929273638840816757971144"],"tag":"AbiUInt"},{"contents":[256,"564"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639939"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"70505695931987415052000567136436632144898793747951971449618472950566367527626"],"tag":"AbiUInt"},{"contents":[256,"29"],"tag":"AbiUInt"},{"contents":[256,"6048417737059046087603547247560"],"tag":"AbiUInt"},{"contents":[256,"83397155855914315593365634999392354904551668963944854753476585132445923473722"],"tag":"AbiUInt"},{"contents":[256,"105"],"tag":"AbiUInt"},{"contents":[256,"1155998403589033152346636075156275307667013384171768974784229604779423347520"],"tag":"AbiUInt"},{"contents":[256,"64"],"tag":"AbiUInt"},{"contents":[256,"11097550237181311677090423980113247720234746631568032842160294718195471702444"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551617"],"tag":"AbiUInt"},{"contents":[256,"30944350725414744501228063775297796021967008945135444644968363492112416171507"],"tag":"AbiUInt"},{"contents":[256,"76385214615901912639903310473747200091244012685329700293807551540810262094975"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639701"],"tag":"AbiUInt"},{"contents":[256,"66134258176342664056261579629676108801240602039586669470550111085732612890356"],"tag":"AbiUInt"},{"contents":[256,"66731125561549561255848500249646554609569451005687370922439757614424601595477"],"tag":"AbiUInt"},{"contents":[256,"85955733622988103668316690181330095588608303762271940256726594710670388528942"],"tag":"AbiUInt"},{"contents":[256,"257"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630935"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"7249103081461978164891806808690005835839424271083925655392930855561728271652"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950337"],"tag":"AbiUInt"},{"contents":[256,"68"],"tag":"AbiUInt"},{"contents":[256,"3852000285071975825645943487253553441421206173543902095228912099645483800630"],"tag":"AbiUInt"},{"contents":[256,"103386781360911945383084259342447221711909049191090789501707040307087248826205"],"tag":"AbiUInt"},{"contents":[256,"1524785991"],"tag":"AbiUInt"},{"contents":[256,"68485177428100590379717216669484663641151741073434201087286924783543462005396"],"tag":"AbiUInt"},{"contents":[256,"4003"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639868"],"tag":"AbiUInt"},{"contents":[256,"18"],"tag":"AbiUInt"},{"contents":[256,"1313373041"],"tag":"AbiUInt"},{"contents":[256,"119"],"tag":"AbiUInt"},{"contents":[256,"46933303885609353578773769450925869545735141491745884908357630386277661815013"],"tag":"AbiUInt"},{"contents":[256,"1997"],"tag":"AbiUInt"},{"contents":[256,"1998"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628413"],"tag":"AbiUInt"},{"contents":[256,"86705036735052265946823213786136726002969501440142332409009862500863391603989"],"tag":"AbiUInt"},{"contents":[256,"1999997"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629938"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629938"],"tag":"AbiUInt"},{"contents":[256,"27624840144948654180256632611520553862404266481083962319639185452533238990582"],"tag":"AbiUInt"},{"contents":[256,"14563925257843436802174106123576677877913380869768203512307728972586735188338"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"35370042370041595696062388196466573982774629895846543133950429116145209158261"],"tag":"AbiUInt"},{"contents":[256,"85119655734764971554415191655722295405578328454948817854052773577738319502967"],"tag":"AbiUInt"},{"contents":[256,"36708447291890457254933714563396607129835070659672593565900566539516568959023"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908080"],"tag":"AbiUInt"},{"contents":[256,"684434923348312072192366055549275318078301"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266898"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639438"],"tag":"AbiUInt"},{"contents":[256,"100664055859392432514768618349290101741397587143654861817323863271699041878789"],"tag":"AbiUInt"},{"contents":[256,"184061621641902615969481031748196405729025626676939074152273245334287262341"],"tag":"AbiUInt"},{"contents":[256,"457"],"tag":"AbiUInt"},{"contents":[256,"900"],"tag":"AbiUInt"},{"contents":[256,"96"],"tag":"AbiUInt"},{"contents":[256,"35764157594913650242488831439777143211962782640257433253330622606935537071166"],"tag":"AbiUInt"},{"contents":[256,"1"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"9385760753916894456416146232944226728307133204553255509024444857907782049932"],"tag":"AbiUInt"},{"contents":[256,"70493626622873512483869575936202908514538683042362441242764603149669105487628"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266897"],"tag":"AbiUInt"},{"contents":[256,"51478706537186982310868421"],"tag":"AbiUInt"},{"contents":[256,"17431443147964503857159092006067840325361902183229466996753054929386526834346"],"tag":"AbiUInt"},{"contents":[256,"81"],"tag":"AbiUInt"},{"contents":[256,"78847625965258245927492493517869676574425306012325336143300435645127385564194"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011518"],"tag":"AbiUInt"},{"contents":[256,"74"],"tag":"AbiUInt"},{"contents":[256,"49778641746894901518269032376901194739202578272971263639744333224955651326861"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"425897263649977316623"],"tag":"AbiUInt"},{"contents":[256,"113378829244214750195056443975458909458630520406243286330305588355359854852305"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"16616891310629769588856263650244820573633050603080776110112496049479709979025"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908081"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211774"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639437"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639856"],"tag":"AbiUInt"},{"contents":[256,"829"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055776","0x0000000000000000000000000000000000000000000000000000000000002606"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001386","0x00000000000000000000000000000000000000000000000000000000000012a1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"115792089237316195423570985008687907853269984665561335876943319670319585689603"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001d","0x0000000000000000000000000000000000000000000000000000000000005d4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f36","0x0000000000000000000000000000000000000000000000000000000000006a2a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004e","0x0000000000000000000000000000000000000000000000000000000000001326"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"21695289358744051028735837427732277378764792796769383331083344545277630200070"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084278","0x0000000000000000000000000000000000000000000000000000000000000e11"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"105661929577471271442960177467665590041968069371797927461003412985716185108321"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0c","0x0000000000000000000000000000000000000000000000000000000000003f7d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"986777542391076878378604398788787882117615242303806165507937475347613621234"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001051","0x000000000000000000000000000000000000000000000000000000000000b44b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a515","0x0000000000000000000000000000000000000000000000000000000000003f7d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638937"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000750e3","0x000000000000000000000000000000000000000000000000000000000000270f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb13","0x0000000000000000000000000000000000000000000000000000000000006542"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f113","0x0000000000000000000000000000000000000000000000000000000000000440"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639849"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea47","0x0000000000000000000000000000000000000000000000000000000000000fa0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setOperator",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce55","0x000000000000000000000000000000000000000000000000000000000000107f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"67401986085376221014840586860204875320610145672470282319020007607655828181734"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffd","0x00000000000000000000000000000000000000000000000000000000000003e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bdc","0x0000000000000000000000000000000000000000000000000000000000007119"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"57299938588358261402898143139726429588489013189726831045415838081546700497669"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001c18d","0x000000000000000000000000000000000000000000000000000000000000138c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":[8,"63"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d464","0x000000000000000000000000000000000000000000000000000000000000a291"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008c024","0x0000000000000000000000000000000000000000000000000000000000007115"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit5115",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":[256,"94190076664061571512999890571586272281327611858599952168801520273933833409377"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636337"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae0","0x0000000000000000000000000000000000000000000000000000000000002710"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427b","0x0000000000000000000000000000000000000000000000000000000000001387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"9003"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000009c03","0x0000000000000000000000000000000000000000000000000000000000000052"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"82720356016907593763428943779402399064078046813609350493973161358068457922566"],"tag":"AbiUInt"},{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417346"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1d","0x0000000000000000000000000000000000000000000000000000000000005bf6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacd","0x0000000000000000000000000000000000000000000000000000000000001319"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":[256,"67406626295857706332495632371871390730613078372429261577436146232359602638923"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea45","0x000000000000000000000000000000000000000000000000000000000000e349"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"115004289967553011204302598423032147205279871898247044817418942760135024111856"],"tag":"AbiUInt"},{"contents":[256,"17"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639814"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59e","0x0000000000000000000000000000000000000000000000000000000000000382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\133\\157\\198\\SUB\\200\\167\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190}\\SOpV|\\194s\\137\\238@\\b\\168\\164{\\141\\NUL\\SUB\\192\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH}\\161\\253,Y\\213vU[RL\"","tag":"AbiBytesDynamic"},{"contents":"\">\\SYN\\226\\147\\161\\&8y\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\154\\247C\\177\\ACK]\\250\\&64\\f\\199\\170\\147\\192\\228\\143]S_6\\192\\241R\\141<*\\254\\EOT\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224i\\245\\DC4T[\\246\\232\\133\\199Z\\164\\225\\229\\203\\236\\163\\208\\NULX\\STX\\217~l\\SOH\\DC2O.\\DC2x\\EMM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"BZ\\190\\&1\\145y\\\"\\206\\201\\156{=\\167w\\205%\\CANg@\\253\\206OD\\128l\\ETB\\135\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\253\\141k\\193\\140s\\134\\219/5_\\188\\223\\208\\192\\148\\142_\\138\\246\\EM\\254\\ENQ\\158(\\128\\SO\\226\\130\\134h\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217%\\236\\220\\200u\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232_\\207\\156\\246\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\O\\148\\179\\169\\246z0\\208\\241\\224De\\253\\149P\\189\\186\\242\\178F\\181\\b<\\222\\147?\\ETX\\192\\143\\140X\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155/yS\\133\\&3\\232Z\\159\\205\\r*\\231E\\189!\\208\\161z\\197\\135\\170DaR\\169\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"`b\\152k\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\146`\\161\\184\\132W9P\\208R\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\240\\249\\238X\\FS\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\199=t\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\220\\162\\248\\130\\225B\\138\\223{w\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\FS \\157\\211\\189!Z\\EOTU\\232\\229\\248\\135\\245\\251\\152;\\201F\\163u\\bA\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\SI\\170\\181:\\162\\ACK\\190\\\"fSX\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\212\\175H\\154\\164\\STX=[Hw\\206\\DC4\\DLE\\233\\&0\\tv\\197G\\133\\253\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"i4\\204\\235\\219W\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\155\\160\\176\\221P\\152\\204\\ESC\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\188(oM\\tH\\144\\195\\142Y*rHtL\\ENQu\\170\\199\\149\\181c\\216\\226\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\129\\176\\142\\184}@j\\NAK\\174\\194\\211h\\213\\171\\191G%\\217\\235\\EM\\SOHc\\153\\&8\\150y\"","tag":"AbiBytesDynamic"},{"contents":"\"j\"","tag":"AbiBytesDynamic"},{"contents":"\"CB\\253\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\194\\183*\\129\\STX\\128\\150\\168\\149\\DC1\\\\2\\202R\\187\\147\\170\\&9#\\250[\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\DC2\\133)z<\\133\\f\\188\\143\\215\\255\\131T\\179(\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAKbt\\132X?\\208:\\158^\\206cQ/};\\219\\148\\168m\\144\\a||\\139\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\a$\\147\\251\\233\\129W\\168@\\169n\\176\\152\\206\\247\\163i\\148\\DC3\\248<\\SOHH\\150@\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\225\\228\\150\\216\\172\\SI\\ESC\\221\\NULy\\204\\244&\\129\\181i\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151Qyk\\224\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\149n\"","tag":"AbiBytesDynamic"},{"contents":"\"5$\\238Z\\174\\&5cP$\\211\\b\\199Iy\\249\\NAKQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\215\\148\\132t\\137\\160J\\135\\213T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\240\\196\\131Z\\250\\139\\nh\\184 \\143\\136`\\131\\212x~S\\141q\\193.N\\165\\240\\241A\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\n\\SOH\\134\\FS\\160\\219\\239\\165~\\182\\186\\203s\\205\\142(\\DC2\\185\\205\\131\\152!\\163@\\253\\GS!pc\\245\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\153\\148\\DC4*\\135x\\128'\\GS\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\186\\183\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185gE\\167\\136\\141\\&7\\200\\241\\192\\143\\255\\241\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\202\\ETB\\130=a\\170L\\147\\249\\233-\\a\\186\\183\\rq\\235\\205\\164lu\\201\\249\\232'\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b@\\190\\&0\\172\\192\\191\\231\\198\\247\\a\\CAN\\144(\\RS/\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\ENQ\\EOT\\235h\\201\\DC3\\156\\&9_I\\148\\212\\194\\188g\\170\\227\\236\\238\\219\\193\\STX\\226\\186*\\248\\223;\"","tag":"AbiBytesDynamic"},{"contents":"\"8B\\GS,\\GS\\222\\129\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\168\\167Vb;\\179\\138<\\SOH\\238\\234h\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214hS\\152\\175\\138\\153\\229\\163\\199>\\167\\248\\196\\165\\145\\137* K\\221\\251\\249\\ETX\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\251\\222(X\\138\\185\\231\\215\\153\\184{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\145\\&0j\\USK\\135\\235\\SOH\\193\\RS\\180U\\187\\a\\225r\\145\\185\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYNfd\\146\\224\\RS\\151DU\\192\\b\\213K\\r\\247\\v(\\199\\171!\\220e\\210F9`\\165lz/z\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145?\\180\\215c|\\159\\n\\SOH\\RS\\177\\ACK\\143\\146\\243\\209\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"w]e\\DC1L2\\190\\DC1ZU\\207/V\\US\\141\\209\\177(\\SUB5tJ\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"6E\\216\\142\\255\\149sRM\\180\\170h\\246\\218\\172\\238\\222+\\137\\173\\216\\160\\211\\153\\250\\186\\b622#\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\RS\\DC1W\\160\\ESC\\216+\\255h\\182\\140\\193\\239\\236a\\176\\b\\176\\235\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\177ej\\134\\253\\165\\136\\174\\f\\252\\227\\US\\136\\SUB\\131\\173)\\243\\141\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\173E\\192\\160\\239L\\177\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\v\\131\\SO\\251\\158\\NUL\\SUB\\ENQ\\251\\186\\220\\151\\RS\\185\\180\\197\\170d\\142\\202.a\\191\\DEL\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\214G@\\154_('\\160\\205\\246L}D[\\178h\\132/q4\\155\\224oR\\151\\SO\\200\\139M\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\251\\NULY+5\\RS\\211\\155r\\204\\146V\\156\\240\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151J5'\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\198\\141/\\ENQ\\199\\240\\218\\242J\\201\\&6\\244\\182\\ETB\\246&\\DC4\\162\\130\\219\\222\\153;_\\254\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\228\\158t\\161\\203\\176\\233\\DC4c\\200\\DC2\\207\\245Z=d\\145\\143\\207\\204\\&4u\\170GF5T\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254A|N\\131?\\163\\&2O\\233\\191<\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248>{\\155\\161\\RS\\a\\197\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\&8\\135\\137\\&0\\139qQ9\\215\\159\\185\\185\\213\\EOT#%\\216v\\CAN\\DC3 \"","tag":"AbiBytesDynamic"},{"contents":"\"f\\RS\\172|\\241\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\153\\ETB\\v\\150\\136@1\\\\0\\143U5I\\236\\145\\149\\137\\DC2c\\202\\171\\222\\171\\238#\\194\\133\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\&4\\f\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\142|\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217p\\160\\179\\235\\196@\\226\\238\\148\\253\\169\\175\\CAN\\130\\162\\n*\\GS\\176\\208~1\\162\\DLE\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"e\\212/c#\\172\\181\\254\\tW\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\246\\249\\238\\161?\\198-e\\196\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\218\\234`\\155|\\221\\213\\214\\142Ub\\150\\139\\255\\134\\246Qk\\200\\154g5\\ETB\\135_\\152g'b\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\NUL\\CAN\\f\\202\\173t\\214\\234\\212\\162\\SO\\128'%\\140S@\\226#;\\230\\238\\ETB\\159\\225\\DC3\\ETXg\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\176\\234\\236\\207\\166)\\196\\133 \\236\\NUL\\183\\218E\\198\\DC3\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\193v\\144\\248\\189\\SOH\\DEL\\247\\194\\159\\191\\DC4\\152}\\206\\&1\\169&\\249\\232\\DC1\\223\\\\=mS\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\240\\231\\147\\167\\177?_\\216\\183a\\144c\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\231\\226#X\\252\\FS\\DC4T\\177\\140\\DC1\\175\\192bJ\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\&0\\200\\180\\251\\238z\\DC1\\167kB\\RShl=\\157L{|\\162\\146\\152\\211\\\\dE\\166\\NAK\\171&\"","tag":"AbiBytesDynamic"},{"contents":"\"Z\\130\\161Y\\220\\197Z\\188v\\155Ip\\CANj\\SOH\\160\\t\\NAK\\DEL\\EM\\177\\191\\140\\149\\227\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"*4\\201l\\149\\149$E\\203\\230\\161\\147\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\DC3\\168\\227/0\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\172dU\\238\\196\\USW\\150\\n\\183\\128\\152p\\US\\158\\250\\&1\\252\\169\\209<\\\"v\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235\\CAN\\157\\212H|e\\180\\143\\SOa\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\153\\r\\209\\246\\160\\&8\\RSt\\253\\196\\213\\152\\249\\FS\\230\"","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":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\GS9\\151e\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\200\\147\\133=\\208\\220\\228\\212\\230\\142\\252'\\172\\217S\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\195\\219\\133\\171\\166\\&3\\146Y\\219\\FS\\SI\\255@J\\231YR?=\\224\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\183\\252\\149\\SOH#R~\\226\\243\\DEL\\ESC\\245R\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\182\\DC2U?\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\NAK\\237\\245\\237\\211\\211D\\ESC\\218\\219Y\\217A\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\144H?>\\a\\233\\ESC\\232\\142w\\229(\\194\\238\\&8\\241\\166\\NUL\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172za\\192+3\\157\\148\\ETX\\NUL\\ENQ\\205\\186\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208E:K\\\\\\183\\a\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vU\\226#\\162\\195\\168f4@\\166\\222 \\208\\GSV\\228\\235:\\170\\219\\186\\DLE\\223\\143\\213:\\158\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\193\\220\\SYN3M\\146!\\183\\SI[K\\DC4\\159\\DEL~J\\b{O\\209\\191\\ENQqbp\\NAK\\EOT\\DC3d\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\223\\205Y#e\\201\\NAK\\172\\&0\\DC3\\137\\169P\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\243?]W\\206\\164\\245:\\155m\\252\\255\\148xX %\\137\\&2\\243d\\210\\209w5\\151\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\232q\\RSX\\151\\\\\\131\\242\\220S\\218\\DC4\\168]\\144u\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\246\\166\\151_&\\156\\209h*l\\238\\193\\DELi\\253\\209r\\224\\153\\154\\180\\241\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"y]\\183n\\175C\\239g\\223\\rm#2\\220\\DEL\\144\\&6m\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"7/\\235R;\\197\\170\\n\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"r&>\\159\\183i\\152\\166W&\\178\\244\\232\\182\\a\\225\\237\\GSV\\156=?\\160\\219\\174\\a\\255\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\167\\173\\207\\228d\\195A\\SUB\\200\\202\\NAK0\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EMV\\148;vG\\DC1\\205\\206\\140\\219\\221\\142\\171\\241\\153\\192\\142\\236X\\228\\179\\210\\158$\\253j\\GS\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\240\\GS\\149\\215\\156\\ETB\\193 \\143F\\152`\\b@\\RS\\t\\164\\229\\198\\\"ma\\247\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"@E\\255\\175\\198\\&25*\\205g\\197\\206\\180\\230D\\175\\221Qb\\CAN\\246\\ENQ\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"_X\\215*\\139\\SYN\\143L\\DEL\\151\\212\\228\\172\\186\\128(\\162+\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\218\\140P\\SOH8\\153\\bI\\137\\EOT/\\210Y\\166\\211\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\162\\ETX\\SO\\153R\\157\\ENQ\\176\\173\\153\\210V\\142\\217I\\244\\DC2]w\\199l\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\163\\164\\142\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\ENQ>\\215\\ETBJ4lE\\165\\212\\156\\131\\156\\143\\NAK\\242\\218\\222&\\157\\151\\220.\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\189\\STXd.\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\171\\&1\\140a\\214\\225k\\SYNy\\170\\197\\211\\161\\200\\GS\\134\\238\\174\\170%\\176\\142\\214\\161\\174\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\DC2\\223\\230M)\\251\\251\\201\\194\\fn\\211\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182:\\170\\234\\169J\\249\\192\\RS+\\164F\"","tag":"AbiBytesDynamic"},{"contents":"\"ji\\207\\178>\\177\\ACK\\254\\240ku\\130\\166\\204\\153=\\180+\\238+H\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\135\\140\\199\\190\\163\\DC2\\225\\181xb\\138\\142\\DLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\232\\181\\158A\\167\\222|\\DC2|\\ENQ\\180\\250\\f\\152~\\213\\176\\230\\170\\213\\231]q\\RS\\DEL\\DLE\\n\\136\\EOTt\\246\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"jp\\167\\143\\220\\177\\232#\\146\\234\\162\\203\\209\\201\\173\\235\\190\\152\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\236\\GSli\\204\\142>\\154\\141\\185F\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\ENQ!\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"i\\129\\208\\146\\200Ks\\175\\168\\221\\ESC\\ENQa\\EOT3\\195\\163\\230\\182\\145\\138\\175\\204\\244\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\174\\213\\155\\242!\\183O\\228M\\178\\169\\238\\&6\\235\\254\\139\\194\\243\\221\\&9}\\162\\CAN\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\229\\194t9U\\183\\240\\179\\223\\r\\189\\241w\\214'l\\255\\&7\\209Z>]\\186\\176\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\246o7\\159\\DC2?\\191V\\129\\130\\206\\250\\242\\187m\\240P\\160g\\EOT\\205\\USpw\\242\\SUB\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\181\\231\\173\\\"\\244\\194\\134$-\\247^\\254\\SO\\145\\221X\\152\\201\\200\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\152\\SO\\159\\197\\139?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136n\\176\\228C\\140\\USbl\\242\\a\\172d\\226i\\204\\152\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\133~\\149\\DC4\\158\\nc%\\183\\ETB\\150\\245*\\241\\138\\&7v\\ACK^u\\183\\231\\149]m\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"r \\171\\RS\\132,`]\\142\\NAK\\128\\235s]\\173tKy\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\238f\\221\\FS]\\177\\251\\145W\\236n\\US\\fP\\244\\136\\216\\&5\\NAK\\250\\195])\\194C5\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\249B\\228\\167\\233\\&8\\215\\182\\171\\174\\210T\\254q\\222\\240\\145\\SUB&\\210\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"-\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\213@\\191#\\207\\245\\DC1T\\197T\\146u\\RS\\167.\\181\\141\\210\\212\\166C\\189\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\nn\\248\\ncgw\\240\\186\\155\\137\\210\\DEL\\202\\206\\129n\\250\\f!\\213\\196\\197\\254\\173\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"vt\\168\\130\\219]\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\231\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228z&\\157'\\154\\GS\\US\\244\\240\\177\\146\\196ZN\\f\\150\\170\\212\\178\\&7\\178\\227\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\154\\204\\236X\\163\\SO\\157\\230.\\RS\\221GH\\173\\178\\\\2\\NAK1Id\\146\\227\\135\\132P\\bU\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251'3\\150gH\\185\\243G\\156\\247S\\160X\\188-\\172b\\250\\144\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX)\\149\\176\\186\\&5\\ESCwXm\\156a?\\249)v\\176#a-\\211\\&3\\DC3\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\231\\149\\130Nn\\141\\142\\DC4.\\135S\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\173\\151\\183&\\SOH)\\192/\\149\\181\\144\\244a\\150\\225,\\146 \\174\\174K\\179\\143\\149\\&6\\178\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\255\\&0I@\\236\\&55K\\205p\\DC4\\240\\231\\198\\168\\204L\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSB\\187\\v\\146S\\226\\SYN\\DC4\\149\\212\\224\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\169H\\174\\143\\171_\\196V\\205\\DC1\\182\\ETXgR\\226C\\197\\136\\134\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\134d\\146\\222G*\\128.W\\196\\163\\SI\\142q\\184^\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\169\\244\\225\\129>:F\\169\\243\\174\\a\\182\\174\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\206&\\245\\252g\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\ESC\\165m\\ACK6\\STX\\SI\\\"\\178\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191R\\SO\\n\\243m\\v4\\203\\243\\148{\\199$)&\\240\\DLE\\147Y\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUBY\\STX\\195\\&2\\245T\\135\\b\\234\\223q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138Y\\157\\US\\188\\238\\EOT\\221\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\SUB\\EM@\\181\\US\\134eJ\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\165\\251\\149\\225\\139l]\\215db\\SIG\\SI~ ,\\SYN\\181\\173\\134;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\204,r\\196\\128\\174N\\139\\170\\198\\129\\170Q\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\203\\241\\165\\157\\v&\\210pUXc\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255w\\191\\138\\196\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\201\\251h\\183\\205\\163\\147U:\\128\\203\\NAK'\\NAK$\\b\\179\\218\\141Q\\242\\166!6|\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\RS\\251\\219\\NUL\\221\\a\\246HY\\241\\250\\181\\167jA\\FS\\DC1\\f\\214\\&9x#\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\233\\&8:(Kw\\DC4c\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\j\\DC2GSg\\230\\137\\t\\209\\137V\\\\\\225&\\138\\222.\\FS\\136In\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\\"!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\169\\228h\\US`\\245\\165Wr\\197\\DC4\\157\\185\\215$\\177\\240\\211yI\\222\\EOTn\\241ubR\\202\\205\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"g\\242\\240\\172b\\210f\\243>\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\".kA\\STX\\248\\246U\\DLE\\ACK\\184\\&3\\192\\176\\a\\178\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\SUB\\146IO<{\\205_\\GS\\219\\231\\233\\r\\142\\211j\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ESC\\CAN\\161:\\191\\207\\131\\184f^\\203\\207Z\\147\\SO\\163\\&9\\130\\181\\142Y\\196(\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\191\\139PWg\\212\\242\\134\\223\\212\\149\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"Z&\\209]\\SOHh=3_\\FS\\195bNue\\129\\217\\219\\167P\\188\\&3\\208\\202\\184rwh\\246k\"","tag":"AbiBytesDynamic"},{"contents":"\" i\\161'7\\192\\153\\208i\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159z*\\254\\192\\142\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\222\\138\\198\\GS\\240\\CAN:\\241\\ETX\\145\\\"'\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\177l\\SYN\\161c\\160\\224/\\f\\213KGSM\\214\\NUL\\194\\128\\&6MW\\140\\223\\244\\192\\&5\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\172\\235f4\"","tag":"AbiBytesDynamic"},{"contents":"\";\\203~\\220\\242\\\\S\\211\\197\\203\\136\\&5\\nD\\239E\\191:\\236g\\133\\189\\248\\203_\\136x\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\GS[\\239\\234K\\205\\250t \\141}\\186\\240\\181e\\150j%`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163@rWx\\200\\238\\206b\\148\\173\\CAN\\142\\RS\\143\\220ku\\188\\160\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\SUB\\NAK\\RSQ+6\\148\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251;\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\SO\\190@]&\\251\\242\\DEL\\249/\\180&\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETXJ0)\\141p5\\162-\\162\\\\\\r\\178\\238\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\183\\DEL\\GS\\255z'm{>rP\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\b+\\195n0\\191\\206\\ACK\\249N~(y\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK=$\\202dr\\251iYW\\131\\188\\154\\&9\\128\\231Yo\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"a&\\SUB^\\202\\156[\\215SH\\241\\214\\bU\\152\\237\\195\\239\\200\\217#\\252\\150\\DLEr\\166f\\179\\ACK\\241\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\r\\152J\\178%\\195\\202*a\\189\\249\\168\\192\\163f\\183\\194\\253\\v\\248\\&0v<\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"PT+\\145\\212\\145\\162e\\230\\153\\150\\DLE7\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"E,=\\184a\\151\\tb\\b\\167\\149Qr\\161?2\\255\\EM?\\129\\215\\CAN\\200\\162\\151\\192Y\\NUL\\RS\\129D\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\129\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b-bi$\\134\\213\\135\\233\\&0\\218\\155\\bu\\226UI\\244\\148+W\\232\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\254&\\167nqt\\172B\\144\\184\\190@]\\\\s\\f\\247p\\161\\RSX\\186Hc\\193bl\\200\\214\\132\\148\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ETB\\140v\\233\\215\\223?\\DEL?L\\195\\241\\EM$\\250#\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\165#XC\\US\\240\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\180Vc`3;j6\\189~}2D\\ETX&\\158\\226i\\250 \\229\\150\\210*\\181\"","tag":"AbiBytesDynamic"},{"contents":"\">I\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ^\\242\\GSJ2\\138s C\\tTo\\238\\187$\\180\\165$\\221x6s\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\215\\146\\233\\138E\\135j\\t\\132\\164\\&1\\SI\\148\\143\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\163b\\EOT\\STX\\175\\ETX3\\235\\&9\\229\\177\\162\\ETB!\\228\\159\\CANHQ\\168\\220=?5\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vV\\168q]\\169c2\\215\\183\\189\\DC48\\187`9\\SUB\\131\\232\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128c\\230p\\206\\140~\\178\\244\\149\\168\\168\\154\\211\\230\\251\\171\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"+%\\201\\221\\222\\NULd\\DC12\\161\\136\\170\\ENQ\\191kd-\\177\\214\\204\\224\\172\\SYN\\148\\191\\241\\137\\&8t\\199\\246\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\143w\\243\\DC1\\141K\\243\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\DC10\\222\\179Q\\STX\\253\\&8n\\244^\\242\\212Y\\216\\150\\131\\NAK\\224\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\220\\r\\248TP\\210\\148\\SI\\189\\245@\\STX9\\248(<-\\r$\\233\\&4\\SUB\\226\\196\\141I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SIK]\\SO8\\233\\186,\\239\\224\\144\\173\\210\\254\\184o\\250\\207\\247\\SIe\\\\\\US\\STX\\191yS.\\134\\r\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\221,\\184\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\NAK\\153\\227\\SO\\196\\168\\212\\237v\\130#\\196gj\\137yM9X\\229,\\161\\144@\\194\\137mZ\\180\\249\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139i\\199v\\223\\185>|\\naia\\217o\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\232gc\\241j\\163\\&2|f'\\130\\133+\\184\\193\\135\\246{\"","tag":"AbiBytesDynamic"},{"contents":"\"C\\209\\212\\ETX\\157\\203T\\138\\v\\FSK(O\\155\\161L\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE.=\\179\\SYN\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\176\\221\\186\\&8\\246<\\158p\\196\\149\\184\\205\\r\\226\\DC4\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"78195902371207105401124410956872835824902997573677234965794440756290530835614"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628417"],"tag":"AbiUInt"},{"contents":[256,"68798695219714504113174720054020119261715229243932142029128191306012469447603"],"tag":"AbiUInt"},{"contents":[256,"53319779958103350053153572050497202296410258763037144998984867794888221483946"],"tag":"AbiUInt"},{"contents":[256,"113885050870806272617203668738944285312589247559400837816501789093371233611540"],"tag":"AbiUInt"},{"contents":[256,"32676445124076545335510275962870330886546119221470380142927693770210703829268"],"tag":"AbiUInt"},{"contents":[256,"74621265643229094766691257106939842879726186593159669015702131966272600272416"],"tag":"AbiUInt"},{"contents":[256,"79000389023536606051419536622685917358162844549985506086369764047330116161437"],"tag":"AbiUInt"},{"contents":[256,"1866817344284328976337008154727804871380550794653325244273526584608306553712"],"tag":"AbiUInt"},{"contents":[256,"11896585581628030094519835941610194958358188792497340423594937658078698345179"],"tag":"AbiUInt"},{"contents":[256,"81280280708292338497381683929038460440347244240076132743679934541567323053435"],"tag":"AbiUInt"},{"contents":[256,"78141152459782882974392755373263109444264146226872743204893131712837165589527"],"tag":"AbiUInt"},{"contents":[256,"31407649692741624527582648840772632718744099930249427214097875571167722861654"],"tag":"AbiUInt"},{"contents":[256,"28001011837461396847664185657952511339829875808971169767526451659140110933009"],"tag":"AbiUInt"},{"contents":[256,"4370000"],"tag":"AbiUInt"},{"contents":[256,"33648644885377991918968846437949087007195899399731033646058352343411210134539"],"tag":"AbiUInt"},{"contents":[256,"730"],"tag":"AbiUInt"},{"contents":[256,"74442593854202380239188501891735365737773330438958619021337231521038492389040"],"tag":"AbiUInt"},{"contents":[256,"37830535460327329849096297041748411569188494529421847121689577709832102311294"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"67609953840788233720527904597331390570290933894128206546602976311118404047811"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629936"],"tag":"AbiUInt"},{"contents":[256,"997"],"tag":"AbiUInt"},{"contents":[256,"6775561281631276914079296696812604868574084329103753012342786541918283217143"],"tag":"AbiUInt"},{"contents":[256,"81771734215764646964704123698755211690519439323812541881726804494107894627633"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639878"],"tag":"AbiUInt"},{"contents":[256,"71"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858883"],"tag":"AbiUInt"},{"contents":[256,"102048166956605831540205028816601987322489458287177227404840144891860301036056"],"tag":"AbiUInt"},{"contents":[256,"709"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635938"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011521"],"tag":"AbiUInt"},{"contents":[256,"89342610876928937015288772202910737566906977010056259136362047938117816204310"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"40048078613387273155514779170717582748773976646866755320073158869954002917277"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629939"],"tag":"AbiUInt"},{"contents":[256,"37696102"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039456584007913129639938"],"tag":"AbiUInt"},{"contents":[256,"53532235023748316420775004332516191045022613132833460352606807498337891464820"],"tag":"AbiUInt"},{"contents":[256,"35150935335762348098361330979106101365862773586260372664705232053694354168484"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635938"],"tag":"AbiUInt"},{"contents":[256,"29529019211737030032950741083767682146341871483922664035373849523403833415135"],"tag":"AbiUInt"},{"contents":[256,"3604"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639883"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609597"],"tag":"AbiUInt"},{"contents":[256,"58051621884617359469622538240259469939872938517474383270707737249468582880368"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"835"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266896"],"tag":"AbiUInt"},{"contents":[256,"999"],"tag":"AbiUInt"},{"contents":[256,"45380833152216873610883464843307961880211143959751459537428053477522183144807"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635933"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999998"],"tag":"AbiUInt"},{"contents":[256,"15721363131420582192992259243224155812495305743905184352956718084782628644272"],"tag":"AbiUInt"},{"contents":[256,"6011738152756454654027998046124422933692364615342324655010195102108233222334"],"tag":"AbiUInt"},{"contents":[256,"17427747554183155796509039882007378192837278364755986566279685889247222710207"],"tag":"AbiUInt"},{"contents":[256,"111226191984619094201213694768570778350230211637771020813487115782510003505405"],"tag":"AbiUInt"},{"contents":[256,"41714033640987124662270608702311226022021027500977712917754302844811345096611"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"114148101719541773334411435225198701096775629813112934246041442779280793229998"],"tag":"AbiUInt"},{"contents":[256,"114148101719541773334411435225198701096775629813112934246041442779280793229998"],"tag":"AbiUInt"},{"contents":[256,"114148101719541773334411435225198701096775629813112934246041442779280793229998"],"tag":"AbiUInt"},{"contents":[256,"114148101719541773334411435225198701096775629813112934246041442779280793229998"],"tag":"AbiUInt"},{"contents":[256,"114148101719541773334411435225198701096775629813112934246041442779280793229998"],"tag":"AbiUInt"},{"contents":[256,"114148101719541773334411435225198701096775629813112934246041442779280793229998"],"tag":"AbiUInt"},{"contents":[256,"114148101719541773334411435225198701096775629813112934246041442779280793229998"],"tag":"AbiUInt"},{"contents":[256,"114148101719541773334411435225198701096775629813112934246041442779280793229998"],"tag":"AbiUInt"},{"contents":[256,"114148101719541773334411435225198701096775629813112934246041442779280793229998"],"tag":"AbiUInt"},{"contents":[256,"114148101719541773334411435225198701096775629813112934246041442779280793229998"],"tag":"AbiUInt"},{"contents":[256,"114148101719541773334411435225198701096775629813112934246041442779280793229998"],"tag":"AbiUInt"},{"contents":[256,"114148101719541773334411435225198701096775629813112934246041442779280793229998"],"tag":"AbiUInt"},{"contents":[256,"114148101719541773334411435225198701096775629813112934246041442779280793229998"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553535"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"26765241552321948793917215642765585117666685595203626534545946378978747409400"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639864"],"tag":"AbiUInt"},{"contents":[256,"93672720102602815535886934872679421967480159555338658740308034459886086783897"],"tag":"AbiUInt"},{"contents":[256,"52"],"tag":"AbiUInt"},{"contents":[256,"78488629988275899249767364036952245491550126628162330095336855208224494146602"],"tag":"AbiUInt"},{"contents":[256,"5115322008362108228112543055465491200681697485224710864344463006040426509962"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129635933"],"tag":"AbiUInt"},{"contents":[256,"57390775711066814451108885553890614582685492144598882357934311897132401671901"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639633"],"tag":"AbiUInt"},{"contents":[256,"103664300981025579946234848865156630837186590676568363673547586228746385991648"],"tag":"AbiUInt"},{"contents":[256,"99852667150035395978831264317855316696452493023158950695182194566612610722905"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639935"],"tag":"AbiUInt"},{"contents":[256,"39644779721014781742062994543293748173866249365896033786639165043186747980063"],"tag":"AbiUInt"},{"contents":[256,"63169935815323208219973747215528673867725481486942558851187702883623349235511"],"tag":"AbiUInt"},{"contents":[256,"15366280479657992999428805646033713622495674822638419670470732732326998454502"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"21612596366745439842616212216603658166271203304275050379479411374225499140973"],"tag":"AbiUInt"},{"contents":[256,"8426190588435758114890043953264809200629536871"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639863"],"tag":"AbiUInt"},{"contents":[256,"83390360860298479838668532031125623172095745538606186123219204585649767564110"],"tag":"AbiUInt"},{"contents":[256,"47423266294814532503390792388577662507790852976794092322354608939604422607032"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950334"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"80640546074837108731886388121429587768892164217522235835386815167191178146975"],"tag":"AbiUInt"},{"contents":[256,"986"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e353","0x0000000000000000000000000000000000000000000000000000000000001358"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000050","0x0000000000000000000000000000000000000000000000000000000000007b51"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"107889476885853807208620377878987392963305740835061229231196827596324027472347"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000060c47","0x0000000000000000000000000000000000000000000000000000000000002e32"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001517e","0x000000000000000000000000000000000000000000000000000000000000134a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]