[
  {
    "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": [
              "0xa3",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58029,
      13587
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62892,
      8693
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0x371bf57241a129d50a0999a086d03e8740999acae3c198381992d6507097df70",
              256
            ]
          },
          {
            "Address": "0x1e1cf94e79509812f961887accc68a01977cf72c"
          },
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67722,
      1284
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
              },
              {
                "String": "S2\"tEQc3W6}?PL+pl"
              },
              {
                "String": "~Zj,fN|+wf'6Xg[;PB'u6ye"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Array": [
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  }
                ]
              },
              {
                "Uint": [
                  "0xb1a7fa5c86be15c10b433e2f3fade82384f3d7149b8738ee5d3417aa6e80746d",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1e7713202",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x3e8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x64",
                      256
                    ]
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86839,
      20727
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47497,
      9688
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0xf0a3aeedab9dd9414e98462c1638db1d2a8cba7c1602fc92da375d026afe0961",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      219059,
      40543
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_oraclePPSDoesntChangeOnAddOrRemove",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13604,
      41105
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71190,
      21452
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55799,
      23180
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0xe28d73db3c0e01d9548f3ba10e54848c717012ef28bd2ae85a38431a9ffc24",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73189,
      39780
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69120,
      16887
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_moreClaimableThanHeldDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      60089
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      420849,
      25734
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0xfd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      155157,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0xe5175209f8b88ab6717648fdbfffea34baa40e15bcc95559237962cd661fd97",
              256
            ]
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84867,
      17731
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw_clamped",
        "args": [
          {
            "Uint": [
              "0xb271706882cda9f9dbc04e834d62b557ce540750ff1ccb7b0f0b4facd5391947",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      384477,
      36162
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0x0",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x3a4",
                  256
                ]
              },
              {
                "Uint": [
                  "0x9139b8461acaa0cb71cbc4a6b9f4bf0873558de6b94c6026475da9130d896319",
                  256
                ]
              },
              {
                "Uint": [
                  "0x6b",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1a7",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb668fc7f95656b8742ffe3900c8bf9b1b2ff909b765438e003fbcc241dda6771",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4",
                  256
                ]
              },
              {
                "Uint": [
                  "0x261bb71c4e0296f5dc27909b015f25c014ccffff395b7e4437b53c8e310b570b",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0xd9c96bb749815bdb5aec14872702cd7b65c88f1bee144a8c7f1a9b6bc40096",
                  256
                ]
              },
              {
                "Uint": [
                  "0xba0f9168d85b6997d06eccade5d1c6c9b2d6d8923833a5555e2d5ef554372ff",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa530b184c1a42d1420c2419b8f01c00516894e0ed307fd03432374ac8354f078",
                  256
                ]
              },
              {
                "Uint": [
                  "0x21790a01cafbfa48dd25339c7b9089e2e05e9bd7cee7bdf25664f2db814f4973",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x54b3d97cc65e5f2751e242a8ab95304813db6505f415a24524780464aa2e4065",
                  256
                ]
              },
              {
                "Uint": [
                  "0x374d982d1199d9ab1b2eb295e4eb49e5d5fa4bdfee20eb147a98241c77b28bd0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3908700f868d87038b7c289db96f20c7d8d60e3cf5e4e9a05476e0921d442601",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1d695add2815f681e7a126c7b6bd074a9ca737658ca4088e95",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0xdeef1d350ddd80c11c32bfbee6adf80c968f1352cd8ac54a5fb15ba07a64072a",
                  256
                ]
              },
              {
                "Uint": [
                  "0x334d9b6f13c3b432e275beb4153689457ad4032d435ab033cb3e9d3fab8a20e4",
                  256
                ]
              },
              {
                "Uint": [
                  "0x74a62a861d77343372056dad46ceb0552d11bfdc4c6519ccb3f8e5ee4f76c585",
                  256
                ]
              },
              {
                "Uint": [
                  "0x6aa9a03a16ecf0d823a68be51d13f5892b92a5f22071122318c49e7a502011ce",
                  256
                ]
              },
              {
                "Uint": [
                  "0x167",
                  256
                ]
              },
              {
                "Uint": [
                  "0xf8",
                  256
                ]
              },
              {
                "Uint": [
                  "0x8",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x1e9a",
    "delay": [
      118445,
      2751
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      468675,
      5665
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x474d2672df10895838d747d5a4f428c01cbd365947c1fec30a7818006ad8ab80",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      317271,
      40459
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0x17bd09f3a48ebef816f8fd5c5fc4ed25d66da30e7215bbdf1c8bbd9b6b95714c",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      7518
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0x134",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      509157,
      54855
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
              },
              {
                "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
              },
              {
                "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
              },
              {
                "Address": "0x869854fefeffb8b0ea238994454624c8550e006e"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0xff8ff90ebd1bc1f7f397ef97897ff40d2bfc3861"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0xff8ff90ebd1bc1f7f397ef97897ff40d2bfc3861"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x4939532cc892f7c0e6dc5df532e9666f47221b6d"
              },
              {
                "Address": "0x1e1cf94e79509812f961887accc68a01977cf72c"
              },
              {
                "Address": "0x3450a15dc9cbdd5c0e28cc22474d88ad7e2695a3"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47685,
      13839
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0x3fffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      502825,
      10844
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000200"
          },
          {
            "Uint": [
              "0x1df92c64ad102dbdcaa81ebed74c75624fc385728b61055dd55ab7e5defd0e63",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      505397,
      27726
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Uint": [
              "0xde0b6b3a7640000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84281,
      7290
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0x73",
              8
            ]
          },
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Uint": [
              "0xf9543b9f77ba903a55d625136bdfdd48b8d4418ada0521e8e1f8413affa51477",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11403,
      38493
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3938,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18552,
      55909
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          },
          {
            "Uint": [
              "0xa3fc81e4af28aacefbf46d8e050b7f50",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      339286,
      49845
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36628,
      2493
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6838,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84969,
      50640
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x5484d6fad1ac75c6a769f12f1f07b961c3e4fde1cba7b13bdfbf1c3b428f56b5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5294,
      22579
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      241483,
      49790
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2139,
      48923
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          },
          {
            "Uint": [
              "0x5520616d7a4455e1552b8c2bc081a052215ca28103f0bcfde891ba5f662c4333",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9134,
      50178
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeRemoveIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76296,
      8247
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      829,
      48198
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x4000000000000000000000000000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65036,
      17883
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_assetBacking",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      449316,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0x55ed2f75f59ec8e3b6dbacd90f4870b034c09cfa"
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1813,
      52558
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit",
        "args": [
          {
            "Uint": [
              "0x2b0",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1471,
      42691
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "String": "|"
              },
              {
                "String": ")%D.*-"
              },
              {
                "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
              },
              {
                "Array": [
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
                  },
                  {
                    "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
                  },
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0xff8ff90ebd1bc1f7f397ef97897ff40d2bfc3861"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x869854fefeffb8b0ea238994454624c8550e006e"
                  },
                  {
                    "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  }
                ]
              },
              {
                "Uint": [
                  "0x8a4bf18819b88b648611854c40158b7a86cfce20a4d714c3d9dae3188eacc902",
                  256
                ]
              },
              {
                "Uint": [
                  "0x59a68cd9fd5094efdd15f8346233db54f5ecb471e50442e1348b0c0f9d676e50",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x60cdf679020900f734da5f4782b434c30ba855a02d379ddeb415c7d74745217a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1e",
                      256
                    ]
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      402497,
      2269
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalSharesDontDecreaseOnRedemptionRequest",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81455,
      24450
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      178596,
      8707
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Deposit",
        "args": [
          {
            "Address": "0x83898b1f3c03189ff03b471dd3456908fca4423d"
          },
          {
            "Uint": [
              "0x243",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      336021,
      6701
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0xcb4fe4e91bad39c2f36515651d86730772f67496"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60761,
      58179
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0xa07d24d08412f619d400ac7766546889ed5183b930bbae1c8e0b6c69951d8f6",
              256
            ]
          },
          {
            "Uint": [
              "0x20",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6584,
      4485
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      250496,
      34382
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      123056,
      25224
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45643,
      11053
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x7a78a4ded3530da4e0146ef1432a150b3cfe0bcf19781d7323219ea0fdb23e26",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36353,
      23812
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      231630,
      13102
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x3d4ce976fb8e9fe8e1ea319cc7898016e2339c54d3fc376a3cca477295a8ff92",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      328134,
      58534
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0x3fffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1584,
      7721
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
              },
              {
                "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
              },
              {
                "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
              },
              {
                "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x6d",
                  8
                ]
              },
              {
                "Uint": [
                  "0xb1",
                  8
                ]
              },
              {
                "Uint": [
                  "0x51",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0xc7",
                  8
                ]
              },
              {
                "Uint": [
                  "0x88",
                  8
                ]
              },
              {
                "Uint": [
                  "0xd5",
                  8
                ]
              },
              {
                "Uint": [
                  "0x329",
                  8
                ]
              },
              {
                "Uint": [
                  "0xd7",
                  8
                ]
              },
              {
                "Uint": [
                  "0x51",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x67",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfb",
                  8
                ]
              },
              {
                "Uint": [
                  "0x132",
                  8
                ]
              },
              {
                "Uint": [
                  "0xc3",
                  8
                ]
              },
              {
                "Uint": [
                  "0xc5",
                  8
                ]
              },
              {
                "Uint": [
                  "0xed",
                  8
                ]
              },
              {
                "Uint": [
                  "0xbd",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfc",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfb",
                  8
                ]
              },
              {
                "Uint": [
                  "0x81",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      370303,
      31945
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0xd69eeb34becf01459ed8a5a219a5d8271fb68290e6f8f00c3b342de1d2f5e1b2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      241873,
      20857
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76251,
      2011
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3667,
      28110
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC4626",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77703,
      28686
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74773,
      48431
    ]
  }
]