[{"call":{"contents":["erc7540_7_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"58476985459523277123346157143873326919951485823779257490327541875998867618565"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6e","0x000000000000000000000000000000000000000000000000000000000000e5a7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d500","0x0000000000000000000000000000000000000000000000000000000000004121"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"108449999780639749286390545437062408244949797452515667963419550179380305837855"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000031a50","0x0000000000000000000000000000000000000000000000000000000000004a2f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2f","0x0000000000000000000000000000000000000000000000000000000000002fd8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"107566765439536766957679876692089574006456307436896954020061948423144513733932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000740e0","0x0000000000000000000000000000000000000000000000000000000000000130"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000053dc8","0x0000000000000000000000000000000000000000000000000000000000002dee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"51172901628972959002902147932770162376568027517952729965778415121195943025349"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75f","0x00000000000000000000000000000000000000000000000000000000000016bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007e917","0x00000000000000000000000000000000000000000000000000000000000000ea"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042c09","0x0000000000000000000000000000000000000000000000000000000000008bdb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_approve",[{"contents":"0x1Bb038fb54BfcBFA3814cE47cA5618cBA47dCdeF","tag":"AbiAddress"},{"contents":[256,"5878623614256507594275124645717695763639139257454428158"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000550b0","0x0000000000000000000000000000000000000000000000000000000000000327"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"1528467489"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000075","0x000000000000000000000000000000000000000000000000000000000000137e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_withdraw",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005a1f4","0x0000000000000000000000000000000000000000000000000000000000001cb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000117ec","0x000000000000000000000000000000000000000000000000000000000000d6ed"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"41101175055620456812170918700927644413"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000048f83","0x0000000000000000000000000000000000000000000000000000000000000e88"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"75183962480903829829538648526833089670848771187410041043559876707010368610966"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006c01b","0x0000000000000000000000000000000000000000000000000000000000000145"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"253"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003a","0x00000000000000000000000000000000000000000000000000000000000037f7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"1527025667"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000102c","0x000000000000000000000000000000000000000000000000000000000000694b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":[256,"553"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015183","0x000000000000000000000000000000000000000000000000000000000000a71e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"1313373043"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003a","0x000000000000000000000000000000000000000000000000000000000000614b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d8fc","0x0000000000000000000000000000000000000000000000000000000000003dec"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1529375174"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000550b0","0x0000000000000000000000000000000000000000000000000000000000007d7c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0xc4B392897650c72335bA2aa590934C807F3B184a","tag":"AbiAddress"},{"contents":"0x883816205341a6ba3C32AE8dAdCEbDD9d59BC2C4","tag":"AbiAddress"},{"contents":[256,"1526813943"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000107c2","0x00000000000000000000000000000000000000000000000000000000000079e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074fb8","0x0000000000000000000000000000000000000000000000000000000000007187"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000034cd4","0x0000000000000000000000000000000000000000000000000000000000006b0d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"61051540012114065307291903450090795794562997277033168863471032472648704072109"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000038cec","0x000000000000000000000000000000000000000000000000000000000000135d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1532011652"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005408b","0x0000000000000000000000000000000000000000000000000000000000001ea9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003497b","0x000000000000000000000000000000000000000000000000000000000000b4fb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002c7e4","0x00000000000000000000000000000000000000000000000000000000000080ef"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"1533389253"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000340c6","0x0000000000000000000000000000000000000000000000000000000000009602"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"18"],"tag":"AbiUInt"},{"contents":[8,"82"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001e4fb","0x0000000000000000000000000000000000000000000000000000000000009e95"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"79855341603308405904098868762558959240366505031924605206743595081182553231825"],"tag":"AbiUInt"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062c19","0x0000000000000000000000000000000000000000000000000000000000009302"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"4800800137248290970923411307334"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005c1ba","0x00000000000000000000000000000000000000000000000000000000000012a2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000068e26","0x00000000000000000000000000000000000000000000000000000000000041ac"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"115528541860012463523180138609172271694194564597705988311484852223903803891641"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000006684","0x00000000000000000000000000000000000000000000000000000000000012b5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"33894192433838707718782711107542614021011862543086269945303648914867316060329"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007b69","0x00000000000000000000000000000000000000000000000000000000000054eb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeHooks_clamped",[{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115072599702433373999483162025772400360747965390910231852196509382312097535773"],"tag":"AbiUInt"},{"contents":[256,"115072599702433373999483162025772400360747965390910231852196509382312097535773"],"tag":"AbiUInt"},{"contents":[256,"115072599702433373999483162025772400360747965390910231852196509382312097535773"],"tag":"AbiUInt"},{"contents":[256,"115072599702433373999483162025772400360747965390910231852196509382312097535773"],"tag":"AbiUInt"},{"contents":[256,"115072599702433373999483162025772400360747965390910231852196509382312097535773"],"tag":"AbiUInt"},{"contents":[256,"115072599702433373999483162025772400360747965390910231852196509382312097535773"],"tag":"AbiUInt"},{"contents":[256,"115072599702433373999483162025772400360747965390910231852196509382312097535773"],"tag":"AbiUInt"},{"contents":[256,"115072599702433373999483162025772400360747965390910231852196509382312097535773"],"tag":"AbiUInt"},{"contents":[256,"1530927196"],"tag":"AbiUInt"},{"contents":[256,"1532865232"],"tag":"AbiUInt"},{"contents":[256,"41198842314779731169947354978624201895567482289774041685111744308620785232702"],"tag":"AbiUInt"},{"contents":[256,"5324484203693316904922236906784515860922793484677646520330051330348033087642"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639817"],"tag":"AbiUInt"},{"contents":[256,"101841437389427979755737822511079076502660029161699825951003854508223901677193"],"tag":"AbiUInt"},{"contents":[256,"1531048757"],"tag":"AbiUInt"},{"contents":[256,"712"],"tag":"AbiUInt"},{"contents":[256,"58009484847481477852129168916486578565879481559725187529212012917750434458315"],"tag":"AbiUInt"},{"contents":[256,"999999999999999999"],"tag":"AbiUInt"},{"contents":[256,"18446744073709551615"],"tag":"AbiUInt"},{"contents":[256,"1537816000"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"61667332409326137772594475871511287836210609299084795739591812573656366227782"],"tag":"AbiUInt"},{"contents":[256,"52094876847830846739239194923128392990604179146047365781822860324020530312699"],"tag":"AbiUInt"},{"contents":[256,"81949941158404019203370189784763603576494061317178564290448176485249855563001"],"tag":"AbiUInt"},{"contents":[256,"1537877337"],"tag":"AbiUInt"},{"contents":[256,"95278303066520973258395602707229859366733326724830810461307549501517131755035"],"tag":"AbiUInt"},{"contents":[256,"5"],"tag":"AbiUInt"},{"contents":[256,"3997"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"73602611528398962637126462834795698722106236211102782549766791901532685424403"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640254554447762662844404858883"],"tag":"AbiUInt"},{"contents":[256,"57896044618658097711785492504343953926851202526103111848155002437154048892767"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"86191701522778086384612415"],"tag":"AbiUInt"},{"contents":[256,"37437316763059618579696785020790808976153423550029077954670197187386775074390"],"tag":"AbiUInt"},{"contents":[256,"90060777467767837786254733418480731380872590818486291001243595573247724423204"],"tag":"AbiUInt"},{"contents":[256,"1530179131"],"tag":"AbiUInt"},{"contents":[256,"1525712133"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639038"],"tag":"AbiUInt"},{"contents":[256,"15278879044219015496127071582156067768747491504203099927884813830063222253926"],"tag":"AbiUInt"},{"contents":[256,"48066965826245582234437701190519547122"],"tag":"AbiUInt"},{"contents":[256,"67385448517047328122706082099723387767998464929315865431298069422097488773619"],"tag":"AbiUInt"},{"contents":[256,"8100885655923849359980546332421"],"tag":"AbiUInt"},{"contents":[256,"60705450230771245527242426512999499943600965373111111900177753289734330419607"],"tag":"AbiUInt"},{"contents":[256,"42404931889960994514731228871320820344756289713480792115418858053138550064843"],"tag":"AbiUInt"},{"contents":[256,"60418348848048411789135987652716125404175264791221748560457496366155579303806"],"tag":"AbiUInt"},{"contents":[256,"114521017769487739937144930005586355821401993209038065492488911133455420812923"],"tag":"AbiUInt"},{"contents":[256,"81900226531732536440239998744365549609928395265948926220531682736600837668924"],"tag":"AbiUInt"},{"contents":[256,"1529590218"],"tag":"AbiUInt"},{"contents":[256,"788"],"tag":"AbiUInt"},{"contents":[256,"2469896895757726071971097837612097989642397941265347768441014559062982845843"],"tag":"AbiUInt"},{"contents":[256,"11964008452049583840794918067866117681277379868699368424050522998835155957955"],"tag":"AbiUInt"},{"contents":[256,"860"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030338"],"tag":"AbiUInt"},{"contents":[256,"57279263342424968621980739553144223905301162809072706237470546731613486281607"],"tag":"AbiUInt"},{"contents":[256,"49702023422558689624829390487486526009764154808062997489004927069149076044444"],"tag":"AbiUInt"},{"contents":[256,"60996873192720709186130572222816525569978335376699369939062717607983710923414"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBoolType"},[{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"},{"contents":false,"tag":"AbiBool"},{"contents":true,"tag":"AbiBool"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000009c81","0x0000000000000000000000000000000000000000000000000000000000004429"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x00000000000000000000000000000000000000000000000000000000000001e3"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003a","0x0000000000000000000000000000000000000000000000000000000000000e80"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"1530179706"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003be4e","0x000000000000000000000000000000000000000000000000000000000000d93c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0xc4B392897650c72335bA2aa590934C807F3B184a","tag":"AbiAddress"},{"contents":[256,"74096556516638823054777045250169887641610240863644617185863718282390231697380"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e4cf","0x000000000000000000000000000000000000000000000000000000000000eb6b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"76934226955103272486298091272119750468490053683"],"tag":"AbiUInt"},{"contents":[256,"1534556605"],"tag":"AbiUInt"},{"contents":[256,"5004"],"tag":"AbiUInt"},{"contents":[256,"68693535356487473603937951757991801685069212870092337743529796399047889909275"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000315","0x000000000000000000000000000000000000000000000000000000000000adab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"84619570921426769282222326698225463456726465999906438248744614190024449261892"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000004a","0x000000000000000000000000000000000000000000000000000000000000006b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a0f1","0x000000000000000000000000000000000000000000000000000000000000058c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":[256,"553"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fc00","0x0000000000000000000000000000000000000000000000000000000000001371"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"43242580548620632039039733613706699909"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e3","0x0000000000000000000000000000000000000000000000000000000000001fd8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"97596562250106793974255121578794878009193821440659938655432871200766736612909"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb1","0x000000000000000000000000000000000000000000000000000000000000eb35"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"43210904238542988863328212825585812494783276832782384560965833645658264182518"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae2","0x000000000000000000000000000000000000000000000000000000000000001d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0xe1377ee1a6f3ba9c895400A5A8a937dE7A164E8e","tag":"AbiAddress"},{"contents":"\"GAAAAAAS_QUOTE\"","tag":"AbiString"},{"contents":"\"\\173\\193\\159\\155\\SO.\\167\\184\\233d\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"27"],"tag":"AbiUInt"},{"contents":[256,"50"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"233"],"tag":"AbiUInt"},{"contents":[256,"97185309081506558450635450380281519002465446532847187445628100150728700020164"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003fe7c","0x000000000000000000000000000000000000000000000000000000000000b953"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000088495","0x000000000000000000000000000000000000000000000000000000000000bcb9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003565e","0x00000000000000000000000000000000000000000000000000000000000038ee"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x10dFde0637E1daCDB06ed9B8dAa6F324Da0DF2fA","tag":"AbiAddress"},{"contents":[256,"101663910695164519662992778303134988907766774186231008795933287108651940558256"],"tag":"AbiUInt"},{"contents":[256,"22662321637765356950931512026868860770214870296620851382054705506495771444035"],"tag":"AbiUInt"},{"contents":[256,"94744375110081321603636329261799198286965942379295919418074061448535982550283"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000056cf3","0x0000000000000000000000000000000000000000000000000000000000002419"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"4549537141"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000033dd0","0x000000000000000000000000000000000000000000000000000000000000135a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"110484588148856980750315339466920011137895211721445416794817349883076806417728"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084e46","0x00000000000000000000000000000000000000000000000000000000000006bc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639433"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003cd6","0x0000000000000000000000000000000000000000000000000000000000000440"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x2aa1f1978f5d18D91eB3fc2E6975dC6E85FDefdF","tag":"AbiAddress"},{"contents":[256,"234"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd34","0x000000000000000000000000000000000000000000000000000000000000a043"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002164c","0x000000000000000000000000000000000000000000000000000000000000137d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"78019385775740508701320115033452776898278645529908910263545657344888591610380"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb04","0x0000000000000000000000000000000000000000000000000000000000000020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior5115",[{"contents":[8,"253"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000026994","0x000000000000000000000000000000000000000000000000000000000000d9d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630936"],"tag":"AbiUInt"},{"contents":"0xA444FBB2a149cE92B1F25002F0d612583A75261a","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000177","0x0000000000000000000000000000000000000000000000000000000000001272"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSourceOracle_setValidAsset_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b8b2","0x000000000000000000000000000000000000000000000000000000000000653c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault_clamped",[{"contents":[256,"81300391092168521246902519883737821204348303984330757441560823522854152292811"],"tag":"AbiUInt"},{"contents":[256,"64"],"tag":"AbiUInt"},{"contents":[256,"2985600228959689410878616972511189363179443297284915725223776286460384689523"],"tag":"AbiUInt"},{"contents":[256,"5000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000018e3d","0x0000000000000000000000000000000000000000000000000000000000001337"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006595f","0x0000000000000000000000000000000000000000000000000000000000007a3f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"69156380736185501795492252954597719402472957425605536492093972868373502583607"],"tag":"AbiUInt"},{"contents":[256,"1530355779"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001abe9","0x000000000000000000000000000000000000000000000000000000000000012b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008d5e1","0x00000000000000000000000000000000000000000000000000000000000003aa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055776","0x000000000000000000000000000000000000000000000000000000000000af1e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"1401803518573960301208767"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000054c40","0x000000000000000000000000000000000000000000000000000000000000013d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit",[{"contents":[256,"987"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae6","0x000000000000000000000000000000000000000000000000000000000000c9af"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"17874886317767154743388876379525668952388646755879016332396855040707169439457"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000385","0x000000000000000000000000000000000000000000000000000000000000dcc3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"60174978987166354576210703398227265422405210691259895268803454868687659991884"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999998"],"tag":"AbiUInt"},{"contents":[256,"1529976627"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005d9b4","0x00000000000000000000000000000000000000000000000000000000000001d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"62189240947125240258840734791214606217554197318687836558104860194759848517721"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000072c80","0x0000000000000000000000000000000000000000000000000000000000001362"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_redeem",[{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":[256,"1525512821"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008af1a","0x000000000000000000000000000000000000000000000000000000000000e046"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"27292403359205507669800027869466535107761797548876805311031103250105459895323"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1b","0x0000000000000000000000000000000000000000000000000000000000003bad"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"4966004805847994149264760459657196472798801289253136067136270149124567106089"],"tag":"AbiUInt"},{"contents":[256,"62634504653751960813567921110114091843515311356094827309352079086902338993883"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027208","0x000000000000000000000000000000000000000000000000000000000000c7f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"\"!!! prevtewDeposii returns the correct amount compared to executing a deposit\"","tag":"AbiString"},{"contents":"\"Not authorrrrrrrrrrrrrrrrrrrrrrrrrrrrrrized\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011522"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"38"],"tag":"AbiUInt"},{"contents":[256,"102519912775694418707836302324024184485382812512845931403946579584767155577173"],"tag":"AbiUInt"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042ee5","0x00000000000000000000000000000000000000000000000000000000000038e2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"7101"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000010bf0","0x0000000000000000000000000000000000000000000000000000000000008db7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075f8f","0x000000000000000000000000000000000000000000000000000000000000e109"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"44869752853661464922093656867222084260946461126257055125834344338703831887080"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005d3ab","0x0000000000000000000000000000000000000000000000000000000000004b9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"1529027319"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000056207","0x000000000000000000000000000000000000000000000000000000000000a542"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639884"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006190e","0x000000000000000000000000000000000000000000000000000000000000b78f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"2136712859071964499498007258041850874311324348594016500062459585832389774935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004384d","0x00000000000000000000000000000000000000000000000000000000000095ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e952","0x000000000000000000000000000000000000000000000000000000000000dd7d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem",[{"contents":[256,"64545347184696163442342405413510992313263802346365468504083962488163432939980"],"tag":"AbiUInt"},{"contents":"0xED1785b65896022A79B55D3EbaFD6Ab7C6560e92","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006deff","0x000000000000000000000000000000000000000000000000000000000000ca0f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"3545513413150559729593744470171284082591883787163526918214256269817548613068"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000068","0x000000000000000000000000000000000000000000000000000000000000b0ce"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x000000000000000000000000000000000000000000000001484ae384ab242375"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006aa91","0x0000000000000000000000000000000000000000000000000000000000000077"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000200","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"WK\\220i\\t\\234\\252d\\237\\241d\\DC1\\165\\193\\DEL\\195\\226\\235\\ENQu\\187\\206S\\136\\163\\&0\\246\\243\\173\\184o\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"[p\\227\\218\\232\\238\\DC4\\148q\\236\\r\\200)\\177\\233D7\\DC3\\155\\158\\239&\\150m\\\\\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233*\\129q\\250\\SIs\\183j{\\138\\DC1\\198?\\249\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\218[g\\212\\191\\SO\\247\\168\\198\\155XA\\141-\\253\\178\\136\\248\\&1*\\161j\\138\\160\\180\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\129\\150\\tN\\154Rk.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183~\\242r\\151\\215\\150\\253j\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\n\\230B\\201\\175\\196\\230\\244bj\\175\\190\\DLE\\r\\233\\153\\178\\223\\SI\\197\\205j\\202v\\176\\ETBy\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\199\\249\\183`=\\ESC*\\235\\220\\186n\\NAKP\\176%\\160!\\157\\165$\\189\\SYN\\204\\252\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\132\\170YSL\\251\\SOH\\213\\239\\212\\134\\172\\ENQB\"","tag":"AbiBytesDynamic"},{"contents":"\"lW\\157\\243\\DC1F\\193\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\246\\f4M\\215qb\\236\\167n\\246oTv7\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\233b\\216\\211\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\128TL\\239\\t\\EOT\\DEL\\201\\157\\198\\&4\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\235\\186Q-\\136\\161#\\218\\v!\\134\\143\\NUL=d}\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\178\\ESC\\EMkg\\233_`\\159\\229\\155\\ETB\\148\\200\\&8\\SYN\\NAK?\\ENQ3\\r\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\173\\182e>v\\129\\b\\207\\219\\&9$\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\v\\209\\205\\220\\201\\181\\&1\\211\\199\\144\\137e\\174Q9\\248zw\\212\\144\\153\\201\\180pi\"","tag":"AbiBytesDynamic"},{"contents":"\"{@\\228\\128\\241<\\191\\156]\\173\\250*P\\230\\US-\\236^\\n7\"","tag":"AbiBytesDynamic"},{"contents":"\"cR\\SYN\\151\\232\\254$\\194\\STX\\169\\195V\\139-W\\177\\196S\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\DC1\\SYN\\228.elv4\\DC2\\211\\194Pr\\161K\\\"\\228J\\140\\153\\129\\158\\221{r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\167\\181\\173\\166@T\\v;\\227\\nf\\164D\\209\\168\\172\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\130\\249xG!:\\SUBX\\201\\222\\171\\ESC\\249\\&7\\185\\136[\\218\\NAK\\167U\\171`\\234\\220R\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"4V\\195bf\\228\\244\\204\\183^*\\255\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"/S\\210\\198\\228\\179\\195)y`^\\166\\175\\171\\202\\&1\\234#G}\\EM,\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213\\238A\\245\\172\\180\\217)+\\164%\\236\\&8\\ACK\\243X\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218{]\\251\\245\\ETBCm\\205,{\\222Q-\\250\\144m\\173^\\129\\200)\\140a\\220\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\192*\\251\\238\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\203\\156\\239,\\f\\144\\191-\\159\\243z\\141rz\\SYN\\CAN5\\179\\165|U\\239\\251\\136\\156K\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\229\\129\\145\\189Q\\219\\205\\\\\\165\\209$\\217\\SUB\\160\\214\\143\\206\\186^\\145\\243\\254\\243\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"o\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\";\\129`\\188\\255\\&5\\173E\\216\\DC2\\196n\\254\\246\\137_\\172\\247o\\248\\201\\ENQ\\182\\146\\249\\132\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB.\\EOT\\ESC\\DC39\\193\\166u\\\"\\183\\&9\\253\\224\\163\\211\\151\\238\\DC1\\242O\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211w\\235\\224\\184\\160\\189\\247\\ETXR\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\239m\\253\\240\\201EU\\241\\208@\\232\\183\\213\\148\\170\\188\\215\\216\\NAK\\239\\161\\155D/\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\&7\\SOH\\ENQ\\133/p*\\r\\v*@\\158|\\146Mx\\190\\222~,\\150\\253\\151\\188\\217Y\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\131\\132\\DLE\\197]\\228ct\\230\\162=1\\235_\\181\\232\\136\\195\\158\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\t\\136u5\\131S)\\213y\\DC4?\\243F\\148\\186^F\\179\\225f\\210C~78\\DEL\\SYN)\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\207\\209\\157uG\\211e\\146\\&5\\v\\STXQ_\\158\\SYN\\f\\128\\247\"","tag":"AbiBytesDynamic"},{"contents":"\" \\f\\164<\\f(\\192\\145\\\"&\\192#\\255.h\\203\\156\\208\\194\\155\\230\\201]\\172\\133\\135\\&9\\\\\\247b\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\r\\213\\214;\\196i\\211\\237\\145,,\\232/\\243\\223v\\147\\130\\227\\201}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH6V\\244\\ESC\\NULPK\\191\\156\\\\\\183\\198Y\\178\\141[\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"1Z\\216\\204\\t3\\206C\\140|V^\\CAN\\212\\229-\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ae\\232\\160\\&0\\140$<R?%\\ETB\\a\\a'\\FS\\NUL>\\159d\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\231z\\161T\\202\\253\\177\\203T\\\\\\191x\\SOH\\NAK+\\195\\SYN\\175w\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\135\\157\\RS`\\251\\169\\245\\168\\136\\136\\143I\\ETX\\180\\159.\\214\\202\\a\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\151\\&2m\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"0&\\ETX4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\225\\135U\\142\\224\\213\\r\\218\\140\\ENQG\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142`\\193\\204rWZ\\187f\\161\\155\\SOH\\138\\164r\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\194(\\128\\146\\166;\\226\\ENQ\\151;\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SO\\255\\207\\194$\\130\\222(C\\244\\157\\252j\\247@\\166\\143\\210~\\142W\\DC4\\148\\134\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\145`\\230#\\RS5[\\194D\\137\\&0\\211\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189Oc05\\ACK\\129%\\168\\159\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\187\\158U\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\171\\197\\t\\162Ht\\133\\&7\\195_\\DC2\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: withdraw with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\171I\\255\\205\\&2\\141nW\\GS\\b56F\\226_l\\168\\129\\247\\204\\181,\\147k\"","tag":"AbiBytesDynamic"},{"contents":"\"shc\\162^\\240\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\ENQ\\190I;\\231\\161`\\ESC\\199\\231\\&4gav\\147\\141\\185\\180\\169\\194\\DC3\\v\\207fEw.\\186\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\250\\191\\ESC9\\171\\136\\205\\189\\208\\152\\139d\\US;\\186\\239\\182g6d(W\\216q\\194\\&0\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\239\\ESC\\154Y\\223\\SUB#\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209=\\204V\\141\\214\\217\\188\\141\\203\\218\\130e\\184Y\\234\\212\\225\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"=ji/\\156$\\178]\\177kW:\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\167\\212YSX\\151\\CAN\\\"3o\\219\\SO\\133\\136\\181\\135\\132|\\147-Cv\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190o\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\196}`\\215\\166\\254\\236\\223K\\ESCtM\\188\\250L\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\187\\SUB$1\\187\\128)\\146\\217%op|\\237ikrc?,\\NULF\\ESC_\\135\\138\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\194\\USUx&x\\232\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226\\143\\191f\\245\\ENQZ1\\239\\221-5?\\131\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237f\\210\\&0\\161\\SUB<N9X\\169\\EOT5\\174\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\202\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\174\\249oZO1\\154\\&6E\\254\\r\\143\\255\\&5\\199\\231\\219\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\167\\\"%\\ACK\\NUL\\233\\192\\151\\SOH\\183\\194\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\STX\\241\\253\\EM\\249\\201t\\131b\\188\\DC4\\202?\\177o\\148\\240\\225\\239\\254\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\&0I\\EM\\141[5\\134\\r\\229\\212*e\\201\\129\\253\\160s\\171\\151k8\\DC3e%\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\217\\DC3\\214\\146\\161\\136\\241\\234\\214\\CAN3\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\",\\205\\184\\189\\238\\NAK\\US\\145y\\140\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161(~\\CANT}\\\"\\180&\\191JQ}\\DC4J\\171\\131\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\159y\\NUL\\208\\189-\\165-\\128\\246j\\151*\\GS\\212c\\t@H\\135\\179\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229I\\185X\\NUL\\n6Mk\\205\\138\\199\\137\\&7\\162Nfy\\ETX\\230\\161\\177\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\226\\NAK~Z\\200>\\249\\245\\167\\177\\224\\152\\189\\188\\133\\234,\\234\\181\\173\\219S/\"","tag":"AbiBytesDynamic"},{"contents":"\"^\\234\\147\\&2\\137\\214;\\248\\228c\\241\\168s\\187\\SYN\\136\\ENQ\\157\\148i\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\145\\182L_Y\\139R\\199\\t\\\"\\142\\EM\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\209\\216B@\\227\\247\\DC4\\134\\US@\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178;\\EM\\178\\143\\178\\156\\SO\\SYN\\213\\158o\\166\\US\\189\\184\\DC3\\245\\178\\252\\NULI\\181r\\GS\\250\\193\\218\\156\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\217\\171\\191\\RSG\\171s\\212Rx\\148\\CAN\\217\\186\\131\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\f\\GS\\a\\ENQTn\\201\\158\\&87X]$\\241\\216\\253`'\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\148\\DC1\\168\\244\\218Dn6\\196?\\ACK\\155~.)%\\189\\169,\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\222e=\\246\\144\\205\\NUL\\242\\242\\162#\\208\\134\\201\\225\\192\\150-\\228\\FSAI\\180Nq\\193\\227\\&3\\bW/\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"vg\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"B(\\179\\NAKXz\\195\\&4\\203C\\158/\\FS\\SYN\\ENQ>Rs\\SIs&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211c\\131\\234\\&9v\\SIB#\\243\\148\\150\\150\\EOT\\CAN\\184\\219Z\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\134\\141\\210\\152r\\bS\\165\\136\\191\\205\\186\\241\\151\\166\\154 :\\152\\CAN.\\234F\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\181\\167ouL\\171]8S\\197\\239\\135\\&3\\223\\191\\192\\193\\141e\\131\\160\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"`C\\167\\142l@\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\198\\148'\\130\\170k\\231O'C\\242\\150\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139<*;\\142\\STX\\FS\\216\\193\\231\\EOT\\213\\224*\\231\\154\\191\\177\\247c/\\ETB\\189\\FS\\237\\169\\STX\\US\\165\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\202]\\141}]\\152\\t\\171\\216\\ESC \\183\\n7!i\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159kz\\141\\215\\253M;HD\\151\\150\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181>\\209\\255\\ETB\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\207\\209\\237$\\170\\GS|\\226\\243\\&2x\\DLEm7\\212<\\158\\248y;Q\\157>\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136Q`\\165.\\204\\158\\rgRC\\131Jgb\\177\\208\\255\\FS\\221\\GSX\\SIp\\129\\&7]\\247\\139\\243\\172?\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\149\\134\\236B\\148h\\203\\226ag\\186\\253\\STX\\tp\\166\\USy\\213@\\198\\213~\\rC\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\b\\156\\185>X\\ENQa<=f\\230O\\128\\213TP\\249\\251\\CAN\\222\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\249\\237\\220\\202,\\199\\221\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\bM\\172\\208\\139\\f0R\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\138\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUBe_\\157Y\\168\\214\\f\\ESCs\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\211\\&3\\207\\211*\\153\\128L\\EMo|\\153\\149\\149\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\255\\218\\197\\146\\169\\SOH\\159$c\\242\\201\\DC2v\\232y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FSt\\176?\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"6G3\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\179f\\165\\SUB,\\EOT\\235\\162\\f\\t\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\186#awo\\181\\182\\131\\&2\\GS\\v\\175\\&3\\222*\\174J\\fL\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1\\184\\DC1\\170.\\164\\DC3\\167\\157\\222\\t+\\192e\\224M\\181\\245%H2x\\201\\\"@\\bE\\237\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\213e\\211\\151e\\199\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\185\\162\\205G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\187z.>@\\225\\141u\\133\\230\\234\\236\\154j\\SYNn\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"l\\SIa\\237\\136\\183\\&2\\SOH\\204nS\\ETX\\136\\243\\244\\155;\\159*\\214P>C\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\DC3`\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\128\\GS\\\\\\SYN\\197\\246\\225\\253\\154 $\\187b\\251\\146A?\\206\\&9\\188\\217\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\137\\193.m\\138\\FS|%\\SI`\\226\\166\\&632\\159YO\\144\\EOT,\\224\\US\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\184\\212\\240\\178w\\232\\225Y\\237\\246\\135<\\168x\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\SYN\\SOH{7AS\\aW\\225\\STX\\234\\167\\&8\\195(\\241Qa\\ENQI\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\159JF\\t;\\167rr\\238\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"14\\142\\DC2\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173d\\149GQ\\ETX`^\\227\\143\\156\\251\\145?\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"CV\\173x\\221i+\\\"E\\ESCS\\SO\\198:\\178\\217\\210\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"g\\DC2v\\170\\210gh\\253\\&5mv\\SOS\\\\\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\230\\178D|<\\138\\162h0>\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\160`\\DC1\\152\\216!$\\NUL\\176\\180\\153aB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165YI\\149\\134;\\152\\DC26\\232\\237\\133\\176U\\198\\172\\134\\SUBN*Wg\\RS\\141\\154\\255p5\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232C)\\244q\\249P\\145,\\SI\\208\\222e\\t\\226 1\\219\\139\\SO\\132\\NUL+\\206Z\\212de\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146z\\222_\\SUBQ\\160\\STX)\\208r\\135\\166\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL_\\SIn\\246\\212w!\\250\\168\\&21\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\178/O\\v\\182i\\219'\\180\\207\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\NUL\\209$\\134\\218\\226\\231\\222\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOJc\\EMv\\181\\167\\173\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\175BO\\191\\224t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b\\RSC~\\244G_dJ\\253\\DC4O\\245!\\156~\\213\\232\\131\\215\\&9P\\238\\238\\ETX\\218\\243\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\165\\210\\180\\186\\164\\ENQ\\137xd\\204\\223P\\254pz\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\139D@J\\220y>\\224$/N\\168/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\170\\135\\176\\224\\185\\193\\DC3\\230\\237\\214o\\DC3\\SUB(\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174Z\\166Vi,\\143e\\216\\162\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\156W\\244)\\135\\236\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\186u\\224\\236\\CAN\\174\\234\\\"r\\215\\219\\164\\208-\\\"\\253\\128{\\151!\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\207\\205\\182\\221\\b{-\\208s\\193\\STX=\\223\\237\\\"eDx\\RS\\FSKj\\187\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"D+a\\EOT\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\164\\189\\&5(\\161J\\139)\\244\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\f\\203\\132\\223\\211\\168c[0\\194*\\DC4\\184\\188\\193\\RS\\222\\244\\190\\205B\\SI\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\149\\SI\\CAN\\239\\DLE\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\181\\183\\236\\129\\239F\\182\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\235d\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208R:\\172b6\\163x\\205\\191\\&3\\159OaR.< \\DEL0y$\\ACK\\DC2\\217\\188\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\134ed\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\149\\159y\\175\\147\\253\\132\\FS\\254\\153* \\b\\170\\173p\\188,\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT\\132\\218\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQg\\238\\188_U\\b\\216\\157)\\232\\\"(bY\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"A normal Revert\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"<,}\\176\\247\\145\\199\\216\\151\\189\\169\\143\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\SO\\218\\223\\174w\\167mXp\\GS\\210##\\211\\194\\163\\168\\135)\\251\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\204\\177\\190c\\135`<\\172!\\193/==\\202b \\193\\199\\156\\FS~\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_SIGNER\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\244\\244\\185\\DLE2\\129\\199\\186'\\235\\180\\247\\198\\229\\196\\220\\GS\\SO\\224\\255\\208\\216\\&2\\132Q\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\US\\161\\208\\t\\USg\\205\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\159\\241\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\145\\ESCL\\166\\249)\\212\\217\\153\\163\\DC46\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\219\\139p\\168D\\188\\230\\DC2A\\191\\137\\238\\137\\148\\244\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132q\\213\\249\\&6\\DC4u\\245\\142\\169~D\\132W\\130\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133G\\DC3\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\181@\\fe\\\\\\190\\246-u\\230C\\DC4]/Op\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\";\\211\\189_\\184\\131\\202\\250\\v\\224\\192V\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\163\\FS\\132\\131h&\\247;\\DC1!\\aJ\\156\\ETB\\194\\198\\201B4\\v,N\\164\\144{\\225\\220<\\230\\at\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197U@\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"%6y\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\NUL\\CAN\\\"w\\141\\184\\200+\\203\\216\\172\\210\\217zr\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\\\0%\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\234(c\\213m\\235\\NAK2c(\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\198\\237\\170rv\\201\\229k\\ESCc\\200\\245\\228\\&1\\238\\225I\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196^\\SO\\238\\157\\168\\ETX\\DC4\\233\\224=h\\140\\167\\179\\&7\\f\\DLE?\\200\\235|s6\\157S\\169S;\\203\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\ESC\\150\\227K\\198\\&5Hu\\156*L@\\210\\140#A\\216\\206?\\ETX\\195v:\\EOT\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\NUL\\133\\139\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155[EKy\\SIe\\254\\&9Z\\181\\129^C\\197el\\159\\128<\\158\\DEL\\180\\247\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\",\\216\\ENQ\\135\\&9\\154w\\170\\221\\DLED\\148\\148\\199\\232\\146\\252\\202\\214\\245\\202\\ACK\\130\\175\\192\\170\\136N\\211\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"|.\\176\\&4\\185Z\\173\\246\\168M\\218\\156\\&4\\189\\158\\177\\210G\\DLE}@\\164\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\212m\\198\\180\\ENQfGQ}\\167\\222U\\191\\FSR9\\238\\252\\&2\\225\\186\\250a\\130+\\146\\150\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\225\\174\\229l\\210\\174\\222\\SOH\\159&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\176\\SI%\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198s\\161n\\170\\SOH\\128\\249T\\218z\\176\\194(\\193\\148ZVZH\\v\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150\\DC1\\158\\DLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"}\\141HS\\245\\218\\DLE\\168\\DC1\\226fL~\\206\\229U\\225\\ENQ\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\192\\253\\&4tn\\143\\175I\\186\\168\\225G\\218I\\NUL\\242\\v%\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158w\\162\\190\\248I\\128\\132\\&3G\\233\\175L\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\205F\\138\\168\\213\\191\\158S\\192<\\224\\235P\\140_Md\\DC1T\\137\\ESC\\208\\242\\216\\228<\\241d5\\159\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\241\\252\\NAK\\229(WT\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\169\\168\\141\\154.\\159b\\237\\223\\ENQ)\\157\\131M\\197\\196D@\\252rD\\181|a\\152m\\130\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\252^\\156BX\\133\\DEL\\158N\\SYN|sm\\225`0]\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"`\\170\\235\\169\\204-B\\253`\\139\\166\\166\\148\\174\\162\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\ETX\\149@ \\208\\205A\\214\\174]|\\218\\179\\245m\\237\\&0\\USS1\\153<b\\148\\236\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\&6\\238\\128\\154P\\248\\ENQ\\178\\135\\146\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\207,\\t\\155\\142\\GS\\134:\\224\\192\\142\\RS\\249\\&7\\228\\149\\145o\\a \\128\\191\\b\\233\\176,)`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\169.\\\\\\195\\ESC\\153\\&7\\EOT\\b\\SI'h\\143\\154P#N\\169&\\194\\220\\174\\194\\151\\185\\244\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"rA\\134\\141\\\"\\DC2Oe\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\146\\198\\&1\\135\\SI\\198]\\244\\194B\\201\\249\\&6x\\225\\US\\222\\228\\159i\\143\\157\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132M\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\238\\218\\222\\211=\\SUB#\\158X5\\152%\\187\\172u\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\133\\225\\177\\232|\\152k\\212\\152\\b\\160\\SOHlB\\201\\199\\232\\DC3+!\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB\\223\\247\\NUL7\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\153\\161\\134\\229\\179\\ETXU6\\185\\&4Ta\\160\\243\\NUL\\235\\134\\253\\208j\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\ETB\\f&\\DC1\\141\\255p\\211\\207\\176G\\205\\245T\\226\\186\\172qPq\\209\\183\\SI\\139\\244\\174\\251`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150@\\140U\\217\\132DK9C\\190f\\192\\183\\SIJ\\v\\151,~]\\234\\209\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"J\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"qK\\ETXXK\\224AT\\156l\\252\\&2\\ETB\\189\\&4u/\\169-5\\226x\\128C7$\\131\\219,&\\195n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\142\\215\\131\\190\\221\\200\\DC3\\SUBa\\141\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"x\\223/\\164%\\DC2\\159\\US\\CAN\\204\\245\\197\\r\\185\\252a3\\243'S`\\151\\178PuB\\142/\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\139\\US\\217\\129\\231\\176\\US\\142)\\254\\183\\152\\195\\NAK^F\\NUL\\152\\&2\\213\\251\\161\\223\\166\\EMB\\234\\176\\SO\\213\\245\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\STX\\133\\DEL\\SYNP\\ac\\240\\237\\236v\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202^\\FSmv\\143=\\129f\\198u%9\\213\\177:ZE\\151\\163z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\ENQ\\133!M\\132v\\a{\\238DH\\DC4\\\"R\\140\\147\\132\\227=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\169\\DC1\\218\\174~\\207\\251\\192&\\168O~\\201\\171>\\189?\\231\\144\\191\\151~\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3{\\197~4\\185/1\\\\\\234)\\133Std\\132\\191\\255\\230\\255H\\207\\148-C\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\157\\185\\197\\DC1\\\"\\218\\237;YoH\\211\\229\\173\\180\\199\\142\\218\\193x\\145\\167~\\132t\\EOT\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\213X\\232c,~\\SO\\134\\186\\SO\\168\\207h\\217\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"lt\\209\\GS\\243U\\255\\138\\190\\173\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\191\\190\\234\\142\\239\\204*\\165\\247T\\214g\\147\\181\\223\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETBm\\DC2\\163\\142\\170\\&9\\\"\\\"+0Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159V\\f\\178Y\\DC2\\130\\225,?pgo\\132\\168\\251m^\\ETB\\DEL\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"~Uq\\213\\&1\\233\\168o\\SYN\\131Ul)\\225\\224A\\SUBK\\226YU\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\\189\\137\\DELU\\181=\\220\\183\\SYN\\247H_\\196\\141\\202d\\167\\193\\RS\\156\\171{\\145C*\\fGw\\\"\\239Y\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\237\\253D\\165|\\140\\163\\150_#9$\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\140\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SIr1}6\\163I#\\t\\206e\\128\\DC4\\161\\&8oG\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239A\\ESC\\139\\140O\\148\\241\\200d\\129\\246#db\\128-\\248K\\140\\170G\\220\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\200\\128=\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157X\\195\\157\\135\\238\\245^8}\\190\\175/u\\220\\189\\230\\a\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162b\\192F}\\vx,\\131\\138\\213\\US\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\248\\169h\\194Q\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"G$0\\248S\\224L\\252\\136\\&7\\152\\205\\FSw\\193\\196\\250|\\US\\ENQ\\ESCUn[\\181Tv\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"wN\\151I\\201\\151\\NAK\\188\\178\\EM9\\193\\ESC1\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\210>\\t\\237\\250\\NAK\\185\\241I\\143\\166\\145\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"ES0\\RS\\164\\145\\170Q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\248\\STX\\216\\146\\DEL>\\RS\\ETX5\\222\\150\\139\\SOHl\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"83540062832234860812066558225802058513395057328064688221536312144606871067452"],"tag":"AbiUInt"},{"contents":[256,"41122270706660884844006095148289027056451260817929789125911055959850609388607"],"tag":"AbiUInt"},{"contents":[256,"80542320939145265861778500680350535095569438666807545086229018343408794800220"],"tag":"AbiUInt"},{"contents":[256,"761"],"tag":"AbiUInt"},{"contents":[256,"94179312892796496895379594907209249808446187537371916133786109065172603756739"],"tag":"AbiUInt"},{"contents":[256,"82559204056103687514946279419962594692961625487891914087022747724957938182507"],"tag":"AbiUInt"},{"contents":[256,"9014752764371237029704001604047766133455450204519894"],"tag":"AbiUInt"},{"contents":[256,"92287800031467397637863348"],"tag":"AbiUInt"},{"contents":[256,"1532178480"],"tag":"AbiUInt"},{"contents":[256,"62542376538626821910540123430855591536510242590159805302406919535594506874522"],"tag":"AbiUInt"},{"contents":[256,"1533096088"],"tag":"AbiUInt"},{"contents":[256,"1528424485"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"16768479609677650745398689272235446962256206037793944969684672264785059529738"],"tag":"AbiUInt"},{"contents":[256,"17755809386848091528028718589375683424859215464812840040122847705805905856375"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030333"],"tag":"AbiUInt"},{"contents":[256,"1530250709"],"tag":"AbiUInt"},{"contents":[256,"1530792279"],"tag":"AbiUInt"},{"contents":[256,"61612443329386144597870327954"],"tag":"AbiUInt"},{"contents":[256,"1529145590"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000002"],"tag":"AbiUInt"},{"contents":[256,"63492085735211383573982251290114230400184928436850083512767746229508420846702"],"tag":"AbiUInt"},{"contents":[256,"9530408595311628059280612363881376014391742212436951789227931338707285326042"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"110258510610848128049690149856599129951377042479593730055512380260576116649670"],"tag":"AbiUInt"},{"contents":[256,"1"],"tag":"AbiUInt"},{"contents":[256,"262"],"tag":"AbiUInt"},{"contents":[256,"262"],"tag":"AbiUInt"},{"contents":[256,"262"],"tag":"AbiUInt"},{"contents":[256,"262"],"tag":"AbiUInt"},{"contents":[256,"262"],"tag":"AbiUInt"},{"contents":[256,"262"],"tag":"AbiUInt"},{"contents":[256,"262"],"tag":"AbiUInt"},{"contents":[256,"262"],"tag":"AbiUInt"},{"contents":[256,"262"],"tag":"AbiUInt"},{"contents":[256,"72995163923440867114180465566520784458250559625672550312248596383508414"],"tag":"AbiUInt"},{"contents":[256,"1527425733"],"tag":"AbiUInt"},{"contents":[256,"1534900417"],"tag":"AbiUInt"},{"contents":[256,"27540552042831842546794865348442068898364082945488920214140032376948686257870"],"tag":"AbiUInt"},{"contents":[256,"1529304459"],"tag":"AbiUInt"},{"contents":[256,"1533691679"],"tag":"AbiUInt"},{"contents":[256,"60968753712869502662950269564737066720"],"tag":"AbiUInt"},{"contents":[256,"71072205560123299588506566043907122949176473434912791029971550621117111404754"],"tag":"AbiUInt"},{"contents":[256,"21052806772166655842436938020218569564716053225978031339139597502093396613034"],"tag":"AbiUInt"},{"contents":[256,"39672854489245872877992801942864415046424804188"],"tag":"AbiUInt"},{"contents":[256,"59585487900270420231653237824040965720237110177386202378703582600477089251716"],"tag":"AbiUInt"},{"contents":[256,"85289830454697099301014130630041612723312321556917036263354182548633673239258"],"tag":"AbiUInt"},{"contents":[256,"7689696084430253984542254435607387771618758012574912750762056654271398346984"],"tag":"AbiUInt"},{"contents":[256,"187"],"tag":"AbiUInt"},{"contents":[256,"46469211714373652933540372318939681639508812028325798381050825846666945697854"],"tag":"AbiUInt"},{"contents":[256,"28155600845326481267372156676992891480742285378996843682910729856088203744298"],"tag":"AbiUInt"},{"contents":[256,"46787892064423213101931591851826263249958122152678436137370919573320553739046"],"tag":"AbiUInt"},{"contents":[256,"95"],"tag":"AbiUInt"},{"contents":[256,"1528756283"],"tag":"AbiUInt"},{"contents":[256,"105380806845756837355935079224515461522415188173453277657221221129079882205676"],"tag":"AbiUInt"},{"contents":[256,"56653279486233554839152386469976129746099806933257548951579132650796492240990"],"tag":"AbiUInt"},{"contents":[256,"47644822596152146847676249590866040521953107786801447901341743750439449215434"],"tag":"AbiUInt"},{"contents":[256,"50210772363500317142250520459553943777013354318964798104418938599558621952008"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"101036571091877199337994957736341069856688178897152772357654130989102217737198"],"tag":"AbiUInt"},{"contents":[256,"36214766609619506746171437643069252511253339203372699702722764946882494819747"],"tag":"AbiUInt"},{"contents":[256,"115325261926379050553365070637322634450205076670808820295268937832691278266831"],"tag":"AbiUInt"},{"contents":[256,"86490800447084109601792693309438327627123599041877617764539808271649532293562"],"tag":"AbiUInt"},{"contents":[256,"918"],"tag":"AbiUInt"},{"contents":[256,"111534173871195630268603402008667611374274973508125151718454983142509483518095"],"tag":"AbiUInt"},{"contents":[256,"103273887543664614193631299064969002623051614225102338510159501455450468595853"],"tag":"AbiUInt"},{"contents":[256,"90758513700796454587510167912459234728632418914083911328262358364547929856311"],"tag":"AbiUInt"},{"contents":[256,"56"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"562"],"tag":"AbiUInt"},{"contents":[256,"5004"],"tag":"AbiUInt"},{"contents":[256,"960"],"tag":"AbiUInt"},{"contents":[256,"17047652705885928212870419281024307179165175733839715925120439558672388512921"],"tag":"AbiUInt"},{"contents":[256,"82688523325589828954674892313838146483022091943197731710471430079586992336003"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000073e73","0x0000000000000000000000000000000000000000000000000000000000007aca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"23990333181368176866337052161677169446384712394108321918689211004899118463045"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002a2e","0x000000000000000000000000000000000000000000000000000000000000a0af"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e7c5","0x000000000000000000000000000000000000000000000000000000000000037c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"194350525715637309144515101333289799759"],"tag":"AbiUInt"},{"contents":[256,"41533632027509557179771841835671581763728440218800503754356520471316865396243"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000006cab","0x0000000000000000000000000000000000000000000000000000000000007117"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"314821079758051224365244158833668171573"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000068146","0x00000000000000000000000000000000000000000000000000000000000001b7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"197"],"tag":"AbiUInt"},{"contents":[256,"52636478818151311096137706369082219421110444065998422005366261952946731643021"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000837d5","0x00000000000000000000000000000000000000000000000000000000000085bd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006bd9c","0x0000000000000000000000000000000000000000000000000000000000005942"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x1C310426202C49BD70225A9A660dA6019422FFcA","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[8,"25"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580af","0x00000000000000000000000000000000000000000000000000000000000079a3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"119"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"1529100380"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006653b","0x000000000000000000000000000000000000000000000000000000000000b279"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"14091471"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e72f","0x0000000000000000000000000000000000000000000000000000000000007660"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000106","0x000000000000000000000000000000000000000000000000000000000000e346"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637938"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003a3c8","0x0000000000000000000000000000000000000000000000000000000000001277"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"14438062750793463014489287054296872679479579130605755246136797439675647491282"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000088495","0x0000000000000000000000000000000000000000000000000000000000002b69"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000088","0x0000000000000000000000000000000000000000000000000000000000000c98"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_depositStake",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"37388531833648061036940476552802512944062868511617503103204570162428798107883"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000270d","0x00000000000000000000000000000000000000000000000000000000000095ef"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007d9ba","0x0000000000000000000000000000000000000000000000000000000000001e1d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"4411752311731541260593536690307841107134562127296450515994762178071510312328"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ff02","0x000000000000000000000000000000000000000000000000000000000000b6ca"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]