[{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"15487738032794735382498563883783777707128933615487824681683033947446178450191"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052be8","0x0000000000000000000000000000000000000000000000000000000000001394"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestDeposit",[{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609598"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x89CA9F4f77B267778EB2eA0Ba1bEAdEe8523af36","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac7","0x000000000000000000000000000000000000000000000000000000000000755a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003e","0x0000000000000000000000000000000000000000000000000000000000000065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"3948276717175676084004076041534912702494222722603896847770592504806172764411"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb09","0x0000000000000000000000000000000000000000000000000000000000001368"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"\"sancelRedeem should never alter the cupply of SuperVault tokens\"","tag":"AbiString"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiString"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"115642812978316605874222005219266583130869632508722369085004899683387780152064"],"tag":"AbiUInt"},{"contents":[256,"2437362739"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"27158282061877436455685004109267854246227986561505414656226755726366454202468"],"tag":"AbiUInt"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000003","0x0000000000000000000000000000000000000000000000000000000000001385"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb1","0x0000000000000000000000000000000000000000000000000000000000007660"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639881"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e6","0x0000000000000000000000000000000000000000000000000000000000000007"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"13203654804127127538599810890961813325067145866152096785612862481775366981461"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001f113","0x0000000000000000000000000000000000000000000000000000000000001340"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"109371931492829964113736878832568247729612400209648710952014153732232169477363"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000080772","0x0000000000000000000000000000000000000000000000000000000000005c65"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000003d","0x0000000000000000000000000000000000000000000000000000000000000030"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639843"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c4f1","0x0000000000000000000000000000000000000000000000000000000000007116"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",[{"contents":[256,"6449341234494124197946904885841390425134638035174163954320510769563350409965"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005caa0","0x000000000000000000000000000000000000000000000000000000000000ca0c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa0","0x0000000000000000000000000000000000000000000000000000000000000046"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeAddIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb03","0x0000000000000000000000000000000000000000000000000000000000007e50"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"57228170481137288521770268937761427512961820891543926570558792702372415037457"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000011d4f","0x0000000000000000000000000000000000000000000000000000000000000031"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0xe54a55121A47451c5727ADBAF9b9FC1643477e25","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa1","0x0000000000000000000000000000000000000000000000000000000000000019"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC5115YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae5","0x0000000000000000000000000000000000000000000000000000000000000032"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000020000","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":"0xc7183455a4C133Ae270771860664b6B7ec320bB1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000100","tag":"AbiAddress"},{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec5","0x0000000000000000000000000000000000000000000000000000000000007116"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a51a","0x000000000000000000000000000000000000000000000000000000000000816a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":[256,"69577054116744478977842390812018902800777467052463821775392358220362043248980"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6f","0x0000000000000000000000000000000000000000000000000000000000001c9d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":[256,"5000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000129","0x000000000000000000000000000000000000000000000000000000000000137e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"83899043181437359537491934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001d32c","0x0000000000000000000000000000000000000000000000000000000000001351"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb44","0x0000000000000000000000000000000000000000000000000000000000001358"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"10974784893865105959537737665190167633600387249933756333099277107638576959970"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b504","0x0000000000000000000000000000000000000000000000000000000000000003"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012d","0x0000000000000000000000000000000000000000000000000000000000001274"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000063","0x000000000000000000000000000000000000000000000000000000000000c061"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000022cc1","0x0000000000000000000000000000000000000000000000000000000000009203"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"145969119170376906129151661419"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e4","0x0000000000000000000000000000000000000000000000000000000000001384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",[{"contents":[256,"27759525297854786540814390594464532909979480903419614899846611670355400845168"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0e9","0x000000000000000000000000000000000000000000000000000000000000135b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["_fulfillRedeemRequestsArgs",[{"contents":[256,"14221661500380567459243481063117916935888071248856322726440025465548643093104"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003b59a","0x0000000000000000000000000000000000000000000000000000000000002591"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"10325987748642882964246252457692429394861544339180574208279752673239716195684"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ec9","0x0000000000000000000000000000000000000000000000000000000000000380"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000077","0x0000000000000000000000000000000000000000000000000000000000006deb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageEmergencyWithdraw",[{"contents":[8,"94"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"9665447087092277976057172227556735093484769925890124052161533717320260718730"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000079","0x00000000000000000000000000000000000000000000000000000000000094d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeRemoveIncentiveTokens",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427a","0x000000000000000000000000000000000000000000000000000000000000101e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxDepositZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac1","0x000000000000000000000000000000000000000000000000000000000000134b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_requestRedeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629937"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003256a","0x0000000000000000000000000000000000000000000000000000000000008192"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135a9","0x000000000000000000000000000000000000000000000000000000000000ec36"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2a","0x0000000000000000000000000000000000000000000000000000000000007e49"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_mint",[{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":[256,"103535909326867441011751340011829102630807402727868017108368672251874628247917"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae4","0x00000000000000000000000000000000000000000000000000000000000007d1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065373","0x0000000000000000000000000000000000000000000000000000000000000384"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0ec","0x0000000000000000000000000000000000000000000000000000000000000006"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"67660148881218629081126162616576464307291623628331146087885256340809115434454"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb31","0x0000000000000000000000000000000000000000000000000000000000001335"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae9","0x000000000000000000000000000000000000000000000000000000000000653c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e6","0x0000000000000000000000000000000000000000000000000000000000009aa4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switchActor",[{"contents":[256,"106"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000028928","0x0000000000000000000000000000000000000000000000000000000000008191"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2a","0x0000000000000000000000000000000000000000000000000000000000001341"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"23410080508254597928457158094079560709084407609029504772775201964100403792593"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007cf4e","0x0000000000000000000000000000000000000000000000000000000000007117"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"40583331397672994679841822602065879234851784919285979810105590060922816750016"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222592"],"tag":"AbiUInt"},{"contents":[256,"101441407873470681278966130718002526745773194963308442178067866114866553835203"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"21959135828115159745970944391001588402524016046169216021801306256679878989251"],"tag":"AbiUInt"},{"contents":[256,"97283871536403501082000150567455850771538483397732079818493902945105126019906"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000045","0x0000000000000000000000000000000000000000000000000000000000000020"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"89124670758677325514527421228903466202318041230973141077581811801358587041416"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb3a","0x000000000000000000000000000000000000000000000000000000000000134a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawStake",[{"contents":[256,"51341396065328206787610098109"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5d","0x0000000000000000000000000000000000000000000000000000000000009206"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"94782032933031340657968132617580674305445409952523451782349407439595439884709"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e705","0x000000000000000000000000000000000000000000000000000000000000012c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2d","0x0000000000000000000000000000000000000000000000000000000000005bf5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001e","0x000000000000000000000000000000000000000000000000000000000000d13a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba7","0x000000000000000000000000000000000000000000000000000000000000711b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"76362127019779369369154904855326397899305823617964081519799691659383026718503"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015181","0x0000000000000000000000000000000000000000000000000000000000008194"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_vault",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c247","0x000000000000000000000000000000000000000000000000000000000000acc1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055776","0x000000000000000000000000000000000000000000000000000000000000139c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004c81f","0x0000000000000000000000000000000000000000000000000000000000007630"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\235S\\181\\177\\200\\154\\170\\132\\148O)\\n\\RSR\\ETB0\\148*\\191\\&7\\234\\138Y\\242\\143\\185\\128\\240\\221\\146K\\DC2\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000383","0x0000000000000000000000000000000000000000000000000000000000000101"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transferFrom",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":[256,"78"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000856f2","0x000000000000000000000000000000000000000000000000000000000000012b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129553533"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001f","0x0000000000000000000000000000000000000000000000000000000000001318"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639901"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eacd","0x000000000000000000000000000000000000000000000000000000000000134b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x756e0562323ADcDA4430d6cb456d9151f605290B","tag":"AbiAddress"},{"contents":"0x2e234DAe75C793f67A35089C9d99245E1C58470b","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x71Dc6Ab31DF856f599685c90c3e641cCE92b3957","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"161"],"tag":"AbiUInt"},{"contents":[8,"41"],"tag":"AbiUInt"},{"contents":[8,"75"],"tag":"AbiUInt"},{"contents":[8,"143"],"tag":"AbiUInt"},{"contents":[8,"31"],"tag":"AbiUInt"},{"contents":[8,"231"],"tag":"AbiUInt"},{"contents":[8,"55"],"tag":"AbiUInt"},{"contents":[8,"9"],"tag":"AbiUInt"},{"contents":[8,"42"],"tag":"AbiUInt"},{"contents":[8,"95"],"tag":"AbiUInt"},{"contents":[8,"97"],"tag":"AbiUInt"},{"contents":[8,"47"],"tag":"AbiUInt"},{"contents":[8,"61"],"tag":"AbiUInt"},{"contents":[8,"80"],"tag":"AbiUInt"},{"contents":[8,"226"],"tag":"AbiUInt"},{"contents":[8,"4"],"tag":"AbiUInt"},{"contents":[8,"14"],"tag":"AbiUInt"},{"contents":[8,"123"],"tag":"AbiUInt"},{"contents":[8,"104"],"tag":"AbiUInt"},{"contents":[8,"139"],"tag":"AbiUInt"},{"contents":[8,"254"],"tag":"AbiUInt"},{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":[8,"78"],"tag":"AbiUInt"},{"contents":[8,"232"],"tag":"AbiUInt"},{"contents":[8,"7"],"tag":"AbiUInt"},{"contents":[8,"65"],"tag":"AbiUInt"},{"contents":[8,"134"],"tag":"AbiUInt"},{"contents":[8,"55"],"tag":"AbiUInt"},{"contents":[8,"37"],"tag":"AbiUInt"},{"contents":[8,"174"],"tag":"AbiUInt"},{"contents":[8,"101"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000015180","0x0000000000000000000000000000000000000000000000000000000000001392"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"48"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5b","0x0000000000000000000000000000000000000000000000000000000000000bcd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"19697039663369859914067823734155388817902095852475621650513073766976785537099"],"tag":"AbiUInt"},{"contents":[256,"4264245180762101436504"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1a","0x000000000000000000000000000000000000000000000000000000000000a296"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae7","0x0000000000000000000000000000000000000000000000000000000000001337"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030336"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e0e","0x0000000000000000000000000000000000000000000000000000000000006a2a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"41752317733196160030537607059524305806348942236988030932976558073239295125403"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875df","0x0000000000000000000000000000000000000000000000000000000000006274"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000076ea6","0x0000000000000000000000000000000000000000000000000000000000006a01"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["assert_canary_ASSERTION_CANARY",[{"contents":[256,"11243725424000642430169468043186840036882460575436644055689559279748270164618"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052400","0x0000000000000000000000000000000000000000000000000000000000005ef7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\221\\223\\240co\\132%\\144\\246\\234\\155\\155\\NAK\\DC3o\\206\\179C)>\\171\\NUL\\220\\222\\214\\SUB\\RS75\\195\\182\\133\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000007fff","0x0000000000000000000000000000000000000000000000000000000000002321"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e1","0x0000000000000000000000000000000000000000000000000000000000000017"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"1000000000000000000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000ff","0x00000000000000000000000000000000000000000000000000000000000007d2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e0","0x0000000000000000000000000000000000000000000000000000000000008980"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"100000000000000000000000000"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000329b9","0x000000000000000000000000000000000000000000000000000000000000ea4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000092e21","0x0000000000000000000000000000000000000000000000000000000000002609"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot",[{"contents":[32,"\"o,\\FS\\221)`\\165j\\250\\&1\\154)vl8\\CAN\\141\\213\\STXl\\b\\132-\\167\\154\\226o\\247Hs\\ACK \""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea46","0x00000000000000000000000000000000000000000000000000000000000036e8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x96d3F6c20EEd2697647F543fE6C08bC2Fbf39758","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\244\\143\\232tb\\DC4o\\220\\179zhvpkT\\244=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245:\\192\\162\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"G5\\NULC!\\ETB$\\198a\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\240VU]f\\147\\154ET \\251@\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\190I\\US\\133f\\DEL\\SYN\\\"\\251\\180\\233\\234\\210\\ETX\\176\\&6<\"","tag":"AbiBytesDynamic"},{"contents":"\"P}\\234U\\139\\147_\\174\\136\\213b\\SO\\221\\165\\196\\189\\236\\243r\\US\\164\\213\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\186b\\248bx_\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\234m\\148\\245i\\184\\141\\145<\\162\\227U@\\130\\186\\136\\&7\\DC2\\143\\237\\159q<Q\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\250P\\EMO\\150\\RS8\"","tag":"AbiBytesDynamic"},{"contents":"\"O~\\130G\\160\\204\\244\\128\\133^;\\200U\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\CAN\\CANn\\185\\211\\181\\NUL\\146\\223\\248\\146[\\148RE\\194]\\164\\149h\\149\\253\\161\\200\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160:\\190`2`\"","tag":"AbiBytesDynamic"},{"contents":"\"?O-M\\153\\192d\\231\\&6\\218WW\\221\\196\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\&0:\\195\\245\\251$\\198]ClbQ\\NULl\\201\\137\\216QN\\183\\214\\DC3+\\162\\246J\\148\\183\\213\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\GS_\\DC2\\161\\197mm\\164\\217\\DC3gS-rjh\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\137\\146\\145\\177\\209%\\193\\167!\\CANt\\223\\139F\"","tag":"AbiBytesDynamic"},{"contents":"\"d\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"Hl\\205\\129\\170\\173IxE\\182\\245[5\\143!\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\229\\208\\&1q\\247\\ENQ\\169\\225\\128\\207*u\\237 3\\230\\172\\178\\203\\187\\163\\220\\243\\fM\\FS\\220\\203\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184)!\\r\\DC1]=\\189\\&5\\161\\216\\134\\194\\ETB\\241\\EOT~\\208\\177j\\230\\201\\131\\128\\162\\&7\\201\\214\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"cPP6\\248}q\\166P\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134]\\238\\142\\134\\201\\173\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253V\\CAN1\\ETX\\245N\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\191)\\192X\\247\\NAK\\171\\221\\FS>l\\238\\214\\165o|\\197\\210|\\251Wv\\197\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STX\\SYN\\191\\139$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239Vs\\149@\\227\\184\\147\\SUB\\ENQ?\\191X\\128\\207\\169>6\\237h\\RS\\180\\219\\&0\\142'\\SYNL\\242\\142\\231\"","tag":"AbiBytesDynamic"},{"contents":"\"lc*\\237\\bx\\222-\\189\\252\\154\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\134\\193\\186^\\199\\SYN\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\153\\193\\197\\&0\\187\\227\\192jb0\\139\\&9\\152\\&1\\157\\174\\167\\ETB\\DEL\\176\\255\\166\\209J\\206S\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"do\\207ew\\159\\209\\&2s\\RS\\160\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\207\\244\\&7\\248\\206T.7D\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\176VC\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\205\\247\\245j\\132\\&3\\208,_s\\219\\CAN\\204\\171\\157\\ACK<\\143\\249<\\171\\&9\\193\\206\\190\\246\\ESC\\230\\145=\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"/}\\172\\150\\158q_zG\\241\\195\\&2\\197\\144\\165\\ESC^\\177BS;8\\a\\ACK\\154\\164\\179\\138\\DLEP!\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143%|\\CAN\\244\\235\\224\\172 \\215\\252\\DC3\\158pFE\\197\\228\\203\\\\\\171\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"^u\\189>\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\189\\227t\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"J@\\140B\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\255y\\DC2\\FS\\192N\\203\\168\\153\\162\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\233\\157G\\SUBU\\228\\187q%\\202\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\133\\195\\216\\174\\234`\\206\\192\\STX\\202\\ETB\\219\\RS\\212|\\DC2\\SUB\\220~\\193\\171\\168\\160zx\\SYN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"cFO\\174D\\196\\209b\\251\\195\\US\\SOHe\\212\\168\\221\\&96\\190\\135I-\\244\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"]\\241L\\170\\146wD\\138 \\172|C\\230=\\bN\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\189\\a\\197[\\DLE\\191S\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\139\\187\\185\\EOT5\\157\\166\\207\\255C\\255~\\187\\\\\\192\\247\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\STX\\ETB\\181\\RS/\\228\\208?a\\195\\149\\205\\235\\152\\DLEP;u\\b\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134)\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"eW\\SI\\168L\\157\\158\\144\\199\\222:\\161\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\174\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\209\\238@\\243\\212q\\242\\152\\187\\DC4\\224\\129\\207\\158\\&1\\251$\\US\\160S\\253\\NAK\\220\\194\\153\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"C;X}k\\243\\248\\ESC\\CANL_=\\233zv\\211a\\182\\202\\&1\\188+XT\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\":\\223\\ESC\\244\\DC2\\210E\\NAK\\139H\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"$9<\\t5iX\\251\\204u\\154\\200\\249\\177q/(\\DLE+\\130&$8\\186\\168\\&4\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214hY\\250\\146\\&4\\CAN\\GS\\166gf\\198\\232\\214C\\CAN\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\SIf\\131&Z/h4\\201\\153\\FS}\\NULFq\\154\\214\\231\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\134x\\n`\\247\\221\\135\\128\\188\\rw\\USc\"","tag":"AbiBytesDynamic"},{"contents":"\"u\\RS\\212\\190f\\215\\154d\\161\\NAK\\177\\205|q\\206\\228\\&9$A\\243\\DC2\\217\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\137ah\\133\\231.\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\GSh_uu$\\129sD\\SO\\218\\DC4Y\"","tag":"AbiBytesDynamic"},{"contents":"\"`FE\\167u\\NAK$\\203o\\146I-\\246i\\SYNrS\\153\\128\\131\\164*u\\215\\248\\RSB5\"","tag":"AbiBytesDynamic"},{"contents":"\":\\214V\\200\\184\\241\\RS\\174\\215\\194\\&7~ \\143\\241\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\192^`F\\US>\\222\\236\\&9%\\USc,q\\168XFc\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\US'\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135u\\199\\205\\DC4\\SUB\\ETXo\\217\\158\\247<:-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DELJ\\242\\210?\\226q\\US\\195k\\235\\224\\254\\178\\153I\\175\\SO,\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\207\\&7\\164\\235\\156SB\\225\\228\\218\\224\\226&2\\206~<9<h\\145D\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\f\\144_\\253\\SIg\\\"\\147\\247\\&5\\170CI\\254\\SI\\175u\\189g\\156\\240\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\162\\244d\\172\\247(n\\EOT\\238V\\DC1W\\200\\239}\\183_\\143\\170\\139d\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"t5Tw\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\ACK\\187\\b\\n[\\200EU\\221\\SOH\\160\\192\\154\\180;\\ENQ\\201\\208\\ESC\\176&\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\DLE@\\SI\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179y\\128\\EM@[\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148wUk=K\\DC1e\\226\\203T\\ETXA\\US\\248\\137W\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\202\\v5\\184\\255E\\152\\&2Q!\\131Ms\\195\\STX\\221\\252\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157\\162\\138F\\179\\236\\DC4:>\\DLE\\242o\\203(\\247\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\220\\247\\211\\143W\\244\\152\\214W\\218\\188\\SOHS\\231\\207\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\206\\212\\199\\141\\ENQ4\\ETBK\\138\\130c\\SYNK\"","tag":"AbiBytesDynamic"},{"contents":"\"gM\\172l\\ESC<\\145\\144\\DC1\\r\\204<\\247d\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\128\\&3\\165\\NAK\\DC4>].\\218K\\238\\187\\FS\\137\\219\\235\\182\\237\\193\"","tag":"AbiBytesDynamic"},{"contents":"\")R\\186\\134\\248\\ETX>\\184\\NAK\\248Q\\193\\\"\\228`\\224\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\189x$U\\247\\FS\\136\\180Y\\148Zg\\152\\183w^\\176\\157,\"","tag":"AbiBytesDynamic"},{"contents":"\"<-\\187\\134\\215\\251\\214\\DC4\\235\\164$\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\136T\\162\\226\\233S\\162\\241\\176\\177\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"A\\173:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\CAN\\189Cl\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"-\\204\\221Y\\172\\241\\152\\SO6\\215\\217\\147\\164V\\157w\\DC2)d\\178d8\\236\\251Nf3\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\244\\&1\\RS\\GS\\247C0\\168\\245\\&9\\ACK(\\\\\\165\\212(\\211\\237S\\154\\182\\157\\172\\&2_\\144\\221t\\237\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\186\\STX\\212\\207o\\t\\136\\&9d#\\159\\159\\132\\a\\ETX\\ESC\\DLE\\CAN\\SIL\\160\\233\\DC4M\\189G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\128\\150\\175\\240\\&5\\154\\171B%\\164\\&6\\154q\\154\\227\\172\\DC3|\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN{\\223[H<\\ENQ\\222\\238\\153\\147\\NUL\\128K%\\EM\\SOH\\176\\ESC\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154$I\\208;'\\222\\&4\\SYN\\237\\224Q\\157\\151,\\151\\134^f\\ty\\DC1Jr\\170\\DEL\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\&3f\\150\\194\\r!U\\208\\194\\254\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\216\\181\\162P\\ENQ\\255Z&\\DLE\\250\\223j$XF\\130\\SI\\159\\CANb\\n*\\203\\240)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231Tc\\ESC\\t\\158\\n\\188\\209\\195\\&6\\169\\t\\ENQ`|#\\US\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\162\\250\\243\\DC2\\194\\131\\196Q\\159Q\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\136\\149\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\139\\DC4\\153|\\SI=\\162\\NUL\\183\\130\\198\\245\\235\\224\\163$\\209:\\255AS%\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\209\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\DLE\\DC2\\189\\246\\145\\136\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254h8\\184b3R\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\157\\\\\\ETB\\147q\\179\\ACK\\EM\\250'\\180\\190\\228s\\\"\\\\\\201\\179\\DC2\\207\\236\\NUL\\185W%\\221\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\ACK8\\232\\DC1n\\225j\\172\\251\\SYN\\180@\\135\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\217o\\225\\ENQ?\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"X,Q[\\131\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210b\\208o\\r\\188O\\130\\&8G?\\NAK\\165\\SYNQ\\216\\DC4=IS\\163\\231\\198\\209M,\\243\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229*\\191\\186\\171i\\SO`\\196D=\\245\\167\\203\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\193\\195N\\DEL!\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134-G\\vx\\GS\\166\\213^Q\\199\\GSm\\218\\201\\&8=\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188k\\140\\233\\255\\&6\\ETX\\177)\\193\\175\\128d\\US\\251\\SOHPm\\ENQ\\205\\v\\158\\182\\GS[\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"1\\206\\EM\\\"c\\190R\\173\\129\\STX\\243\\176D\\t#\\210\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\212\\DC4~\\\\}\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\188\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174/\\142\\DC1\\SI\\130m\\179\\152\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135;\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\232\\161\\168\\157\\132)\\236:\\DLEe\\169y\\149\\SUB\\196sN\\EM/\\157\\194\\ACK\\153)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\213\\194\\248\\181H\\206\\148\\163L\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158=@FD\\173\\171\\197z\\197\\181\\ENQ\\254\\136\\181\\225X\\181R()\\222.\\\\\\129\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\157\\235\\SUBM*\\241\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\128\\228\\EM\\rM\\147\\234\\SO]\\237\\NAK\\158S\\134{Ax\\234r\\164\\173[\\175\\219\\173[J\\218X\"","tag":"AbiBytesDynamic"},{"contents":"\"Yc\\144]\\158W\\206\\143\\173\\214\\176[\\187.\\188\\230\\172\\154\\147\\186K\\135G\\DELv\\DC1\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\ETB\\245\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\188\\172\\174i%\\149.G\\188\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"?X\\226\\219\\128\\DC1\\151\\201-\"","tag":"AbiBytesDynamic"},{"contents":"\"L.\\153\\196j_\\246\\188\\143\\SUB+$\"","tag":"AbiBytesDynamic"},{"contents":"\"G\\150\\&3\\217\\134o\\144\\194\\247\\147\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\204\\206\\244\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146\\178\\176\\215)\\DEL\\196\\177~\\ACKzD\\GS5J\\220D\\\"q\\213\\EMw\\STX\\243\\143j\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\242\\190\\ETB\\216?\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ^P\\132\\213'\\252AL\\163\\152\\&4\\129\\234-\\138\\254\\237\\196vI\\183\\154\\136Y7\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"4D#\\252\\216e\\t\\SOH1\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241$!\\203\\&5\\211\\GS\\244\\250\\223\\&9E\\238\\240\\156W\\183\\138\\199\\EOTb\\189\\&8\\164\\196a\\208\\ACK\\n5\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\207\\aX\\209\\214\\201\\242P\\160W\\159\\232)\\SO\\166a?*\\157\\163\\173Cu\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\186XW,\\187\\&05u\\169\\180w\\194\\181\\&0\\213\\ACK\\167\\198z\\201\\&4{\\GSY\\200\\188\\149\\212\\&76H\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\230\\145qY\\140\\134\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\ENQ\\253\\157\\157\\190oN[V\\DC1\\138s\\197\\158*\\252\\246\\DC1Zy\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"o\\USJ\\191\\246V-Cv\\238n 8\\231*<\"","tag":"AbiBytesDynamic"},{"contents":"\"HJk\\248\\255v\\205\\180\\138$\\140\\175.?\\252b\\231H\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185j\\204\\f\\144\\151\\255\\129=\\164\\143\\DC3\\CAN&s\\DC47\\199\\218\\233h\\n\\128\\195\\163p\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\226\\192\\FS\\188p\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\SI\\DC2\\255P\\209>\\133@\\143Vq8\\DC2\\DLE\\228\\\\\\DLE\\177z\\219\\195K\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\142l\\228\\188\\DLE\\198\\229\\ESC\\197\\249\\\\\\143l\\186\\a\\ESC\\211J\\167\\\"\\129*\\251w\\227\\153\\178\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\196q\\175Yz\\250LF\\223\\212\\131\\ETB \\172\\136\\191t\\128\\244\\162\\168\\140\\231\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"j\\204\\231f\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\",)\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\165\\153+O@\\167\\217Get\\FS\\134\\249\\r\\249py\\198\\229J\\SOH+X\\220\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\136\\SIH\\228\\&5<1\\192\\251\\205\\132\\229\\243t\\248\\164\\STXC\\191\\210.\\152$\\219\\143\\236\\155\\235A\"","tag":"AbiBytesDynamic"},{"contents":"\"i\\STXq\\bV\\DLE\\177\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\157\\255\\149,\\172\\193\\131\\159\\208\\ETB\\EOT\\NUL\\147\\158\\202\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\&9\\228\\201\\165\\RS\\ENQ\\rB\\239\\DEL\\244A\\154\\137k\\\\;\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\233\\146&\\NULd\\201\\FS/\\GS\\SI\\146\\&6\\232\\154\\157\\201\\GSv\\DC3I\\151\\ETBE\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\212\\143=O\\ENQ\\198t:~D6\\204\\234n\\184\\189\\179I6\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\DC1\\173\\t\\168sP\\\\\\198\\224J\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\\179\\FS\\148\\240b\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\152\\183\\235tv\\229\\221\\NAK\\173\\226<&\\RS\\175\\206ipg\\187\\n\\198\\191\\255\\ENQ\\DC2+\\161\\f\\225\\138\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"H>\\SI\\209\\213\\218\\204\\170\\EOT'\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"fN\\ESC\\234\\137\\237\\SO\\250\\130+\\210\\179\\EM1Q\\172\\135\\168\\128\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Wq\\166i\\SOZ\\nX\\169\\242\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\250+9\\208\\vb4\\182r\\143\\166)\\169*f\\243y$\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid yield source type\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\r\\197\\150\\&8\\192\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\163\\224^\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"\\170\\172\\247\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\\"=i\\ENQi\\166\\211\\197\\145\\168\\DLES\\210\\208o\\RS\\236{?\\134\\142\\237\\152c\\SI\\t$\\232B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191Uo\\234\\SYN\\159\\ETXL\\NAK\\128/\\205\\&3G\\NAK\\b\\208|_9\\225 \\190\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\154si`\\200\\149\\&8%\\233_\\234\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\130\\194\\n\\DC4\\\\R\\205\\139a\\SUB\\157l\\US:(\\134\\211?\\ETB<\\STXY\\132G\\153%\\249\\200\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"deposit/withdrawal changes oracle PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"n\\170\\187\\200\\149\\220\\230p\\243[\\US\\163\\132Wh\\214\\233\\194S\\236\\ESC\\245:}\\235\\GS\\164\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\218)\\bH\\FS^\\208\\202\\136\\250[\\225\\199\"","tag":"AbiBytesDynamic"},{"contents":"\"s\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"=\\163=\\158C\\NAK\\187^\\STX\\150\\190P\\209p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\164\\201p\\160\\202\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\ETB\\r\\SUB\\138_\\FS\\147\\bE\\145\\159\\&2>\\203\\192\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SUB\\185\\132\\215\\182\\165;Sq\\255\\235\\156\\202\\196\\t\\198\\155\\140\\164\\US\\148\\a\\232?\\159\\146\\194/D\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NAK\\157\\DC4\\249\\200\\&4\\171\\190Sf\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143_ \\208\\191U\\173\\STXg\\\"\\132\\145\\v\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"z|\\128\\212\\CANX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\253^X\\251l\\228J\\130\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219fvk\\128\\204\\198\\185\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\aWX\\193\\221L\\184X\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\DC2\\167Tn\\ETX\\133\\238\\STXu\\168_\\138\\DC2,\\fM\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\218FcW]?\\234=Le\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\193V\\224\\199\\STX&\\142\\189\\202\\141qS\\212\\220\\&1SA\\232!\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\&4EN$\\252t\\151\\153\\252\\248\\216\\173\\130\\157\\174\\ENQR|\\150\\244\\159\\155\\RS\\213\\154\\149\\SI\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\EOT\\157'\\131\\132\\134\\225\\248\\248\\228|\\134\\219w\\202[\\245*\\248\\179\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\239Eet\\200\\\\\\222\\ENQa\\160s\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\176\\235\\146\\rv\\SYN\\238-!\\137w\\245\\143^\\224^\\248\\f\\195mB\\142l\\\\=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\134\\EM\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\ENQ\\218\\208()\\DLE\\196\\182Q\\154\\128o\\189\\250Z]!]\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\SUB\\179\\SO\\199\\DC3j5\\DLE\\FS\\ETX\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227>e\\225\\US_\\180L\\243\\161\\169\\167\\193\\175\\245\\170\\255\\NUL6\\140\\198`$\\n\\175\\RS\\223b\\152\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\212\\v\\DLE=4\\218\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\r\\142m\\a/n\\157\\215B\\147\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\150!\\235\\186\\t\\FS+@\\242\\174\\STX\\131 \\158f\\222\\254g%\\226\\158\\214\\219\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\204S_\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\247#\\SI\\195J\\160\\FS\\SOGT\\219k4\\168=P\\162D\"","tag":"AbiBytesDynamic"},{"contents":"\";\\EM\\245\\223`w\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-1: convertToAssets(totalSupply) == totalAssets failed\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\146|\\199\\149\\132\\242Q\\178\\211]\\151\\n\\153\\n\\141\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\192\\ETB\\142a\\147\\242[\\ENQg\\164\\182\\178\\200\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230\\STXK\\214\\EM\\163\\146X\\252\\248\\254\\141`eG\\164\\DC4\\135\\DLE\\SOAk\\213d\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228,[L\\155\\251\\184J@=\\131\\170\\131@G\\ACK\\RS\\a\\132\\172\\239O.)\\237\\220\\&06\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"Os6\\228\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\146\\161\\240\\215\\156XJ=`\\132s\\187\\165\\196\\161\\&4^Q\\ETX\\NUL\\220\\161\\192\\160\\187\\b\\201\\nZ\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\187\\136@\\245~9!\\211\\212\\202\\253\\183\\207?\\183\\234J\\189\\172Wzz4\\211%\\ENQ\\CAN\\156[\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\r\\DC3;l\\214)\\161\\241MI6\\DLErvG\\129&6\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\239\\202\\236\\175\\246-\\148&\\149ZF\\202\\201\\161\\193W\\250\\238\\202\\SYN|\\149\\227\\135.\\235\\NAKu\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216R\\ACK\\159\\174<\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\246\\254\\161WJ0](\\144\\168-\\135:E\\173\\176\\143\\SUB\\STX\\176}\\152\\&2H\\157\\147\\186\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\210\\200HsR;\\138w\\192\\157\\205\\234\\ETBK\\242u\\ESCerlv\\246\\129\\ACK\\163Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\212\\205\\ESC\\202\\232\\129\\r\\205_CQ\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Rq\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\252\\254!\\DC1@\\a4\\196\\250\\140B\\143g\\251\\EMt\\246\\184\\207\\164?\\247bR(\\221L\\176\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"!N\\246W\\DLE\\139\\243\\224\\ENQ'\\GSD\\137w\\192\\CAN$\\SI\\185DW\\186&9\\197\\249\\169\\135\\v\\ETB\\195\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\178<\\179[\\163A\\138\\bH|\\rt\\154|_&\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\175\\150\\227\\236\\212\\DC3o\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"e]:\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141}X\\235\\238i0^\\159\\v\\DC4>\\199\\EM\\ENQ\\140.\\239_^\\v\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\178E}\\175\\250Q\\198\\150\\164\\SOZ*\\233\\240\\137\\194X\\ETB\\160\\179\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\187\\SOH\\SOH( %\\164\\209\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133/\\178\\224\\NULj\\133\\159\\249\\SOH\\218\\&8\\a\\210\\&9\\199\\132/N\\221\\164'\\CANl\\233\\159\\ETXLh{\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\246\\154\\179\\129\\200\\203\\142j)\\\"Oh\\243\\DC2\\243\\252\\158\\139(\\237om\\166\\195yk\\137\\229?\\190\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\163\\202__\\SYN\\222\\140\\226\\128\\183J\\220\\155&Z\\221\\190\\184\\204\\132\\236b-\\EOT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\138\\180\\136\\178\\EM\\131y\\181\\226\\213.\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246\\252\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\233\\n\\196\\&5 \\212e\\226\\240}e\\241\\242\\216q\\200I\\153\\250\\143g\\159\\158$\\224\\n\\223\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\160\\210\\151\\144\\240w\\255Y\\200\\177\\149\\225\\144\\151\\SUBQ\\197\\183x\\ENQ\\229\\SI\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\217\\&8.\\218\\r\\159\\n\\DC1\\151\\a\\242\\175\\152\\254Qe|\\153\\198g\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\151\\210\\149m\\169\\165E\\240W\\244]\\154\\\\\\250\\249k\\214\\SO_3~\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"&`be\\187\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\b\\175\\243\\143mT\\168\\203W%<Pz_r\\r\\US\\ETB\\DC2\\ETB\\177\\136\\213\\195\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\\\\\NAK\\228y\\205U\\209\\158\\155\\221o\\150\\179\\146\\170\\189\\188\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232! \\181\\FS\\167\\169\\210?\\NULo\\136\\aZ&\\154\\164>y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\226D\\210\\192\\&3\\139\\192Y\\DEL\\216F\\245\\131[?[\\138F\\146\\240\\140\\239E\\210\\166\\176\\210\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOTC\\137\\129oM\\225\\\"_$X\\NULCW-\\216\\171\\169\\&9#\\175h\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160HDZ>Yl\\206\\178BK\\176%iq^[@I\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242D\\196,\\185\\153\\DC3+\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\174y\\196d$\\r\\202\\244\\155&3\\165\\150\\t\\152\\193\\221\\175t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLEw\\182I\\216\\EM@u\\246|\\ESC\\201\\228l\\168\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183|\\f\\130@2\\185\\206N\\148\\150\\171\\129\\196R\\ACK\\136E\\234\\196L\\139]\\255\\229\\129\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\164\\213\\SO\\135-\\206R[\\226#Ns9\\130\\236\\128\\129\\164\\241\\CAN\\212\\217n\\252\\181\\130\\244\\DC4\\SUB\\209p\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\140\\205\\138\\184O5\\202\\178y*\\150,\\141\\169\\249\\150\\156h\\251\\156\\&5#\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"_\\200\\ESC\\SI\\198hF\\215\\168\\251\\146\\204|\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"3\\142\\r\\252\\200=\\133T\\208\\167\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\GSf\\ESCld\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209H\\175M\\254\\235\\152V\\239\\249\\&7{\\NUL-\\rU\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"/\\230\\218\\ACK\\237\\138W\\151O\\FS\\161\\&0\\162R\\187\\161\\DC4\\209\\156n\\138\\EM\\161\\223\\128\\163\\237\\vkt\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\161\\DC4\\156\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"yM\\DC3M\\250\\v\\237k\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223\\206\\196\\225O\\248\\171^\\EMnJ\\131\\&3\\ETX\\195\\229\\182\\152\\171:\\251\\210\\RS\\169\\170\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"97\\a\\225\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\200\\202\\152\\vt+'\\234\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\214F\\205+:\\DEL\\149\\185|\\ETXQ\\198\\ACK\\190:\\SO\\159\\196\\232\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\176\\170v\\242\\244\\163\\147m\\187\\145\\v\\218mJM\\148\\v\\142\\GS\\247\\&8\\225\\159\\182\\b\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"y[@\\188\\213\\187\\EM3\\DC1R\\241\\153\\DC2q\\175\\226+\\250\\236\\222\\STX\\133Zz\\a\\211r\\203\\SUB\\ENQJ\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129E\\133\\SI\\222m \\157@\\DC4\\138~\\205N\\151\\253\\220;\\196W\\204\\151t\\161\\&0T\\200\\USCY\\150\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\SYNaY\\253\\RSG\\149}\\182\\SUB#\\153\\&6M\\227#\\SUBy\\220\\189\\US\\165\\185(&\\165\\138\\&7\\232\"","tag":"AbiBytesDynamic"},{"contents":"\"\\242\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"%<. \\bs\\159m%%\\NAKSY\\EOT8J\\DLE\\171W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\170\\162\\&6\\224^\\129\\&5\\DC1\\217\\185P\\204\\ETB\\161\\r\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\190\\250\\a\\155o\\181\\tDav\\146h\\225\\147\\151\\\\\\227\\232\\179\\192\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\148\\FS\\247\\149\\227\\202\\219t\\202}+\\170\\218u\\ACKN\\247\\230n\\172\\171w\\FSWf\\FSV\\220\\217P\\139\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\194\\CAN-K\\183O\"","tag":"AbiBytesDynamic"},{"contents":"\"\\222\\161\\242\\179\\242\\151\\171\\255W\\230\\219\\221\\DC3c\\245\"","tag":"AbiBytesDynamic"},{"contents":"\"|D\\143s%9\\255hb\\f;\\186\\240\\129m&\\187g\\174\\&2\\NAK\\214Aju\\160\\144\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165\\152\\135H\\252d\\236p\\224\\179(\"","tag":"AbiBytesDynamic"},{"contents":"\"|\\168h\\176\\v\\188s$0\\221\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238l\\135Z\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\244kT\\157\\154\\163\\173\\197M\\NAK\\133\\169\\242\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\NUL\\v\\132-\\153\\129\\t\\ETB\\180\\ETB\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\190\\244\\205\\vv\\201\\NAK,\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\206\\240\\240X\\200\\177\\NAK=\\208\\195\\214B\\239@\\EM*\\244y2\\220\\224w*P\\196<\"","tag":"AbiBytesDynamic"},{"contents":"\"[\\202S\\233\\156)p~\\228\\f\\DC4\\DC42\\DC2'RG,\\216;$U\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\146c>7\\157\\\"h\\219A4\\197_\\228N\\STX)\\173\\238\\168\\v\\167\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\\142\\232\\DEL\\250g\\191\\208\\173u\\251\\183\\172\\SOH?\\ENQ#\\SYN\\153q\\SOH\\151A\\ACK\\189Y_\\DC4\\160\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\242\\183\\CAN\\148\\\"=bI\\140B\"","tag":"AbiBytesDynamic"},{"contents":"\"q\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\236\\215\\154\\197\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"]\\196V\\203\\196\\\\\\155N\\205\\143-\\ETB\\225(\\190&UXkR\\180\\134?\\246\\177y+\\193\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\DC3\\250a\\227\\177\\238W\\135\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"-B\\173\\145\\DC2@\\SO\\252\\174\\&90\\DC4\\nM\\212\\205\\v\\\\\\163\\159\\237\\202\\170\\148\\128\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\GS\\250\\144m4,\\160\\ESC\\250\\227\\221\\204\\180hS\\181\\183\\198'\\219>\\130\\248\\a\\212\\&3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\175p\\177\\165\\164\\157~\\202~\\128\\168\\230\\182\\144'\\153\\b*3/\\ETB\\SUB\\141\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\b4Q\\230\\SYN|\\vX\\DLE\\229wyx\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186C\\133\\EM\\191\\217~\\128 a\\232x\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214\\204\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"\\230p2\\172\\249\\154F\\RS>\\182\\254\\196\\tn\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"r\\171\\206\\179\\DEL\\213\\234\\187e\\163\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\193\\STX\\DC3_h\\209\\224\\&6,)\\170\\237\\190k\\158\\158\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\172\\139\\173\\170 \\r\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\223Xg\\169\\238`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189w\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250\\EOTQ\\ETX\\195\\184(x\\210\\179<\\228+\\207r}\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v)\\ta\\223M\\DC2\\EOT\\198\\178\\227\\159\\160^\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186$\\210\\252\\137#\\198\\222\\163\\&4\\195K\\160~y\\NUL\\134\\207\\197\\&2\\234T\\222\\221\\169\\142\\203S\\DC2\\253k\\247\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\214\\143\\DC2\\250\\147\\205\\SI\\153|\\194S\\183`\\211\\170q6\"","tag":"AbiBytesDynamic"},{"contents":"\":\\136\\US\\211\\ETXy\\231`\\DLE\\146w\\240\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\174g\\219\\148d}6\\212\\180\\162&4\\247\\214hE)\\199,\\248\\r\\180!\\DC4_\\ENQ\\226\\SUB\\130G7\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\\"a\\184\\181\\EOT[\\227k\\191k\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\141g;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\183O\\178\\RS\\255\\DC4\\226+\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\DEL\\179\\140|\\136\\EOTi\\236T\\209u\\145\\193\\196\\ACK\\158XAs\\151?\\135/`\\218\\133pA<\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\155|{\\169\\194\\227\\GS\\254\\215\\230\\SYN\\168\\233\\161\\\\\\SYN<\\225l\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176A\\251\\152\\193w\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"EP\\237\\138\\236zx\\SO\\\\n2\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\237\\208\\\\\\176Aw\\223\\&4\\219%\\161X#S?Id\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\175\\t\\aH\\247\\SYN\\218\\f3\\237g\\228\\SUB\\210\\218yLT\\ESC\\DEL\\248\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188\\172B\\153\\196L\\156*\\231\\CAN\\161\\223\\204n\\\\\\210\\199\\218O\\231}7\\140;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161\\216o\\194i\\237\\244S\\191kL4\\244\\195q\\144\\254\\&7K\\248C\\n\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"',\\175\\225s3\\157\\173&\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\135\\200\\167\\169\\235\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\255)\\183\\175\\156s\\183\\DEL\\244\\209\\ENQ\\133\\240=\\233\\135hV_|\\DC1\\202\\171\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"!\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\253\\\"]\\221[\\253\\184\\137to\\SUB\\137\\221N}\\192iT{\\t\\DEL\\248\\193F\\190\\240w\\182\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174~Y\\138\\173\\185U\\160\\SOH\\236j\\SOHs\\207\\&2\\134\\214\\184\\ACK\\238Z\\CANj\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\GS\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180hd\\ETB\\241\\143\\EOT\\DC3\\149\\144e\\158;\\ENQ_C\\209\\172\\158\\&2\\252\\192+\\220b\\136\\196\\193\\184\\254\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\132\\163\\169\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC1U\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\230\\&7\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"100009438603628368117739800550665331807213404979017116396934663312351516824118"],"tag":"AbiUInt"},{"contents":[256,"12408087156016679056728568692896022015472618788977066370298242032371759689350"],"tag":"AbiUInt"},{"contents":[256,"13601280613810214705424037529985470585865436644751192462863955124603701444740"],"tag":"AbiUInt"},{"contents":[256,"472260498517428093450829853099908083"],"tag":"AbiUInt"},{"contents":[256,"1002"],"tag":"AbiUInt"},{"contents":[256,"3184254614411233338729093302944432808268602512964701952262559886926242086418"],"tag":"AbiUInt"},{"contents":[256,"11146376581843037907539792148341174575003993822810041402421799067696864661074"],"tag":"AbiUInt"},{"contents":[256,"20273951996810555239971675223788744988495883145549302502099684247950714999710"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211779"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129630933"],"tag":"AbiUInt"},{"contents":[256,"19341178845677177533558750811321760170622330294034361287003212681652167138807"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"38812397328447094748651081145313457883698934134328557631545607232104822808164"],"tag":"AbiUInt"},{"contents":[256,"1692017103914346647082088607669520004340905894239667820214793484949637525887"],"tag":"AbiUInt"},{"contents":[256,"2396564159026690901951264557068073199166"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211777"],"tag":"AbiUInt"},{"contents":[256,"373"],"tag":"AbiUInt"},{"contents":[256,"19523481751149637107716036878249373059782427025509124474437932178762919566566"],"tag":"AbiUInt"},{"contents":[256,"12708717831328695"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"20349998568238082056637232244365337540326924481572755133832314674332112079715"],"tag":"AbiUInt"},{"contents":[256,"92440827996628793716565519662172933387521650649120522264182875918384136289577"],"tag":"AbiUInt"},{"contents":[256,"90720452489116302013080759504204746562747589201487791383871950566905163516169"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639836"],"tag":"AbiUInt"},{"contents":[256,"107926666748247465727913910519605749452431121923606102310189979451917374955475"],"tag":"AbiUInt"},{"contents":[256,"108295122111965651585139055525077263186356326882919421313732582228196486741491"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639033"],"tag":"AbiUInt"},{"contents":[256,"45942398773568458239674431863080426905085648293407819359435260863541732173685"],"tag":"AbiUInt"},{"contents":[256,"311"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507325"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"33073448691035846828970487829175006765075244394859398176193783250739771466990"],"tag":"AbiUInt"},{"contents":[256,"101563655217356141768896016736564481729343325367289905555392233234455392395424"],"tag":"AbiUInt"},{"contents":[256,"38449337908137187715199657499875977672031535683229525999546097263649578093887"],"tag":"AbiUInt"},{"contents":[256,"38449337908137187715199657499875977672031535683229525999546097263649578093887"],"tag":"AbiUInt"},{"contents":[256,"38449337908137187715199657499875977672031535683229525999546097263649578093887"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638937"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"592"],"tag":"AbiUInt"},{"contents":[256,"16549932675050572919568039132683894086464435451867062211297266921200759789697"],"tag":"AbiUInt"},{"contents":[256,"26217862349456483493102774260571584013385934501525074806258559660256449626135"],"tag":"AbiUInt"},{"contents":[256,"102"],"tag":"AbiUInt"},{"contents":[256,"50"],"tag":"AbiUInt"},{"contents":[256,"108904022758810753673719992590105913556127789646572562039383141376366747609597"],"tag":"AbiUInt"},{"contents":[256,"3998"],"tag":"AbiUInt"},{"contents":[256,"79933876483714641603279168009978610699605982731743271480196754245520063520270"],"tag":"AbiUInt"},{"contents":[256,"22953406686527528402998550962026075506151834946714598835127902257648612231966"],"tag":"AbiUInt"},{"contents":[256,"45472272508469605978208984258117252049569789449276871391769437341736784011521"],"tag":"AbiUInt"},{"contents":[256,"48"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639039"],"tag":"AbiUInt"},{"contents":[256,"95707775946403019231953910269319453899348342024311038736066954089659898976562"],"tag":"AbiUInt"},{"contents":[256,"606"],"tag":"AbiUInt"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507325"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088324"],"tag":"AbiUInt"},{"contents":[256,"7168299962989665319101504482014163727653324492616876699113086151828644554846"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639830"],"tag":"AbiUInt"},{"contents":[256,"14734679467459845895905323323070196353722597306886307917335529089540918524502"],"tag":"AbiUInt"},{"contents":[256,"49474939621644180315884876068863696428912623888346239175776377181934364890201"],"tag":"AbiUInt"},{"contents":[256,"44659442670722465251974973664136587924693827999081939183531420395226432336901"],"tag":"AbiUInt"},{"contents":[256,"86403"],"tag":"AbiUInt"},{"contents":[256,"933"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639935"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639033"],"tag":"AbiUInt"},{"contents":[256,"99999999999999999999999997"],"tag":"AbiUInt"},{"contents":[256,"47231248778249145355469565440890910185926775470540894736195304379532305056521"],"tag":"AbiUInt"},{"contents":[256,"100000001"],"tag":"AbiUInt"},{"contents":[256,"122"],"tag":"AbiUInt"},{"contents":[256,"104476554156196442920611848878781218233706268573224953214393024165972239122128"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629936"],"tag":"AbiUInt"},{"contents":[256,"69408449886538188504262308136107259612387657121428575472027199669859216460162"],"tag":"AbiUInt"},{"contents":[256,"103473071485087469040465330410230440441833591020663870448030921482469677168645"],"tag":"AbiUInt"},{"contents":[256,"3598"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"47477591926867582193033387285267575280467463959611140580895210303779445702615"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039439137263839420088318"],"tag":"AbiUInt"},{"contents":[256,"82"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639039"],"tag":"AbiUInt"},{"contents":[256,"97"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6c","0x000000000000000000000000000000000000000000000000000000000000614a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000054","0x000000000000000000000000000000000000000000000000000000000000e347"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe4","0x0000000000000000000000000000000000000000000000000000000000008980"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb23","0x000000000000000000000000000000000000000000000000000000000000135b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"65812267256759682678978493575130102500035290112816367094993917121276973095384"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6c","0x000000000000000000000000000000000000000000000000000000000000ca07"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0d","0x000000000000000000000000000000000000000000000000000000000000270d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\" \\193l\\ESCE\\201O\\f\\242l=\\168`K\\193D0\\144\\163\\245\\255LB\\217+>\\247\\151\\223\\188b'\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135ad","0x00000000000000000000000000000000000000000000000000000000000003e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0xa80C1cacF809ECE71Eb724D7BF3a0C968c95EC69","tag":"AbiAddress"},{"contents":[256,"76327175720747238279179969631498894484291375187911990109431957704334994258049"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"64362637635930179577054239596757809889636324473657532809224536906262399582701"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000006","0x000000000000000000000000000000000000000000000000000000000000a297"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",[{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639939"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2e","0x00000000000000000000000000000000000000000000000000000000000012b8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_withdrawUpkeep",[{"contents":[256,"92153540949874155102568495107449977387428335591554248180303298295392215809460"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089ecc","0x0000000000000000000000000000000000000000000000000000000000006a02"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0ea","0x0000000000000000000000000000000000000000000000000000000000007e4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"26053280834493525378091188676974894775626529563589829357409670615550820385247"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000fa1","0x0000000000000000000000000000000000000000000000000000000000004b06"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC7540",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052402","0x000000000000000000000000000000000000000000000000000000000000da72"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000232b","0x000000000000000000000000000000000000000000000000000000000000ca0a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"64"],"tag":"AbiUInt"},{"contents":[256,"37439836327923360225337895871394760624280537466773280374265222508165906222589"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002326","0x000000000000000000000000000000000000000000000000000000000000004f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",[{"contents":[256,"942"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008427c","0x0000000000000000000000000000000000000000000000000000000000001328"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636332"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1b","0x0000000000000000000000000000000000000000000000000000000000002712"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129636333"],"tag":"AbiUInt"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x3386f834073f99C1F95820A583b9ec07ccACeeFD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a517","0x000000000000000000000000000000000000000000000000000000000000136e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540",[{"contents":[8,"64"],"tag":"AbiUInt"},{"contents":"0x3C4293F66941ECa00f4950C10d4255d5c271bAeF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269512405142046611364133178060029731856"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f9e","0x0000000000000000000000000000000000000000000000000000000000005954"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"111"],"tag":"AbiUInt"},{"contents":[8,"229"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b504","0x0000000000000000000000000000000000000000000000000000000000001341"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"12981152291233440480814919204182597853392915542983941289841090883550892030531"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f97","0x0000000000000000000000000000000000000000000000000000000000006a28"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["MAX_ROUNDING_ERROR",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000102","0x0000000000000000000000000000000000000000000000000000000000000387"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac0","0x0000000000000000000000000000000000000000000000000000000000000037"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]