[
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74630,
      43141
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x7b51ecc7989739ba6b5beb60bcde79f9ca18abbe5af9394225c6d259bee8b407",
              256
            ]
          },
          {
            "Uint": [
              "0x4",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51970,
      56360
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4853,
      25249
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78213,
      19653
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24487,
      4594
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Uint": [
              "0xa7bc942d437be4b1922cc16ffb01c382697ed547be1e21a7d712d0a91d2f8376",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12631,
      20540
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x9e",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34630,
      920
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x30b500106d3722af4eac5daa6aaee68635cefceafbc41d9c43772824cf0b8c4c",
              256
            ]
          },
          {
            "Uint": [
              "0xe",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71447,
      56154
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Deposit",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x1c26185cd76d696eac2da666969f4177b2f0edefb3476c6b6858b0dcb35976f9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9241,
      13200
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0xad664e55adb627573dc53ece12c470c28feb62b7ca5e875bbda85118b07c206c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16139,
      20829
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchRandom",
        "args": [
          {
            "Uint": [
              "0x11f28bc38fa33b4230f94c52b2dea4d1ba9381e67bd2912d604aa66c485f59ab",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1037,
      25225
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      206966,
      15981
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC4626YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80725,
      9043
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0xad664e55adb627573dc53ece12c470c28feb62b7ca5e875bbda85118b07c206c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      50138
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault_clamped",
        "args": [
          {
            "Uint": [
              "0xb281f39d64e3b2ee4ccbbb06179ebc77fb427ba3eae7f2ffdccfdf3779b1affa",
              256
            ]
          },
          {
            "Uint": [
              "0xc7",
              256
            ]
          },
          {
            "Uint": [
              "0x3e34e5ebe659181d2743bca740b577cea76d996b94edcf3b6cfa3948d5cc6648",
              256
            ]
          },
          {
            "Uint": [
              "0xf116423464d515967e5f2f27e38d42dde36b11676a61e122b117e4c2a4f45c7b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69211,
      11633
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5384,
      7908
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      189985,
      30093
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Uint": [
              "0x1f5770b0821f5d20a6374163807a8c2cf0b898cf7047372e4d1ddd087445d78a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      328118,
      13961
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36679,
      6090
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
              },
              {
                "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
              },
              {
                "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
              },
              {
                "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
              },
              {
                "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
              },
              {
                "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
              },
              {
                "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
              },
              {
                "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
              },
              {
                "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
              },
              {
                "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
              },
              {
                "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
              },
              {
                "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
              },
              {
                "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64593,
      5494
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffff",
              256
            ]
          },
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          },
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      39919
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38603,
      26629
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0x12c",
              256
            ]
          },
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16047,
      22592
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0x175effaeb38c666be2849fecaadb633fb4d99411"
                  },
                  {
                    "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
                  },
                  {
                    "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Bytes": [
                      88,
                      224,
                      55,
                      80,
                      125,
                      92,
                      227,
                      216,
                      182,
                      199,
                      221,
                      100,
                      89,
                      162,
                      47,
                      186,
                      112,
                      171,
                      155,
                      203,
                      184,
                      106,
                      39,
                      129,
                      108,
                      140,
                      223,
                      197
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      233,
                      22,
                      202,
                      219,
                      18,
                      196,
                      147,
                      137,
                      228,
                      135,
                      235,
                      30,
                      129,
                      148,
                      177,
                      69,
                      155,
                      41,
                      176,
                      236,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      216,
                      173,
                      167,
                      0,
                      159,
                      208,
                      149,
                      55,
                      114
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      199,
                      24,
                      52,
                      85,
                      164,
                      193,
                      51,
                      174,
                      39,
                      7,
                      113,
                      134,
                      6,
                      100,
                      182,
                      183,
                      236,
                      50,
                      11,
                      177,
                      92,
                      26,
                      156,
                      245,
                      136,
                      209,
                      224,
                      172,
                      55,
                      142,
                      38,
                      3,
                      91,
                      97,
                      71,
                      255,
                      177,
                      200,
                      180,
                      157,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      199,
                      24,
                      52,
                      85,
                      164,
                      193,
                      51,
                      174,
                      39,
                      7,
                      113,
                      134,
                      6,
                      100,
                      182,
                      183,
                      236,
                      50,
                      11,
                      177,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      89,
                      145,
                      162,
                      223,
                      21,
                      168,
                      246,
                      162,
                      86,
                      211,
                      236,
                      81,
                      233,
                      146,
                      84,
                      205,
                      63,
                      181,
                      118,
                      169,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      204,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      230,
                      144,
                      104,
                      124,
                      195,
                      180,
                      98,
                      206,
                      154,
                      223,
                      91,
                      171,
                      136,
                      95,
                      107,
                      252,
                      238,
                      127,
                      180
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      160,
                      203,
                      136,
                      151,
                      7,
                      212,
                      38,
                      167,
                      163,
                      134,
                      135,
                      10,
                      3,
                      188,
                      112,
                      209,
                      176,
                      105,
                      117,
                      152,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      89,
                      145,
                      162,
                      223,
                      21,
                      168,
                      246,
                      162,
                      86,
                      211,
                      236,
                      81,
                      233,
                      146,
                      84,
                      205,
                      63,
                      181,
                      118,
                      169,
                      206,
                      37,
                      171,
                      24,
                      142,
                      123,
                      68,
                      68,
                      144,
                      202,
                      140,
                      126,
                      94,
                      12,
                      3,
                      136,
                      28,
                      169,
                      6,
                      35,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0,
                      0
                    ]
                  },
                  {
                    "Bytes": [
                      244,
                      138,
                      99,
                      44,
                      240,
                      72,
                      243,
                      160,
                      240,
                      68,
                      153,
                      239,
                      48,
                      42,
                      250,
                      125,
                      222,
                      220,
                      116,
                      74,
                      65,
                      179,
                      100,
                      122,
                      99,
                      113,
                      162
                    ]
                  },
                  {
                    "Bytes": [
                      45,
                      233,
                      47,
                      161,
                      119,
                      186,
                      181,
                      133,
                      83,
                      118,
                      164,
                      66,
                      205,
                      20,
                      196,
                      28,
                      165,
                      74,
                      6,
                      111,
                      158,
                      246,
                      122,
                      226,
                      88
                    ]
                  },
                  {
                    "Bytes": [
                      194,
                      163,
                      193,
                      114,
                      156,
                      228,
                      16,
                      167,
                      90,
                      31,
                      152,
                      59,
                      40,
                      18,
                      218,
                      242,
                      75,
                      83,
                      70,
                      37,
                      252,
                      237,
                      27,
                      27,
                      85,
                      84,
                      45,
                      252,
                      7,
                      145,
                      172
                    ]
                  },
                  {
                    "Bytes": [
                      54,
                      135,
                      10,
                      224,
                      66,
                      124,
                      58,
                      98,
                      106,
                      167,
                      74,
                      228,
                      148
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xd4ffa9790b522213bea33884576d36727851df27d262474d41ea5e5dcf272548",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x103",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x314e71481e09c032247990c09b1f190116542311155804273c9000c8ed5131e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x629e9af8d470df1014384ca73af8e5e1f7244e6793b6a0b55b3a72732dac243c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x68b2439f2eb105c7b93e225eb33431d43b72c49e739eb5c7a79c30411095a5a2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd29487dc1b215ddc20416265271acdec0bc31042fab615969c408ef6088452e5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x541e44d3bfebe930edd9a21ce4557ed863f599e14b42125ddc6047ffc256262c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x03acf6aae7b372dc4398ecc59e6aa2bcc7bffe1ed97bc8796a01855df821984d",
                          32
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xab3a24805b15a10224d1984bcaa0ef71b05b48a2ddee2193b4966d6ddffe439e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x95d58e25a74eef0fc54da2a7df1c2ea1a720cc9cddb14f4081dded91b3a8da33",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf9e1a386525e5d3196ae089aa09db3b18362c07be8d329cd47469d76ac0c0802",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf46b8ac67c0a9413d724f1ba090a903fc9f4bfcef17080c7756a8adf3e824eca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6195bca4704b7074a657c07cab639d3ef6b2d15c2b5a3dac48c45ba7f4592dfe",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc26814294680cbfba9b95a5a266e23350fd3ea839f5b32235efdcc5850fa5dd2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9c2eb299f2ff79c9bee25dfb0b9b929d65a903510646b7714921361e9c702d1e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x45af19d692f2480909cfe89e23475bb45f318ff2770ea9c93652f56b478d8e3b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb2c2eb583749e5197a7a122b2cca31419014e493c158baef27e75fe039530130",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8725b03ab52ffe9959bfa90dd77e3cd6696baadcf5606964b47cc9bba6c8819e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6aaea02f02aafc7717191d83a689d50a53af3b21b863f3b0cb91555e03068670",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe56d859074ee19816f18ba4ee339be8c05bb42f992927e7d86a2ae5ffd7ced55",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9579f45f326406a6a7922746d1b5b9e2118eff81b42eaba4876e1867bc2811bb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa04635f83950483c62024ef861ecf62b9ec73b2a1defa5e8f8c801f727f7bff6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x288c7802ddbd5b2f64652ee7e065df3be71ee11d296b92de0e51cd9d4a9fc216",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x60fc003c675b2dd1254f02eab7ed27e54ff5a74006a42aa7acb59d2c4af48bf3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x096c11e40717749d8910ac837c27c06794a0380d1358522aaf2189fbbd5faa08",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x7d90632392c460be9a3a1c3e94d1b85537a195324e770ec27d9017a5a39d6f55",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x41d1f016558ea05c585fa27c3442b18978aa9009a367daf1c7ef45cdc36b8920",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb0ecd4141247a824a258b5fc14599d40a4c12365095a03908c409811c4afe715",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x331a9486658d900ef0810e067359e44281f0b60397e18b74b8834a284769d559",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf1a84c6e4c8b1dbce4e8e4bcdf1af311c5cb391b74f2c30dcdcba49e96d245e1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xffdb162a88dd9da1c0a047ead026f76468d71c8697fcdde1275121fa290697e9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb014b70b08d4431aaf6ac6a3e608c713f005350ab909ad65f8caa8405407e9a8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbe38506ceb9d88cceb9358798adac2c0c901782de46a252c72dd51de61afaf69",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2510f2c5422efde278031bdca4a4bfcbb2e64eb058f1fbf568922cbffad0e10f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7f1598e21e5d43f9aec4d5641df03d6b59b55859bdb8e0796ccdc2678c85a007",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x44984e63ba9fbe65feeefdb89a426fcbb149e75f14a3eb677f1177cb61f12af5",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf0cdbf40531e89dfa4cadd06667ca2ea51afa0b3ffb1742dc764f80ed81d14f0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb6bf6085275787bef82a78368d6c9e35e93b4fe43f0a632585ca8148a296ad90",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x86c371ae4b6a9b9e60eac62d1761e1e8c73916e3a14fff1c009d5a4e8e931338",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9a9767e9a6e8c24e9a95701a25e4f3794e6b053e114a097f54ab05a91f796cb9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbc1d00f30b0e93d45985407b7f2cce784df78ea8971ed5e35ce3fbde89036007",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x82ed7c43dc87e744ef48cfb18d408c2c4536c4ae0309026cd8e343855c0ca2b9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa83b9470ec5e17844d7e543c26ee9db9f0ca0d57ebff909ff576ecb822e217cc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1501b2594208fa78e7ada6d81ae672a8113094120022ad0920fcdc87cca52841",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x22e18570902d788be0a7f56cf869c5218f7875ebf8920449104214ef768f49de",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa81c8a10b967d32d99945b58d3efd9b261ad2fdac10e4b3a583998a2bad5429f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x377d2bd8a2cd3bf265476ed1e905a0f107145af6504e64339bd175f806a37052",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd4edde4b23fbb24589a5eb6bdcc63ed962ba628a89b50a83ebff582f83680812",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x9e798fbe8dc6c7f77095bf8270004fb5dc3283e87bff188cc9f423ba4fe1213f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1fc2d325b01eabf4cd34722cb7397e6f91db2641afb837335c52e324175cccff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x56089d374c12c19b04efbeb490aae62374ea25e266968d034c9802331e0a13ff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc4b6e7d9c6ed4b4262d6cc4d0178a3cb1cb853eebf79b178007f73bda5f18443",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfcc6a36c3bbab4ff6c7d86d599fa0a6ae199c0690cf29137cf45ae1befb8b7f8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb134a1d91ea3b18381601ac72ffdf1ee67b99313cdcfd7c278375e6e72b6bfc1",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x00a8623f1fc3fdb515e83b8fd27319381c952c7b1091fc5202900c6fac709493",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4ac47ba3c7c2388eaacc0d9e073f9f60a449b55c67c42d6c192e64e18cb8aece",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x30176714efbbdfeb19f57da17f0564d2381367d2516d9bb7f9cc3cf8cbf7aef7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xea8e9457bf7f3b8ba380a5e6179a40739af8513a0bf2eae26b2586b13c82871d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb81cb46abb40310b873abe0704f216680a26e0159e720de20cd68b41a5524934",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8b7879ec153921bf7f14fb75361201fe6dc7f24ca0d0a0d482a89fd7f6cf64bc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x895f51315102811aadda6d02ef7d707215a187b750692e4a68cb0bf7f1ba399e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe73afdda212766cf9bc428d5d00fe9505427582486fd3aa0d757072c7214e9b7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x22595b4f9c0ab795b18c2785dda31bc61844c52a613cb7e7dff659bfe10b8bbe",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0927faa8f0ab15b6de3eba199ccb0008a29e9c505fda30a5e1e488e8c20b1407",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x769f396cfcbc36562b39d2aaf130f0021ade5fcc3a0c11bd3a09f48a2d5d8f2b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc38de333cea6f85754cc766adc1d7f7ea471b7b13afc5d390317c549ea72fa12",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x571528748131b8020a6821ea638126f455420609a42e8fa9433dd3dc82904a6e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdbb112cf9e49d800667d26139e0315e4922374a657dff7da3fd9132654ee86ea",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb2e58eeae525908d961dd2d68f1a2be12227f226c3bd26a17681247623b70b0e",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x212f6ec1e9a34c03369ea09cf2a702d4e28b9f8507bfbeb6a2270496808a32f8",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xb44316c073c2566cb1cf6b7d7ab7c58b7dfd0c2b199c1c263a7145ddfec54e4c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x214e3658738388150c0e7e235dcfb7b2a82712c15ccd245ba5ebd61147818b8c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x43791561f44f470eff996eb0ecf6a60954143acafb896f95445362cef6a05dcd",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x111c10932e398686d0eb29b593d5248334f6cd748fab040e5deeae9838104536",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x04ab120463c2286d2916ae85c2e64c09da8f3bb1d4a3498183d7c06a25264592",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa8d4ce853accef0ab74ea7dbf4d10585a3c17cdca6a2d922f8c8d4513e5f5fff",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc16ff13bf5dbc4666f49da94642b848baf34e55bf468a1ca75d7cac2ac1224b0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa80b0c4b2a1c3e5d46968c6ce8ef00acc038c1b0ffd02d0063a9357ed5f1b30b",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xdb3e627ea180b6ad6559a4f86b5208a0980ccbe9785b4d1eacaff967e239f7ac",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8550f3f1294967cf53e0c9d91ce6ae2d6b2cabf405f7e03ad8bfdd0e9dcbb201",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc6648e861bd815701890c1c758000fc67788f182b96242f63da637d354e2826e",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x746796fc33c35abf705ddac09d331564f0257bfe1916dd0de40c813e9f047bc6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2e17b33ddcac6303992d84503d164b18391d216eb1de1201afe2cd7e17ac4253",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7e2c55a2f830b3b68486d87fbaba72f6d3f523eca6b691b72dfbdcc8e53c9e50",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0f75b5eea254e35975eab7e9d7085518302793e06eed966ef45cbefa340d338d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb8c42a54352bccfa6049ebf7c623c31490a874064dfb39c776f72c31ddd1f278",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xe54cbec0b2cf6bb1f071f76de96099cef32b27c5ac92af083a9993952367ef85",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4e7b9016f1925fc053c818cf11568654ca877b9eefe9ba11dab5627dcd30b508",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8260ad5ca7ef07e48368ab64951335dc619fe4505706f5902e1c3ae52b70f13d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc39696ebb2015b867122336922ca4f3026357791ea38e7b5cba25520f10b8746",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc3724cea84f8b606f63a56bf8af9d051dd40f8cb7a4eb5579e513a729c8ba501",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa56d20fcd5c534efd432b0d8f5c1437137d3fcdb542ebcda3ca78ff38d1d2976",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6c3db3f9adaa84bec04a304bb86e511e6d501561154b88871e48ff2858409aa3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x4240673206b08b6a12f2497c13be8d8a4d772b12cee4e6f3bfeb07d3e86b1687",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc17ee72f3e2b88f515554ab24483c772a176ded1227793319d6d8df75993303a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2f635cb425b46ff7b7b3247bf5e7e3079c0d4734021e200c7541021b1eca4063",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x5b541f88291d4f11454f7cd8b5e6dfe29e8529d90e99be343ba2239d5448638c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8a19636525d6eed80cc3605da7772d8ae3d63aec4b1c46ec0241f56c1659a0c7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xadb06f825bcfffc9d0ea881a04b485f3f77c1d29e5502d2af54d60f9999138b8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x17f9a3b4bfa0a3403d5d35aeeeddfc1cd08f960de77a9e1482fb065654f01e0a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa137f703ae35c71fae7f4ad45b81c120d3cb2b0300375921a5e0b85a94b1a6a2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x0948c42881ab3e7de77a4cd1bd01e83a4cd4be16aa214862f06a312a907ee701",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc11bcfd56199392fa9724cb8d398a876c6293fabb91a47c7540be40d6f9be4dc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd409f4f1ee468c31ea480cc075cffd59e882ad58e8855af0292d628dc4ae420f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x41182e0c79e992bfb28755a7b3eb278342162a28663eff6e64a32d4a5124d5f2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2128a9fcf3e48cad02f311d2c82a34c25ab7eb14a005aaae37f1b6aff2485f6d",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x09dafa4a45a76dc35bd211e3c6b7fa480104a6c7c717cdd407c23a03fbccdfa7",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd909acb7c86e84287bf3fe5c9bd1e77b686e6f469b33802d2496dc0780b8b578",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xef8964513ed59808df9baf94633e1d2a5e3d6e8b808f9204d3b7cec9e557c553",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x20939a9c456360a28b8970d299dcc829dc668bb9966ebbb27de632efdf248fb8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x30cd639acf85178d34e40c0efd0b380e23760b11a807eff785bceb8b19cd5ddf",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xbb356ce329e0b0f9f08881950c28a14eca9f3dbde5d2d7ed13f276bafa6e1771",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x744ea99e47181c66804f831f25db69ae3bf503c88141bf63b573254b0d3e7ea2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x552523b3ca8f5224b7693e7a044e28bb068e48b2c7e457c00a2a380bca9544fc",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb1e1e71b47de21d4e0e3b568992e1db5d77dfbe249c940c59b262386fd2dcec6",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd493af80796d7bee7415667d6d878c63e0c70aecf78e17af17bb2c9501557270",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd8e2bf1bf8ee2a1748570668ae8e6512dbbc706cb97c757c1d087fd86e97c3f4",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2ff870092c90deced04003985dd188b199a22dd1a2b2beb1be112c07b9bbed29",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x7a7ff427acaee300fc989130509720265956b0e726f681cb7171f2d2d2774727",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xd3ffd112e867dc65ac1f966d10fbf712191685b691ed7c4840e438efe6d0547c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf969296b2289f36ec9a9708d0f792ce45a636f34bb0a1344eb492995c8529864",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb52201db15ee0f91c0329c39aba6b00bb0fd24b5fa72f5af76d74322f7f37d76",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x66bbdb051a4f4eaf143f85b767ac3a3b7cdc7dc3b22630f01a800b8c50b9c1ca",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa25b65c8ae82bf16f84e6f63679604fd9835d6b1881886a8274d3ae563cd0479",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe1b14793d0f19fb0dc6a0b24470031ab38ae5bac73b1be7d10baf455a824ef9d",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc1f4a74a7f4701876444c8de2dade0a8a77e0d38a1e1fea446e747035514d490",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6f62fbd68810984c2bf0389fde05abe6bc9f721017b7d7d9f3d7e83f1d9a1ce3",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xf2934c323c055b928d84b0c19021fc8f15f50f83262300fb8db2289829359a9a",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc87eb66beebff5c316e646c380b3385940ac0a20a49331b97978e55e30d9d177",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x96fec45bd1e534c624305262e701ddc4c3113ac5f885e7a51007aa8bbc641de0",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8f0bc012f7e770336a4a30d9e4a49f0df79d66017fd122dedae6f9ffb325a432",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1f858b79d55c8226aa77f7c1bdb25def28361a5cc5df3cc6dc6259f5f47dbf12",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x8a5acaa62a0d93bbfab6a104eacf1081fea3b4b5df2aaecc4b7b4ac5a7b8a6f8",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xb9d46b33aed20469566a61ba32ed69b3c728100bc84614ba45766450779fca41",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x6f8f86f04b7edd745c4dc0fbf30de207edc5d32705850545713b25a2b69a4524",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfb298022cdd811b9f12b4973b5018a1fffe2d4eaf347f657501534581d994486",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0xc0c2126ce99c297f4b64c138583dbb473c1ed22716d8e382031eb86222bd1627",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x1dedc0dc73943779ef1febbeeb7bf93638b693ea8753990bc084082bff826265",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x3c7475dc64e71f566e6631aa570c23594a422b97a20491c3dd7aefc4c3a47415",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x20efc8c239ca44fb2462bf237c84842ad83d28ed11a306e5327e84117617fd56",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xa8b76ea234ec2232cb7857402ab773f2ea8d8711c404992f60feae323fdc5dbb",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe1f5db91e942ec3389e78cc7f6b7f21aa8c1fdcf7c5b2a9a2d429d69da888119",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x990ebe1f7b13f727c5cc2bd2358090e8bb4ffb81c1316b5660b91a76422d03b2",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xe00d69f81432dac7e091690ff16994c04551e2d220815a71588fdb60a5d7563f",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x710bc4dcbb53b5fc46ea265d973f0f28806429d80436219ccd0583542e3cc6bb",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x144ce4b420b03a5e6f91c90267ae9e86490c55ac2bd051f1e4a8662f9b0be57b",
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "FixedBytes": [
                          "0x12273dcda60baa5dd5a2d1dbafad968eac7074b2a551b78e3e17139949aecd94",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xc604264440e5888228700aab43491c41fadd7d45bc79ae9ababecde8408667c9",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0xfbced97a982d4aa8746ec70311d9702c3ca3e84bf049821ca26f0d7bd07b2e3c",
                          32
                        ]
                      },
                      {
                        "FixedBytes": [
                          "0x2542c15d1dc261716c74fe58c484fe4e733e464728ba3398d9c9b03dc9318a3c",
                          32
                        ]
                      }
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x71d2",
    "delay": [
      16292,
      51694
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0xf48ff5173883300a995aa4a64173974e2871012952c696e7864dc34c710aadbf",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50154,
      1674
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86039,
      47347
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_mint",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x3e2",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40296,
      1084
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x79daf6710f83c8b9ecbe203f85e90e8c0c169cb7a271dacc9e0f20d3911bfc41",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44181,
      21392
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0x46116daa991b61a47e64680446e906bc1e8b9057205a3b929283dc16adda28da",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60191,
      59384
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawUpkeep",
        "args": [
          {
            "Uint": [
              "0x231",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49772,
      1465
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      331,
      31816
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_escrowShares",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28043,
      53939
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53104,
      5383
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      384733,
      53167
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      212780,
      13241
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0xb567def300f9e054b7ca9aab885b49ad",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4329,
      25445
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem_clamped",
        "args": [
          {
            "Uint": [
              "0x61486a7c6a06dbb2b481a277000630ef5f709d183dbec626dc18c8f2962c6dc8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      568775,
      368
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Uint": [
              "0x2ccefa3999",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74460,
      17181
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeVaultFeeConfigUpdate",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      165,
      29890
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0xc0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      361033,
      20706
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_6",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      575070,
      1086
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64963,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      593987,
      54525
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x2b5",
              256
            ]
          },
          {
            "Uint": [
              "0x65c17e9bc385eb63fad4b74393e3ff65ad757b43da99d5842c5a1776dad431c1",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6055,
      48533
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Uint": [
              "0x34",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37132,
      25586
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8881,
      1102
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0xe7c196928ae4966ff9b19b026c00ea7347346d06a93ff52528c46c3112462211",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7189,
      21959
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83273,
      21995
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior5115",
        "args": [
          {
            "Uint": [
              "0x5e",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42925,
      17222
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      319937,
      7692
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",
        "args": [
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x30e4c2219bbd359192fd7fe5b809bb626730d8fc9f1a8d9aeabb502f57762604",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2",
                  256
                ]
              }
            ]
          },
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x6596152725366c622398754ae55712d7821b04943143981c2813f30f40661dd1",
                  256
                ]
              },
              {
                "Uint": [
                  "0xdcf9bb49fd4a9f6014a595b187de2dbcb6a492e8a6d654417c7e3168273dcada",
                  256
                ]
              },
              {
                "Uint": [
                  "0x7cf5ae8b16d4f65dae15a456f625ef13c503faa621cee0892fd79066ba7f5ca7",
                  256
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3822,
      51247
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0x00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4156,
      30534
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_assetBacking",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6945,
      16344
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75848,
      1742
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "Uint": [
              "0x2000000000000000000000000000000000000004",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59086,
      3472
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0xfb556bed9e9b9af59af4e5682a3e64f24660036594ddc9ee7f87a1b3f1192788",
              256
            ]
          },
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30170,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16649,
      24178
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73621,
      20753
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x6900ed354e275f8ad1c88afdf3d010dfd6577142382201300d26a9dcd075e5d2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2433,
      25905
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84678,
      6276
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86438,
      47205
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x13049ecd4cb8814683261ea1af9de4813ba7b9b57f5dc3da60a2882784c04fd6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27294,
      39688
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3125,
      1831
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0xe74a206842404fa8ecd1c5a07079cc11cd2ba9ee078c0d45e4ad527769ef7130",
              256
            ]
          },
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          },
          {
            "Uint": [
              "0x2304f9db742da16745bb31a32f886c55218d82328cd85099e19c0bfd9a16a315",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19664,
      29737
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3946,
      2031
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      263256,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          },
          {
            "Uint": [
              "0x4",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      449622,
      21552
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0xa2",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60937,
      35941
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x70",
              256
            ]
          },
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63325,
      56414
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4696,
      20687
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Uint": [
              "0x1e3",
              256
            ]
          },
          {
            "Uint": [
              "0xb2490d2f0ae01077f497753390c4a3f0de56d1b0d7ce2d9e813462103b8829ee",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      134698,
      33290
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0x22",
              256
            ]
          },
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      256124,
      42181
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeVaultFeeConfigUpdate",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      346,
      24644
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_oraclePPSDoesntChangeOnAddOrRemove",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19083,
      873
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x8d0fe5c96ea525284216287135df4e6fb2486b3f85b55b2c166878fd74983917",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26471,
      999
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0x000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38405,
      56513
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x5",
              256
            ]
          },
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20874,
      46753
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58401,
      35511
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositStake",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      420544,
      22480
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x5f5e102",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44319,
      5370
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange",
        "args": [
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      318601,
      44176
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      171098,
      9240
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "MAX_ROUNDING_ERROR",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      468277,
      31956
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0xa8ed236f1d42067956ef05765505afad1ed3c3b1e4ca6721e058e83d46a40e78",
              256
            ]
          },
          {
            "Uint": [
              "0x40aa1bd8171c0e034b4be1935d9c76f71822573f9616946787f2b3b69e7abf2a",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      1687
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalSharesDontDecreaseOnRedemptionRequest",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5641,
      18646
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9699,
      6576
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x67764cc7adfa6a23c8ebc3fa3f2b8f85e2354ddb229a05830f18aafc04a81de4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54467,
      11872
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0x869854fefeffb8b0ea238994454624c8550e006e"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6198,
      26754
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0x40000000000000000000000000000000000001",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      46023
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42689,
      1600
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transferFrom",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Uint": [
              "0x229e4878ec8e8fd4a352b4706f4f641a45cee5bffec7bdfee7ab5fea10cbfdd1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77016,
      60216
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit7540",
        "args": [
          {
            "Uint": [
              "0x747d2c25181c04e8449825c2475406f913a6ebdddbae02eb1062639aa12bece0",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118127,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_6",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44272,
      8380
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0x2fb5f15873ecb9f3b1e4f33bd55e3b01b0a65a9911a84a3d720c7c1f400a425e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57537,
      38732
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
              },
              {
                "String": "IF94"
              },
              {
                "String": "\u0000\u0000"
              },
              {
                "Address": "0x00000000000000000000000000000001ffffffde"
              },
              {
                "Array": [
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  }
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfaafb18ab05a9159fb7e7f4ed8157b395c7c3ff14f964699e1e5a805954d49d7",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x62184bf213083baf39105d3efebad029984c5bed1b716e96ac232afbccd729ce",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x64",
                      256
                    ]
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79363,
      21584
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0x9f",
              8
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      68176,
      14172
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior5115",
        "args": [
          {
            "Uint": [
              "0x260",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40351,
      23508
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55065,
      15267
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      230,
      1642
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      314599,
      4368
    ]
  }
]