[{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"86397"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f3b","0x0000000000000000000000000000000000000000000000000000000000008190"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"88838738080426014130595500848963458300506104517840978291549430480407268267225"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004b1a2","0x000000000000000000000000000000000000000000000000000000000000133b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5c","0x000000000000000000000000000000000000000000000000000000000000134e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000061e55","0x0000000000000000000000000000000000000000000000000000000000007660"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011519"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ef4c","0x000000000000000000000000000000000000000000000000000000000000006b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_cancelDoesntChangeTotalSupply",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001cae0","0x0000000000000000000000000000000000000000000000000000000000001343"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4c","0x00000000000000000000000000000000000000000000000000000000000030cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000138c","0x00000000000000000000000000000000000000000000000000000000000069fc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59c","0x0000000000000000000000000000000000000000000000000000000000000007"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec9","0x0000000000000000000000000000000000000000000000000000000000001414"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"23"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c433","0x0000000000000000000000000000000000000000000000000000000000001362"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"47826496462366194645985870876836931462932448877765402760043852159541411567631"],"tag":"AbiUInt"},{"contents":[256,"65091458702534157223226084012607066340584669995911661139852355530695607514263"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266898"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000078","0x000000000000000000000000000000000000000000000000000000000000132a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"9004"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae0","0x0000000000000000000000000000000000000000000000000000000000001352"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"644"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000523ff","0x0000000000000000000000000000000000000000000000000000000000008198"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e6ff","0x000000000000000000000000000000000000000000000000000000000000c543"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000076","0x00000000000000000000000000000000000000000000000000000000000013a9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba9","0x0000000000000000000000000000000000000000000000000000000000002ea6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacc","0x000000000000000000000000000000000000000000000000000000000000232b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":[256,"27122479196710813598675540362816322859875155861304062331143479147555834264721"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007254e","0x00000000000000000000000000000000000000000000000000000000000021e8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"83003073587052001049683155897157851506831101961150977398322863188100612725960"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000041a2","0x0000000000000000000000000000000000000000000000000000000000001371"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"34911690454829385568598227527177420333565692744132697272556514951244751048639"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000056","0x0000000000000000000000000000000000000000000000000000000000002321"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"101"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f9df","0x0000000000000000000000000000000000000000000000000000000000000035"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3a","0x0000000000000000000000000000000000000000000000000000000000005d4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ff7","0x0000000000000000000000000000000000000000000000000000000000001393"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb03","0x0000000000000000000000000000000000000000000000000000000000007630"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"113419859243211810378251327627064981071052819423664891154214663193505207023307"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012a","0x0000000000000000000000000000000000000000000000000000000000009b3b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_canary",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c1","0x00000000000000000000000000000000000000000000000000000000000001f5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000023","0x000000000000000000000000000000000000000000000000000000000000006b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"5656876609035900489656450610545460940102598728155152000045434675585000484423"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005af2e","0x0000000000000000000000000000000000000000000000000000000000000101"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d1b7","0x0000000000000000000000000000000000000000000000000000000000005d4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"108291063797883794092088018892499757515681667976643222319673755843921819249993"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092b17","0x0000000000000000000000000000000000000000000000000000000000000022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"29000735601447670451817769275"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb27","0x0000000000000000000000000000000000000000000000000000000000007630"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4c","0x00000000000000000000000000000000000000000000000000000000000013ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132607"],"tag":"AbiUInt"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae8","0x0000000000000000000000000000000000000000000000000000000000005bfe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalAssets",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb21","0x000000000000000000000000000000000000000000000000000000000000ad4a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"186"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0d","0x0000000000000000000000000000000000000000000000000000000000004397"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0f","0x0000000000000000000000000000000000000000000000000000000000000385"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"5000"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0d","0x000000000000000000000000000000000000000000000000000000000000138a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"},{"contents":[256,"88032162867305717757326445358428333133434239374239212200028918524615162246558"],"tag":"AbiUInt"},{"contents":[256,"93747873052560209556152225184330350282870334507318998428367217860933546531933"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e704","0x000000000000000000000000000000000000000000000000000000000000ebcc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e705","0x0000000000000000000000000000000000000000000000000000000000000077"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",[{"contents":[256,"999999999999999999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c3","0x000000000000000000000000000000000000000000000000000000000000101d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"136"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006f1ca","0x0000000000000000000000000000000000000000000000000000000000001360"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81e","0x00000000000000000000000000000000000000000000000000000000000007d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"95"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f75f","0x000000000000000000000000000000000000000000000000000000000000ec39"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"115364597185864182780218685456732294219619239051902095898394821384096133704129"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c7","0x000000000000000000000000000000000000000000000000000000000000dcbf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008af1a","0x0000000000000000000000000000000000000000000000000000000000000002"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"254"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950338"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015180","0x0000000000000000000000000000000000000000000000000000000000001368"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639926"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164d","0x000000000000000000000000000000000000000000000000000000000000c107"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_redeem",[{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639875"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb36","0x000000000000000000000000000000000000000000000000000000000000107f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"821"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002327","0x00000000000000000000000000000000000000000000000000000000000095b8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"129"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043553","0x0000000000000000000000000000000000000000000000000000000000000022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"8421124454622069903142309442841535785510733803708286507697112731274332505695"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x767255e6815966212801d6FA4F9Db66c31874773","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae5","0x0000000000000000000000000000000000000000000000000000000000001336"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"231"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005caa0","0x0000000000000000000000000000000000000000000000000000000000009aa3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fc00","0x0000000000000000000000000000000000000000000000000000000000009aa0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"189"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":[256,"114189801798255553539609309394130043303244650498533447237574156333576660776168"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065679","0x0000000000000000000000000000000000000000000000000000000000000e0e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"69997271172041033403098681511680318294972370880024050918187460792635212873993"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000001","0x000000000000000000000000000000000000000000000000000000000000d10e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731856"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2a","0x000000000000000000000000000000000000000000000000000000000000037f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"64191853195595755957814899209643006476865303281809349684054693973710576934487"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f19","0x0000000000000000000000000000000000000000000000000000000000001a41"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"/*\\164\\DEL\\165\\148#-\\183qP\\193\\215\\174U\\147\\239\\197\\&1B\\DLE\\224#\\219^\\US6\\250w\\146'F\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fa","0x0000000000000000000000000000000000000000000000000000000000001b8a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce55","0x0000000000000000000000000000000000000000000000000000000000001329"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084277","0x0000000000000000000000000000000000000000000000000000000000000057"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"54036354255562004206513549195574910766193955097047516045101593515711130918329"],"tag":"AbiUInt"},{"contents":"0xF62849F9A0B5Bf2913b396098F7c7019b51A820a","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000059961","0x000000000000000000000000000000000000000000000000000000000000007a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"90051612786862272089412682418272810120007766120935911531191188717899314549897"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fa","0x0000000000000000000000000000000000000000000000000000000000002321"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008af1a","0x000000000000000000000000000000000000000000000000000000000000eb6b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000062","0x000000000000000000000000000000000000000000000000000000000000614e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"604801"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004fa0a","0x0000000000000000000000000000000000000000000000000000000000001361"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"94040635188901376021279683711784239669557961487692687352480713637905332782266"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6f","0x000000000000000000000000000000000000000000000000000000000000dcb7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":[256,"7915696614798489313945558630853013255739"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000382","0x0000000000000000000000000000000000000000000000000000000000001371"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ab4f","0x000000000000000000000000000000000000000000000000000000000000d8d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"1312443577120136019"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d51","0x0000000000000000000000000000000000000000000000000000000000001382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"39469428749130186153246499605797321983324802556557362428518797268223838986218"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000399c4","0x00000000000000000000000000000000000000000000000000000000000011ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084275","0x0000000000000000000000000000000000000000000000000000000000001351"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"818"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c436","0x0000000000000000000000000000000000000000000000000000000000000001"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004f","0x0000000000000000000000000000000000000000000000000000000000009aa1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a518","0x000000000000000000000000000000000000000000000000000000000000101f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"78254155003927515541029183269417240786932247375562720217946384843490046242124"],"tag":"AbiUInt"},{"contents":[256,"93577274495621751015961063582467582447188876785806230568660128996687496157613"],"tag":"AbiUInt"},{"contents":[256,"58117157045496842816377147670599583065871976471826392722142891979080045359849"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428160"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005caa0","0x00000000000000000000000000000000000000000000000000000000000003fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fa33","0x000000000000000000000000000000000000000000000000000000000000ea4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":[256,"58066211721013630131363448894550382080768263331777214573709045465597427314763"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c9","0x000000000000000000000000000000000000000000000000000000000000baef"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"38212186411012313060424332968743850634118653882569950636169630881896850452114"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c434","0x000000000000000000000000000000000000000000000000000000000000c543"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e7","0x0000000000000000000000000000000000000000000000000000000000001352"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"4369999"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c247","0x0000000000000000000000000000000000000000000000000000000000000440"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"107069104022037369026693360323562887798992694853919148155573571844577940590663"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000f2c8","0x0000000000000000000000000000000000000000000000000000000000002f28"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",[{"contents":[256,"97874150435569937840434674406407987673772500396556773380143830182866267"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e11","0x0000000000000000000000000000000000000000000000000000000000000403"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"1526283140"],"tag":"AbiUInt"},{"contents":[256,"99999999"],"tag":"AbiUInt"},{"contents":[256,"604801"],"tag":"AbiUInt"},{"contents":[256,"10549344795668388551075610929056989628686514060058073741695964929000913202910"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba8","0x0000000000000000000000000000000000000000000000000000000000003f80"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":[256,"105330147523747847642500728723669964466593157191754116328574646178440299209302"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000021","0x000000000000000000000000000000000000000000000000000000000000101c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\">\\232{\\185\\210\\US\\DC2\\bp(\\200B\\218\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221^\\165\\142\\205!\\SOH\\189\\226R\\DC2Y\\160\\ft\\132\\156\\239\\197W\\186\\188\\229h\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\201\\239\\&1 q\\147\\150n\\SYN\\236\\ESC2\\129\\223h\\135\\214\\138%I2X\\SO`\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\219\\176\\NUL\\196\\201\\192 \\136\\130\\177\\162\\174\\215\\168?\\154p\\DLEB\\180\\154\\210\\241V\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\DC3\\167\\138\\168yp[\\140\\ESC\\133\\SUB\\ACK\\224\\190\\157\\165\\138\\156\\FS\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\171\\246\\243\\133\\183i\\\\\\132\\216o\\234}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254#\\169 \\176c\\182\\\\\\211\\200\\184\\189\\198\\CANV\\236\\165\\NAK\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\217K\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"$.\\177\\135\\253\\198\\161\\t\\235\\202\\DEL\\SYNu\\233\\132{L\\174\\251\\STX\\186\\SI\\175\\206\\230\\250f\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\222c]}\\SUB2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\159\\167K\\224|3\\177lC\\190\\&2\\180NJ.h\\200n\"","tag":"AbiBytesDynamic"},{"contents":"\",\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\v>\\ACK\\EOT\\SUB\\129\\170lDk\\144\\142\\150\\220\\139O\\226\\185\\220\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\134u\\138\\159\\167\\182\\&1\\132\\151\\243Z\\DC2\\SI\\209#|\\134\\227\\&3\\197[@J\\251\\146A\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\233|\\SYN\\225K\\202\\FS\\138\\228\\243\\v\\208$\\155T\\153\\245\\&4\\233\\150\\171\\185\\173\\237l9\\245\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX!`\\ETX\\145\\133\\206Hj2$K\\216\\179\\244\\215\\240I^\\173h\\DC2\\SOH7\\192\\&8\\233\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"Pe\\SOHo\\f\\131\\196J@\\194\\&8\\235\\162\\DELY\\144\\f\\130\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\211\\231J\\213\\t\\131r\\194Np\\ESC?\\242\\\"\\186\\ETB\\183!\\a\\DLE\\251\\135\\168Q\\US\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\206H\\168\\190\\181\\177g\\181\\134!\\181^NZ>\\229\\216\\213,&\\217\\&5\\208\\206\\249\\128\\nR]\\144\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r>\\231\\DC4\\224v\\234\\248Tr\\204\\221\\201\\SI\\207\\144~\\203\\146\\217\\148\\232\\&2|T\\182\\205\\EMz\\130\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\252\\153\\190\\180\\&2t+\\DC14>.\\205\\&6\\238\\ETB\\ETX\\128\\140,QOq\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"{^\\156\\&2\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\253\\230\\135z\\159\\220\\DC2\\191w\\177d\\NUL\\227\\DC3J\"","tag":"AbiBytesDynamic"},{"contents":"\"lt\\ACK\\235\\233\\160?\\CAN\\209\\235\\170[.\\GS\\167\\163\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\218\\208!\\180\\240\\133\\194\\ETB*x\\215\\DLE\\n\\130\\DC4\\242.\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\250\\243NI\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\211]\\207IoM\\DC2\\SYN\\224WU\\STX\\143-\\191%S[h\\135;\\DC4\\207\\193 \\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\137\\SOH0TX\\EOT\\179\\218~\\177\\221h\\r|\\231i\\246\\148\\168>\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\143\\238\\231P\\194\\170\\160\\187\\217\\SO5BN5\\219L<e\\165\\225$\\155\\160\\135\\213\\r\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245N\\154\\t\\EOT\\235\\141\\247\\148\\241[\\161\\&0!}\\203\\222?'\\225\\136\\222\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\152\\GS\\205\\&3\\STXA\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUBW\\213MR\\168\\219EJ|e\\191\\207\\195m\\ACKBh\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221\\160>\\197\\RS\\223\\&1y\\250\\162\\DEL\\230\\170<\\158\\253^~\\230\\186#UH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\191\\164\\248\\\"\\DC3B^\\181\\226@\\169JU\\150\\142\\230\\165\\SOFF(\\240\\188[.wf\\146\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\208ak\\142\\206E\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\149\\141\\245i\\175(n\\235FBO_\\208\\221\\162\\198\\166\\146O%`4\\191vf\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\191\\DC1.\\SI\\190\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\&9: jC\\128\\233\\148\\EM4\\147\\FS\\188wi\\nC\\186\\207\\DC4&L\\DLE\\168O\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139A\\n\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196\\SOH'\\DLEE\\192\\170\\228\\170D1\\180\\DC1\\DC1a\\236\\218\\195\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\234\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\214|\\160c\\253\\191|\\206#!\\129\\218\\SO\\RS\\236?\\162\\161\\186\\237\\RSh\\NAKu\\172\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152U\\132\\STX\\225(\\157\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\206Yh\\193\\215\\&6\\fD\\189%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\222\\193 \\195\\135\\&7]4\\v\\ETBV\\241\\155\\129*\\165\\196\\&5RE\\210\\SUB\\166L\\228\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\178\\169\\EOTF\\RS\\ESC5\\199\\STXf~c{\\212\\174\\224\\169\\151\\214 :\\247\\\"\\201a\\134\\157d\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\V\\214\\253\\158\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135R\\f\\174\\246T\\CANg\\191\\SI\\217\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\215K\\131\\228\\133,\\216\\129Q\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"7o\\NAK\\223\\DC3\\DEL\\EOTp\\175\\239\\174T\\218\\ENQ\\219\\177N\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\204ru\\243\\193\\ESC\\EM\\165e\\f9\\163\\135\\214\\135\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"q#Y\\220\\178x\\ACK?\\165X\\170\\DC3\\179\\216F\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"'I\\217Xz\\DEL\\177\\192\\175bi\\153QQxVH\\217\\f\\tA\\157Y\\179(\\221\\135\\177\\243T\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\DC2}\\255x\\173>\\236\\158Hy\\238\\EM\\205 CPu\\a\\240-k\\128\\245\\&7\\DC2\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"<!\\142\\186F\\198\\217\\139\\253\\ESC\\152\\193\\DC4Z\\210rU\\202\\130\\223;n\\153O\\129\\253u\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\179\\255\\SI\\173\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\177\\168\\&8\\ry6Q:\\220\\186\\202f \\192\\190\\195\\DLE\\184\\188\\195/\\239\\134\\210\\ETX\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227S@\\231\\&0\\174\\179\\197\\235\\185\\192y%\\190T\\228\\194\\241\\167'\\173\\129\\ETB~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161*\\f\\trg(\\217\\250MaQC\\235\\187\\139\\232C\\191\\187\\228\\159%\\212\\241\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195#\\231\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\137\\135\\190\\ACK\\STX(3\\251R\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\205\\191\\187[\\128\\143X\\DC4\\170)\\150\\206\\154\\225\\177\\&1\\ETX\\178|\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\180\\181\\232\\191I\\232l\\134F\\233B\\202\\130wWP`?\\238\\n\\215\\152\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245-\\209\\144\\230\\167\\NUL\\143r\\\"\\150!\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4Am!\\239=dS\\EM\\198\\162\\190t\\214\\203\\GS\\235\\n-\\219,\\239\\246UU}\\199\\228\\149&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\\"\\143E\\143\\190t\\196\\251U\\210]\\253j\\217\\182G\\153\\163\\b\\179\\153\\227\\159\\ETXM\\164+zz\"","tag":"AbiBytesDynamic"},{"contents":"\":?\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162Y\\\"\\SO\\205\\244\\222\\133s\\129\\201\\&3\\174\\138\\177\\168\\241\\249\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\DC1\\161U\\194\\&5\\189\\153\\225\\NUL\\133>\\215\\208\\229\\&49\\197\\n\\210\\195\\a\\145\\212)\\SO\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\253\\145<\\194J\\130\\206\\216x\\221\\199\\179C[\\186\\208\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\132|Z\\ESC\\180A\\234\\200\\191\\160A\\235\\173FeO\\157\\216\\SYN$E\\149\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\255[\\187,\\SI\\169\\210\\209\\213l\\132\\155\\216\\SUB ]_\\161 \\252\\161\\r\\EOT\\175\\199\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219p\\165(\\245B\\243:\\155l\\228c\\144\\134\\250\\170\\147Y\\ETB\\253\\163\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\247\\222]7n)\\166\\174\\SUB\\128\\201\\214\\DEL\\239Z\\243\\166\\&4\\159\\193\\213\\148\\240\\245\\EOT\\233[\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\202\\235\\184#\\248gI\\248\\NAK\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\142A,\\208L\\227&\\158$\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\USB\\173\\170\\145\\143\\NAK\\138\\178\\166m\\144\\DC2\\179\\SYNlg\\240\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156>\\211\\241\\236/\\204\\233\\163\\142\\172\\t4{U\\NUL/qz\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\150:\\130#\\182\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246K\\246\\255\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\129\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\248\\&2\\242\\SIB\\b\\ACK\\247hHs\\190\\bt\\r\\169\\139}\\DC1a=M\\169Ssi\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219)\\188\\225\\129\\235\\175B}{\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\133\\212\\\\FT\\148\\230\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\172u\\139i\\SIL\\234\\190\\224\\153\\b\\213ls\\184\\213x4\\\"h\\205c\\196\\145.I\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171\\146\\&8\\197\\149\\GS\\188\\137\\201\\206\\228\\172\\&8\\202\\195\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\210-\\162u\\235\\202\\143F\\ACK_\\FS\\NAK\\173\\197bI;=\\139\\RS\\163\\SYN\\163\\202\\135w\\SO\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\CAN\\146auH>\\STX\\r\\249\\188\\222\\181\\193Fo\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\240\\130f\\151\\202\\249\\\"\\241$R\\237\\211p\\t\\159\\145\\140\\246\\195C\\174\\USm\\199\\144\\157\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210|\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\251\\&3\\137\\RS+\\ETB\\188\\210\\STXZ\\199P\\227*I\\204qd\\225!\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"#*Yq3t\\250\\214\\226y\\RSJ\\159\\140Ap\\170\\218e\\CANq\\f\\179o\\128%\\207\\149\\236G\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\" \\229@g\\204]w!\\STX\\CANX\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\195%\\142}\\131?\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\171\\251\\a\\231\\&3\\\\\\247P\\240= \\249\\178\\131\\SO\\155\\&2u\\207\\245\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"uT\\f{Sc\\138d\\171\\232\\231\\172G\\DC4\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"yx))\\b\\CAN\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227D^\\222\\EM\\230g\\203\\DC4\\145\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"zX\\195\\r[i\\STXB\\143\\135\\\"\\132\\130\\186\\STX\\ESC,\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\147\\189\\146\\184\\253\\131}\\137=\\148a\\132u\\199\\201m\\ESC\\150Nn\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"<bg\\202D\\154f,\\218\\b\\129\\170~^*\\151\\&6\\ETB\\137b\\172W7\\233\\225\\US\\141\\DC1T\"","tag":"AbiBytesDynamic"},{"contents":"\"R|\\f\\156q\\177\\\"\\214\\241\\165\\174\\155\\186X&\\189\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\225\\232\\172\\228\\215;\\FS~Z~\\213\\vM\\255;\\EOTG\\215\\r\\163$\\DC1D\\249\\160\\131\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254J7\\165\\a\\135#r\\GS\\140V\\bj2.\\USqF66\\142\\161\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\250r\\132\\ENQj\\180\\207)\\196gz\\254\\226\\DC2\\EOT\\DC4\\234\\204\\ETXj%\\GS\\234\\233\\148\\245\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\214\\170;h\\214]\\160\\244-\\152\\f\\174I}\"","tag":"AbiBytesDynamic"},{"contents":"\"ef\\139\\DC3\\215\\167\\141\\ETX\\166\\NUL\\183D\\242\\239\\b\\254\\193C\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\f\\STX\\199+\\173\\157\\&8\\174_6\\228n\\209\\244\\182\\151)W\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\129\\226\\238)\\152\\ETB4\\163-\\211\\211\\147fT\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NULw)z\\216jE\\147\\156N\\RS\\238\\136\\204\\236\\156T\\196\\148\\226\\239\\&8\\254\\145\\234Q\\t\\166\\239\\238\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"@>\\RS\\DLE\\144\\197\\158\\&2\\178\\RSu~\\DLEHF\\163%\\148\\136P\\149\\166.\\246\\223\\n;\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\243[\\254\\US^\\246\\128\\152\\DC3\\185\\143.\\250\\US\\180]\\217O\\154\\135\\166<%S[g\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\132\\186\\DC2`\\191l\\131\\r\\153\\236\\197\\201\\245\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\v~$ X\\195M3z\\192d\\SYN\\155\\&1\\153\\130n\\200\\151{\\163S\\246p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\237+\\139\\FS\\172M\\229\\215\\ACKj\\221\\EOT\\236\\fRTB\\148\\243(_AI\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151%\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\185\\207\\DC1\\132\\194\\223\\154$K\\178\\STX@\\132\\206\\EOT\\218\\204\\f:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\250G\\135p\\157\\181\\190,\\GS\\213\\SUBA\\223\\&8\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197-\\SI\\198\\&6\\199\\CAN\\186\\143\\172\\203C\\196\\186G\\216\\246i\\210\\EM\\177\\SUB\\237\\&8\\179\\173\\174F\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\217}\\213\\175\\129\\169\\237\\SOHF/\\DC1,,o\\210x\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\f\\250\\RSA\\222\\159dL\\US\\166\\236\\245f`\\130M\\175\\DC2O\\SO\\162_ ?\\156\\248W$\\172\\227\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\":k\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"fT-\\131\\DC1f\\SO\\195\\to\\253\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\220s&\\152\\177n\\DC1\\148\\188\\DEL\\ESC\\207 $\\197\\211\\216{\\153\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\CAN\\a-/!\\174^N\\189\\136\\221\\253\\SOH\\r\\205\\FS{P\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\184\\RS\\193\\150<\\218\\173\\152\\&4\\218\\237\\ENQ\\248\\184\\146\\&7\\203\\238&\\DEL\\211\\162\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\190\\232B\\145\\217\\158J\\231\\184\\249\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158>\\128\\248)\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145d%\\197\\210*\\SUB[?mg\\168\\250\\238\\253\\nC\\185\\162C\\221\\145\\213\\238\\158\\&5\\NULi\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\b\\159\\177v\\186\\&0#a8\\EOT\\EOT\\\\\\223\\165\\164\\187\\154\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"t\\244\\238\\222\\191l\\220\\229\\207\\177\\187\\147\\219\\FS\\159\\223%\\147_L~\\DEL\\148\\&6?\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\215\\v\\ESC\\CAN@\\237\\ACK\\183s\\217^(\\209\\248y\\194\\ETX\\SYN\\ETB\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245e\\247M\\153+\\210\\167\\\\\\191ce\\186\\219\\&6\\243l\\212,\\NAK[\\206q\\161\\195~\\158m\\DC4`\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165/\\SO@\\184l\\246\\234\\211\\237\\245\\199\\170E\\v\\DLE\\209{=\\206\\253\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228y}\\210\\&85\\219\\143\\183\\212\\147QX\\235\\&4z\\246\\184t\\ETX\\196&>0v\\ENQ\\202\\ESCS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\SOH\\133m[\\210\\221\\170\\210\\STXu'y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\203\\CAN9\\242\\vTQNm{(\\253\\&0\\188\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\FSSM\\DEL\\SOH\\163\\242\\201\\188\\177\\vS|\\174\\128\\DC2u\\149\\170Xw\\CANW\\136\\135b\\DLE\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"^_\\CAN\\138\\209\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"l\\232\\n$\\\"\\236\\149\\149\\242\\159\\155\\SUBrr\\143\\&3l>\\154\\237\\219\\160\\EOT\\242\\SOH\\v\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\147\\130)\\138 f\\234U\\FS\\196P\\248\\247\\241\\175\\168\\244\\249%\\202\\160F:`\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\EM%\\EM\\156\\210Y\\230\\145\\211\\229>\\ESC\\189\\137\"","tag":"AbiBytesDynamic"},{"contents":"\";\\186\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"XY\\212\\174l\\179P*AT\\162\\218\\246\\CANW\\206\\169S\\211&?1\\167a\\164W\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\222\\180\\NUL\\212n2\\ETB\\141\\143\\&1\\251\\186\\186Y\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\206\\253?f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\253\\139\\208\\SOH\\140\\211\\DLE\\142\\214\\181C\\162\\253J\\228\\187_\\205\\237u\\160\\DC1\\218We\\ACK\\246\\&2\\150@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\177\\167\\178\\193\\205o\\143#\\DC4\\170=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\201\\&3\\245\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\SYN\\252\\175\\&1\\184\\RSq\\221\\198x\\234\\SYN\\237\\166\\156\\249\\148\\177\\146\\168\\250<\\152@7\\r\\168\\230\\&2#\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\\\\\DC3*\\209\\ENQz\\226\\SOH\\209\\139\\161\\&9\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253Y\\205%`qHn\\237Ud\\226*\\129uG\\130\\137\\v\\227\\254\\253\\159\\236\\255\\232\\n\\128\\232\\135!\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOHX\\210\\253\\203K6Z\\154\\224\\SUBC\\153\\ETX\\210O\\155\\169,\\152\\234\\192S\\\\\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"B,4:\\132\\208\\155\\248\\201\\148\\199\\149I\\142\\254M\\151Cb\\DC1$I\\184\\151\\243\\185\\143#o\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\138\\130\\r#O{\\180\\175y\\t@\\DC4\\240\\250\\177\\153\\232\\182\\DLE\\238\\147*\\SUB\\159Q\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\142R\\244D+e\\168vZ\\254=I4\\254?.\\DC1E\\183\\221\\177S#\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\FS`\\159\\221Y\\131\\191\\129\\221\\188f\\177\\177:\\168'\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\\"\\249\\132\\204\\193\\139g\\224P$\\ESC\\174\\131\\137.w\\202\\185\\173\\199\\165\\199\\140U+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\128\\189*\\149\\SYN\\156\\163PH\\168\\227s\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\239\\177\\218s\\186\\153x\\227\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\193\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"8-\\201\\254\\ACK\\128\\131\\189\\192-\\148,{&\\225\\200\\130];\\152\\253\\166\\155\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\b\\188\\221lMH\\196\\DC3\\171q\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150,%V{\\aA\\202\\162\\205\\n\\136\\137N\\184\\128\\ETBC}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255 \\242\\133\\187\\172UT\\207,\\246\\238\\136]\\165\\FS\\v[\\190\\143\\139\\146\\194\\223\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185j%\\145u\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\FS\\149\\217K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\214s\\ACK\\196Lv\\DELR\\SOg\\202\\196\\177\\128\\&7\\233\\143w\\207\\181\\152\\154\\169\\191\\230\\213\\&0f\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\164\\176\\&5\\191\\193P\\168\\216\\254\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\214\\\"\\160\\152\\130\\255\\132{i\\FS\\207\\157\\246gxB\\246\\&7\\vS7\\232u\\215\\255~\\233,\\228\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\DC1S\\195W\\148\\225\\223\\158\\130\\172}8\\CANh)\\168\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"6d\\204\\214\\175\\245\\192\\238\\DEL\\230@u\\\"\\208\\177\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Y;\\148\\141C<\\234&\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\216\\238\\129\\252\\159\\209v\\149}\\f\\232\\218\\135\\168\\&3r\\171s\"","tag":"AbiBytesDynamic"},{"contents":"\"jJ\\ACK\\239\\167\\170\\211E\\v?6\\170\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185M\\CANjL\\249\\184\\DC2\\DLEm\\234|E\\207\\138\\163\\141\\168?jf\\249h\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\&8\\180\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\145\\205\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"u6\\CAN\\237b\\254\\145\\NULrp\\213U\\185yxW:\\160\\216\\SUB\\184<F\\DC4\\157\\202F\\146\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\ESC\\252\\168\\217\\189\\134\\227\\242\\ACK\\SOGc\\a\\138\\f\\229\\147\\224\\161\\DEL\\255\\225\\241\\165LHM*\\233E3\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\181\\&0\\ACK\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\184q\\193\\b\\RSB7u<\\172\\218\\ACKn\\159\\155\\&2>\\238O\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196r\\EOT\\197\\&2\\239\\128h\\173\\191\\NUL\\169\\201\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\&2\\DC4T/<\\175\\170bM\\154\\224\\228\\147\\244.\\153\\212s\\255\\219s\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214inJ\\173\\206\\tD\\200\\226\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\CAN\\b\\196}\\ETX\\167t\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"O\\248\\171(/e\\SYN\\190b8z\\235\\&5\\246\\213\\150Uj\\129)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t\\227\\ACK\\171X\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\NAKs\\US\\255~\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\210\\&0nMH(|\\SUB\\198\\245\\146\\169\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\b\\228\\238\\196\\182\\166\\&1uC0r\\223atb\\DEL\\252\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\144\\135\\232\\190\\255\\203\\SO\\189sA\\146=\\205\\255\\178\\248\\254Ubh\\184\\159\\149\\CANb\"","tag":"AbiBytesDynamic"},{"contents":"\"<I\\DC4j:)jT\\190\\&1c\\252*S6|\\167 :H\\250\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\174\\217\\EOTt\\250Zr\\238\\USr\\238\\SO\\205\\234\\176+6\\173\\147\\222lrx\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\141\\DC3\\188\\CAN\\193\\184\\195\\200\\175\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\141F'\\163A\\169\\199\\235\\b\\189'U\\139|n\\211z\\ETXk\\166:\\SYN-\\ETB\\255\\SIM\\143\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"h$h\\203\\SI\\149\\220\\229\\242\\170P\\228l\\211\\EM{h\\ENQ\\176\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\223\\188\\216\\136\\139\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232z\\FS\\162\\215\\va\\159\\SO\\131\\&9\\233\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\vd.\\198\\216\\250\\&5\\225\\SI\\157\\189\\DC1\\\\\\227\\202kM\\227\\228\\210Bs@\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\238\\155\\FS\\131\\175\\241`\\187/\\145\\\\\\219\\139\\254G\\156uP\\245@/\\174\\r\\195OAMN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\227l\\245L\\131\\185b\\SO\\162\\160\\f\\168\\211\\&7\\201\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\174+\\236\\143!\\SIu$\\150\\&4\\218tj\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\254J\\213\\173\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\DEL+\\n\\224\\230\\218\\&3C\\DC3\\CAN\\138\\234D\\236\\rz\\208\\255N\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\138k\\249\\168\\228^\\140g\\146\\r\\SUB\\130\\186\\173i\\157`\\EM\\180\\174!ir4\\180\\253z\\173\\207\\190\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142}\\191\\154\\182_\\139Q^\\142\\143f\\DC2\\130:|LP\\236f\\DC1/\\207\\146\\255\\US\\215 \\185\\188\\145\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"p\\180_\\EM\\220~?\\204\\128\\161d\\190\\204\\DLEZ]R\\133\\193\\210\\147\\199\\DLE\\249C^p\\140\\168\\&1Q\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\205\\202=T\\215\\147S\\222\\226&\\212\\232b.pe\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\168Z\\176\\225G~.\\190U\\189z#\\188s8\\129R\\131\\&6\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\241\\237\\228\\ACK5\\227c\\ng\\a\\249\\132\\208\\147&\\213\\185\\n\\185\\225qG\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\204\\134\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\")\\138\\170\\142\\ETB\\245\\215\\211\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255g\\\\\\211\\EOTnk\\SOH\\f\\226\\250y(i\\150f\\133\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"b\\155\\240\\&9jnvh\\207'\\176\\195\\190\\167\\242\\136\\168\\226{\\136s\\STX\\175\\166\\169\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\168\\NUL\\196\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204(?\\140\\163\\\"\\149E\\187\\DC3\\NAKZ\\SUB|\\216\\172\\134\\DLEIx\\145\\174\\&1]G8\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CANw\\243ke\\f\\218>c\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\tI\\FS\\v\\253@\\197*\\DC1H\\152\\SIr&;d0\\213\\142\\171\\175K\\137\\DC3\\205^\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\232\\&9\\249\\129\\216\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213H]p\\211<oa\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"=C\\156w\\243\\188\\164rR\\240\\160\\220]\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"z\\199\\SO~mi\\EOT\\226X\"","tag":"AbiBytesDynamic"},{"contents":"\"]K7\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\203\\142\\222\\215:\\246k\\168\\&5\\SI\\213f\\fS\\190\\ACK3\\169\\219\\225\\&2\\183\\242ZQ\\DC4(R\\242\\140\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"29q\\207\\EM>\\NAKfk\\161j\\DC2\\199\\240\\SYNt`\\138=sD8\\DC2J\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143~\\FS\\146\\189Q\\133E<\\130\\182G\\152J\\164rU\\242\\166$\\214\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"7\\EMe/\\176\\166O\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144@\\218\\222\\144~\\246\\129oYp7\\136\\198&p>\\n\\201\\186]F\\147\\212K\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201Jbyw;\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\245\\141\\&2\\253\\\"s\\149\\132\\203\\&8?\\185\\197\\155}\\r\\145\\181\\189\\249\\179\\&4\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"9:\\149.z\\NULd\\219\\128\\233\\134y\\159\\DC2\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\139\\224\\245\\155\\&4\\139\\233\\239\\195\\133\\USp\\r,2\\b\\SI\\225\\173\\ENQ\\207*\\SUB\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\DC1\\169:\\\"\\194\\184IC}\\248D\\202\\150\\184C\\160e>\\177\\244B\\195}\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\&7O\\ETX%E\\218p\\163\\167\\130\\216\\FSD@@\\150\\254t$\\247l\\180\\250\\&7\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\251A\\214<b\\r\\GS\\242\\SO\\SI\\SI\\223E\\ACK\\199\\162\\189\\&0\\201v\\fQ\\DEL^\\128\\145\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\239\\STX\\DC3\\153\\206%\\139\\242'y\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b##8N\\240\\253\\163M8@\\EOT3e\\143\\222\\181!\\244~b\\\"\\174n\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\139s\\EOT5\\228'\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\218\\147B\\175\\246\\142\\254\\209\\170\\210\\174\\189\\160\\187k\\255#w\\DC4\\150\\180puC\\EMa\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\177\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"OK\\\"\\245\\182\\159\\208\\160G\\f;\\248\\225P~x\\219P\\210HA\\139\\RS\\ENQ_3\\214\\207\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133{V\\171\\229\\191\\236\\144\\160\\145$ \\232\\NAK:\\194\\\\M-W\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\247\\SOH9\\SUBD\\151z(z\\n\\185\\160\\159\\thi\\140\\214\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOK\\167\\216\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\158Q\\246\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\170\\184<Q\\221;T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\219\\166t/E\\SYN\\196m\"","tag":"AbiBytesDynamic"},{"contents":"\"toAddress_outOfBounds\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"33467782472617256805566885339402511169552202069912787434771280399362322368495"],"tag":"AbiUInt"},{"contents":[256,"2000000"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639830"],"tag":"AbiUInt"},{"contents":[256,"8281365756206683976826292438334003618421997725042427377581994120496934134534"],"tag":"AbiUInt"},{"contents":[256,"86978537863884870357294258256998654167602261702850053936491521533069886330055"],"tag":"AbiUInt"},{"contents":[256,"33"],"tag":"AbiUInt"},{"contents":[256,"2525965035694835719284486625348899483544893497459508705852344519040302727043"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088321"],"tag":"AbiUInt"},{"contents":[256,"80555757565040229288510465321271141986921046648187760160094760300227651481608"],"tag":"AbiUInt"},{"contents":[256,"114955944095470765132294282363284987637216561396073842591108592717740987360579"],"tag":"AbiUInt"},{"contents":[256,"90058080661638829908305184396107737211614003798852054172719031619956510905526"],"tag":"AbiUInt"},{"contents":[256,"768"],"tag":"AbiUInt"},{"contents":[256,"242"],"tag":"AbiUInt"},{"contents":[256,"304"],"tag":"AbiUInt"},{"contents":[256,"69804244032896792752553862480292263783992561551128391565112821362357737952555"],"tag":"AbiUInt"},{"contents":[256,"94633028607061217939943599719703636654029568679691976694926572553551767545267"],"tag":"AbiUInt"},{"contents":[256,"93037047165791306365720459074048349333636316874727355157625260123735282367261"],"tag":"AbiUInt"},{"contents":[256,"30256610221905445867747023211503398350784468708644434494876503321571042643456"],"tag":"AbiUInt"},{"contents":[256,"62046198567172956254582856334016680541554659087165111169475753826949289273538"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639866"],"tag":"AbiUInt"},{"contents":[256,"10672025136761763029821930935459409499196517768092142998339294030507999046776"],"tag":"AbiUInt"},{"contents":[256,"4"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"26347367779483248606139615587031460964506334683981677848053675557043990030521"],"tag":"AbiUInt"},{"contents":[256,"1558681180273496577030256222436712407575019008221496033803476389852605923064"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630933"],"tag":"AbiUInt"},{"contents":[256,"79228162514264337593543950335"],"tag":"AbiUInt"},{"contents":[256,"52127084867497806758392203243678707734443637550246677683710062750233532756852"],"tag":"AbiUInt"},{"contents":[256,"898"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"13"],"tag":"AbiUInt"},{"contents":[256,"9997"],"tag":"AbiUInt"},{"contents":[256,"99"],"tag":"AbiUInt"},{"contents":[256,"74"],"tag":"AbiUInt"},{"contents":[256,"109818212312581530105538282043201005336284933583614878197969262909975008663261"],"tag":"AbiUInt"},{"contents":[256,"901"],"tag":"AbiUInt"},{"contents":[256,"26"],"tag":"AbiUInt"},{"contents":[256,"96082794436028902740019786362250205427280519575829684830471419113704841879219"],"tag":"AbiUInt"},{"contents":[256,"110574451499149376064686263070772807911020535081448570408246572939057394609835"],"tag":"AbiUInt"},{"contents":[256,"390"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781054"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639915"],"tag":"AbiUInt"},{"contents":[256,"65286154610590937561498189746644129308538728356147142687791330828991071174237"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"53"],"tag":"AbiUInt"},{"contents":[256,"1311673139865253113017599579984519647067109440558206399428957290199170069316"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731852"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553535"],"tag":"AbiUInt"},{"contents":[256,"10000"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088319"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132611"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639433"],"tag":"AbiUInt"},{"contents":[256,"8998"],"tag":"AbiUInt"},{"contents":[256,"9004"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"81424416313769935922110576089197595245163134691001949881276316194811617785589"],"tag":"AbiUInt"},{"contents":[256,"49670265951386812595663815281277855725594523228063151937714103653733088388077"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781056"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781056"],"tag":"AbiUInt"},{"contents":[256,"112602317445506198065953229474181819700401648463290805991510179921086775833619"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000001"],"tag":"AbiUInt"},{"contents":[256,"8119089310372728554035354905381591437799076761278999398713895592025784166358"],"tag":"AbiUInt"},{"contents":[256,"1313373039"],"tag":"AbiUInt"},{"contents":[256,"62913873513226539136604680173924320712555430722069965422289523355202178842248"],"tag":"AbiUInt"},{"contents":[256,"25"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"37165223294540016812063785130716832169934769746703373778335265731330875508280"],"tag":"AbiUInt"},{"contents":[256,"109504601570020643175305339733145261988624860838738125550575218933198368902926"],"tag":"AbiUInt"},{"contents":[256,"6507043196909812542440640816514422384823568329697952730551"],"tag":"AbiUInt"},{"contents":[256,"90474504474814972091013660096825556716371717006901277161207939669130370911195"],"tag":"AbiUInt"},{"contents":[256,"648369538582789626155224964666359"],"tag":"AbiUInt"},{"contents":[256,"102112379160694429284495140472589569981470777509001714183782754639882844636785"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"104"],"tag":"AbiUInt"},{"contents":[256,"113116651729062294934276589057221216268188515267842560532814522499772111722688"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639855"],"tag":"AbiUInt"},{"contents":[256,"474"],"tag":"AbiUInt"},{"contents":[256,"39313892338874359588463861396723602257035276163009149357325318255754834571974"],"tag":"AbiUInt"},{"contents":[256,"22450598710930754442573597824209877103795143738283935766376269642237292947992"],"tag":"AbiUInt"},{"contents":[256,"107795413651435843431624029332931186501190133890335354565129713572356044886167"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731855"],"tag":"AbiUInt"},{"contents":[256,"1532248951"],"tag":"AbiUInt"},{"contents":[256,"86"],"tag":"AbiUInt"},{"contents":[256,"56"],"tag":"AbiUInt"},{"contents":[256,"105698694565889671402169068321687841626005228850802413411611644801209659572127"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639890"],"tag":"AbiUInt"},{"contents":[256,"21133532127976384512150975898554082590553917483816198361528066580405751361767"],"tag":"AbiUInt"},{"contents":[256,"4003"],"tag":"AbiUInt"},{"contents":[256,"1532515954"],"tag":"AbiUInt"},{"contents":[256,"108342048967310783084824244273870876359625305807660575318002079654909814664072"],"tag":"AbiUInt"},{"contents":[256,"110125058260735890147329524486843498507774475915822566378759116821086925353178"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639819"],"tag":"AbiUInt"},{"contents":[256,"69519322085834223191540827023757086055498911543887530769778045826411475466312"],"tag":"AbiUInt"},{"contents":[256,"33810976424696706058425800452017720503355507702463929227404267575628037562155"],"tag":"AbiUInt"},{"contents":[256,"3601"],"tag":"AbiUInt"},{"contents":[256,"98"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580ad","0x000000000000000000000000000000000000000000000000000000000000e8a0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":[256,"100000000000000000000000000000000000000000000000000000000000000000000000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd9","0x000000000000000000000000000000000000000000000000000000000000ca0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":[8,"70"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164d","0x000000000000000000000000000000000000000000000000000000000000cf30"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000037","0x0000000000000000000000000000000000000000000000000000000000003f7d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000002f","0x00000000000000000000000000000000000000000000000000000000000013ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb30","0x000000000000000000000000000000000000000000000000000000000000135e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate_clamped",[{"contents":[256,"6628577184703048543786735388962649663413392252316754512708224609516010340046"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bd","0x0000000000000000000000000000000000000000000000000000000000002712"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",[{"contents":[256,"4195175072166403253333648668045554505049024960504454019514424158872106421163"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e3","0x000000000000000000000000000000000000000000000000000000000000c107"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858883"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc11","0x00000000000000000000000000000000000000000000000000000000000095e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"117"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3e","0x000000000000000000000000000000000000000000000000000000000000ca0d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"1015"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea46","0x0000000000000000000000000000000000000000000000000000000000007118"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"19906079030078592705433088260796045792092731298871556741243407809938746544622"],"tag":"AbiUInt"},{"contents":[256,"106858972047326757002732286590039732655737626896162609845413084418179241986920"],"tag":"AbiUInt"},{"contents":[256,"328"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015183","0x00000000000000000000000000000000000000000000000000000000000009c1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001a6f2","0x000000000000000000000000000000000000000000000000000000000000e348"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"18446744073709551614"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffc","0x000000000000000000000000000000000000000000000000000000000000ea4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"20"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001f","0x00000000000000000000000000000000000000000000000000000000000012b6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]