[
  {
    "call": {
      "SolCall": {
        "name": "optimize_moreClaimableThanHeldDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69363,
      2829
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0x1b73bc8390be6b09bbeff300c048f621c6d83ac28b1bade892cd0d5aefe1022e",
                  256
                ]
              },
              {
                "Uint": [
                  "0x32",
                  256
                ]
              },
              {
                "Uint": [
                  "0x19",
                  256
                ]
              },
              {
                "Uint": [
                  "0x13",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1f0ed3afad5e728379b2395ebe786d01e5abbc66b6555d4f36c1fa79699a9e4c",
                  256
                ]
              },
              {
                "Uint": [
                  "0x5e97e9225bc9de9986d7748e3bb87519eb95f12a218d122988737fe42c2d1447",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2d",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffc",
                  256
                ]
              },
              {
                "Uint": [
                  "0x59574fe9758eed619b43c3b01c7fdf0e7e77654316fb294160807d6100556ea2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x8951af3e4afcd568a9090752c9f1775eacc73c18950db4ac40c68ca6b8612057",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa32e89a1511ae5bd24a94802005bd806959461f4f3b3f34f46db0278b4de6f7e",
                  256
                ]
              },
              {
                "Uint": [
                  "0x6",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1e",
                  256
                ]
              },
              {
                "Uint": [
                  "0x100000000000000000000000000000002",
                  256
                ]
              },
              {
                "Uint": [
                  "0xa41a531ed8f1d50fcfb7b2e69d7aa5d062d41378395a8d42c6d8343b5651e1d3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x11",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3f4517a93918e9a03f04a43ec7adbc6472021571bdde9ca5d13c526eb4815233",
                  256
                ]
              },
              {
                "Uint": [
                  "0x64",
                  256
                ]
              },
              {
                "Uint": [
                  "0x95217758b87ebeaf0cb594a81b23a408394c83ebfac47d3da112c7efc81bebdf",
                  256
                ]
              },
              {
                "Uint": [
                  "0x54b2d53b75af16bb3978df03fe96004bc63c0d645706ab53f314cf263942ac29",
                  256
                ]
              },
              {
                "Uint": [
                  "0xee676b3bfcbfc422831cb5090ae8d55cace97b4bd3242f78c5e0eefa3ccb2778",
                  256
                ]
              },
              {
                "Uint": [
                  "0x96fd042e3440129b7b6eb53eb71d09ec6b7cd1ac6af4c1acd64be8e46b3d359",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb6b9cb174d9d1911df3b347cd72b6115da7a25a3f16f7267034aaece12a312ab",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2329",
                  256
                ]
              },
              {
                "Uint": [
                  "0x795ef5a232b4c8ddc086c83736f38e9186135b2f4fa5daa30f57af794dd3025",
                  256
                ]
              },
              {
                "Uint": [
                  "0x72b97bda9a5d47853d40ae3331aac8e32ce9d404d350aba4e5eac23505077d27",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe11",
                  256
                ]
              },
              {
                "Uint": [
                  "0x8e96ccb0b3cd517b173e1348a3cbf13a0b425086e7ae9c496ab3a7eebd866642",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3682f045390ff26974dabf5aebcfd945ad75804ea9f6c539a2abf1b6c96dc02c",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1c",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0xffff",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb87ce7d6575156a19b65b87040972c695904f32bc532a41e6531071d7bdcc9fa",
                  256
                ]
              },
              {
                "Uint": [
                  "0xab4a41d01790eeb8b23a099e66463bb78b9298ad4c3ae3863f03a2e6d1fd8d96",
                  256
                ]
              },
              {
                "Uint": [
                  "0xef6d530fcbc9e6da303f76ece860bf9456155b57a8fe6d68762b487be9a4fe31",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3e6d8b174c1b6d2e101c68e16229875107fd781049bb38069607beb04e748c7a",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2982361e1195b30e1fb3675c2f99611436f44c4956a8f83bb5aaec54c33d4162",
                  256
                ]
              },
              {
                "Uint": [
                  "0xcbd3689c140eb13f2c54b26ecd1036edf2bf1d9ec01b8337df04e335f5cb9cf4",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x19058ad247c2b6a67",
    "delay": [
      19406,
      6115
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x929ab5a6ed9474124178c8301c6c8c3dc4bc91aa20e6a158e656e4aaddf4547f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50551,
      55570
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_fulfillRedeemRequests_clamped",
        "args": [
          {
            "Uint": [
              "0x1e847e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77520,
      15724
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x69e2de07a9d785f45f74015e0dde8c25de29f308409554240cc6122cb98c2c1b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42579,
      10649
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setDecimalsOffset",
        "args": [
          {
            "Uint": [
              "0x20",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86549,
      25701
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42182,
      4684
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
          },
          {
            "Uint": [
              "0xa7fe240f454f46b50a5022ec503a9b64527d1a138105edf89731959ba4fb7238",
              256
            ]
          },
          {
            "Uint": [
              "0xf5463c16a5dbca9936d978cf6933bf586d5ae735fcb94d3daee1c4275e952dd2",
              256
            ]
          },
          {
            "Uint": [
              "0x1f91397d47db53b7b43e294d36697d2a085143ccf1db7f3fea6a81095c3f8ee",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48436,
      8769
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43624,
      19185
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          },
          {
            "Uint": [
              "0xffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      191434,
      41158
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x26",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38057,
      11464
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11715,
      8871
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC7540YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69353,
      794
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0xe0",
              8
            ]
          },
          {
            "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
          },
          {
            "Uint": [
              "0x36a1e6c81bc705aa120de04feb2a9bb5c81d2de41662dddb28b6bd071483c703",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47478,
      23549
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_moreClaimableThanHeldDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81539,
      50940
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switchActor",
        "args": [
          {
            "Uint": [
              "0x298ffcfc4261fb16145854dcd8a6b56c507935099b650caf0caccfc0b0d8bad0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1555,
      19127
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeVaultFeeConfigUpdate",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44090,
      21484
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          },
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24526,
      38661
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
          },
          {
            "Uint": [
              "0xb6e66cf7d4ec565dbcb4e15017f1966223eebf330cc6b24da811e2574df7ec01",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30171,
      2804
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepPaymentsChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4194,
      520
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0x4",
              256
            ]
          },
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78571,
      8556
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13607,
      29274
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x31",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4834,
      42835
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_3",
        "args": [
          {
            "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13460,
      12711
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x3eb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2131,
      5703
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Deposit",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      337275,
      671
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54049,
      14950
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0xa0055905e39466e1cb08f3548304f61f094d399d22d0a28d40704a5a3a67aa0b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19144,
      6598
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67633,
      57737
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_addSecondaryManager",
        "args": [
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          },
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      366001,
      9122
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_3",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12125,
      20388
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33483,
      40380
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x22a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13607,
      15062
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_6",
        "args": [
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13944,
      24147
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15919,
      9305
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
          },
          {
            "Uint": [
              "0xa7a75d4597bb449f1fa977ccac65df6ca22c700c49cba3e3fe4c9fb40204e5e4",
              256
            ]
          },
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          },
          {
            "Uint": [
              "0x74e2d993f2d462f865a0a1db108967fece5b05c92234680bede5d16e7a76bd24",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60275,
      32284
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8,
      36982
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_withdrawStake",
        "args": [
          {
            "Uint": [
              "0x100000000000000000000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x2c4de143b855f4159",
    "delay": [
      13879,
      57447
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      535053,
      8670
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeVaultFeeConfigUpdate",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27224,
      34521
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
                  },
                  {
                    "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
                  },
                  {
                    "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
                  },
                  {
                    "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
                  },
                  {
                    "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
                  },
                  {
                    "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
                  },
                  {
                    "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
                  },
                  {
                    "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "Bytes": [
                          186,
                          250,
                          62,
                          62,
                          232,
                          156,
                          66,
                          58,
                          16,
                          251,
                          38,
                          50,
                          144,
                          115,
                          252,
                          250,
                          48,
                          118,
                          70,
                          147,
                          39,
                          175,
                          166,
                          138,
                          55,
                          105,
                          138,
                          184,
                          224
                        ]
                      },
                      {
                        "Bytes": [
                          84,
                          221,
                          255,
                          37,
                          213,
                          136,
                          204,
                          204,
                          216
                        ]
                      },
                      {
                        "Bytes": [
                          209,
                          175,
                          201
                        ]
                      },
                      {
                        "Bytes": [
                          59,
                          209,
                          221,
                          148,
                          139,
                          48,
                          171,
                          213,
                          50,
                          57
                        ]
                      },
                      {
                        "Bytes": [
                          137,
                          159,
                          47,
                          120,
                          119,
                          226,
                          67,
                          243,
                          6,
                          170,
                          245,
                          9,
                          185,
                          130,
                          102,
                          102,
                          163,
                          238,
                          166,
                          37,
                          100,
                          49,
                          34,
                          58,
                          246,
                          189,
                          182,
                          212
                        ]
                      },
                      {
                        "Bytes": [
                          47,
                          7,
                          91,
                          238,
                          228,
                          130,
                          11,
                          196,
                          93,
                          119
                        ]
                      },
                      {
                        "Bytes": [
                          58,
                          170,
                          133,
                          16,
                          171,
                          215,
                          227,
                          81,
                          153,
                          55,
                          46,
                          211,
                          153,
                          205,
                          189,
                          19,
                          87,
                          50,
                          191,
                          67,
                          144,
                          9,
                          218,
                          164,
                          162,
                          63,
                          79,
                          203,
                          2,
                          139
                        ]
                      },
                      {
                        "Bytes": [
                          35,
                          3,
                          217,
                          95,
                          208,
                          248,
                          168,
                          222,
                          158,
                          99,
                          74,
                          74,
                          56,
                          153,
                          166,
                          171,
                          2,
                          10,
                          60,
                          187,
                          60,
                          166,
                          180,
                          81,
                          65,
                          0,
                          201,
                          34,
                          58,
                          200
                        ]
                      },
                      {
                        "Bytes": [
                          189,
                          151,
                          15,
                          192,
                          230,
                          45,
                          11,
                          78,
                          246,
                          23
                        ]
                      },
                      {
                        "Bytes": [
                          143,
                          254,
                          112,
                          98,
                          184,
                          183,
                          35,
                          6,
                          54,
                          131,
                          148,
                          154,
                          162,
                          150,
                          221,
                          197,
                          181
                        ]
                      },
                      {
                        "Bytes": [
                          199,
                          58,
                          61,
                          47,
                          240,
                          213,
                          122,
                          95,
                          39,
                          46,
                          96,
                          255
                        ]
                      },
                      {
                        "Bytes": [
                          82,
                          62,
                          252,
                          203
                        ]
                      },
                      {
                        "Bytes": [
                          119,
                          223,
                          175,
                          151,
                          122,
                          50,
                          116
                        ]
                      },
                      {
                        "Bytes": [
                          176,
                          44,
                          145,
                          47,
                          40,
                          65,
                          152,
                          166,
                          8,
                          112,
                          166,
                          62,
                          163,
                          134,
                          251,
                          83,
                          79,
                          85,
                          64,
                          112,
                          171
                        ]
                      },
                      {
                        "Bytes": [
                          113,
                          71,
                          237,
                          168,
                          174,
                          186,
                          124,
                          216,
                          43,
                          147,
                          187,
                          13,
                          225,
                          145,
                          8,
                          4,
                          52
                        ]
                      },
                      {
                        "Bytes": [
                          84,
                          32,
                          50,
                          194,
                          189,
                          226,
                          221
                        ]
                      },
                      {
                        "Bytes": [
                          94,
                          55,
                          0,
                          22,
                          94,
                          177,
                          68,
                          81
                        ]
                      },
                      {
                        "Bytes": [
                          221,
                          200,
                          6,
                          143,
                          251
                        ]
                      },
                      {
                        "Bytes": [
                          101,
                          148,
                          240,
                          156,
                          252,
                          185,
                          182,
                          221,
                          253,
                          13,
                          127,
                          140,
                          17,
                          166,
                          37,
                          50,
                          38,
                          207,
                          20,
                          219,
                          246,
                          188,
                          203,
                          40,
                          212
                        ]
                      },
                      {
                        "Bytes": [
                          73,
                          178,
                          37,
                          135,
                          7,
                          82,
                          166,
                          10,
                          185,
                          156,
                          215,
                          16,
                          119,
                          12,
                          66,
                          231,
                          76
                        ]
                      },
                      {
                        "Bytes": [
                          95,
                          190,
                          186,
                          158,
                          40,
                          144,
                          176,
                          124,
                          57,
                          61,
                          39,
                          169,
                          221,
                          190
                        ]
                      },
                      {
                        "Bytes": [
                          16,
                          157,
                          127,
                          96,
                          18,
                          52,
                          152,
                          198,
                          92,
                          134,
                          161,
                          11,
                          242,
                          181,
                          228,
                          50,
                          219,
                          89,
                          160,
                          124,
                          71
                        ]
                      },
                      {
                        "Bytes": [
                          1,
                          255,
                          36,
                          167,
                          44,
                          10,
                          138,
                          225,
                          201,
                          123,
                          98,
                          64,
                          157,
                          252
                        ]
                      },
                      {
                        "Bytes": [
                          45,
                          42,
                          43,
                          168,
                          84,
                          148,
                          241,
                          116,
                          241,
                          137,
                          234,
                          186,
                          85,
                          122
                        ]
                      },
                      {
                        "Bytes": [
                          77,
                          193,
                          81,
                          114,
                          42,
                          39,
                          139,
                          27,
                          87,
                          30,
                          103,
                          108,
                          140,
                          219,
                          165,
                          52,
                          84,
                          220,
                          171,
                          150
                        ]
                      },
                      {
                        "Bytes": [
                          173,
                          201,
                          220,
                          52,
                          117,
                          88,
                          206,
                          37,
                          44,
                          136,
                          149,
                          224,
                          77,
                          186
                        ]
                      },
                      {
                        "Bytes": [
                          12,
                          46,
                          6,
                          105,
                          131,
                          222,
                          15,
                          209
                        ]
                      },
                      {
                        "Bytes": [
                          84,
                          165,
                          78,
                          241,
                          175,
                          146,
                          176,
                          226,
                          245,
                          227,
                          66
                        ]
                      },
                      {
                        "Bytes": [
                          199,
                          137,
                          123,
                          82,
                          50,
                          47,
                          115,
                          74,
                          52,
                          51,
                          209,
                          113,
                          47,
                          23,
                          229,
                          30,
                          135
                        ]
                      },
                      {
                        "Bytes": [
                          11,
                          79,
                          166,
                          227,
                          224,
                          220,
                          5,
                          217,
                          56,
                          11,
                          139,
                          98,
                          149,
                          10,
                          125
                        ]
                      },
                      {
                        "Bytes": [
                          99,
                          46,
                          97,
                          25,
                          57,
                          59,
                          209,
                          141,
                          185
                        ]
                      },
                      {
                        "Bytes": [
                          239,
                          14,
                          199,
                          54,
                          178,
                          31,
                          109,
                          136,
                          181,
                          40,
                          211,
                          196,
                          236,
                          26,
                          60,
                          151,
                          130,
                          19,
                          34,
                          121
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          199,
                          157,
                          163,
                          120,
                          169,
                          43,
                          117,
                          138,
                          115,
                          81,
                          224,
                          7,
                          90,
                          93,
                          103,
                          91,
                          33,
                          61,
                          132,
                          146,
                          18,
                          35,
                          177,
                          31,
                          156,
                          236,
                          237,
                          236,
                          140,
                          188,
                          96,
                          191
                        ]
                      },
                      {
                        "Bytes": [
                          224,
                          93,
                          25,
                          103,
                          211,
                          137,
                          224,
                          148,
                          19,
                          16,
                          252,
                          3,
                          162,
                          208,
                          214,
                          163,
                          135
                        ]
                      },
                      {
                        "Bytes": [
                          171,
                          247,
                          229,
                          236,
                          56,
                          228,
                          91,
                          254,
                          240,
                          50,
                          254,
                          217,
                          129,
                          42,
                          137,
                          33,
                          143,
                          240,
                          73,
                          172,
                          50,
                          44,
                          6,
                          96
                        ]
                      },
                      {
                        "Bytes": [
                          60,
                          153,
                          179,
                          100,
                          51,
                          83,
                          72,
                          30,
                          156,
                          17,
                          171,
                          161,
                          43,
                          255,
                          150,
                          82,
                          48,
                          56,
                          224,
                          228,
                          53,
                          105,
                          116,
                          14,
                          36,
                          194
                        ]
                      },
                      {
                        "Bytes": [
                          70,
                          128
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          90,
                          165,
                          198,
                          245,
                          94,
                          195,
                          234
                        ]
                      },
                      {
                        "Bytes": [
                          45
                        ]
                      },
                      {
                        "Bytes": [
                          171,
                          115,
                          96,
                          81,
                          181,
                          57,
                          196,
                          204,
                          147
                        ]
                      },
                      {
                        "Bytes": [
                          149,
                          3
                        ]
                      },
                      {
                        "Bytes": [
                          63,
                          233,
                          0,
                          60,
                          143,
                          229,
                          216,
                          127,
                          50,
                          226,
                          219,
                          75,
                          233,
                          238,
                          119,
                          42,
                          12,
                          249,
                          128,
                          207,
                          99,
                          250,
                          26,
                          244,
                          53,
                          196
                        ]
                      },
                      {
                        "Bytes": [
                          139,
                          161,
                          101,
                          202,
                          147,
                          100,
                          191,
                          125,
                          25,
                          100,
                          222,
                          234,
                          206,
                          200,
                          173
                        ]
                      },
                      {
                        "Bytes": [
                          64,
                          208,
                          216,
                          48,
                          170
                        ]
                      },
                      {
                        "Bytes": [
                          14,
                          44,
                          185,
                          212,
                          188,
                          16,
                          160,
                          138,
                          235,
                          142,
                          168,
                          121,
                          145,
                          215,
                          17,
                          5,
                          173,
                          97,
                          94,
                          37,
                          200,
                          126,
                          227,
                          239,
                          205,
                          108,
                          176,
                          190,
                          109,
                          187
                        ]
                      },
                      {
                        "Bytes": [
                          73,
                          214,
                          33
                        ]
                      },
                      {
                        "Bytes": [
                          16,
                          224,
                          187,
                          151,
                          172,
                          88,
                          55,
                          160
                        ]
                      },
                      {
                        "Bytes": [
                          27,
                          1,
                          10,
                          234,
                          42,
                          9,
                          87,
                          131,
                          192,
                          240,
                          84,
                          97,
                          99,
                          198,
                          87
                        ]
                      },
                      {
                        "Bytes": [
                          74,
                          240,
                          200,
                          234,
                          117,
                          40,
                          84,
                          197,
                          61,
                          218,
                          170,
                          102,
                          199,
                          125,
                          10,
                          105,
                          43,
                          228,
                          150,
                          174,
                          139,
                          183,
                          6,
                          204,
                          208
                        ]
                      },
                      {
                        "Bytes": [
                          55,
                          254,
                          106,
                          211,
                          43,
                          126,
                          223,
                          81,
                          243,
                          214,
                          13,
                          182,
                          111,
                          107,
                          3,
                          82,
                          43,
                          40,
                          107,
                          121,
                          81,
                          13,
                          151,
                          126
                        ]
                      },
                      {
                        "Bytes": [
                          9,
                          33,
                          17,
                          249,
                          188,
                          141,
                          119,
                          133,
                          106,
                          88,
                          27,
                          21,
                          129,
                          214,
                          42,
                          103,
                          145
                        ]
                      },
                      {
                        "Bytes": [
                          239,
                          169,
                          244,
                          36,
                          82,
                          77,
                          78,
                          244,
                          7,
                          189,
                          232,
                          174,
                          240,
                          170,
                          69,
                          205,
                          188,
                          22,
                          110,
                          53,
                          234,
                          217,
                          235
                        ]
                      },
                      {
                        "Bytes": [
                          80,
                          75,
                          2,
                          106,
                          63,
                          161
                        ]
                      },
                      {
                        "Bytes": [
                          43,
                          4,
                          194,
                          122,
                          95,
                          197,
                          248,
                          190,
                          203,
                          251,
                          127,
                          216,
                          209,
                          153,
                          124,
                          184,
                          198,
                          229,
                          26,
                          253,
                          139,
                          192,
                          73,
                          27
                        ]
                      },
                      {
                        "Bytes": [
                          58,
                          176,
                          83,
                          61,
                          230,
                          217,
                          15,
                          243,
                          90,
                          107,
                          155,
                          130
                        ]
                      },
                      {
                        "Bytes": [
                          48,
                          51,
                          244,
                          230,
                          59,
                          187,
                          11,
                          107,
                          226,
                          27,
                          249
                        ]
                      },
                      {
                        "Bytes": [
                          155,
                          19
                        ]
                      },
                      {
                        "Bytes": [
                          230,
                          14,
                          70,
                          18,
                          60,
                          63,
                          163,
                          60,
                          181,
                          14,
                          196,
                          92,
                          3,
                          117,
                          232,
                          176,
                          128,
                          220,
                          91,
                          99,
                          70,
                          221,
                          3,
                          242,
                          4,
                          91,
                          35,
                          180,
                          136,
                          184,
                          0,
                          33
                        ]
                      },
                      {
                        "Bytes": [
                          159,
                          10,
                          164,
                          199,
                          242,
                          61,
                          136,
                          93,
                          125,
                          229,
                          112,
                          217,
                          79,
                          183,
                          136,
                          154,
                          234,
                          96,
                          22,
                          52
                        ]
                      },
                      {
                        "Bytes": [
                          123,
                          125,
                          25,
                          239,
                          47,
                          111,
                          70,
                          176,
                          229,
                          127,
                          109,
                          151,
                          1,
                          164,
                          75,
                          55,
                          204,
                          201,
                          49,
                          82,
                          51,
                          28,
                          208,
                          40,
                          58
                        ]
                      },
                      {
                        "Bytes": [
                          202,
                          91,
                          218,
                          139,
                          30,
                          31,
                          74
                        ]
                      },
                      {
                        "Bytes": [
                          184,
                          97,
                          131,
                          226,
                          16,
                          29,
                          161,
                          213,
                          40,
                          230,
                          143,
                          56,
                          58,
                          223,
                          65,
                          29,
                          195,
                          125,
                          68,
                          60,
                          94,
                          108
                        ]
                      },
                      {
                        "Bytes": [
                          72,
                          62,
                          20,
                          119,
                          120,
                          31,
                          209,
                          95,
                          66,
                          235,
                          191,
                          26,
                          134,
                          163,
                          211,
                          240,
                          138,
                          143,
                          58,
                          201,
                          145,
                          117,
                          68,
                          208,
                          89,
                          171
                        ]
                      },
                      {
                        "Bytes": [
                          147,
                          161,
                          206,
                          122,
                          85,
                          121,
                          140,
                          163,
                          246,
                          77,
                          127,
                          203,
                          148,
                          143,
                          229,
                          134,
                          48,
                          149,
                          79,
                          89,
                          168,
                          210,
                          59,
                          126,
                          28,
                          206
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          29,
                          37,
                          109,
                          86,
                          175,
                          89,
                          28,
                          93,
                          93,
                          186,
                          87,
                          203,
                          6,
                          104,
                          142,
                          22,
                          209,
                          150,
                          178
                        ]
                      },
                      {
                        "Bytes": [
                          156,
                          254,
                          182,
                          20,
                          73,
                          128,
                          85,
                          162
                        ]
                      },
                      {
                        "Bytes": [
                          41,
                          79,
                          7,
                          127,
                          251,
                          17,
                          124,
                          96,
                          149,
                          201,
                          43,
                          217,
                          159,
                          246
                        ]
                      },
                      {
                        "Bytes": [
                          186,
                          226,
                          14,
                          87,
                          203,
                          226,
                          90,
                          139,
                          216,
                          95,
                          255,
                          252,
                          122,
                          125,
                          165,
                          241,
                          200,
                          87,
                          68,
                          95,
                          90,
                          150
                        ]
                      },
                      {
                        "Bytes": [
                          129,
                          116,
                          96,
                          40,
                          178,
                          131,
                          142,
                          64,
                          73,
                          205
                        ]
                      },
                      {
                        "Bytes": [
                          165,
                          97,
                          111,
                          205,
                          194,
                          100,
                          100,
                          228,
                          61,
                          119,
                          88,
                          208,
                          39,
                          255,
                          90,
                          117,
                          167,
                          244,
                          167
                        ]
                      },
                      {
                        "Bytes": [
                          26,
                          73,
                          214,
                          76,
                          249
                        ]
                      },
                      {
                        "Bytes": [
                          195,
                          53,
                          1,
                          107,
                          88,
                          150,
                          2,
                          35,
                          56,
                          13,
                          9,
                          204,
                          160,
                          222,
                          238,
                          214,
                          82,
                          92,
                          217,
                          99,
                          32,
                          241,
                          92,
                          195,
                          45,
                          150,
                          75,
                          166,
                          178,
                          62
                        ]
                      },
                      {
                        "Bytes": [
                          248,
                          32,
                          139,
                          20,
                          210,
                          90,
                          62,
                          171,
                          229,
                          224,
                          164,
                          175,
                          70,
                          120,
                          155,
                          136,
                          50,
                          43,
                          63,
                          227
                        ]
                      },
                      {
                        "Bytes": [
                          35,
                          164,
                          251,
                          201,
                          174,
                          127,
                          44,
                          157,
                          118,
                          235,
                          6,
                          107,
                          24,
                          123,
                          204,
                          199,
                          91,
                          36,
                          67,
                          179,
                          215,
                          96,
                          196
                        ]
                      },
                      {
                        "Bytes": [
                          49,
                          154,
                          143,
                          52,
                          171,
                          184,
                          79,
                          3,
                          38,
                          92,
                          198,
                          91,
                          165,
                          153,
                          179,
                          33,
                          127,
                          126,
                          46,
                          100,
                          99
                        ]
                      },
                      {
                        "Bytes": [
                          223,
                          31,
                          230,
                          137,
                          237,
                          63,
                          59,
                          133,
                          82,
                          31,
                          69,
                          106,
                          130,
                          52,
                          225,
                          249,
                          210,
                          73,
                          220
                        ]
                      },
                      {
                        "Bytes": [
                          175,
                          246,
                          42
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          6,
                          193,
                          215,
                          75,
                          7,
                          96,
                          243,
                          133,
                          149,
                          101,
                          215,
                          160,
                          15,
                          79,
                          95,
                          38,
                          35,
                          85,
                          27,
                          62,
                          221,
                          196,
                          116,
                          192,
                          152,
                          35,
                          104,
                          65,
                          112
                        ]
                      },
                      {
                        "Bytes": [
                          192,
                          245,
                          79,
                          186,
                          63,
                          1,
                          9,
                          165,
                          12,
                          237,
                          62,
                          124,
                          91,
                          29,
                          84,
                          20,
                          91,
                          159,
                          226,
                          37,
                          206,
                          173,
                          113,
                          66,
                          49,
                          85
                        ]
                      },
                      {
                        "Bytes": [
                          180,
                          157,
                          235,
                          32,
                          120,
                          2
                        ]
                      },
                      {
                        "Bytes": [
                          178,
                          178,
                          201,
                          87,
                          224,
                          77,
                          215,
                          178,
                          201,
                          114,
                          2,
                          11,
                          117,
                          187,
                          70,
                          8,
                          221,
                          27,
                          232,
                          103,
                          55,
                          252
                        ]
                      },
                      {
                        "Bytes": [
                          181,
                          120,
                          173
                        ]
                      },
                      {
                        "Bytes": [
                          101,
                          132,
                          43,
                          106,
                          117,
                          75,
                          242
                        ]
                      },
                      {
                        "Bytes": [
                          41,
                          53,
                          241,
                          214,
                          143,
                          7,
                          127,
                          5,
                          195,
                          8,
                          146,
                          205,
                          4,
                          78,
                          70
                        ]
                      },
                      {
                        "Bytes": [
                          31,
                          105,
                          2,
                          161,
                          50,
                          214,
                          204,
                          9,
                          54,
                          219,
                          3,
                          240,
                          83,
                          62,
                          73,
                          48,
                          231,
                          208,
                          186,
                          49,
                          210,
                          191,
                          73,
                          4,
                          251,
                          33,
                          64
                        ]
                      },
                      {
                        "Bytes": [
                          223,
                          170,
                          195,
                          100,
                          110,
                          205,
                          66,
                          163,
                          65,
                          162,
                          75,
                          4,
                          148,
                          23,
                          233,
                          71,
                          176,
                          124,
                          211,
                          51,
                          147,
                          43,
                          101,
                          202
                        ]
                      },
                      {
                        "Bytes": [
                          182,
                          173,
                          149,
                          173,
                          240,
                          126,
                          83,
                          12,
                          68,
                          25,
                          104,
                          17,
                          89,
                          151,
                          180,
                          73,
                          133,
                          174,
                          232
                        ]
                      },
                      {
                        "Bytes": [
                          104,
                          70,
                          26,
                          154,
                          8,
                          157,
                          55,
                          6,
                          0,
                          169,
                          224,
                          203,
                          138,
                          133,
                          147
                        ]
                      },
                      {
                        "Bytes": [
                          40,
                          186,
                          182,
                          35,
                          79
                        ]
                      },
                      {
                        "Bytes": [
                          38,
                          158,
                          77,
                          178,
                          197,
                          29,
                          155,
                          212,
                          212,
                          225
                        ]
                      },
                      {
                        "Bytes": [
                          196,
                          101
                        ]
                      },
                      {
                        "Bytes": [
                          139,
                          55,
                          223,
                          21,
                          101,
                          87,
                          228,
                          193,
                          25,
                          105,
                          212,
                          169,
                          55,
                          43,
                          35,
                          207,
                          15,
                          222,
                          233,
                          149,
                          206,
                          223,
                          25,
                          168,
                          156,
                          89,
                          17
                        ]
                      },
                      {
                        "Bytes": [
                          20,
                          235,
                          113,
                          244,
                          228,
                          108,
                          36,
                          148,
                          120,
                          242,
                          27,
                          232
                        ]
                      },
                      {
                        "Bytes": [
                          234,
                          82,
                          126,
                          102,
                          145,
                          64,
                          111,
                          95
                        ]
                      },
                      {
                        "Bytes": [
                          173,
                          185,
                          71,
                          84,
                          120,
                          48,
                          107,
                          251,
                          219,
                          158,
                          175,
                          129,
                          212,
                          48,
                          227,
                          11,
                          87,
                          73
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          180,
                          173,
                          68,
                          33,
                          242,
                          65,
                          117,
                          79,
                          1,
                          106,
                          68,
                          120,
                          251,
                          198,
                          61,
                          165,
                          187,
                          84,
                          32,
                          100,
                          117,
                          188,
                          150,
                          207,
                          250,
                          38,
                          6,
                          114
                        ]
                      },
                      {
                        "Bytes": [
                          170,
                          86,
                          91,
                          104,
                          153,
                          63,
                          222,
                          2,
                          168,
                          180,
                          217,
                          24,
                          172,
                          116,
                          136,
                          145,
                          38,
                          134,
                          164,
                          204,
                          189,
                          195,
                          99,
                          148,
                          139,
                          170
                        ]
                      },
                      {
                        "Bytes": [
                          135
                        ]
                      },
                      {
                        "Bytes": [
                          83,
                          185
                        ]
                      },
                      {
                        "Bytes": [
                          146,
                          96,
                          29,
                          109,
                          113
                        ]
                      },
                      {
                        "Bytes": [
                          224,
                          112,
                          161,
                          121,
                          120,
                          165,
                          122,
                          254,
                          151,
                          11,
                          140,
                          174,
                          106,
                          166,
                          136,
                          68,
                          8,
                          190,
                          138,
                          40,
                          249,
                          255,
                          44,
                          149,
                          88,
                          55,
                          136,
                          28,
                          110,
                          122,
                          64
                        ]
                      },
                      {
                        "Bytes": [
                          243,
                          182,
                          87
                        ]
                      },
                      {
                        "Bytes": [
                          13,
                          4,
                          74,
                          61,
                          21,
                          167,
                          174,
                          53,
                          241,
                          149,
                          34
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          79,
                          147,
                          29,
                          79,
                          59,
                          1,
                          139,
                          119,
                          18,
                          178,
                          230,
                          251
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          194,
                          130,
                          122
                        ]
                      },
                      {
                        "Bytes": [
                          74
                        ]
                      },
                      {
                        "Bytes": [
                          66,
                          21,
                          0,
                          172,
                          104,
                          241
                        ]
                      },
                      {
                        "Bytes": [
                          110,
                          21,
                          222,
                          12,
                          233,
                          36,
                          145,
                          189,
                          21,
                          38,
                          92,
                          105,
                          186,
                          118,
                          239,
                          250,
                          95,
                          141,
                          78,
                          184,
                          120,
                          82,
                          194,
                          75,
                          54,
                          194,
                          143,
                          144,
                          195,
                          22,
                          244,
                          167
                        ]
                      },
                      {
                        "Bytes": [
                          98,
                          225,
                          231,
                          237,
                          105,
                          170,
                          252,
                          206,
                          73,
                          105
                        ]
                      },
                      {
                        "Bytes": [
                          47,
                          131,
                          189
                        ]
                      },
                      {
                        "Bytes": [
                          66,
                          121,
                          124,
                          229,
                          6,
                          175,
                          177,
                          147,
                          182,
                          176,
                          34,
                          28,
                          215,
                          120,
                          97,
                          83,
                          54,
                          236,
                          207,
                          97,
                          175,
                          187,
                          206,
                          127,
                          76,
                          190,
                          2,
                          159
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          220,
                          238,
                          163,
                          176,
                          2,
                          152,
                          142,
                          29,
                          132,
                          146,
                          113,
                          188
                        ]
                      },
                      {
                        "Bytes": [
                          253,
                          170,
                          213,
                          194,
                          184,
                          219,
                          203,
                          189,
                          1,
                          198,
                          242,
                          129,
                          193,
                          104,
                          50,
                          5,
                          219
                        ]
                      },
                      {
                        "Bytes": [
                          120,
                          140,
                          71,
                          140,
                          150,
                          155,
                          121,
                          227
                        ]
                      },
                      {
                        "Bytes": [
                          186,
                          16,
                          61,
                          189,
                          251,
                          48,
                          13,
                          237,
                          254,
                          22,
                          250,
                          104,
                          239,
                          11
                        ]
                      },
                      {
                        "Bytes": [
                          138,
                          191,
                          31,
                          0,
                          141,
                          5,
                          18,
                          158,
                          93,
                          115,
                          164,
                          109,
                          38,
                          121,
                          2,
                          189,
                          126,
                          40,
                          16,
                          227,
                          155,
                          156,
                          208,
                          209,
                          212,
                          96,
                          149,
                          150,
                          39,
                          142
                        ]
                      },
                      {
                        "Bytes": [
                          197,
                          234,
                          235,
                          145,
                          56,
                          235,
                          202,
                          122,
                          118,
                          64,
                          63,
                          229,
                          239,
                          5,
                          232,
                          61,
                          202,
                          205,
                          11,
                          9,
                          232,
                          101,
                          80,
                          195
                        ]
                      },
                      {
                        "Bytes": [
                          38,
                          156,
                          233,
                          35,
                          12,
                          4,
                          79,
                          48,
                          209,
                          229,
                          252
                        ]
                      },
                      {
                        "Bytes": [
                          50,
                          208,
                          109,
                          145,
                          27,
                          195,
                          84,
                          112,
                          46,
                          133,
                          92,
                          21,
                          120,
                          140,
                          167,
                          197,
                          187,
                          180
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          151,
                          35,
                          140,
                          196,
                          229,
                          160,
                          251,
                          23,
                          32,
                          113,
                          194,
                          182,
                          166,
                          112,
                          180,
                          235,
                          107,
                          215,
                          30,
                          173,
                          78,
                          251,
                          99,
                          154,
                          97,
                          85
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          194
                        ]
                      },
                      {
                        "Bytes": [
                          216,
                          253,
                          208,
                          63,
                          39,
                          114,
                          12,
                          216,
                          25,
                          249,
                          155,
                          51,
                          91,
                          118,
                          94,
                          99,
                          124
                        ]
                      },
                      {
                        "Bytes": [
                          79,
                          117,
                          235,
                          77,
                          33,
                          97,
                          221
                        ]
                      },
                      {
                        "Bytes": [
                          6,
                          170,
                          71,
                          224,
                          227,
                          245,
                          11,
                          82,
                          84,
                          21,
                          151,
                          190,
                          46,
                          50
                        ]
                      },
                      {
                        "Bytes": [
                          208,
                          232,
                          7,
                          252
                        ]
                      },
                      {
                        "Bytes": [
                          83,
                          45,
                          71
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          135,
                          111,
                          223,
                          244,
                          243,
                          160,
                          18,
                          103,
                          147,
                          214,
                          190,
                          117,
                          98,
                          97,
                          235,
                          185,
                          93,
                          210,
                          55,
                          175,
                          111,
                          218,
                          61,
                          222,
                          66,
                          248
                        ]
                      },
                      {
                        "Bytes": [
                          108,
                          92,
                          21,
                          18,
                          252
                        ]
                      },
                      {
                        "Bytes": [
                          55,
                          5,
                          3,
                          121,
                          24,
                          232
                        ]
                      },
                      {
                        "Bytes": [
                          62,
                          170,
                          142,
                          251,
                          135,
                          78,
                          115,
                          55,
                          109,
                          74,
                          64,
                          55,
                          100,
                          27,
                          16,
                          156,
                          152,
                          153,
                          16,
                          213,
                          110,
                          237,
                          158,
                          75,
                          139
                        ]
                      },
                      {
                        "Bytes": [
                          70,
                          1,
                          27,
                          250,
                          247,
                          166
                        ]
                      },
                      {
                        "Bytes": [
                          137,
                          19,
                          129,
                          42,
                          190,
                          180,
                          23,
                          143,
                          176,
                          210,
                          26,
                          99,
                          198,
                          36,
                          52,
                          245,
                          121,
                          201,
                          39,
                          198
                        ]
                      },
                      {
                        "Bytes": [
                          236,
                          163,
                          157,
                          145,
                          95,
                          250,
                          139,
                          21,
                          137,
                          159,
                          118,
                          109,
                          218,
                          7,
                          51,
                          132,
                          232,
                          48,
                          101,
                          219,
                          41,
                          248,
                          79,
                          219
                        ]
                      },
                      {
                        "Bytes": [
                          162,
                          59,
                          226,
                          46,
                          22,
                          133,
                          82,
                          37,
                          203,
                          38,
                          229,
                          24,
                          89,
                          45,
                          33,
                          55,
                          2,
                          250,
                          167,
                          225,
                          155,
                          197,
                          125,
                          150,
                          209,
                          87,
                          219,
                          33,
                          244,
                          10
                        ]
                      },
                      {
                        "Bytes": [
                          44,
                          198,
                          246,
                          220,
                          227,
                          123
                        ]
                      },
                      {
                        "Bytes": [
                          239,
                          171,
                          23,
                          173,
                          142,
                          199,
                          26,
                          240,
                          19,
                          10,
                          191,
                          69,
                          253,
                          216,
                          175,
                          111,
                          115,
                          213,
                          64,
                          254,
                          9,
                          75,
                          217,
                          50,
                          139,
                          193
                        ]
                      },
                      {
                        "Bytes": [
                          107,
                          145,
                          83,
                          210,
                          163,
                          68,
                          195
                        ]
                      },
                      {
                        "Bytes": [
                          32,
                          242,
                          201,
                          219,
                          174,
                          190,
                          40,
                          31,
                          53,
                          178,
                          153,
                          201,
                          121
                        ]
                      },
                      {
                        "Bytes": [
                          170,
                          169
                        ]
                      },
                      {
                        "Bytes": [
                          53,
                          227
                        ]
                      },
                      {
                        "Bytes": [
                          188,
                          164,
                          209,
                          92,
                          139,
                          146,
                          130,
                          50,
                          9
                        ]
                      },
                      {
                        "Bytes": [
                          228,
                          105,
                          184,
                          132,
                          15,
                          97,
                          80,
                          172,
                          37,
                          42,
                          12,
                          86,
                          68,
                          210,
                          194,
                          224,
                          14,
                          242,
                          226,
                          167,
                          34
                        ]
                      },
                      {
                        "Bytes": [
                          171,
                          140,
                          176,
                          180,
                          239,
                          234,
                          173,
                          166,
                          221,
                          0,
                          64,
                          93,
                          83,
                          68,
                          88,
                          160,
                          53,
                          47,
                          180
                        ]
                      },
                      {
                        "Bytes": [
                          212,
                          134,
                          50,
                          193,
                          220,
                          214,
                          127,
                          213,
                          207,
                          107,
                          174,
                          189,
                          177,
                          4,
                          120
                        ]
                      },
                      {
                        "Bytes": [
                          233,
                          187,
                          68,
                          115,
                          189,
                          227,
                          52,
                          227
                        ]
                      },
                      {
                        "Bytes": [
                          231,
                          192,
                          62,
                          225,
                          158,
                          94,
                          106,
                          150,
                          4,
                          123,
                          122,
                          109,
                          183,
                          240,
                          127,
                          89,
                          83,
                          209,
                          89,
                          21,
                          30,
                          47,
                          251,
                          103,
                          219,
                          17,
                          23,
                          94,
                          237
                        ]
                      },
                      {
                        "Bytes": [
                          126,
                          7,
                          13,
                          54,
                          36,
                          42,
                          229,
                          201,
                          24,
                          161
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          249,
                          251,
                          140,
                          83,
                          203,
                          146
                        ]
                      },
                      {
                        "Bytes": [
                          205,
                          206,
                          248,
                          83,
                          155,
                          140,
                          233,
                          236,
                          184,
                          151,
                          18,
                          64,
                          46,
                          165,
                          16,
                          1
                        ]
                      },
                      {
                        "Bytes": [
                          150,
                          20,
                          17,
                          18,
                          221,
                          190,
                          213,
                          212,
                          125
                        ]
                      },
                      {
                        "Bytes": [
                          56,
                          253,
                          221,
                          218,
                          95,
                          172,
                          95,
                          0,
                          65,
                          150,
                          230,
                          159,
                          136,
                          18,
                          28,
                          136,
                          90,
                          125,
                          180,
                          26,
                          230,
                          142,
                          52,
                          97,
                          147
                        ]
                      },
                      {
                        "Bytes": [
                          231,
                          160,
                          6,
                          22,
                          23,
                          169,
                          69,
                          16,
                          193,
                          9,
                          222,
                          151,
                          81,
                          61,
                          236,
                          250,
                          23,
                          13,
                          217,
                          4
                        ]
                      },
                      {
                        "Bytes": [
                          175
                        ]
                      },
                      {
                        "Bytes": [
                          248,
                          152,
                          85,
                          65,
                          186,
                          140,
                          227,
                          73,
                          129,
                          88,
                          249,
                          24,
                          154,
                          224,
                          174,
                          135,
                          202,
                          241
                        ]
                      },
                      {
                        "Bytes": [
                          246,
                          82,
                          75,
                          23,
                          91
                        ]
                      },
                      {
                        "Bytes": [
                          167,
                          150,
                          167,
                          15,
                          46,
                          45,
                          8,
                          139,
                          99,
                          11,
                          208,
                          114
                        ]
                      },
                      {
                        "Bytes": [
                          128,
                          169,
                          111,
                          172,
                          59,
                          179,
                          156,
                          32,
                          188,
                          66,
                          208,
                          97,
                          217,
                          224,
                          59,
                          163,
                          179,
                          85,
                          168,
                          11,
                          10,
                          144,
                          46,
                          201,
                          90
                        ]
                      },
                      {
                        "Bytes": [
                          200,
                          218,
                          105,
                          75,
                          70
                        ]
                      },
                      {
                        "Bytes": [
                          202,
                          152,
                          164,
                          5,
                          143,
                          103,
                          251,
                          186,
                          245,
                          253,
                          111,
                          23,
                          69,
                          24,
                          30,
                          63,
                          82,
                          169,
                          37,
                          103
                        ]
                      },
                      {
                        "Bytes": [
                          75,
                          158,
                          107,
                          103,
                          37,
                          209,
                          189,
                          55,
                          62,
                          243,
                          169,
                          133,
                          194,
                          221,
                          69,
                          138
                        ]
                      },
                      {
                        "Bytes": [
                          243,
                          83,
                          29,
                          33,
                          9,
                          158,
                          34,
                          43,
                          251,
                          135,
                          86
                        ]
                      },
                      {
                        "Bytes": [
                          155,
                          14,
                          204,
                          177,
                          167,
                          3,
                          181,
                          233,
                          148,
                          61,
                          244,
                          162,
                          151,
                          159,
                          189,
                          248,
                          250,
                          239,
                          45,
                          221,
                          184,
                          68
                        ]
                      },
                      {
                        "Bytes": [
                          227,
                          167,
                          79,
                          46,
                          213,
                          222,
                          28,
                          199,
                          194,
                          141,
                          128,
                          118,
                          203,
                          180,
                          197,
                          17,
                          217,
                          19,
                          107,
                          186,
                          236,
                          119,
                          204,
                          190,
                          91,
                          231,
                          123
                        ]
                      },
                      {
                        "Bytes": [
                          211,
                          221,
                          166
                        ]
                      },
                      {
                        "Bytes": [
                          253
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          71,
                          236,
                          129,
                          30
                        ]
                      },
                      {
                        "Bytes": [
                          88,
                          92,
                          56,
                          145,
                          20,
                          155,
                          161,
                          17,
                          72,
                          47,
                          65,
                          234,
                          116,
                          113,
                          161,
                          154,
                          209,
                          208,
                          53,
                          24,
                          40,
                          195,
                          174
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          128,
                          85,
                          253,
                          234,
                          40,
                          251,
                          215
                        ]
                      },
                      {
                        "Bytes": [
                          51,
                          4,
                          251,
                          177,
                          77,
                          8,
                          213,
                          149,
                          182,
                          74,
                          73,
                          239
                        ]
                      },
                      {
                        "Bytes": [
                          127,
                          228,
                          92,
                          219,
                          205
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          21
                        ]
                      },
                      {
                        "Bytes": [
                          96,
                          53,
                          189,
                          21,
                          73,
                          157
                        ]
                      },
                      {
                        "Bytes": [
                          183,
                          97,
                          65,
                          27,
                          188,
                          244,
                          215,
                          57,
                          66,
                          138,
                          203,
                          249,
                          47,
                          13,
                          97,
                          55,
                          184,
                          217,
                          190,
                          146,
                          164,
                          158,
                          7,
                          177,
                          16,
                          196,
                          204,
                          78
                        ]
                      },
                      {
                        "Bytes": [
                          183,
                          170,
                          210,
                          111,
                          187,
                          50,
                          54,
                          156,
                          179,
                          143
                        ]
                      },
                      {
                        "Bytes": [
                          95,
                          60,
                          184,
                          21,
                          48,
                          61,
                          115,
                          235,
                          147
                        ]
                      },
                      {
                        "Bytes": [
                          219,
                          217,
                          149,
                          210,
                          76,
                          8,
                          171,
                          184,
                          166,
                          175,
                          109,
                          16,
                          137,
                          120,
                          107,
                          69,
                          78,
                          127,
                          47,
                          185,
                          134,
                          166,
                          198,
                          76,
                          214,
                          115
                        ]
                      },
                      {
                        "Bytes": [
                          219,
                          203,
                          214,
                          85,
                          145,
                          247,
                          135,
                          174,
                          252,
                          58,
                          233,
                          235,
                          53,
                          175,
                          169,
                          98,
                          180,
                          212,
                          134,
                          141,
                          70,
                          2,
                          168,
                          4,
                          66,
                          65,
                          136
                        ]
                      },
                      {
                        "Bytes": [
                          98,
                          88,
                          164,
                          15,
                          14,
                          67,
                          246,
                          142,
                          138,
                          245,
                          157
                        ]
                      },
                      {
                        "Bytes": [
                          183,
                          3
                        ]
                      },
                      {
                        "Bytes": [
                          255,
                          168,
                          197,
                          235,
                          21,
                          185,
                          113,
                          34,
                          101,
                          186,
                          218,
                          113,
                          216,
                          56,
                          126,
                          106,
                          94,
                          120,
                          84,
                          113,
                          144,
                          236
                        ]
                      },
                      {
                        "Bytes": [
                          199,
                          155,
                          33,
                          44,
                          119,
                          76,
                          59,
                          61,
                          188,
                          131,
                          186,
                          156,
                          244,
                          145,
                          57,
                          58
                        ]
                      },
                      {
                        "Bytes": [
                          53,
                          70,
                          15,
                          209,
                          4,
                          255,
                          235,
                          248,
                          56,
                          167,
                          235,
                          98,
                          73,
                          120,
                          243,
                          134,
                          106,
                          240,
                          219,
                          38,
                          58,
                          18,
                          55,
                          82,
                          254,
                          120,
                          154
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          140,
                          230,
                          229,
                          173,
                          116,
                          25,
                          228,
                          41,
                          187,
                          84,
                          125,
                          19,
                          59,
                          254,
                          61,
                          169,
                          131,
                          164,
                          44,
                          77,
                          61,
                          104,
                          246,
                          149,
                          79,
                          94,
                          190,
                          122,
                          140,
                          236,
                          184,
                          144
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          127,
                          0,
                          19,
                          237,
                          202,
                          122,
                          181,
                          66,
                          122,
                          247,
                          134,
                          45,
                          9,
                          188,
                          125,
                          169,
                          118,
                          2,
                          130
                        ]
                      },
                      {
                        "Bytes": [
                          11,
                          191,
                          222,
                          159,
                          82
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          199,
                          44,
                          152,
                          123,
                          29,
                          121,
                          22,
                          20,
                          221,
                          230,
                          162,
                          247,
                          187,
                          32,
                          175,
                          175,
                          239
                        ]
                      },
                      {
                        "Bytes": [
                          174,
                          163,
                          191,
                          147,
                          186,
                          161,
                          225,
                          0,
                          10,
                          79
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          78,
                          39,
                          95,
                          72,
                          35,
                          55,
                          71,
                          51,
                          53,
                          247,
                          185,
                          162,
                          100,
                          158,
                          5,
                          153,
                          77,
                          160,
                          89,
                          67,
                          97,
                          238
                        ]
                      },
                      {
                        "Bytes": [
                          91,
                          50,
                          212,
                          238,
                          215,
                          105,
                          121,
                          208,
                          169,
                          55,
                          42,
                          183,
                          115,
                          131,
                          84,
                          162,
                          225,
                          27,
                          3,
                          133,
                          233,
                          239,
                          113,
                          179,
                          226,
                          26,
                          92,
                          165,
                          202,
                          22,
                          159
                        ]
                      },
                      {
                        "Bytes": [
                          132,
                          215,
                          35,
                          148,
                          94,
                          29,
                          97,
                          70,
                          204,
                          151,
                          207,
                          160,
                          100,
                          234,
                          1
                        ]
                      },
                      {
                        "Bytes": [
                          226,
                          31,
                          170,
                          48,
                          172,
                          45,
                          67,
                          35,
                          146,
                          57,
                          101,
                          232,
                          46,
                          201
                        ]
                      },
                      {
                        "Bytes": [
                          226,
                          10,
                          42,
                          24,
                          20,
                          175,
                          212,
                          113,
                          174,
                          7,
                          5,
                          59,
                          29,
                          11,
                          249,
                          126
                        ]
                      },
                      {
                        "Bytes": [
                          190,
                          87,
                          75,
                          94,
                          225,
                          150,
                          132,
                          140,
                          127,
                          202,
                          176,
                          126,
                          39,
                          11,
                          176
                        ]
                      },
                      {
                        "Bytes": [
                          202,
                          122,
                          224,
                          0,
                          133,
                          148,
                          213,
                          116,
                          155,
                          78,
                          141,
                          86,
                          29,
                          141
                        ]
                      },
                      {
                        "Bytes": [
                          138,
                          41,
                          35,
                          95,
                          231,
                          136,
                          172,
                          235,
                          85,
                          76,
                          246,
                          90,
                          88,
                          245,
                          9,
                          99,
                          119,
                          184,
                          249
                        ]
                      },
                      {
                        "Bytes": [
                          53,
                          230,
                          248,
                          18,
                          113,
                          4,
                          156,
                          211,
                          216,
                          107,
                          64,
                          248,
                          109,
                          27,
                          120,
                          68,
                          134,
                          20,
                          48,
                          207,
                          38,
                          97,
                          250,
                          133,
                          121,
                          219,
                          255
                        ]
                      },
                      {
                        "Bytes": [
                          180,
                          112,
                          110,
                          253,
                          73,
                          232,
                          160,
                          3,
                          223,
                          227,
                          7,
                          86,
                          17,
                          69,
                          248,
                          243,
                          15,
                          42,
                          48
                        ]
                      },
                      {
                        "Bytes": [
                          94,
                          118,
                          182,
                          162,
                          248,
                          71,
                          10,
                          242,
                          48,
                          196,
                          57,
                          235
                        ]
                      },
                      {
                        "Bytes": [
                          58,
                          65,
                          167,
                          242,
                          52,
                          206,
                          36,
                          52,
                          24,
                          255,
                          249,
                          84,
                          185,
                          146,
                          109
                        ]
                      },
                      {
                        "Bytes": [
                          183,
                          250,
                          116,
                          189
                        ]
                      },
                      {
                        "Bytes": [
                          170,
                          114,
                          255,
                          33,
                          127,
                          95,
                          14,
                          153,
                          141,
                          244,
                          93,
                          161,
                          17,
                          14,
                          249,
                          248,
                          128,
                          22,
                          156
                        ]
                      },
                      {
                        "Bytes": [
                          107,
                          16,
                          60,
                          155,
                          254,
                          156,
                          41,
                          61,
                          14,
                          4,
                          125,
                          122,
                          51,
                          13,
                          100,
                          23,
                          96,
                          35,
                          202,
                          34,
                          172,
                          119,
                          236,
                          77,
                          245,
                          230,
                          124,
                          122,
                          173,
                          190,
                          248,
                          178
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          32,
                          225,
                          135,
                          167,
                          174,
                          67,
                          171,
                          254,
                          250,
                          239,
                          201,
                          223,
                          182,
                          72,
                          41,
                          79,
                          12,
                          189,
                          75,
                          101,
                          147,
                          64
                        ]
                      },
                      {
                        "Bytes": [
                          115,
                          67
                        ]
                      },
                      {
                        "Bytes": [
                          180,
                          43,
                          218,
                          238,
                          18,
                          21,
                          242,
                          145,
                          32,
                          8,
                          108,
                          70,
                          72,
                          221,
                          109,
                          150,
                          34,
                          41,
                          252,
                          128,
                          67,
                          97,
                          184,
                          129,
                          42
                        ]
                      },
                      {
                        "Bytes": [
                          55,
                          71,
                          208,
                          148,
                          41,
                          63,
                          39,
                          223,
                          108,
                          41,
                          0,
                          126,
                          56,
                          81,
                          122,
                          211,
                          53,
                          108,
                          127,
                          83,
                          141,
                          216
                        ]
                      },
                      {
                        "Bytes": [
                          59,
                          80,
                          178,
                          15,
                          207,
                          254,
                          114,
                          127
                        ]
                      },
                      {
                        "Bytes": [
                          244,
                          97,
                          17,
                          99,
                          216,
                          208,
                          147,
                          118,
                          18,
                          168,
                          220,
                          34
                        ]
                      },
                      {
                        "Bytes": [
                          38,
                          252,
                          239,
                          64,
                          242,
                          205,
                          29,
                          158,
                          100,
                          147,
                          178,
                          178,
                          92,
                          119,
                          74,
                          24,
                          95,
                          174,
                          61,
                          103,
                          220,
                          49,
                          167,
                          16,
                          218,
                          203,
                          201
                        ]
                      },
                      {
                        "Bytes": [
                          191,
                          239,
                          122
                        ]
                      },
                      {
                        "Bytes": [
                          43,
                          144,
                          202,
                          24,
                          60,
                          8,
                          154,
                          70,
                          80,
                          87,
                          231,
                          253,
                          63
                        ]
                      },
                      {
                        "Bytes": [
                          33,
                          249,
                          114,
                          52,
                          37,
                          228,
                          64,
                          191,
                          127,
                          167,
                          244,
                          81,
                          138,
                          2,
                          153,
                          35,
                          50,
                          174,
                          131,
                          232,
                          98,
                          19,
                          52,
                          45,
                          135,
                          193,
                          154,
                          57,
                          6,
                          239,
                          67
                        ]
                      },
                      {
                        "Bytes": [
                          229,
                          235,
                          166,
                          156,
                          170,
                          77,
                          87,
                          19,
                          129,
                          247,
                          30,
                          10,
                          200,
                          137,
                          104
                        ]
                      },
                      {
                        "Bytes": [
                          121,
                          17,
                          96,
                          240,
                          116,
                          144,
                          166,
                          155,
                          158,
                          209,
                          90,
                          52,
                          117,
                          99,
                          110,
                          84,
                          113,
                          217,
                          121,
                          165,
                          197,
                          161,
                          143,
                          68,
                          81,
                          235,
                          66,
                          102
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          55,
                          112,
                          186,
                          173,
                          4,
                          33,
                          47,
                          10,
                          232,
                          87,
                          109,
                          82,
                          28,
                          9,
                          8,
                          64,
                          181,
                          124,
                          46,
                          197,
                          16,
                          133,
                          55,
                          68,
                          151,
                          75,
                          106,
                          7,
                          147,
                          163
                        ]
                      },
                      {
                        "Bytes": [
                          215,
                          72,
                          216,
                          115,
                          37,
                          253,
                          184,
                          40,
                          195,
                          138,
                          144,
                          48,
                          149,
                          190,
                          79
                        ]
                      },
                      {
                        "Bytes": [
                          71,
                          221,
                          66
                        ]
                      },
                      {
                        "Bytes": [
                          211,
                          139,
                          86,
                          134,
                          138,
                          0,
                          95,
                          137,
                          209,
                          194,
                          143,
                          148,
                          79,
                          156,
                          234,
                          81,
                          29,
                          182,
                          126,
                          155,
                          83,
                          198,
                          236,
                          117,
                          103,
                          249,
                          42,
                          64,
                          53,
                          165
                        ]
                      },
                      {
                        "Bytes": [
                          190,
                          193,
                          227,
                          214,
                          228,
                          111,
                          121,
                          17,
                          185,
                          124,
                          37,
                          222,
                          76,
                          96,
                          61,
                          255,
                          171,
                          239,
                          20,
                          25,
                          115,
                          186,
                          119,
                          34,
                          203,
                          177,
                          104,
                          36,
                          20,
                          15,
                          142
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          141,
                          5,
                          132,
                          194,
                          85,
                          203,
                          167,
                          194,
                          85,
                          147,
                          147,
                          6,
                          14,
                          156,
                          240,
                          85
                        ]
                      },
                      {
                        "Bytes": [
                          22,
                          206,
                          6,
                          236,
                          186,
                          175,
                          37,
                          14,
                          13,
                          169,
                          181,
                          32,
                          252,
                          13,
                          216,
                          17,
                          54
                        ]
                      },
                      {
                        "Bytes": [
                          87,
                          45,
                          119,
                          21,
                          98,
                          11,
                          198,
                          125,
                          148,
                          69,
                          33,
                          177,
                          242,
                          156,
                          17,
                          131,
                          149,
                          139
                        ]
                      },
                      {
                        "Bytes": [
                          55,
                          39,
                          245,
                          126,
                          170
                        ]
                      },
                      {
                        "Bytes": [
                          123,
                          201,
                          85,
                          47,
                          207,
                          217
                        ]
                      },
                      {
                        "Bytes": [
                          25,
                          175,
                          123,
                          14,
                          225,
                          169,
                          64
                        ]
                      },
                      {
                        "Bytes": [
                          49,
                          112,
                          226,
                          250,
                          72,
                          76,
                          154,
                          130,
                          175,
                          95,
                          112,
                          59,
                          207,
                          20,
                          178,
                          237
                        ]
                      },
                      {
                        "Bytes": [
                          81,
                          183,
                          5,
                          195,
                          110,
                          80,
                          117,
                          54,
                          140,
                          126,
                          248,
                          104,
                          77,
                          134,
                          8,
                          203,
                          7,
                          181,
                          26
                        ]
                      },
                      {
                        "Bytes": [
                          34,
                          155,
                          123
                        ]
                      },
                      {
                        "Bytes": [
                          100,
                          162,
                          61,
                          27,
                          93,
                          224,
                          234,
                          116,
                          187,
                          60,
                          103,
                          116,
                          123,
                          208,
                          206
                        ]
                      },
                      {
                        "Bytes": [
                          57,
                          91,
                          233,
                          211,
                          126,
                          74,
                          89,
                          171,
                          15,
                          183,
                          202,
                          117,
                          123,
                          213,
                          30,
                          210,
                          62
                        ]
                      },
                      {
                        "Bytes": [
                          160,
                          0,
                          54
                        ]
                      },
                      {
                        "Bytes": [
                          14,
                          126,
                          152,
                          51,
                          141,
                          110,
                          35,
                          206,
                          133,
                          196,
                          107,
                          74,
                          38
                        ]
                      },
                      {
                        "Bytes": [
                          58,
                          223,
                          151,
                          230,
                          101,
                          135,
                          251,
                          18,
                          38,
                          125,
                          66,
                          8,
                          134,
                          181,
                          76,
                          102,
                          65,
                          244,
                          34,
                          119,
                          97,
                          90,
                          121,
                          67
                        ]
                      },
                      {
                        "Bytes": [
                          90,
                          88,
                          169,
                          169,
                          190,
                          252,
                          198,
                          160,
                          29,
                          84,
                          45
                        ]
                      },
                      {
                        "Bytes": [
                          99,
                          120,
                          147,
                          39,
                          193,
                          97,
                          195,
                          225,
                          34,
                          52,
                          221,
                          189,
                          254,
                          206,
                          44,
                          55,
                          253,
                          52,
                          230,
                          174,
                          80,
                          74,
                          57,
                          155,
                          187,
                          107,
                          169,
                          203,
                          40,
                          61,
                          146,
                          36
                        ]
                      },
                      {
                        "Bytes": [
                          117,
                          216,
                          14,
                          197,
                          70,
                          207,
                          60,
                          32,
                          175,
                          109,
                          199,
                          126,
                          196,
                          173,
                          47,
                          78,
                          191,
                          207,
                          57,
                          195,
                          107,
                          67,
                          23,
                          206,
                          227,
                          73,
                          16,
                          8,
                          58
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          69,
                          189,
                          205,
                          247,
                          54,
                          78,
                          152,
                          115,
                          195,
                          156,
                          171,
                          178,
                          191,
                          239,
                          224,
                          201,
                          132,
                          186,
                          155,
                          182,
                          112,
                          73,
                          28,
                          211
                        ]
                      },
                      {
                        "Bytes": [
                          175,
                          123,
                          115,
                          101,
                          114,
                          62,
                          143,
                          51,
                          160,
                          76,
                          206,
                          73,
                          193,
                          110,
                          224,
                          109,
                          89,
                          90,
                          193,
                          6,
                          104
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          203,
                          90,
                          67,
                          232,
                          14,
                          142,
                          124,
                          12,
                          119,
                          3,
                          25,
                          112,
                          68,
                          234,
                          252,
                          102,
                          141,
                          172,
                          255,
                          104,
                          91,
                          44,
                          20,
                          210,
                          0,
                          159,
                          12
                        ]
                      },
                      {
                        "Bytes": [
                          133,
                          9,
                          3,
                          249,
                          170,
                          36,
                          52,
                          205,
                          80,
                          183,
                          100,
                          182,
                          145,
                          28
                        ]
                      },
                      {
                        "Bytes": [
                          25,
                          162
                        ]
                      },
                      {
                        "Bytes": [
                          161,
                          192,
                          115,
                          65,
                          233,
                          201,
                          235,
                          75,
                          157,
                          249,
                          19,
                          249,
                          195,
                          120,
                          229
                        ]
                      },
                      {
                        "Bytes": [
                          76,
                          251,
                          251,
                          69,
                          56,
                          109,
                          37,
                          19,
                          113,
                          46
                        ]
                      },
                      {
                        "Bytes": [
                          149
                        ]
                      },
                      {
                        "Bytes": [
                          114,
                          177,
                          214,
                          213,
                          69,
                          2,
                          63,
                          254,
                          4,
                          2,
                          37,
                          209,
                          206,
                          136,
                          212,
                          252,
                          161,
                          229,
                          231,
                          43,
                          121,
                          59,
                          31
                        ]
                      },
                      {
                        "Bytes": [
                          230,
                          145,
                          44,
                          44,
                          32,
                          13,
                          153,
                          127,
                          153,
                          52,
                          187,
                          72,
                          62,
                          95,
                          86,
                          150,
                          201,
                          174,
                          234,
                          89,
                          45,
                          191,
                          30,
                          94,
                          228,
                          180
                        ]
                      },
                      {
                        "Bytes": [
                          178,
                          145,
                          95,
                          189,
                          151,
                          130,
                          216,
                          130,
                          74,
                          220
                        ]
                      },
                      {
                        "Bytes": [
                          168
                        ]
                      },
                      {
                        "Bytes": [
                          10,
                          83,
                          119,
                          180,
                          64,
                          214
                        ]
                      },
                      {
                        "Bytes": [
                          247,
                          103,
                          116,
                          39,
                          251,
                          156,
                          131,
                          83,
                          35,
                          84,
                          244,
                          95,
                          39,
                          196,
                          193,
                          80,
                          42,
                          252,
                          162,
                          164,
                          27,
                          198,
                          195,
                          58,
                          167
                        ]
                      },
                      {
                        "Bytes": [
                          94,
                          103,
                          102,
                          92,
                          36,
                          83,
                          140
                        ]
                      },
                      {
                        "Bytes": [
                          163
                        ]
                      },
                      {
                        "Bytes": [
                          23,
                          245,
                          58,
                          59,
                          250,
                          79,
                          95,
                          212,
                          252,
                          49,
                          21,
                          93,
                          103,
                          128,
                          185,
                          101,
                          115,
                          248,
                          191,
                          41,
                          104,
                          45,
                          97,
                          232,
                          227,
                          138,
                          40,
                          33
                        ]
                      },
                      {
                        "Bytes": [
                          186,
                          146,
                          164,
                          158,
                          83,
                          29,
                          69,
                          115,
                          152,
                          106,
                          188,
                          185,
                          238,
                          117,
                          48,
                          12,
                          96,
                          177
                        ]
                      },
                      {
                        "Bytes": [
                          104,
                          231,
                          211,
                          232,
                          219,
                          150,
                          30
                        ]
                      },
                      {
                        "Bytes": [
                          255,
                          172,
                          244,
                          46,
                          95,
                          193,
                          184,
                          28,
                          60,
                          245,
                          60,
                          161,
                          200,
                          8,
                          133,
                          34
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          114,
                          57
                        ]
                      },
                      {
                        "Bytes": [
                          179,
                          68,
                          161,
                          54,
                          216,
                          225,
                          78,
                          176,
                          146,
                          156,
                          249,
                          71,
                          220,
                          18,
                          187,
                          240
                        ]
                      },
                      {
                        "Bytes": [
                          21,
                          182,
                          124,
                          76,
                          59,
                          232,
                          138,
                          249
                        ]
                      },
                      {
                        "Bytes": [
                          58,
                          147,
                          219,
                          244,
                          19,
                          200,
                          84,
                          226,
                          94,
                          140,
                          0,
                          125
                        ]
                      },
                      {
                        "Bytes": [
                          210,
                          168,
                          208,
                          107,
                          230,
                          239,
                          149,
                          87,
                          159,
                          123,
                          90,
                          224,
                          125,
                          241,
                          68,
                          13,
                          254,
                          148,
                          16,
                          218,
                          240,
                          125
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          137,
                          113,
                          37,
                          113,
                          22,
                          52,
                          48,
                          98,
                          91,
                          83
                        ]
                      },
                      {
                        "Bytes": [
                          58,
                          113,
                          144,
                          212,
                          165
                        ]
                      },
                      {
                        "Bytes": [
                          243,
                          95,
                          45,
                          232,
                          41,
                          167,
                          95,
                          96,
                          242,
                          198,
                          84,
                          192,
                          88,
                          102,
                          50,
                          121,
                          135,
                          70,
                          219,
                          177,
                          7,
                          70
                        ]
                      },
                      {
                        "Bytes": [
                          205,
                          127,
                          238,
                          84,
                          197,
                          145,
                          199,
                          175,
                          46,
                          99,
                          201,
                          198,
                          29,
                          214,
                          228,
                          189,
                          17,
                          58,
                          238,
                          103,
                          143,
                          158,
                          244,
                          60,
                          31
                        ]
                      },
                      {
                        "Bytes": [
                          225,
                          36,
                          216,
                          221,
                          215,
                          79,
                          133,
                          227,
                          77,
                          126,
                          53,
                          255,
                          214,
                          248,
                          31,
                          86,
                          160,
                          192,
                          167
                        ]
                      },
                      {
                        "Bytes": [
                          165,
                          129,
                          86,
                          252,
                          169,
                          43,
                          164,
                          134,
                          218,
                          72,
                          155
                        ]
                      },
                      {
                        "Bytes": [
                          57,
                          82,
                          137,
                          181,
                          165,
                          95,
                          74,
                          161,
                          47,
                          178,
                          88,
                          91,
                          98,
                          182,
                          28,
                          24,
                          57,
                          216,
                          189,
                          14,
                          93,
                          161,
                          166,
                          253,
                          150,
                          152,
                          185,
                          239,
                          85,
                          231,
                          55,
                          210
                        ]
                      },
                      {
                        "Bytes": [
                          4,
                          94,
                          64,
                          132,
                          22,
                          20,
                          10,
                          211,
                          187,
                          24,
                          68
                        ]
                      },
                      {
                        "Bytes": [
                          251,
                          38
                        ]
                      },
                      {
                        "Bytes": [
                          83,
                          134,
                          46,
                          102,
                          21,
                          189,
                          238,
                          152,
                          64,
                          37,
                          40,
                          86,
                          235,
                          238,
                          38,
                          62,
                          120,
                          209,
                          219,
                          87,
                          135,
                          53,
                          239,
                          167,
                          91
                        ]
                      },
                      {
                        "Bytes": [
                          77,
                          202,
                          139
                        ]
                      },
                      {
                        "Bytes": [
                          232,
                          107,
                          211,
                          22,
                          130,
                          91,
                          157,
                          192,
                          92,
                          97,
                          248,
                          255,
                          43,
                          112,
                          17,
                          89,
                          74,
                          108,
                          249,
                          69,
                          58,
                          73,
                          204,
                          75,
                          136,
                          67,
                          13,
                          153,
                          99
                        ]
                      },
                      {
                        "Bytes": [
                          241,
                          52,
                          238,
                          249,
                          209,
                          91,
                          222,
                          39,
                          38,
                          98,
                          155,
                          228,
                          235,
                          71,
                          227,
                          184,
                          219,
                          172
                        ]
                      },
                      {
                        "Bytes": [
                          48,
                          16,
                          33,
                          106,
                          28,
                          181,
                          214,
                          50,
                          230,
                          143,
                          127,
                          88,
                          19,
                          254,
                          197,
                          186,
                          57,
                          26,
                          179,
                          65,
                          167,
                          101,
                          48,
                          58,
                          9,
                          166,
                          113
                        ]
                      },
                      {
                        "Bytes": [
                          243,
                          154,
                          158,
                          208,
                          26
                        ]
                      },
                      {
                        "Bytes": [
                          66,
                          1,
                          160,
                          61,
                          33,
                          116
                        ]
                      },
                      {
                        "Bytes": [
                          205,
                          207,
                          70,
                          107,
                          136,
                          28
                        ]
                      },
                      {
                        "Bytes": [
                          161,
                          229,
                          193,
                          78,
                          68,
                          30,
                          167,
                          92,
                          40
                        ]
                      },
                      {
                        "Bytes": [
                          142,
                          223,
                          190,
                          231,
                          215,
                          138,
                          144,
                          58
                        ]
                      },
                      {
                        "Bytes": [
                          254,
                          195,
                          69,
                          254,
                          67,
                          76,
                          190,
                          4,
                          206,
                          135,
                          106,
                          72,
                          90,
                          78,
                          66,
                          120,
                          209,
                          212
                        ]
                      },
                      {
                        "Bytes": [
                          66,
                          225,
                          139,
                          84,
                          132,
                          187,
                          61,
                          129,
                          196,
                          205,
                          53,
                          161,
                          75,
                          54,
                          254,
                          205,
                          45,
                          110,
                          232,
                          87,
                          160,
                          117,
                          43,
                          141,
                          83
                        ]
                      },
                      {
                        "Bytes": [
                          34,
                          56
                        ]
                      },
                      {
                        "Bytes": [
                          117,
                          62,
                          61,
                          200,
                          112,
                          48,
                          211,
                          85,
                          93,
                          163,
                          216,
                          131,
                          75,
                          51
                        ]
                      },
                      {
                        "Bytes": [
                          215,
                          114,
                          41,
                          102,
                          118,
                          112,
                          109,
                          188,
                          131,
                          7,
                          42,
                          26,
                          191,
                          7,
                          66,
                          87,
                          224
                        ]
                      },
                      {
                        "Bytes": [
                          6,
                          8,
                          20,
                          223,
                          107,
                          158,
                          249,
                          126,
                          163,
                          208,
                          193,
                          121,
                          81,
                          245,
                          49,
                          1,
                          71,
                          179,
                          168,
                          182,
                          119,
                          159,
                          116
                        ]
                      },
                      {
                        "Bytes": [
                          186,
                          153,
                          242,
                          49,
                          177,
                          239,
                          165,
                          89,
                          60,
                          142,
                          12,
                          198,
                          23,
                          46,
                          124,
                          41,
                          58,
                          181,
                          160,
                          76,
                          170,
                          209,
                          107,
                          97,
                          108
                        ]
                      },
                      {
                        "Bytes": [
                          184,
                          132,
                          185,
                          51,
                          170,
                          40,
                          250,
                          203,
                          76,
                          194,
                          96,
                          151
                        ]
                      },
                      {
                        "Bytes": [
                          215,
                          232,
                          93,
                          58,
                          27,
                          183,
                          66,
                          222,
                          166,
                          127,
                          95,
                          133,
                          83,
                          228,
                          0,
                          250,
                          243,
                          26,
                          62,
                          0,
                          54,
                          84,
                          64,
                          79,
                          237,
                          190,
                          161,
                          11
                        ]
                      },
                      {
                        "Bytes": [
                          233,
                          204,
                          68,
                          77,
                          15,
                          253,
                          78,
                          208,
                          130,
                          140,
                          192,
                          162,
                          81,
                          22,
                          252
                        ]
                      },
                      {
                        "Bytes": [
                          128,
                          225,
                          188,
                          27,
                          209,
                          71,
                          56,
                          137,
                          33,
                          246,
                          210,
                          243
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x5f083579f2b054d5018c2e9d17e2c1e2d1ee614d8e231d504f41bf8814ade3f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x53",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x35e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7d0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x12",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfc560ec0133869f354d6ac8ce9e9327f89880813f93b1421bc8478840ff2510c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x6c2f4e865f47f77c0fa4deb356fa4155d452fa5e77668492cbc8d1d2115d464d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x12",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf9f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb1fa0edde0877ffca66666586c1baa69a76b801506b1fa915e40feb0134b4465",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x23466b5c50db9efc6a2635f1bc84690ab7f472150",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1e3c83fc6cac10ad76cd41cf0b8b4adfaf55fa2a1aa97dda1172869c62771629",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xaa8f4e0cda860054c516e654d90a2f17714c25b07ae0c74524cea79229374112",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x34",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x65",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x15182",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x62",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1517f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa205edb5272ead7ee41de6330d031bfdfeb3a48a12d10829f49b1ebdb577e95d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x12",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4d308a30b7cf07451e8207bd9b20d157d0d9a9da995e39625b7c81e53ef84e9e",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x5",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2e0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x573a63b88b61e969d62142207e24c801c02c1301dabd2eba8eb9a18d9df2d249",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x496d27a6421b892905b0a44bc3e9d89b8736e0c91cd118b022e0f658ff64b02e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xf40c48c762a0baa948d0a79a24933d41789714861065f5cb23089952469d1e84",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xdfc36b42e7d8ba47fc13e735b7c2284a9257ea6d49bc8436debb3dfc001ba1ff",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb74baa29c786e787ad80c5ce26a6d8aad598f5c3989cb8e3a171dc7274520e15",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x54",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1476aa00b259fd279c624c47e5e8a774e73dafcdd59a0696322c6964ec4c79a5",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x100000000",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x62",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xff",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x39b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x14d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1f6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x8a98176345b51d0f390d401cd05c93a08582b1d4a29c03444263d775788dc04c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x66a8996d81375073be5f85b8a61450f0345aa907864ce68dba64534633f58d26",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4195f8cdc3dec95a60dcd2a92b85f0b49450eed9d8ed6ae2d82e457187ff7ea0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x6db0327626d47f2a8c318f2460de77fa4a7ba3bcb9946a56b884478264c514d8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x26e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe0f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe14f8a11615d42127e2fd6fa2cb80ede432f04ebd1c5b490ebcca212b26a88cf",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x8b44e92a588b5969da8b4c4caea4966d44bf11d42932e54d3efb5629e2e30c13",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x166",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xc11f505011b77c27e4d6746e3a0abcba64f33c76a471e43bd2a4c0f861522aaf",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2c1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x232b",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x6e15f4b432ac6fda56ae0463d006825365e4b90c77e3e010538ff8bdee07c344",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2ff",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1f2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2a7b8f838ceac80bfc2ac063feaea3efc5df2bc610162b8d445880a895d5201",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe11",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa0025d883ebd3acd4505a3920ce4b101b3d9882612dd426346ba7c6993068eb7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x85",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x8633d3fbf1733d3e91253260621890f8a896fba628cfe146e667ae41e3c37ed1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x82083bc5c36ae0b1c8e038995af2b42cf9a655b78a7c499019cde6f245775dbc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x82",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x325dc52b81337d0f9682092d66fdc425561c975abacd9fcb820b9aef5a04938a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe0f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x12e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x100000000000000000000000000000000",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xdb67813420b3a19d43ee88056ca8e0916081f37aa76d911c2f12c3e70c01f2b4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x767e516c7bd6fde2e84a1c78d2984b2e4668219660ca7256f6f803ce44369972",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x90e2c06c56348239c4a522c8c0d9df5427c92d896f01d8f562290de6269d6a99",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd1ca9e2f15eb813a34462b0d7012d18fde81e2c68403942b63ff5df8325e1577",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xde4a28f183588b90dce3c279128174c02064af4caf5c44024b642b472ad6bfbe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7421807bbd02aedce1e901dbc6a0441e04e1523a46b6cc368685e9b4314ab94b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x951e43fe8aabb48ac689a76db502c24396e2eecdd2ec7a43712f90603f8f005b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa299f61c807abd3bb5b6b96300c898656e5e85b3e662a056b860c2a0de9e62a0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x4c8b0e1e6dc6185bbcb516419bf997f356767df61ed6276f0c45dc0300203bdb",
                      256
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36994,
      430
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_vault",
        "args": [
          {
            "Uint": [
              "0x2328",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21644,
      99
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x58028bc828d995d386b04be3e2a4760caf629efed4fe7fbb0064efc43b1a1250",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1233,
      66
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0xde03c26e6a6b69d01b7790877509029b",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      203830,
      36680
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC7540YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44089,
      47335
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      460,
      18794
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1676,
      10863
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      258,
      12691
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0x129",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39656,
      28145
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      61197,
      6823
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x7ce",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6944,
      18796
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
          },
          {
            "Uint": [
              "0x615287eb223fcd4af8a35787fc44479323a50fda6693936e8f099e72ed3def56",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      68791,
      8719
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_setOperator",
        "args": [
          {
            "Uint": [
              "0x3ffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      544968,
      47991
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x23",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6372,
      54655
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw_clamped",
        "args": [
          {
            "Uint": [
              "0x77c2e4333068f73b33111ac619068516118dd5ca0d7e1146bb2d57a62f72f532",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81684,
      33654
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x69",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28194,
      10988
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0x1b0278c5057df952c5dde43e97c2dc748c7033e19bd9a3869314a8fce46c09a3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56537,
      21794
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_2",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4190,
      1112
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35582,
      25495
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_redeem",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x2328",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1681,
      8985
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x34ccca363cd1bfdd02986297f93c5beab15d5cd00bf1a99a8a121aab74ef5c3d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      423303,
      7136
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositUpkeep",
        "args": [
          {
            "Uint": [
              "0xfbc8d5d6936315c84e5e27097ab6aa74a4a61cfd7174958ab80b3bd3d627b8a6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      522018,
      16839
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4909,
      8189
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_2",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49486,
      16337
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_withdraw",
        "args": [
          {
            "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
          },
          {
            "Uint": [
              "0x4e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54382,
      54051
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x7e80da8f631d7232dd2574936a4404d306fb379c0d71a87a6b833a1c365fc179",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      989,
      35501
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION",
        "args": [
          {
            "Uint": [
              "0xea6e9633e26ed39982a717c595bd228fe2411e69919a05f1d8fbe6c2dba667cd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64827,
      1723
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
          },
          {
            "Uint": [
              "0x15183",
              256
            ]
          },
          {
            "Uint": [
              "0x71c95f018206fd8c9783b1076a18bd2492401254a52e393f1efaaa24fa736796",
              256
            ]
          },
          {
            "Uint": [
              "0x3e8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      145972,
      4800
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_redeem_clamped",
        "args": [
          {
            "Uint": [
              "0xa5b5bee340ec28163900d83e99d9b828521ed05693f4a519f057beba842f377b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1682,
      36915
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC7540YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3063,
      58533
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_approve",
        "args": [
          {
            "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
          },
          {
            "Uint": [
              "0xa4f0816c631ef1a3919d69906e69033fef2e795699e7d93e26d69926530054b6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47623,
      60329
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateGain",
        "args": [
          {
            "Uint": [
              "0x31",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64761,
      23762
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6178,
      17327
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          },
          {
            "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1166,
      14452
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0xc73e19fd0c5344c21fb7bf69f50a03e611af51e51ed0ed8dc37687b5ee618159",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26119,
      25736
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x579e21193338f06f968fb8ed9ad7f4746ec90b92cf5e6b44443867c1931753d3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69246,
      30202
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepClaim",
        "args": [
          {
            "Uint": [
              "0x5fd2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7818,
      2119
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x5f44cdb12c022a5a09359a092674c7015102eba158e9b8e380d151a3da01cf7a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2676,
      9521
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_mint",
        "args": [
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          },
          {
            "Uint": [
              "0x5a1b4440ccae329fbf74f2ed9c20687243cb9545fa131195a88f4d66753b1ab2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69944,
      22826
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30835,
      42459
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfAssetsMaxWithdrawable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56812,
      38646
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          },
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      119288,
      49347
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositUpkeep",
        "args": [
          {
            "Uint": [
              "0x1517f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      415,
      26700
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_depositUpkeep",
        "args": [
          {
            "Uint": [
              "0x238da36323b81bf8532553ec468ecce6ff6692f090adbfb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      176102,
      1146
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSMonotonicity",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10949,
      23982
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0xfa3",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3432,
      25049
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x1905cfa5dc711698ef8b39220a35646fc54a6ea3fd12f2cbc410003c26081f02",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23246,
      5160
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0x6a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55599,
      28924
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_vault",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      603,
      2848
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0x71efc81f53335e7a1a0c99307045400663e652e74868de27bd3fd54bca3cb11b",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85236,
      7213
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000100"
          },
          {
            "Uint": [
              "0x10000000000000002",
              256
            ]
          },
          {
            "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
          },
          {
            "Uint": [
              "0x484930554b666b6f59a440c39acaeec36e57f4e98561c2f209dac8401789b9cb",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33819,
      4819
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x14",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      370358,
      44974
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0x1b88e35b25a8cc875909ac4df63fb5a8f7f667dcf23a214cf28cc8a50fe7927b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6555,
      36105
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL",
        "args": [
          {
            "Uint": [
              "0x14",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      383841,
      54940
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0x0",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x3210a7c99d2c1df7de9fc6f1bd74148a569361d6315687e23dc",
                  256
                ]
              },
              {
                "Uint": [
                  "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
                  256
                ]
              },
              {
                "Uint": [
                  "0x5e9f30abc08d76450dc339fc3d89c5d7cf6286f476ca5eee5740dd5ae7c7094f",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2fc",
                  256
                ]
              },
              {
                "Uint": [
                  "0xc6cf44c7d46bb4405fcfc706377cd70c9267e9052059b8e816c0b1cf703cf4ed",
                  256
                ]
              },
              {
                "Uint": [
                  "0x4d67f1a3acaf97cd3128f6815d7069aae130c9935b07efdc9ee92b1671bc3dd2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x23",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3e",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1e8481",
                  256
                ]
              },
              {
                "Uint": [
                  "0xe0cda5dd3bb70e840d5ee5197bc211262e9b46299b70ad11af9f7403b4da6ee0",
                  256
                ]
              },
              {
                "Uint": [
                  "0xc5f631447da10246257cf45909d40b3aad7104a30e1e8d2f01b7dc060888d689",
                  256
                ]
              },
              {
                "Uint": [
                  "0x30f2f0b5bd0d5c001fa7958adf53624839042bfd50fcfc0d08b2e116a350d897",
                  256
                ]
              },
              {
                "Uint": [
                  "0x1a",
                  256
                ]
              },
              {
                "Uint": [
                  "0x15182",
                  256
                ]
              },
              {
                "Uint": [
                  "0x696af7443ab6eb048a5c6f7f56dcc73f1d2b8305e5fd69f7911059b4e3e71ec0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x68",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": false
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0xafb3",
    "delay": [
      69684,
      15302
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0x1517e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1665,
      6320
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_withdraw",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x7a44a7cf4649d775267fab077688bf6ce313f449fe66c9363377a2298ef96b81",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6553,
      25463
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0xc7183455a4c133ae270771860664b6b7ec320bb1"
          },
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          },
          {
            "Uint": [
              "0x1d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      587,
      10884
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x1a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51151,
      14839
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540",
        "args": [
          {
            "Uint": [
              "0xad",
              8
            ]
          },
          {
            "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
          },
          {
            "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
          },
          {
            "Uint": [
              "0x1e847f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64982,
      3706
    ]
  }
]