[
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80386,
      1285
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      467877,
      2791
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x3114c492ffa8979f7c8b609e16390f383a2e39d48fa664294c3dad1ccc74d90a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86874,
      24498
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      446976,
      2194
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0x3450a15dc9cbdd5c0e28cc22474d88ad7e2695a3"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
              },
              {
                "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x37dd2951d2d260f62f47cc7d2fcab5415a011dbb"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0x1e1cf94e79509812f961887accc68a01977cf72c"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58003,
      41100
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6888,
      16549
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      23834
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0xb9addfbcad52dec8a86ba320af885a07b8620b8018fc3d5d48b3965d9fd1eca4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80872,
      45741
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x5ad73b9575e0c4454b838fb6904f0841e6f3e13f1499082a2de2eae928abe93c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5313
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8590,
      16580
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0xb49029f387b52c12ddedbe68a31964b7d7eedfa9b0add4ff175666fa2845cabd",
              256
            ]
          },
          {
            "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
          },
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66708,
      42681
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxRedeemMaxWithdrawSymmetry",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78646,
      4487
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateLoss",
        "args": [
          {
            "Uint": [
              "0xe601e28c7127d7ff0ee0d8437391c1a1eaf6d2941b087d810cd54601ce58f726",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      235624,
      4665
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addAuthorizedCaller",
        "args": [
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38070,
      57164
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x0000000000003b000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0xdd2c83d83d7ee7bc50472eb1e5c411421745154faa3d52727bbf7151853065f3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78213,
      47461
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38959,
      3950
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83,
      24361
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_ASSERTION_STRATEGY_NO_LOSS_ON_FULFILLMENT",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
                  },
                  {
                    "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0xae58626b3c5c4db2e1bb54ba071abaa17b6fdeb7"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
                  },
                  {
                    "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      207,
                      157,
                      153,
                      247,
                      27,
                      29,
                      164,
                      226,
                      34,
                      150,
                      129,
                      79,
                      125
                    ]
                  },
                  {
                    "Bytes": [
                      46,
                      209,
                      167,
                      15,
                      180,
                      249,
                      23,
                      81,
                      50,
                      108,
                      39,
                      146,
                      8,
                      171,
                      204,
                      97
                    ]
                  },
                  {
                    "Bytes": [
                      183,
                      7,
                      96,
                      57,
                      149,
                      33,
                      202,
                      90,
                      1,
                      174,
                      23,
                      193,
                      234,
                      225,
                      177,
                      233,
                      35,
                      177,
                      142,
                      163,
                      126
                    ]
                  },
                  {
                    "Bytes": [
                      179,
                      156,
                      163,
                      134,
                      30,
                      132,
                      192,
                      24,
                      153,
                      46,
                      94,
                      100,
                      63,
                      48,
                      255,
                      132,
                      78,
                      89,
                      9,
                      166,
                      207,
                      6,
                      233,
                      151,
                      102
                    ]
                  },
                  {
                    "Bytes": [
                      115,
                      117,
                      198,
                      4,
                      180,
                      143
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      233,
                      22,
                      202,
                      219,
                      18,
                      196,
                      147,
                      137,
                      228,
                      135,
                      235,
                      30,
                      129,
                      148,
                      177,
                      69,
                      155,
                      41,
                      176,
                      236,
                      9,
                      16,
                      75,
                      221,
                      52,
                      45,
                      51,
                      18,
                      160,
                      129,
                      180,
                      128,
                      60,
                      86,
                      213,
                      178,
                      8,
                      197,
                      110,
                      251,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      152,
                      103,
                      62,
                      39,
                      12,
                      68,
                      46,
                      167,
                      221,
                      158,
                      178
                    ]
                  },
                  {
                    "Bytes": [
                      50,
                      208,
                      241,
                      21
                    ]
                  },
                  {
                    "Bytes": [
                      81,
                      121,
                      24,
                      255,
                      155,
                      155,
                      133,
                      188,
                      37,
                      118
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      233,
                      22,
                      202,
                      219,
                      18,
                      196,
                      147,
                      137,
                      228,
                      135,
                      235,
                      30,
                      129,
                      148,
                      177,
                      69,
                      155,
                      41,
                      176,
                      236,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      171,
                      95,
                      30,
                      127,
                      151,
                      167,
                      62,
                      185,
                      184,
                      16,
                      55,
                      222,
                      114,
                      153,
                      55,
                      232,
                      231,
                      159,
                      243,
                      160,
                      185,
                      241,
                      69,
                      164
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      160,
                      203,
                      136,
                      151,
                      7,
                      212,
                      38,
                      167,
                      163,
                      134,
                      135,
                      10,
                      3,
                      188,
                      112,
                      209,
                      176,
                      105,
                      117,
                      152,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      160,
                      203,
                      136,
                      151,
                      7,
                      212,
                      38,
                      167,
                      163,
                      134,
                      135,
                      10,
                      3,
                      188,
                      112,
                      209,
                      176,
                      105,
                      117,
                      152,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      129,
                      32,
                      154,
                      119,
                      140,
                      6,
                      112,
                      126,
                      250,
                      255,
                      11,
                      100,
                      124,
                      46,
                      68,
                      21,
                      31,
                      150
                    ]
                  },
                  {
                    "Bytes": [
                      89,
                      172,
                      22,
                      206,
                      58,
                      21,
                      251,
                      4,
                      243,
                      2,
                      168,
                      66,
                      174,
                      72,
                      137,
                      139,
                      49,
                      181,
                      24,
                      32,
                      73,
                      104,
                      157,
                      98,
                      158,
                      229,
                      82,
                      50,
                      143,
                      252,
                      245,
                      206
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xd1487f5d6301f01f7f62ec5a483e8ce7c15362f6a368dea920df0de4bd2035c1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe366f9557fe955fe44ffd846bb1b3d2ce2328bd04b14a4bbb9017d8c4a241ebd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd92cb96feaf6266958d21787ddcaadf921aead4560c5bc16092a1db81f74d67",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2a6f9ea12ac8ace61e2780fdd3be378df32ec81b2c5972dae0a42b572eef1500",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x6e05248acc0e83412314717972f7a22a36cc27f95143c148cfaa964de6edb0f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x33",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1d87b8cfca5b8a96d4546a2ffa8285369fc58e4f510abdd48938ac4aa972a444",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x31d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x93d1ef81410351e40541e0f9480a028b3cc5b66cff6dba40a39c1d3fdbd2b79c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x48",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x58c55d7f1323832ea7b3081e44fbcc10208c16c81eb233bc0b89db82848019f4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3e2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x21",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3bd17a43a8ad018ab6c206d823cc3324693ef31f9f485e7ae502b22262c2b794",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1fda3f15471eb0a98b9a0cc8c604b4840af1eb489f9d9230028ae01958f61c35",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf1d768e5c020833d35d4ebb9aa977b07dd024febf5735f8fa6c2fa0e35d41227",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xefaf7cf08e02d1da42ec75343763ad6ac15b86a2707104ce2705173e324bbe7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2c0fed351a290207e77a7b84915b4a0844ce899143a62d31328d05a6b631d431",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa8974b1742dc9e12176f0828b882cd58b6a10fe12d74d1079baf4d5b5655d07c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x21c7db39f7f13ab6e5fc650d9db9d5e2565e43054bf1fb19e8ba0c0795936802",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x79ae2be88ce621dd45095a1b2a031b2b31cf4faba59b6f7be60ef286284f84cb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfbc55ec5bd3ac414c9337deaa3fb78907a6ac8c728020b9ac2161dd1f0be4571",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x64cf5b517965dc31142df95366df5e170bf8920e24ac9db48cb611739eec9f30",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x37a90bb03d21e62852157ec40815be09c3dbcd061c0bc6a92cb1f510a637d710",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x999eb80ff1958845220c98766d716fc5bd286a377f1a6bb16bb97b5516ed6b8e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe900816d205d697f9e41c1cdb80ea6e701a6b2575d29c5b55fa1c71b9d440491",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe2abb195ff515fdba99a5a863baa0de97f204a1499da452470f813141eabeee8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2e36bfaadeb6158050e98a7ddf0fd1aec78d7e6e640a2b21c75d5eee21f076ae",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd0d32f717c61dad0da0e418f40ae79d14b7d85d667f7bcf2f4dc125f2263a6a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe8dd33d18340b764162f2a947fd53c4962d6f1eea608c532a2079b920a078380",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xec276dfae43d0119f066213d6f26c77fa8f935249b69aa86e8bcecb28d7db1ea",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x03cdedd24283bd238c0d7e6aad6f997eb7b5706ac8b5a9bee57062a8923a3498",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x793ba5e4c5effac636def97d5574b50b661d5a072889a667659c76fa87540f78",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2ed90b74a5097ebfb7100a1325a544ade9238e0fe9dcfc2cdfc88d6b48e92c50",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x60e0b4ba62c639a730b6ad29591d212575dcfd754f49d70285accf3026521702",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x214fab98b325793c513169e257bbd59561fad8a29c749277a6deca6f53fc7804",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdbd9521b7beadb1e15989955d909b1db80f4cb3177e3438a01b40955032d6a2b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc0199d757070d0a520dfa233767d758a756cdc12828478e666d3cf12f2937887",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9bde7d2d4c557caa9b7b0c11ef74478ec7a268e0fe5affd2ae6a8890c247bb3f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8941960337224a24f81df149bdc5e9e451ecfd3e4d67e9677607d9a3ea1250d5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x89cb24e71ec54532a170b4279e9e2fc2ac119484fb1cf7531a3346c3f7247fa6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xae446917bf796f000c8b0eb42bdde33512fa9aa1c354dd1dca1d43f975fce029",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x95d248411e80ebb429d01345bca8dc18902683c76ed9de2acc1f5a3dbb3f48c9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe18ea6a1b94705e4e330359f3577f9d60396b2559b065810a4a950f46ca80885",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdba295221d9fea59d505ba1d1fdd154dcb93130dcf3ac08bd6de5d6a7a25b21f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x42c4f65f7c03290204116693df6129a1e6e2493f2be0b15f0383add5ed4b84f6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb8cd825856b26a4c32fab38680b9fbd8ea8adbca2eddba6218d74843d8242524",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x1ef6e61fd824ee38bade2abbd51055f405105724982128fb7de08cc8e39739af",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4df5072331fc36e1d5831e7b9f0b9c625c60d9cb66a0a4506a9da10ac0ba7c23",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8af38a8364cc9a6717d180ce7a142f9ad7c46dd82a24d4aca1d2da46d74a67c3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x65c374f968afc26096afd3e52f863ec4054637ce8851a1c00d60218026097475",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb4a6f7224cc2c2bea07334bc7e4e588b381df2fbbf1451d4fc243ef443cad572",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9fe8572431d306c91f167179d52208328da54ae4cb91321ff1ff3255731458b3",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xdaa95d9ffba92d58ef8a13db7cac1bd5256b9dab90e037fd64c243879de8864a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x36baf28142bb5819dcbe8eb5e62627c050774a0eb3ad21fbc53e4c2ed27df6b0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7409689aeb84f014ed089b83731dd63a853510077d250d0b9224d38cfbe82b63",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x5ea51c7df479ec7cf699c1d4bfa579f9c608c92b459c50611c35c56f56296b41",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xda1fa116c38b191001ed58140058cdb501594ea738c3ae6d670726393eed5b1d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xffb95458b16fb90f60a651978749afeed0209afb0c3e3d69ded2e8639be84655",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x039a860f9c4316b5b6bb4f66120606794c7ea043f0c81d25aea0978dfc94f435",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbd0966db4a01a9c9712e392f137662a51bfde8f805500d2c1234d9494390e09b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf0aee90666b15164396214f9b81931d4b7843b55b18c6d088545de35507c4167",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x958fc5a154d0519310ff5174413cdd0333ce25d87644769c484831ea6493867c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2818886837452039dce03b0146aa806c8067174ae1de3a80a58781e3ba015bca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa4d5a0124ff7ee164ea82232fd5f686266fd13f83785fc9e643318e481651775",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1fb9f3a6485cd5c2fb667a0c2b2fa0ffcb6c1b2ec7e861bc5be4495a2bf87f80",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x92e041b5131229a1a60f0e4c0257a878b8f5e7e3891068a5876d9d2edb943c85",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5c17a1b4f9370f1bcb0049d6ecd730e7864ddc49d640be24cb61cb05c8cd950d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0aaba75b6571026e5537c807d2f732a9f47eacd2863ad68463ada7aa954cd3fa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd1a3aef0c077c1784cae9ab8ed41622c4389f0f9f032893e59f33533189aee49",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x14c492d7f0c974b8da98e7d9b3bdc251ba44647cfea60c14f76f753a8ff35c8e",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc7ef6db9b96fbf290d285c2b973dfe847b63f8851281aba2f8f206b4abb5504f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x85d65dfe82554f4d7a369a0443401d3bc6dd1a5b9a634a5ec3fbce07c0db3372",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1fcc3946f052524d70513b2b1038d9936b66a7e7351e4331f1b1ec44a56578f3",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x3346aacb22cc260d3302ad401fcc019e797c2c79c36e0556de0a36ca10862912",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb70681ce1c700f9de8e23187fe44642f7fe9b637622cba1540086b4817d79d7e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1ac96eea179a5ba0d14b7fa32903f2d0d77f2dd50f79281fda5db1b8e1f687ff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbe4d315a65d77c9dc5fb1117f17816c7c1efc5bc58e9d3c90f21f9b3cc9bf846",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2224dfab90a45820dc1cd667ade4f5ab5583505868fa992467a8d1149b86e10e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xff45936c8887306d65c090ca2ec10e969418592bc490a392936aa1ed93fb3636",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xac4dfee8201464b55c82667a8f02184466a04adf5d5e74be1890869223bddf81",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0319c1a0cf81bc028e2ef430e7ff1d5dc1bee3edd47a9fb003f1fad2776e6024",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4a6c224ee96bfb5b2278598bf5238f4811e8ce349483be6a79e725438a9c62de",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x89f074f7643444ce1788605e73398608b44a2e99e02871d654b4fd6ccb89263d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x92838b2b5b20721d07e64c5d025ceba2bd161bae33cb490a43bc9ca122fb4143",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe55914ded1f1375151f658cd4ad8b71f240f260686c1fcb23731ad70a4ea7c00",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xabf15d24b36286825fc0562dba58b23a7c50602a059625fa11a2387ef79e01fe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe76a790680af6e55e34e79255fd6dfac3726841424904fc8ea1a7f5d29091e87",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2017eb61c6cadaf3161b40be95c1dcff20b29dbb53773f53c1051a4f1d4a419b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe6c682f048fe6216378f203bf1a496b6ad18edcf7f1f36a9df6c2f8dbd112483",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x226df60a901b2c140673337caf038a920f2d497c575c2b0aff185ced2390c040",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5fdfdcf214cb0aa6d87687a78156c3519759267c32dc612705ed5f88c444e6bc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa76581a9c3367f749ee6305cb9a45e944613770bfba1990ae6c51c4351fd3a13",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc15dcfb7964379c1289aef3d4e4bc5df1143da653588282369c0d80d0a682f5b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x570c31d48bb9af8e7b05fb25a653fbd8286f408061997fa39b12c7972815a0e2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6d7c93031da6b42aa5a80a0dcc11ef84a10f633611347a2dc997d6cb51920ef3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc57b19d9677f5b9e83d249a94335744bd613c6a2d4023f385c996e9c232e2c81",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1f0cbf8a0dde36e1cbfb1b78ca6650b440195a0d877938e1f90bbedc87d5c6f2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0c0b5eca44d003e12f6fe50950bad4eaa369e02ccf7352d59ef1d4c17ccc604f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x996e72298a9f93d4f04c5f586589b86cbe27e435b163451ad01d3cdfe6ecabe0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7c099b89ced12c615d3e4ac155521abc953dbb8e4ef77fad41d3f7be946e979d",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x0f2617bdac9ec56d663aa96fd76dd8308b34ad84abff615985c2c98fb232d5b5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4aea5bce0698b25065e049f59e91addd3ee971cefe62b5eeb5b3067c2609cee0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3fe754c4d1721f808e800483bf67d696318f474b2d603bf89841e17e4821b337",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5c6175715a5aedbde5dfe2a69ac4beab853e05b1636ee5d4cac2fa7a44f0bea9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe711e6d28d20d1d3325bbf134ea51fd5e4ca5031487be37c5d2cc7501f95e986",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5a9d26bf98c3d90cb1e3d9c7af790ae8ebd03a8c6475a83b74df13e6277fc70e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb0650e21f72a385358420cd2cd356d09f54d9487107ff93ad15973a4398f6997",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfad512c2448b1997abaa38a88c8e7bf9684bb74222b3d82e8f7fac0efe9285e2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2c55a63547d276291248292d20764688568dc92bfa3291861895781c59bc32bc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd55ea9bf36cf32741d75c2e82ffb2bc36e2044228d46e056228738a50e32c033",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x15252d1de9eaa694f9eadaf94e9ff450e7b1164c384f8dad65c934dc6d087335",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x571ccc60bdaaaf02781e679d8d889f6b61ec26379537926fa79f0f8101c1d752",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xda0eb3facbb34e0a1b74c4358af923c30aba008e7205cc7b9edaddf6ac5cca44",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x030f62e020a2230a8654bca68bed8ae88daed8266286c42f49f3f989adeb3613",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x19b64802fccfcc91eaec8c7d0451f6cdbd726c60c80ac36c9c14d7b755c760a5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8153953cc310623f2788e55cac46331420cc6cf6b186d0ecc93c27629777bd7c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x86c40d4c9710553164c80ea51fdeec5331e2b98c24f1171243b1fe665ae77f6b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc9551510de6d3125a715dfb2a8c32dcc603834f41fcc177637b0c50520df3fe1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf216a4d638a4632360d67d28bd7c4f064edf3d9377a46c345aa139d387a4d915",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8413e42a15315072387ff5d4bbec23732e8b38ff09c6a77009292e1c6d0f0b73",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x42bb779f74673acb57aae0fa5912979df2661dc7cbfa2c2fa61bda4885531eaa",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfb7e7fd01bcf70f9163a671e621accf7106e42c34c274ed15e08b7373ae7a8d5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5ef5f473a655570e5b93d1a14270794f1a4bfafd87c8f4968d9fbe435dbace12",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x10b7fe0220433e399442f57526282c9d8e920bf9d1716e7ae1234fdebe6b45d0",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1954,
      38008
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72627,
      43143
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x7fffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      343596,
      36009
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14553,
      24190
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      0,
      11923
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
          },
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      147930,
      50255
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27295,
      19631
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86858,
      22687
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "Uint": [
              "0x2614d838e8d66163156d4a14c3433f81dac6007cf64b7e3b40a4cf66c909a8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      46850,
      1040
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem_clamped",
        "args": [
          {
            "Uint": [
              "0x3ffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8554,
      4616
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43565,
      58053
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0xd2",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7947,
      7594
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0x13",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21278,
      60307
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x3b9aca00",
    "value": "0x0",
    "delay": [
      332497,
      57220
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_exact",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6184,
      725
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x3b9aca00",
    "value": "0x0",
    "delay": [
      80857,
      58564
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault_clamped",
        "args": [
          {
            "Uint": [
              "0x5b74ae7b019f93f959b3818a4a0399640ea374d3f3be268192e2d3e4aad423c0",
              256
            ]
          },
          {
            "Uint": [
              "0x26e",
              256
            ]
          },
          {
            "Uint": [
              "0x5f6dc5eb223245629c16b4d643c584c792dc355bb8e96e7809133080dd3cbccf",
              256
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      128100,
      19084
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x21",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23590,
      1382
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shareSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78666,
      11996
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0x0d11d7583ca6b48a1e7a97f50e97ea64a9f4bac7"
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Uint": [
              "0x456f9d2c03d971289c2a1e39b3d14a64edb157ae9281ed719a4e1bb9a24f7ed5",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43630,
      2532
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa20500fb08ddf2d1e5962332148fcbb66bccb10506f95d36910b356bbf9177a4",
                  256
                ]
              },
              {
                "Uint": [
                  "0x9e373c0e24aa7f1016489b5507701b5e6374bd019426f58218e82863c2eef3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2",
                  256
                ]
              },
              {
                "Uint": [
                  "0xacab6489271423ce410dec4b5b73d4288691ff0c8bc51cf3184d2da23817ffeb",
                  256
                ]
              },
              {
                "Uint": [
                  "0xde4e9ab815bb5f809127fc3cde3c008b812f4191b04b64ef428c732111a03b48",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x6783b7b",
                  256
                ]
              },
              {
                "Uint": [
                  "0x10000",
                  256
                ]
              },
              {
                "Uint": [
                  "0x43",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd3dbb76c7bc3ed3bf5f518d118552f227875be07f3408c205407a3a4a1cd30ce",
                  256
                ]
              },
              {
                "Uint": [
                  "0xc4ba4b813856c65f3dbd96e1a744298fd9da59a37998c352277a7b5fdbdd2809",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe8bf971e433f80d55f30d55bbdd13ffd1ad84ac63ffdc9f02a61ef585611ef9f",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x0",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2667,
      22725
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x9f44df14b0e1383b71b5de6fde4a4661efafc12cc524a06bf89905b13d29dd4e",
              256
            ]
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      0,
      18447
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0xbe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78853,
      1529
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      46068,
      0
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x4a817c800",
    "value": "0x0",
    "delay": [
      6176,
      36804
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54238,
      8658
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x165a0bc00",
    "value": "0x0",
    "delay": [
      21395,
      59540
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_approve",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000001"
          },
          {
            "Uint": [
              "0x145",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52209,
      9262
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      68327,
      22832
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_mint",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Uint": [
              "0x0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3103,
      18722
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0x800000000000000000000000000000000000000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      183,
      26216
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77473,
      47477
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x337d61e751475460f5fb45c479b721701b0fa2bb0d3bdee7b8bb42ac97d4769e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8919,
      2444
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x4a817c800",
    "value": "0x0",
    "delay": [
      3431,
      10669
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0x2e6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83939,
      23591
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_exact",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81967,
      9840
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0x4b418d2c1c0c45cb82d0361c9690cff180a7b19b44e1e62ff268e7995e007538",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60723,
      4276
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      149,
      40165
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3436,
      43680
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0xb0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52487,
      725
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81542,
      9759
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x3b9aca00",
    "value": "0x0",
    "delay": [
      79639,
      6275
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      114252,
      21987
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6199,
      22849
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      230,
      14705
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24535,
      33181
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30967,
      918
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0x17b8bbb400a9fa4318cc47402a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5595,
      30371
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          },
          {
            "Uint": [
              "0x48c1999a66fe33e284b9127846587b597dacc36be5d8827cf23f48253d18bfb9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9374,
      20171
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange",
        "args": [
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53437,
      5687
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1075102,
      50364
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9785,
      10571
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0x25334f4bf2c3aa47f7321b7a3b1227511f2e95e27a07761a0c2e5a22c76854c8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72574,
      49713
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x607bafed597c1299aafa7f70026801ed8efdaef1bad8c8c885a7b5fcb2f0b827",
              256
            ]
          },
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          },
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      362,
      14028
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Address": "0x152f34ffaf759513b0042e83bda5f67b3e825732"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x1",
    "delay": [
      219978,
      34585
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81934,
      25958
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0x4939532cc892f7c0e6dc5df532e9666f47221b6d"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50345,
      8691
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_1",
        "args": [
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7054,
      55230
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
          },
          {
            "Uint": [
              "0xe13",
              256
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Uint": [
              "0xf8d3fa6b8b98b71d5f4745c0bfc7d57d51a96e798bcb08b22acf1766f11e276",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      450540,
      6580
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC7540YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x3b9aca00",
    "value": "0x0",
    "delay": [
      118689,
      51927
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x974df9451862b3bde725f0f969c4db0f0118ff4a409f4068eaa0229c76dc7fb6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      106831,
      26125
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1138,
      6575
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior5115",
        "args": [
          {
            "Uint": [
              "0x8d",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10542,
      2999
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_exact",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67183,
      18262
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
              },
              {
                "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x74",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfa",
                  8
                ]
              },
              {
                "Uint": [
                  "0xb7",
                  8
                ]
              },
              {
                "Uint": [
                  "0xde",
                  8
                ]
              },
              {
                "Uint": [
                  "0x337",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0xae",
                  8
                ]
              },
              {
                "Uint": [
                  "0xf1",
                  8
                ]
              },
              {
                "Uint": [
                  "0x379",
                  8
                ]
              },
              {
                "Uint": [
                  "0xaf",
                  8
                ]
              },
              {
                "Uint": [
                  "0x19e",
                  8
                ]
              },
              {
                "Uint": [
                  "0xf4",
                  8
                ]
              },
              {
                "Uint": [
                  "0x76",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69424,
      4674
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38240,
      24756
    ]
  }
]