[{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0xDEC9f3Dcc5158854Ef368E0B842F9e2cA8c990DB","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e75c","0x000000000000000000000000000000000000000000000000000000000000227b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"26553318318471959410856949191188693862189205268797397233889500228288788186006"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000713ef","0x000000000000000000000000000000000000000000000000000000000000d38b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb45","0x0000000000000000000000000000000000000000000000000000000000000403"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":"0x5991A2dF15A8F6A256D3Ec51E99254Cd3fb576A9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000057a1d","0x000000000000000000000000000000000000000000000000000000000000002f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008c3e3","0x0000000000000000000000000000000000000000000000000000000000007e4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"73337911905017566085568506130155105383638775351842364078908683357392596849928"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003bb8","0x00000000000000000000000000000000000000000000000000000000000076e4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004fa9e","0x000000000000000000000000000000000000000000000000000000000000391b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"\"\\252\\139\"","tag":"AbiString"},{"contents":"\"hook.acctunt.conoext\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x510a12f85c02dd49E1AE5009Cd33eaa193346dEE","tag":"AbiAddress"},{"contents":"0x13aa49bAc059d709dd0a18D6bb63290076a702D7","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x2aa1f1978f5d18D91eB3fc2E6975dC6E85FDefdF","tag":"AbiAddress"},{"contents":"0x473eA6ED4dC1B33c993d3a636445675c5356Eba9","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":"0xED1785b65896022A79B55D3EbaFD6Ab7C6560e92","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xe8dc788818033232EF9772CB2e6622F1Ec8bc840","tag":"AbiAddress"},{"contents":"0x1C310426202C49BD70225A9A660dA6019422FFcA","tag":"AbiAddress"},{"contents":"0x2aa1f1978f5d18D91eB3fc2E6975dC6E85FDefdF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xA444FBB2a149cE92B1F25002F0d612583A75261a","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"},{"contents":[256,"95997455576862931125754600663470382873485463154538951286026636353745663467443"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"333"],"tag":"AbiUInt"},{"contents":[256,"1403642442670973972691204238544960973271922508900449597992"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001b308","0x000000000000000000000000000000000000000000000000000000000000585b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"27165872"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004df78","0x0000000000000000000000000000000000000000000000000000000000001370"],"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,"1530918069"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577600"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"261250744977719066620482095459308111658"],"tag":"AbiUInt"},{"contents":[256,"950"],"tag":"AbiUInt"},{"contents":[256,"1533835899"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000083ed5","0x0000000000000000000000000000000000000000000000000000000000000cb4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"62278058742075449350527704946814017122616588465764982852789933426626499235804"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006728e","0x0000000000000000000000000000000000000000000000000000000000000eb8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_deposit7540",[{"contents":[256,"1530154102"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000078f76","0x000000000000000000000000000000000000000000000000000000000000dcc3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046464","0x0000000000000000000000000000000000000000000000000000000000000386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_withdraw",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"26668152559935957478459758703526554435577907806744972160935373568547821317028"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5f","0x000000000000000000000000000000000000000000000000000000000000a5f0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"70972468603393078208857958341710237014660832895418798714932129771285192075778"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b1","0x000000000000000000000000000000000000000000000000000000000000327d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem_clamped",[{"contents":[256,"27492351864411636099256180512613912563953377535889797148656176078387653045486"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000041ca6","0x00000000000000000000000000000000000000000000000000000000000089a3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000000348","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xF2D0C374B624153a22F06cEd85D6d3dA0A313a0c","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":"0xA4AD4f68d0b91CFD19687c881e50f3A00242828c","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xA444FBB2a149cE92B1F25002F0d612583A75261a","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"25"],"tag":"AbiUInt"},{"contents":[8,"85"],"tag":"AbiUInt"},{"contents":[8,"101"],"tag":"AbiUInt"},{"contents":[8,"134"],"tag":"AbiUInt"},{"contents":[8,"150"],"tag":"AbiUInt"},{"contents":[8,"241"],"tag":"AbiUInt"},{"contents":[8,"101"],"tag":"AbiUInt"},{"contents":[8,"20"],"tag":"AbiUInt"},{"contents":[8,"66"],"tag":"AbiUInt"},{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":[8,"242"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000241","0x0000000000000000000000000000000000000000000000000000000000008ec6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003f74c","0x0000000000000000000000000000000000000000000000000000000000001021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005318e","0x0000000000000000000000000000000000000000000000000000000000009353"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"360"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000019937","0x0000000000000000000000000000000000000000000000000000000000005683"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"627"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5c","0x000000000000000000000000000000000000000000000000000000000000a924"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001de03","0x0000000000000000000000000000000000000000000000000000000000006f9a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_invalidateNonce",[{"contents":[32,"\"\\165A\\157\\DC4\\SO\\165\\159\\255\\163\\208m+\\DELgZG\\DC1wz\\153}V\\199pq\\188\\200\\240\\SO\\STX|o\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006d309","0x0000000000000000000000000000000000000000000000000000000000006378"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639818"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b721","0x0000000000000000000000000000000000000000000000000000000000003b45"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000769a5","0x000000000000000000000000000000000000000000000000000000000000407a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x000000000000000000000000000000000000000000000000d0f60941b0a2d920"},{"call":{"contents":["superVaultStrategy_handleOperations4626Deposit",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"60535380208343452134024532823533249359131713766999188763671427114000501437646"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003eb","0x00000000000000000000000000000000000000000000000000000000000072d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"32"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000063f04","0x000000000000000000000000000000000000000000000000000000000000129e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000081f7","0x00000000000000000000000000000000000000000000000000000000000000fd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_cancelRedeemRequest",[{"contents":[256,"21819593867825305027484217011224055240125882852788629932472196798200412526137"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000073c4c","0x000000000000000000000000000000000000000000000000000000000000889f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",[{"contents":[256,"2020203"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f96","0x0000000000000000000000000000000000000000000000000000000000000b28"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxRedeemMaxWithdrawSymmetry",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005f514","0x00000000000000000000000000000000000000000000000000000000000035d8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_escrowBalance",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000046ea5","0x00000000000000000000000000000000000000000000000000000000000095e1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":[256,"35128355722280147250070666001561366591037591846180933470308642436952867167465"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000087743","0x0000000000000000000000000000000000000000000000000000000000001484"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000070369","0x000000000000000000000000000000000000000000000000000000000000106b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x15cF58144EF33af1e14b5208015d11F9143E27b9","tag":"AbiAddress"},{"contents":[256,"51691974071671165865975263872824993837420371283070876330000914612207485345941"],"tag":"AbiUInt"},{"contents":[256,"1088577150831019"],"tag":"AbiUInt"},{"contents":[256,"97623491339609296284920574521523845844142089639746084153645556442127384508954"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e6","0x000000000000000000000000000000000000000000000000000000000000000d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"100480916750233125072386452833372026771484823994469535819712398605784799966161"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007ec15","0x00000000000000000000000000000000000000000000000000000000000001f5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001214f","0x0000000000000000000000000000000000000000000000000000000000000fb6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeSecondaryManager",[{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003eb26","0x0000000000000000000000000000000000000000000000000000000000005958"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setDecimalsOffset",[{"contents":[8,"70"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027e9f","0x0000000000000000000000000000000000000000000000000000000000001022"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"73"],"tag":"AbiUInt"},{"contents":[8,"34"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000112cc","0x0000000000000000000000000000000000000000000000000000000000002382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000023dea","0x0000000000000000000000000000000000000000000000000000000000000fb5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"1531951900"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000022aec","0x00000000000000000000000000000000000000000000000000000000000037a4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x3117c269A99D2dB30F25e9882dC14e255d95E9bD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002557a","0x000000000000000000000000000000000000000000000000000000000000ec36"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",[{"contents":[256,"1531896569"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000017cc5","0x0000000000000000000000000000000000000000000000000000000000007be7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"268405653075718005945109446923151723916"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000901c5","0x000000000000000000000000000000000000000000000000000000000000445f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_vault",[{"contents":[256,"604802"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006a961","0x0000000000000000000000000000000000000000000000000000000000003988"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x3D7Ebc40AF7092E3F1C81F2e996cbA5Cae2090d7","tag":"AbiAddress"},{"contents":[8,"84"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000059424","0x000000000000000000000000000000000000000000000000000000000000003a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000069a0d","0x0000000000000000000000000000000000000000000000000000000000006171"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000038516","0x0000000000000000000000000000000000000000000000000000000000004939"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"2155733760"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005b9a0","0x000000000000000000000000000000000000000000000000000000000000133e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesGtPendingRequests",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000357e5","0x0000000000000000000000000000000000000000000000000000000000000039"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"v\\240)\\134\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"$\\DLE\\160\\167\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\162\\214\\163\\131\\170\\&8\\208\\203\\231\\155@\\151\\161\\152\\129o\\t\\ESC\\178\\153\\&7\\193\\163\\148GD\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\139\\207\\CAN\\245\\\\\\DELu7\\215\\CANp,\\142#GN\\209\\&4A\\183\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"4\\151\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"LT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL6.x\\r\\243\\193_\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132\\220CPn\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\221\\153\\180\\NUL\\140\\243\\131\\&9\\ETBD\\DC2a\\134l\\241\\223]\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197*\\245SBoGD\\147\\224+\\168\\238y\\198\\190\\253{\\167\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\DC4h\\249O\\187\\143\\228\\140@:y\\DC2\\v\\217\\214+,;\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201\\215\\220\\227\\211\\200\\179\\176\\215\\NUL`R\\173E\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\159\\239\\250z\\155\\182~Y\\147\\197D\\158\\143nC\\161\\&5\\158M8\\243yM\\147\\171\\249i\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f!\\140\\196=\\DC3\\196\\SUB\\224\\192%\\181+\\191\\135\\218\\176\\203!\\f\\GS'\\252\\t\\129\\173\\172\\232\\214D\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245LUR\\163\\210SW'\\196Y\\236\\185\\166\\SI-\\219\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\204Fg/\\174\\DC1\\NAK\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS0\\DEL\\156\\DC10\\SYNO\\160\\235\\ACKu\\229\\129\\144\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\205\\178J,\\164v\\163\\137\\NUL\\202\\n\\154F\\SUB\\235I\\141Q\\234[\\155!\\193\\199N\\190\\136p\\206\\ENQ)\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\136\\n\\DEL\\135>\\EM\\161\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172E\\n\"","tag":"AbiBytesDynamic"},{"contents":"\"`\\DC1\\133|\\244\\ETB6\\235Y\\173\\\\g\\168}\\206\\235a@b&\\189x\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\181\\238\\SUB!\\136\\SOA1\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\142\\191\\175%P\\ETX>\\ETBvuyL\\155\\\\R\\170\\&6\\DC2L\\SYN|h\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\SYN/\\NAKXQ\\158\\SUBj\\177\\EM\\138[\\163\\173\\189\\243\\US\\239\\SYN\\FS\\209$P\\DC2\\ETB.X<stB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231g\\176\\218\\249U\\200\\&5\\SOF\\136\\244\\178\"","tag":"AbiBytesDynamic"},{"contents":"\"y\\rg\\EOT\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\216\\197\\SUB/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\146?f\\224N\\144DN\\180r\\179N~\\205\\232\\166\\252\\141^\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQt]\\187\\197\\236]\\ETB\\195\\&7\\206'\\166\\b\\179\\DC2KB\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\&6\\249\\191\\180q\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218uB\\DC2\\175<j\\131\\144\\160\\240\\a\\131\\151\\210\\209\\165\\NAK\\CANsR\\EMC\\204\\206\\DC3\\158n\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CANXT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221*\\247\\245\\138p\\DC4\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\249\\222p=\\STX\\145\\201T\\128c>ki\\f\\186\\180o@ u\\143\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151o\\212\\166\\174\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\ENQ\\248\\159I/\\169k\\156\\251\\NAK\\f\\223\\179S\\DC4\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\241\\207\\129;\\NAK\\\\\\152\\ESC\\182\\ACK\\217\\f\\212uz\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\181\\196\\181\\171*\\220/\\132\\229\\n\\196\\vk\\159\\207\\ENQ\\197\\250\\CAN6\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\ENQ_\\255BAa\\197\\151\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\246\\v\\235\\164\\145!)\\242\\227\\208\\223\\&6f\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\149R$C\\188\\236\\EOTc\\242;\\176R\\ETX\\GS+\\\"*\\213k\\r\\n\\191m\\149\\202\\188^\\226\\t\\243a\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\184\\v\\197\\155 m(\\240\\207<<\\208\\191\\224\\244\\150/i\\RS\\132\\203\\149\\FS\\236\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\203jMw\\US\\246?#Oh\\182\\232\\139]iI8\\147\\252\\143QK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\250\\202\\134\\221\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\143\\ACK\\238Jh<\\192\\tw\\205\\131\\188\\222d\\133\\USr\\194?,o\\223\\230.o\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194]\\218\\153\\192\\225\\US\\209^?\\167\\230\\209[\\168Cww_\\236<\\221,\\146\\252`J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\159\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\157Y\\230\\FS\\131\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\245\\EM\\240t\\228n\\139\\243n[\\205\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"H .Pd=\\240X/\\167\\202\\152\\247\\199\\207^\\190g\\215\\146\\151\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137T\\228\\130#:\\\\\\170\\130\\142\\218y\\203NG\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199U\\159\\232\\DC2H\\230\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\NAK\\217\\192\\202\\&2\\234m\\US\\190F\\235\\143`\\142K\\242f>\\251\\183\\132\\&8{\\140\\201\\161\\161\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"?^\\221P\\NUL\\CANi\\143\\\"\\191X5$\\STX\\142B\\144\\221JU\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\158 \\234\\251\\208\\236\\n\\158\\147.N\\DC43M7\\NAK-\"","tag":"AbiBytesDynamic"},{"contents":"\"2N_\\DC3\\ESC-\\138~\\220\\154\\175'WR\\179>kh\\v\\f\\175_\\191\\135\\159\\248\\176A\\155\\DC3\\a\\213\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"/\\ENQ\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"\\v\\236Hb\\tC\\220\\145z\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"}q\\173F\\t\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186\\&2\\SOH\\\\\\211z\\208*}\\210]\\ETB\\131\\199\\153\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\CAN\\r\\247f\\140\\196\\GS6>F(\\140\\204%\\SUB\\151\\&1\\217+b:\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\160\\EOT\\170\\165\\216\\186;w\\128\\176\\213\\236c\\128\\216 \\SOHCb\\148\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"TST\"","tag":"AbiBytesDynamic"},{"contents":"\"VF\\216*\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"when a user requests a redemption and the PPS is >= the user PPS, user averageRequestPPS must not decrease\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\153\\&3!\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETXz\\154\\&5\\SOQ\\158d-\\182\\210\\203\\203,\\207|\\RS\\250\\226\\250\\EOT?wy&\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"NU\\248\\243\\253_\\139\\255}7ct\\227B\\173\\157E\\US\\201|\\150\\255\\199\\US]\\USRe\"","tag":"AbiBytesDynamic"},{"contents":"\"J\\145\\&8\\DLE\\135\\143\\167(T=\\172G\\189\\f\\US\\254\\ETX\\205\\187l\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\220s:>\\210?+{1\\180N\\162,D+T&\\145\\&6\\196\\141\\FS\\142\\141\\&3\\162\\235\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\ACK~$`\\171\\219,\\175Mbg\\224\\213\\185Q\\129\\139&Uv\\246\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\197MDd\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\&3\\185\\RSd)\\214M\\199\\136\\226\\r#\\130'\\243\\DC4\\232\\226t\\157V\\129\\145\\&5\\155K\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143p\\191\\201\\167\\209]\\148l\\186\\160/@\\220\\245\\&1qx>U\\218\\\\\\r\\226\\\\J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\FS\\165\\163\\244\\152\\136\\164\\223-\\209\\235\\t\\225\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\ETB\\212\\152\\NUL*\\v1\\t'\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\206\\EOT\\178p\\207\\230)\\228YP\\162\\210\\243O\\147\\231P\\137\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\"\\231]\\171\\DC4\\\"\\f\\220c\\161J\\236\\DC1\\228\\206\\250s\\191o\\174\\254\\167\\183\\135\\SI\\ETXn\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EOT;\\128\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\153\\EOT-|\\189^\\239\\199\\ETB\\163\\SI\\171\\178\\234\\136\\204\\175\\174b\\230Q\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"`k/{\\RS,\\217\\166\\197\\130\\209\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\199\\148$l\\\\\\149\\nL;\\197~\\132\\139\\135\\214v\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169\\ACK\\190\\NULZ\\171XW:\\220\\163\\180\\133\\157\\234\\143\\160\\204~\\165Qm\\152\\DLE\\251\\151?}\\132D\\SYN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\191\\152\\SOH\\240\\134^\\225Q\\188\\SYN\\231\\227\\134\\145\\194\\234\\141\\237aE\\237e\\183\\186\\148\\SYN6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f\\243\\137\\&5\\209\\238\\246\\133x\\130F\\213\\205\\184\\215#\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\215\\227\\&6y\\130\\188\\NAK\\192\\221\\176\\211\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232T\\193\\169\\218\\167\\DEL2\\224S\\ENQ\\211\\146\\228\\230/\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\165\\217M\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\147\\241Q\\t\\145\\214\\133*M\\217\\213\\157V\\187JO\\ETX\\225\\153\\239\\174*\\179&A\\201gJ\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\SO\\SI\\200\\244\\218<'\\152\\147I]tw\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\227\\&9\\182\\145\\255B\\t\\DLE\\STX\\142i\\GS\\218\\&1s\\249\\141\\208\\SO\\\"\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"/\\214\\198\\ETBX\\RS \\DLE\\168\\&0\\253+\\236\\DEL\\196\\ESC\\226\\172!\\183\\252\\137\\197{\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\207,J\\203\\185\\195\\\"Q\\192\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\184\\204\\241\\136\\247V\\170B\\147\\223;\\151\\175A\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"jN\\209\\DC4c\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\150\\237\\234\\186S\\228\\198/]\\r\\156uw\\144_\\141\\182NZ\\197l\\231\\135\\220\\254\\213\\191\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\128\\206\\213G\\145R\\\"uU)\\205\\196\\250]W*I\\135\\ETX\\249\\168\\245\\169\\130Rr\\140\"","tag":"AbiBytesDynamic"},{"contents":"\"Yiw\\135< \\241\\191\\242`s\\165%J({\\224-\\213\"","tag":"AbiBytesDynamic"},{"contents":"\"_r\\214\\152\\ESCi\\196\\250 \\242SH\\183t*\\aZ\\188\\138\\254&-\\203UH\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\188\\NAK\\167\\136\\155\\208&\\186\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"-e\\214\\SOH\\214\\&9\\158\\NAK\\188$\\236\\225\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180 z\\235\\v\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\203\\186\\185\\239)\\215lN2`E\\143\\167\\134u\\134\\178S\\228\\139&\\169N\\252[U\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"vD\\170Y\\249\\234\\&2\\252\\146\\193O5\\133\\216\\&1\\DLEO\\231\\220 \\180\\191h\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\128\\192\\197\\213i\\167y\\155\\231J(\\DC1<\\178\\RS-\\212,\\222\\166Md\\198>\\228\\135o\\223\\&6\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQk\\203V\\r]$p\\213\\205\\149\\242kv\\236\\227\\172\\156e2\\146>%\\184\\149\\223p%b\\r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\225\\181|\\208\\215(\\199\\&8i\\CAN\\169\\142\\247\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"n_\\197N\\146kO\\208^\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\214\\&0\\252\\178\\205/\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t,-M\\247\\227\\128\\234!\\229\\191,\\160\\&2\\254d\\243\\143\\FS\\132\\223!\\173\\153\\249\\161u\\DC1\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_VAULT_AGGREGATOR\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\174\\161\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"2Q}\\US\\232\\228?\\175\\152Y\\151\\138\\n\\vT\\236\\\">\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\173\\192\\233\\SUB\\173B\"","tag":"AbiBytesDynamic"},{"contents":"\"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\160\\243\\189x\\206j\\181V\\\\\\191e:}'&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\255\\175\\154\\SOf\\220 \\171q\\222>\\141\\ENQ\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\159%\\253M\\144\\170;\\174\\SOH\\250\\228X.\\SUBi\\200\\US\\205\\246u\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\169%<\\187vr\\176\\139\\250\\144\\226k3t\\234\\145l\\152\\190z\\197\\ESC\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"8\\233\\US\\195a\\EOT\\DC3\\159\\&8Q~\\189\\186X\\199(\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"d\\ENQ\\DLE\\154\\162\\180\\&4)\\134a\\172h\\223\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186D\\DC3\\233\\136s\\130\\154H\\EM\\179\\182x\"","tag":"AbiBytesDynamic"},{"contents":"\"%jc\\ESC\\166\\199\\186\\174!\\224\\EMF\\249Dzl\\131&\\252\\197\\204L\\228\\132O\\252\\223\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198,\\203\\SO\\169s\\194J5\\171\\128[\\170\\STXe\\138\\239\\181\\&1\\146\\225\\160\\&3^ \\DLE\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\208\\204\\136\\GS\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\242\\&94\\DLE@\\160\\r/\\NAK\\GS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132%=p\\ESC(\\249J\\182\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\240\\SYN\\215\\143P\\181\\191<\\240\\185?\\217\\ESC\\170\\201{\\146\\167\\167\\DLE\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"Undefined panic code\"","tag":"AbiBytesDynamic"},{"contents":"\"\\r\\166\\CAN\\179\\206x\\f=\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\DEL\\216\\DEL\\246\\129\\207Y\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195|\\229\\171Bb\\216\\227\\186\\154\\178)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\255\\157\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\216\\255V\\153$\\255\\210e]\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252\\131\\228gi\\SUB\\235\\175\\178\\224\\161\\US\\184\\208\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133\\224\\249~O\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"s$\\DC1\\223v\\134\\226\\174\\200z\\f\\216cr_\\255UKf\\236\\227\\207\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"\\231\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"#\\155\\143W\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"SuperVault\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\178p\\151\\&8\\137\\SI\\231\\211\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\204\\229\\252c}\\187\\229DNO\\193\\244\\219\\214\\157H\\FS\\GS\\209\\183\\v\\225\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"X\\232\\SYN\\152M\\231P\\238\\213\\172\\241U\\188\\ETX\\207\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"toUint256_outOfBounds\"","tag":"AbiBytesDynamic"},{"contents":"\"v\\243\\128J\\155\\211\\146\\161/{\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"7X.(\\218\\EOT\\255\\b\\DLE2\\245L\\183<m\\171v\\155\\139Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\185\\154_\\160L\\207\\214\\223k\\r \\134\"","tag":"AbiBytesDynamic"},{"contents":"\"\\255\\133p\\215\\223v\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\246\\130\\207\\&7W\\206~\\227\\STX\\\\R\\225-\\234 P\\ENQ\\185\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\141\\188;ca6\\231k\\129\\&4\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\USZ\\221\\148\\152\\128\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155N6\\140\\184=H\\139\\SYN\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\156\\216\\221g\\US\\DC2:\\\"\\207Z\\157\\NULm>\\230\\250\\154?\\183\\178\\205\\156\\241\\220\\252\\&9-\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\200\\220P\\246m\"","tag":"AbiBytesDynamic"},{"contents":"\"awC[\\197\\\\xJY\\130\\208~\\216\\236\\204\\220nB\\148g{9\\242\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"fV\\171\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\211\\142YK\\DC4\\210\\171\\&5\\143G\\187\\168]'\\242;\\232\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\158.\\a!\\a\\150\\217\\DELY\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"I/\\221?\\NUL\\tg+A\\DC4/\\STX \\147m\\220d>\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\161\\185\\253U\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\222\\130\\156\\232Wt\\203\\163\\255\\137\\226au\\214=K\\140\\141_\\141fC\"","tag":"AbiBytesDynamic"},{"contents":"\"cancelRedeem should never alter the supply of SuperVault tokens\"","tag":"AbiBytesDynamic"},{"contents":"\"=i\\NULp\\129{\\160\\237\\198$\\140\\r\\199f\\139\\158\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\186kR\\153}\\238hn@\\170\\200w\\a\\252s\\179\\159\\DC4H\\215\\219-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\255\\n\\188^\\195G\\197\\206\\133\\r\\CAN\\CAN\\151\\244q\\DC3\\215\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\140Z\\n\\239\\244\\212\\\\\\178ND\\177\\182\\220bk\\134hYY\\193\"","tag":"AbiBytesDynamic"},{"contents":"\"o:\\155LL\\246J\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\217\\223\\227)\\164,\\184\\185@\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"ERC7540-3: max* functions should never revert\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\158\\238\\170w\\234b\\189\\190\\SIb\"","tag":"AbiBytesDynamic"},{"contents":"\"P\\193#\\215\\140\\137n\\133\\172\\134\\134\\241\\188s\\164\\254\\236Z\\156\\250\\172\\254\\255g\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\152\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\234\\145R\\220\\170\\248\\247o\\245Y\\ETX\\NUL\\247\\227\\246\\223`>\\245\\240\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\166r\\147\\140 \\190\\177Q\\200\\\"\\159\\237\\129U\\239d\\204Q{\\NUL\\226\\206\\207W\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"vr\\181\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"\\235rl-z\\SYN\\168\\218\\239_\\138\\173\\237\\205\\185\\247\\236\\ESC>=\\208\\214P\\EOT\\136X\\DC1,\\167\\216\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"mk#\\149P\\175 \\184\\&8?\\160\\EOT\\CAN\\158\\&8&vl\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\197\\193o\\159\\EOT\\233\\147o\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\161N\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\245\\200\\200s\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"1\\237\\151\\129v\\147\\194\\200\\DC3\\ACK\\140\\134\\191\\183\\&3\\172w\\208\\174p\\190X\\243\\DLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\235t`\\223\\191\\186\\208\\DC1\\160l\\186s\\NAKi\\FS\\204i\\219\\155\\140;\\SYNg\\251\\228\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\252\\DC4\\ETX\\DC1\\133\\252\\a~\\161[-\\232\\235\\168I\\188\\170i\\154\\204d\\ACK\\130b\\196\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\255Z\\145\\203!\\ESC\\239<1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"k\\SI%\\133\"","tag":"AbiBytesDynamic"},{"contents":"\"V\\242\"","tag":"AbiBytesDynamic"},{"contents":"\"\\147\\&0a\\146\\191\\151\\&1i\\EOT1\\221n\\t\\STX\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"\\a\\rm\\234\\200]?\\193\\DC4\\212\\&7\\210\\238O\\136|\\213n\\210\\230\\EM\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DEL\\164!\\193\\246\\147_[\\177\\DEL:\\feM\\161\\204#{V\\253S\\229\\174o\\149\\140\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\174\\181%Uw\\t\\ENQ\\SYN\\154\\EOTY\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"sc\\v\\DC3\\229;Ii\\US#]H\\226\\225\\148\\US\\184p2\\144%B\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\130\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"\\241\\144\\223!z\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\190\\141\\172d\\213\\217\\134\\a\\DC3\\172Vl}\\134Y(N\\221\\DC1\\187Kh\\243\\254h\\152\\147\\176t\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\185\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\" &\\v\\227\\206m\\138\\188\\STX\\SUB\\191ZjaL\\169\\221\\&8\\225\\&4\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"O\\173\\vP\\237k\\131\\244\\139\\&8\\160\\197\\134M?i\\143z\\141N\\DC1\\220\\252\\223k\\223\\220\\222\\173\\170\\203\\143\"","tag":"AbiBytesDynamic"},{"contents":"\" 8\\150L\\SO\"","tag":"AbiBytesDynamic"},{"contents":"\"U\\165i\\195\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137B\\159\\207\\149\\208.\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212)\\184\\208\\130)\\238X\\247\\&3\\159\\254ZE\\206'>\\RS\\219\\187\\132\\t\\247\\178\\DC1\\128\\194\\226u\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234/W\\223\\&8\\194\\226\\238$\\197\\RS\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"H\\EMY\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\f`Y\\191\\168\\ru*\\188\\235\\136\\133\\240\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243\\178\\199E@&IB{u\\229k[\\240\\205\\210\\151~\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156T\\148\\182\\247\\185\\n\\SOHc\\b \\192\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"Oto\\129;\\177Or\\182C\\228PVQ\\165=\\242y\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\219\\FS\\\\Y|%\\171v\\186M4\\204\\165#\\135MA\\163_*\\r\\a\\175_\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251\\v\\EM\\213\\\\\\182\\139M=\\ETBs\\214\\196\\222o\\f`\\166\\177\\244!\\160\\254\\GS\\aR\\ENQ\\148\\246\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\129\\248\\&1s\\181\\EM\\207\\130wKU\\175\\241\\nW\\212\\135\\167A\\153\\231\\205\\225fy\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\v\\US\\246\\227\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\DC4\\171\\218\\170Ud\\187\\141\\232\\255\\153\\166\\152\\DC371\\238m\\161yltR\\ENQ?\"","tag":"AbiBytesDynamic"},{"contents":"\"_.\\201\\253T>\\168\\211\\132\\SYN\\163\\174\\209\\131ry\\139\\193t/\\178\\160\\DC1\\180\\&1\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\187\\DC2\\169\\&5\\222\\STX\\188\\211\\EOT\\170\\233\\201\\158pe\\230\\227+\\243\\DC1\\148\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\196-\\\\f\\DC3b\\221\\243\\218\\181\\238\\162\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205!\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\220-\\142m\\DC2c\\237\\EM\\235V\\221\\253\\137\\t\\NUL\\183\\&8\\131J\\SO\\148\\245\\&20\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\240\\191\\144X\\ETB;4J7\\164^\\141\\155\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"z#\\138\\168\\ETX\\USr\\255m\\201\\v\\SO\\224\\148\\148\\144\\182\\138]\\179`\\138\\166\\144\\SITXS'V\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\242\\133\\139\\136\\236\\196fc\\NULx\\\\\\a\\168D\\184\\128ixg\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\&5\\174?\\GS\\166\\155\\199lh\\196\\154\\&1I\\ESCm\\158\\&9\\209\\DC3f\\132\\135\\&5\\167\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"b&\\220\\&9\\217\\191\\DC3\\134\\198\\SUB|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134u\\184>\\245*\\SUB_X\\213\\174n\\213\\232\\188\\&2\\179\\203\\148\\153\\215\\&7-i\\DC1\\nc6\\135=\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\181jn\\SI0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\216\\FS\\230\\182\\ETX\\163\\EOT!\\219\\&7Q\\166\\233\\135r\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\216v\\212\\RSw?E\\143,\\130\\255\\153h\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\128\\164r5+)\\194\\SUB\\254\\173gR\\v\\164\\254S\\142\\221\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"N@\\SYN\\EMhht\\241\\181\\153\\211\\206\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t{*H\\192\\&5%`\\241Awsa\\197\\&4b\\EOT\\RS\\SYNV\\255X\\223.\\CANK\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB&\\171\\SI-\\137\\215\\129\\170\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\238\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\163\\250\\170\\239\\243\\ETX\\131^[&\\151 \\207lL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\129\\248\\&1s\\181\\EM\\207\\130wKU\\175\\241\\nW\\212\\135\\167A\\153\\231\\205\\225fy\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\v\\US\\246\\227\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\DC4\\171\\218\\170Ud\\187\\141\\232\\255\\153\\166\\152\\DC371\\238m\\161yltR\\ENQ?\"","tag":"AbiBytesDynamic"},{"contents":"\"_.\\201\\253T>\\168\\211\\132\\SYN\\163\\174\\209\\131ry\\139\\193t/\\178\\160\\DC1\\180\\&1\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\187\\DC2\\169\\&5\\222\\STX\\188\\211\\EOT\\170\\233\\201\\158pe\\230\\227+\\243\\DC1\\148\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\196-\\\\f\\DC3b\\221\\243\\218\\181\\238\\162\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205!\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\220-\\142m\\DC2c\\237\\EM\\235V\\221\\253\\137\\t\\NUL\\183\\&8\\131J\\SO\\148\\245\\&20\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\240\\191\\144X\\ETB;4J7\\164^\\141\\155\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"z#\\138\\168\\ETX\\USr\\255m\\201\\v\\SO\\224\\148\\148\\144\\182\\138]\\179`\\138\\166\\144\\SITXS'V\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\242\\133\\139\\136\\236\\196fc\\NULx\\\\\\a\\168D\\184\\128ixg\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\&5\\174?\\GS\\166\\155\\199lh\\196\\154\\&1I\\ESCm\\158\\&9\\209\\DC3f\\132\\135\\&5\\167\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"b&\\220\\&9\\217\\191\\DC3\\134\\198\\SUB|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134u\\184>\\245*\\SUB_X\\213\\174n\\213\\232\\188\\&2\\179\\203\\148\\153\\215\\&7-i\\DC1\\nc6\\135=\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\181jn\\SI0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\216\\FS\\230\\182\\ETX\\163\\EOT!\\219\\&7Q\\166\\233\\135r\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\216v\\212\\RSw?E\\143,\\130\\255\\153h\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\128\\164r5+)\\194\\SUB\\254\\173gR\\v\\164\\254S\\142\\221\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"N@\\SYN\\EMhht\\241\\181\\153\\211\\206\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t{*H\\192\\&5%`\\241Awsa\\197\\&4b\\EOT\\RS\\SYNV\\255X\\223.\\CANK\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB&\\171\\SI-\\137\\215\\129\\170\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\238\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\163\\250\\170\\239\\243\\ETX\\131^[&\\151 \\207lL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\129\\248\\&1s\\181\\EM\\207\\130wKU\\175\\241\\nW\\212\\135\\167A\\153\\231\\205\\225fy\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\v\\US\\246\\227\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\DC4\\171\\218\\170Ud\\187\\141\\232\\255\\153\\166\\152\\DC371\\238m\\161yltR\\ENQ?\"","tag":"AbiBytesDynamic"},{"contents":"\"_.\\201\\253T>\\168\\211\\132\\SYN\\163\\174\\209\\131ry\\139\\193t/\\178\\160\\DC1\\180\\&1\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\187\\DC2\\169\\&5\\222\\STX\\188\\211\\EOT\\170\\233\\201\\158pe\\230\\227+\\243\\DC1\\148\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\196-\\\\f\\DC3b\\221\\243\\218\\181\\238\\162\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205!\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\220-\\142m\\DC2c\\237\\EM\\235V\\221\\253\\137\\t\\NUL\\183\\&8\\131J\\SO\\148\\245\\&20\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\240\\191\\144X\\ETB;4J7\\164^\\141\\155\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"z#\\138\\168\\ETX\\USr\\255m\\201\\v\\SO\\224\\148\\148\\144\\182\\138]\\179`\\138\\166\\144\\SITXS'V\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\242\\133\\139\\136\\236\\196fc\\NULx\\\\\\a\\168D\\184\\128ixg\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\&5\\174?\\GS\\166\\155\\199lh\\196\\154\\&1I\\ESCm\\158\\&9\\209\\DC3f\\132\\135\\&5\\167\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"b&\\220\\&9\\217\\191\\DC3\\134\\198\\SUB|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134u\\184>\\245*\\SUB_X\\213\\174n\\213\\232\\188\\&2\\179\\203\\148\\153\\215\\&7-i\\DC1\\nc6\\135=\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\181jn\\SI0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\216\\FS\\230\\182\\ETX\\163\\EOT!\\219\\&7Q\\166\\233\\135r\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\216v\\212\\RSw?E\\143,\\130\\255\\153h\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\128\\164r5+)\\194\\SUB\\254\\173gR\\v\\164\\254S\\142\\221\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"N@\\SYN\\EMhht\\241\\181\\153\\211\\206\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t{*H\\192\\&5%`\\241Awsa\\197\\&4b\\EOT\\RS\\SYNV\\255X\\223.\\CANK\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB&\\171\\SI-\\137\\215\\129\\170\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\238\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\163\\250\\170\\239\\243\\ETX\\131^[&\\151 \\207lL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\129\\248\\&1s\\181\\EM\\207\\130wKU\\175\\241\\nW\\212\\135\\167A\\153\\231\\205\\225fy\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\v\\US\\246\\227\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\DC4\\171\\218\\170Ud\\187\\141\\232\\255\\153\\166\\152\\DC371\\238m\\161yltR\\ENQ?\"","tag":"AbiBytesDynamic"},{"contents":"\"_.\\201\\253T>\\168\\211\\132\\SYN\\163\\174\\209\\131ry\\139\\193t/\\178\\160\\DC1\\180\\&1\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\187\\DC2\\169\\&5\\222\\STX\\188\\211\\EOT\\170\\233\\201\\158pe\\230\\227+\\243\\DC1\\148\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\196-\\\\f\\DC3b\\221\\243\\218\\181\\238\\162\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205!\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\220-\\142m\\DC2c\\237\\EM\\235V\\221\\253\\137\\t\\NUL\\183\\&8\\131J\\SO\\148\\245\\&20\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\240\\191\\144X\\ETB;4J7\\164^\\141\\155\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"z#\\138\\168\\ETX\\USr\\255m\\201\\v\\SO\\224\\148\\148\\144\\182\\138]\\179`\\138\\166\\144\\SITXS'V\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\242\\133\\139\\136\\236\\196fc\\NULx\\\\\\a\\168D\\184\\128ixg\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\&5\\174?\\GS\\166\\155\\199lh\\196\\154\\&1I\\ESCm\\158\\&9\\209\\DC3f\\132\\135\\&5\\167\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"b&\\220\\&9\\217\\191\\DC3\\134\\198\\SUB|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134u\\184>\\245*\\SUB_X\\213\\174n\\213\\232\\188\\&2\\179\\203\\148\\153\\215\\&7-i\\DC1\\nc6\\135=\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\181jn\\SI0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\216\\FS\\230\\182\\ETX\\163\\EOT!\\219\\&7Q\\166\\233\\135r\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\216v\\212\\RSw?E\\143,\\130\\255\\153h\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\128\\164r5+)\\194\\SUB\\254\\173gR\\v\\164\\254S\\142\\221\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"N@\\SYN\\EMhht\\241\\181\\153\\211\\206\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t{*H\\192\\&5%`\\241Awsa\\197\\&4b\\EOT\\RS\\SYNV\\255X\\223.\\CANK\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB&\\171\\SI-\\137\\215\\129\\170\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\238\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\163\\250\\170\\239\\243\\ETX\\131^[&\\151 \\207lL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\129\\248\\&1s\\181\\EM\\207\\130wKU\\175\\241\\nW\\212\\135\\167A\\153\\231\\205\\225fy\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\v\\US\\246\\227\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\DC4\\171\\218\\170Ud\\187\\141\\232\\255\\153\\166\\152\\DC371\\238m\\161yltR\\ENQ?\"","tag":"AbiBytesDynamic"},{"contents":"\"_.\\201\\253T>\\168\\211\\132\\SYN\\163\\174\\209\\131ry\\139\\193t/\\178\\160\\DC1\\180\\&1\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\187\\DC2\\169\\&5\\222\\STX\\188\\211\\EOT\\170\\233\\201\\158pe\\230\\227+\\243\\DC1\\148\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\196-\\\\f\\DC3b\\221\\243\\218\\181\\238\\162\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205!\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\220-\\142m\\DC2c\\237\\EM\\235V\\221\\253\\137\\t\\NUL\\183\\&8\\131J\\SO\\148\\245\\&20\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\240\\191\\144X\\ETB;4J7\\164^\\141\\155\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"z#\\138\\168\\ETX\\USr\\255m\\201\\v\\SO\\224\\148\\148\\144\\182\\138]\\179`\\138\\166\\144\\SITXS'V\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\242\\133\\139\\136\\236\\196fc\\NULx\\\\\\a\\168D\\184\\128ixg\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\&5\\174?\\GS\\166\\155\\199lh\\196\\154\\&1I\\ESCm\\158\\&9\\209\\DC3f\\132\\135\\&5\\167\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"b&\\220\\&9\\217\\191\\DC3\\134\\198\\SUB|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134u\\184>\\245*\\SUB_X\\213\\174n\\213\\232\\188\\&2\\179\\203\\148\\153\\215\\&7-i\\DC1\\nc6\\135=\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\181jn\\SI0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\216\\FS\\230\\182\\ETX\\163\\EOT!\\219\\&7Q\\166\\233\\135r\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\216v\\212\\RSw?E\\143,\\130\\255\\153h\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\128\\164r5+)\\194\\SUB\\254\\173gR\\v\\164\\254S\\142\\221\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"N@\\SYN\\EMhht\\241\\181\\153\\211\\206\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t{*H\\192\\&5%`\\241Awsa\\197\\&4b\\EOT\\RS\\SYNV\\255X\\223.\\CANK\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB&\\171\\SI-\\137\\215\\129\\170\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\238\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\163\\250\\170\\239\\243\\ETX\\131^[&\\151 \\207lL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\129\\248\\&1s\\181\\EM\\207\\130wKU\\175\\241\\nW\\212\\135\\167A\\153\\231\\205\\225fy\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\v\\US\\246\\227\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\DC4\\171\\218\\170Ud\\187\\141\\232\\255\\153\\166\\152\\DC371\\238m\\161yltR\\ENQ?\"","tag":"AbiBytesDynamic"},{"contents":"\"_.\\201\\253T>\\168\\211\\132\\SYN\\163\\174\\209\\131ry\\139\\193t/\\178\\160\\DC1\\180\\&1\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\187\\DC2\\169\\&5\\222\\STX\\188\\211\\EOT\\170\\233\\201\\158pe\\230\\227+\\243\\DC1\\148\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\196-\\\\f\\DC3b\\221\\243\\218\\181\\238\\162\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205!\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\220-\\142m\\DC2c\\237\\EM\\235V\\221\\253\\137\\t\\NUL\\183\\&8\\131J\\SO\\148\\245\\&20\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\240\\191\\144X\\ETB;4J7\\164^\\141\\155\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"z#\\138\\168\\ETX\\USr\\255m\\201\\v\\SO\\224\\148\\148\\144\\182\\138]\\179`\\138\\166\\144\\SITXS'V\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\242\\133\\139\\136\\236\\196fc\\NULx\\\\\\a\\168D\\184\\128ixg\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\&5\\174?\\GS\\166\\155\\199lh\\196\\154\\&1I\\ESCm\\158\\&9\\209\\DC3f\\132\\135\\&5\\167\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"b&\\220\\&9\\217\\191\\DC3\\134\\198\\SUB|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134u\\184>\\245*\\SUB_X\\213\\174n\\213\\232\\188\\&2\\179\\203\\148\\153\\215\\&7-i\\DC1\\nc6\\135=\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\181jn\\SI0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\216\\FS\\230\\182\\ETX\\163\\EOT!\\219\\&7Q\\166\\233\\135r\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\216v\\212\\RSw?E\\143,\\130\\255\\153h\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\128\\164r5+)\\194\\SUB\\254\\173gR\\v\\164\\254S\\142\\221\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"N@\\SYN\\EMhht\\241\\181\\153\\211\\206\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t{*H\\192\\&5%`\\241Awsa\\197\\&4b\\EOT\\RS\\SYNV\\255X\\223.\\CANK\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB&\\171\\SI-\\137\\215\\129\\170\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\238\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\163\\250\\170\\239\\243\\ETX\\131^[&\\151 \\207lL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\129\\248\\&1s\\181\\EM\\207\\130wKU\\175\\241\\nW\\212\\135\\167A\\153\\231\\205\\225fy\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\v\\US\\246\\227\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\DC4\\171\\218\\170Ud\\187\\141\\232\\255\\153\\166\\152\\DC371\\238m\\161yltR\\ENQ?\"","tag":"AbiBytesDynamic"},{"contents":"\"_.\\201\\253T>\\168\\211\\132\\SYN\\163\\174\\209\\131ry\\139\\193t/\\178\\160\\DC1\\180\\&1\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\187\\DC2\\169\\&5\\222\\STX\\188\\211\\EOT\\170\\233\\201\\158pe\\230\\227+\\243\\DC1\\148\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\196-\\\\f\\DC3b\\221\\243\\218\\181\\238\\162\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205!\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\220-\\142m\\DC2c\\237\\EM\\235V\\221\\253\\137\\t\\NUL\\183\\&8\\131J\\SO\\148\\245\\&20\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\240\\191\\144X\\ETB;4J7\\164^\\141\\155\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"z#\\138\\168\\ETX\\USr\\255m\\201\\v\\SO\\224\\148\\148\\144\\182\\138]\\179`\\138\\166\\144\\SITXS'V\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\242\\133\\139\\136\\236\\196fc\\NULx\\\\\\a\\168D\\184\\128ixg\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\&5\\174?\\GS\\166\\155\\199lh\\196\\154\\&1I\\ESCm\\158\\&9\\209\\DC3f\\132\\135\\&5\\167\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"b&\\220\\&9\\217\\191\\DC3\\134\\198\\SUB|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134u\\184>\\245*\\SUB_X\\213\\174n\\213\\232\\188\\&2\\179\\203\\148\\153\\215\\&7-i\\DC1\\nc6\\135=\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\181jn\\SI0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\216\\FS\\230\\182\\ETX\\163\\EOT!\\219\\&7Q\\166\\233\\135r\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\216v\\212\\RSw?E\\143,\\130\\255\\153h\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\128\\164r5+)\\194\\SUB\\254\\173gR\\v\\164\\254S\\142\\221\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"N@\\SYN\\EMhht\\241\\181\\153\\211\\206\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t{*H\\192\\&5%`\\241Awsa\\197\\&4b\\EOT\\RS\\SYNV\\255X\\223.\\CANK\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB&\\171\\SI-\\137\\215\\129\\170\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\238\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\163\\250\\170\\239\\243\\ETX\\131^[&\\151 \\207lL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\129\\248\\&1s\\181\\EM\\207\\130wKU\\175\\241\\nW\\212\\135\\167A\\153\\231\\205\\225fy\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\v\\US\\246\\227\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\DC4\\171\\218\\170Ud\\187\\141\\232\\255\\153\\166\\152\\DC371\\238m\\161yltR\\ENQ?\"","tag":"AbiBytesDynamic"},{"contents":"\"_.\\201\\253T>\\168\\211\\132\\SYN\\163\\174\\209\\131ry\\139\\193t/\\178\\160\\DC1\\180\\&1\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\187\\DC2\\169\\&5\\222\\STX\\188\\211\\EOT\\170\\233\\201\\158pe\\230\\227+\\243\\DC1\\148\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\196-\\\\f\\DC3b\\221\\243\\218\\181\\238\\162\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205!\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\220-\\142m\\DC2c\\237\\EM\\235V\\221\\253\\137\\t\\NUL\\183\\&8\\131J\\SO\\148\\245\\&20\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\240\\191\\144X\\ETB;4J7\\164^\\141\\155\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"z#\\138\\168\\ETX\\USr\\255m\\201\\v\\SO\\224\\148\\148\\144\\182\\138]\\179`\\138\\166\\144\\SITXS'V\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\242\\133\\139\\136\\236\\196fc\\NULx\\\\\\a\\168D\\184\\128ixg\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\&5\\174?\\GS\\166\\155\\199lh\\196\\154\\&1I\\ESCm\\158\\&9\\209\\DC3f\\132\\135\\&5\\167\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"b&\\220\\&9\\217\\191\\DC3\\134\\198\\SUB|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134u\\184>\\245*\\SUB_X\\213\\174n\\213\\232\\188\\&2\\179\\203\\148\\153\\215\\&7-i\\DC1\\nc6\\135=\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\181jn\\SI0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\216\\FS\\230\\182\\ETX\\163\\EOT!\\219\\&7Q\\166\\233\\135r\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\216v\\212\\RSw?E\\143,\\130\\255\\153h\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\128\\164r5+)\\194\\SUB\\254\\173gR\\v\\164\\254S\\142\\221\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"N@\\SYN\\EMhht\\241\\181\\153\\211\\206\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t{*H\\192\\&5%`\\241Awsa\\197\\&4b\\EOT\\RS\\SYNV\\255X\\223.\\CANK\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB&\\171\\SI-\\137\\215\\129\\170\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\238\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\163\\250\\170\\239\\243\\ETX\\131^[&\\151 \\207lL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\129\\248\\&1s\\181\\EM\\207\\130wKU\\175\\241\\nW\\212\\135\\167A\\153\\231\\205\\225fy\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\v\\US\\246\\227\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\DC4\\171\\218\\170Ud\\187\\141\\232\\255\\153\\166\\152\\DC371\\238m\\161yltR\\ENQ?\"","tag":"AbiBytesDynamic"},{"contents":"\"_.\\201\\253T>\\168\\211\\132\\SYN\\163\\174\\209\\131ry\\139\\193t/\\178\\160\\DC1\\180\\&1\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\187\\DC2\\169\\&5\\222\\STX\\188\\211\\EOT\\170\\233\\201\\158pe\\230\\227+\\243\\DC1\\148\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\196-\\\\f\\DC3b\\221\\243\\218\\181\\238\\162\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205!\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\220-\\142m\\DC2c\\237\\EM\\235V\\221\\253\\137\\t\\NUL\\183\\&8\\131J\\SO\\148\\245\\&20\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\240\\191\\144X\\ETB;4J7\\164^\\141\\155\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"z#\\138\\168\\ETX\\USr\\255m\\201\\v\\SO\\224\\148\\148\\144\\182\\138]\\179`\\138\\166\\144\\SITXS'V\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\242\\133\\139\\136\\236\\196fc\\NULx\\\\\\a\\168D\\184\\128ixg\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\&5\\174?\\GS\\166\\155\\199lh\\196\\154\\&1I\\ESCm\\158\\&9\\209\\DC3f\\132\\135\\&5\\167\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"b&\\220\\&9\\217\\191\\DC3\\134\\198\\SUB|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134u\\184>\\245*\\SUB_X\\213\\174n\\213\\232\\188\\&2\\179\\203\\148\\153\\215\\&7-i\\DC1\\nc6\\135=\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\181jn\\SI0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\216\\FS\\230\\182\\ETX\\163\\EOT!\\219\\&7Q\\166\\233\\135r\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\216v\\212\\RSw?E\\143,\\130\\255\\153h\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\128\\164r5+)\\194\\SUB\\254\\173gR\\v\\164\\254S\\142\\221\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"N@\\SYN\\EMhht\\241\\181\\153\\211\\206\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t{*H\\192\\&5%`\\241Awsa\\197\\&4b\\EOT\\RS\\SYNV\\255X\\223.\\CANK\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB&\\171\\SI-\\137\\215\\129\\170\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\238\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\163\\250\\170\\239\\243\\ETX\\131^[&\\151 \\207lL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\129\\248\\&1s\\181\\EM\\207\\130wKU\\175\\241\\nW\\212\\135\\167A\\153\\231\\205\\225fy\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\v\\US\\246\\227\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\DC4\\171\\218\\170Ud\\187\\141\\232\\255\\153\\166\\152\\DC371\\238m\\161yltR\\ENQ?\"","tag":"AbiBytesDynamic"},{"contents":"\"_.\\201\\253T>\\168\\211\\132\\SYN\\163\\174\\209\\131ry\\139\\193t/\\178\\160\\DC1\\180\\&1\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\187\\DC2\\169\\&5\\222\\STX\\188\\211\\EOT\\170\\233\\201\\158pe\\230\\227+\\243\\DC1\\148\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\196-\\\\f\\DC3b\\221\\243\\218\\181\\238\\162\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205!\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\220-\\142m\\DC2c\\237\\EM\\235V\\221\\253\\137\\t\\NUL\\183\\&8\\131J\\SO\\148\\245\\&20\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\240\\191\\144X\\ETB;4J7\\164^\\141\\155\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"z#\\138\\168\\ETX\\USr\\255m\\201\\v\\SO\\224\\148\\148\\144\\182\\138]\\179`\\138\\166\\144\\SITXS'V\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\242\\133\\139\\136\\236\\196fc\\NULx\\\\\\a\\168D\\184\\128ixg\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\&5\\174?\\GS\\166\\155\\199lh\\196\\154\\&1I\\ESCm\\158\\&9\\209\\DC3f\\132\\135\\&5\\167\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"b&\\220\\&9\\217\\191\\DC3\\134\\198\\SUB|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134u\\184>\\245*\\SUB_X\\213\\174n\\213\\232\\188\\&2\\179\\203\\148\\153\\215\\&7-i\\DC1\\nc6\\135=\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\181jn\\SI0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\216\\FS\\230\\182\\ETX\\163\\EOT!\\219\\&7Q\\166\\233\\135r\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\216v\\212\\RSw?E\\143,\\130\\255\\153h\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\128\\164r5+)\\194\\SUB\\254\\173gR\\v\\164\\254S\\142\\221\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"N@\\SYN\\EMhht\\241\\181\\153\\211\\206\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t{*H\\192\\&5%`\\241Awsa\\197\\&4b\\EOT\\RS\\SYNV\\255X\\223.\\CANK\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB&\\171\\SI-\\137\\215\\129\\170\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\238\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\163\\250\\170\\239\\243\\ETX\\131^[&\\151 \\207lL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\129\\248\\&1s\\181\\EM\\207\\130wKU\\175\\241\\nW\\212\\135\\167A\\153\\231\\205\\225fy\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"c\\v\\US\\246\\227\\243\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\DC4\\171\\218\\170Ud\\187\\141\\232\\255\\153\\166\\152\\DC371\\238m\\161yltR\\ENQ?\"","tag":"AbiBytesDynamic"},{"contents":"\"_.\\201\\253T>\\168\\211\\132\\SYN\\163\\174\\209\\131ry\\139\\193t/\\178\\160\\DC1\\180\\&1\\\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\187\\DC2\\169\\&5\\222\\STX\\188\\211\\EOT\\170\\233\\201\\158pe\\230\\227+\\243\\DC1\\148\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"\\178\\196-\\\\f\\DC3b\\221\\243\\218\\181\\238\\162\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205!\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\220-\\142m\\DC2c\\237\\EM\\235V\\221\\253\\137\\t\\NUL\\183\\&8\\131J\\SO\\148\\245\\&20\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\240\\191\\144X\\ETB;4J7\\164^\\141\\155\\153\"","tag":"AbiBytesDynamic"},{"contents":"\"z#\\138\\168\\ETX\\USr\\255m\\201\\v\\SO\\224\\148\\148\\144\\182\\138]\\179`\\138\\166\\144\\SITXS'V\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\242\\133\\139\\136\\236\\196fc\\NULx\\\\\\a\\168D\\184\\128ixg\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\&5\\174?\\GS\\166\\155\\199lh\\196\\154\\&1I\\ESCm\\158\\&9\\209\\DC3f\\132\\135\\&5\\167\\183\"","tag":"AbiBytesDynamic"},{"contents":"\"b&\\220\\&9\\217\\191\\DC3\\134\\198\\SUB|\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134u\\184>\\245*\\SUB_X\\213\\174n\\213\\232\\188\\&2\\179\\203\\148\\153\\215\\&7-i\\DC1\\nc6\\135=\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\181jn\\SI0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\216\\FS\\230\\182\\ETX\\163\\EOT!\\219\\&7Q\\166\\233\\135r\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\177\\216v\\212\\RSw?E\\143,\\130\\255\\153h\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240\\128\\164r5+)\\194\\SUB\\254\\173gR\\v\\164\\254S\\142\\221\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"N@\\SYN\\EMhht\\241\\181\\153\\211\\206\\209\"","tag":"AbiBytesDynamic"},{"contents":"\"\\t{*H\\192\\&5%`\\241Awsa\\197\\&4b\\EOT\\RS\\SYNV\\255X\\223.\\CANK\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETB&\\171\\SI-\\137\\215\\129\\170\\226\"","tag":"AbiBytesDynamic"},{"contents":"\"E\\238\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\163\\250\\170\\239\\243\\ETX\\131^[&\\151 \\207lL\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\205\\234I~\\EM\\SYN\\231 \\224o\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"\\155\\216\\239\\209\\175\\164\\249ZS\\194n\\186\\STX\\157.e\\184\\239\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"\\156\\249\\NUL\\ENQ<\"","tag":"AbiBytesDynamic"},{"contents":"\"@r`\\162#\\146\\148\\204\\158\\194\\208M\\143B(AE^\\183\\248\\212n&\\134\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\&7\\DC1\\227\\172\\179\\150Lw@F>U\\152\\165\\t\\192Q\\142\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\235\\202i\"","tag":"AbiBytesDynamic"},{"contents":"\"if totalSupply > 0, then totalAssets > 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\145\\DC4\\250m\\249IC\\155\\&4\\220\\145\\199\\208iV\\181\\159\\222\\134\\199\\224\\195\\233\\DC2r\"","tag":"AbiBytesDynamic"},{"contents":"\"\\218\\163\\STX79\\178z\\228Acq\\ESC\\183%2\\151\\188\"","tag":"AbiBytesDynamic"},{"contents":"\".\\169\\223{\\141\\241KP\\129\\ENQ\\CAN\\188\\181\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\158(\\240I #\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239\\137\\201\\158\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\187\\SOH]\\207\\154)Z\\195'\\229\\EM\\232D\\192\\176\\&3i\\ACK |\\255\\DEL\\177\\229\\215\\231\\226N\\168\\ENQ\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232\\140\\128\\149\\238\\167\\153\\v\\249\\180\"","tag":"AbiBytesDynamic"},{"contents":"\"!\\201\\NUL`\\156k\\f\"","tag":"AbiBytesDynamic"},{"contents":"\"*\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\133V\\168\\190\\147C<IM\\216|\\245Nu\\215\\186\\FS \"","tag":"AbiBytesDynamic"},{"contents":"\"\\192P:\\DEL\\170\\238\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"GOVERNOR_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\188z\\228\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238c\\203\\NAKl vui\\RS)\\ESC\\193#\\FSRv\\GS\\179-^\\179\\148K\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"&)\\152\\230\\131@\\DC2\\207So\\245K\\RS\\241\\208\\147\\SO\\194mN\\242Pc\\146\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"\\243L\\183\\EM\\204\\205A\\130\\183\\133\\213\\214]\\202\\235\\147\\179\\130\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"aE\\rP\\\"\\195\\254\\144\\DC1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\198\\231\\200\\NAK\\139\\211^9#E\\154R\\142>\\222\\217\\213\\250r)4\\131\\183\\153\\224SG`\\225`\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\245%m\\am\\203\\182\\208\\248Q\\233a\\SOH>\\197\\EOT\\211\\140\\170\\222\\228\\204\\232\\&9JN\\225v5\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\254\\141\\248\\&1Gd\\203\\&0\\149 1\\180\\221\\n\\170_8\\246\\231\\ETB\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE8F\\229\\251\\190\\FS\\252:\\SO\\202+\\164\\228\\129\\185\\n\\197\\214n\\160\\233\\EOT\\232\\180Y\\140\\172Ko\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"{\\130\\201\\184\\US/\\141\\&6\\166\\129V\\216\\238\\254\\205o\\175\\n\\207|,\\SUB\\213\\SYN\\238M\"","tag":"AbiBytesDynamic"},{"contents":"\"/\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\159\\&8\\246\\189^\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\219\\160\\EOT\\128\\187.%\\GS\\231\\253\\NUL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\212\\155\\b\\196)\\154\\SIt\\134\\178A\\173\\158\\250\\219\\241\\224f\"","tag":"AbiBytesDynamic"},{"contents":"\";V0m\\232\\USm\\GS\\151\\217\\252{\\194\\199\\155K\\ETX\\150U\\142\\143T}\\171\\&2\\t\\161\\148\"","tag":"AbiBytesDynamic"},{"contents":"\"$m\\207\\134\\197!\\239\\216\\206\\163\\237\\nX\\249r\\159o\"","tag":"AbiBytesDynamic"},{"contents":"\"\"","tag":"AbiBytesDynamic"},{"contents":"\"\\220\\198\\CAN\\165\\203}\\176m\\250\\209\\189\\DC3O4B2#\\160 \\169\"","tag":"AbiBytesDynamic"},{"contents":"\"Hg\\197\\148q\\SO\\206\\206\\SYN\\200n<\\v\\245\\248e\\DC2\\188\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from shares)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user should not receive more than convertToAssets(pendingRedeemRequest) after cancelRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\ACK\\178\\133\\f m\\165S\\235.\\150rdw5\\166iI\\190\\208Q\\188\\223+\\228/x\\214\"","tag":"AbiBytesDynamic"},{"contents":"\":0V\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\DC1r\\176\\243\\255[6\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\197\\SYN\\241\\136\\CAN\\135p\\154\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"D\\174a\\148\\207\\181C\\239\\133\\&0\\255\\254\\197\\249^7c\\142\\190\\152\\&5N\\232\\156\\152\\156w\\EOT\\r\\171\\192\\252\"","tag":"AbiBytesDynamic"},{"contents":"\"\\253\\146\\196\\238\\as%\\240\\255\\134\\&7\\DEL\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DEVIATION\"","tag":"AbiBytesDynamic"},{"contents":"\"a\\145|\\132\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"PERMIT_DEADLINE_EXPIRED\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\225<\\v\\ENQ\\SUB\\DLE\\SOK\\129C\\US\\199*\\FS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\237\\175\\174h\\\\>\\US@\\164\\ENQ\\135C\"","tag":"AbiBytesDynamic"},{"contents":"\"\\130\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\SOH\\228\\215\\233\\202\\206\\202\\174\\228'\\aX\\163\\238\\ni\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\210\\162h\\207\\158I\\250\\190\\134\\NAK\\SUB\\252C\\236\\GSm\\161T\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\DEL\\211xC\\133\\157\\SOvq>0:\\244\\253\\242\\236\\165Z\\249\\151\\153\\188\\210~\"","tag":"AbiBytesDynamic"},{"contents":"\"<7(\"","tag":"AbiBytesDynamic"},{"contents":"\"K\\162'>[\\224\\ESC\\171z\\199\\207\\&3=\\STXDU\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"t<\\228\\129\\230\\DLE\\ETB\\154y;\\237(\\158%a\\177\\174dwp \\169\\187\\132\\232\\218\\159\\206y\\229\\142\\208\"","tag":"AbiBytesDynamic"},{"contents":"\")e\\t\\145\\136Z\\142\\ENQ}\\161\\177\\150\\DC2.z\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\DC2/\\180yKH\\183Xo\\CAN'\\234\\DC1\\175\\238\\135\\204c \\180\\179|\\237\\200\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131p~\\219\\166q\\168\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"3\\254O \\133\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"UP\"","tag":"AbiBytesDynamic"},{"contents":"\"\\133ez\\142\\239\\228\\\\F\\146c\\245\\165\\155<\\n0C\\165\\a\\192\\204w\\238s\\173xk\\234\\219F\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"a.\\169\\207\\227\\SOH#\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"Test Token\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\STXk\\DC3\\133\\196/\\\\\\FS\\210W\\SUB\\SOHR\\163\\158|\\179\\134B\\251\\FSv4M_)\\146\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\GS\\173\\190&\\DEL\\165\\140\\178z\\174\\230\\ENQ\\133u\\DC2\\155\\231\\236\\179x\\203\\195\\212nJY\\150\\DC2\\ETX\\249q\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\187\\DLE*\\195W|\\243\\183M\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\198\\217\\191\\185\\RS\\180Z)kU\\US&t\\174\\130\\204]\\v\\DC3\\NUL\\157\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ENQ\\143\\CAN\\223>\\177\\208j\\148\\DC3\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\171\\157\\246\\156\\176\\181\\t\\162\\226\\215\\221\\131\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\f_]\\248}\\243\\168\\196\\SUB)\\177\\\"\\RS\\221\\168\\EM\\247Y%,\\237\\229S\\252\\239l\\230\\170\\SUB\\239\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"\\232!\\239\\137\\223t$\\240\\174\\210\\167\"","tag":"AbiBytesDynamic"},{"contents":"\"\\244\\&9\\172\\138F@\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"@\\213\\211\\&7\\237h\\208\\241g\\175\\155#$\\201\\EM\\195\\DC2S\\163\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\193\\239\\SYN5\\151\\221\\184<\\136>N\\DC4y\\NUL\\SO\\ACK\\192\\217\\136\\142\\150(\\212Q\\186?\\154%t\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid percentage\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and mint equivalence\"","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":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\134\\136_s*\\128,\\230yw0\\171\\245\\DEL\\ETX\\138,\\177\\178\\252O\\136\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\180\\217f\\161|2@)\\164\\142B\\254\\198o\\218\\232\\&9\"","tag":"AbiBytesDynamic"},{"contents":"\"\\165W\\247\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"SD\\251&\\205\\DC2\\162%\\134\\201\\201\\ACK\\225;\\t\\FS\\RS<\\248\\b\\243x\\b\\153\\229\\ETB\\149\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! _update should never revert in transferFrom\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"\\248\\177\\250\\187\\193\\158m\\DC1\\221\\195\\254\\176\\&6E\\f\\163\\232\\253ug\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"<\\STX\\140M\\184\\SOH\\GS\\154\\232`\\169\\ACK\\173\\aV\\249\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\146=>zEz\\208\\rF_0\\ACK\\218\\249L\\RS\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"\\172\\254O\\153j\\232\\242\\140\\&2'$\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: redeem should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151a\\174z6\\161w\\162\\211<\\EM+\\252\\178qq0\\223l\\252O\\ENQ\\155O\\130\\234\\190\\189\\ACK&K'\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\156\\190>\\141\"","tag":"AbiBytesDynamic"},{"contents":"\"xFY\\144\\185\\178\\147\\220i\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC4\\217R\\SIx\\151`+\\222Gy\\213\\140v\\171IJ\\132\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"\\214C\\251\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"q\\RS\\ESC\\173u\\145q!<\\207\\245K\\148-!\\168_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\179\\\\ra\\DC3_\\208C:\\171\\180&\\ACKr,\\165\\132\\DC4\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"GAS_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"N\\171i\\171\\250+k\\n\\165\\139\\142}u\\177-\\CAN\\181\\255&\\187\\228\\222\\221\\\\'\\228\\nP-\\184\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorShares) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"},{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"\\132~\\159\\ETX'\\224\\207R\\145\\182\\DC4\\144\\EM\\182\\245\\t\\150\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"balanceOf(escrow) < SUM(controllers.pendingRedeemRequest)\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\a\\FS]l\\224\\223Q\\181\"","tag":"AbiBytesDynamic"},{"contents":"\",_\\\" \\210\\164\\v\\206.\\252\\STX4o%\\204A\\ETX#T\\212\\237\\STXu1\\164\\229B\\ETXs\\132\\247\\155\"","tag":"AbiBytesDynamic"},{"contents":"\"B\\173_\\\\z\\198\\252\\194\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\DLER\\253\\218#\\143\\DC4\\212^\\DC3\\235\\196\\181\\DELTRs\\DC4kHg\\203\\225jN\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"B#\\202\\SI+\\150\\219\\226\\\"\\221\\231\\158\\181\\&4\\SUB\\ETX\\215\"","tag":"AbiBytesDynamic"},{"contents":"\"BANK_MANAGER_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\183\\EOT\\ETB2\\240<oR\\247)\\222\\135?\\RS\\143X\\219\\160\\EOT\\t\\174\\164\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\t\\222\\180]\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251b\\137D\\172)\\170\\SO\\239\\DC4\\150\\140\\195Zv\\152\\216@\\221\\DEL8\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"\\US\\197\\150_\\224\\251xa\\230\\ETB\\158\\173\\236\\201T\\FS\\160{\\166\\r\\198\\\"f\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\DC2\\SYN\\227\\145\\&4\\150%\\v\\216\\170h`\\240\\246\\US\\SUBK\\225V\\227d\\182m\\238\\SO\\135\\NULN\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\SO\\191(\\240,\\a\\217\\183L\"","tag":"AbiBytesDynamic"},{"contents":"\"GWEI_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187|6\\222\\154~hn\\155=J{\\NAK\\194B\\188C/9\\234?\\255sx\"","tag":"AbiBytesDynamic"},{"contents":"\"load(address,bytes32)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"},{"contents":"\")\\223\\&5\\160\\&2\\172j,\\244N)\\251ba-\"","tag":"AbiBytesDynamic"},{"contents":"\"\\184\\146\\221\\187\\&1C\\206o\\175\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC7540-2: convertToShares(totalAssets) == totalSupply failed\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"53776089909487299909599476588912761940089150608372016392221366939211355509649"],"tag":"AbiUInt"},{"contents":[256,"27276472811925238722709726618335415861814009574594566295235733747910433890803"],"tag":"AbiUInt"},{"contents":[256,"11597505451816225286163912931575927503859425542377492382222212152035491766721"],"tag":"AbiUInt"},{"contents":[256,"69350833387530287665129873388983975543138535378619224887222259541283731398988"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639797"],"tag":"AbiUInt"},{"contents":[256,"88441187134980088244555066058304875827214024431951140742995196092117454095837"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639934"],"tag":"AbiUInt"},{"contents":[256,"98808115546481812818015349239520853592553366659637382169053923794788701881420"],"tag":"AbiUInt"},{"contents":[256,"98808115546481812818015349239520853592553366659637382169053923794788701881420"],"tag":"AbiUInt"},{"contents":[256,"98808115546481812818015349239520853592553366659637382169053923794788701881420"],"tag":"AbiUInt"},{"contents":[256,"98808115546481812818015349239520853592553366659637382169053923794788701881420"],"tag":"AbiUInt"},{"contents":[256,"98808115546481812818015349239520853592553366659637382169053923794788701881420"],"tag":"AbiUInt"},{"contents":[256,"98808115546481812818015349239520853592553366659637382169053923794788701881420"],"tag":"AbiUInt"},{"contents":[256,"98808115546481812818015349239520853592553366659637382169053923794788701881420"],"tag":"AbiUInt"},{"contents":[256,"98808115546481812818015349239520853592553366659637382169053923794788701881420"],"tag":"AbiUInt"},{"contents":[256,"98808115546481812818015349239520853592553366659637382169053923794788701881420"],"tag":"AbiUInt"},{"contents":[256,"25950227989118083303527095187675589722045527107817220621592381771931001027210"],"tag":"AbiUInt"},{"contents":[256,"6623834873659502063150568940687373879720031162802918696538347410354370292083"],"tag":"AbiUInt"},{"contents":[256,"74392963357181762622213473654570914263396655317059181643623997033857102135906"],"tag":"AbiUInt"},{"contents":[256,"58026158359740757952899852203696330085483669588552851898451737755885755842954"],"tag":"AbiUInt"},{"contents":[256,"15288588"],"tag":"AbiUInt"},{"contents":[256,"959"],"tag":"AbiUInt"},{"contents":[256,"72913841953419056"],"tag":"AbiUInt"},{"contents":[256,"252053279236820504486408904560065328873"],"tag":"AbiUInt"},{"contents":[256,"83003034951415964931108870448226116720349914044552766079452176444577308686492"],"tag":"AbiUInt"},{"contents":[256,"1248705882680562388186841331104478761653445628129856450082702933255902963197"],"tag":"AbiUInt"},{"contents":[256,"7246825938657488626825532390229038584656760653568586071817571703208346895060"],"tag":"AbiUInt"},{"contents":[256,"100000003"],"tag":"AbiUInt"},{"contents":[256,"59199540941826596629662389182604946084240731220070162464229591539223929139917"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638937"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062335"],"tag":"AbiUInt"},{"contents":[256,"7616485312514771384989439378925367978088416655203995476745672742958404520151"],"tag":"AbiUInt"},{"contents":[256,"1530181136"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"32098649161761633983219845168105668852635724110564627111280671367384528123617"],"tag":"AbiUInt"},{"contents":[256,"105610678192846182330425718035134834878263285825667603370329213165561311081196"],"tag":"AbiUInt"},{"contents":[256,"195"],"tag":"AbiUInt"},{"contents":[256,"37413823644044568303231210941412642187296626850176427894679613128541897801296"],"tag":"AbiUInt"},{"contents":[256,"24305645444075027924224950765795692785129866896143069147518427312934536604152"],"tag":"AbiUInt"},{"contents":[256,"85843526921015773672355520067180555737142756364347730142131181605302180064408"],"tag":"AbiUInt"},{"contents":[256,"82917775041263608874373366370984041602153418046731259789308706349454892553160"],"tag":"AbiUInt"},{"contents":[256,"278381073253724471084593339001983"],"tag":"AbiUInt"},{"contents":[256,"59236612091081722043112011088279208828795793120320555599512108344"],"tag":"AbiUInt"},{"contents":[256,"695"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"107890409833723725386873846735913353495235810603188391782654331804340587366479"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"8779200995207906994593871304594601740485559685235938790952981652972604601942"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"101234229102876691863048106029748353807472949271989563434873560640990736101465"],"tag":"AbiUInt"},{"contents":[256,"59182638836746926490352753457197704429539746497464562536096922319465997458828"],"tag":"AbiUInt"},{"contents":[256,"1530259788"],"tag":"AbiUInt"},{"contents":[256,"24488586112554323664779875629066393140000651946769103221963874395576387849895"],"tag":"AbiUInt"},{"contents":[256,"65571494680739352537379015600257759947789058668007257873208052709941667338993"],"tag":"AbiUInt"},{"contents":[256,"190"],"tag":"AbiUInt"},{"contents":[256,"6888066478505441749850992418581994297142195019068002000074442631546382030338"],"tag":"AbiUInt"},{"contents":[256,"278381073253724471084593339001983"],"tag":"AbiUInt"},{"contents":[256,"1527864442"],"tag":"AbiUInt"},{"contents":[256,"86493594875589183863488123400516483022"],"tag":"AbiUInt"},{"contents":[256,"1527391429"],"tag":"AbiUInt"},{"contents":[256,"1531797224"],"tag":"AbiUInt"},{"contents":[256,"1529093417"],"tag":"AbiUInt"},{"contents":[256,"1526769028"],"tag":"AbiUInt"},{"contents":[256,"44846316619392544553290712707715711187688027555061644261486629946685523668804"],"tag":"AbiUInt"},{"contents":[256,"5878623614256507594275124645717695763639139257454428160"],"tag":"AbiUInt"},{"contents":[256,"12885428157288869608442280650418367298980998939312970842533146677418329385380"],"tag":"AbiUInt"},{"contents":[256,"42910250129267259209854928183077926706118841498841953335342689695149768528723"],"tag":"AbiUInt"},{"contents":[256,"219812977770704321781187210"],"tag":"AbiUInt"},{"contents":[256,"892"],"tag":"AbiUInt"},{"contents":[256,"50956079377633933880778366119212696076691246008732394119133554433142395348967"],"tag":"AbiUInt"},{"contents":[256,"79483812277144673066101358940225859241399071647308714277970358642908121370155"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"86402"],"tag":"AbiUInt"},{"contents":[256,"999999999999999998"],"tag":"AbiUInt"},{"contents":[256,"976"],"tag":"AbiUInt"},{"contents":[256,"74512329499636161208660062619725031345508287735717361035224415248228777685673"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"83358868557239267504144691324376640762138083381280615873574714870755813153494"],"tag":"AbiUInt"},{"contents":[256,"21066354540020101379873065848151249937549656305403430647449949868719587335881"],"tag":"AbiUInt"},{"contents":[256,"58592584717551669106317171111286797817142016991130319133840153467482242911211"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e66d","0x000000000000000000000000000000000000000000000000000000000000d28c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_returnShares",[{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"},{"contents":[256,"218"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000027a9e","0x000000000000000000000000000000000000000000000000000000000000e344"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000088","0x0000000000000000000000000000000000000000000000000000000000007e4e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000925e7","0x000000000000000000000000000000000000000000000000000000000000e235"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c786","0x0000000000000000000000000000000000000000000000000000000000001369"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"91137430410412773115292521888481784825581038718216455873325493369955744183566"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000056039","0x000000000000000000000000000000000000000000000000000000000000a550"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw",[{"contents":[256,"499"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000242a3","0x0000000000000000000000000000000000000000000000000000000000009e0d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelDepositRequest",[{"contents":[256,"1534860039"],"tag":"AbiUInt"},{"contents":"0xA444FBB2a149cE92B1F25002F0d612583A75261a","tag":"AbiAddress"},{"contents":"0xe916cadb12C49389E487eB1e8194B1459b29B0eC","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005c774","0x000000000000000000000000000000000000000000000000000000000000653d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"101920127663580521666768034099899097821639896122875341854385411708532189564251"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd8","0x000000000000000000000000000000000000000000000000000000000000135e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"},{"contents":"0x886D6d1eB8D415b00052828CD6d5B321f072073d","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002f2d","0x000000000000000000000000000000000000000000000000000000000000841e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"46984876675537897897295284508363547989471947722208951634478346043095451386271"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008ce51","0x0000000000000000000000000000000000000000000000000000000000004563"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_moveAccumulatorOnTransfer",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x83898D1F3C03189fF03B471dd3456908FCA4423d","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007911816266896"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006e497","0x000000000000000000000000000000000000000000000000000000000000a57f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000273","0x00000000000000000000000000000000000000000000000000000000000054e7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007e9bf","0x0000000000000000000000000000000000000000000000000000000000004d6a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"2083966694779322022877046029486835318526687162734586373829388056099859294109"],"tag":"AbiUInt"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f96","0x0000000000000000000000000000000000000000000000000000000000008517"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSDoesntDecrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000034177","0x000000000000000000000000000000000000000000000000000000000000702d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_exact",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001c","0x0000000000000000000000000000000000000000000000000000000000000007"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_4_deposit",[{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":[256,"65560252386440618614360553063578818967107933112013422582836600747491374930065"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000f6ae","0x000000000000000000000000000000000000000000000000000000000000d054"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setRevertBehavior4626",[{"contents":[8,"218"],"tag":"AbiUInt"},{"contents":[8,"101"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000013e15","0x000000000000000000000000000000000000000000000000000000000000a48c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe5","0x0000000000000000000000000000000000000000000000000000000000009caa"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS_clamped",[{"contents":[256,"37673975750045339498386153725404199985494338137203691832411486588305956051615"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003a91b","0x000000000000000000000000000000000000000000000000000000000000e131"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000996b","0x000000000000000000000000000000000000000000000000000000000000111a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x5e5572F463FE04963DD4aC2b15b2f4fc28EF150C","tag":"AbiAddress"},{"contents":[256,"287"],"tag":"AbiUInt"},{"contents":[256,"26088086547041363002461897152614301166782988332512444831821073449726460044061"],"tag":"AbiUInt"},{"contents":[256,"110755827137589411467693822865071322225865949767841213393081084280806320546885"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002179c","0x0000000000000000000000000000000000000000000000000000000000009e93"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000060","0x000000000000000000000000000000000000000000000000000000000000001e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"7273150283392000063236829200375139631705343521958308533151908914221035967260"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001cae0","0x0000000000000000000000000000000000000000000000000000000000000f63"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x4709297055F35A751ee810B82EF1Aa4106AcA8B1","tag":"AbiAddress"},{"contents":[256,"756"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000042427","0x000000000000000000000000000000000000000000000000000000000000ca0f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_burnShares",[{"contents":[256,"1532520894"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002663d","0x0000000000000000000000000000000000000000000000000000000000007dbc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"6401836913224541154155679867518836613668"],"tag":"AbiUInt"},{"contents":[256,"1535014249"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639835"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001ff81","0x00000000000000000000000000000000000000000000000000000000000012b8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"162"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000005f","0x000000000000000000000000000000000000000000000000000000000000c7bc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_changePrimaryManager",[{"contents":"0xf850CF5D8420B276512Bf1b645C7172eA09a6DBe","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000009f29","0x00000000000000000000000000000000000000000000000000000000000003f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_5",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"108592853453416811700108918833902304478841082187401405261852086300372029473257"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000029174","0x00000000000000000000000000000000000000000000000000000000000071dd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations4626Mint",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"22177201388"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640464039457584007913129639935"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000062662","0x00000000000000000000000000000000000000000000000000000000000003f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_mint",[{"contents":[256,"48427623705518667749444315074685194759249850248575540037226763695117469861824"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000012d","0x0000000000000000000000000000000000000000000000000000000000004ac4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_totalSharesDontDecreaseOnRedemptionRequest",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084813","0x000000000000000000000000000000000000000000000000000000000000ea73"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"19277234301936743292354870106444270930622286804805662435978432708461891399318"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":"0x3450a15Dc9cbDD5C0e28cC22474D88AD7e2695A3","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000001bf6f","0x000000000000000000000000000000000000000000000000000000000000001e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005408b","0x000000000000000000000000000000000000000000000000000000000000101e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addSecondaryManager",[{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000885b8","0x000000000000000000000000000000000000000000000000000000000000043f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000383","0x0000000000000000000000000000000000000000000000000000000000004be7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"255"],"tag":"AbiUInt"},{"contents":[256,"38254237111383318532765388936629857869710740617852155152618527947417049337501"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000089b99","0x0000000000000000000000000000000000000000000000000000000000005ca8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepPaymentsChange",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000393bd","0x0000000000000000000000000000000000000000000000000000000000000382"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",[{"contents":[256,"17498712336955146189193321254740251267253211176471512252415291980526678139965"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005afe6","0x0000000000000000000000000000000000000000000000000000000000009493"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000065ed4","0x000000000000000000000000000000000000000000000000000000000000058f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"17884384108837690998885166258852071802167646784138201834164706484657785524595"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007861a","0x0000000000000000000000000000000000000000000000000000000000003e62"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"2064719322139982440"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007a02f","0x0000000000000000000000000000000000000000000000000000000000000570"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",[{"contents":[256,"1536820722"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004fc09","0x000000000000000000000000000000000000000000000000000000000000a05f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000064","0x00000000000000000000000000000000000000000000000000000000000041ed"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["switch_asset",[{"contents":[256,"0"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004a99a","0x0000000000000000000000000000000000000000000000000000000000002a17"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"56552759597257786876529663353873106437227077981974951488220379351742503985251"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000924c9","0x0000000000000000000000000000000000000000000000000000000000009b9c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"40487046613904487502591573383216366984116236137666636717287095425372107911571"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ce86","0x000000000000000000000000000000000000000000000000000000000000a296"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]