[{"call":{"contents":["superVaultAggregator_depositUpkeep",[{"contents":[256,"86080691340266681440658200597473461946333414604873976664792888118253669111559"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052402","0x00000000000000000000000000000000000000000000000000000000000012a1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_setLossOnWithdraw",[{"contents":[256,"317"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000077bce","0x00000000000000000000000000000000000000000000000000000000000003e8"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_createVault",[{"contents":[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"\"SUPER_ASST_FACTORY\"","tag":"AbiString"},{"contents":"\"!!! Primary manager should always be changeable if not paused\"","tag":"AbiString"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[256,"83018886231049599349994540983638748854593242635597405264328700310671935193402"],"tag":"AbiUInt"},{"contents":[256,"956"],"tag":"AbiUInt"},{"contents":[{"contents":[256,"54075013709235282407168755076242152028648313638305785133858363724965"],"tag":"AbiUInt"},{"contents":[256,"733919473158235952276519492532224054676462867060460638876674576459201880577"],"tag":"AbiUInt"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"}],"tag":"AbiTuple"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000066","0x0000000000000000000000000000000000000000000000000000000000000f9f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",[{"contents":[256,"101389266257103382045197000082058271990724087861543324421719528906641042010207"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002712","0x0000000000000000000000000000000000000000000000000000000000001379"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_2",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006ae4e","0x0000000000000000000000000000000000000000000000000000000000007e4c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfClaimable",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006b10f","0x0000000000000000000000000000000000000000000000000000000000000019"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_transfer",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"30643407810863642314693714009255254165012102885307048803251901886088090579710"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000135ab","0x0000000000000000000000000000000000000000000000000000000000002ea6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ead1","0x00000000000000000000000000000000000000000000000000000000000020ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"39026704299412943956564431971958640117972649835257426816897766433441258280627"],"tag":"AbiUInt"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb49","0x000000000000000000000000000000000000000000000000000000000000614d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_handleOperations7540_clamped",[{"contents":[256,"31473288868064216545858793580379854912130098823829305485826556775546651572282"],"tag":"AbiUInt"},{"contents":[256,"76058597933860079417784163786337987437723097412167307488758456440619281459469"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000467d1","0x0000000000000000000000000000000000000000000000000000000000008ecc"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000007e8d9","0x00000000000000000000000000000000000000000000000000000000000078a2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_avgPPSMonotonicity",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001a5d","0x0000000000000000000000000000000000000000000000000000000000001386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchRandom",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb0a","0x000000000000000000000000000000000000000000000000000000000000d8d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000037272","0x000000000000000000000000000000000000000000000000000000000000dcbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639858"],"tag":"AbiUInt"},{"contents":[256,"164"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea5c","0x000000000000000000000000000000000000000000000000000000000000139e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC4626",[]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000794c7","0x000000000000000000000000000000000000000000000000000000000000614c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"29"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000003ffc","0x00000000000000000000000000000000000000000000000000000000000022fe"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_executeVaultFeeConfigUpdate",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000032bd9","0x0000000000000000000000000000000000000000000000000000000000006a02"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_removeAuthorizedCaller",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000075d98","0x0000000000000000000000000000000000000000000000000000000000000062"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeUpkeepPaymentsChange",[{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eade","0x00000000000000000000000000000000000000000000000000000000000001f3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_proposeVaultFeeConfigUpdate",[{"contents":[256,"22713320668080206464387263279489570905380592372789105119670862637117301762099"],"tag":"AbiUInt"},{"contents":[256,"274297349702941646852"],"tag":"AbiUInt"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000893ef","0x000000000000000000000000000000000000000000000000000000000000101d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setPreviewSharesGreater",[{"contents":[256,"57946524564010565065108316236495579866783386972901812237852690735770410859822"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2e","0x0000000000000000000000000000000000000000000000000000000000008190"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"114291792791914422248230588602312809467449412529716957383914477609096096790179"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002fc00","0x0000000000000000000000000000000000000000000000000000000000000030"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["add_new_asset",[{"contents":[8,"152"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000060","0x0000000000000000000000000000000000000000000000000000000000006ddb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000039","0x0000000000000000000000000000000000000000000000000000000000005d4d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSource_clamped",[{"contents":[256,"1003"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000604c0","0x0000000000000000000000000000000000000000000000000000000000009e97"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0ec","0x000000000000000000000000000000000000000000000000000000000000398d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",[{"contents":[256,"72074436971203459872616175131883624088356369004781140579191682549939710125111"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb45","0x000000000000000000000000000000000000000000000000000000000000d065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"69524384016505882011236971559820878331209981310520578661520292032651108439754"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae7","0x000000000000000000000000000000000000000000000000000000000000231d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000044","0x000000000000000000000000000000000000000000000000000000000000116e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639801"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000039bb1","0x000000000000000000000000000000000000000000000000000000000000ea4f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeMinStalenesChange",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000031","0x0000000000000000000000000000000000000000000000000000000000000234"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_redeem",[{"contents":[256,"24925654908061421430213146233706203535744694140042880878934613045272925432502"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf4","0x000000000000000000000000000000000000000000000000000000000000005d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeUpkeepClaim",[{"contents":[256,"52250861546002752221896041979790141702077724440088718376689278590327270277260"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0ea","0x000000000000000000000000000000000000000000000000000000000000132a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",[{"contents":[256,"97322898904169025958444273090984018224175069934748932777097037225339356663600"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000580b1","0x000000000000000000000000000000000000000000000000000000000000037e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000f1d","0x00000000000000000000000000000000000000000000000000000000000001f6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_5_ASSERTION_ERC7540_5",[{"contents":[256,"28680522306547752603415331321071001575721805531158507437211"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000006bceb","0x000000000000000000000000000000000000000000000000000000000000b0cd"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_executeFeeUpdate",[{"contents":[8,"91"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000007d2","0x0000000000000000000000000000000000000000000000000000000000009e95"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_approve",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"46308022326495007027972728677917914892729792999299745830475596687180801507329"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003e1ce","0x0000000000000000000000000000000000000000000000000000000000000045"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_updatePPSVerificationThresholds",[{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":[256,"59100126662367440980911638322016877648801711449889301946105450132263794355729"],"tag":"AbiUInt"},{"contents":[256,"73892126009492680085636853440887034412486246330740473853113379957256212958906"],"tag":"AbiUInt"},{"contents":[256,"55"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c4f1","0x0000000000000000000000000000000000000000000000000000000000000386"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_claimCancelRedeemRequest",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639834"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000875e5","0x000000000000000000000000000000000000000000000000000000000000131a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"38203953832840911340396521315142691724224012687037309744352220091217249964699"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea1c","0x0000000000000000000000000000000000000000000000000000000000004b96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee_clamped",[{"contents":[256,"36407879419560389133164513359735818726393181629076613104373842981845642286157"],"tag":"AbiUInt"},{"contents":[256,"18919298681028927562490883920985759653728344322933846684944726869596658393460"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea49","0x0000000000000000000000000000000000000000000000000000000000002e32"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"121"],"tag":"AbiUInt"},{"contents":[256,"100"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000386","0x00000000000000000000000000000000000000000000000000000000000007d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager",[{"contents":"0x2FAcC608F385d9435B7C3773F83BD2a8902fdca0","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bb","0x0000000000000000000000000000000000000000000000000000000000007116"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_fulfillOnlyBurnsRequestedAmount",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eaf1","0x0000000000000000000000000000000000000000000000000000000000000023"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",[{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"19086559067793800774331131730844651962155287508874297978383407191140484389717"],"tag":"AbiUInt"},{"contents":[256,"120"],"tag":"AbiUInt"},{"contents":[256,"111940945595800281507312231012574995185010752997112311929549658669601340164400"],"tag":"AbiUInt"}]],"tag":"AbiArray"},{"contents":[3,{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"105951386290935864456974851519143981589651933709379843217660544208245994351650"],"tag":"AbiUInt"},{"contents":[256,"11908160781084541152534001901302931716482171237400658457138074573507020396824"],"tag":"AbiUInt"},{"contents":[256,"46905662784248119705167501139242910737470531429420265603668833426362136988052"],"tag":"AbiUInt"}]],"tag":"AbiArray"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003149e","0x0000000000000000000000000000000000000000000000000000000000008195"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_executeChangePrimaryManager_clamped",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34c","0x0000000000000000000000000000000000000000000000000000000000001398"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",[{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577603"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000003e6","0x0000000000000000000000000000000000000000000000000000000000006dde"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639901"],"tag":"AbiUInt"},{"contents":false,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004ea4a","0x0000000000000000000000000000000000000000000000000000000000000fa3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_withdraw_clamped",[{"contents":[256,"112722981799201294771414869833123340266604341263013915509436389130745897974795"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000e5","0x0000000000000000000000000000000000000000000000000000000000001369"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"73010143390315934406010559831118728393600729754696197287367516085911467577602"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2c","0x0000000000000000000000000000000000000000000000000000000000000030"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_fulfillRedeemRequests_clamped",[{"contents":[256,"9286426262100758114220640577779127442045498942101745139694953055773245994798"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f46f","0x000000000000000000000000000000000000000000000000000000000000653c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_3",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d7bf","0x00000000000000000000000000000000000000000000000000000000000003e9"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000055777","0x000000000000000000000000000000000000000000000000000000000000008b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_initialize",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000086","0x000000000000000000000000000000000000000000000000000000000000dcba"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeFee",[{"contents":[8,"65"],"tag":"AbiUInt"},{"contents":[256,"25838776979846466167941519109684760929889654169691515978859650004710837036793"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004cc0e","0x0000000000000000000000000000000000000000000000000000000000008b8f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",[{"contents":[256,"50636154058040177140777259840799564685274065124644288773345893267566858577010"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000008a","0x000000000000000000000000000000000000000000000000000000000000138b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_setOperator",[{"contents":[256,"12511937349914110956353713834942601640414433909442411838619204796431629349075"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008f9df","0x000000000000000000000000000000000000000000000000000000000000001a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeMinStaleness",[{"contents":[256,"19607130950080314288204637817034901474793009543788144170560467873711546353535"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000052be8","0x00000000000000000000000000000000000000000000000000000000000011ab"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dc2d","0x000000000000000000000000000000000000000000000000000000000000ea96"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000000d","0x00000000000000000000000000000000000000000000000000000000000012a2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["erc7540_7_deposit",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":[256,"9001"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eae2","0x000000000000000000000000000000000000000000000000000000000000dcbf"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorCostBasisIncrease",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e703","0x000000000000000000000000000000000000000000000000000000000000134c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem_clamped",[{"contents":[256,"47337666770716042880094344269553290679249555169685717606143333377757939880074"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb2d","0x0000000000000000000000000000000000000000000000000000000000009aa2"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_requestRedeem",[{"contents":[256,"20613613808751538422341216468049735790282729585494211277616531290596081364708"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000060","0x000000000000000000000000000000000000000000000000000000000000711b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_redeem5115",[{"contents":"0xD16d567549A2a2a2005aEACf7fB193851603dd70","tag":"AbiAddress"},{"contents":[256,"548"],"tag":"AbiUInt"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":[256,"178"],"tag":"AbiUInt"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000014f95","0x0000000000000000000000000000000000000000000000000000000000000075"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateGain",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004e376","0x000000000000000000000000000000000000000000000000000000000000012f"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_maxMintZeroWhenPaused",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dba8","0x0000000000000000000000000000000000000000000000000000000000001475"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_withdraw",[{"contents":[256,"58508720811594668844858543719374822341418284731352979715677664337602630879983"],"tag":"AbiUInt"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003340a","0x0000000000000000000000000000000000000000000000000000000000008ec6"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_oraclePPSDoesntChangeOnAddOrRemove",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000043c91","0x0000000000000000000000000000000000000000000000000000000000005d4b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC4626YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb23","0x000000000000000000000000000000000000000000000000000000000000dcbb"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_simulateLoss",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129629939"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000001d","0x000000000000000000000000000000000000000000000000000000000000950e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["yieldSource_switchToERC5115",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e34d","0x000000000000000000000000000000000000000000000000000000000000614e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",[{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639933"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd38","0x000000000000000000000000000000000000000000000000000000000000653e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_slashStake",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"20800475341556232414868124524035685872374099247020798497869679747265605397340"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000000c247","0x00000000000000000000000000000000000000000000000000000000000007d3"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004dd33","0x000000000000000000000000000000000000000000000000000000000000129e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000008a317","0x0000000000000000000000000000000000000000000000000000000000001021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_addAuthorizedCaller",[{"contents":"0x92a6649Fdcc044DA968d94202465578a9371C7b1","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000017","0x0000000000000000000000000000000000000000000000000000000000000065"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_assetBacking",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000074d9f","0x00000000000000000000000000000000000000000000000000000000000035d4"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005e351","0x000000000000000000000000000000000000000000000000000000000000a291"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeGlobalHooksRoot_clamped",[{"contents":[32,"\"PERMIT_DEA\\NULLINE_EXPIRED\\NUL\\NUL\\NUL\\NUL\\NULD\\NUL\\NUL\\NUL\""],"tag":"AbiBytes"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eac7","0x0000000000000000000000000000000000000000000000000000000000000013"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_shareSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000048","0x000000000000000000000000000000000000000000000000000000000000c062"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_claimUpkeep",[{"contents":[256,"20070074588383962396198268385723880751171024713027689684559927300975443852931"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002d4fe","0x000000000000000000000000000000000000000000000000000000000000232a"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",[{"contents":[256,"131"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000005d76e","0x0000000000000000000000000000000000000000000000000000000000006a28"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesSolvency",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000080772","0x00000000000000000000000000000000000000000000000000000000000003e5"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultEscrow_escrowShares",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913127639937"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004eb38","0x0000000000000000000000000000000000000000000000000000000000000021"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002a045","0x0000000000000000000000000000000000000000000000000000000000006a2b"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000089","0x000000000000000000000000000000000000000000000000000000000000134c"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["ECDSAPPSOracle_updatePPS",[{"contents":[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x1d1499e622D69689cdf9004d05Ec547d650Ff211","tag":"AbiAddress"},{"contents":"0x212224D2F2d262cd093eE13240ca4873fcCBbA3C","tag":"AbiAddress"},{"contents":"0xD6BbDE9174b1CdAa358d2Cf4D57D1a9F7178FBfF","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":{"tag":"AbiBytesDynamicType"},"tag":"AbiArrayDynamicType"},[{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"requestRedeem should never reduce SuperVault shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\234g\\a\\ESC8]\\197\\EM/\\209\\213\\CAN\\198\\170\\158'\\172\\\"\\249{_\"","tag":"AbiBytesDynamic"},{"contents":"\"\\245\\187\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: deposit with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\137\\210a\\DLE\\151$\\247\\198\\192(\\234\\237]E\\149\\t\\207Y\\232\\&9\\148\\128\\219\\209a\\DEL\\149?B\\a\\198\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"2\\STX\\165\\144>\\148\\t\\v\\ETB\\224_\\ETB\\225\\NAKC\\203L\\v;\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: mint with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"L\\RS19\\212\\140\\231\\170{\\183\\184\\DC2@m\\207r\\197!\\194q\\STX>U_w\"","tag":"AbiBytesDynamic"},{"contents":"\"+\\210a\\DC1HVg\\160r\\187\\212U\\210\\132\\237s\\222W\\152\\174\\151\\224\\135u\\SYNU\\SUBe\\252\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\251\\145\\239M\\201H\\164u\\236\\217YT0\"","tag":"AbiBytesDynamic"},{"contents":"\"\\CAN\\DLE&w\\246\\216\\249\\208YIy\\212\\176\\234U\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\171\\CAN\\148]\\205\\210V\\227\\162Ry\\142\\157\\EOT\\240\\n\\DEL\\185\\245\\&7\\SI\\165\\vp\\206\\214\\141\\146\\237\\169\\241\"","tag":"AbiBytesDynamic"},{"contents":"\" \\156\\235\\207\\&3O#\\SUB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ACK\\196\\223c\\NAK\\208\\244\\184\\146\\RS\\149\\219{eU=\\235\\211U\\DC1$\\239H\\SO!%\\231u\\232k\\157\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DLE\\198\\DC4@Q\\168\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"\\161X\\209\\tH\\150r\\181\\SUB$\\244P\\189Sy\\158\\137\\NAKr\\243\\234\\SO10B\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198.\\157\\183F\\194\\f\\237\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"C\\206\\237\\ENQ\\134\\221\\193z`u\\207\\ACK}\\183E\\142D\\175?e\\b4\\248\"","tag":"AbiBytesDynamic"},{"contents":"\"\\187\\199\\SOHP\\180s\\203\\164\\163o\\210Uh\\188\\&9\\184)\"","tag":"AbiBytesDynamic"},{"contents":"\" \\a\\159\\196\\220W\\RS\\176B\\207\\211\\235\\183\\DEL\\211}M\\DLEN\\227\\&8\\210E\"","tag":"AbiBytesDynamic"},{"contents":"\"\\210\\176\\244~\\174~,\\254n\\DELB\\217\\\\\\161.T\\232\\&0B\\252\\194\\STX,\\215\\222,\\204\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\225\\EOT\\204\\132\\201\\172\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"R\\245\\ESCy\\235\\USTX=cv\\193\\132\\194\\155\\174\\218\\206\\187\\232\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"s\\184\\211\\234\\159\\136H\\231\\\"$0\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxDeposit when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"Yk'8\\176\\131_\\233\\206\\216\\DC3C\\211~\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"'\\235\\196\\242\\tQS\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"F\\177\\128zE\"","tag":"AbiBytesDynamic"},{"contents":"\"stateless\"","tag":"AbiBytesDynamic"},{"contents":"\"\\224\\\\x\\236I\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint returns the correct amount compared to executing a mint\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\150\\208\\235\\180\\246\\\\\\tl\\NAK\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RS\\SUB\\239\\177J\\157Z\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\180\\241\\166\\a\\225;\\166ip\\178\\141\\139\\195\\252\\176\\251\\179S\\225\\azW#\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174\\221\\208w\"","tag":"AbiBytesDynamic"},{"contents":"\"\\189\\n|\\246W\\DLE%u|\\199\\143t\\190^\\170A\\201\\221k\\156I\\156\\167\\175/~\\246J5\\254\\241\"","tag":"AbiBytesDynamic"},{"contents":"\"w\\249\\174tD\\175V\\232\\203\\143\\253\\166\\224\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in mint/redeem flow\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"MANAGER_TAKEOVERS_FROZEN()\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\136\\201W\\210\\226*\\SI\\ACK>;(\\FS\\204\\224\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! Claiming redemptions should never revert with INVALID_REDEEM_CLAIM\"","tag":"AbiBytesDynamic"},{"contents":"\"CNj\\212Q\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\201k\\234\\210ha0\\220\\195OI\\236b\\185\\213\\130\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ASSET_FACTORY\"","tag":"AbiBytesDynamic"},{"contents":"\"9\\r\\137\\t\"","tag":"AbiBytesDynamic"},{"contents":"\"Al\\177\\EM\\210g\\242v\\STX\\237=?\\225r\\a\\165\\SO\\246\\SO\\DLE\\DLE\\229\\177\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! total shares redeemed must not exceed sum of requested shares\"","tag":"AbiBytesDynamic"},{"contents":"\"\\182\\243\\152\\DLE\\189{#\\143\\218\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! canary assertion\"","tag":"AbiBytesDynamic"},{"contents":"\"fbJV\\v\\139Wp\\167\\180\\&1\\169\\202\\184\\196\\171\\222\\193r>\\158-B\\226\\185b\"","tag":"AbiBytesDynamic"},{"contents":"\"\\164\\149\\169\\v\\216}\\v\\229\\141\\202\\204dh\\174|\\150\\198\\ETX\"","tag":"AbiBytesDynamic"},{"contents":"\"T\\129\\181\\DC1\\154\\159\\144l\\STX%\\STX9m\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\207\\235ue\\158B\\207\\&9T\\STX\\179\\152\\230[J\\156\\165!\\144\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254W\\222l|\\RS\\198\\240\\176\\191a\\193\\208\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"O\\210rU\\157\\152\\245a\\177\\n\\170P\\a\\129~\\243\\222\\167o\\139\\176D\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxWithdraw should be reset to 0 after full withdrawal\"","tag":"AbiBytesDynamic"},{"contents":"\"\\154\\&2DK7\\r&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\247\\GS2A\\198\\173\\178S1\\151;l\\179\\NUL+\\215\\249jG[k\\235'\\202Q\\133sB\"","tag":"AbiBytesDynamic"},{"contents":"\"\\USXE*c\\131\\189\\138\\167\\233\\197\\206\\138\"","tag":"AbiBytesDynamic"},{"contents":"\"5\\244\\165k)\\248\\229\\238\\212j\\174\\&1\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198\\206c\\\"\\233S,:yv\\170t=h\\NAK\\243\\rT\\RS\\254Y\\239P\\253\\146\\218\\&7,\\241t\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"!!! strategy incurs loss on fulfillment\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"i\\215\\223\\237\\&2&\\251\\154ke\\r\\223\\159\\209\\203] e\\\"~\\189\"","tag":"AbiBytesDynamic"},{"contents":"\"\\221z\\158\\192\\DLEdo\\136#\\187\\135#;Z\"","tag":"AbiBytesDynamic"},{"contents":"\"\\240U\\197\\163\\190\\171jC\\175\\199\\222\\142\\n\\232\\196\\f\\US\\253\\159\"","tag":"AbiBytesDynamic"},{"contents":"\"\\195q\\CAN\\248\\222P\\188C\\223.\\198\\136\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid token\"","tag":"AbiBytesDynamic"},{"contents":"\"\\166\\177,7\\154\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"}\\128\\183\\184e#_\\DC2\\242A\\DC4uO\\232jD\\169uF5g\\194\\196\\STX4j\\244n\\223\\232&\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\\133\\188f\\137\\204\\&2i$9\\ACK\\242\\131\\156G\\239\\247g\\183\\184\\226v,\\228\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientAllowance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"W\\\\\\129Q\\220J-\\DEL\\250\\142\\EOT\\DC1\\157\\147\\213\\140$:J\\230\\144\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"%\\158\\&9\\FS']\\177hg#\\174\\&2?\\aT\\255|\\170\\243m%\\243\\247\\206.\\172\\166?vo\\236\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\215\\135U\\192l\\135A\\194\\238\\206u\\185\\200~\\189\\NAK{\\219KCr\\169\\152&:l\"","tag":"AbiBytesDynamic"},{"contents":"\"1a\\172}]\\164O\\198\\190\\178C\\136^\\251\\ETX\\ETX\\178\\235\\NUL\\155a8\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"\\237\\SOH3r\\224<z\\DC3\\201\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\DEL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129\\NUL\\210\\EOT\\DC4\\DC4\\250\\&9\\229\\254\\168\\248\\222\\169\\rI\\SUB$\\SYN\\206(\\253\\t\\183\\159\\245 \\234dgw\\ACK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\163\\156\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\242\\&0\\212\\193\\135\\181\\149\\248\\234e\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"o\"","tag":"AbiBytesDynamic"},{"contents":"\"cI9\\169\\SOH`\\228\\SUB0\\ENQ\\240\\162&\\CAN\\154>\\GS\\STX\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SYN\\158\\168\\149\\216\\n\\205 \\SI\\195I\\177\\r\\245\\SYN\\198\\197\\157\\153[\\STXU2\\235\\188\\DC3k\\233\"","tag":"AbiBytesDynamic"},{"contents":"\"\\168\\161\\214\\197H\\187\\137\\&0\\177/?\\137\\134\\191\\ETB\\DC4DH\\136\\145N\\172\\ESCrU\\140\\181\\244\\139H\"","tag":"AbiBytesDynamic"},{"contents":"\"Canary invariant\"","tag":"AbiBytesDynamic"},{"contents":"\"\\RSL\\193\\&0\\147G\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! convertToShares is >= previewDepositShares (equivalent without fees)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit returns the correct amount compared to executing a deposit\"","tag":"AbiBytesDynamic"},{"contents":"\"\\GS\\EM\\179\\203,\\\\\\DELO\\131\\212\\193\\147\\&7\\DC3z\\251n\\223f\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint and previewDeposit equivalence (from assets)\"","tag":"AbiBytesDynamic"},{"contents":"\"\\131\\222\\&8j\\181\\201d{|W\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"SY5115\"","tag":"AbiBytesDynamic"},{"contents":"\"~\\198,d\\160\\234\\166\\150\\SO\\238\\159\\DC4x\\a3\\253\\180^U?}\\213\\246\\179G\\223\\249\\DC3`\\135\\SYNW\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\ACK\\STXI\\221\\RSn\\183\\220\"","tag":"AbiBytesDynamic"},{"contents":"\"0\\DC2\\SYNNP\\fJ\\ESC\\EM$2\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\216\\ENQ\\203\\201@Q\\212\\&4\\245=/\\154\\250\\159Hs\\156\\212\\&2\\151\\STXO\\NAK\\192\\DC4\\205\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ETX\\166\\&3)\\130\\144\\178\\174Ou\\176\\169\\136`W\\152\\185\\231\\EOTq\\144\\212\"","tag":"AbiBytesDynamic"},{"contents":"\"\\135\\243;\\ENQ\\239,QN4\\157p(/\\220\\201\\SOHG\\203\\161wo\\251\\186_%;\\229\"","tag":"AbiBytesDynamic"},{"contents":"\"Error(string)\"","tag":"AbiBytesDynamic"},{"contents":"\"SV\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"INSUFFICIENT_VALIDATOR_PARTICIPATION\"","tag":"AbiBytesDynamic"},{"contents":"\"uc\\147.4|y\\195\\161zS%\\199\\156\\197\\201\\f\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"burned less than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewMint is >= convertToAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"`z\\217{\\199\\157\\150\\\"\\188}\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"I\\f\\218\\222\\&8\\140\\239\\&3\\158\\163\\165I t\\\\\\241j\\161I\\182\\155\\&5o}\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"MockERC7540Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-4: redeem with more than max should revert\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-5: requestRedeem should revert if insufficient share balance\"","tag":"AbiBytesDynamic"},{"contents":"\"7\\134\\148\\222\\143\\215w\\EOTB\\185\\231\\193r\\159\\172!B\\185P\\245x\\FS=T\\216\\130o\\165\"","tag":"AbiBytesDynamic"},{"contents":"\"\\209\\GS\\214P\\n}\\213*\\147\"","tag":"AbiBytesDynamic"},{"contents":"\"\\254\\226\\187\\245\\233.\\205\\183\\139\"","tag":"AbiBytesDynamic"},{"contents":"\"\\208\\243\\142\\150\\187EOb\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"MCT\"","tag":"AbiBytesDynamic"},{"contents":"\"\\148\\242\\211\\SO\\239\\130\\139\\150.\\158t\\ESC\\182=nD\\165Z--.\\166\\146\\151\\186W\\157o\\184\\246\\129\"","tag":"AbiBytesDynamic"},{"contents":"\"maxWithdrawAsShares != maxRedeem\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192\\235\\170\"","tag":"AbiBytesDynamic"},{"contents":"\"ERC20InsufficientBalance(address,uint256,uint256)\"","tag":"AbiBytesDynamic"},{"contents":"\"TREASURY\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by less than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\\\\\192\\247\\132e\\167\\189\\133\\234\\173\\168\\227\\196\\130\\195V\\227\\240\\EMV\\ACK\\173-\\SYN\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\EM\\253\"","tag":"AbiBytesDynamic"},{"contents":"\"h\\ESC\\217\\167 \\156\\209X=\\NUL0\\154\\131\\211\\235\\207Q\\143e[K\\228\\GSj\\190\\180\\a\\142\"","tag":"AbiBytesDynamic"},{"contents":"\"state.accumulatorShares < state.pendingRedeemRequest\"","tag":"AbiBytesDynamic"},{"contents":"\"\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"%U\\SUB\\133\\180\\225\\175L\\162\\168\\r\\207\\SO\\218\\239Eo\\214\\232[R\\155\\DLE\\144\\248\\192\"","tag":"AbiBytesDynamic"},{"contents":"\"\\238\\202\\ETB\\216\"","tag":"AbiBytesDynamic"},{"contents":"\"\\239p\\162B\\214\"","tag":"AbiBytesDynamic"},{"contents":"\"F/zb\\191\\244\\&4\\175\\251\\ETX\\201\\156\\DC1O\\191\\164\\&5\\194U\\225\\252q^q\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\203\\134\\129*d\\254Ct\\138Y)\\255\\&5\\247\"","tag":"AbiBytesDynamic"},{"contents":"\",\\252\\&4\\250\\176\\162\\ETX$H\\DC3\"","tag":"AbiBytesDynamic"},{"contents":"\"\\140\\234\\244\\197\\215m\\EM|<\\196\\GS\\182\\206^\\SUB\\136\\222\\193\\196\\199\\195\\203\\149!U\\239\\141I\\DC4\\176n\\151\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"Not authorized\"","tag":"AbiBytesDynamic"},{"contents":"\"totalShares * pps != totalAssets\"","tag":"AbiBytesDynamic"},{"contents":"\"m\\189r#LnI\\202\\184\\168:\\182\\169h\\211KJ\\155\\210\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\209:O-\\235\\169\\FS\\139P\\vz\\DC3\\211\\159\\\"\\SYNE\\154\\157\\193\\&9\\219\\218N3\\165\\246\"","tag":"AbiBytesDynamic"},{"contents":"\"AuthorizeOperator(address controller,address operator,bool approved,bytes32 nonce,uint256 deadline)\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.account.context\"","tag":"AbiBytesDynamic"},{"contents":"\"actor has nonzero maxMint when strategy is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"\\199\\133)\\186\\129\\193O\\179\\255\\&5%[\\vQ\\174\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\142D\\199\\182G\"","tag":"AbiBytesDynamic"},{"contents":"\"\\229\\SO1\\221\\201S\\163\\&7\\224\\DC3\\155\\213\\179\\132\\249\\247.\\167\\183\\221dl\\128\\aA\\175\\171\\144$\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"\\174W\\183\\238\\FS\\244\\&2\\RS\\220\\245\\ar\\180\\136\\&6\\246\\242\\142\\138b5\\214\\SOf\\198\\ETX\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\145\"","tag":"AbiBytesDynamic"},{"contents":"\"\\252f\\ne\"","tag":"AbiBytesDynamic"},{"contents":"\"\\162\\178\\DLEr\\176\\255\\173\\176\\RS\\175\\128\\SUBU\\r\\190\\231\\190G\\CAN\"","tag":"AbiBytesDynamic"},{"contents":"\"INVALID_REDEEM_CLAIM()\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by more than TOLERANCE when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SI\"","tag":"AbiBytesDynamic"},{"contents":"\"\\227\\215\\201\\206\\167\\130\\241\\210\\STX\\130d\"","tag":"AbiBytesDynamic"},{"contents":"\"S\\215\\ETB\\129\\CAN\\217\\246m\\248\\210\\153\\213\\208dz\\ETX\\a\\132\"","tag":"AbiBytesDynamic"},{"contents":"\"\\EM\\143\\248+\\246\\236\\237\\175\\SYN\\246\\179\\239\\221'\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares is always accurately updated\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC2\\145\\243\\r\\208\\191\\249\\155z\\133a\\204PL\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\SOH\\SUB\\135\\216\\163\\129\\209I\\242\\&0\\237\\132\\164:\\217] V\\v\\173\"","tag":"AbiBytesDynamic"},{"contents":"\"averageWithdrawPrice should not decrease when fulfilled at a higher PPS\"","tag":"AbiBytesDynamic"},{"contents":"\"6\\STX\\187\\143\\SYN\\197\\n\\192\\217x\\140\\150\"","tag":"AbiBytesDynamic"},{"contents":"\"\\198]\\239C9\\128\\230\\149V\\222\"","tag":"AbiBytesDynamic"},{"contents":"\"Q\\250\\a\\202eK\\252\\131JT\\253\\CAN\\184'\\198\\&9\\RS\\150\\224\\DC1\\191:rZ\"","tag":"AbiBytesDynamic"},{"contents":"\"AVERAGE_PROVIDER\"","tag":"AbiBytesDynamic"},{"contents":"\"SUM(accumulatorCostBasis) changed on SuperVault share transfers\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"2\\NUL^\\150\\228\\SI\\141\\227`\\230j\\202\\EOT\\226M\\196\\250\\243U\\163,i3\\155)\\150B\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"\\202\\203\\214\\GS\\222\\149>\\b\\239F!/`o\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194/ NJa&s\\157B3\\207\\203\\187]\\135\\ESC\\150\\137\\159\\237\"","tag":"AbiBytesDynamic"},{"contents":"\"\\144\\234\\250\\157\\239\\171\\215\\219\\210\\&2B\\vv\\DC4\\182\\DLE\\185\\t\\195\\167k^&\\189\\&8\"","tag":"AbiBytesDynamic"},{"contents":"\"\\250<\\193E\\251\\154\\163\\SUB\\183\\158K\\173\\NAK\\157\\135\\t\\SI\\220\\152\\248\\201}C\\194/\\137\\204\\239\\232\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"GAS_QUOTE\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\147|\\CAN^N\\175*t\\193\\DC4^\\155\\191\\136\\213\\187\\200\\ETB\\DC1P\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! ERC7540-7: withdraw should not revert when amount <= max\"","tag":"AbiBytesDynamic"},{"contents":"\"vault shares are insolvent\"","tag":"AbiBytesDynamic"},{"contents":"\"\\129/j\\DEL\\248\\182\\199\\190\\128\\DLE\\193\\161\\\"\\174\\143\\214u\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! users should always be able to withdraw unless the system is paused\"","tag":"AbiBytesDynamic"},{"contents":"\"\\143\\182Mj\\247\\130\\203\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC4626Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"Supply is not zero\"","tag":"AbiBytesDynamic"},{"contents":"\"\\149\\191\\EOT\\208\\129g\\v\\224\\ACK \\137\\&3\\205\\NUL:\\134\\220B\\170\\172\"","tag":"AbiBytesDynamic"},{"contents":"\"\\216\\&9\\250\\162&\\DLE>K\\193\\SIL\"","tag":"AbiBytesDynamic"},{"contents":"\"\\176\\236[\\193QJ\\b\\205\\233\\183\\134\\205b\\168\\n\\224\\163SJ3\\214(\\255\\245\"","tag":"AbiBytesDynamic"},{"contents":"\" \\231\\149\\213\\153-\\SOH':\\221\\244\\ENQn\\135\\163\\&5\\SYN\\155\\155\\232\\195=\\253\\ETBE\\146B\\249\\&5D\"","tag":"AbiBytesDynamic"},{"contents":"\"EIP712: Uninitialized\"","tag":"AbiBytesDynamic"},{"contents":"\"1\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! user loses assets in deposit/withdraw flow\"","tag":"AbiBytesDynamic"},{"contents":"\"MockERC5115Tester\"","tag":"AbiBytesDynamic"},{"contents":"\"\\175\\162lKYY\\239\\173\\206],\\212\\rf\\155\\163\\234\\165w\"","tag":"AbiBytesDynamic"},{"contents":"\"\\251:\\254\\170\\171\\252X:\\SUB\\233\\248x\\194\\128 \\209\\242\\SOH\\FS\\EM\\DEL\\177K\\SOH\"","tag":"AbiBytesDynamic"},{"contents":"\"f\\176\\156P8\\207\\NAK\\FS\\144',\\251\\&8\\207\\128\\DC4W\\231r\\186\\ETX\\n\\DELt\\147\\222X\\170\\DC3R\\159\\227\"","tag":"AbiBytesDynamic"},{"contents":"\"HIGH_PPS_DISPERSION\"","tag":"AbiBytesDynamic"},{"contents":"\"\\190\\188\\&7\\STX\\217F\\192\\244\"","tag":"AbiBytesDynamic"},{"contents":"\"sum of all claimable is > balance available\"","tag":"AbiBytesDynamic"},{"contents":"\"Invalid request\"","tag":"AbiBytesDynamic"},{"contents":"\"\\192`A,\\154I}\\162\\ay2=\\185J\\175\\156\\215\\171>]=\\152\"","tag":"AbiBytesDynamic"},{"contents":"\"1a\\214K\\t;\\131gg]*\\NUL2X\\STX\\145`mx\\204^:\\137\"","tag":"AbiBytesDynamic"},{"contents":"\" \\CAN\\194'-]g\\181iy\\244\\217\\f\\148\\169\\DELq\"","tag":"AbiBytesDynamic"},{"contents":"\"accumulatorShares decreases by the exact amounts requested when fulfilling redemptions\"","tag":"AbiBytesDynamic"},{"contents":"\"\\228\\233z\\181\\252`\\203\\ETX#\\167E\\DC4\\217\\145gL\\GS\\FS\\198W\"","tag":"AbiBytesDynamic"},{"contents":"\"\\201_T\\167a\\147P%\\DC4qH9D|B\\171\\210\\233\\204e\\EOT6\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiBytesDynamicType"},[{"contents":"\"\\229\\&0\\152k\\EM\\139\\163\\136nr\\208=\\191\\188\\162fc\"","tag":"AbiBytesDynamic"},{"contents":"\"\\ESC\\181'!\\137\"","tag":"AbiBytesDynamic"},{"contents":"\"&\\250\"","tag":"AbiBytesDynamic"},{"contents":"\"if sum of assets in SuperVaultStrategy and yield strategies is 0, maxWithdraw should be 0\"","tag":"AbiBytesDynamic"},{"contents":"\"SUPER_ORACLE\"","tag":"AbiBytesDynamic"},{"contents":"\"Nb\\230\\172\\129\\151H\\DLEp\\US%\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"GUARDIAN_ROLE\"","tag":"AbiBytesDynamic"},{"contents":"\"\\194\\206\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"\\246Ua\\n_\"","tag":"AbiBytesDynamic"},{"contents":"\"(\\136\\147\\254\\230\\178\\213\\232\\227\\STX=\\163\\201|\\234\\130L(\\166k\\211\\209\\177\\154\\178\\ETX\\248\\252\\255\"","tag":"AbiBytesDynamic"},{"contents":"\"?\\\"\\165N<o\\228\\&0\"","tag":"AbiBytesDynamic"},{"contents":"\"M7540\"","tag":"AbiBytesDynamic"},{"contents":"\"#R\\RS\\ACKQ \\191\\133\\231g\\217a\\182x\\DC4\\199\\FS)\\177\\152\\DC3\\254\\195b_\\US\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! shares are lost on transfer\"","tag":"AbiBytesDynamic"},{"contents":"\"M\"","tag":"AbiBytesDynamic"},{"contents":"\"burned more than requested beyond tolerance\"","tag":"AbiBytesDynamic"},{"contents":"\"M\\191\\NAK@\\187i\\225S%\\RS\\217\\224\\212\\159A{-?$\\211\\US\\DC1\\251\\159A\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! maxRedeem should be reset to 0 after full redemption\"","tag":"AbiBytesDynamic"},{"contents":"\"\\DC3\\ETX\\SYN\\212f\\208\\169b\\207\\174\\133\\CAN,\\197\\190\"","tag":"AbiBytesDynamic"},{"contents":"\"Tr\\211\\231d\\136sYE\\230=\\NAKt\\178\\252\\EOT\\ETX\\202\\179\\174\\173\\153B7\\251\\188\\146:3W\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"hook.execution.state\"","tag":"AbiBytesDynamic"},{"contents":"\"!!! previewDeposit and deposit equivalence\"","tag":"AbiBytesDynamic"},{"contents":"\"\\249\\145|m\\134\\DC3\\190\\EMK\"","tag":"AbiBytesDynamic"},{"contents":"\"\\151\\255\\143\\130\\222\\&6\\134\\DC2DV\\200\\211[\"","tag":"AbiBytesDynamic"},{"contents":"\"\\128\\191\\169m\\140\\173k\\198\\ETB\\255\\212\"","tag":"AbiBytesDynamic"}]],"tag":"AbiArrayDynamic"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"11919261029569398750700911981118273068632126173971123762766530020586073265583"],"tag":"AbiUInt"},{"contents":[256,"11888688870886682061216641149736714913512242617233707499873523988682781569226"],"tag":"AbiUInt"},{"contents":[256,"43522627780454070336196437368593006906553330566025853636736392652960872942588"],"tag":"AbiUInt"},{"contents":[256,"114569361772905454483250774716104895036423177201887386696850250885073894218508"],"tag":"AbiUInt"},{"contents":[256,"69484066910821188395598256330769992960540191666340818208981987320732328132611"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638935"],"tag":"AbiUInt"},{"contents":[256,"74242571292887485151983833070547534330838063385179536667217885285083776825586"],"tag":"AbiUInt"},{"contents":[256,"111970608032710878525380126509887932947297858159525229894457621742564602589792"],"tag":"AbiUInt"},{"contents":[256,"104175223792772904085377705921989942845841107817205427670119389905818596136060"],"tag":"AbiUInt"},{"contents":[256,"102317056647118436115616253554241617780997031527023615590558599360255889313165"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000002"],"tag":"AbiUInt"},{"contents":[256,"4523961031436232736261521181734915107746334381687005117848551006539067430551"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913029639937"],"tag":"AbiUInt"},{"contents":[256,"47891897964404263354588046805397785853130615875985713365916910892214664745790"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129637935"],"tag":"AbiUInt"},{"contents":[256,"42781945847000261017560425177569179459669254910944366752090067922001662062337"],"tag":"AbiUInt"},{"contents":[256,"86397"],"tag":"AbiUInt"},{"contents":[256,"71306194586771356819979724060992463057360703483036816950294056217435250077076"],"tag":"AbiUInt"},{"contents":[256,"147846705421155119731907109585518096351047561765919084871638925389283696502"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639910"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639038"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"91283010678458504231129975301451997022761240089551876852538873811773210408886"],"tag":"AbiUInt"},{"contents":[256,"719"],"tag":"AbiUInt"},{"contents":[256,"77770380170448559509939242047194752373736749745180019503920676609871001318807"],"tag":"AbiUInt"},{"contents":[256,"42909020965116294056836421593841570260853623548068457142542683661663053627681"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423565106385073651345675709540994846343693944868655675211776"],"tag":"AbiUInt"},{"contents":[256,"3122896909356283640210815840977596868081582948896096579603982"],"tag":"AbiUInt"},{"contents":[256,"3122896909356283640210815840977596868081582948896096579603982"],"tag":"AbiUInt"},{"contents":[256,"3122896909356283640210815840977596868081582948896096579603982"],"tag":"AbiUInt"},{"contents":[256,"3122896909356283640210815840977596868081582948896096579603982"],"tag":"AbiUInt"},{"contents":[256,"3122896909356283640210815840977596868081582948896096579603982"],"tag":"AbiUInt"},{"contents":[256,"3122896909356283640210815840977596868081582948896096579603982"],"tag":"AbiUInt"},{"contents":[256,"113552670813196425777831658639041004079264964423880608946601251568647896515101"],"tag":"AbiUInt"},{"contents":[256,"0"],"tag":"AbiUInt"},{"contents":[256,"309485009821345068724781052"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"45655026190821723095074177041798444110390903160593052641404400828419749981912"],"tag":"AbiUInt"},{"contents":[256,"4644918282490562717479523260742656148885767577302669546381873944476255890718"],"tag":"AbiUInt"},{"contents":[256,"91721153348805754443607138404424153226642980678016718877389001910683425784502"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"1000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"68"],"tag":"AbiUInt"},{"contents":[256,"15910043331198999289757178181472283859108851834507809402427712559721754260623"],"tag":"AbiUInt"},{"contents":[256,"103330722582544624629777913914494970506850258921560839061856226520984557078520"],"tag":"AbiUInt"},{"contents":[256,"57"],"tag":"AbiUInt"},{"contents":[256,"1000000000000000000"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639931"],"tag":"AbiUInt"},{"contents":[256,"39325637360857994494640744136893928939147505861202683896416454830638024652772"],"tag":"AbiUInt"},{"contents":[256,"34195423006967641240664728092861587734507411695701175868082772425669292745592"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639899"],"tag":"AbiUInt"},{"contents":[256,"96103124981981371494508038585685762273792215879602452660438424928050369775965"],"tag":"AbiUInt"},{"contents":[256,"3549963775992905917717675965539759933510737"],"tag":"AbiUInt"},{"contents":[256,"108727479732394144316537050428439619956742973263149072947346146590654604657566"],"tag":"AbiUInt"},{"contents":[256,"771120763008187017449033027728549130630823706546740881574681915"],"tag":"AbiUInt"},{"contents":[256,"112967619431531733808545970599644535403248198629288233397758960528035681672786"],"tag":"AbiUInt"},{"contents":[256,"91047938897678137133170680158291637822484423886667333685852655609003106393084"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639873"],"tag":"AbiUInt"},{"contents":[256,"257"],"tag":"AbiUInt"},{"contents":[256,"106435623601529394348156929534237515099959165552769678476960304925720474310689"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129638934"],"tag":"AbiUInt"},{"contents":[256,"38222830075564554121272039301321978679267201214997023337247860418412694370732"],"tag":"AbiUInt"},{"contents":[256,"86642231704212993144561080227169278492321300812039946704329850867586718040441"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"78352252909392835198233089137293147228989447198867283665192361499747223417344"],"tag":"AbiUInt"},{"contents":[256,"100000000000000000000000003"],"tag":"AbiUInt"},{"contents":[256,"43911822108511170496788817883733913434002898297288096114403180610059055510742"],"tag":"AbiUInt"},{"contents":[256,"279"],"tag":"AbiUInt"},{"contents":[256,"114119017198387267101583633920395075888547354989496859538808561150416253028643"],"tag":"AbiUInt"},{"contents":[256,"82301502117204161478385923126265140715786577350425824155011209596964782649322"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639916"],"tag":"AbiUInt"},{"contents":[256,"107964390291778586146809657761103478418405457735903506621760516828474151664206"],"tag":"AbiUInt"},{"contents":[256,"70319816728846589445362000750570655803700195216363692647688146666176345628417"],"tag":"AbiUInt"},{"contents":[256,"58498595417058982469774789496675528544037351712092142570670443160864827035421"],"tag":"AbiUInt"},{"contents":[256,"3768914558604090810357815403778524461592365070607811934043790086426798495786"],"tag":"AbiUInt"},{"contents":[256,"112369315464942860138019519461691393468451375158586350818025757107018834937847"],"tag":"AbiUInt"},{"contents":[256,"112082016079690418845320675828102488827652046012650716852044983773473876432521"],"tag":"AbiUInt"},{"contents":[256,"99224491705272848590920990513676697731760170446826848436884609338656635642272"],"tag":"AbiUInt"},{"contents":[256,"61431612308932518982852960329795907642935304532283260585285987430914002157059"],"tag":"AbiUInt"},{"contents":[256,"754"],"tag":"AbiUInt"},{"contents":[256,"83596126916479034094937498865719676234697450440381678784667841828254759941037"],"tag":"AbiUInt"},{"contents":[256,"51751230739692447014649149556693440909866734359898984819314159245946480136676"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":256,"tag":"AbiUIntType"},[{"contents":[256,"12"],"tag":"AbiUInt"},{"contents":[256,"753"],"tag":"AbiUInt"},{"contents":[256,"56134370053115777632209302828109408581154270525542104753826854235576725284111"],"tag":"AbiUInt"},{"contents":[256,"22"],"tag":"AbiUInt"},{"contents":[256,"114801407626913695011429321300975537100681494563909483093297915661260004688847"],"tag":"AbiUInt"},{"contents":[256,"81566181709655531124924362479015816590756892437742185068113416431944848042911"],"tag":"AbiUInt"},{"contents":[256,"83122982723457271182667476669800847135385599543040909837095746187391376937843"],"tag":"AbiUInt"},{"contents":[256,"80857821004849693840476357448368744309587928023344286646774738993992147500147"],"tag":"AbiUInt"},{"contents":[256,"6867798186335353406796380216662918438500980428423628073729904191542501105395"],"tag":"AbiUInt"},{"contents":[256,"985"],"tag":"AbiUInt"},{"contents":[256,"114280617565907686824454497288657305033255731453468129282046013420877315103221"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129639932"],"tag":"AbiUInt"},{"contents":[256,"115792089237316195423570985008687907853269984665640564039457584007913129634933"],"tag":"AbiUInt"},{"contents":[256,"683"],"tag":"AbiUInt"},{"contents":[256,"17415588482805566839776596704093645096135170477189016"],"tag":"AbiUInt"},{"contents":[256,"24068907028191746499668954138308582570527592625666562172675767821523961914715"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}],"tag":"AbiTuple"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000e0f","0x0000000000000000000000000000000000000000000000000000000000000088"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",[]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000003cdf4","0x0000000000000000000000000000000000000000000000000000000000000591"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000030000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_sumOfAssetsMaxWithdrawable",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000001f35","0x0000000000000000000000000000000000000000000000000000000000009aa1"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",[{"contents":[256,"91847394936813347425352661215914119244863179906666286406139563251457362869779"],"tag":"AbiUInt"},{"contents":[256,"597"],"tag":"AbiUInt"},{"contents":[256,"64718200458394425923771410912471009489959257460172089119811732615583838003408"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000002328","0x000000000000000000000000000000000000000000000000000000000000005e"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultAggregator_proposeChangePrimaryManager",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000576ad","0x0000000000000000000000000000000000000000000000000000000000006542"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["setpreviewAssetsGreater",[{"contents":[256,"60898970001605927004112340443845918550998482577697107701884448946383293574987"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000004d0e6","0x00000000000000000000000000000000000000000000000000000000000035d7"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superGovernor_proposeAddIncentiveTokens",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x33d6d7cD6b794c930Fd72D232BbdbFcAF3640958","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x000000000000000000000000000000000000000000000000000000000002a045","0x0000000000000000000000000000000000000000000000000000000000006a27"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["mockERC7540YieldSourceOracle_setValidAsset",[{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":true,"tag":"AbiBool"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000000079","0x00000000000000000000000000000000000000000000000000000000000020ff"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["invariant_erc7540_1",[]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000073d8b","0x00000000000000000000000000000000000000000000000000000000000048b0"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_updateMaxPPSSlippage",[{"contents":[256,"30709907326157598517621624516108037736416341569373415762464896595030654690252"],"tag":"AbiUInt"}]],"tag":"SolCall"},"delay":["0x0000000000000000000000000000000000000000000000000000000000084278","0x0000000000000000000000000000000000000000000000000000000000008195"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000020000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"},{"call":{"contents":["superVaultStrategy_manageYieldSources",[{"contents":[{"tag":"AbiAddressType"},[{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x94771550282853f6E0124c302F7dE1Cf50aa45CA","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x3Cff5E7eBecb676c3Cb602D0ef2d46710b88854E","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x2a07706473244BC757E10F2a9E86fB532828afe3","tag":"AbiAddress"},{"contents":"0x03A6a84cD762D9707A21605b548aaaB891562aAb","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xEeeeeEeeeEeEeeEeEeEeeEEEeeeeEeeeeeeeEEeE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xDA5A5ADC64C8013d334A0DA9e711B364Af7A4C2d","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x124C4457dd4309c1f30c60a93b81dFfEcA34ba08","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x3381cD18e2Fb4dB236BF0525938AB6E43Db0440f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x8227724C33C1748A42d1C1cD06e21AB8Deb6eB0A","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x5615dEB798BB3E4dFa0139dFa1b3D433Cc23b72f","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0xa0Cb889707d426A7A386870A03bc70d1b0697598","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"tag":"AbiAddressType"},[{"contents":"0x796f2974e3C1af763252512dd6d521E9E984726C","tag":"AbiAddress"},{"contents":"0x000000000000000000000000000000000000bEEF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x1aF7f588A501EA2B5bB3feeFA744892aA2CF00e6","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000000FFFFfFFF","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000002fFffFffD","tag":"AbiAddress"},{"contents":"0xc3C1658B1e3b9e017030807d0C50895456FD2379","tag":"AbiAddress"},{"contents":"0xDB25A7b768311dE128BBDa7B8426c3f9C74f3240","tag":"AbiAddress"},{"contents":"0x0000000000000000000000000000000000030000","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"},{"contents":"0x00000000000000000000000000000001fffffffE","tag":"AbiAddress"}]],"tag":"AbiArrayDynamic"},{"contents":[{"contents":8,"tag":"AbiUIntType"},[{"contents":[8,"196"],"tag":"AbiUInt"},{"contents":[8,"26"],"tag":"AbiUInt"},{"contents":[8,"252"],"tag":"AbiUInt"},{"contents":[8,"248"],"tag":"AbiUInt"},{"contents":[8,"198"],"tag":"AbiUInt"},{"contents":[8,"12"],"tag":"AbiUInt"},{"contents":[8,"106"],"tag":"AbiUInt"},{"contents":[8,"112"],"tag":"AbiUInt"},{"contents":[8,"48"],"tag":"AbiUInt"},{"contents":[8,"203"],"tag":"AbiUInt"},{"contents":[8,"94"],"tag":"AbiUInt"},{"contents":[8,"254"],"tag":"AbiUInt"},{"contents":[8,"253"],"tag":"AbiUInt"},{"contents":[8,"131"],"tag":"AbiUInt"},{"contents":[8,"159"],"tag":"AbiUInt"},{"contents":[8,"211"],"tag":"AbiUInt"},{"contents":[8,"160"],"tag":"AbiUInt"},{"contents":[8,"189"],"tag":"AbiUInt"},{"contents":[8,"177"],"tag":"AbiUInt"},{"contents":[8,"156"],"tag":"AbiUInt"}]],"tag":"AbiArrayDynamic"}]],"tag":"SolCall"},"delay":["0x00000000000000000000000000000000000000000000000000000000000000fd","0x000000000000000000000000000000000000000000000000000000000000139d"],"dst":"0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496","gas":12500000,"gasprice":"0x0000000000000000000000000000000000000000000000000000000000000000","src":"0x0000000000000000000000000000000000010000","value":"0x0000000000000000000000000000000000000000000000000000000000000000"}]