[
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64876,
      2842
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0x81",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5115,
      2844
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0xfccd71394f0c841d30ee3915476e4eaa15d9a10f6a54b23cd0e4d7374d59d2bc",
              256
            ]
          },
          {
            "Uint": [
              "0xffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72600,
      17165
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Deposit",
        "args": [
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          },
          {
            "Uint": [
              "0x9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      490256,
      5548
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3116,
      20709
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_1",
        "args": [
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      149130,
      6462
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x52e4a1336fac6b4adc692aed8c891f0e3c1c521550522b53d006274178a1ecaa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60976,
      4662
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63057,
      1304
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          },
          {
            "Uint": [
              "0x68",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      204797,
      401
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      613,
      5899
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          },
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      410,
      28369
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      371294,
      32079
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalSharesDontDecreaseOnRedemptionRequest",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      996,
      42340
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86230,
      1462
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      276464,
      1112
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x7ffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      527838,
      4397
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0x3792cbf11217aac2a96350292c17d51d333c91b93fe6b86671eda211a3e6c1c7",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3ea",
                  256
                ]
              },
              {
                "Uint": [
                  "0xbc1937838853ed9288184b4c4159cc279c9eea95b264710d29b460c5941983ff",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe49a2adbf2e08e4e43259f5f905e0e68ded635a422e95f8af21527832ad1b9df",
                  256
                ]
              },
              {
                "Uint": [
                  "0x8480e05927ca3e24edbb35782b2422e17e4fb4d35a4514516aaf618bb4fbad2b",
                  256
                ]
              },
              {
                "Uint": [
                  "0x7f",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffc",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3aaab969931ce8e9b63863f451e7017325307c438932b186716e21f10eb7741d",
                  256
                ]
              },
              {
                "Uint": [
                  "0x9388e55dcee4f433abf405ed9dd946d00183b95505835bc2d0885e0498a4e1ff",
                  256
                ]
              },
              {
                "Uint": [
                  "0x988679f7e4b709ea7ee9024346211932c67cfc6d6c649705bc0ed7492dfb00e3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x554b5d167b71308d3eea77bdafa0d73c4f18015f61f1f80517f6fc783a9315d6",
                  256
                ]
              },
              {
                "Uint": [
                  "0x7d2",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0xb8f149f0bd8bd781aae52b385035f0ed60e7585819b574154d0dee0187a3b08",
                  256
                ]
              },
              {
                "Uint": [
                  "0xddbb718797e24d89d7d48ee6bb97b1474e820d6603b43eb8600921feb42da559",
                  256
                ]
              },
              {
                "Uint": [
                  "0x961bb38244b9531c9a811c3356f655c474dc2bdf89d1eacda1269b1f6deb0145",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1389",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2328",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0xcb5",
    "delay": [
      82302,
      7322
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Uint": [
              "0xc7d16e8b4f7bd41c3cc955c0cb46155ef1c26987b22eb4369212b1aeba6ede7e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86027,
      5633
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000020000"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3222,
      21532
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_sumStrategyAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76898,
      15696
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0x70",
              8
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x9c54c7b320371f98087b9d4bc015ab1dc01d75f7393496ea707dd6b038114aec",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4844,
      25906
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
                  },
                  {
                    "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
                  },
                  {
                    "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
                  },
                  {
                    "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      101,
                      103,
                      184,
                      187,
                      3,
                      174,
                      41,
                      76,
                      146,
                      132
                    ]
                  },
                  {
                    "Bytes": [
                      37,
                      232,
                      215,
                      60,
                      191,
                      226,
                      9,
                      214,
                      227,
                      255,
                      186,
                      22,
                      229,
                      77,
                      10,
                      47,
                      197,
                      76
                    ]
                  },
                  {
                    "Bytes": [
                      81,
                      73,
                      122,
                      220,
                      163,
                      181,
                      84,
                      239,
                      215,
                      252,
                      228,
                      131,
                      40,
                      26,
                      177,
                      41,
                      145,
                      177,
                      39,
                      17
                    ]
                  },
                  {
                    "Bytes": [
                      21,
                      233,
                      51,
                      151,
                      254,
                      73,
                      219,
                      174,
                      37,
                      23,
                      133,
                      128,
                      246,
                      154,
                      62,
                      21,
                      128,
                      158,
                      50,
                      53,
                      78,
                      87,
                      82,
                      182,
                      17,
                      153,
                      51,
                      195
                    ]
                  },
                  {
                    "Bytes": [
                      238,
                      219,
                      240,
                      143,
                      207,
                      140,
                      135,
                      16,
                      165,
                      184,
                      237,
                      251,
                      56,
                      144,
                      133,
                      254,
                      92
                    ]
                  },
                  {
                    "Bytes": [
                      191,
                      194,
                      42
                    ]
                  },
                  {
                    "Bytes": []
                  },
                  {
                    "Bytes": [
                      96,
                      210,
                      137,
                      78,
                      158,
                      65,
                      113,
                      16,
                      138,
                      153,
                      156,
                      27,
                      28,
                      139,
                      95,
                      11,
                      197,
                      201,
                      173,
                      184,
                      236,
                      101,
                      116,
                      144,
                      10,
                      83,
                      70
                    ]
                  },
                  {
                    "Bytes": [
                      82,
                      156,
                      20,
                      250,
                      73,
                      64,
                      213,
                      14,
                      101,
                      146,
                      154,
                      129,
                      59,
                      99,
                      210,
                      131,
                      12,
                      218,
                      16,
                      88,
                      45,
                      22,
                      238,
                      38,
                      177,
                      190,
                      22,
                      45,
                      18,
                      8
                    ]
                  },
                  {
                    "Bytes": [
                      4,
                      55,
                      249,
                      47,
                      96,
                      104,
                      29,
                      29,
                      111,
                      67,
                      17,
                      27,
                      121,
                      71,
                      216,
                      103,
                      253,
                      189,
                      253,
                      201,
                      31,
                      67
                    ]
                  },
                  {
                    "Bytes": [
                      205,
                      221,
                      232,
                      149,
                      95,
                      125,
                      252,
                      224,
                      60,
                      168,
                      124,
                      25,
                      63,
                      215,
                      5,
                      64,
                      103,
                      240,
                      123,
                      210,
                      83,
                      112,
                      13,
                      190,
                      17,
                      245,
                      59,
                      161,
                      187,
                      53,
                      198,
                      116
                    ]
                  },
                  {
                    "Bytes": [
                      147,
                      34,
                      93,
                      33,
                      106,
                      210,
                      35,
                      125,
                      76,
                      217,
                      8,
                      223,
                      167,
                      63,
                      45,
                      65,
                      78,
                      21,
                      224,
                      238,
                      126,
                      98,
                      187,
                      3,
                      19,
                      80,
                      168,
                      94
                    ]
                  },
                  {
                    "Bytes": [
                      176,
                      25
                    ]
                  },
                  {
                    "Bytes": [
                      133,
                      163,
                      45,
                      156,
                      91,
                      118,
                      189,
                      170,
                      136,
                      84,
                      171,
                      42,
                      133,
                      196,
                      157,
                      243,
                      192,
                      192,
                      250,
                      249,
                      102,
                      166,
                      160,
                      25,
                      130,
                      195,
                      142
                    ]
                  },
                  {
                    "Bytes": [
                      242,
                      17,
                      161,
                      34,
                      148,
                      116,
                      207
                    ]
                  },
                  {
                    "Bytes": [
                      93,
                      11,
                      82,
                      122,
                      23,
                      224,
                      120,
                      69,
                      58,
                      137,
                      109,
                      139,
                      241,
                      95,
                      145,
                      2,
                      226,
                      40,
                      244,
                      175,
                      118,
                      129,
                      95,
                      16
                    ]
                  },
                  {
                    "Bytes": [
                      190,
                      243,
                      219,
                      71,
                      78,
                      51,
                      235,
                      176,
                      52,
                      148,
                      173,
                      200,
                      152,
                      205,
                      150,
                      7,
                      14,
                      148,
                      237,
                      255,
                      21,
                      109,
                      221,
                      16,
                      137
                    ]
                  },
                  {
                    "Bytes": [
                      180,
                      10,
                      226,
                      78,
                      128,
                      15,
                      224,
                      81,
                      70,
                      4,
                      14,
                      116,
                      76,
                      223,
                      63,
                      161
                    ]
                  },
                  {
                    "Bytes": [
                      32,
                      159,
                      225,
                      196,
                      26,
                      225,
                      71
                    ]
                  },
                  {
                    "Bytes": [
                      143,
                      140,
                      106,
                      42,
                      201,
                      194,
                      26,
                      75,
                      236,
                      62,
                      62,
                      47,
                      112,
                      89,
                      176,
                      171,
                      96,
                      37,
                      202,
                      191,
                      71,
                      12,
                      223,
                      103,
                      153,
                      204,
                      86
                    ]
                  },
                  {
                    "Bytes": [
                      84,
                      123
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x7d3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1e8480",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x219",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3e9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe0e",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x922facc8c2760788dfbf4eda9239e15712a807debc05d5ed282a44398961e44c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x68b0ff516fbb9a46247daa14429b96ed0718f1b4491bcd287c3eb2ebcb73890e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6837a213b31e9fb08716f58e7f9e1691772fce707fcd007d40c8dae06d536bc4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf652e33902d4dfb08ce48eed8c34d1ec3bf38e5e41e2f8b8f2e2454d2bd8d332",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7c9a3975408ed07923edb4b64d4281189c1408b0e611e61d7ab2ce4c288c3a67",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7d89b7286f0e760a5ea63d4763b4e52aa4f9192b9ac0da0d01c15935c06998d3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8acf7d4efc5a4582da2e0133227394c56f89c82eae6100a280d55c242ffff72f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6706081d30758686d80aaf8e2a177da1437e7ebe2283163197cf09c5167a0a1e",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xe636aadc46048fa01dc1b6272c66e49fd02070268f77a2f54d64e194773405bd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf1fe9dec8d294a573f68c3c7e9f5c12d3979ba80ae117266010ffc078fc4e541",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x14e620baf522800f8862358f1dcd7beff803c451e270b5b9fbd03e03f9945ec4",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x208ee8bd7a9aff6e0f3f0b9e7096e73da96a3dd2e2cee429f083b16e004955c7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x56cdae893e73c54b70a81c51d8a0c87951c1f4649f3bc3c4a30d8283a59c65f7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2ffb8400af0a35fdfce6dbaef63d443be3d02f483e888de1b21c2f7646fcce66",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7f3cc1578feb65cfdd00bd290a553df0f13dbc99a2c822fb01e3c83746c90847",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa193e647a7412a708d94c84be05c69da60332abd2b33a14a24813e68b7ed239e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5244824f1fa7db11bfed6fba79f50fe8c3671c5855d2a1d7e6235cbcf72ed039",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1d6908002c38fe13271fee45da64c72ac3a400c4bb59cb5c3c59776d79d91843",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfaf7e3c3af253e6820d65fc0e252c7f4d6f9974b9edc9a4dbfd9d8f76bda479d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4856bb970e2d00ec789d9c66a5dac69822457edb9d240bba5e61ab44c8ae9729",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x42e7e478e74b3f8ad8b9dff24c1f1737f55ff59f6f93a34378da07882a292e25",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1f514d3ff0ba3a7f15b83cd721ab5533795cdf011a648b926b93646fe919ad3c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc78de26bd0618e054dc74217b1eecff01261cab6bf3c0b5214f750f945625083",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3845bc221b86daa4a83f4d080fa0c290ada47efaa05074eda5dedf6cca085b48",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd8fc1ed2bd76eeab34663da1c63244cbfd6528406e2c37e3bef30479bf968e56",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbb32c31af8811fbe6d5d5f1f0298c2ba19e45af7bd1400d398a8216e5b2e679e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5057cf7d20439fdf3487c31c7e02c53409a21fcd53dc2105c5cbe53d778c2f0b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc6cdc6ae8272fef49b71387d32c3a96da5f174c07a4300c1cb342943d3a11fad",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x73b6113e52aff0ddc1bad687f792391c2df9c72964916e8208348e7469839763",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf8e41e3e691eeb366d028b67aae280d5a625ffb72ea0ff7b8612796f0d35e0f8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfbf9eccbd6a79084572374aff00d147e4a2f2ad845ee185f608e21b9fab8a626",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x958ecb8c34b144e7dcd8c8e7763665a5afc11d992414c9fbc4b6cd6aff2eff39",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc4e4dd08584844da509023a19b3b1b473b076356aebc0ddcd02874c4e4bc7b9e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc06dd9ab68509dcd80926c43dd1f8c183648a5d16dd3379a16b709cf87bd660b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5c7575202eae84d173b6c8c955e5979e0f2eb719cda9667f823d62d1452aa05f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x25cd404e97f48e7aa4572dd9e52bad849a52216964a468b166c45d3e370ee2db",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2164973cdc65ce3da4f32753732dae552d599803e86ac5eb12e8e6fa4529d643",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc7ccbb9aebf53ceb6b023d6cfc523541120a992b8cc5c1b6588f3183e8a1ba4e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4c82158ab1a8108b4029c25275c7f666657e2d756a2cc5d4c831bbd2a8699cd1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe77308c73d1b7269462d5eea433dc7e8a11f3f5f5f92d0325f03126e79854abe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x46ef260ad45907e65e61c22d31750aba490b0326ae2a3109e2f7ec3f337ba871",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x36da106228297ec2f7aa5fe843ee753b52a59fb9e3d0fd0a2c3326f098684d02",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x126362f552c1d8e3f7cff77b00c01ed3e250b8851518718365b73726552382fd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x31eee3b17caf58604565098f62c3141718175b5631d91123daecef9a62a406ac",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1275dc152c7ab8f5c81087403689356c89f55e64007d09b95c1ed8dff48dfb49",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2cd39a330e30202ea20623ef0fb2da671e8f104253f1acdb344d621a09d258e4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd38320b59bd55bafb03527fd590cb71b1e3279c48365a0e33dc8ed146e7c133d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xadcbd4c9ca55fdabcb81656f26211df166cd42045994936825f197c6e35e290d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x317b27d44fd974ab05ba95cf64023277f2f17cc1de3f92f5d0141a7c627ac526",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3d880088c7e46930b7a5551de071f38978f29a2bc9e69144a5c102702fab2b8f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9125b7f9dc99c4270b7cc24616ac99a172c3a3406585c7277acd4db885ab5144",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0ddaf15cc6f32951f675a88b9b89334fad98f727782554b5e9080e80085d6cf7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5b8cfa4b330bb6ebf4c38ac66c542f48f941e5a5f67ca91f9825f4e0f3b31d8b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x471d869ba9e850978c4d1cbff20ba94454c70806f6bf4d6c57ca32c8cfce77c5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf90e283a0b59074a14154b494ac342f366953fb155db2b04aee817204a013988",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x037cc05d31722fb9b5fc371a374ddc1f7d934c311bda926b96c063eaf098744f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5f52ea5ed97f69c30eee59441fea0eeed1eb433d8a80282fbbe1387bdb982920",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8850a3e001ea0402320c9d19f44af1f5aa2769ac2a18901645d8afaab6a8f66f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x18e68f9c587868cffd957626b7d4cd1292579e6477dbae07eb954bd40d123ffc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9c3aeb70c4632799113435e4532219b7a7ccc2a96432c1ccdd1608f468eecbf7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x186aefa19edad87c5e943ec0e74d6c3fcf41edd81a4aa3037e4847b414a22538",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbaf7269232431324c1dfca626a137dce4c2e2d4e11f109ed5e2b6c2a95cf18cb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa601c8987553271de82a27de0dfd471c080be6e21c623a5ceabd9c9763622808",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2a69dadef0e144a1f818cad02a1e6efb89ce6de49c58169dce13691f77f53c0d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xab65bc9c7ed8339adcf191e7700a0876a3343eb38359866bde27055fc2fe5459",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x809d9bb8a5d19c65ddec0a5f15ae1261fb7ce81513d6169ca67abcf176f35a9c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x71ab3cf2f0792ce69eb70090c804ec2bf403c0e90cfcf84d858758fedaa3e608",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xdde5d3c51d84a3513aaf1914bc217c42cfd5b475a5aa1f9302ae504b81b2528d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd6701c97f98945199a90d302e72c8d2ec7ec70158c1682a4f19356b2870d2e3c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x76d5e565c467c8083ae20f030b6498858e9fcd6eaf4cc84da332c1cf52bbfce0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x480242cff06d2b45e6b703f82ba33f9846148e0bc23425b9e4a21ef620746cca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc1e7e40c6b52983ed7bfd142dc7e98e7f5638e359210443e84f5554798b9f366",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x727919fc701eef63b851964bc8771724f4e086ffd990792dbf72f837ba6f70ae",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x47cfbb3dbd9f335903bd5c867b13f0a2b44140e1f2963bb79e8d53551eb231e1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb8a0192d8bdc4468222070c99e9c89ac0c5e79495179a843d954871d0cd3c0d4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x855799656c806a1e23ea63cd88767345045a4d179b4d0f77b9ffd71f6e48c1de",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xedfb773af69d84bbdaf90e0c17c6fd31d32542a136877c7a755ee9ee987e8ba4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfaf2db5575bccff09e7f85e955877b48b02479ed88348d9a90edf6a9a2051efb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe1b83bf7725aa8af6823619b74dd3fc57e231b9077c5fbd95d7240d6a608d7a1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8fa827ee4dfeb0b730065e578370f37a4f10e69d5dad26dd6815ef64843ee684",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd05bd87a6e44b7ba9c6d5ec190c356a7137b5433b1065753139835e054a2b8ed",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xde074116e6e35995fdf31fc24f19937d68390406fa4041c2923b1aebafc05486",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1ee459e22082e66ee8b8541acc5d1db844eec0121235892e6990c28d3720db8e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5b6e507021005f65a4eaf8c2432e3963791ad9b7089fc8c277be69a8445ce63f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe8d4aac69e49e53e97f0f21b31a92a7232adbd92d73c25a5c797259c6580805e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2513549c6feb0e67c58c4c35da8de05948e999a23faf6592f2680494686068f0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xeaae662263bf7f20943a70eab124726eb9851929f8ff9a7db484f7c3e4048c22",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa68d17346dc63d81176dcbf95aa2dfa5189a6d8c43b56574da150ae9c903e519",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x582553a1d918b657386d83c0e39a7b1ae2a9b9a2d92543a5403b741f4744d165",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa653511293da45fdb2ac51517963d5c1820367a945ae9bb22def609500f8b1c7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4d43cb5c934cdc728cbb16a825a4f40106869ed135122e2f8d58b304e163fdac",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe89cae375485e97ec3277b8acc4610538e30d43336b9df8a17219eb8bd2a4fde",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4a76860f7f0c93e72062fb0f84a1d68e77ccce0c0914283b5831db9b97b58744",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0f4b4ee82ed0712a59f1ca09b2946c1a7617de1a98c95d14e27454cd8b0dd3a0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x29e89d5d83e89b4e0d7824cf66c05b28105055b9f709f10c193fdf66484e1c39",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x32b7c4abb322674dd9ef7f1623be67abb2990cfd966ed3d8da6a42230cc375a1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe65c12662e03de3386ff17a736322ff4fb255909999b357aa0c6e3fbb3a56a35",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7467102021de28ef426349a1a0c795d460ef35a9aa9e1ada7e798aa899f17251",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5878b1cf3fe9d80e27ba737aaf5430d810b64221ba6a5303935e43d6ffee088f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf418f3a9f31368cde1f869dadb61181bd9eb5d11be88aa0caefcd46c06e41cdc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6f08b783886f96a4ae7bfb61bbddcc22fc07775220082b99145c1a4c6e501d9f",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x97c15ccafd8664e4fedfac0342b354a6c29b1f0bade7bcb67358f36e152ba988",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x977f5503a754e028d2b5dc8c71cbf269d218da32a467bf220bcff0be153a6bc6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x59687d43c541cf8bac5fb6256a0fdf9da4f8ce15e80349c3223db56a4ecf369d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6e5e821b68bbdc3d57108fb8858dca74075354496145b05e168ad578d51411c7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa82304461f7c8a877046ede84c18ffbda4ac4a122dc001106d1523dcbe328909",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf8e01b57bda621ecb040d8803bfc76893db7091df2678a65b64d86efb0eb4d5f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x48739cc9a6dcf7a5a7bfeb1ebf21b64fe1fccc19cf0160ade841a497cd81cc88",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3d583322f4642ef608d97448a74165ff76f3e564cbe583b1c475906f0c6005e4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x867325ccb449037e7a50bd241b63aef482e2bc73f0d68066b7115421fe58ceae",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xddd81c20389793da37224758af56f8e18899a0f855c4cddb92dacff5027141fe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0bd3d2c5e56e61a7be411afeb6c1b5338b1ab33728f6e574f01032fb0225e744",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe3fbb26c8fcf23c862361db49d5a479867a95e51a7259cf5d11e6fb77d7d6730",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x87935a21bda0994e5b594cf20d71721c158e69e9ed9bd12d8594e9a77b54e9d3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xef1601561e316a5320158331f71304d4ed3dd90a31cdd10a30174d893554280c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x474722952edaecef54c3041b70e9f97012a9f114d9ce6f0f83bd8c0492106b27",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb7fef5606952b2f6a9a2fae3f3bfb3f5b036ff7387e4cd44e2ce6c238494b60b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x22ee6395851c11c5d5aeb02a24616552bedbd6d3d6c89929a239501b6726e0e6",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x124d3",
    "delay": [
      21307,
      15630
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22057,
      45304
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      481,
      15263
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0x101",
              256
            ]
          },
          {
            "Uint": [
              "0x1e847e",
              256
            ]
          },
          {
            "Uint": [
              "0x67",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78811,
      25349
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0xa07bb135a24439ce5cebd07a3b01e8b3502d088342cc460c1e04c62f1ceacbd0",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      478559,
      25837
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_moreClaimableThanHeldDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4747,
      36826
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x100000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42847,
      25727
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_3",
        "args": [
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79618,
      14386
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_claimUpkeep",
        "args": [
          {
            "Uint": [
              "0x18",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      421489,
      10902
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "MAX_ROUNDING_ERROR",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62025,
      59706
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Deposit",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000010000"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6641,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0xc1756906f77",
              256
            ]
          },
          {
            "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
          },
          {
            "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31364,
      1103
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_2",
        "args": [
          {
            "Address": "0x1e1cf94e79509812f961887accc68a01977cf72c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7105,
      15023
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior4626",
        "args": [
          {
            "Uint": [
              "0xbd",
              8
            ]
          },
          {
            "Uint": [
              "0xff",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23073,
      14648
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x235",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81260,
      4594
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      303266,
      20022
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14851,
      23587
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",
        "args": [
          {
            "Uint": [
              "0x2c05256bb4d04ab3cc5973845d9726de1a96a7efda9df32ac175e068b1c135f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49456,
      941
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5723,
      1411
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83498,
      26627
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2725,
      8310
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9157,
      23305
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0xde6ff2898fa96d670ea156479adcd83a73fab6f187029481b0e5954a008fc4f8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30205,
      1237
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
          },
          {
            "Uint": [
              "0xcf6e94331d2de968e5a9116e49331980e914bd8eda67dc225d3600c82a07b79b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53760,
      42664
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      419356,
      5593
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Deposit",
        "args": [
          {
            "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
          },
          {
            "Uint": [
              "0xfe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118096,
      57777
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000010000"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          },
          {
            "Uint": [
              "0x5f5e103",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      589054,
      18407
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86587,
      884
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80172,
      17360
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shareSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      195946,
      9224
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58000,
      12363
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
          },
          {
            "Uint": [
              "0x1",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34116,
      56643
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x1e1cf94e79509812f961887accc68a01977cf72c"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12025,
      5530
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC4626",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8501,
      6552
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0x8f9c61d77b5007616e762393c717827404427625f2dab08734b4fe0e086d0fa7",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      223257,
      22792
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setpreviewAssetsGreater",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9382,
      57893
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
          },
          {
            "Uint": [
              "0x232b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6536,
      41730
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      298909,
      21456
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      554800,
      1210
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0x619a43b56a3e739e3542f8b5e1c4b27a1246056de9d5a805ff69cfdb04f1d5a2",
              256
            ]
          },
          {
            "Uint": [
              "0x5742cea35fe63e59ba36a0a9f9f81af25f7e3257e778bded4b5c40935556aeb3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72573,
      8180
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b209f",
              256
            ]
          },
          {
            "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4103,
      7486
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0x40",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28710,
      59015
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0xaa3b4e385f26c4f9d1e2073fe280abd7e3e2582fc7ae412c8521a74f08f7eef8",
              256
            ]
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82216,
      53372
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      117904,
      2884
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepPaymentsChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11394,
      4906
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58949,
      58640
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x129",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57541,
      23140
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x14",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10823,
      18598
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          },
          {
            "Uint": [
              "0x1",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      191611,
      40823
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x240294868639c713bc721d5362bb87082d278f1bde8b9f9a3f010a316cbf155",
              256
            ]
          },
          {
            "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
          },
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65865,
      22932
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit7540",
        "args": [
          {
            "Uint": [
              "0x6",
              256
            ]
          },
          {
            "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
          },
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84502,
      24901
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_claimUpkeep",
        "args": [
          {
            "Uint": [
              "0xe96a8924826cf0fffb284138b179ec26b6a5caeeb1b3b4e233d5e39119e5bd1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2323,
      2031
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
          },
          {
            "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
          },
          {
            "Uint": [
              "0xd",
              256
            ]
          },
          {
            "Uint": [
              "0x7d2",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27828,
      1809
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4992,
      4840
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27709,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange",
        "args": [
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64143,
      41156
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x40c43fa9e80216a3be69ff453f6d43dae76330bdf75f574dae33f9a154ecc305",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4979,
      25751
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x41",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      6646
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC7540YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118658,
      1991
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0xf95d53b8649854d362395d0038c3edc2ed9b31c3737fce103bf4b6e159f910ec",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79391,
      9340
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_sumStrategyAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83308,
      53062
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81037,
      1117
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77738,
      50344
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45678,
      28139
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0x75568a3665dca74c3fc22913b561975d4281c176c805bd9440a2466ced4861f8",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000010000"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69816,
      18978
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3027,
      42013
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29278,
      36829
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x82",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81453,
      7891
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC4626",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18909,
      21645
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      424789,
      17149
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          },
          {
            "Uint": [
              "0x4aa58ab4b7871e74fa67cb27b86e2e363cce39a4b6b8ba1055f6f5c053974812",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      571061,
      29715
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_sumStrategyAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      122905,
      4624
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0xfffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56100,
      54508
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem_clamped",
        "args": [
          {
            "Uint": [
              "0x3e9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37560,
      19228
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40614,
      41606
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0x15",
              256
            ]
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12326,
      57862
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC4626",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3354,
      58829
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540",
        "args": [
          {
            "Uint": [
              "0xd9",
              8
            ]
          },
          {
            "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
          },
          {
            "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
          },
          {
            "Uint": [
              "0x61",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21645,
      15262
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x70",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      281968,
      7092
    ]
  }
]