[
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      192241,
      46667
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0x40000000000000000000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      432775,
      515
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x2a6a6db2317a5092148",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      239302,
      201
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x7717dc0c723e688953f58b6119af530ac054e2086862f45754ddc740a835946c",
              256
            ]
          },
          {
            "Address": "0x73b34fa1fcff56ce52e27df366f02f7e25c130e4"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      583052,
      25228
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_mint",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x32ddf88f92fcf8d6f6e0ffb78d76bc4b6be0f3d872522b33fd63f2fd9c155cb7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6199,
      12093
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0x3eb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39519,
      648
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62676,
      34662
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x1f4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23687,
      33730
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot",
        "args": [
          {
            "FixedBytes": [
              "0xc16535b2ddadc6b199a16b3689e4566828f162ca5f328828dab547ef1fe23359",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43662,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56691,
      27813
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_escrowShares",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x6b7384cf43e23cd2325491bd183d8f1f3f84873cb35a88cc0a7ead9e5742e33b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      312,
      48383
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_setOperator",
        "args": [
          {
            "Uint": [
              "0x100000000000000000000000000000000",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84730,
      34093
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5096,
      8551
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault_clamped",
        "args": [
          {
            "Uint": [
              "0x1f3",
              256
            ]
          },
          {
            "Uint": [
              "0x2b4",
              256
            ]
          },
          {
            "Uint": [
              "0xe0e",
              256
            ]
          },
          {
            "Uint": [
              "0x19",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13496,
      5062
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
                  },
                  {
                    "Address": "0xc85250e54e9148706cf93364092e76014ed07b02"
                  },
                  {
                    "Address": "0xdcbf62ac98aa7657ead15f4de07ae2277937ce58"
                  },
                  {
                    "Address": "0x88e8c991f6908e946040db4088e4ebe1da94d5c2"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "Bytes": [
                          88,
                          171,
                          176,
                          31,
                          40,
                          63,
                          57,
                          28,
                          17,
                          218,
                          254,
                          35,
                          131,
                          94,
                          125,
                          17,
                          141,
                          193,
                          86,
                          234,
                          173,
                          40,
                          247,
                          141,
                          57,
                          149,
                          216,
                          4,
                          103,
                          112
                        ]
                      },
                      {
                        "Bytes": [
                          207,
                          11,
                          137,
                          239,
                          140,
                          214,
                          168,
                          138,
                          131,
                          133,
                          73,
                          243,
                          8,
                          4
                        ]
                      },
                      {
                        "Bytes": [
                          10,
                          127,
                          115,
                          120,
                          69,
                          177,
                          31,
                          235,
                          62,
                          239,
                          255,
                          102,
                          55,
                          231,
                          56,
                          202,
                          170,
                          15,
                          33,
                          196,
                          162,
                          132,
                          115
                        ]
                      },
                      {
                        "Bytes": [
                          244,
                          64,
                          182,
                          95,
                          1,
                          252,
                          222,
                          80,
                          156,
                          185,
                          222,
                          142,
                          156,
                          96,
                          133,
                          50,
                          120,
                          217,
                          6,
                          14,
                          68,
                          239,
                          150
                        ]
                      },
                      {
                        "Bytes": [
                          98,
                          216,
                          254,
                          239,
                          107,
                          206,
                          189,
                          57,
                          227,
                          175,
                          98,
                          84,
                          230,
                          219,
                          107,
                          101,
                          181,
                          239,
                          155,
                          70,
                          49,
                          255
                        ]
                      },
                      {
                        "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,
                          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": [
                          129,
                          10,
                          37,
                          215
                        ]
                      },
                      {
                        "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,
                          52,
                          80,
                          161,
                          93,
                          201,
                          203,
                          221,
                          92,
                          14,
                          40,
                          204,
                          34,
                          71,
                          77,
                          136,
                          173,
                          126,
                          38,
                          149,
                          163,
                          206,
                          37,
                          171,
                          24,
                          142,
                          123,
                          68,
                          68,
                          144,
                          202,
                          140,
                          126,
                          94,
                          12,
                          3,
                          136,
                          28,
                          169,
                          6,
                          35,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          89,
                          145,
                          162,
                          223,
                          21,
                          168,
                          246,
                          162,
                          86,
                          211,
                          236,
                          81,
                          233,
                          146,
                          84,
                          205,
                          63,
                          181,
                          118,
                          169,
                          220,
                          191,
                          98,
                          172,
                          152,
                          170,
                          118,
                          87,
                          234,
                          209,
                          95,
                          77,
                          224,
                          122,
                          226,
                          39,
                          121,
                          55,
                          206,
                          88,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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": [
                          7
                        ]
                      },
                      {
                        "Bytes": [
                          55,
                          196,
                          53,
                          49,
                          48,
                          31,
                          133,
                          72,
                          152,
                          0,
                          18,
                          12,
                          2,
                          163,
                          171,
                          182,
                          46,
                          155,
                          67,
                          130,
                          70,
                          74,
                          99,
                          233,
                          38,
                          99,
                          136,
                          101
                        ]
                      },
                      {
                        "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,
                          52,
                          80,
                          161,
                          93,
                          201,
                          203,
                          221,
                          92,
                          14,
                          40,
                          204,
                          34,
                          71,
                          77,
                          136,
                          173,
                          126,
                          38,
                          149,
                          163,
                          12,
                          45,
                          238,
                          181,
                          249,
                          240,
                          173,
                          96,
                          202,
                          79,
                          42,
                          69,
                          88,
                          225,
                          174,
                          231,
                          55,
                          146,
                          75,
                          146,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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": [
                          16,
                          68,
                          178,
                          124,
                          117,
                          223,
                          24,
                          229,
                          169,
                          73,
                          231,
                          150,
                          111,
                          116,
                          135,
                          254,
                          133,
                          91,
                          9,
                          45,
                          68,
                          176,
                          250,
                          65
                        ]
                      },
                      {
                        "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,
                          30,
                          28,
                          249,
                          78,
                          121,
                          80,
                          152,
                          18,
                          249,
                          97,
                          136,
                          122,
                          204,
                          198,
                          138,
                          1,
                          151,
                          124,
                          247,
                          44,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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": []
                      },
                      {
                        "Bytes": [
                          238,
                          65,
                          230,
                          49,
                          22,
                          216,
                          106,
                          124,
                          9,
                          73,
                          235,
                          243,
                          16,
                          160,
                          85,
                          167,
                          123
                        ]
                      }
                    ]
                  },
                  {
                    "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,
                          10,
                          179,
                          51,
                          198,
                          110,
                          26,
                          197,
                          235,
                          40,
                          21,
                          121,
                          196,
                          134,
                          82,
                          72,
                          92,
                          113,
                          124,
                          188,
                          68,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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,
                          52,
                          80,
                          161,
                          93,
                          201,
                          203,
                          221,
                          92,
                          14,
                          40,
                          204,
                          34,
                          71,
                          77,
                          136,
                          173,
                          126,
                          38,
                          149,
                          163,
                          12,
                          45,
                          238,
                          181,
                          249,
                          240,
                          173,
                          96,
                          202,
                          79,
                          42,
                          69,
                          88,
                          225,
                          174,
                          231,
                          55,
                          146,
                          75,
                          146,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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,
                          89,
                          145,
                          162,
                          223,
                          21,
                          168,
                          246,
                          162,
                          86,
                          211,
                          236,
                          81,
                          233,
                          146,
                          84,
                          205,
                          63,
                          181,
                          118,
                          169,
                          30,
                          28,
                          249,
                          78,
                          121,
                          80,
                          152,
                          18,
                          249,
                          97,
                          136,
                          122,
                          204,
                          198,
                          138,
                          1,
                          151,
                          124,
                          247,
                          44,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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,
                          89,
                          145,
                          162,
                          223,
                          21,
                          168,
                          246,
                          162,
                          86,
                          211,
                          236,
                          81,
                          233,
                          146,
                          84,
                          205,
                          63,
                          181,
                          118,
                          169,
                          85,
                          237,
                          47,
                          117,
                          245,
                          158,
                          200,
                          227,
                          182,
                          219,
                          172,
                          217,
                          15,
                          72,
                          112,
                          176,
                          52,
                          192,
                          156,
                          250,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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,
                          131,
                          130,
                          212,
                          209,
                          189,
                          92,
                          72,
                          238,
                          250,
                          136,
                          15,
                          52,
                          241,
                          26
                        ]
                      },
                      {
                        "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,
                          131,
                          137,
                          141,
                          31,
                          60,
                          3,
                          24,
                          159,
                          240,
                          59,
                          71,
                          29,
                          211,
                          69,
                          105,
                          8,
                          252,
                          164,
                          66,
                          61,
                          30,
                          28,
                          249,
                          78,
                          121,
                          80,
                          152,
                          18,
                          249,
                          97,
                          136,
                          122,
                          204,
                          198,
                          138,
                          1,
                          151,
                          124,
                          247,
                          44,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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,
                          106,
                          252,
                          116,
                          58,
                          164,
                          233,
                          217,
                          141,
                          15,
                          83,
                          255,
                          17,
                          25,
                          150,
                          233,
                          129,
                          125,
                          121,
                          211,
                          1,
                          63,
                          124,
                          212,
                          63,
                          118,
                          165,
                          142,
                          3,
                          79,
                          135,
                          185,
                          161,
                          176,
                          27,
                          101,
                          159,
                          134,
                          204,
                          124,
                          112,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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": [
                          196,
                          186,
                          121,
                          7,
                          19,
                          8,
                          151,
                          48
                        ]
                      },
                      {
                        "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": [
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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": []
                      },
                      {
                        "Bytes": [
                          72,
                          240,
                          59,
                          216,
                          181,
                          197,
                          31,
                          73,
                          237,
                          148,
                          98,
                          29,
                          50,
                          189,
                          184,
                          4,
                          191,
                          57,
                          72,
                          210,
                          84,
                          47,
                          170,
                          238,
                          32,
                          220,
                          8,
                          134,
                          118,
                          227,
                          152,
                          100
                        ]
                      },
                      {
                        "Bytes": [
                          21,
                          28,
                          232,
                          179,
                          162,
                          13,
                          144,
                          234,
                          3,
                          148,
                          82,
                          197,
                          109,
                          38,
                          106,
                          110,
                          44,
                          21,
                          9,
                          216
                        ]
                      },
                      {
                        "Bytes": [
                          123,
                          6,
                          122,
                          1,
                          44,
                          40,
                          46,
                          154,
                          15,
                          38,
                          200,
                          177,
                          86,
                          49,
                          236,
                          236,
                          29,
                          244,
                          104,
                          219,
                          117,
                          147,
                          4,
                          8,
                          27,
                          47
                        ]
                      },
                      {
                        "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,
                          52,
                          80,
                          161,
                          93,
                          201,
                          203,
                          221,
                          92,
                          14,
                          40,
                          204,
                          34,
                          71,
                          77,
                          136,
                          173,
                          126,
                          38,
                          149,
                          163,
                          206,
                          37,
                          171,
                          24,
                          142,
                          123,
                          68,
                          68,
                          144,
                          202,
                          140,
                          126,
                          94,
                          12,
                          3,
                          136,
                          28,
                          169,
                          6,
                          35,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          89,
                          145,
                          162,
                          223,
                          21,
                          168,
                          246,
                          162,
                          86,
                          211,
                          236,
                          81,
                          233,
                          146,
                          84,
                          205,
                          63,
                          181,
                          118,
                          169,
                          85,
                          237,
                          47,
                          117,
                          245,
                          158,
                          200,
                          227,
                          182,
                          219,
                          172,
                          217,
                          15,
                          72,
                          112,
                          176,
                          52,
                          192,
                          156,
                          250,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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,
                          195,
                          206,
                          13,
                          16,
                          164,
                          168,
                          71,
                          126,
                          118,
                          163,
                          19,
                          126,
                          244,
                          184,
                          20,
                          200,
                          228,
                          204,
                          216,
                          178
                        ]
                      },
                      {
                        "Bytes": [
                          2,
                          195,
                          108,
                          240,
                          55,
                          116,
                          39,
                          102,
                          111,
                          106
                        ]
                      },
                      {
                        "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": [
                          232,
                          182,
                          184,
                          228,
                          176,
                          250,
                          36,
                          56,
                          112,
                          212,
                          103
                        ]
                      },
                      {
                        "Bytes": [
                          57,
                          101,
                          100,
                          119,
                          4,
                          84,
                          125,
                          53,
                          125,
                          187,
                          67,
                          252,
                          162,
                          112,
                          242,
                          6
                        ]
                      },
                      {
                        "Bytes": [
                          26,
                          53,
                          1,
                          211,
                          184,
                          183,
                          0,
                          92,
                          135,
                          44,
                          136,
                          141,
                          160,
                          64,
                          105,
                          102,
                          24,
                          254,
                          200
                        ]
                      },
                      {
                        "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": [
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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,
                          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": [
                          35,
                          184,
                          161,
                          224,
                          154,
                          176,
                          75,
                          98,
                          190,
                          20
                        ]
                      },
                      {
                        "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,
                          23,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          63,
                          121,
                          144,
                          39,
                          50,
                          156,
                          229,
                          25,
                          21,
                          157,
                          138,
                          210,
                          1,
                          120,
                          36,
                          69,
                          245,
                          9,
                          72,
                          103,
                          11,
                          51,
                          145,
                          225,
                          77,
                          181,
                          246,
                          2,
                          122,
                          240,
                          235
                        ]
                      },
                      {
                        "Bytes": [
                          33,
                          29,
                          80,
                          173,
                          52,
                          201,
                          165,
                          193,
                          12,
                          145,
                          243
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          250,
                          111,
                          18,
                          243,
                          86,
                          131,
                          41,
                          212,
                          191,
                          149
                        ]
                      },
                      {
                        "Bytes": [
                          171,
                          237
                        ]
                      },
                      {
                        "Bytes": [
                          7
                        ]
                      },
                      {
                        "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,
                          85,
                          237,
                          47,
                          117,
                          245,
                          158,
                          200,
                          227,
                          182,
                          219,
                          172,
                          217,
                          15,
                          72,
                          112,
                          176,
                          52,
                          192,
                          156,
                          250,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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": [
                          227,
                          3,
                          237,
                          104,
                          201,
                          52,
                          225
                        ]
                      },
                      {
                        "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,
                          23,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          159,
                          100,
                          44,
                          134,
                          6,
                          43,
                          61,
                          113,
                          183,
                          34,
                          9,
                          153,
                          124,
                          128,
                          218,
                          137
                        ]
                      },
                      {
                        "Bytes": [
                          134
                        ]
                      },
                      {
                        "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,
                          220,
                          191,
                          98,
                          172,
                          152,
                          170,
                          118,
                          87,
                          234,
                          209,
                          95,
                          77,
                          224,
                          122,
                          226,
                          39,
                          121,
                          55,
                          206,
                          88,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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": []
                      },
                      {
                        "Bytes": [
                          226,
                          223,
                          164,
                          181,
                          215,
                          42,
                          9,
                          72,
                          28,
                          30,
                          19,
                          157,
                          241,
                          201,
                          65,
                          37,
                          35,
                          18,
                          177,
                          138,
                          33,
                          29,
                          150,
                          49,
                          200,
                          18,
                          29,
                          187,
                          121,
                          115,
                          184
                        ]
                      },
                      {
                        "Bytes": [
                          144,
                          153,
                          173,
                          248,
                          132,
                          7,
                          163,
                          3,
                          93,
                          21,
                          130,
                          52,
                          195,
                          214,
                          176,
                          160,
                          70,
                          10,
                          120,
                          145,
                          218,
                          44,
                          111,
                          51,
                          23
                        ]
                      },
                      {
                        "Bytes": [
                          180,
                          95,
                          3,
                          139,
                          227,
                          206,
                          250,
                          226,
                          209,
                          247,
                          68,
                          0,
                          8,
                          133,
                          108,
                          162,
                          67,
                          83,
                          245,
                          90,
                          61,
                          244,
                          207,
                          158,
                          2,
                          57,
                          8
                        ]
                      },
                      {
                        "Bytes": [
                          18,
                          134,
                          117,
                          182,
                          167
                        ]
                      },
                      {
                        "Bytes": [
                          205,
                          216,
                          36,
                          62,
                          163,
                          123
                        ]
                      },
                      {
                        "Bytes": [
                          250,
                          172,
                          16,
                          153,
                          41,
                          45,
                          22,
                          143,
                          240,
                          99,
                          160,
                          49,
                          65,
                          123,
                          25,
                          207,
                          41,
                          162,
                          203,
                          69,
                          211,
                          205,
                          184,
                          204,
                          195,
                          138,
                          93
                        ]
                      },
                      {
                        "Bytes": [
                          20,
                          142,
                          26,
                          216,
                          76,
                          244,
                          92,
                          178,
                          177,
                          251,
                          239,
                          113,
                          16,
                          175,
                          163,
                          2
                        ]
                      },
                      {
                        "Bytes": [
                          89,
                          201,
                          251,
                          137,
                          234,
                          100,
                          255,
                          186,
                          209,
                          179,
                          200,
                          38,
                          148,
                          104,
                          199,
                          80,
                          228,
                          26,
                          64
                        ]
                      },
                      {
                        "Bytes": [
                          124,
                          87,
                          90,
                          98,
                          207,
                          85,
                          117,
                          29,
                          143,
                          146,
                          208,
                          102,
                          143,
                          124,
                          171,
                          56,
                          128,
                          143,
                          172,
                          218,
                          253,
                          66,
                          167,
                          146,
                          75,
                          218,
                          169,
                          143
                        ]
                      },
                      {
                        "Bytes": [
                          144,
                          131,
                          242,
                          136,
                          160,
                          86,
                          129,
                          73,
                          155,
                          245,
                          34,
                          232,
                          88
                        ]
                      },
                      {
                        "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,
                          30,
                          28,
                          249,
                          78,
                          121,
                          80,
                          152,
                          18,
                          249,
                          97,
                          136,
                          122,
                          204,
                          198,
                          138,
                          1,
                          151,
                          124,
                          247,
                          44,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          89,
                          145,
                          162,
                          223,
                          21,
                          168,
                          246,
                          162,
                          86,
                          211,
                          236,
                          81,
                          233,
                          146,
                          84,
                          205,
                          63,
                          181,
                          118,
                          169,
                          30,
                          28,
                          249,
                          78,
                          121,
                          80,
                          152,
                          18,
                          249,
                          97,
                          136,
                          122,
                          204,
                          198,
                          138,
                          1,
                          151,
                          124,
                          247,
                          44,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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": [
                          20,
                          147,
                          21,
                          56,
                          20,
                          94,
                          59,
                          120,
                          12,
                          81,
                          83,
                          224,
                          8,
                          160,
                          87
                        ]
                      }
                    ]
                  },
                  {
                    "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,
                          163,
                          9,
                          226,
                          103,
                          234,
                          63,
                          35,
                          230,
                          63,
                          12,
                          51,
                          214,
                          19,
                          152,
                          220,
                          159,
                          59,
                          155,
                          18,
                          187,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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,
                          199,
                          24,
                          52,
                          85,
                          164,
                          193,
                          51,
                          174,
                          39,
                          7,
                          113,
                          134,
                          6,
                          100,
                          182,
                          183,
                          236,
                          50,
                          11,
                          177,
                          85,
                          237,
                          47,
                          117,
                          245,
                          158,
                          200,
                          227,
                          182,
                          219,
                          172,
                          217,
                          15,
                          72,
                          112,
                          176,
                          52,
                          192,
                          156,
                          250,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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,
                          89,
                          145,
                          162,
                          223,
                          21,
                          168,
                          246,
                          162,
                          86,
                          211,
                          236,
                          81,
                          233,
                          146,
                          84,
                          205,
                          63,
                          181,
                          118,
                          169,
                          30,
                          28,
                          249,
                          78,
                          121,
                          80,
                          152,
                          18,
                          249,
                          97,
                          136,
                          122,
                          204,
                          198,
                          138,
                          1,
                          151,
                          124,
                          247,
                          44,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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,
                          52,
                          80,
                          161,
                          93,
                          201,
                          203,
                          221,
                          92,
                          14,
                          40,
                          204,
                          34,
                          71,
                          77,
                          136,
                          173,
                          126,
                          38,
                          149,
                          163,
                          12,
                          45,
                          238,
                          181,
                          249,
                          240,
                          173,
                          96,
                          202,
                          79,
                          42,
                          69,
                          88,
                          225,
                          174,
                          231,
                          55,
                          146,
                          75,
                          146,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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,
                          199,
                          24,
                          52,
                          85,
                          164,
                          193,
                          51,
                          174,
                          39,
                          7,
                          113,
                          134,
                          6,
                          100,
                          182,
                          183,
                          236,
                          50,
                          11,
                          177,
                          219,
                          200,
                          4,
                          227,
                          110,
                          119,
                          34,
                          63,
                          252,
                          41,
                          83,
                          77,
                          94,
                          209,
                          204,
                          100,
                          235,
                          195,
                          243,
                          124,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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": [
                          75,
                          146,
                          155,
                          151,
                          10,
                          94,
                          70,
                          134,
                          196,
                          239
                        ]
                      },
                      {
                        "Bytes": [
                          94,
                          149,
                          230,
                          225,
                          121,
                          235,
                          209,
                          237,
                          171,
                          138,
                          201,
                          93,
                          42,
                          182,
                          127,
                          250,
                          90,
                          83,
                          240,
                          35,
                          54,
                          184,
                          149,
                          161,
                          228
                        ]
                      },
                      {
                        "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,
                          135,
                          55,
                          6,
                          166,
                          60,
                          79,
                          254,
                          175,
                          207,
                          236,
                          20,
                          50,
                          111,
                          12,
                          120,
                          189,
                          84,
                          115,
                          86,
                          208,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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,
                          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,
                          23,
                          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,
                          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
                        ]
                      }
                    ]
                  },
                  {
                    "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,
                          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": [
                          98,
                          174,
                          174,
                          120,
                          38,
                          80,
                          172,
                          150,
                          233,
                          215,
                          137,
                          97,
                          209,
                          214,
                          21,
                          37,
                          20,
                          227,
                          31,
                          56,
                          211,
                          232,
                          36,
                          245,
                          88,
                          206,
                          235,
                          9,
                          100,
                          4,
                          3,
                          168
                        ]
                      },
                      {
                        "Bytes": [
                          112,
                          119,
                          179,
                          40,
                          25,
                          71,
                          121
                        ]
                      },
                      {
                        "Bytes": [
                          93,
                          125,
                          81,
                          25,
                          184,
                          205,
                          47,
                          32
                        ]
                      },
                      {
                        "Bytes": [
                          138,
                          161,
                          90,
                          214,
                          41,
                          67,
                          106
                        ]
                      },
                      {
                        "Bytes": [
                          20,
                          251,
                          66,
                          189,
                          214,
                          73,
                          41,
                          1,
                          95,
                          92,
                          222,
                          236,
                          88,
                          172,
                          98,
                          66,
                          218,
                          166,
                          240,
                          39,
                          190,
                          2,
                          167,
                          247,
                          110,
                          216,
                          145,
                          77
                        ]
                      },
                      {
                        "Bytes": [
                          222,
                          198,
                          217
                        ]
                      },
                      {
                        "Bytes": [
                          70,
                          88,
                          59,
                          58,
                          181,
                          208,
                          97,
                          41,
                          215,
                          240,
                          135,
                          193,
                          60,
                          234,
                          248,
                          47,
                          101,
                          27,
                          113,
                          204
                        ]
                      },
                      {
                        "Bytes": [
                          228,
                          144,
                          90,
                          190,
                          215,
                          208,
                          204,
                          135,
                          57,
                          78,
                          114,
                          233,
                          53,
                          13,
                          106,
                          129,
                          62,
                          119,
                          0,
                          75,
                          101
                        ]
                      },
                      {
                        "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,
                          30,
                          28,
                          249,
                          78,
                          121,
                          80,
                          152,
                          18,
                          249,
                          97,
                          136,
                          122,
                          204,
                          198,
                          138,
                          1,
                          151,
                          124,
                          247,
                          44,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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": [
                          25,
                          229,
                          102,
                          123
                        ]
                      },
                      {
                        "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,
                          30,
                          28,
                          249,
                          78,
                          121,
                          80,
                          152,
                          18,
                          249,
                          97,
                          136,
                          122,
                          204,
                          198,
                          138,
                          1,
                          151,
                          124,
                          247,
                          44,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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,
                          219,
                          200,
                          4,
                          227,
                          110,
                          119,
                          34,
                          63,
                          252,
                          41,
                          83,
                          77,
                          94,
                          209,
                          204,
                          100,
                          235,
                          195,
                          243,
                          124,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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,
                          131,
                          137,
                          141,
                          31,
                          60,
                          3,
                          24,
                          159,
                          240,
                          59,
                          71,
                          29,
                          211,
                          69,
                          105,
                          8,
                          252,
                          164,
                          66,
                          61,
                          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": [
                          116,
                          146,
                          179,
                          240,
                          134,
                          48
                        ]
                      },
                      {
                        "Bytes": [
                          242,
                          50,
                          41,
                          86,
                          168,
                          74,
                          9
                        ]
                      },
                      {
                        "Bytes": [
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          89,
                          145,
                          162,
                          223,
                          21,
                          168,
                          246,
                          162,
                          86,
                          211,
                          236,
                          81,
                          233,
                          146,
                          84,
                          205,
                          63,
                          181,
                          118,
                          169,
                          206,
                          37,
                          171,
                          24,
                          142,
                          123,
                          68,
                          68,
                          144,
                          202,
                          140,
                          126,
                          94,
                          12,
                          3,
                          136,
                          28,
                          169,
                          6,
                          35,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          63,
                          31,
                          37,
                          92,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          226,
                          151
                        ]
                      },
                      {
                        "Bytes": [
                          111,
                          12,
                          76,
                          254,
                          25,
                          108,
                          7,
                          43,
                          251,
                          178,
                          202,
                          171,
                          233,
                          47,
                          31,
                          183,
                          82,
                          88,
                          93,
                          172,
                          20,
                          42,
                          221,
                          27,
                          158,
                          209,
                          90
                        ]
                      },
                      {
                        "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,
                          85,
                          237,
                          47,
                          117,
                          245,
                          158,
                          200,
                          227,
                          182,
                          219,
                          172,
                          217,
                          15,
                          72,
                          112,
                          176,
                          52,
                          192,
                          156,
                          250,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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": [
                          119,
                          244,
                          221,
                          240,
                          48,
                          177,
                          231,
                          220,
                          44,
                          101,
                          246,
                          131,
                          49,
                          82,
                          96,
                          69,
                          115,
                          128,
                          122,
                          95,
                          103,
                          100,
                          61,
                          108
                        ]
                      },
                      {
                        "Bytes": [
                          99,
                          121,
                          43,
                          198,
                          86,
                          27,
                          106,
                          189,
                          18,
                          42,
                          181,
                          56,
                          61,
                          153,
                          205,
                          173,
                          34,
                          67,
                          92,
                          212,
                          72,
                          125,
                          124,
                          153,
                          2,
                          52,
                          150,
                          130,
                          73,
                          242,
                          182,
                          238
                        ]
                      },
                      {
                        "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,
                          106,
                          252,
                          116,
                          58,
                          164,
                          233,
                          217,
                          141,
                          15,
                          83,
                          255,
                          17,
                          25,
                          150,
                          233,
                          129,
                          125,
                          121,
                          211,
                          1,
                          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": [
                          75,
                          144,
                          171,
                          240,
                          195,
                          161,
                          4,
                          237,
                          45,
                          147,
                          27,
                          141,
                          15,
                          21,
                          102,
                          182,
                          207,
                          189,
                          93,
                          174,
                          180,
                          97,
                          111,
                          28,
                          24,
                          73
                        ]
                      },
                      {
                        "Bytes": [
                          25,
                          9,
                          28,
                          234,
                          1,
                          88,
                          83,
                          83,
                          59,
                          63,
                          219,
                          151,
                          144,
                          234,
                          139,
                          69,
                          203,
                          204,
                          104,
                          228,
                          108
                        ]
                      },
                      {
                        "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,
                          135,
                          55,
                          6,
                          166,
                          60,
                          79,
                          254,
                          175,
                          207,
                          236,
                          20,
                          50,
                          111,
                          12,
                          120,
                          189,
                          84,
                          115,
                          86,
                          208,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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": [
                          192,
                          136,
                          163,
                          127,
                          40,
                          5,
                          249,
                          87,
                          199,
                          238,
                          86,
                          83,
                          191,
                          221,
                          17,
                          156,
                          126,
                          235
                        ]
                      },
                      {
                        "Bytes": [
                          112,
                          13,
                          110,
                          218,
                          123,
                          33,
                          20,
                          31,
                          82,
                          126,
                          243
                        ]
                      },
                      {
                        "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,
                          92,
                          26,
                          156,
                          245,
                          136,
                          209,
                          224,
                          172,
                          55,
                          142,
                          38,
                          3,
                          91,
                          97,
                          71,
                          255,
                          177,
                          200,
                          180,
                          157,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          199,
                          24,
                          52,
                          85,
                          164,
                          193,
                          51,
                          174,
                          39,
                          7,
                          113,
                          134,
                          6,
                          100,
                          182,
                          183,
                          236,
                          50,
                          11,
                          177,
                          85,
                          237,
                          47,
                          117,
                          245,
                          158,
                          200,
                          227,
                          182,
                          219,
                          172,
                          217,
                          15,
                          72,
                          112,
                          176,
                          52,
                          192,
                          156,
                          250,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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,
                          106,
                          252,
                          116,
                          58,
                          164,
                          233,
                          217,
                          141,
                          15,
                          83,
                          255,
                          17,
                          25,
                          150,
                          233,
                          129,
                          125,
                          121,
                          211,
                          1,
                          63,
                          124,
                          212,
                          63,
                          118,
                          165,
                          142,
                          3,
                          79,
                          135,
                          185,
                          161,
                          176,
                          27,
                          101,
                          159,
                          134,
                          204,
                          124,
                          112,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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,
                          131,
                          137,
                          141,
                          31,
                          60,
                          3,
                          24,
                          159,
                          240,
                          59,
                          71,
                          29,
                          211,
                          69,
                          105,
                          8,
                          252,
                          164,
                          66,
                          61,
                          30,
                          28,
                          249,
                          78,
                          121,
                          80,
                          152,
                          18,
                          249,
                          97,
                          136,
                          122,
                          204,
                          198,
                          138,
                          1,
                          151,
                          124,
                          247,
                          44,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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,
                          89,
                          145,
                          162,
                          223,
                          21,
                          168,
                          246,
                          162,
                          86,
                          211,
                          236,
                          81,
                          233,
                          146,
                          84,
                          205,
                          63,
                          181,
                          118,
                          169,
                          206,
                          37,
                          171,
                          24,
                          142,
                          123,
                          68,
                          68,
                          144,
                          202,
                          140,
                          126,
                          94,
                          12,
                          3,
                          136,
                          28,
                          169,
                          6,
                          35,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0
                        ]
                      }
                    ]
                  },
                  {
                    "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,
                          199,
                          24,
                          52,
                          85,
                          164,
                          193,
                          51,
                          174,
                          39,
                          7,
                          113,
                          134,
                          6,
                          100,
                          182,
                          183,
                          236,
                          50,
                          11,
                          177,
                          85,
                          237,
                          47,
                          117,
                          245,
                          158,
                          200,
                          227,
                          182,
                          219,
                          172,
                          217,
                          15,
                          72,
                          112,
                          176,
                          52,
                          192,
                          156,
                          250,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          0,
                          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": [
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xfffc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3588224f5eddbcba3638b50a1780378cec77fb1c4148079ed06c69e455aa",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x20",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9cd27b9a428a0da202aae56c780ea5dd4885de52ad57a8a6a1b54a4003e7c01c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xff",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x10",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe5a9fd7c55ed0f3e8c8cce9e7a00fe62d7d06679d1ce3846a8f01b246e37a0fd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x31",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc8de0949f162605fdbb774fbb21b96292396e82e8536e005c28cb12dc7298b46",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xcb4cd3ded0c2092977e4130f0932dfd1bea0fce945f43629977a3d7a849e9edd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x302",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3a9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1f1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x23b2ed9d22473e054be3e9af302cb2b049fbef1b14d03147154e2b95c3f8c617",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xbdd84af1169598466d787580d194c188b5d47822671136a7c50a3c63c5f29845",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x42",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x41af4eabbb3af597b6539fb5d663e85900b4ec3b59f9e475b325af01a82bff77",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5be23520c22f6f33bd18f31628f2c7b03908499a25dfaff349cabde01316dc31",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3c08dc42291bff30c920b9703cc178544150b69af9a5d092d73cc7882c0cae41",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x311461078c460e50cc48f80cebe0aa9c19e5573f4f87582fa13e224f5cff47b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x40",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2328",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2328",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x696",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x696",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x696",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x1517d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa77b6d97d7d17068b553b452e4416562fa99d884b220d7a8584d7a9060e8a5b2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x100000000",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd335412a000ab5a3f7a3e1a7e449fce78bfaa37fbb86e7b70a695807ef4b6b3b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe0f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x23",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1517d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3f93d198295ea41bd334f2cb03aff0a74fe302e74cf3c3e390940f5c265dce69",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1517e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd629001ce94d3067753dfdf4b4813634c53abfeb0d6e3912793522701acc42c4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa46c4692a9563a3147980dc7b7daea4e9023bc0ecbecb1ea61cfd1a57cf4c6a1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x50ad9f4a5b438900a8bd0f9f44a8cdf67f2cc93cbc6fb17606b843f94f6665ae",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3e9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x66351208cd5694d308b79c44621f3c0a032ca8288c7f6c36177bde7301be7bf8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc7f53cb8c0e65322459bc7be23225a8b78484cecdeb7f0cdb3c77d0831965bb7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x32",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x41",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1f2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc92a5ad8875b5e20180f41e4a46c19e4ab3bbd8797d2a45ad9ddc672c23077eb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2e",
                      256
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8484,
      280
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_sumStrategyAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      549,
      323
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5709,
      17759
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x7559170aacd84a19672b9fd025f2c1255d7a9d22d55e271850132d4d9b7694ac",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23,
      595
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC7540YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0xca6ca05d507ae020611682e6cb811d0deedc4447"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14340,
      55321
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_moreClaimableThanHeldDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67907,
      14259
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36723,
      10879
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32423,
      2646
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0x7d1",
              256
            ]
          },
          {
            "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      523383,
      11811
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x7d0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      6935
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0x1f1517f8f8a74a86b979e8cd939d7548f68600d9548f6bace54d8bc3851ac330",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8335,
      23543
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0xf5fe3013cd855f778eb4a1aa084622be1802446d79a22b353ce6ee1d3c533003",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47683,
      49099
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0x6f02f0ae73187",
              256
            ]
          },
          {
            "Address": "0xb2d60fb03724437d9aac67c8d3fee72798d7b582"
          },
          {
            "Address": "0x55ed2f75f59ec8e3b6dbacd90f4870b034c09cfa"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      146531,
      16566
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3593,
      17959
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      243582,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfAssetsMaxWithdrawable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37925,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0xa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      460958,
      12309
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Address": "0x0000000000000000000000000000000000000000"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      189088,
      5520
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
              },
              {
                "String": "Jb>Uh3/R\"u7It|*"
              },
              {
                "String": "M{{ 5q"
              },
              {
                "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
              },
              {
                "Array": [
                  {
                    "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  },
                  {
                    "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
                  },
                  {
                    "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
                  },
                  {
                    "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
                  },
                  {
                    "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
                  },
                  {
                    "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
                  },
                  {
                    "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
                  },
                  {
                    "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
                  },
                  {
                    "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
                  },
                  {
                    "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
                  },
                  {
                    "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
                  },
                  {
                    "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
                  }
                ]
              },
              {
                "Uint": [
                  "0xfa0",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa2274c883e134fa480b698b14d449546507b0e373a3b9d6e21edb8832909c132",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x32965f1cd32cc558c1191e87487d7a5a795e033e60589b058fb6c72d4a756e8e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1f",
                      256
                    ]
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      316485,
      3579
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_exact",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74241,
      3277
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16235,
      23794
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0x85",
              8
            ]
          },
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          },
          {
            "Uint": [
              "0x3c3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71746,
      51648
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0x54",
              256
            ]
          },
          {
            "Address": "0xe194aa6b80ffd71989dd196c7f84fa624b8d7d5d"
          },
          {
            "Address": "0xd8f5da496acac50d57b675fde00f6b95126a70b5"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      570,
      41040
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18003,
      40593
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      351495,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0x80b87bdcc57e29ea256b043872714bcad208f780cb4aaccb5469b438feaeb2e2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51456,
      29991
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x46d5f99436d79f511fe18c0c2783aff8c7e52a35584b99362e9b0804a870fd0f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      120521,
      56645
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_proposeVaultFeeConfigUpdate",
        "args": [
          {
            "Uint": [
              "0xffffffff",
              256
            ]
          },
          {
            "Uint": [
              "0x357",
              256
            ]
          },
          {
            "Address": "0xbffe940a50d3755859ef43b087c8ee4fbd473a13"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      275435,
      45248
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0x734ca8a2e35fb62032d8e5bd802ac4d163029d17"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8081,
      26211
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1446,
      40215
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      110479,
      19070
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw_clamped",
        "args": [
          {
            "Uint": [
              "0x8097a140091873c90033c74483459f9d3a64da5c5d0981e6c10e39d46ed1b95e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      332605,
      41949
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault_clamped",
        "args": [
          {
            "Uint": [
              "0xe100b0f7db52eed41e882ad2e84f76837402ff1325d315ed95db1cd586f1f9a7",
              256
            ]
          },
          {
            "Uint": [
              "0x232c",
              256
            ]
          },
          {
            "Uint": [
              "0x36",
              256
            ]
          },
          {
            "Uint": [
              "0x216ccd185b76b98f716a33b8ac3c71cea9561fe78e6f39bb2ae65b4ab462e55",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4184,
      47207
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0xf35387f24ffc9d98975a9d443459d135c325edfb"
          },
          {
            "Uint": [
              "0x3",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80636,
      14642
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      913,
      43007
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          },
          {
            "Uint": [
              "0x17",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52982,
      6644
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalSharesDontDecreaseOnRedemptionRequest",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      207818,
      10301
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      2918
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7800,
      40554
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_escrowShares",
        "args": [
          {
            "Address": "0x58466ae696c2dfdc7bb0345e9e888418ab2f509b"
          },
          {
            "Uint": [
              "0x100000000000000000000000000000001",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      163392,
      151
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0xdf",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      288062,
      107
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x2f0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      580531,
      17074
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42339,
      11074
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_3",
        "args": [
          {
            "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81574,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0x3d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64349,
      4951
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0xa9984f3fdab92a45db13b26a512b20c32322820ea778947366b14234d4c33099",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360348,
      36453
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x734ca8a2e35fb62032d8e5bd802ac4d163029d17"
          },
          {
            "Uint": [
              "0x0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69315,
      59131
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_assetBacking",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60797,
      25967
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3301,
      45379
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8979,
      3311
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x3eb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      101503,
      12706
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxRedeemMaxWithdrawSymmetry",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26200,
      34278
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0x54a6fac73236d343ded1604296566118734f28cde4601e1ce1c726d8f7b8a682",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      217788,
      18759
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x3450a15dc9cbdd5c0e28cc22474d88ad7e2695a3"
          },
          {
            "Uint": [
              "0x3e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15415,
      21771
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60432,
      12921
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8367,
      13010
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0x261",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      154599,
      4363
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_changePrimaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0xaf8426941e79af4413c067bfc673f2bd017d2c22"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85367,
      10994
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      30373
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit7540",
        "args": [
          {
            "Uint": [
              "0x722e3dc6ba9c6a9f45",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9088,
      21706
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x102",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29794,
      30789
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS_clamped",
        "args": [
          {
            "Uint": [
              "0x2f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76463,
      13035
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13813,
      2419
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_deposit",
        "args": [
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          },
          {
            "Uint": [
              "0xfa47578f4d9ecd54f193e8a9bc850e5efd8a4a792aaf5eb65851a09fe45d157c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21430,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_3",
        "args": [
          {
            "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      383883,
      6198
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0x3e7",
              256
            ]
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Address": "0x3cb80bc849b8508dbc3ac256e4b05b526c61f213"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      962,
      19640
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x78d5cc0f00a86fc97d7842f2d647cecbc6c2b12587195a061f45525eda4a645e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17615,
      247
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12389,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73339,
      31752
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      57984,
      13762
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0xb52f21bc69b22b704afe70e85a84479b5f474fa2aeed41b56f177de389bbc3de",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1644,
      6614
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0xf",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49604,
      59662
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0xd6f163cd3b4499f5b2a136ef9738765c4acbe4d617ee5bfb1eafc55f7719f0af",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3244,
      1297
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositStake",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x64546c9660a8843d15ce3d90842029742227519c3d1d9cd09abf1f8d1e5f7f3a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6832,
      7292
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x3a0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48264,
      25054
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      406381,
      44363
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem",
        "args": [
          {
            "Uint": [
              "0x8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86762,
      46063
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5514,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          },
          {
            "Uint": [
              "0x8f31735329d60e49d34c8d4985359f75ea09e05db0b536bab152ce526e83f3f2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      6583
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0xe14a59926f6906a14a636e13cbb0cc0162a6a2b210801687289ca0ebd0057d09",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      141726,
      58421
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0x976574e7dc3e74595e5117e41cf20d5e042e8e4e"
              },
              {
                "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
              },
              {
                "Address": "0xaf8426941e79af4413c067bfc673f2bd017d2c22"
              },
              {
                "Address": "0xa309e267ea3f23e63f0c33d61398dc9f3b9b12bb"
              },
              {
                "Address": "0x09104bdd342d3312a081b4803c56d5b208c56efb"
              },
              {
                "Address": "0xfb9cc2dd128d60a70f2f869ac713bbeeb0ba0d2f"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x0000000000000000000000000000000000000002"
              },
              {
                "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
              },
              {
                "Address": "0xe721e63c125e04b35c52ae38eea2e434fe03a3be"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x90fdb58d99d0475eb9fdcbebae2f2192b43a921d"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x3bb2b316eb746dd1723f99970dbe02b5ef8ac29a"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x47b0a646409c94591e62bc6f8777a12d45249f6d"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x56eaf8e2d0396374651ab9761fec9e8bb3b82b82"
              },
              {
                "Address": "0xb15f7f8754eb3438854fecd9192bf94f3f4ab03b"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x6a7303090adf0bf348b71136d9713222d1b68e20"
              },
              {
                "Address": "0xcb4fe4e91bad39c2f36515651d86730772f67496"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x976574e7dc3e74595e5117e41cf20d5e042e8e4e"
              },
              {
                "Address": "0x4547a548ba203dc9c46582ceac66a911db353103"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x87",
                  8
                ]
              },
              {
                "Uint": [
                  "0x82",
                  8
                ]
              },
              {
                "Uint": [
                  "0x4e",
                  8
                ]
              },
              {
                "Uint": [
                  "0xe7",
                  8
                ]
              },
              {
                "Uint": [
                  "0x49",
                  8
                ]
              },
              {
                "Uint": [
                  "0x3b",
                  8
                ]
              },
              {
                "Uint": [
                  "0xaa",
                  8
                ]
              },
              {
                "Uint": [
                  "0x47",
                  8
                ]
              },
              {
                "Uint": [
                  "0x0",
                  8
                ]
              },
              {
                "Uint": [
                  "0x49",
                  8
                ]
              },
              {
                "Uint": [
                  "0x2d",
                  8
                ]
              },
              {
                "Uint": [
                  "0xe9",
                  8
                ]
              },
              {
                "Uint": [
                  "0x4d",
                  8
                ]
              },
              {
                "Uint": [
                  "0x38e",
                  8
                ]
              },
              {
                "Uint": [
                  "0xd1",
                  8
                ]
              },
              {
                "Uint": [
                  "0x207",
                  8
                ]
              },
              {
                "Uint": [
                  "0x75",
                  8
                ]
              },
              {
                "Uint": [
                  "0xa5",
                  8
                ]
              },
              {
                "Uint": [
                  "0x1f",
                  8
                ]
              },
              {
                "Uint": [
                  "0x7c",
                  8
                ]
              },
              {
                "Uint": [
                  "0x98",
                  8
                ]
              },
              {
                "Uint": [
                  "0x10",
                  8
                ]
              },
              {
                "Uint": [
                  "0xde",
                  8
                ]
              },
              {
                "Uint": [
                  "0xff",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1644,
      50589
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          },
          {
            "Uint": [
              "0x58de0fd834d3415812b4abba088b11821d1a15c32bf426fe2aa7ec84a31df08e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18796,
      22096
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x2a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84190,
      54079
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_6",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23220,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52679,
      28484
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x11caf74dbf3728ae243a182f584417c8f7c0c6a76a3202e83815a3a6f3d08e0e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63313,
      25473
    ]
  }
]