[
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0xd2c644a7e7675c14aa6b7116aaed6e7c922b5e6a20d719d1e6fffe76e7912668",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7836,
      46541
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      223258,
      9549
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      554,
      5750
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addAuthorizedCaller",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52380,
      7606
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositUpkeep",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6002,
      15270
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5025,
      54839
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      176250,
      7965
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43306,
      3498
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15367,
      4921
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",
        "args": [
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x3d3b8417ab19be1c07df7b334f24f376eea41c0ca7b89245f6ee677984cb513",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1beb54b141394eb33409cc6a9086bc888cdfb22384bdb705e52fe4eb2151e0d1",
                  256
                ]
              },
              {
                "Uint": [
                  "0x6c1768405990b810e38af6b4379558e29bd7f2a7f06bce3392ba469d997f8f94",
                  256
                ]
              }
            ]
          },
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x2e46a6a977c09835a6f5d3a3425a6f7d7127b705c0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2a91271166a25221c4cbfe0252b83e465d653c3c5b29a018fd1f998f05bcbbff",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2411654ad41971d04126eb796552ae32e5e12cdfed4b26e9daa7393ea57ebb1c",
                  256
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56941,
      24359
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior5115",
        "args": [
          {
            "Uint": [
              "0xfb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70008,
      4610
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38313,
      1338
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x5",
              256
            ]
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      106359,
      38160
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37450,
      51971
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10282,
      10267
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x200000000000000000000000000000000000001",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58839,
      6017
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3211,
      2025
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      471530,
      59095
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0x253c32a237f4f0947206eb5e5d20f10c6f6afa0a950aff146907172283f50e1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76535,
      22624
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      472225,
      35251
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66038,
      4562
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0xce35c508302e905f727b9f513d1c0ff86757022b",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57855,
      34666
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x1f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4741,
      2300
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          },
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      481343,
      23835
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8077,
      19918
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      540477,
      979
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77381,
      10215
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      826,
      25459
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77784,
      51792
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      94368,
      40789
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0xcd2f82139ebebce5995264e947bc318049573e1c8fd362c22defb8a795a901b0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      180212,
      5213
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x82a3d5356cdc6d1f5ccee481f3706dc3561764110df8891abe124104a191a987",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      934,
      8180
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_setOperator",
        "args": [
          {
            "Uint": [
              "0x747674c1c8b63a5adddc6947279a9d072b814924ef9eacb9b043455ed29ed245",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118786,
      1372
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4449,
      10554
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x98945c673730e1d792ddbe46acb87d835c156a7e2a51ebbe2b8a04a23481502e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8524,
      4503
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_mint",
        "args": [
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81386,
      34114
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x6",
              256
            ]
          },
          {
            "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
          },
          {
            "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72525,
      1066
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49005,
      43681
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior4626",
        "args": [
          {
            "Uint": [
              "0x19d",
              8
            ]
          },
          {
            "Uint": [
              "0xfc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23473,
      29352
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
          },
          {
            "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77760,
      7346
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x4a72703a6d2c46aabfac38afbf93778dcc6d9cdfe307f1d883ba12d84a6b41",
              256
            ]
          },
          {
            "Uint": [
              "0x790e6bd74003fa6b8a10301c10beb7e4aebc6668cf20171871062dc2efb9f335",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33482,
      23424
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      419224,
      24243
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0x3fffffffffffffffffffffffff",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26985,
      805
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit",
        "args": [
          {
            "Uint": [
              "0x39a5f496c5cb34674a9d0bf2b1e82c784e059ca6026dee1f2162365bad1849f0",
              256
            ]
          },
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      535296,
      1511
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0x48c473a24aef3a20cb45f6649ab86232a1181fe84668ddfdea3929d04f887ad6",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8466,
      23235
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfAssetsMaxWithdrawable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45702,
      47100
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0xf823a228bd0ffa613ccc21c8b7081fe8f4e5feb6a666a8498db00bfdd6cc130f",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21606,
      25834
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  },
                  {
                    "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "Bytes": [
                          8,
                          137,
                          28,
                          186,
                          54,
                          59,
                          190,
                          15,
                          218,
                          194,
                          43,
                          121,
                          66,
                          73,
                          246,
                          59,
                          184,
                          83,
                          133,
                          61,
                          44,
                          3,
                          92,
                          190,
                          180,
                          111,
                          36,
                          247,
                          1,
                          58,
                          52
                        ]
                      },
                      {
                        "Bytes": [
                          91,
                          84,
                          240,
                          95,
                          230
                        ]
                      },
                      {
                        "Bytes": [
                          9,
                          185,
                          167,
                          17,
                          42,
                          210,
                          91,
                          92,
                          152,
                          115,
                          161,
                          25,
                          119,
                          176,
                          58,
                          104,
                          19,
                          170,
                          238,
                          145,
                          115,
                          248,
                          6,
                          212,
                          26,
                          148,
                          1,
                          60,
                          141,
                          74,
                          222
                        ]
                      },
                      {
                        "Bytes": [
                          237,
                          63
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          168,
                          73,
                          249,
                          13,
                          21,
                          18,
                          192,
                          206,
                          205,
                          224,
                          158,
                          28
                        ]
                      },
                      {
                        "Bytes": [
                          187,
                          251,
                          250,
                          143,
                          251,
                          115,
                          25,
                          7,
                          101,
                          52,
                          103,
                          39,
                          133,
                          111,
                          13,
                          95,
                          248,
                          99,
                          87,
                          179,
                          70,
                          36,
                          236,
                          183,
                          253,
                          165
                        ]
                      },
                      {
                        "Bytes": [
                          23,
                          219,
                          83,
                          206,
                          127,
                          91,
                          109,
                          144,
                          237,
                          26,
                          212,
                          81,
                          141,
                          123,
                          43,
                          127,
                          174,
                          74,
                          133,
                          97,
                          130,
                          190,
                          218,
                          87,
                          241,
                          196,
                          245,
                          90
                        ]
                      },
                      {
                        "Bytes": [
                          59,
                          149,
                          67,
                          132,
                          129,
                          71,
                          135,
                          66,
                          195,
                          83,
                          95,
                          152,
                          87,
                          63,
                          243,
                          244,
                          206
                        ]
                      },
                      {
                        "Bytes": [
                          207,
                          136,
                          133,
                          211,
                          80,
                          29,
                          75,
                          84,
                          245,
                          169,
                          86,
                          19,
                          85,
                          58,
                          141,
                          45,
                          34,
                          144,
                          244,
                          58,
                          79,
                          128,
                          117,
                          62,
                          115,
                          240
                        ]
                      },
                      {
                        "Bytes": [
                          65,
                          184,
                          244,
                          148,
                          161,
                          59,
                          60
                        ]
                      },
                      {
                        "Bytes": [
                          15,
                          44,
                          47,
                          93,
                          223,
                          84,
                          38,
                          197,
                          168,
                          44,
                          179
                        ]
                      },
                      {
                        "Bytes": [
                          37,
                          131,
                          187,
                          254
                        ]
                      },
                      {
                        "Bytes": [
                          197,
                          168,
                          117,
                          199,
                          102,
                          33,
                          174,
                          49,
                          83,
                          104,
                          225,
                          34,
                          242,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          37,
                          131,
                          187,
                          254
                        ]
                      },
                      {
                        "Bytes": [
                          160,
                          168,
                          38,
                          238,
                          63,
                          241,
                          190,
                          149,
                          202,
                          95,
                          160,
                          50,
                          157
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          80,
                          30,
                          103,
                          177,
                          83,
                          184,
                          26,
                          26,
                          28,
                          111,
                          221,
                          184,
                          136,
                          161,
                          210,
                          83,
                          200,
                          106,
                          74,
                          97,
                          65,
                          66,
                          184
                        ]
                      },
                      {
                        "Bytes": [
                          137,
                          157,
                          198,
                          159,
                          97,
                          201,
                          100,
                          40,
                          65,
                          253,
                          60,
                          52,
                          143,
                          255,
                          144
                        ]
                      },
                      {
                        "Bytes": [
                          236,
                          46,
                          209,
                          110,
                          214,
                          128,
                          243,
                          105,
                          141,
                          9,
                          18,
                          107,
                          209,
                          13,
                          100,
                          3,
                          221,
                          57,
                          151,
                          178,
                          145,
                          213,
                          110,
                          175,
                          241,
                          99,
                          199,
                          110,
                          102
                        ]
                      },
                      {
                        "Bytes": [
                          137,
                          192,
                          217,
                          145,
                          193,
                          239,
                          162,
                          6,
                          173,
                          20,
                          46,
                          36,
                          96,
                          122,
                          16,
                          159,
                          201,
                          10,
                          154,
                          12,
                          206,
                          240,
                          60,
                          201,
                          104,
                          108
                        ]
                      },
                      {
                        "Bytes": [
                          240,
                          210,
                          207,
                          139,
                          168
                        ]
                      },
                      {
                        "Bytes": [
                          18,
                          156
                        ]
                      },
                      {
                        "Bytes": [
                          166,
                          104,
                          173,
                          47,
                          224,
                          172,
                          227,
                          218,
                          13,
                          181,
                          239,
                          185,
                          100,
                          235,
                          244,
                          248,
                          79,
                          208,
                          123,
                          185,
                          183,
                          40,
                          26,
                          74,
                          26,
                          75,
                          71,
                          123,
                          195,
                          13,
                          8
                        ]
                      },
                      {
                        "Bytes": [
                          155,
                          163,
                          102
                        ]
                      },
                      {
                        "Bytes": [
                          155,
                          57,
                          172,
                          138,
                          116,
                          11,
                          243,
                          48,
                          88,
                          227,
                          187,
                          214,
                          29,
                          255,
                          228,
                          180,
                          206,
                          24,
                          137,
                          238,
                          173,
                          62,
                          73,
                          7,
                          70,
                          44,
                          243,
                          44,
                          251,
                          32
                        ]
                      },
                      {
                        "Bytes": [
                          9,
                          203,
                          198,
                          217,
                          208,
                          126,
                          24,
                          159,
                          146,
                          5,
                          75,
                          153,
                          252,
                          2,
                          86,
                          106,
                          105
                        ]
                      },
                      {
                        "Bytes": [
                          209,
                          148,
                          250,
                          24,
                          97,
                          225,
                          73,
                          18,
                          124,
                          239
                        ]
                      },
                      {
                        "Bytes": [
                          124,
                          72,
                          78,
                          27,
                          144,
                          84,
                          21,
                          199,
                          217,
                          15,
                          56,
                          182,
                          35,
                          142,
                          187,
                          107,
                          228,
                          121
                        ]
                      },
                      {
                        "Bytes": [
                          114,
                          235,
                          254,
                          24,
                          113,
                          141,
                          37
                        ]
                      },
                      {
                        "Bytes": [
                          66,
                          37,
                          191,
                          116,
                          177,
                          76,
                          130,
                          42,
                          185,
                          250
                        ]
                      },
                      {
                        "Bytes": [
                          251,
                          44,
                          102,
                          230,
                          165,
                          212
                        ]
                      },
                      {
                        "Bytes": [
                          69,
                          41,
                          132,
                          158,
                          44
                        ]
                      },
                      {
                        "Bytes": [
                          219,
                          117
                        ]
                      },
                      {
                        "Bytes": [
                          10,
                          153,
                          72,
                          125,
                          133,
                          135,
                          118,
                          28,
                          49,
                          31,
                          218
                        ]
                      },
                      {
                        "Bytes": [
                          242,
                          48,
                          219,
                          228,
                          65,
                          29,
                          62,
                          57,
                          59,
                          48,
                          212,
                          104,
                          60,
                          240,
                          22,
                          86,
                          201,
                          240,
                          139,
                          103,
                          117,
                          80,
                          48,
                          14,
                          76,
                          28,
                          41,
                          78,
                          245,
                          178,
                          57,
                          23
                        ]
                      },
                      {
                        "Bytes": [
                          199,
                          171,
                          137,
                          142,
                          29,
                          233,
                          81,
                          38,
                          80,
                          146,
                          176,
                          195,
                          189,
                          118,
                          21,
                          79,
                          114,
                          117,
                          187,
                          113,
                          223,
                          193,
                          20,
                          255,
                          32
                        ]
                      },
                      {
                        "Bytes": [
                          221,
                          178,
                          107
                        ]
                      },
                      {
                        "Bytes": [
                          47,
                          39,
                          11,
                          4,
                          96,
                          174,
                          13,
                          57,
                          191,
                          197,
                          108,
                          189,
                          100
                        ]
                      },
                      {
                        "Bytes": [
                          243,
                          91
                        ]
                      },
                      {
                        "Bytes": [
                          16,
                          98,
                          239,
                          184,
                          100,
                          37,
                          66,
                          225,
                          37,
                          67,
                          77,
                          249
                        ]
                      },
                      {
                        "Bytes": [
                          193,
                          136,
                          216,
                          0,
                          24
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          10,
                          28,
                          16,
                          231,
                          178,
                          101,
                          43,
                          16,
                          92,
                          76,
                          239,
                          141,
                          182,
                          214,
                          237,
                          125,
                          48,
                          172,
                          99,
                          35,
                          23,
                          82,
                          246,
                          130,
                          252,
                          97,
                          103,
                          174,
                          53,
                          48
                        ]
                      },
                      {
                        "Bytes": [
                          177,
                          95,
                          212,
                          183,
                          184,
                          113,
                          83,
                          200,
                          118,
                          127,
                          90,
                          101,
                          203,
                          147,
                          220,
                          4,
                          171,
                          11,
                          200,
                          72,
                          183,
                          192,
                          33,
                          23,
                          2
                        ]
                      },
                      {
                        "Bytes": [
                          68,
                          239,
                          43,
                          225,
                          138,
                          208,
                          1,
                          110,
                          3,
                          37,
                          47,
                          24,
                          108,
                          110,
                          6,
                          248,
                          81,
                          51,
                          74,
                          109,
                          141,
                          141
                        ]
                      },
                      {
                        "Bytes": [
                          103,
                          92,
                          107,
                          112,
                          115,
                          246,
                          85,
                          250,
                          7,
                          176,
                          240,
                          101,
                          171,
                          17,
                          216,
                          209,
                          93,
                          132,
                          7,
                          169,
                          29,
                          25,
                          140,
                          226,
                          90,
                          185,
                          244,
                          176,
                          58,
                          151
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          180,
                          213,
                          236,
                          41,
                          163,
                          42,
                          10,
                          237,
                          63,
                          65,
                          255,
                          185,
                          44,
                          205,
                          150,
                          250,
                          247,
                          209,
                          237,
                          83,
                          242,
                          187,
                          219
                        ]
                      },
                      {
                        "Bytes": [
                          252,
                          150,
                          102,
                          157,
                          8,
                          115,
                          152,
                          233,
                          214,
                          98,
                          52,
                          52,
                          165,
                          157,
                          82,
                          185,
                          251
                        ]
                      },
                      {
                        "Bytes": [
                          89,
                          151,
                          111,
                          95,
                          221,
                          18,
                          12,
                          111,
                          55,
                          144,
                          121,
                          88,
                          50,
                          211,
                          160,
                          250,
                          231,
                          150,
                          55,
                          8,
                          112,
                          215,
                          195,
                          72
                        ]
                      },
                      {
                        "Bytes": [
                          15,
                          249,
                          15,
                          114,
                          242,
                          149,
                          140,
                          171,
                          134,
                          32,
                          254,
                          154,
                          107,
                          199,
                          51,
                          92,
                          110,
                          42,
                          134,
                          24,
                          30,
                          211,
                          226,
                          8,
                          106,
                          78,
                          77,
                          89,
                          94,
                          194
                        ]
                      },
                      {
                        "Bytes": [
                          120,
                          149,
                          251,
                          192,
                          222,
                          87,
                          13,
                          165,
                          72,
                          186,
                          102,
                          238,
                          140,
                          118,
                          135,
                          241,
                          0,
                          53,
                          15,
                          100
                        ]
                      },
                      {
                        "Bytes": [
                          2,
                          37,
                          105,
                          26,
                          27
                        ]
                      },
                      {
                        "Bytes": [
                          200,
                          152,
                          121,
                          170,
                          77,
                          102,
                          107,
                          219,
                          208,
                          10,
                          139,
                          78,
                          28,
                          27,
                          131,
                          67,
                          11,
                          63,
                          157,
                          57,
                          194,
                          92,
                          63,
                          193,
                          19,
                          47,
                          30,
                          218,
                          23
                        ]
                      },
                      {
                        "Bytes": [
                          142,
                          58,
                          24,
                          230,
                          233,
                          102,
                          5,
                          37,
                          73,
                          202,
                          246,
                          115,
                          79,
                          134,
                          192,
                          189,
                          30,
                          88,
                          28,
                          3,
                          16,
                          107,
                          247,
                          246,
                          18,
                          12,
                          62,
                          210,
                          39,
                          166
                        ]
                      },
                      {
                        "Bytes": [
                          198,
                          131,
                          160,
                          173,
                          114,
                          66,
                          177,
                          200,
                          59,
                          50,
                          89,
                          2,
                          247,
                          28,
                          201,
                          20,
                          251,
                          228,
                          32,
                          229,
                          209,
                          161,
                          173,
                          83,
                          76,
                          249,
                          238,
                          54,
                          222,
                          169
                        ]
                      },
                      {
                        "Bytes": [
                          6,
                          108,
                          22,
                          50,
                          74,
                          48,
                          66,
                          42,
                          74
                        ]
                      },
                      {
                        "Bytes": [
                          129,
                          128,
                          15
                        ]
                      },
                      {
                        "Bytes": [
                          9,
                          199,
                          234,
                          152,
                          168,
                          95,
                          109,
                          57,
                          162,
                          103,
                          170,
                          110,
                          218,
                          129,
                          66,
                          72,
                          71,
                          65,
                          152,
                          94,
                          223,
                          90,
                          58,
                          95,
                          48,
                          28,
                          123,
                          215
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          24,
                          207,
                          236,
                          60,
                          232,
                          67,
                          220,
                          154,
                          149,
                          141,
                          88,
                          226,
                          16
                        ]
                      },
                      {
                        "Bytes": [
                          35,
                          68,
                          230,
                          78,
                          32,
                          49,
                          56,
                          228,
                          9,
                          145,
                          27,
                          18,
                          48,
                          161
                        ]
                      },
                      {
                        "Bytes": [
                          32,
                          158,
                          106,
                          238,
                          14,
                          234,
                          217,
                          99,
                          239,
                          139,
                          4,
                          55,
                          66,
                          97,
                          179,
                          6
                        ]
                      },
                      {
                        "Bytes": [
                          90,
                          35,
                          67
                        ]
                      },
                      {
                        "Bytes": [
                          83,
                          57,
                          216,
                          129,
                          208,
                          200,
                          67,
                          124,
                          12,
                          126,
                          65,
                          193,
                          206,
                          140,
                          22,
                          34,
                          176
                        ]
                      },
                      {
                        "Bytes": [
                          170,
                          128
                        ]
                      },
                      {
                        "Bytes": [
                          248,
                          20,
                          88,
                          50,
                          250,
                          42,
                          204
                        ]
                      },
                      {
                        "Bytes": [
                          208,
                          220,
                          196,
                          92,
                          51,
                          24,
                          141,
                          23,
                          14,
                          236,
                          111,
                          128,
                          185,
                          49,
                          224,
                          212,
                          241,
                          41,
                          21
                        ]
                      },
                      {
                        "Bytes": [
                          238,
                          236,
                          224
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          17,
                          195,
                          90,
                          22,
                          190,
                          22,
                          164,
                          168,
                          18,
                          200,
                          231,
                          195,
                          255,
                          130,
                          24,
                          134
                        ]
                      },
                      {
                        "Bytes": [
                          100,
                          74,
                          126,
                          87,
                          244,
                          7,
                          70,
                          70,
                          121,
                          183,
                          159,
                          221
                        ]
                      },
                      {
                        "Bytes": [
                          95,
                          19,
                          31,
                          74,
                          69,
                          216,
                          152,
                          238,
                          248,
                          24,
                          9,
                          156,
                          111,
                          192,
                          178,
                          147,
                          213,
                          135,
                          133,
                          251,
                          32,
                          91,
                          47,
                          137,
                          98,
                          3
                        ]
                      },
                      {
                        "Bytes": [
                          100,
                          44,
                          246,
                          160,
                          192,
                          16,
                          202,
                          151,
                          116,
                          152,
                          6,
                          196,
                          97,
                          136,
                          161,
                          93,
                          38,
                          203,
                          43,
                          177,
                          118,
                          205,
                          26,
                          196,
                          78,
                          94
                        ]
                      },
                      {
                        "Bytes": [
                          78,
                          230,
                          28,
                          177
                        ]
                      },
                      {
                        "Bytes": [
                          22,
                          184,
                          39,
                          226,
                          12,
                          214,
                          222,
                          43,
                          53,
                          41,
                          27,
                          175,
                          235,
                          34
                        ]
                      },
                      {
                        "Bytes": [
                          162,
                          42,
                          246,
                          182
                        ]
                      },
                      {
                        "Bytes": [
                          75,
                          72,
                          135,
                          100,
                          160,
                          140,
                          147,
                          3,
                          19,
                          225,
                          5,
                          21,
                          151,
                          243,
                          2,
                          58,
                          147,
                          129,
                          211,
                          242,
                          66,
                          23,
                          207,
                          133,
                          26,
                          88,
                          209,
                          186,
                          26,
                          247,
                          49
                        ]
                      },
                      {
                        "Bytes": [
                          217,
                          151,
                          196,
                          255,
                          58
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          228,
                          189,
                          194,
                          133
                        ]
                      },
                      {
                        "Bytes": [
                          139,
                          202,
                          21,
                          210,
                          26,
                          76,
                          55,
                          80,
                          83,
                          169,
                          138,
                          49
                        ]
                      },
                      {
                        "Bytes": [
                          81,
                          128,
                          22,
                          220,
                          231,
                          244,
                          98,
                          118,
                          56,
                          227,
                          171,
                          7,
                          150,
                          251,
                          50,
                          254,
                          13,
                          189,
                          138,
                          78,
                          112,
                          42,
                          236,
                          217,
                          198,
                          6,
                          189,
                          0,
                          218,
                          160
                        ]
                      },
                      {
                        "Bytes": [
                          32,
                          12,
                          254,
                          240,
                          141,
                          69,
                          129,
                          243,
                          13,
                          129,
                          53,
                          217,
                          29,
                          38,
                          250,
                          96,
                          222,
                          111,
                          185,
                          169,
                          164,
                          41
                        ]
                      },
                      {
                        "Bytes": [
                          184,
                          83,
                          90,
                          10,
                          39
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          93,
                          223,
                          136,
                          141,
                          0,
                          95,
                          136,
                          198,
                          212,
                          254,
                          232,
                          198,
                          67,
                          160,
                          248,
                          204,
                          212,
                          170,
                          18,
                          199,
                          207,
                          74,
                          115,
                          224,
                          46
                        ]
                      },
                      {
                        "Bytes": [
                          144,
                          237,
                          88,
                          163,
                          149,
                          46,
                          146,
                          15,
                          90,
                          163,
                          44,
                          40,
                          67,
                          197,
                          216,
                          51,
                          135,
                          243,
                          99,
                          195,
                          73,
                          222,
                          6,
                          3,
                          250,
                          194,
                          215
                        ]
                      },
                      {
                        "Bytes": [
                          185,
                          208,
                          109,
                          133,
                          86,
                          128,
                          44,
                          221,
                          150,
                          58,
                          64,
                          127,
                          209
                        ]
                      },
                      {
                        "Bytes": [
                          189,
                          220,
                          197,
                          91,
                          78,
                          1,
                          121,
                          38,
                          232,
                          22,
                          199,
                          72,
                          219,
                          65,
                          59,
                          5,
                          97,
                          37,
                          51,
                          205,
                          135,
                          118,
                          146
                        ]
                      },
                      {
                        "Bytes": [
                          23,
                          120,
                          168,
                          202,
                          169,
                          158,
                          79,
                          9,
                          116,
                          99,
                          26,
                          191,
                          55,
                          86
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          125,
                          119,
                          254,
                          162,
                          44,
                          92,
                          45,
                          0,
                          128,
                          147,
                          48,
                          195,
                          0,
                          168,
                          65,
                          150,
                          170,
                          253,
                          178,
                          134,
                          182,
                          49
                        ]
                      },
                      {
                        "Bytes": [
                          46,
                          211,
                          124
                        ]
                      },
                      {
                        "Bytes": [
                          160,
                          21,
                          10
                        ]
                      },
                      {
                        "Bytes": [
                          238,
                          202,
                          178,
                          8,
                          183,
                          61,
                          84,
                          6,
                          3,
                          136,
                          211,
                          170,
                          228,
                          112,
                          59,
                          253,
                          225,
                          129,
                          213,
                          160,
                          64,
                          33,
                          84
                        ]
                      },
                      {
                        "Bytes": [
                          48,
                          63,
                          119
                        ]
                      },
                      {
                        "Bytes": [
                          127,
                          15,
                          8,
                          148,
                          90,
                          64,
                          1,
                          168,
                          57,
                          82,
                          180,
                          82,
                          131,
                          53,
                          165,
                          24,
                          239,
                          89,
                          184,
                          225,
                          126,
                          153,
                          114,
                          83,
                          78,
                          164,
                          101,
                          144
                        ]
                      },
                      {
                        "Bytes": [
                          105,
                          165,
                          53,
                          252,
                          164,
                          97,
                          234,
                          82,
                          253,
                          165
                        ]
                      },
                      {
                        "Bytes": [
                          181,
                          221,
                          214,
                          125,
                          7,
                          180,
                          13,
                          200
                        ]
                      },
                      {
                        "Bytes": [
                          232,
                          238,
                          57,
                          186,
                          153,
                          117,
                          84,
                          53,
                          234,
                          127,
                          77,
                          163,
                          124,
                          78,
                          254,
                          144,
                          104,
                          194,
                          54
                        ]
                      },
                      {
                        "Bytes": [
                          213,
                          181,
                          219,
                          134,
                          204,
                          53,
                          202,
                          192,
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb84d3ed48e2310a924d0e0db506f02def86e6fbe3fa5aaccf1b03895d4b1e59a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x53c617554b9b18e70bf6fb8a1479f2c569935cdca57d1f8bbe819ccf3a0f2626",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd2b4f322102e27cb2338191cccae87042a515e034e10374ffcaee29e9ae88d07",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9c239cd7a2671893b919ca6bfabb508ab1290d038a7239a63f82a2d4fd17b078",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc74ac6db64fb71566dfd811efc26787f94d30cdb68847c7cda95d29fbd9019f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb3050e22c1cdea46dd4336d3627d9d49192efa35960f1a6c8e20ae999fe873a0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb3050e22c1cdea46dd4336d3627d9d49192efa35960f1a6c8e20ae999fe873a0",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xceb3a7235455666a6ccb17b6aef682037a49cee1a0ddb7fd1e547ab428dc2ebd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x8b4084bf45269bd35dd91603b632593067873eda87f97a41a165f3c88dbddbd8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x73f2059bdf5e7d5883f141bb75801e4b0b7297b6a17d2dcf52769f44ed56d278",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x86e25b4cfdcf8562b5de664f6314639fce466acb900d65dcb7d8b68925bd53fe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x471cc485ee74a8b4b26ccb9265d98335b3530b433bce9bd7a725cc5092364159",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x63541b9b5e12dd758dba4f22d8178b3a10cf4f5964e7ed91577c1f793f63fa0f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1d3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5b334c6e92fa3a6ffa77afa867ca8d266683b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe6935318d28c875bf439d7585ac5ac80a2d19767cc2748e2ccd666a0e508579",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5a85009fce61039f20fab7b1cad1d41549888fc523226aef71644625aa37ea9f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x6df62997d70d0003cba046469b466bac36432947e5e84bd3addf5fb490cc29d2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x10bd40c5ab5cf2bb22b083983c03404374890dbcd4ab3a334d764ad40171d029",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2b08d34c19be98583c1d97e0b99313ee0bdcb835676e73c0411ca4bd9d611c82",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2c2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1ca",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x17485b7f8bcb32ed59c049b96e60a571f8aabf92e4c0bf884b9884f81ec06d7a",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xce32f97341dbbba1dcd59e774b1ec2ed5f39ba64055798b5a130f5e4262dfed",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3053fd6b4a54b9bc089e2989f2e0d6521e04a7bc985fbd00f83f17093554dbe1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd8969755d1f4794e6ec1c1538f9db580661d0f0d39f146275a334881e487a9c0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe440e776a89481e6a28256f652842c10351838d7d30cce48648760a0577068d2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3e6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3c7047569f312068dacffbb4deb32b29e090d2e0cf8eca2b81914f4c34ffa33",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x290",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x52b3e201bc508026c3a9f34b1788b048bf4c541db0a666fe28d80b7adb91026f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x47f16cb4ba6af9aeeff4af99c200783aa505e0348829b8987939c0164dfde670",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xba",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf9f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x6210c8df93e31317965995f7875dd570d1b5f40d5bbbcbc5907862479008c462",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc144c2104dbe33010decf3d02a4ff8a2a77bb00f0f9fb0f7786190f81fc977eb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x13",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5a7047730499d8b48d22dbbb313a2aeb8ee73df4db429c81710bee75c5abd1af",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb4d2260ca6ddaa0abe5de1a5f95d291ba23a45f24ce215c61fba0c7c9ae6a8e1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf15b12ff08cbfd1cd9fb1787bbb49080b18f0dbcd7bfea1cdb123a9f75663938",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x14",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x84345b19d9b760e2521c5cdff6630510265baf5dda7e12f46f2b23b85ac0e87b",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xadced5aa775e11dfd85e5b15292cf5d5bdf4c6e1cfc4f278fb81ec25167cef5f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4332818dc2c020ad507224568de79c8709736913f9ef923235172c2a9806bfb6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x82fdb2a58e9eba080c33888d8ab93f012a8dcbe9dd6a5f2bbefc55adbd4522df",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x762d7ebf05db37ac2b5bfa6315fc43fd12d4d1871410332206e53d64277fe954",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe9a52c29e21cb80d82439a28766f87b84b68c1eaa0658e0fa1d3afb2f3f5c0b7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9f2d6065f9051c690610eb4139d7aa17f56a4e2bfc5a0452a6cfcc4bb0ec25d5",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x132",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x36",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xcd796d8a2163474d58171b3f6f2a58a6abe3e81138450991e979987c6c43ae93",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1ef",
                      256
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50005,
      55032
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      243580,
      21100
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59230,
      58805
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0x9f",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80280,
      3881
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19986,
      7492
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000000"
          },
          {
            "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      527139,
      24244
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      217426,
      330
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8334,
      4065
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55679,
      32143
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84418,
      53070
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5129,
      8956
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Uint": [
              "0x201ef9552966af2a527292f425068866499aaceeaf867b7abd03d2964dde26ea",
              256
            ]
          },
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          },
          {
            "Uint": [
              "0x719614b678a1fe1405f1d4a8c353105598a7b9014888db8f4348451ee51913c7",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86533,
      15478
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalSharesDontDecreaseOnRedemptionRequest",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5856,
      24891
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      392516,
      3276
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0x11",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16293,
      18373
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70003,
      7009
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0x00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44365,
      9102
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xc94459beb4ebf00099c6d20ae955c0412f51ce07df24380872db1cef6d425c8b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84085,
      2205
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateLoss",
        "args": [
          {
            "Uint": [
              "0xed",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42591,
      28353
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          },
          {
            "Uint": [
              "0x24f8721f1938e5e94ae",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      319937,
      8191
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0xcf1ddfcc9cebada490865b04fc54dac7253ee36fd3c940d0165b042f55f730f5",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3937,
      4828
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56036,
      56512
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84789,
      557
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      61551,
      53228
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit",
        "args": [
          {
            "Uint": [
              "0x2d7afe127abdd039245db0ed7038057bde0d98d2534b528aa1e2fdba8fbdd93f",
              256
            ]
          },
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73068,
      27932
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  },
                  {
                    "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
                  },
                  {
                    "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
                  },
                  {
                    "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
                  },
                  {
                    "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
                  },
                  {
                    "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      241,
                      164,
                      184,
                      142,
                      159,
                      240,
                      44,
                      1,
                      254,
                      99,
                      64,
                      80,
                      96,
                      49,
                      68
                    ]
                  },
                  {
                    "Bytes": [
                      22,
                      103,
                      9,
                      233,
                      189,
                      194,
                      117,
                      249,
                      247,
                      20,
                      236,
                      78,
                      255,
                      253,
                      178,
                      66,
                      189,
                      208,
                      201,
                      166
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x8200911e073a7f555d13265a39ab86cd11d684121f3c88c598e76a1cd4668659",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9b3664d8ee84dd3d9edd458a4e682cec8d63bb2406d16c5be43de6d53785a6e6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3b3fcc016de92dde013a7aa2a3267ace068861b19932cd88666ca70d004f7ac6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdd428c70462c406eb5559fdb567fbd4a5741fd9dd722eec17ce0c7a69995af43",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xafc80229d8bd7e70943fa199747d0c8444f9ecfa311b61539bfb9e806eec8d1d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc4e2580f14e5706f48794e1889fcd5010a4c458085f4870c87413ef1222e5283",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0381ed7daa97747bc401c3b51208947c324414aec7024bdaf5ed8f8edc1efbd6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x68542184d53de12ee0381658f9e7960c4cf68bfd488fb5cdf293b02df16a561f",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x5be3305eec2426e3effdb023c3390e7a5d0d9cf76fa4a2aee514b4827fe64152",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x89ff03228aba8206bd402c5f15a7ceafbef3361ceccf12168c64f1ad9f1625ab",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xabb374e1a21310ce5b524d908b86bc216951d40bef64cad63d773890e593705c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x179ed66e6c80ba710eb59b81eabc561948efd2e731ac2feced69e82595efc14e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x11357505f1eaac79cb1bd8281f6727c97605171d47a32e312c9d250d42c1ad35",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xaf6d7ef223e0324953382bd7df8a86fa802bdcc63f4fe3b66a91c160ed1a2625",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8da8f84f22db9accbe7b3365e1b797d8f3a4d7e7344e270cc06f5cfaa2151f09",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9cb29a87606aa7f33a77568b0e3d114ba3b328d2d4737f99c097d417bdf5bc9b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4349317b1ea1753d3453188f2884242fa4033bde7b6ef34009009266a5eb4223",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf36c2a8410df21f3f2da891107ea1c06ea4230f30aff7a077e454d8ff4cce14c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdb11e8774d115e9fdc0cd81eaf552b52e2614a0b03edb5f08e1373b61d2239b0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8ba05ddd015c302eb2175e69fee62c82861d22123354317fbcf7a7fec481e498",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb5787bb969d43faab1b0fe8d3835adb91a756fd36d9217f7a1323e2d166f1e63",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdbe1e34a675f339b274f16d7236e38743d2e290d4dd442f9c55853289c6ca022",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x57a4477db36ac6c70dba8f5d516ea844d12c0fa13bd5dcbedff4a16c14edc582",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x36b2847d35eeac3db5f1cd9b663fa1430ad78ea0c49a27d79119c3990b7dc6e3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x274834021ca6e94c4c390e1b2eb8d59738619e5a24c7692806aae64c95647ede",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1ff202bb0d8e40a43eda030d73ba6c06a3ba63769abb71a69c99b79012a57cd3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4f4fbaf8142c1405e143e673f4edf77099539e37945c58afe501d5885d386e9a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe94b43202e84a3d1cb4463d2346da8e9a134b3b9dfe31df3a54884656b95dde2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x30d6361ee6f17ee5455f8d6e413f58a6dfe9bd84588b70230108d9c96d536920",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe016ff669fd17e5bf595d6405ab31f4d249aa59ca80a6b873f43c7360672e9a4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbc14ad04b7533d80e9e687fa02f801021a87df28644b40571de533ef27eb50bc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8503b4b5e8a87e35adc8a1811d8bb74b08cffcf28f895e7155a1307504bfb2d7",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x605004aee629c12754691edbf486097b850244678b4112f762003fd55b3f3747",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd8236b94ceb79e9548054a87411a6dd9337e597b75aaf9fc0d6cc83a61b7dde3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x12d69b122e4784bc88ca56880858eae94a5b5759acc58ed0bbf1f63b7d5ee20b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1045b3cd5349cc0358120f23e787985a529f4f7fad01730e08c2045975a17caa",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc83136d88ac5a4bb656eff1bbd112f9d969e89633435c9a892ddc36b52f2375f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x82bea7d56f1e15074e6cdcc78112ac71cf3098eb21a72642ad525e0df1ce1085",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x64f0eaa51914d1ff55c00179137cbe5645f2c2c70062d1eeb518b2bf25df6768",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x190509c38d04196a42c9a45986358d1b9e20be15b9b0a922cabda3b3c9d4e266",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xf63af97f0b873e950aa68ba20ff2bf72962027ec75a57f7b5bdc8f86a9c2968a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0de0c66b84b9eace41d60840979bde2d95a61898082b303a9d8d1016ce166ec1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa651cac8dbb8a018d376a11efa04886470044101edecf054c5dca1765888e812",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6ac77514ab6c86cd3e801eb630ac02b82120b50d17ad38499ae2d008fcd1113c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4333c7ca90f6783fd7f3d539bf60c2e5d81a85c970d13b80444623dbe724eb52",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa20ae42fe2c7c0845edda052b9c53cf8ec0244b4162a0b321b7c377d996e5b8b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3493d0b1211871128635117fb50d43863bbc5526da2e44d095a7c3e67d099f2b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0a2b1d2d0c20cf63ca5d9544b56badba3c6d48b1ce781ffa3400a7af6bfbed95",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5bc9475c9d0f38d488a7060c4c8be9f41630923a2ecbc0f705be60608f3ac7df",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x8e21578703d0d9205793aaaaf9ad1f5462190b7c7f0889339eab8d5a349a8f78",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb1b05f73d0537bf21a54d2fe523a7e524e738e60650a29867521809fa0113525",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4b4ce86237094be422d9ef32a51d0337b6eea58fc91a6a3b87204a088b73bb91",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xecd3eb96d27ccba656d9c89b467dd4f8a5272480824238575a8e650dd324f053",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x81752227c599d7c8d5151c86c695177c3d1c106c83d407c66945ca1fe3e84e17",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x79094637ef50d3edd5706126a5f89f53d78d31000daf1db0b7b1e0f316ec4a54",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x56a805df6fc549a146662ae94ae214b22395ecdb2d71b151f832e194a18d475b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x167ddfd3a00edbf522f23d70b51e2347f8a1b99125a2e9d0b6d2577c29b82a78",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0afdae38f46bbefec27c52dd5ed99ab44b467454bb389561ae8d2a3bcc28b3b8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xda281099add7575ec0894d8369c6062707698c2c92945fd061d80e6542eae763",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5e86b77a9925a7e3cbf6fd7c3f4b2a4b7b053d20a62f04f0b54f5bb8e0220553",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x04fedc1094293a8758879372b29fddf7df76527608fc9214f234a44df3422837",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9ce7109e3e216d91d70f95465240ec73974f2983c4ee64e5b953636c7a34ebd8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd4c989ff62e3804095dd3b9703dee66c6b3f3821248659782098de8fd8592c26",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4116b4336c9cd54af65e229ec5fca23f463d1dee106a17d229494a87e485cfea",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x653264d8ee55d4b6c610ddc4d5fbfd215b1e578b9ead0ca4d8e7f597eafd1cf4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xeb1b31c55393e06cf05c0428944fce0415474b83d2a2d8c864d709d3c735faec",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4c140c11d87507b5b332db7a5b340cda0f996b27e8515e0d15a1af0b8271ee86",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb3f143622a6c0f28b0aa712bd553adf4d4f6225ccc420d620a83890337749188",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd70ad82d69c194ed7f84ece7711f3645b12c9d25257f52f69ac39261eae6fe65",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x181fd1e8063ac70f474c7a9ec852788a8f5099ad15a8998c1742355842d54c3f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb6c8318ec6ef89f5656dc657094d3b1cf8be1538ef14959fdf664dc9d3ab6851",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6e51e2c24d69851de7c8e377bccd0e89096c85eb17c1e8ab415c3ec4a2315de2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb864ca39ddea15d5728dc5b3c78f14e3d33d6336b32e92b29c58a60a4e85869f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x448138cc5083903b1b5f4e5cfaafa89a965197c37391dab6591bbf187d4f84b9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa0402777c6d5df9d6112d536fe5a2f9a383194d53fba17dda2459573b778c537",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdb1944ba1d0561afe3a7842935eec0bb9a1c10c70168b25ec9083ece257a8f67",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0cfb01ac51cf5f6f3e6d521dd832411454e0b7168f2e14b8084ca2a7c4be8f56",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x339795635d218cd6b33e3f12dd0b02f7230f7ba8c89dd5a49992e32feb7b671b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd461bd6c2244a0048cc4bc9775872c7df407fcc122af239ace65031aaa2be5f7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x43aaa785839f3cbefd804e801f3d0030a0da4c9f695cda915c35032c63707f5d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x274123398816d8aac293f9f24142f2048527c08edb654c10319962497e44768a",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xf1bebcd0333bc094428e8335eb52e6cb27b8e4532c65de0155759dd0a8c3a8ee",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd5739c4b2c0b231147e1d54538c21b1abb59f82a0b61f87d89fb2875488fbb4c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0339b5179f68c25903e2f4ea03df00805bc27bb6519fef87bc2f3ececc9aecbd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x68bf6918549b537c06834e2e8b8cacea10efdc5740755c268c6f666f85b038bc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xff55b582897c7466c7cfc6e87124333d6e717b769b97da89571952aebc092964",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x155992a4a459e85f9156b389480b6060cc2724baf53de911d0e3b45d43105e80",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x068f1226609b72a726404d2ba1f09abd9c833101cbd479cd048e5cfda9c50d57",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0bf925210badd5f01f9b0cbe0fc3f69685c388f946f419fb882ee0fef6f603e3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0d065520fc105883f9b4f82bd43013cd8a37fa3a4bef92817a018d4de8a4a8b3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xae968a979feb10148ac27fd8842ab14aa52675bca41a6cd6a128987726dd1cdd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x17dceac17f27294b1e27700063f2787d6cf3791651cbbcbd9c0c29ecc45a2a38",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2705bdb94929e6f0c07644dd8b2ba5c46f0edd36cac4dc8300fa82c1598ff406",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x333c92d6ccc723bd79f677d4bda91a82a5e6b58d37734ccfdfd91bdeb63f6e81",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9eacbb84aed4d89cbeb6013d4814cdbf4a321da2734830b410bd20b134219c08",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xcef3ae8bec75cdcc88949402d12a99d04e8c2ec774ca782f9214167c8d7a9b94",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf2a22ada887578db6682d157936084e33a8df25a7b788e6395f7f66ccf9a9282",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xade1a7d9892232e9e9375fbb16c0aba7bb420e49b92cabe337f19154b367510b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3ddde158fca8b03301076c701aebdefd16589921466c6311b50f39dd69b7b083",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb139ee56f8845d8eb44377d156b5ebce57344863e3605ddd5c26388e25e503f2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2c1b7c2695788faae455d26e003e26e3402c520de17c844b29611ea3a3ec6070",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2b6e3b1f462eb2bf44ab9b59b8985768377cd8417b0882af143304b2c1f6fa78",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7580987262bbd8e952c0e761a9ea843b775c20ca93f54c9ef259d856acfadc85",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xf9a3b01172df2cac622e15bf73d57bc7d15252bb234c78a0f1e674fe49717c86",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xac91a7c3786acdbc95f27d7a5681ae2726159775ec344376a3fe761df3e6e9fb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe160868f77facfcf6080e0fc40b2304245bd1adb71b44db140363c7367f822eb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa1a5f0e052db3c4539087673a208878892d37f7aed86f367506e920e33624c38",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x92342f097d78c21cbe774e655d09382f94e82276bc5b28ac234ae1699d4360c2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf7f902b1a129ea555f40ed4be11c74f4254f3472db19dbdac6ad9953d8a21828",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7f233b0bb9cb0ad269085eb5d3789b29ad4cb95d96e61c5d3582c543e3090625",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x07a6fbb60380d9fab7bd84bc17e14d45a38b6633ca6345579b699c29a218381c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x02f3de1ff22443a0740f060514bb1b1d17fa95cc77b4d32fb1f8be190d7412c9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x313337d78528bd2cdee2bd4f62da75430a0831f41e53340076deb73fdb157de8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x198d29d630dc50a237d9fe3b02f6fded4ec133ed168388d82e700bb6bc9f3500",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x60cdbd4f0969aaca81f94d2d71619e79827508a72d5416cc928c72a6ef54e9b4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x819dc662e86ee4a9bc0cb9162d92f59e694b4d7613b85d2e7cce6e2d779f8ac0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6feda4fb7fbc2651827dc04321e0ba5aff137eee375a11adf3d4869a5e21318e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x054cc7646fc99c4f98d8f40bd2af6da51721f69223949fa8a64fcd1788d2f9c8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9d6cd1784012dcf23f62523ca0d0b15d42db190daf248ae5013693858a880620",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3cd2191cce624ac673c5eccd55adc4ab7d1bf644817699ef7d19db5d0a95edf2",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x862a3afd0dc2e365a50a7ba407781af2a1ea8be4b805444c142f6ef1dc133cbf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x91f38703b75948979122090be99457c5885bc54b99bbcfed992055c0520e5bbb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe7acbdb145c6b87ae0be518772a9b7ec17ab367f03c0c85e2f17399bcc97f868",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe0350aefe67543dc91f17e39ba4d1512263de6aa1ee9a1a7fbd8c4f923e010f2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4a4ed56dc1094eb62a7b11dd5b41c3c7389b9653ed532d93ca23cac21ebe7476",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x241a879df6460557e8a97d742c5c0fe8bd91c1d1b1f03beac960013ddd5f1cf4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfdadf85daa934d412ddc1a7ce0febff74752d0d23ca1b31b745de005bd784845",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe24e4ab2a1950524b3595cdcf7df0d5b3d799f3caea1b9f899cf04f261975863",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x80b1e2ece545680413a80ebc5edb9c015bc08ac14807d257fdc83a38fda601d7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb0a6cc951a40294a05cc65cb623add2a847f578bf940e4b5a319facf16aab590",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa5a5b3bb65d14776459372579d326313210cd1f0aa24e9913a47677533d4873f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3fdc3c2f83828631ad2e73a58faad818d517924485611c652f8a8a960c9f91cd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8cb4cd6b5bcbc16dfb56d22ae9fc82a575d5dc689be5f27ca54484782a968caa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xab8707c4aef5b573117fe6993132920550ad90b7b0181ff524c63c957ebe7322",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x82b4abc910c0e8fa555fc493cc54f3bae6d3c57e1e23ebd5376c1e1f84391ab2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x19160406a1ee0a91fc907901c1b3cd370107aab043179be1c3375baf97f78f92",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3bc73d6069b594a0ba5fc1608c87b7a7015196a52404942122546a760fc33190",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x37f36e717e7fc675f10ecfdc3d9ae9f5e35419336c6eb1c6fae81e0511cdd0e6",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc7576163f5b53ea2ffed022af3fce17d801e05c9feffd2e237cf6782f1109da2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x623d3eaa019c332f7298e5c174d9de4756e213dd8b52e771a34e9242e59e3321",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc2b2510c53f14466ca66c57fbfb0bc41ad6c8373db160da6e5672da74fc9d70a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc6aecfe091a277c4c4381d398fe466a4141ab29dfb176ab6aad3755ded21fe1d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3b84d2a743a48494160b5b293375839347c9b9bae85eb7aa9b5783572767ec85",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x18a6abe2f6639cec61ed95717251d96eb9455ebca2295c5434e2e371fd3e9f48",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb491ab9c37d42212507f463bc3186b1233b925ae374c9b6fe6f3469543dd6f4a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe167686bb36b7b61832a536421ed3657d784f1ae6165f9d5e6ab1692342abda9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2e404a6388e3f93eca5c6b5c1603ccec18562ef957b86ab8481ef63393a7c87f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x68904c83f947eccb519832f2670ad79483e4d1e4651d2a9a1c6214a1ad843e25",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x19ddde9aa79e7d80976ee6589560de0cb5a0c4134ee3a2b45ba51d96d76deb06",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8175a798bfb61e0116146255066dd324c74dfdffd27f4adb2e31cdb931afd266",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc4fed6831ebb7d4184c467992883cd0335425e1ab7713694f3c3b35085cc914a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x55b9c62a3a1b33ccfe5ef7634b199762092b6f31f404e26d865e4c2407421041",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb2a0646f32e887bcd14b7595b8ad0c8c5aefffc3409c7c651a96c2401c1f1d1e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x86a7484662adca0bd79e80c61ab0827219348736df631cee6abaca3699c44f2c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6631f726b9a22dae7c7af4540b9c6c7b8a0215b3adbc618885febe302eaac79a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x02c9624f35dbc5309cbe0cf559c49fc48408bd82f10d0c38e94ee57be1e78277",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xadecc782be6ce1d93be9a242453c75a39f7bd714774cf336e8a3e1e7b9831d91",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xe1711a462531139412110c35c6cfd321c83873bee99fceaa6addd313ae9bff1f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb9dc0330f91438a9263a7554a2aba714a787984b355d14bcd600f20067ebba98",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8a60f7343d01a2621939f9112378ae673330ec61e026d5231ef20c12a609ac61",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5408fb9fe2ddb77109524f4a756fa4bcc38522fcc78b2c00af6eaec650de8f26",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xda4e606b7965eb64f5f1714b7a1d41a3682e8e27ecffa66f7370f6fadbf6566f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8647f7475105145b688416ce2fb47961d2577e918528c64d8c8ae8803a6a5b4f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x559d1c1ae41d9dd1afabc99e31c04c4c64c27a1d4d08aa8f789a1d6d104e9947",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3018b84c4b612cde881461843f652b9cc3f5bede4646dcc32850fdb6448c14c1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe9f7f8949f7e8197766e9a76862ca63cc2664e8fcfbead74f472323bf8462c35",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2b00ee312a5b064a0137032535056cd75063f87ec05ca47f7b0e02797425bbf1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x595c2434cc7facfaf77d1f416f02c931b980985389b73787e4181daf75cdf8fb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x762c1ef190a181c256ba96906a1adfe2e2fbafa073600cede0751e6f2476f6ea",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb3e7132b0a87ab3b9a1f01f16e8a7438351d72940d71a05ff2be41d718d20ced",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x31803c08fea60a9e204b485fb81fc6ad5b61896aef7ccb10faca36d1939dcd4c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x00f7ae459de1cd794fb6da3c115f3f487b3a5448168bae4134467e71f073c138",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4fe7a790c85961b12014c9cd47dc813d6ead2c0f72da4ffd62a67c2a17caeeaa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x593c582f0756487949e9043d31514666f40e4c29faebff38b9aaf4739e2522ff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd1ec270e1294f8ba74f33ba2861c011308e79bf4d2c5e3cfc03e2e373ee3fb6f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x899c19c4162d3004ff788d3417d231e16b2b95dd9d4327854b0d9d304c137ee0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa5ccc458bb46dd2dc1da8bf273def9c81daf9e82fe9e676f639d721920eddb6f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe5b0408b7329f42d0baf53e8cca0ca6321821ef41c20768265806a6cfa1b2da5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xab960b4a2b62006dcde060e51e8f12b17a9e7e9af300f017a495683622554302",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x737207b8ad2dd1c4e9ccb1ca3a860e32d68c725d61354ab95e036c9e9974a23b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf33cce21d72d5cc0af8318645f48ae2f994b0c74dbdfb05a4eb8654897633268",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd70e39e941eb4370584f8aef64420b4d1c88ea62d4c67df2d9ee8d1b54526846",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe5ebd10c1859c83e692f496f88aa57fd990a448f82186535d002a4dec822dc7d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1994c3539ee77808e1584f207ad1f5cf45c0589c0d26d8ad3a6468d6ce1820bc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xca253db5d8a66515c35ad588b9185d1ba74a176e3bfdef323fb4f2a85ef6ec52",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2a31ad96b7397225227a199d4c74c4f844c37c1ce4632772835b7cc6a824956b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xab6e869b4d724b43250a7ba22649b7529cc8f108381f8ebe891697855aac5e66",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe863c37e64b9131e7eb390382adbe9d27f31d561406a84af697653abdf45d4b9",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x170d",
    "delay": [
      65092,
      9999
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalSharesDontDecreaseOnRedemptionRequest",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4651,
      6391
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addAuthorizedCaller",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      554799,
      10090
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC7540YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      321389,
      4999
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior5115",
        "args": [
          {
            "Uint": [
              "0x231",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79229,
      56528
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x30f60ae553faee23381a16fba734fea7ee70a8d0b1cfacac303e83bcb63",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2043,
      15745
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54465,
      39797
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0x14a6bd13a723e5cbc067f529a2413fa19f94da3adb10f77d9c45462a1358cd1e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1294,
      24005
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",
        "args": [
          {
            "Uint": [
              "0xf201055318ab5d93874dcdb67189cefb9881bc0de690216f234ef6ee9afd1a5e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79636,
      17285
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0x23135a6e0e96dcc66a503b795673d83b41ba78fc5833fb7daabdedde01e8ba01",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19974,
      34455
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositUpkeep",
        "args": [
          {
            "Uint": [
              "0xf4d141ff66551723eb3a2ad9e496104e637b0eab76404038a51f5a0881ab4fd5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      113842,
      21595
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x1d1f606e8ba0290c72328eb0fd1f00fa8c3dc708eb4094d0aee43591b3cfb4d3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3489,
      32995
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeVaultFeeConfigUpdate",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85875,
      42353
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67293,
      8250
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5088,
      34663
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59042,
      45782
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x4dfe92a28d1a836e5522a76958eb3ce801e02f58f0334cce583258f6ec0c4b95",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2102,
      21625
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior4626",
        "args": [
          {
            "Uint": [
              "0x82",
              8
            ]
          },
          {
            "Uint": [
              "0x187",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25755,
      14013
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      68061,
      24970
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      337271,
      9348
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19267,
      49712
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0x1",
              8
            ]
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Uint": [
              "0x119b1875a0436868a5b0c8115e9e7e5871150aa4a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      49187
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_approve",
        "args": [
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16298,
      5292
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      20667
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      551475,
      41203
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          },
          {
            "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81870,
      13584
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x96",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      349130,
      27543
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83071,
      3081
    ]
  }
]