[
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      36366
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
          },
          {
            "Uint": [
              "0x2c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14862,
      13201
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3126,
      57399
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75144,
      4543
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0x8000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2477,
      7737
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setRevertBehavior5115",
        "args": [
          {
            "Uint": [
              "0xd2",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19086,
      4094
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      522016,
      12475
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34066,
      5932
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
          },
          {
            "Uint": [
              "0x0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5806,
      56771
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5124,
      5701
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_mint",
        "args": [
          {
            "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
          },
          {
            "Uint": [
              "0x4bf47872c7f7df67e8040a38df731a463b65ec46c4e4faca09fca7f6052c2eb7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83660,
      55328
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1269,
      21324
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5087,
      3304
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
                  },
                  {
                    "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
                  },
                  {
                    "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
                  },
                  {
                    "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
                  },
                  {
                    "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
                  },
                  {
                    "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
                  },
                  {
                    "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "Bytes": [
                          82,
                          248,
                          167,
                          121,
                          157,
                          253,
                          227,
                          21,
                          87,
                          25,
                          173,
                          172,
                          233,
                          136,
                          12,
                          12,
                          140,
                          183,
                          39,
                          86,
                          21,
                          185,
                          210,
                          248,
                          71,
                          59,
                          197,
                          22,
                          45,
                          97,
                          219
                        ]
                      },
                      {
                        "Bytes": [
                          113,
                          236,
                          254,
                          201,
                          73,
                          124,
                          106,
                          236,
                          194
                        ]
                      },
                      {
                        "Bytes": [
                          110,
                          95,
                          110,
                          21,
                          242,
                          153,
                          129,
                          187,
                          132,
                          49,
                          58,
                          76,
                          117,
                          93,
                          158,
                          177,
                          117,
                          133,
                          129,
                          67,
                          91,
                          176,
                          165,
                          96,
                          244,
                          45,
                          7,
                          99,
                          14
                        ]
                      },
                      {
                        "Bytes": [
                          93
                        ]
                      },
                      {
                        "Bytes": [
                          182,
                          189,
                          9,
                          219,
                          233,
                          100,
                          189,
                          116,
                          176,
                          243,
                          191,
                          97,
                          165,
                          21,
                          187
                        ]
                      },
                      {
                        "Bytes": [
                          216,
                          24,
                          225,
                          49,
                          19,
                          48,
                          3,
                          19,
                          197,
                          83,
                          102
                        ]
                      },
                      {
                        "Bytes": [
                          223,
                          12,
                          160,
                          83,
                          51,
                          35,
                          42,
                          103,
                          115,
                          100,
                          230,
                          191,
                          185,
                          74,
                          225,
                          107,
                          12,
                          117,
                          227,
                          12,
                          5,
                          200,
                          199,
                          63,
                          54,
                          181,
                          10,
                          146,
                          14
                        ]
                      },
                      {
                        "Bytes": [
                          103,
                          144,
                          96,
                          250,
                          187,
                          23,
                          68,
                          115,
                          57,
                          215,
                          103,
                          89,
                          212,
                          222,
                          244,
                          200,
                          1,
                          184,
                          66,
                          47,
                          66,
                          181,
                          137,
                          89,
                          101,
                          153
                        ]
                      },
                      {
                        "Bytes": [
                          76,
                          19,
                          110,
                          5,
                          29,
                          255,
                          19,
                          164,
                          253,
                          200,
                          154,
                          206,
                          87,
                          59
                        ]
                      },
                      {
                        "Bytes": [
                          204,
                          83,
                          75,
                          222,
                          74,
                          225,
                          193,
                          189
                        ]
                      },
                      {
                        "Bytes": [
                          78,
                          205,
                          78,
                          127,
                          119,
                          51,
                          147,
                          224,
                          4,
                          116,
                          56,
                          78,
                          179,
                          40,
                          188,
                          86,
                          132,
                          30
                        ]
                      },
                      {
                        "Bytes": [
                          147,
                          24,
                          87,
                          118,
                          146,
                          220,
                          153,
                          201,
                          70,
                          49,
                          61,
                          235,
                          205,
                          78,
                          113,
                          165,
                          206,
                          36,
                          154,
                          216
                        ]
                      },
                      {
                        "Bytes": [
                          174,
                          138,
                          39,
                          2,
                          24,
                          110,
                          22,
                          156,
                          195,
                          192,
                          17,
                          69,
                          80,
                          170,
                          112,
                          49,
                          206,
                          77,
                          98,
                          213,
                          18,
                          115,
                          161,
                          138,
                          205
                        ]
                      },
                      {
                        "Bytes": [
                          20,
                          206,
                          177,
                          104,
                          94,
                          128,
                          193,
                          96,
                          19,
                          147
                        ]
                      },
                      {
                        "Bytes": [
                          211,
                          93,
                          166,
                          175,
                          173,
                          24,
                          220,
                          100,
                          231,
                          208,
                          99,
                          191,
                          18,
                          149,
                          252,
                          162,
                          229,
                          179,
                          81,
                          114,
                          50,
                          107,
                          238,
                          217,
                          216,
                          177,
                          4
                        ]
                      },
                      {
                        "Bytes": [
                          50,
                          18,
                          144,
                          119,
                          175,
                          105,
                          205,
                          107,
                          111,
                          198,
                          123,
                          183,
                          20,
                          33,
                          100,
                          198,
                          20,
                          112,
                          215,
                          8,
                          88
                        ]
                      },
                      {
                        "Bytes": [
                          18,
                          180,
                          47,
                          14,
                          254,
                          109,
                          94,
                          101,
                          136,
                          141,
                          69,
                          136,
                          113,
                          16,
                          45,
                          85,
                          111
                        ]
                      },
                      {
                        "Bytes": [
                          86,
                          135,
                          79
                        ]
                      },
                      {
                        "Bytes": [
                          114,
                          77,
                          168,
                          183,
                          81,
                          68,
                          5,
                          25,
                          113,
                          60,
                          3,
                          197,
                          1,
                          15,
                          68,
                          196,
                          143,
                          121,
                          78,
                          253,
                          145,
                          65
                        ]
                      },
                      {
                        "Bytes": [
                          67,
                          14,
                          4,
                          239,
                          253,
                          93,
                          60,
                          219,
                          51,
                          194,
                          217,
                          199,
                          149,
                          149,
                          115,
                          209,
                          201,
                          64,
                          164,
                          138,
                          96
                        ]
                      },
                      {
                        "Bytes": [
                          238
                        ]
                      },
                      {
                        "Bytes": [
                          23,
                          12,
                          158,
                          126,
                          33,
                          110,
                          39,
                          245,
                          177,
                          163
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          61,
                          158,
                          155,
                          218,
                          184,
                          59,
                          151,
                          158,
                          101,
                          30,
                          235,
                          191,
                          12,
                          19,
                          100,
                          17,
                          233,
                          33,
                          113,
                          52,
                          151,
                          108,
                          32,
                          173,
                          90,
                          71,
                          97,
                          137,
                          71,
                          185
                        ]
                      },
                      {
                        "Bytes": [
                          245,
                          188,
                          245,
                          174,
                          128,
                          3,
                          161,
                          110,
                          40,
                          131,
                          132
                        ]
                      },
                      {
                        "Bytes": [
                          81,
                          27,
                          231,
                          140,
                          129,
                          91,
                          18,
                          138,
                          104,
                          95,
                          70,
                          5,
                          202,
                          56,
                          233,
                          202,
                          206,
                          114,
                          197,
                          133,
                          69,
                          137,
                          158,
                          53,
                          153,
                          65
                        ]
                      },
                      {
                        "Bytes": [
                          4,
                          195,
                          130,
                          105,
                          12,
                          235,
                          131,
                          58,
                          210,
                          209,
                          206,
                          49,
                          18,
                          100,
                          166,
                          138,
                          175,
                          206,
                          139,
                          198,
                          29,
                          167
                        ]
                      },
                      {
                        "Bytes": [
                          108,
                          211,
                          181,
                          104,
                          207,
                          95,
                          13,
                          45,
                          85,
                          76,
                          211,
                          99,
                          166,
                          14,
                          206,
                          124,
                          238,
                          188,
                          65
                        ]
                      },
                      {
                        "Bytes": [
                          97,
                          35,
                          205,
                          237,
                          24,
                          162,
                          246,
                          117,
                          238,
                          33,
                          146,
                          96,
                          166,
                          191,
                          119,
                          50,
                          175,
                          9,
                          207,
                          116,
                          35,
                          77,
                          96,
                          29,
                          62
                        ]
                      },
                      {
                        "Bytes": [
                          17,
                          169,
                          208
                        ]
                      },
                      {
                        "Bytes": [
                          220,
                          151,
                          136,
                          206,
                          255
                        ]
                      },
                      {
                        "Bytes": [
                          137,
                          185,
                          37,
                          204,
                          102
                        ]
                      },
                      {
                        "Bytes": [
                          196,
                          149,
                          250,
                          99,
                          239,
                          69,
                          222,
                          43,
                          66,
                          130,
                          153,
                          19,
                          107,
                          152,
                          216,
                          197,
                          152,
                          236,
                          39,
                          138,
                          42,
                          64,
                          245,
                          99,
                          185,
                          185,
                          5,
                          14,
                          140,
                          136,
                          103,
                          171
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          70,
                          30,
                          211,
                          203,
                          247,
                          183,
                          224,
                          160,
                          47,
                          7,
                          81,
                          128,
                          35,
                          149,
                          107
                        ]
                      },
                      {
                        "Bytes": [
                          238,
                          97
                        ]
                      },
                      {
                        "Bytes": [
                          151,
                          245,
                          250,
                          232,
                          180,
                          175,
                          155,
                          236,
                          48,
                          161,
                          76,
                          46,
                          60,
                          97,
                          94,
                          242,
                          24,
                          213,
                          118,
                          207,
                          77,
                          241,
                          51,
                          30,
                          206
                        ]
                      },
                      {
                        "Bytes": [
                          0,
                          159,
                          252,
                          54,
                          185,
                          227,
                          231,
                          159,
                          67,
                          54,
                          112,
                          45,
                          231,
                          223,
                          187,
                          58,
                          171,
                          190,
                          240,
                          99,
                          208,
                          100,
                          159,
                          143,
                          165,
                          133,
                          6,
                          84
                        ]
                      },
                      {
                        "Bytes": [
                          200,
                          227,
                          198,
                          103,
                          116,
                          203,
                          125,
                          34,
                          225,
                          151,
                          134,
                          244,
                          96,
                          140,
                          169,
                          55,
                          157,
                          111,
                          218,
                          101,
                          250,
                          212,
                          71,
                          33
                        ]
                      },
                      {
                        "Bytes": [
                          207,
                          101,
                          139,
                          146,
                          241,
                          240,
                          13,
                          2,
                          32,
                          138,
                          244,
                          73,
                          201
                        ]
                      },
                      {
                        "Bytes": [
                          143,
                          208,
                          192,
                          52,
                          255,
                          111,
                          182,
                          85,
                          169,
                          130,
                          76,
                          182,
                          108,
                          70,
                          254,
                          3,
                          151,
                          219,
                          216,
                          220,
                          122,
                          183,
                          162,
                          237,
                          189,
                          198,
                          147,
                          155,
                          156,
                          29,
                          3,
                          69
                        ]
                      },
                      {
                        "Bytes": [
                          34,
                          140,
                          72,
                          46,
                          6,
                          59,
                          6,
                          68,
                          245,
                          186,
                          67,
                          59,
                          37,
                          124,
                          148,
                          11,
                          215,
                          188,
                          161,
                          226,
                          223,
                          116,
                          106
                        ]
                      },
                      {
                        "Bytes": [
                          24
                        ]
                      },
                      {
                        "Bytes": [
                          95,
                          13,
                          174,
                          171,
                          67,
                          149,
                          194,
                          170,
                          238,
                          143,
                          35,
                          87,
                          55,
                          135,
                          85,
                          208,
                          203,
                          146,
                          228,
                          168,
                          229,
                          121,
                          85,
                          128
                        ]
                      },
                      {
                        "Bytes": [
                          180,
                          143,
                          164,
                          123,
                          111,
                          65
                        ]
                      },
                      {
                        "Bytes": [
                          121,
                          213,
                          117,
                          131,
                          87,
                          63,
                          238,
                          35,
                          243,
                          99,
                          36,
                          249,
                          46,
                          83,
                          190,
                          10,
                          17,
                          36,
                          240,
                          170,
                          175,
                          189,
                          133
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          104,
                          106,
                          129,
                          68,
                          93,
                          228,
                          97,
                          146,
                          21,
                          185,
                          59,
                          103,
                          233,
                          168,
                          67
                        ]
                      },
                      {
                        "Bytes": [
                          19,
                          49,
                          32,
                          113,
                          199,
                          150,
                          17,
                          60,
                          221,
                          79,
                          64,
                          253,
                          70,
                          45,
                          156,
                          168,
                          249,
                          239,
                          72
                        ]
                      },
                      {
                        "Bytes": [
                          45,
                          183
                        ]
                      },
                      {
                        "Bytes": [
                          212,
                          192,
                          135
                        ]
                      },
                      {
                        "Bytes": [
                          37,
                          9,
                          96,
                          47,
                          77,
                          251,
                          193,
                          177,
                          10,
                          200,
                          120,
                          122,
                          97,
                          246,
                          45,
                          47,
                          154,
                          189,
                          130,
                          27,
                          161
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          170,
                          16,
                          185,
                          98,
                          163,
                          217,
                          67,
                          214,
                          105,
                          31,
                          226,
                          26,
                          82,
                          166,
                          79,
                          82,
                          100,
                          40,
                          35,
                          194,
                          10,
                          139,
                          162,
                          134,
                          100,
                          107,
                          128,
                          21,
                          64,
                          6,
                          155
                        ]
                      },
                      {
                        "Bytes": [
                          60,
                          238,
                          194,
                          118,
                          61,
                          30,
                          93,
                          207,
                          240,
                          242,
                          200,
                          248,
                          220,
                          253,
                          146,
                          56,
                          164,
                          13,
                          210,
                          211,
                          46,
                          30,
                          233,
                          217
                        ]
                      },
                      {
                        "Bytes": [
                          35,
                          167,
                          142,
                          53,
                          78,
                          56,
                          131,
                          181,
                          149
                        ]
                      },
                      {
                        "Bytes": [
                          154,
                          202,
                          252,
                          248,
                          119,
                          84,
                          199,
                          183,
                          81,
                          152,
                          39,
                          80,
                          20,
                          150,
                          116,
                          45,
                          30,
                          47,
                          122,
                          89,
                          72,
                          206
                        ]
                      },
                      {
                        "Bytes": [
                          255,
                          60,
                          69,
                          41,
                          102,
                          15,
                          250,
                          85,
                          114,
                          204,
                          36,
                          233,
                          149,
                          11,
                          87,
                          169,
                          155,
                          38,
                          131,
                          78,
                          60,
                          10,
                          2,
                          99
                        ]
                      },
                      {
                        "Bytes": [
                          123,
                          188,
                          104,
                          197,
                          190,
                          152,
                          88,
                          32,
                          214,
                          122,
                          39,
                          48,
                          106,
                          238,
                          147,
                          34,
                          190
                        ]
                      },
                      {
                        "Bytes": [
                          245,
                          36,
                          90,
                          231,
                          45,
                          190,
                          128,
                          25
                        ]
                      },
                      {
                        "Bytes": [
                          35,
                          106,
                          128,
                          3,
                          52,
                          94,
                          85,
                          155,
                          220,
                          231,
                          46,
                          51,
                          106,
                          145,
                          54,
                          66,
                          114,
                          29,
                          178,
                          197
                        ]
                      },
                      {
                        "Bytes": [
                          238,
                          220,
                          24,
                          29,
                          43,
                          70
                        ]
                      },
                      {
                        "Bytes": [
                          180,
                          167,
                          7,
                          29,
                          72
                        ]
                      },
                      {
                        "Bytes": [
                          196,
                          103,
                          182,
                          238,
                          121,
                          121,
                          227,
                          170,
                          66,
                          4,
                          55,
                          204,
                          48,
                          49,
                          231,
                          15,
                          171,
                          123,
                          64,
                          54,
                          193,
                          132,
                          61,
                          92,
                          71
                        ]
                      },
                      {
                        "Bytes": [
                          245,
                          225,
                          41,
                          191,
                          208,
                          18,
                          60,
                          146,
                          84,
                          53,
                          129,
                          164,
                          181,
                          16,
                          187,
                          18,
                          33
                        ]
                      },
                      {
                        "Bytes": [
                          109,
                          154,
                          27,
                          194,
                          174,
                          17,
                          249,
                          247,
                          182,
                          83,
                          218,
                          182,
                          124,
                          29
                        ]
                      },
                      {
                        "Bytes": [
                          20,
                          162,
                          253,
                          165,
                          244,
                          53,
                          5,
                          233,
                          63,
                          81,
                          221,
                          25,
                          113,
                          191,
                          92,
                          232
                        ]
                      },
                      {
                        "Bytes": [
                          246,
                          243,
                          201,
                          47,
                          237,
                          243,
                          172,
                          206,
                          29,
                          67,
                          252,
                          152,
                          202,
                          165,
                          96,
                          149
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          226,
                          133,
                          20,
                          87,
                          210,
                          18,
                          217,
                          35,
                          122,
                          29,
                          61,
                          166,
                          102,
                          87,
                          14,
                          139,
                          54,
                          18,
                          99,
                          149,
                          252,
                          176,
                          159,
                          77,
                          63,
                          24,
                          230,
                          240,
                          53
                        ]
                      },
                      {
                        "Bytes": [
                          224,
                          99,
                          178,
                          180,
                          239,
                          85,
                          22,
                          66,
                          10,
                          95,
                          128,
                          22,
                          179,
                          44,
                          233,
                          57,
                          209,
                          36,
                          121,
                          90,
                          9,
                          227
                        ]
                      },
                      {
                        "Bytes": [
                          215,
                          214,
                          24,
                          55,
                          190,
                          108,
                          105,
                          138
                        ]
                      },
                      {
                        "Bytes": [
                          22,
                          255,
                          90,
                          148,
                          117,
                          121,
                          216,
                          232,
                          75,
                          127,
                          201,
                          7,
                          71,
                          119,
                          197,
                          135,
                          29,
                          106,
                          214,
                          107,
                          204,
                          118,
                          231,
                          38,
                          90,
                          199,
                          151,
                          214,
                          235,
                          118,
                          38
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          242,
                          234,
                          95,
                          125,
                          92,
                          216,
                          53
                        ]
                      },
                      {
                        "Bytes": [
                          211,
                          75,
                          77,
                          106,
                          53,
                          111,
                          171,
                          93,
                          1,
                          143,
                          68,
                          12,
                          208,
                          83,
                          110,
                          64,
                          115,
                          16,
                          16,
                          253,
                          168,
                          114,
                          54,
                          14,
                          229,
                          140,
                          54,
                          159
                        ]
                      },
                      {
                        "Bytes": [
                          60,
                          79,
                          7,
                          114,
                          143,
                          112,
                          99,
                          255,
                          72,
                          31,
                          230,
                          212,
                          80,
                          37,
                          160,
                          85,
                          7,
                          91,
                          168,
                          157,
                          3,
                          94,
                          110,
                          50,
                          45,
                          13,
                          55,
                          136,
                          108,
                          27,
                          106,
                          86
                        ]
                      },
                      {
                        "Bytes": [
                          126,
                          87,
                          128,
                          215
                        ]
                      },
                      {
                        "Bytes": [
                          94,
                          152,
                          0,
                          169,
                          223,
                          125,
                          83,
                          173,
                          142,
                          55,
                          237,
                          55,
                          67,
                          199,
                          37,
                          113,
                          51,
                          43,
                          254,
                          58,
                          28,
                          98
                        ]
                      },
                      {
                        "Bytes": [
                          222,
                          219,
                          76,
                          168,
                          136,
                          140
                        ]
                      },
                      {
                        "Bytes": [
                          137,
                          73,
                          70,
                          245,
                          36,
                          248,
                          138,
                          47,
                          9,
                          81,
                          87,
                          54,
                          191
                        ]
                      },
                      {
                        "Bytes": [
                          229,
                          68,
                          145,
                          147,
                          33,
                          155,
                          184,
                          119,
                          143,
                          246,
                          165,
                          137,
                          21,
                          176,
                          123,
                          82,
                          142,
                          142,
                          210,
                          73,
                          210,
                          147,
                          173,
                          244,
                          239,
                          112
                        ]
                      },
                      {
                        "Bytes": [
                          154,
                          115,
                          129,
                          70,
                          147,
                          89,
                          53,
                          61,
                          35,
                          233,
                          236,
                          7,
                          209,
                          177,
                          37
                        ]
                      },
                      {
                        "Bytes": [
                          143,
                          145,
                          125,
                          4,
                          155,
                          177,
                          135,
                          216,
                          197,
                          39,
                          94,
                          253,
                          224,
                          235,
                          157,
                          252,
                          206,
                          222,
                          203,
                          209,
                          248
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          154,
                          138,
                          35,
                          131,
                          19,
                          227,
                          69,
                          58,
                          186,
                          188,
                          237,
                          105,
                          219,
                          135
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          58,
                          16,
                          150,
                          251,
                          176,
                          14,
                          124
                        ]
                      },
                      {
                        "Bytes": [
                          200,
                          168,
                          247,
                          229,
                          185,
                          56,
                          247,
                          172,
                          7,
                          42,
                          44,
                          120,
                          65,
                          246,
                          62,
                          178
                        ]
                      },
                      {
                        "Bytes": [
                          181,
                          180,
                          138,
                          208,
                          240,
                          217,
                          159,
                          206,
                          191,
                          30,
                          46,
                          95,
                          237,
                          246,
                          193,
                          246
                        ]
                      },
                      {
                        "Bytes": [
                          21,
                          61,
                          162,
                          169,
                          254,
                          183,
                          223,
                          90,
                          218,
                          55,
                          152,
                          29
                        ]
                      },
                      {
                        "Bytes": [
                          223,
                          254,
                          242,
                          139,
                          205,
                          137,
                          72,
                          151
                        ]
                      },
                      {
                        "Bytes": [
                          186
                        ]
                      },
                      {
                        "Bytes": [
                          166,
                          203,
                          207,
                          220
                        ]
                      },
                      {
                        "Bytes": [
                          38,
                          148,
                          86,
                          108,
                          148,
                          126,
                          21,
                          46,
                          233,
                          14,
                          141,
                          5,
                          23,
                          254,
                          176,
                          110,
                          205,
                          130,
                          90,
                          172,
                          127,
                          77,
                          85,
                          61,
                          119,
                          159,
                          2
                        ]
                      },
                      {
                        "Bytes": [
                          19,
                          1,
                          106,
                          69,
                          202,
                          134,
                          253,
                          28,
                          126,
                          30,
                          159,
                          35,
                          20,
                          38,
                          204,
                          250,
                          204,
                          85,
                          124,
                          12,
                          170,
                          57,
                          101,
                          226,
                          91,
                          245,
                          224,
                          72,
                          26,
                          154,
                          111,
                          52
                        ]
                      },
                      {
                        "Bytes": [
                          113,
                          94,
                          89,
                          132,
                          213,
                          146,
                          107,
                          52,
                          215,
                          147,
                          124,
                          71,
                          245,
                          114,
                          133,
                          97,
                          75,
                          25,
                          70,
                          11,
                          142,
                          10,
                          72,
                          220,
                          108,
                          216
                        ]
                      },
                      {
                        "Bytes": [
                          69,
                          45,
                          182,
                          253,
                          88,
                          82,
                          36,
                          111,
                          81,
                          87,
                          107,
                          224,
                          252,
                          175,
                          17,
                          226,
                          223,
                          72,
                          88,
                          177
                        ]
                      },
                      {
                        "Bytes": [
                          82,
                          91,
                          2,
                          16,
                          33,
                          104,
                          216,
                          97,
                          135,
                          224,
                          190,
                          76,
                          176,
                          48,
                          131,
                          91,
                          127,
                          33,
                          63,
                          29,
                          197,
                          29,
                          134,
                          253,
                          30,
                          253,
                          127,
                          120
                        ]
                      },
                      {
                        "Bytes": [
                          92,
                          67,
                          53,
                          62,
                          186,
                          33,
                          165,
                          121,
                          175,
                          115,
                          114,
                          249,
                          109,
                          67,
                          74,
                          240,
                          3
                        ]
                      },
                      {
                        "Bytes": [
                          180,
                          52,
                          98,
                          48,
                          28,
                          55,
                          205,
                          123,
                          149,
                          66,
                          74,
                          150,
                          150,
                          0,
                          154,
                          168,
                          135,
                          215,
                          220,
                          123,
                          17,
                          98,
                          160,
                          53,
                          70,
                          174,
                          24,
                          16
                        ]
                      },
                      {
                        "Bytes": [
                          81,
                          102,
                          22,
                          59,
                          26
                        ]
                      },
                      {
                        "Bytes": [
                          186,
                          237,
                          196,
                          19,
                          22,
                          81,
                          16,
                          35,
                          183,
                          217,
                          167,
                          130,
                          49,
                          107,
                          40,
                          70
                        ]
                      },
                      {
                        "Bytes": [
                          81,
                          190,
                          197,
                          183,
                          84,
                          139,
                          82,
                          177,
                          178,
                          227,
                          30,
                          214,
                          88,
                          231,
                          130,
                          103,
                          206,
                          242,
                          90,
                          118,
                          147,
                          27,
                          56,
                          208,
                          157,
                          26
                        ]
                      },
                      {
                        "Bytes": [
                          124,
                          64
                        ]
                      },
                      {
                        "Bytes": [
                          58,
                          62,
                          152,
                          95,
                          206,
                          243,
                          159,
                          49
                        ]
                      },
                      {
                        "Bytes": [
                          180,
                          186,
                          242,
                          157
                        ]
                      },
                      {
                        "Bytes": [
                          209,
                          225,
                          163,
                          86,
                          121,
                          107,
                          8,
                          181,
                          16,
                          42,
                          76,
                          143,
                          108,
                          38,
                          84,
                          137,
                          243,
                          32,
                          253,
                          24,
                          173,
                          70,
                          150,
                          151
                        ]
                      },
                      {
                        "Bytes": [
                          243
                        ]
                      },
                      {
                        "Bytes": [
                          159,
                          14,
                          167,
                          136,
                          41,
                          114,
                          138,
                          107,
                          206
                        ]
                      },
                      {
                        "Bytes": [
                          149,
                          23,
                          18,
                          241,
                          165,
                          234,
                          22,
                          20,
                          175,
                          134,
                          23,
                          4,
                          204,
                          159,
                          251,
                          185,
                          186,
                          136,
                          245,
                          61,
                          91,
                          175,
                          49,
                          64,
                          147,
                          134,
                          132,
                          204
                        ]
                      },
                      {
                        "Bytes": [
                          175,
                          237,
                          113,
                          212,
                          62,
                          85,
                          166
                        ]
                      },
                      {
                        "Bytes": [
                          26,
                          165,
                          2,
                          7,
                          55,
                          120,
                          190,
                          86,
                          253,
                          146,
                          64,
                          71,
                          157,
                          248,
                          33,
                          112,
                          233,
                          170,
                          130,
                          95,
                          16,
                          107,
                          55,
                          186,
                          133,
                          79,
                          171,
                          90
                        ]
                      },
                      {
                        "Bytes": [
                          202,
                          119,
                          242,
                          216,
                          230,
                          245,
                          52,
                          181,
                          2,
                          173,
                          95,
                          109,
                          181,
                          209,
                          6,
                          34,
                          26,
                          244,
                          230,
                          28,
                          244,
                          211,
                          181,
                          198,
                          175,
                          137,
                          190,
                          184,
                          72,
                          124,
                          112,
                          192
                        ]
                      },
                      {
                        "Bytes": [
                          177,
                          243,
                          149,
                          110,
                          181,
                          69,
                          93,
                          148,
                          131,
                          2,
                          19,
                          202,
                          9,
                          71,
                          5,
                          94,
                          168,
                          56,
                          223,
                          229,
                          204,
                          80,
                          92,
                          193,
                          182,
                          68,
                          25,
                          30,
                          70,
                          74
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          48,
                          148,
                          67,
                          158,
                          155,
                          186,
                          23,
                          51,
                          82,
                          5,
                          228,
                          231,
                          234,
                          133,
                          47,
                          171,
                          235,
                          92,
                          95,
                          132,
                          211
                        ]
                      },
                      {
                        "Bytes": [
                          110,
                          106,
                          243,
                          130,
                          48,
                          2,
                          31,
                          68,
                          128,
                          40,
                          172
                        ]
                      },
                      {
                        "Bytes": [
                          128,
                          9,
                          70,
                          114,
                          166,
                          88,
                          75,
                          231,
                          51,
                          104,
                          144,
                          28,
                          104,
                          10,
                          126,
                          140,
                          220,
                          224,
                          9,
                          169,
                          118,
                          187,
                          161,
                          163,
                          219,
                          104,
                          187,
                          153,
                          36,
                          113,
                          244
                        ]
                      },
                      {
                        "Bytes": [
                          83,
                          99,
                          42,
                          240,
                          181,
                          183
                        ]
                      },
                      {
                        "Bytes": [
                          9,
                          190,
                          103,
                          252,
                          56,
                          101,
                          72,
                          224,
                          111,
                          128,
                          28
                        ]
                      },
                      {
                        "Bytes": [
                          45,
                          81,
                          220,
                          24,
                          192,
                          39,
                          166,
                          188,
                          99,
                          23,
                          149,
                          192,
                          15,
                          185,
                          15,
                          51,
                          50,
                          64,
                          8,
                          248,
                          254,
                          109,
                          118,
                          144,
                          53,
                          238,
                          3,
                          21
                        ]
                      },
                      {
                        "Bytes": [
                          37,
                          176,
                          38,
                          81,
                          54,
                          188,
                          251,
                          37,
                          112,
                          7,
                          6,
                          191,
                          177,
                          143,
                          173,
                          111,
                          96
                        ]
                      },
                      {
                        "Bytes": [
                          223,
                          144,
                          169,
                          125,
                          135,
                          156,
                          132,
                          29,
                          14,
                          120,
                          142,
                          178,
                          146,
                          54,
                          222,
                          233,
                          144,
                          117,
                          243,
                          253,
                          201
                        ]
                      },
                      {
                        "Bytes": [
                          143,
                          94,
                          25,
                          0,
                          40,
                          59,
                          198,
                          137,
                          57,
                          132,
                          25,
                          133,
                          88,
                          77,
                          48
                        ]
                      },
                      {
                        "Bytes": [
                          103,
                          5,
                          160,
                          70,
                          206,
                          36,
                          164,
                          199,
                          93,
                          254,
                          105,
                          181,
                          217,
                          118,
                          129,
                          200,
                          129,
                          234,
                          54,
                          117,
                          154,
                          166,
                          26,
                          194,
                          8,
                          240,
                          62,
                          37,
                          192
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          190,
                          109,
                          161,
                          162,
                          170,
                          14,
                          61,
                          172,
                          244,
                          65,
                          138,
                          83,
                          158,
                          44,
                          149,
                          32,
                          155,
                          233,
                          129,
                          206,
                          121,
                          95,
                          227,
                          117,
                          0,
                          147,
                          195,
                          190,
                          18,
                          41
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          246,
                          19,
                          154,
                          197,
                          6
                        ]
                      },
                      {
                        "Bytes": [
                          178
                        ]
                      },
                      {
                        "Bytes": [
                          62,
                          77,
                          176,
                          249,
                          87,
                          51,
                          235,
                          42,
                          32,
                          182,
                          254,
                          224,
                          171,
                          36,
                          203,
                          171,
                          76,
                          137,
                          195,
                          7,
                          22
                        ]
                      },
                      {
                        "Bytes": [
                          138,
                          88,
                          30
                        ]
                      },
                      {
                        "Bytes": [
                          4
                        ]
                      },
                      {
                        "Bytes": [
                          90,
                          195,
                          78,
                          159,
                          100,
                          90,
                          139,
                          34,
                          177,
                          136,
                          135,
                          9,
                          171,
                          167,
                          113,
                          153,
                          165,
                          61,
                          213,
                          178,
                          174,
                          41,
                          116,
                          4,
                          72,
                          238,
                          243,
                          243,
                          183,
                          252
                        ]
                      },
                      {
                        "Bytes": [
                          141,
                          175,
                          131,
                          193,
                          57,
                          14,
                          180,
                          164,
                          174,
                          41,
                          185,
                          55,
                          20,
                          234,
                          236,
                          247,
                          215
                        ]
                      },
                      {
                        "Bytes": [
                          16,
                          17,
                          50,
                          29,
                          63,
                          209,
                          133,
                          57,
                          38,
                          69,
                          159,
                          147,
                          57,
                          18,
                          254,
                          212,
                          95,
                          70,
                          56,
                          143,
                          17,
                          165,
                          90,
                          12
                        ]
                      },
                      {
                        "Bytes": [
                          136,
                          154,
                          27,
                          236,
                          63,
                          85,
                          33,
                          50
                        ]
                      },
                      {
                        "Bytes": [
                          172,
                          164,
                          201,
                          9,
                          232,
                          186,
                          100,
                          93,
                          118,
                          6,
                          181,
                          220,
                          40,
                          48,
                          21,
                          233,
                          70,
                          13,
                          170,
                          90,
                          101,
                          153
                        ]
                      },
                      {
                        "Bytes": [
                          55,
                          6,
                          53,
                          84,
                          131,
                          247,
                          135,
                          38,
                          200
                        ]
                      },
                      {
                        "Bytes": [
                          130,
                          80,
                          151,
                          99,
                          138,
                          74,
                          229,
                          57,
                          220,
                          107,
                          150,
                          182,
                          231,
                          103,
                          90,
                          189,
                          115,
                          168,
                          91
                        ]
                      },
                      {
                        "Bytes": [
                          5,
                          245,
                          253,
                          43,
                          81,
                          249,
                          28,
                          93,
                          187,
                          94,
                          40,
                          170,
                          79,
                          108,
                          164,
                          31,
                          126,
                          121,
                          124,
                          155,
                          138,
                          142,
                          201,
                          149,
                          244,
                          142,
                          136,
                          9,
                          107,
                          197,
                          115,
                          66
                        ]
                      },
                      {
                        "Bytes": [
                          58,
                          186,
                          222,
                          157,
                          187,
                          195,
                          158,
                          207,
                          2,
                          116,
                          222
                        ]
                      },
                      {
                        "Bytes": [
                          174,
                          20,
                          186,
                          253,
                          177,
                          197,
                          71,
                          3,
                          76,
                          226,
                          88,
                          14,
                          162,
                          162,
                          191,
                          125,
                          204,
                          73,
                          223,
                          187,
                          70,
                          194,
                          7,
                          234,
                          126,
                          4,
                          142,
                          164,
                          141,
                          40,
                          174
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          185,
                          236,
                          40,
                          133,
                          24,
                          111,
                          77,
                          93,
                          254,
                          76,
                          50,
                          151,
                          144,
                          227,
                          163,
                          218,
                          121,
                          230,
                          171,
                          50,
                          58,
                          116,
                          160,
                          134,
                          181,
                          160,
                          218
                        ]
                      },
                      {
                        "Bytes": [
                          248,
                          212,
                          243,
                          250
                        ]
                      },
                      {
                        "Bytes": [
                          217,
                          144,
                          5,
                          109,
                          126,
                          147,
                          50,
                          139,
                          120,
                          98,
                          5,
                          20,
                          106,
                          52,
                          63,
                          70,
                          138,
                          192
                        ]
                      },
                      {
                        "Bytes": [
                          138,
                          148,
                          33,
                          60,
                          202,
                          111,
                          123,
                          68,
                          215,
                          165,
                          168,
                          233,
                          171,
                          234,
                          102,
                          147,
                          21
                        ]
                      },
                      {
                        "Bytes": [
                          238,
                          95,
                          248,
                          149,
                          2,
                          69,
                          164,
                          202,
                          180,
                          1,
                          93,
                          62,
                          156,
                          220,
                          41,
                          105,
                          220,
                          128,
                          166,
                          171
                        ]
                      },
                      {
                        "Bytes": [
                          47,
                          108,
                          101,
                          20,
                          227,
                          48,
                          101,
                          46,
                          23,
                          55,
                          25,
                          107,
                          58,
                          125,
                          34
                        ]
                      },
                      {
                        "Bytes": [
                          254,
                          178,
                          10,
                          143,
                          31,
                          178,
                          25,
                          222,
                          114,
                          231,
                          166,
                          58,
                          182,
                          211,
                          174
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          118,
                          6,
                          189,
                          50,
                          73,
                          219,
                          207
                        ]
                      },
                      {
                        "Bytes": [
                          56,
                          159,
                          51,
                          109,
                          28,
                          178,
                          52,
                          103,
                          10,
                          39,
                          234,
                          30,
                          31,
                          110,
                          169,
                          248
                        ]
                      },
                      {
                        "Bytes": [
                          74,
                          108,
                          246,
                          183,
                          72,
                          65,
                          204,
                          153,
                          12,
                          173,
                          144,
                          89,
                          73,
                          125,
                          8,
                          112,
                          16,
                          142,
                          239,
                          46,
                          30,
                          178,
                          142
                        ]
                      },
                      {
                        "Bytes": [
                          217,
                          159,
                          147,
                          157,
                          95,
                          119,
                          168,
                          153,
                          187,
                          66,
                          33,
                          43,
                          23,
                          108,
                          125,
                          137,
                          161,
                          73
                        ]
                      },
                      {
                        "Bytes": [
                          158,
                          78,
                          220,
                          211,
                          30,
                          86,
                          134,
                          66,
                          192
                        ]
                      },
                      {
                        "Bytes": [
                          142,
                          184,
                          76,
                          182,
                          203,
                          61,
                          110,
                          183,
                          107,
                          0,
                          179,
                          49,
                          248,
                          146,
                          98,
                          143,
                          174
                        ]
                      },
                      {
                        "Bytes": [
                          162,
                          8,
                          139,
                          5,
                          86,
                          66,
                          177,
                          219,
                          12,
                          161,
                          193,
                          238,
                          111,
                          82,
                          166
                        ]
                      },
                      {
                        "Bytes": [
                          116,
                          73,
                          130,
                          18,
                          90,
                          163,
                          75,
                          199,
                          114,
                          248,
                          181,
                          242,
                          10,
                          242,
                          202,
                          9,
                          34,
                          215,
                          224,
                          138,
                          146,
                          121,
                          162,
                          17,
                          6,
                          77,
                          20,
                          132
                        ]
                      },
                      {
                        "Bytes": [
                          29,
                          110,
                          187,
                          161
                        ]
                      },
                      {
                        "Bytes": [
                          65,
                          96,
                          0,
                          25,
                          10,
                          203,
                          226,
                          145,
                          240,
                          54,
                          250,
                          138,
                          88,
                          74,
                          120,
                          22,
                          246,
                          99,
                          252,
                          44,
                          77,
                          47,
                          181,
                          1,
                          219,
                          223
                        ]
                      },
                      {
                        "Bytes": [
                          230,
                          239,
                          97
                        ]
                      },
                      {
                        "Bytes": [
                          239,
                          146
                        ]
                      },
                      {
                        "Bytes": [
                          156,
                          199,
                          181,
                          240,
                          225,
                          161,
                          195,
                          138,
                          85,
                          182,
                          72
                        ]
                      },
                      {
                        "Bytes": [
                          146,
                          117,
                          121,
                          225,
                          215,
                          191,
                          80,
                          22,
                          202
                        ]
                      },
                      {
                        "Bytes": [
                          109,
                          221,
                          45,
                          173,
                          201,
                          16,
                          248,
                          115,
                          40
                        ]
                      },
                      {
                        "Bytes": [
                          103,
                          180,
                          114,
                          149,
                          105,
                          231,
                          254,
                          183,
                          33
                        ]
                      },
                      {
                        "Bytes": [
                          41,
                          100,
                          18,
                          29,
                          113,
                          109,
                          249,
                          35,
                          212,
                          37,
                          191,
                          254,
                          96,
                          165,
                          172,
                          229,
                          143,
                          108,
                          171,
                          131,
                          24,
                          232,
                          43,
                          66
                        ]
                      },
                      {
                        "Bytes": [
                          225,
                          213,
                          139,
                          214,
                          50,
                          240,
                          9,
                          193,
                          26,
                          242,
                          61,
                          44,
                          109
                        ]
                      },
                      {
                        "Bytes": [
                          170,
                          39
                        ]
                      },
                      {
                        "Bytes": [
                          109,
                          215,
                          103,
                          29,
                          196,
                          94,
                          85,
                          118,
                          142,
                          42,
                          126,
                          128,
                          140,
                          97,
                          5,
                          193,
                          128,
                          15,
                          56,
                          24,
                          151,
                          55,
                          74,
                          169,
                          4,
                          21,
                          5,
                          71
                        ]
                      },
                      {
                        "Bytes": [
                          84,
                          117
                        ]
                      },
                      {
                        "Bytes": [
                          130,
                          200,
                          110
                        ]
                      },
                      {
                        "Bytes": [
                          215,
                          9,
                          134,
                          132,
                          114,
                          191,
                          253,
                          109,
                          83,
                          64,
                          216,
                          207,
                          204,
                          249,
                          8,
                          38,
                          96,
                          30,
                          243
                        ]
                      },
                      {
                        "Bytes": [
                          180,
                          58,
                          234,
                          197,
                          19,
                          200,
                          142,
                          54,
                          155
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          191,
                          102,
                          178,
                          245,
                          115,
                          181,
                          151,
                          242,
                          11,
                          104,
                          60,
                          40,
                          28,
                          254,
                          62,
                          114,
                          9,
                          124
                        ]
                      },
                      {
                        "Bytes": [
                          2,
                          83,
                          119,
                          39,
                          42,
                          49,
                          165,
                          16,
                          115,
                          75,
                          144,
                          223,
                          166,
                          173,
                          219,
                          126,
                          47,
                          89,
                          68,
                          92,
                          123,
                          47,
                          144
                        ]
                      },
                      {
                        "Bytes": [
                          202,
                          3,
                          22,
                          144,
                          216,
                          93,
                          153,
                          38,
                          144,
                          8,
                          27,
                          51,
                          153,
                          117,
                          141,
                          129,
                          222,
                          54,
                          38,
                          133,
                          117,
                          191,
                          225,
                          245,
                          226,
                          119,
                          175,
                          238
                        ]
                      },
                      {
                        "Bytes": [
                          231,
                          104,
                          146,
                          248
                        ]
                      },
                      {
                        "Bytes": [
                          212,
                          16,
                          229,
                          152,
                          192,
                          233,
                          178,
                          118,
                          27,
                          104,
                          122,
                          232,
                          90,
                          33,
                          116,
                          131,
                          129,
                          98,
                          134,
                          210,
                          178,
                          36,
                          58,
                          199,
                          180,
                          81,
                          159,
                          170,
                          85
                        ]
                      },
                      {
                        "Bytes": [
                          178,
                          229,
                          179,
                          170,
                          49,
                          170,
                          61,
                          242
                        ]
                      },
                      {
                        "Bytes": [
                          124,
                          67,
                          169,
                          167,
                          200,
                          220,
                          141,
                          109,
                          193,
                          174,
                          180,
                          159,
                          140,
                          189,
                          131,
                          212,
                          180
                        ]
                      },
                      {
                        "Bytes": [
                          235,
                          6,
                          57,
                          221,
                          234,
                          146,
                          215,
                          242,
                          160,
                          14,
                          210,
                          175,
                          148,
                          3,
                          45,
                          181,
                          218,
                          193,
                          162,
                          203,
                          244
                        ]
                      },
                      {
                        "Bytes": [
                          246,
                          15,
                          43,
                          41,
                          209,
                          164,
                          65,
                          231,
                          78,
                          181,
                          95,
                          86,
                          213,
                          102,
                          110,
                          198,
                          65,
                          186,
                          161,
                          163
                        ]
                      },
                      {
                        "Bytes": [
                          188,
                          10,
                          35,
                          125,
                          46,
                          132,
                          233,
                          170,
                          220,
                          157,
                          11,
                          170,
                          116,
                          253,
                          149,
                          30,
                          46,
                          54,
                          54
                        ]
                      },
                      {
                        "Bytes": [
                          93,
                          145,
                          86,
                          232,
                          23,
                          55,
                          10,
                          122,
                          15,
                          182,
                          55
                        ]
                      },
                      {
                        "Bytes": [
                          249,
                          220,
                          219,
                          168,
                          133,
                          178,
                          217,
                          7,
                          127,
                          48,
                          32,
                          95,
                          117,
                          191
                        ]
                      },
                      {
                        "Bytes": [
                          212,
                          107,
                          180,
                          40,
                          142
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          237,
                          197,
                          101,
                          147,
                          167,
                          165,
                          197,
                          236,
                          192
                        ]
                      },
                      {
                        "Bytes": [
                          68,
                          97,
                          130,
                          137,
                          226,
                          204
                        ]
                      },
                      {
                        "Bytes": [
                          185,
                          184,
                          214,
                          231,
                          169,
                          225,
                          8,
                          237,
                          152,
                          42,
                          164,
                          220,
                          249,
                          233,
                          211,
                          187,
                          29,
                          122,
                          9,
                          230,
                          250,
                          116,
                          237,
                          246,
                          172,
                          111,
                          72,
                          120,
                          53
                        ]
                      },
                      {
                        "Bytes": [
                          201,
                          116,
                          158,
                          46,
                          144,
                          119,
                          233,
                          96,
                          103,
                          98,
                          54,
                          122,
                          74,
                          70,
                          25,
                          89
                        ]
                      },
                      {
                        "Bytes": [
                          232,
                          223
                        ]
                      },
                      {
                        "Bytes": [
                          82,
                          235,
                          175,
                          206,
                          247,
                          177,
                          196,
                          178,
                          241,
                          208,
                          64,
                          70,
                          58,
                          32,
                          243,
                          24,
                          1,
                          85,
                          219,
                          154,
                          45,
                          244,
                          218,
                          113,
                          54,
                          247,
                          203,
                          17,
                          96,
                          20
                        ]
                      },
                      {
                        "Bytes": [
                          184,
                          152,
                          184,
                          79,
                          248,
                          87,
                          199,
                          98,
                          170,
                          156,
                          105,
                          183,
                          212,
                          103,
                          128,
                          118,
                          45,
                          136,
                          93,
                          127,
                          191,
                          78,
                          9
                        ]
                      },
                      {
                        "Bytes": [
                          252,
                          20,
                          199,
                          169,
                          96,
                          212,
                          174,
                          3,
                          216,
                          3,
                          37,
                          111,
                          134,
                          87,
                          234,
                          62,
                          55
                        ]
                      },
                      {
                        "Bytes": [
                          188,
                          221,
                          209,
                          228,
                          76,
                          101,
                          33,
                          107,
                          63,
                          223,
                          139,
                          216,
                          231,
                          234,
                          149
                        ]
                      },
                      {
                        "Bytes": [
                          183,
                          248,
                          73,
                          9,
                          175,
                          76,
                          124,
                          45,
                          220,
                          60,
                          232,
                          158,
                          106,
                          114,
                          8,
                          248,
                          68
                        ]
                      },
                      {
                        "Bytes": [
                          127,
                          140,
                          218,
                          119,
                          129,
                          19,
                          61,
                          29,
                          145
                        ]
                      },
                      {
                        "Bytes": [
                          141,
                          114,
                          236,
                          159,
                          111,
                          155,
                          142,
                          135,
                          171,
                          183,
                          146,
                          107,
                          145,
                          219
                        ]
                      },
                      {
                        "Bytes": [
                          150,
                          93,
                          69,
                          233,
                          180,
                          121,
                          198,
                          4,
                          157,
                          23,
                          16,
                          27,
                          44,
                          213,
                          184,
                          188,
                          4,
                          157,
                          120,
                          195,
                          18,
                          180
                        ]
                      },
                      {
                        "Bytes": [
                          61,
                          219,
                          182,
                          28,
                          50,
                          56,
                          18,
                          2,
                          144,
                          51,
                          179,
                          20,
                          239,
                          237,
                          72,
                          181,
                          81,
                          39,
                          121,
                          46,
                          237,
                          90,
                          253,
                          8
                        ]
                      },
                      {
                        "Bytes": [
                          141,
                          206,
                          170,
                          58,
                          77,
                          190,
                          247,
                          112,
                          13,
                          84,
                          152,
                          126,
                          243,
                          135,
                          248,
                          215,
                          31,
                          189,
                          188,
                          161,
                          176,
                          196,
                          192,
                          98,
                          14,
                          23,
                          151,
                          3,
                          125,
                          145
                        ]
                      },
                      {
                        "Bytes": [
                          125,
                          94,
                          215,
                          151,
                          154,
                          167,
                          122,
                          35,
                          246,
                          178,
                          23,
                          63,
                          161,
                          79,
                          10,
                          10,
                          38,
                          130,
                          249,
                          234,
                          138,
                          227
                        ]
                      },
                      {
                        "Bytes": [
                          108,
                          75,
                          199,
                          41,
                          124,
                          224,
                          174,
                          143,
                          97,
                          12,
                          147,
                          170,
                          147,
                          95,
                          64,
                          116,
                          60,
                          119,
                          201,
                          39
                        ]
                      },
                      {
                        "Bytes": [
                          246,
                          186,
                          146
                        ]
                      },
                      {
                        "Bytes": [
                          225,
                          157,
                          164,
                          206,
                          152,
                          161,
                          239,
                          160,
                          167,
                          227,
                          102,
                          24,
                          32
                        ]
                      },
                      {
                        "Bytes": [
                          166,
                          113,
                          29,
                          174
                        ]
                      },
                      {
                        "Bytes": [
                          132,
                          68,
                          32,
                          96,
                          138,
                          101
                        ]
                      },
                      {
                        "Bytes": [
                          164,
                          45,
                          15,
                          92,
                          159,
                          184,
                          200,
                          127,
                          14,
                          107,
                          11,
                          44,
                          217,
                          210,
                          197,
                          145,
                          201,
                          90
                        ]
                      },
                      {
                        "Bytes": [
                          170,
                          223,
                          201,
                          39,
                          1,
                          101,
                          105,
                          33,
                          174,
                          159,
                          160,
                          4,
                          203,
                          10,
                          181,
                          176,
                          12,
                          37,
                          99,
                          122,
                          60,
                          27,
                          92,
                          239,
                          181,
                          111,
                          157,
                          185,
                          209,
                          225
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          57,
                          192,
                          108,
                          45,
                          250,
                          25,
                          163,
                          6,
                          142
                        ]
                      },
                      {
                        "Bytes": [
                          245
                        ]
                      },
                      {
                        "Bytes": [
                          82
                        ]
                      },
                      {
                        "Bytes": [
                          28,
                          24
                        ]
                      },
                      {
                        "Bytes": [
                          120,
                          168,
                          164,
                          175,
                          138,
                          116,
                          139,
                          46,
                          36,
                          153,
                          154,
                          29,
                          9,
                          38,
                          242,
                          145,
                          5,
                          143,
                          148,
                          54,
                          240,
                          249,
                          207,
                          206,
                          239,
                          8,
                          112,
                          158,
                          107,
                          251,
                          1
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          233,
                          11,
                          49,
                          92,
                          50,
                          242,
                          233,
                          248,
                          181,
                          86,
                          164,
                          243,
                          223,
                          255,
                          134,
                          213,
                          124,
                          5,
                          96,
                          249,
                          71,
                          107,
                          29,
                          198,
                          42,
                          35,
                          70,
                          5,
                          120,
                          116,
                          62,
                          155
                        ]
                      },
                      {
                        "Bytes": [
                          94,
                          100,
                          173,
                          185,
                          34,
                          159,
                          225,
                          239,
                          165,
                          194,
                          68,
                          142,
                          161,
                          125,
                          231
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          84,
                          102,
                          182,
                          137,
                          157,
                          121,
                          11,
                          214,
                          17,
                          34,
                          161,
                          143,
                          116,
                          57,
                          87,
                          208,
                          92,
                          255,
                          20,
                          244,
                          79,
                          40
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          168,
                          24,
                          156,
                          16,
                          152,
                          173,
                          207,
                          213,
                          84,
                          103,
                          144,
                          158,
                          152,
                          67,
                          104,
                          157,
                          90,
                          36,
                          98,
                          199,
                          64,
                          43
                        ]
                      },
                      {
                        "Bytes": [
                          22,
                          235,
                          60,
                          4,
                          158,
                          147,
                          192,
                          86,
                          187,
                          161,
                          214,
                          216,
                          240,
                          52,
                          217,
                          3,
                          12,
                          45,
                          180,
                          172,
                          11
                        ]
                      },
                      {
                        "Bytes": [
                          97,
                          144,
                          151,
                          110,
                          221,
                          18,
                          229,
                          22,
                          211,
                          135,
                          186,
                          202,
                          130,
                          255,
                          185,
                          98,
                          170,
                          17,
                          136,
                          57,
                          248,
                          131,
                          106,
                          9
                        ]
                      },
                      {
                        "Bytes": [
                          158,
                          72,
                          191,
                          85,
                          161,
                          125,
                          182,
                          94,
                          179,
                          69,
                          93,
                          146,
                          1,
                          52,
                          13
                        ]
                      },
                      {
                        "Bytes": [
                          49,
                          36,
                          34,
                          170,
                          85,
                          255,
                          136,
                          2,
                          232,
                          198,
                          23,
                          211,
                          133,
                          56,
                          0,
                          29,
                          111,
                          157,
                          99,
                          24,
                          89,
                          66,
                          122,
                          44,
                          46,
                          140,
                          154
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          231,
                          27,
                          176,
                          99
                        ]
                      },
                      {
                        "Bytes": [
                          207,
                          131,
                          109,
                          80
                        ]
                      },
                      {
                        "Bytes": [
                          123,
                          74,
                          79,
                          101,
                          126,
                          163,
                          128,
                          24,
                          145,
                          216,
                          194,
                          88,
                          187,
                          207,
                          95,
                          243,
                          131,
                          255,
                          230,
                          200,
                          10,
                          171,
                          97,
                          63
                        ]
                      },
                      {
                        "Bytes": [
                          58,
                          14,
                          221,
                          16,
                          194
                        ]
                      },
                      {
                        "Bytes": [
                          62,
                          68,
                          134,
                          1,
                          84,
                          63,
                          41,
                          180,
                          107,
                          106,
                          204,
                          196,
                          209,
                          250,
                          222,
                          240,
                          31,
                          240,
                          230,
                          64,
                          129,
                          72
                        ]
                      },
                      {
                        "Bytes": [
                          234,
                          106,
                          147,
                          123,
                          249,
                          129,
                          213,
                          28,
                          78,
                          166,
                          12,
                          71,
                          240,
                          205,
                          73,
                          92,
                          35,
                          212,
                          121,
                          22,
                          220,
                          229,
                          74,
                          199
                        ]
                      },
                      {
                        "Bytes": [
                          103,
                          192,
                          160,
                          227,
                          25,
                          47,
                          201,
                          150,
                          179,
                          96,
                          195,
                          243,
                          59,
                          90,
                          29,
                          30,
                          78,
                          138
                        ]
                      },
                      {
                        "Bytes": [
                          157,
                          25,
                          178
                        ]
                      },
                      {
                        "Bytes": [
                          28,
                          13,
                          178,
                          121,
                          111,
                          192,
                          225,
                          96,
                          7,
                          148,
                          154
                        ]
                      },
                      {
                        "Bytes": [
                          249,
                          191,
                          30,
                          109,
                          213,
                          243,
                          51,
                          210,
                          162,
                          212,
                          218,
                          78,
                          32,
                          123,
                          98,
                          120,
                          113
                        ]
                      },
                      {
                        "Bytes": [
                          49,
                          25,
                          75,
                          18,
                          230,
                          71,
                          242
                        ]
                      },
                      {
                        "Bytes": [
                          55,
                          252,
                          116,
                          178,
                          168
                        ]
                      },
                      {
                        "Bytes": [
                          166,
                          158,
                          90,
                          97,
                          218,
                          204,
                          13,
                          167,
                          170,
                          245,
                          40,
                          189,
                          103,
                          240,
                          94,
                          239,
                          20,
                          214,
                          94,
                          99,
                          210,
                          115,
                          238,
                          94,
                          177,
                          3,
                          39,
                          109,
                          123
                        ]
                      },
                      {
                        "Bytes": [
                          92,
                          221,
                          254,
                          30,
                          233,
                          8
                        ]
                      },
                      {
                        "Bytes": [
                          175,
                          99,
                          164,
                          97,
                          49,
                          122,
                          145,
                          208,
                          217,
                          200,
                          192,
                          250,
                          2,
                          25,
                          161,
                          39,
                          221,
                          95,
                          202,
                          26,
                          241,
                          48,
                          10
                        ]
                      },
                      {
                        "Bytes": [
                          80,
                          189,
                          70,
                          14,
                          194,
                          220,
                          188,
                          131,
                          179,
                          85,
                          165,
                          179,
                          189,
                          71,
                          5,
                          178,
                          199,
                          12,
                          214
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          151,
                          28,
                          219,
                          84,
                          220,
                          154,
                          189,
                          107,
                          197,
                          169,
                          28,
                          34,
                          145
                        ]
                      },
                      {
                        "Bytes": [
                          122
                        ]
                      },
                      {
                        "Bytes": [
                          142,
                          213,
                          182,
                          227,
                          121,
                          102,
                          242,
                          131,
                          164,
                          95,
                          232,
                          94,
                          198,
                          182,
                          183,
                          103,
                          91,
                          181,
                          105
                        ]
                      },
                      {
                        "Bytes": [
                          221,
                          91,
                          234,
                          86,
                          219,
                          184,
                          229,
                          38,
                          185,
                          37,
                          99,
                          35,
                          163,
                          253,
                          124,
                          134,
                          212,
                          85,
                          54,
                          65,
                          203,
                          231,
                          27,
                          198,
                          210,
                          114,
                          181,
                          142
                        ]
                      },
                      {
                        "Bytes": [
                          54,
                          179,
                          151,
                          212,
                          42,
                          156,
                          3,
                          193,
                          139,
                          204,
                          246,
                          53,
                          169,
                          241,
                          124
                        ]
                      },
                      {
                        "Bytes": [
                          184,
                          247,
                          237,
                          178,
                          122,
                          161,
                          44,
                          224,
                          115,
                          239,
                          245,
                          129,
                          68,
                          154,
                          111,
                          78,
                          201,
                          62,
                          16,
                          198,
                          160,
                          75,
                          244,
                          196
                        ]
                      },
                      {
                        "Bytes": [
                          203,
                          151,
                          33,
                          63,
                          99,
                          174,
                          146,
                          236,
                          134,
                          237,
                          170,
                          233,
                          128,
                          66,
                          214,
                          47,
                          220,
                          254
                        ]
                      },
                      {
                        "Bytes": []
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          192,
                          1,
                          187,
                          164,
                          151,
                          18,
                          162,
                          226,
                          31,
                          193,
                          214,
                          158,
                          136,
                          164,
                          139,
                          24
                        ]
                      },
                      {
                        "Bytes": [
                          149,
                          241,
                          73,
                          141,
                          122,
                          177,
                          195,
                          7,
                          39,
                          230,
                          228,
                          247,
                          32,
                          161,
                          79,
                          218,
                          52,
                          204,
                          113,
                          57,
                          93,
                          183,
                          35,
                          233,
                          255,
                          151,
                          82,
                          146,
                          65,
                          46,
                          147
                        ]
                      },
                      {
                        "Bytes": [
                          7,
                          43,
                          182,
                          217,
                          40,
                          192,
                          65,
                          19,
                          68,
                          88,
                          227,
                          242,
                          188
                        ]
                      },
                      {
                        "Bytes": [
                          176,
                          112,
                          22,
                          104,
                          43,
                          4,
                          84,
                          26,
                          223,
                          103,
                          56,
                          75,
                          82,
                          98,
                          244,
                          65,
                          0,
                          125,
                          106,
                          62,
                          213,
                          140,
                          33,
                          198,
                          174,
                          191,
                          223,
                          41,
                          210,
                          72,
                          161,
                          89
                        ]
                      },
                      {
                        "Bytes": [
                          199,
                          20,
                          46,
                          6,
                          176,
                          63,
                          36,
                          63,
                          71,
                          86,
                          65,
                          182,
                          203,
                          203,
                          240,
                          52,
                          159,
                          238,
                          178,
                          84,
                          30,
                          119,
                          133
                        ]
                      },
                      {
                        "Bytes": [
                          248,
                          255,
                          133,
                          194,
                          222,
                          38,
                          151,
                          181,
                          249,
                          252,
                          126,
                          75,
                          254,
                          6,
                          14,
                          216
                        ]
                      },
                      {
                        "Bytes": [
                          185,
                          55,
                          208,
                          123,
                          233,
                          24,
                          36,
                          178,
                          237,
                          203,
                          210,
                          93,
                          161,
                          88,
                          17,
                          97,
                          66,
                          5,
                          179,
                          243,
                          109,
                          13,
                          50,
                          40,
                          175,
                          49,
                          167,
                          141
                        ]
                      },
                      {
                        "Bytes": [
                          8,
                          72,
                          165,
                          88,
                          148,
                          124,
                          23,
                          237,
                          229,
                          76,
                          33,
                          85,
                          82,
                          170,
                          25,
                          156,
                          4,
                          99,
                          88,
                          211,
                          66,
                          187
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          162,
                          59,
                          137,
                          195,
                          197,
                          114,
                          255
                        ]
                      },
                      {
                        "Bytes": [
                          153,
                          222,
                          178,
                          206,
                          76,
                          54,
                          147,
                          89,
                          38,
                          120,
                          212,
                          33,
                          46,
                          174,
                          12,
                          206,
                          168,
                          80
                        ]
                      },
                      {
                        "Bytes": [
                          140,
                          152,
                          56,
                          228,
                          20,
                          224,
                          51,
                          77,
                          152,
                          15,
                          202,
                          42,
                          151,
                          45,
                          19,
                          146,
                          175,
                          100,
                          254,
                          4,
                          2,
                          1,
                          66,
                          29,
                          125,
                          246,
                          208
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          160,
                          231,
                          254,
                          24,
                          136,
                          33,
                          246,
                          5,
                          86,
                          146,
                          45,
                          19,
                          206,
                          201,
                          223,
                          133,
                          190,
                          249,
                          56,
                          221,
                          188,
                          111,
                          225,
                          67,
                          177,
                          235,
                          237,
                          86
                        ]
                      },
                      {
                        "Bytes": [
                          233,
                          141,
                          133,
                          190,
                          190,
                          25,
                          194,
                          134,
                          25,
                          185,
                          158,
                          160,
                          54,
                          114,
                          253,
                          50,
                          111,
                          194,
                          164,
                          171,
                          68,
                          65,
                          200,
                          94,
                          39,
                          240
                        ]
                      },
                      {
                        "Bytes": [
                          31,
                          107,
                          161,
                          173,
                          116,
                          9,
                          118,
                          71,
                          82,
                          72,
                          45,
                          24,
                          48,
                          93,
                          22,
                          90
                        ]
                      },
                      {
                        "Bytes": [
                          114,
                          189,
                          87,
                          236,
                          137,
                          194,
                          22,
                          150,
                          48,
                          1,
                          175,
                          239,
                          113,
                          128,
                          67,
                          49,
                          249,
                          70
                        ]
                      },
                      {
                        "Bytes": [
                          174,
                          182,
                          188,
                          122,
                          164,
                          156,
                          78,
                          244,
                          14
                        ]
                      },
                      {
                        "Bytes": [
                          246,
                          221,
                          73,
                          253,
                          254,
                          136,
                          118,
                          195,
                          127,
                          164,
                          136,
                          136,
                          130,
                          151,
                          162,
                          196,
                          20,
                          20,
                          232,
                          244,
                          16,
                          100,
                          51,
                          17,
                          62,
                          202,
                          41,
                          58,
                          140,
                          129,
                          150
                        ]
                      },
                      {
                        "Bytes": [
                          204,
                          101,
                          195,
                          216,
                          49,
                          232,
                          146,
                          109,
                          229,
                          118,
                          28,
                          2,
                          98,
                          240,
                          85,
                          76,
                          17,
                          20,
                          73,
                          152,
                          33,
                          156,
                          2,
                          12,
                          190,
                          64,
                          254,
                          228,
                          121,
                          238
                        ]
                      },
                      {
                        "Bytes": [
                          155,
                          191,
                          93,
                          126,
                          181,
                          167,
                          231,
                          164,
                          177,
                          172,
                          34,
                          127,
                          156,
                          73,
                          40,
                          93,
                          220,
                          6
                        ]
                      },
                      {
                        "Bytes": [
                          209,
                          91,
                          232,
                          156,
                          206,
                          84,
                          65,
                          16,
                          235,
                          217,
                          92,
                          29,
                          164,
                          199,
                          70,
                          195,
                          49,
                          22,
                          104,
                          222,
                          97,
                          30,
                          224,
                          124,
                          223,
                          227,
                          148,
                          37,
                          130,
                          25
                        ]
                      },
                      {
                        "Bytes": [
                          118,
                          213,
                          137,
                          134,
                          37,
                          187,
                          103,
                          68,
                          218,
                          3,
                          32,
                          216,
                          85,
                          223,
                          166,
                          162,
                          71,
                          211
                        ]
                      },
                      {
                        "Bytes": [
                          138,
                          71,
                          217,
                          245,
                          245,
                          55,
                          216,
                          128,
                          210,
                          8
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4ebb6ac040aea8facbc03921a534a8251e217ee346ff23ffc07a511c1380f6d9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2eaeac105e5576e6677accdbbe1442ddf90b99527924df50d4393d691ce50cbe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xedee29efb5d588d1ce6998e5b6b02d5f641b02ff64ddea93cc9378b8555c9329",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa68561752491e421858e3f49f0bca01c1357f4c8d91e027cf87dba6c19ab0653",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2ed",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7d9c45adee42420bfba2ba7a38111179e281e436689887205ee9411cd7fa34b2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd0c3dd2fef7483e63ca02a78df160914fa84eebc51e9f358b30ba0d6e83fe86d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa0047c053b2c50b5db2a3806d48c45ca192bec88822a4d52a2a9ac3b6edddf2d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x8f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xecf4a930de8e23b6e2efcffef18b96c08c3abf58bf1fa055f62e374b1055ca6b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa2a75c3d4cc9dcc0b11a2a4b3f5b0610bf3901f69cebd6a6e4ab50b842233fb4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfbd9979c626c5f784d3cda72a1e4a237b9fc199d91829cb5a4f23a38aa8ff61f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5bffcbb75191c3f4d374dd262d865214375799a915a99415bff837649e6505f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x490881178981aa2c16c99a87162886a45210afe66859738f6c758f3115f57e09",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3fae5",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9fb088b3268c32813adfc1f9b93b9a0a3ad17e0494d6512928302b0f65fdd7ef",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x7f62f634226b3aac4b298c3cac8d4e557e867ac3da8223723784b6a18b6ecb23",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc91812eb74c5c1d24d5c1624638b94a4d1263a6f449e9c90551f5bf45fc284de",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5498bdca270cad86141b25acce89445564163bd7c8ea563d6a49855fd8a1a9c1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x11c17e003e34adfa355a68ebc134c890f96c8b64719aeb3178dd5004a4acbb69",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2be94ff8efa54eadafd6d0c4d855c88e057344f83d81264a6167e351fbfc09cd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x968c8aecb36d0e18ff6fb2ec7ecf0aa585efbf7006f8949945a1a6505f25c243",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x281",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5d2cf2977a9c129a25d9321b123fb9ef09546546ccc8268d94c8918e61b4efc6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xbb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa35231866762ef9bb473837971f7779863c57c3aad2d85ada9d6dbfd2a3d6ff6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc9709a7d2809bc94177a615c2f66054872f7bf8aca4e8ce35ada1b9b4f41a342",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x6474aff538319b53068c88d1fe0538a6a72fdb67b19241b39f75b6b727c3ddcf",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3cb3ea2e0e3abaf44a77e24b717f9d90ad74d0143ff0f4d7beb1ebf2e1e5f120",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x322",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x371464a41316a5925e585b68621713f718cbf84de6efe43b1a5976850",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x5452e2ea758ba3e75d45d9a6510adbe6547f25c3f693a6a2f214a6e108df1847",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x37510c776077d41f9eb658fba36db8434cbc0ae05854726b421b2eca722ec487",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4a5b4ba8f4280eb918e00147edfa8beb809ffd0f47508de6dd47484b4652a5e8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2bd848b16702ff849a6755df458cd892affe1df0693e56dbd6d4eeb14a0eaec4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf28e033bbc47a2f1841e5f8ba537842a5a3445cc72142647c4448a5692a03c06",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x70ed4316a10efa9f3e46a6b8792258db4dbd1802efa0851901b46e986aedb5c5",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x6a4953f77e6f2d1c5d309ca222ba43bd37db15f64199e8ae08591b7c24a89e08",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x209",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x89bfeca038b38412cc82ee8615ba5677f95990c5099b873ac6d87a0ad814b845",
                      256
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51642,
      5558
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",
        "args": [
          {
            "FixedArray": [
              {
                "Uint": [
                  "0xc3ca8dca56a6e778aabda3a9ad4a5d72b80558f737a74642c324ad727bc22810",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1",
                  256
                ]
              }
            ]
          },
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x126cbdbe36229d9cb01143637589e1fb3ed0d499c787daf9306293920215be1d",
                  256
                ]
              },
              {
                "Uint": [
                  "0x973d91672792ef5d7045db963ca212d4324494ba6a9191266ef69e768abe810b",
                  256
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5608,
      58417
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x3d38375d07d418c85ba464e4300911b4bbb738d9e2b2045fd88584e12536bafb",
              256
            ]
          },
          {
            "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
          },
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82599,
      7334
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0x000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3491,
      40351
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC4626YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85905,
      574
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25922,
      7403
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
              },
              {
                "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
              },
              {
                "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
              },
              {
                "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
              },
              {
                "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
              },
              {
                "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
              },
              {
                "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x20",
                  8
                ]
              },
              {
                "Uint": [
                  "0x23",
                  8
                ]
              },
              {
                "Uint": [
                  "0xff",
                  8
                ]
              },
              {
                "Uint": [
                  "0xe1",
                  8
                ]
              },
              {
                "Uint": [
                  "0x5b",
                  8
                ]
              },
              {
                "Uint": [
                  "0x35",
                  8
                ]
              },
              {
                "Uint": [
                  "0xea",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfb",
                  8
                ]
              },
              {
                "Uint": [
                  "0x6d",
                  8
                ]
              },
              {
                "Uint": [
                  "0x3e",
                  8
                ]
              },
              {
                "Uint": [
                  "0x89",
                  8
                ]
              },
              {
                "Uint": [
                  "0x2c",
                  8
                ]
              },
              {
                "Uint": [
                  "0xe9",
                  8
                ]
              },
              {
                "Uint": [
                  "0x4d",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x9",
                  8
                ]
              },
              {
                "Uint": [
                  "0xf4",
                  8
                ]
              },
              {
                "Uint": [
                  "0x1b",
                  8
                ]
              },
              {
                "Uint": [
                  "0x84",
                  8
                ]
              },
              {
                "Uint": [
                  "0xa9",
                  8
                ]
              },
              {
                "Uint": [
                  "0xe",
                  8
                ]
              },
              {
                "Uint": [
                  "0x9d",
                  8
                ]
              },
              {
                "Uint": [
                  "0xc1",
                  8
                ]
              },
              {
                "Uint": [
                  "0xff",
                  8
                ]
              },
              {
                "Uint": [
                  "0x14",
                  8
                ]
              },
              {
                "Uint": [
                  "0x30",
                  8
                ]
              },
              {
                "Uint": [
                  "0xfa",
                  8
                ]
              },
              {
                "Uint": [
                  "0xa7",
                  8
                ]
              },
              {
                "Uint": [
                  "0xa3",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50729,
      377
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          },
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Uint": [
              "0x235",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      155226,
      2259
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59123,
      57271
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC4626YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      276965,
      37114
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56159,
      58268
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0x084a0d516b93b0c2f760e65c3aec4aed3bff77943fdd90e4b265fac42fda2c4a",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52091,
      3010
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75455,
      5545
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      366573,
      3084
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "MAX_ROUNDING_ERROR",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77620,
      7170
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_3",
        "args": [
          {
            "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      46735,
      18708
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_mint",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45561,
      21282
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x3468879e3e6610410",
    "delay": [
      83891,
      12588
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0xfe8d1072797e64c6fab1ff5c07d816b9d340bc4dc8f8f20eb992ee4cb650c34b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118834,
      4565
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Uint": [
              "0x5d907bcfb053369bca8918284b1fa1ec4ecaa24cf6b9037e32efa66b0233b399",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63472,
      18379
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0xe6b4a75501a0ec825d2392924a24a7e047706aac0e66576217ad8d58e1798a3c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33262,
      22018
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
              },
              {
                "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
              },
              {
                "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
              },
              {
                "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
              },
              {
                "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5831,
      27332
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31365,
      57590
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0xfb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12328,
      3034
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69121,
      8129
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Uint": [
              "0x812727a119b34f28e273404d385bcdb9659ae75757f8040c37eea65700f44aac",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      119123,
      52087
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66068,
      6073
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28471,
      6111
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestDeposit",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40438,
      5385
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0x0000000000000000000000000000000000000000000000000000000000000000",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3085,
      2686
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0xc0",
              256
            ]
          },
          {
            "Uint": [
              "0x84f427256c0c0324facfe4216cc716d24aeaa1616d1ed1c77f447f5fedf46b26",
              256
            ]
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7823,
      15110
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0xa5",
              256
            ]
          },
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          },
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73337,
      54654
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchRandom",
        "args": [
          {
            "Uint": [
              "0xed7c1ed5472c4811d5f869bc0770024149c339911b2cd1e341ba1b218320a9ff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26283,
      19253
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_mint",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x2572e22f8275bfc11154f5ef0c7d392b",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21585,
      4482
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x31",
              256
            ]
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70116,
      16282
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0x0000000000000000000000000000000000000000000000000000000000000000",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79694,
      28589
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      378802,
      51636
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",
        "args": [
          {
            "Uint": [
              "0xa11e2dc4b89e282b80155506b87146152d4e167fe1311eb4323d5de6956d8208",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20642,
      20827
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      493886,
      23548
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38602,
      16122
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0x6c95e0ea1930dbea5d21a0ccac342e218d6998b20c10e1b1eabf806892deff15",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9174,
      9331
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_oraclePPSDoesntChangeOnAddOrRemove",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20422,
      22382
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      156617,
      20561
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0x1f0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79690,
      173
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxRedeemMaxWithdrawSymmetry",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      350067,
      6662
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0xd88687bca721b86b4a413e44f2b8fd1a3e429f68fbf71a5a92f902a53d9fdf0",
              256
            ]
          },
          {
            "Uint": [
              "0x6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12760,
      752
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0x3",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      146588,
      4132
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0xf3c07b3260bc75ef6e0637ca00940577b5b170f5ebfad88f665f19eed7811a5e",
              256
            ]
          },
          {
            "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
          },
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa28900e6"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      377962,
      50344
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76613,
      5185
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC4626YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63470,
      39517
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      618
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Address": "0x521e63505ad1f7edae93ff0b53579a35787c4335"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70280,
      38734
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x1e4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74629,
      23553
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      136686,
      18552
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20295,
      52344
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48296,
      7795
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0x4",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1748,
      18244
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0x1f6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73340,
      59872
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x1aecfa708e37abe8c1a0cf47720479dfa02289f5d551b4dc54bb091acc54036f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34141,
      26220
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
          },
          {
            "Uint": [
              "0x2",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29415,
      23668
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM",
        "args": [
          {
            "Uint": [
              "0x4",
              256
            ]
          },
          {
            "Uint": [
              "0x1af",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16802,
      31600
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70539,
      270
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_3",
        "args": [
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27161,
      3943
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0xde0b6b3a7640000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2284,
      1098
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31695,
      21623
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18377,
      1051
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
                  },
                  {
                    "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
                  },
                  {
                    "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
                  },
                  {
                    "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
                  },
                  {
                    "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
                  },
                  {
                    "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
                  },
                  {
                    "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
                  },
                  {
                    "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
                  },
                  {
                    "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "Bytes": [
                          18,
                          115,
                          76,
                          5,
                          203,
                          34,
                          105,
                          126,
                          19,
                          146,
                          98,
                          218,
                          125,
                          144,
                          234,
                          163,
                          37
                        ]
                      },
                      {
                        "Bytes": [
                          121,
                          148,
                          116,
                          145,
                          225,
                          3,
                          61,
                          123,
                          152
                        ]
                      },
                      {
                        "Bytes": [
                          219,
                          244,
                          2,
                          165,
                          16
                        ]
                      },
                      {
                        "Bytes": [
                          229,
                          62,
                          224,
                          143
                        ]
                      },
                      {
                        "Bytes": [
                          56,
                          5,
                          99,
                          231,
                          140,
                          34,
                          84,
                          162,
                          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": [
                          185,
                          72,
                          15,
                          3,
                          246,
                          107,
                          210,
                          7,
                          5,
                          81,
                          201,
                          57,
                          44,
                          127
                        ]
                      },
                      {
                        "Bytes": [
                          205,
                          181,
                          184,
                          51,
                          60,
                          177,
                          85,
                          10,
                          164,
                          185,
                          170,
                          148,
                          148,
                          121,
                          206,
                          22,
                          44,
                          115,
                          51,
                          41,
                          203
                        ]
                      },
                      {
                        "Bytes": [
                          12,
                          169,
                          11,
                          34,
                          133,
                          241,
                          115,
                          234,
                          35
                        ]
                      },
                      {
                        "Bytes": [
                          142,
                          77,
                          131,
                          95,
                          169,
                          212,
                          41,
                          169,
                          161,
                          119,
                          254,
                          206,
                          48,
                          246,
                          178,
                          170,
                          210,
                          157
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          103,
                          140,
                          58,
                          50,
                          56
                        ]
                      },
                      {
                        "Bytes": [
                          239,
                          104,
                          19
                        ]
                      },
                      {
                        "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,
                          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,
                          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": [
                          80,
                          167,
                          99,
                          199,
                          241,
                          214,
                          82,
                          208,
                          73,
                          103,
                          63,
                          154,
                          106,
                          160
                        ]
                      },
                      {
                        "Bytes": [
                          142,
                          74
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "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,
                          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": [
                          235,
                          103,
                          161,
                          231,
                          211,
                          58,
                          97,
                          0,
                          107,
                          94,
                          201,
                          60,
                          216,
                          219,
                          104,
                          88,
                          237,
                          246,
                          135,
                          232,
                          154,
                          110,
                          10,
                          52,
                          52,
                          224,
                          249,
                          141,
                          62,
                          227,
                          125,
                          155
                        ]
                      },
                      {
                        "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,
                          131,
                          137,
                          141,
                          31,
                          60,
                          3,
                          24,
                          159,
                          240,
                          59,
                          71,
                          29,
                          211,
                          69,
                          105,
                          8,
                          252,
                          164,
                          66,
                          61,
                          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": [
                          23,
                          74,
                          38,
                          235,
                          69,
                          94,
                          199,
                          171,
                          199,
                          244,
                          208,
                          228,
                          96,
                          106,
                          33,
                          88,
                          216,
                          193,
                          234,
                          195,
                          95
                        ]
                      },
                      {
                        "Bytes": [
                          63,
                          76,
                          205,
                          172,
                          77,
                          75,
                          60,
                          131
                        ]
                      },
                      {
                        "Bytes": [
                          164,
                          205,
                          230,
                          152,
                          58,
                          18,
                          76,
                          54,
                          252,
                          114,
                          141,
                          147,
                          45,
                          124,
                          226,
                          31,
                          5,
                          65,
                          28,
                          51
                        ]
                      },
                      {
                        "Bytes": [
                          190,
                          210,
                          90,
                          13,
                          117,
                          154,
                          238,
                          214,
                          207,
                          184,
                          94,
                          35,
                          153,
                          204,
                          249,
                          68,
                          43,
                          25,
                          127,
                          51,
                          31
                        ]
                      },
                      {
                        "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,
                          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": [
                          141,
                          46,
                          140,
                          80,
                          126,
                          75,
                          191,
                          231,
                          165,
                          197,
                          85
                        ]
                      },
                      {
                        "Bytes": [
                          247,
                          79,
                          109,
                          78,
                          21,
                          120,
                          253,
                          31,
                          189,
                          244,
                          90,
                          159,
                          27,
                          236,
                          253,
                          18,
                          219,
                          243,
                          122,
                          252,
                          55,
                          153,
                          21,
                          1,
                          230,
                          111
                        ]
                      },
                      {
                        "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": [
                          198,
                          43,
                          105,
                          37,
                          97,
                          117,
                          109,
                          181,
                          91,
                          23,
                          70,
                          8,
                          15,
                          153,
                          157,
                          253,
                          196,
                          17,
                          188,
                          220,
                          45,
                          137,
                          14,
                          253,
                          72,
                          18,
                          23,
                          2,
                          5,
                          30
                        ]
                      },
                      {
                        "Bytes": [
                          79,
                          228,
                          109,
                          146,
                          178,
                          154,
                          222,
                          147,
                          51,
                          71,
                          201,
                          168,
                          172,
                          32,
                          185,
                          77,
                          208
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          92,
                          250,
                          205,
                          161,
                          252,
                          102,
                          66,
                          225,
                          124,
                          159,
                          87,
                          147,
                          28,
                          206,
                          95,
                          205,
                          152,
                          232,
                          233,
                          23,
                          8,
                          125,
                          94,
                          191,
                          47
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "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,
                          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
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "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": [
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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": [
                          115,
                          129,
                          118,
                          100,
                          24,
                          111,
                          9,
                          205,
                          140,
                          103,
                          62,
                          3,
                          36,
                          43,
                          104,
                          12,
                          74
                        ]
                      },
                      {
                        "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,
                          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": [
                          226,
                          163,
                          39,
                          199,
                          54,
                          35,
                          48,
                          16,
                          184,
                          68,
                          194,
                          127,
                          113,
                          110,
                          120,
                          158,
                          2,
                          60,
                          221,
                          41,
                          219,
                          180,
                          199,
                          183,
                          92,
                          2,
                          143,
                          126,
                          36
                        ]
                      },
                      {
                        "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": [
                          59,
                          83,
                          204,
                          44,
                          134,
                          156,
                          9,
                          157,
                          220,
                          76,
                          255,
                          159,
                          83,
                          153,
                          54,
                          79,
                          189,
                          60,
                          101,
                          239,
                          173,
                          77,
                          215,
                          142,
                          119,
                          90,
                          107
                        ]
                      },
                      {
                        "Bytes": [
                          64,
                          202,
                          8,
                          217,
                          192,
                          28,
                          68,
                          202,
                          30,
                          94,
                          174,
                          204,
                          107,
                          50
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "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
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          103,
                          140,
                          58,
                          50,
                          56
                        ]
                      },
                      {
                        "Bytes": [
                          239,
                          104,
                          19
                        ]
                      },
                      {
                        "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,
                          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,
                          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": [
                          80,
                          167,
                          99,
                          199,
                          241,
                          214,
                          82,
                          208,
                          73,
                          103,
                          63,
                          154,
                          106,
                          160
                        ]
                      },
                      {
                        "Bytes": [
                          142,
                          74
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "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,
                          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": [
                          235,
                          103,
                          161,
                          231,
                          211,
                          58,
                          97,
                          0,
                          107,
                          94,
                          201,
                          60,
                          216,
                          219,
                          104,
                          88,
                          237,
                          246,
                          135,
                          232,
                          154,
                          110,
                          10,
                          52,
                          52,
                          224,
                          249,
                          141,
                          62,
                          227,
                          125,
                          155
                        ]
                      },
                      {
                        "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,
                          131,
                          137,
                          141,
                          31,
                          60,
                          3,
                          24,
                          159,
                          240,
                          59,
                          71,
                          29,
                          211,
                          69,
                          105,
                          8,
                          252,
                          164,
                          66,
                          61,
                          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": [
                          23,
                          74,
                          38,
                          235,
                          69,
                          94,
                          199,
                          171,
                          199,
                          244,
                          208,
                          228,
                          96,
                          106,
                          33,
                          88,
                          216,
                          193,
                          234,
                          195,
                          95
                        ]
                      },
                      {
                        "Bytes": [
                          63,
                          76,
                          205,
                          172,
                          77,
                          75,
                          60,
                          131
                        ]
                      },
                      {
                        "Bytes": [
                          164,
                          205,
                          230,
                          152,
                          58,
                          18,
                          76,
                          54,
                          252,
                          114,
                          141,
                          147,
                          45,
                          124,
                          226,
                          31,
                          5,
                          65,
                          28,
                          51
                        ]
                      },
                      {
                        "Bytes": [
                          190,
                          210,
                          90,
                          13,
                          117,
                          154,
                          238,
                          214,
                          207,
                          184,
                          94,
                          35,
                          153,
                          204,
                          249,
                          68,
                          43,
                          25,
                          127,
                          51,
                          31
                        ]
                      },
                      {
                        "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,
                          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": [
                          141,
                          46,
                          140,
                          80,
                          126,
                          75,
                          191,
                          231,
                          165,
                          197,
                          85
                        ]
                      },
                      {
                        "Bytes": [
                          247,
                          79,
                          109,
                          78,
                          21,
                          120,
                          253,
                          31,
                          189,
                          244,
                          90,
                          159,
                          27,
                          236,
                          253,
                          18,
                          219,
                          243,
                          122,
                          252,
                          55,
                          153,
                          21,
                          1,
                          230,
                          111
                        ]
                      },
                      {
                        "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": [
                          198,
                          43,
                          105,
                          37,
                          97,
                          117,
                          109,
                          181,
                          91,
                          23,
                          70,
                          8,
                          15,
                          153,
                          157,
                          253,
                          196,
                          17,
                          188,
                          220,
                          45,
                          137,
                          14,
                          253,
                          72,
                          18,
                          23,
                          2,
                          5,
                          30
                        ]
                      },
                      {
                        "Bytes": [
                          79,
                          228,
                          109,
                          146,
                          178,
                          154,
                          222,
                          147,
                          51,
                          71,
                          201,
                          168,
                          172,
                          32,
                          185,
                          77,
                          208
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          92,
                          250,
                          205,
                          161,
                          252,
                          102,
                          66,
                          225,
                          124,
                          159,
                          87,
                          147,
                          28,
                          206,
                          95,
                          205,
                          152,
                          232,
                          233,
                          23,
                          8,
                          125,
                          94,
                          191,
                          47
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9e666554a26f2970df2cecf5f461f36d912111fe2fbdb5f979e77773c1d13751",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x25bca31fbe670dbbe991dc92630f77523fca00ec459d3b3c6207674c87204ddb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2295a1dd3cae334d5dfe790bf864bc9025c88ab13ed43360fc7ed85f0461e827",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3ee8241ddd3f45022f109861f2d90e9cbd3882db2fe57a3747046b0edae6a008",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x35d880f61fd3b4bfccb60a542040abd128d7dc87edad2e7a987be612921b01b6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x171",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x86a94269e49f6f7ff508bc669d318fd70b3f562a257445988b0361debc72d62f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe81535bf48edb873d6e23003b016c3c0722bbec45b422551f75ff3b560685977",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x46e9d11918ed9878c0d46ad42f5aeb38b927ee18581c9e1f5888591e6b06572d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x17e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3a43e512cf310a00112213b3c219fb4317cb9f1f838f933ca67663570bc1e96a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x104",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xa",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x28a226f8a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16806,
      18842
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540_clamped",
        "args": [
          {
            "Uint": [
              "0xe27c06b7c9a57a7336373fb89591d75539ae2d4667dc58c759bfaa3e7e9f80d6",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1793,
      29715
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38259,
      4396
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0x869854fefeffb8b0ea238994454624c8550e006e"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      600733,
      11654
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_assetBackingDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8333,
      19955
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62569,
      11526
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_sumStrategyAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31362,
      28061
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0xfc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4716,
      4830
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0xd0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79514,
      7655
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0x26",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      218150,
      5075
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60649,
      19015
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_approve",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      550628,
      53283
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault_clamped",
        "args": [
          {
            "Uint": [
              "0x461e457c322117dbea3948c9c5650d0bf40e871c46333356fa575e1c0b62f569",
              256
            ]
          },
          {
            "Uint": [
              "0xa3e0af787d6bdeb2bee0680c0da67062f1a8a57f185e9d4a07ead2b3f8f61032",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "Uint": [
              "0x11",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38508,
      40940
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      792,
      376
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0xd9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5839,
      13496
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
              },
              {
                "String": "sA%yFB.GC)\\9J+YTRG"
              },
              {
                "String": "u<P<B)uZ:5X]HS<7'-Q88hf}O\\V"
              },
              {
                "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
              },
              {
                "Array": [
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  }
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x684907d6be82dbd82681c677f1930cc6c44b24bdc81cc6c6e4acc0759de9c647",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x3e8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x64",
                      256
                    ]
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36168,
      9239
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57279,
      17932
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540",
        "args": [
          {
            "Uint": [
              "0x4f",
              8
            ]
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31692,
      4079
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_withdraw",
        "args": [
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          },
          {
            "Uint": [
              "0x10",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15796,
      36841
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfAssetsMaxWithdrawable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      207829,
      4277
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0xbe",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81006,
      55944
    ]
  }
]