[
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeGlobalHooksRoot_clamped",
        "args": [
          {
            "FixedBytes": [
              "0x00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff00ff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33384,
      38072
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58334,
      13531
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      390898,
      14394
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78773,
      20507
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_3",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000dead"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82577,
      45403
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36838,
      22019
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18016,
      11073
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfAssetsMaxWithdrawable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15467,
      18794
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange",
        "args": [
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7513,
      55942
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80917,
      5600
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_6",
        "args": [
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090e1"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      898,
      17303
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
          },
          {
            "Uint": [
              "0xe13",
              256
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Uint": [
              "0xf8d3fa6b8b98b71d5f4745c0bfc7d57d51a96e798bcb08b22acf1766f11e276",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      134470,
      23328
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0xe7c196928ae4966ff9b19b026c00ea7347346d06a93ff52528c46c3112462211",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64874,
      38138
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0xbe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83458,
      146
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_cancelDoesntChangeTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      281971,
      14732
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79570,
      8795
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxRedeemMaxWithdrawSymmetry",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15469,
      5052
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18661,
      12687
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_oraclePPSDoesntChangeOnAddOrRemove",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      92267,
      21534
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80736,
      6142
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchRandom",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      229428,
      17075
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "String": "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000"
              },
              {
                "String": "~C4DtjqV5G{ X,2\\MOM3"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Array": [
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
                  },
                  {
                    "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
                  },
                  {
                    "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
                  },
                  {
                    "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  }
                ]
              },
              {
                "Uint": [
                  "0x2",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x3e8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x64",
                      256
                    ]
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80034,
      6687
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setLossOnWithdraw",
        "args": [
          {
            "Uint": [
              "0xd1faa26acc1a18b6c060158b3fcd10c3d648ee61c08eb6f4bb44330cd20805ad",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      176953,
      6381
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0xbd",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      126689,
      24536
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC5115YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      165231,
      1497
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",
        "args": [
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x70f6a3cee3b17125a11130615cbe409eb569c73dd0630e20ce0dd79385a002ed",
                  256
                ]
              },
              {
                "Uint": [
                  "0xdb130840d6f87c7eb03cc6c8d9212fd93b4db639769961952920486116890303",
                  256
                ]
              },
              {
                "Uint": [
                  "0x709bb311bb6f277054225205807a386de3bbbecbdce5c0d1ec7fefe72349a8a0",
                  256
                ]
              }
            ]
          },
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x5d4eee197f2377f8f5866be793c77f5e4fe8c39d7a80a571dd96f3ffefd78f11",
                  256
                ]
              },
              {
                "Uint": [
                  "0xcce76624e05f2693394a67c182a1b8ff69ee9e36d29a5004aff26aa81f2880f3",
                  256
                ]
              },
              {
                "Uint": [
                  "0xb87b3ccc55473018d9e21652368b517101246b5ac61244ec3982666586254d",
                  256
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      479486,
      47662
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0xa045d76c3b160eaad241e8220fc3e63f5d4e94593cfd232bb77f8c0f2e86255e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70756,
      7828
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      114,
      6165
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mockERC4626YieldSourceOracle_setValidAsset",
        "args": [
          {
            "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      603861,
      50245
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0x5991a2df15a8f6a256d3ec51e99254cd3fb576a9"
          },
          {
            "Uint": [
              "0x7ad7c5a13f2e9b0ddb7cc392fe1dac5fb5f167efefa42572477f23c9b7a644c9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53161,
      51042
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4520,
      34398
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0x1af7f588a501ea2b5bb3feefa744892aa2cf00e6"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0x756e0562323adcda4430d6cb456d9151f605290b"
                  },
                  {
                    "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
                  },
                  {
                    "Address": "0x03a6a84cd762d9707a21605b548aaab891562aab"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "Bytes": [
                          21,
                          102,
                          152,
                          90,
                          243,
                          166,
                          143,
                          226,
                          154,
                          35,
                          19,
                          167,
                          76,
                          131
                        ]
                      },
                      {
                        "Bytes": [
                          173,
                          254
                        ]
                      },
                      {
                        "Bytes": [
                          51,
                          92,
                          38,
                          178,
                          176,
                          65,
                          172,
                          118,
                          49
                        ]
                      },
                      {
                        "Bytes": [
                          214,
                          58,
                          131,
                          74,
                          241,
                          102,
                          150,
                          207,
                          28,
                          100,
                          98,
                          159,
                          85,
                          112,
                          213,
                          5,
                          52,
                          92,
                          223,
                          43,
                          184,
                          48,
                          213,
                          229
                        ]
                      },
                      {
                        "Bytes": [
                          62,
                          249,
                          123
                        ]
                      },
                      {
                        "Bytes": [
                          234,
                          171,
                          236
                        ]
                      },
                      {
                        "Bytes": [
                          251,
                          227,
                          133,
                          121,
                          247,
                          212,
                          182,
                          161,
                          209,
                          55,
                          103
                        ]
                      },
                      {
                        "Bytes": [
                          52,
                          194,
                          207,
                          202,
                          115
                        ]
                      },
                      {
                        "Bytes": [
                          182,
                          35,
                          34,
                          191,
                          25,
                          22,
                          199,
                          41,
                          226,
                          106,
                          188,
                          5
                        ]
                      },
                      {
                        "Bytes": [
                          83,
                          211,
                          243,
                          109,
                          74,
                          47,
                          35,
                          185,
                          121,
                          17,
                          192,
                          70,
                          31,
                          113,
                          204,
                          203,
                          211,
                          247,
                          120,
                          0,
                          59,
                          116,
                          153,
                          165,
                          193,
                          21,
                          179,
                          157,
                          82
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          76,
                          78,
                          90,
                          108,
                          131,
                          251,
                          17,
                          32
                        ]
                      },
                      {
                        "Bytes": [
                          63,
                          52,
                          246,
                          3,
                          93,
                          31,
                          227,
                          158,
                          36,
                          85,
                          11,
                          29,
                          119
                        ]
                      },
                      {
                        "Bytes": [
                          145,
                          129,
                          194,
                          216,
                          169,
                          167,
                          143,
                          129,
                          114,
                          44,
                          133,
                          130,
                          253,
                          77,
                          251,
                          114,
                          237,
                          144,
                          171,
                          252,
                          33,
                          58,
                          247
                        ]
                      },
                      {
                        "Bytes": [
                          95,
                          94,
                          202,
                          86,
                          61,
                          65,
                          80,
                          75,
                          103
                        ]
                      },
                      {
                        "Bytes": [
                          98,
                          121,
                          200,
                          169,
                          104,
                          224,
                          97,
                          0,
                          88,
                          71,
                          87,
                          251,
                          246,
                          36,
                          53,
                          28,
                          69,
                          255,
                          79
                        ]
                      },
                      {
                        "Bytes": [
                          225,
                          224,
                          223,
                          163,
                          41,
                          175,
                          176,
                          192,
                          24,
                          153,
                          40,
                          45
                        ]
                      },
                      {
                        "Bytes": [
                          208,
                          23,
                          109,
                          213,
                          96,
                          99,
                          70,
                          241,
                          83,
                          109,
                          30,
                          91,
                          22,
                          242,
                          154
                        ]
                      },
                      {
                        "Bytes": [
                          88,
                          92,
                          150,
                          166,
                          184,
                          85,
                          46,
                          195,
                          136,
                          34
                        ]
                      },
                      {
                        "Bytes": [
                          227,
                          176,
                          104,
                          95,
                          177,
                          71,
                          62,
                          143,
                          250,
                          48,
                          128,
                          120,
                          219,
                          128,
                          215,
                          56,
                          170,
                          185,
                          193
                        ]
                      },
                      {
                        "Bytes": [
                          147,
                          166,
                          183,
                          226,
                          71,
                          4,
                          234,
                          187,
                          90,
                          147,
                          246,
                          89,
                          126,
                          190,
                          195,
                          42,
                          37,
                          31,
                          75,
                          253,
                          145,
                          132,
                          87,
                          18,
                          178,
                          176,
                          106,
                          245,
                          233,
                          137,
                          113
                        ]
                      },
                      {
                        "Bytes": [
                          16,
                          71,
                          145,
                          220,
                          230,
                          4,
                          120,
                          231,
                          38,
                          223,
                          165,
                          131,
                          217,
                          88,
                          218,
                          59,
                          49,
                          188,
                          19,
                          126,
                          190,
                          228,
                          75,
                          26,
                          229,
                          37,
                          5,
                          68,
                          6,
                          175,
                          201,
                          157
                        ]
                      },
                      {
                        "Bytes": [
                          73,
                          221,
                          18,
                          12
                        ]
                      },
                      {
                        "Bytes": [
                          105,
                          66,
                          249,
                          104,
                          137,
                          106,
                          246,
                          251,
                          248,
                          199,
                          207
                        ]
                      },
                      {
                        "Bytes": [
                          240,
                          229,
                          184,
                          33,
                          70,
                          228,
                          142,
                          172
                        ]
                      },
                      {
                        "Bytes": [
                          16,
                          182,
                          244,
                          189,
                          200,
                          210,
                          165,
                          45,
                          205,
                          211,
                          47,
                          244,
                          227,
                          64,
                          155,
                          104,
                          151
                        ]
                      },
                      {
                        "Bytes": [
                          190,
                          153,
                          131,
                          73,
                          90,
                          86,
                          74,
                          153,
                          13,
                          147,
                          16,
                          201,
                          118,
                          207,
                          201,
                          238,
                          111,
                          97,
                          22,
                          113,
                          23,
                          213,
                          177,
                          67,
                          115,
                          52,
                          181,
                          70,
                          45,
                          18,
                          176,
                          140
                        ]
                      },
                      {
                        "Bytes": [
                          31,
                          34,
                          206,
                          250,
                          103,
                          180,
                          255,
                          194,
                          232,
                          104,
                          113,
                          17
                        ]
                      },
                      {
                        "Bytes": [
                          77,
                          19,
                          82,
                          139,
                          207,
                          131,
                          119,
                          158,
                          56,
                          223,
                          238,
                          20,
                          162,
                          24
                        ]
                      },
                      {
                        "Bytes": [
                          87,
                          37,
                          39,
                          75,
                          196,
                          163,
                          21,
                          10,
                          39,
                          248,
                          201,
                          4,
                          144,
                          175,
                          104,
                          104,
                          239,
                          33,
                          32
                        ]
                      },
                      {
                        "Bytes": [
                          187,
                          206,
                          86,
                          125,
                          137,
                          106,
                          61,
                          188,
                          161,
                          0,
                          168,
                          47,
                          178,
                          240,
                          157,
                          168,
                          29,
                          124,
                          62,
                          200,
                          242,
                          94
                        ]
                      },
                      {
                        "Bytes": [
                          86,
                          150,
                          109,
                          105,
                          179,
                          77,
                          205,
                          42,
                          135,
                          90,
                          54,
                          238,
                          241
                        ]
                      },
                      {
                        "Bytes": [
                          181,
                          6,
                          174,
                          107,
                          224,
                          32,
                          164,
                          188,
                          235,
                          236,
                          148,
                          224,
                          175,
                          169,
                          14,
                          95,
                          159,
                          102,
                          55,
                          11,
                          97,
                          105,
                          114,
                          72,
                          30,
                          51,
                          165
                        ]
                      },
                      {
                        "Bytes": [
                          149,
                          136,
                          85,
                          47,
                          170,
                          63,
                          232,
                          49,
                          87,
                          127,
                          123,
                          102,
                          91,
                          87,
                          6
                        ]
                      },
                      {
                        "Bytes": [
                          87,
                          162,
                          235,
                          97,
                          47,
                          101,
                          226,
                          78,
                          59,
                          206,
                          207,
                          19,
                          109,
                          225,
                          21,
                          109,
                          103,
                          205,
                          137,
                          201
                        ]
                      },
                      {
                        "Bytes": [
                          154,
                          108,
                          212,
                          111,
                          58,
                          42,
                          217,
                          106,
                          60,
                          122,
                          123,
                          182,
                          251,
                          46,
                          248,
                          170,
                          108,
                          107,
                          168,
                          0,
                          68,
                          91,
                          131,
                          1,
                          36,
                          25,
                          238,
                          225,
                          67,
                          190,
                          250
                        ]
                      },
                      {
                        "Bytes": [
                          250,
                          240,
                          50,
                          88,
                          129
                        ]
                      },
                      {
                        "Bytes": [
                          121,
                          237,
                          25,
                          218,
                          5,
                          163,
                          102,
                          81,
                          176,
                          148,
                          164,
                          151,
                          248,
                          13,
                          69,
                          146,
                          2,
                          229
                        ]
                      },
                      {
                        "Bytes": [
                          163,
                          46,
                          76,
                          226,
                          4
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          80,
                          42,
                          35,
                          27,
                          101,
                          111,
                          108,
                          145,
                          124,
                          63,
                          6,
                          96,
                          78,
                          134,
                          100,
                          25,
                          193,
                          75,
                          4,
                          94,
                          191,
                          185,
                          166,
                          215
                        ]
                      },
                      {
                        "Bytes": [
                          157,
                          172,
                          177,
                          208,
                          50,
                          239,
                          54,
                          208,
                          150,
                          141,
                          1,
                          165,
                          66,
                          226
                        ]
                      },
                      {
                        "Bytes": [
                          49,
                          142,
                          137,
                          25,
                          90,
                          92,
                          105,
                          127,
                          182,
                          223,
                          14,
                          25,
                          104,
                          38,
                          100,
                          180,
                          60,
                          9,
                          210,
                          110,
                          221,
                          128,
                          201,
                          64,
                          127,
                          235,
                          14,
                          127,
                          30,
                          153,
                          205
                        ]
                      },
                      {
                        "Bytes": [
                          215,
                          11,
                          58,
                          52
                        ]
                      },
                      {
                        "Bytes": [
                          79,
                          85,
                          44,
                          170,
                          141,
                          144,
                          202,
                          20,
                          41,
                          59,
                          246
                        ]
                      },
                      {
                        "Bytes": [
                          174,
                          34,
                          129,
                          126,
                          45,
                          253,
                          104,
                          53,
                          90,
                          46,
                          159,
                          23,
                          165,
                          221,
                          124,
                          245,
                          20
                        ]
                      },
                      {
                        "Bytes": [
                          162,
                          44,
                          160,
                          255,
                          18,
                          204,
                          4,
                          132,
                          202
                        ]
                      },
                      {
                        "Bytes": [
                          108,
                          207,
                          16
                        ]
                      },
                      {
                        "Bytes": [
                          198,
                          55,
                          83,
                          102,
                          216,
                          217,
                          23,
                          181,
                          150,
                          246,
                          131,
                          39,
                          55,
                          120,
                          150,
                          177,
                          107,
                          22,
                          88
                        ]
                      },
                      {
                        "Bytes": [
                          178,
                          162,
                          131,
                          1,
                          96,
                          135,
                          211,
                          24,
                          2,
                          50,
                          91,
                          78,
                          34,
                          186,
                          25,
                          143,
                          120,
                          151,
                          55,
                          224,
                          42
                        ]
                      },
                      {
                        "Bytes": [
                          233,
                          35,
                          18,
                          163,
                          35,
                          24,
                          106,
                          20,
                          250,
                          24,
                          254,
                          218,
                          120,
                          158,
                          236,
                          216,
                          151,
                          108,
                          193
                        ]
                      },
                      {
                        "Bytes": [
                          10,
                          93
                        ]
                      },
                      {
                        "Bytes": [
                          110,
                          75,
                          83,
                          189,
                          114,
                          107,
                          140,
                          155
                        ]
                      },
                      {
                        "Bytes": [
                          239,
                          42,
                          168,
                          130
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          212,
                          110,
                          142,
                          43,
                          17,
                          156,
                          12,
                          246,
                          120,
                          74,
                          90,
                          48,
                          47,
                          190,
                          0,
                          211,
                          57,
                          99,
                          106,
                          93,
                          162,
                          45,
                          185,
                          217
                        ]
                      },
                      {
                        "Bytes": [
                          224,
                          255,
                          4,
                          198,
                          188,
                          35,
                          193,
                          152,
                          186,
                          45,
                          53,
                          123,
                          128,
                          50,
                          5,
                          205,
                          158,
                          127,
                          173,
                          24,
                          135,
                          90,
                          253
                        ]
                      },
                      {
                        "Bytes": [
                          188,
                          13,
                          160,
                          254,
                          190,
                          184,
                          48,
                          77,
                          90,
                          37,
                          72,
                          215,
                          40,
                          25,
                          224,
                          38,
                          204,
                          38,
                          84
                        ]
                      },
                      {
                        "Bytes": [
                          231,
                          100,
                          81,
                          170,
                          204
                        ]
                      },
                      {
                        "Bytes": [
                          198,
                          117,
                          52,
                          20,
                          81,
                          24,
                          95,
                          252,
                          124,
                          158,
                          112,
                          140,
                          146,
                          6,
                          250,
                          61,
                          123,
                          135,
                          35,
                          212,
                          100,
                          160,
                          24,
                          24,
                          134,
                          66,
                          59,
                          153
                        ]
                      },
                      {
                        "Bytes": [
                          47,
                          164,
                          114,
                          46,
                          7,
                          108,
                          77,
                          140,
                          174,
                          12,
                          251,
                          102,
                          194,
                          240,
                          169,
                          32,
                          30,
                          141,
                          73,
                          191,
                          128,
                          37,
                          84,
                          12,
                          249,
                          94,
                          182
                        ]
                      },
                      {
                        "Bytes": [
                          248,
                          17,
                          154,
                          205,
                          64,
                          72
                        ]
                      },
                      {
                        "Bytes": [
                          41,
                          132,
                          212,
                          95,
                          93,
                          155,
                          104,
                          1,
                          143,
                          135,
                          54,
                          137,
                          45,
                          79,
                          231,
                          55,
                          19,
                          19,
                          114,
                          2,
                          193,
                          93,
                          199,
                          77
                        ]
                      },
                      {
                        "Bytes": [
                          161,
                          217,
                          110,
                          60
                        ]
                      },
                      {
                        "Bytes": [
                          94,
                          129,
                          95,
                          182,
                          25,
                          163,
                          104,
                          198,
                          172,
                          225,
                          250,
                          81
                        ]
                      },
                      {
                        "Bytes": [
                          117,
                          147,
                          111,
                          38,
                          98,
                          198,
                          225,
                          174,
                          145,
                          112,
                          156,
                          205,
                          167,
                          128,
                          127,
                          221,
                          155,
                          183,
                          69,
                          241,
                          247,
                          21,
                          11,
                          190,
                          198,
                          112,
                          251,
                          2,
                          148
                        ]
                      },
                      {
                        "Bytes": [
                          184,
                          94,
                          62,
                          78,
                          226,
                          11,
                          215
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          29,
                          44,
                          92,
                          23,
                          251,
                          93
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          149,
                          236,
                          15,
                          129,
                          181,
                          255,
                          224,
                          2
                        ]
                      },
                      {
                        "Bytes": [
                          226,
                          122,
                          40,
                          251,
                          9,
                          166,
                          104,
                          151,
                          151,
                          25,
                          188,
                          186,
                          4,
                          103,
                          247,
                          174,
                          74,
                          47,
                          123,
                          223,
                          150,
                          85,
                          234
                        ]
                      },
                      {
                        "Bytes": [
                          2,
                          103,
                          116,
                          36
                        ]
                      },
                      {
                        "Bytes": [
                          254,
                          230,
                          29,
                          147,
                          46,
                          88,
                          255,
                          37,
                          63,
                          14,
                          131,
                          238,
                          178,
                          238,
                          250,
                          174,
                          162,
                          35,
                          44,
                          153,
                          253
                        ]
                      },
                      {
                        "Bytes": [
                          78,
                          42,
                          131,
                          222,
                          97,
                          105,
                          58,
                          70,
                          107,
                          180,
                          201,
                          51,
                          232,
                          37,
                          66,
                          117,
                          187,
                          44,
                          50,
                          209,
                          96,
                          78
                        ]
                      },
                      {
                        "Bytes": [
                          197,
                          160,
                          241,
                          149,
                          113,
                          16,
                          178,
                          55,
                          6,
                          161,
                          129,
                          255,
                          229,
                          51,
                          84,
                          140,
                          141
                        ]
                      },
                      {
                        "Bytes": [
                          245,
                          173,
                          74,
                          16,
                          36,
                          166,
                          142,
                          103,
                          227,
                          195,
                          220,
                          158,
                          45,
                          170,
                          185,
                          138,
                          107,
                          205
                        ]
                      },
                      {
                        "Bytes": [
                          48,
                          235,
                          190,
                          52,
                          216,
                          63,
                          165,
                          53,
                          188,
                          240,
                          46,
                          143,
                          147,
                          45,
                          13,
                          145,
                          6,
                          193,
                          93,
                          77,
                          39,
                          85,
                          183,
                          85,
                          26,
                          70,
                          167,
                          129,
                          157,
                          32
                        ]
                      },
                      {
                        "Bytes": [
                          63,
                          83,
                          226,
                          211,
                          214,
                          16,
                          27,
                          22,
                          110,
                          57,
                          70,
                          164
                        ]
                      },
                      {
                        "Bytes": [
                          79,
                          13,
                          116,
                          124,
                          85,
                          111,
                          136,
                          89,
                          107,
                          222,
                          47,
                          241,
                          194,
                          130,
                          237,
                          9,
                          130,
                          103,
                          250,
                          199,
                          41,
                          244,
                          184,
                          130,
                          43,
                          244,
                          16,
                          181,
                          81,
                          157,
                          9,
                          86
                        ]
                      },
                      {
                        "Bytes": [
                          64,
                          235,
                          187,
                          99,
                          115,
                          205,
                          216,
                          95,
                          128,
                          129,
                          31,
                          155,
                          111,
                          169,
                          138,
                          243,
                          71,
                          229,
                          29,
                          158,
                          57,
                          90,
                          222
                        ]
                      },
                      {
                        "Bytes": [
                          242,
                          155,
                          99,
                          86,
                          196
                        ]
                      },
                      {
                        "Bytes": [
                          22,
                          33,
                          183,
                          33,
                          234,
                          21,
                          49,
                          71,
                          177,
                          210,
                          153,
                          133,
                          147
                        ]
                      },
                      {
                        "Bytes": [
                          186,
                          136,
                          25,
                          246,
                          183,
                          175,
                          94
                        ]
                      },
                      {
                        "Bytes": [
                          191,
                          89,
                          4,
                          181,
                          165,
                          117,
                          68,
                          1,
                          123,
                          73,
                          231,
                          14,
                          23,
                          143
                        ]
                      },
                      {
                        "Bytes": [
                          8,
                          214,
                          70,
                          135,
                          148,
                          193,
                          115,
                          36,
                          81
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          106,
                          104,
                          251,
                          143,
                          245,
                          118,
                          176,
                          90,
                          7,
                          63,
                          230,
                          138,
                          104,
                          83,
                          247,
                          113,
                          190,
                          193,
                          162,
                          119,
                          59,
                          109,
                          241,
                          56
                        ]
                      },
                      {
                        "Bytes": [
                          137,
                          73,
                          59,
                          198,
                          36,
                          22,
                          102,
                          42,
                          9,
                          21,
                          143,
                          175,
                          247,
                          157,
                          13,
                          219,
                          217,
                          255,
                          13,
                          233,
                          190,
                          25,
                          49,
                          169,
                          155,
                          54,
                          157,
                          59,
                          173,
                          220,
                          142,
                          232
                        ]
                      },
                      {
                        "Bytes": [
                          10,
                          30,
                          135,
                          29,
                          5,
                          43,
                          79,
                          101,
                          200,
                          110,
                          129,
                          27,
                          255,
                          126,
                          42,
                          199,
                          100,
                          198,
                          2,
                          0
                        ]
                      },
                      {
                        "Bytes": [
                          186,
                          72,
                          20,
                          107,
                          212,
                          136,
                          95,
                          132,
                          133,
                          218,
                          163,
                          127,
                          214,
                          235,
                          35,
                          89,
                          196,
                          22,
                          97,
                          80,
                          140,
                          140,
                          152,
                          134,
                          105,
                          110,
                          254,
                          247,
                          30
                        ]
                      },
                      {
                        "Bytes": [
                          4,
                          140,
                          165,
                          49,
                          176,
                          159,
                          149,
                          246,
                          72,
                          121,
                          15,
                          103,
                          174
                        ]
                      },
                      {
                        "Bytes": [
                          82,
                          8,
                          240,
                          133,
                          90,
                          11,
                          12
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          249,
                          91,
                          173,
                          126,
                          3,
                          175,
                          73,
                          149,
                          98,
                          249,
                          138,
                          211,
                          249,
                          234,
                          80,
                          19,
                          120,
                          184,
                          198,
                          213,
                          28,
                          110,
                          29,
                          78,
                          218,
                          83,
                          213,
                          17,
                          137,
                          189
                        ]
                      },
                      {
                        "Bytes": [
                          204,
                          190,
                          101,
                          251,
                          3,
                          184,
                          120,
                          15
                        ]
                      },
                      {
                        "Bytes": [
                          70,
                          177,
                          222,
                          107,
                          104,
                          199,
                          30,
                          47,
                          225,
                          16,
                          73,
                          72,
                          22,
                          63,
                          170,
                          111,
                          27,
                          129,
                          166,
                          13,
                          91,
                          117,
                          124,
                          207,
                          34,
                          72,
                          90,
                          100
                        ]
                      },
                      {
                        "Bytes": [
                          213,
                          215,
                          213,
                          163,
                          16,
                          92,
                          145,
                          193,
                          40,
                          52,
                          51,
                          232,
                          117,
                          185,
                          109,
                          52,
                          126,
                          143,
                          54,
                          241,
                          141,
                          113,
                          79,
                          75,
                          244,
                          211,
                          38,
                          78,
                          123
                        ]
                      },
                      {
                        "Bytes": [
                          4,
                          16
                        ]
                      },
                      {
                        "Bytes": [
                          71,
                          76,
                          245,
                          247,
                          238,
                          40,
                          173,
                          16,
                          194,
                          99,
                          32,
                          67,
                          41,
                          189,
                          235,
                          241,
                          197,
                          24,
                          139,
                          173,
                          210,
                          177,
                          88,
                          237
                        ]
                      },
                      {
                        "Bytes": [
                          158,
                          179,
                          38,
                          28,
                          125,
                          234,
                          199,
                          36,
                          79,
                          180,
                          50,
                          8,
                          56,
                          119,
                          127
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          189,
                          17,
                          50,
                          14,
                          53,
                          110,
                          74,
                          49,
                          167,
                          124,
                          85,
                          108,
                          248,
                          250,
                          25,
                          43,
                          33
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          242,
                          234,
                          45,
                          223,
                          108,
                          124,
                          46,
                          81,
                          148,
                          171,
                          232,
                          241,
                          201,
                          25,
                          200,
                          43,
                          44,
                          164,
                          37,
                          30,
                          119,
                          1,
                          242,
                          111,
                          232,
                          245,
                          155,
                          33,
                          159,
                          37,
                          249,
                          216
                        ]
                      },
                      {
                        "Bytes": [
                          149,
                          63,
                          23
                        ]
                      },
                      {
                        "Bytes": [
                          132,
                          227,
                          76,
                          202,
                          135,
                          122,
                          170,
                          157,
                          131,
                          23,
                          234,
                          202,
                          217,
                          42,
                          74,
                          216,
                          186,
                          208,
                          217,
                          17,
                          128,
                          143,
                          240,
                          162,
                          2,
                          186,
                          23,
                          218,
                          45,
                          29
                        ]
                      },
                      {
                        "Bytes": [
                          195
                        ]
                      },
                      {
                        "Bytes": [
                          235,
                          93,
                          128,
                          41,
                          50,
                          199,
                          46,
                          30,
                          218
                        ]
                      },
                      {
                        "Bytes": [
                          133,
                          67,
                          34,
                          169,
                          46,
                          39,
                          130,
                          187,
                          107,
                          176,
                          211,
                          253,
                          109,
                          17,
                          2,
                          124,
                          138,
                          135,
                          242,
                          193,
                          240,
                          255,
                          124,
                          90,
                          22
                        ]
                      },
                      {
                        "Bytes": [
                          68,
                          234,
                          114,
                          108,
                          234,
                          240,
                          151,
                          100,
                          24,
                          35,
                          108,
                          54,
                          94,
                          175,
                          33,
                          49,
                          29,
                          166,
                          165,
                          118,
                          86,
                          118,
                          155,
                          189,
                          191,
                          25,
                          106,
                          124,
                          136,
                          118
                        ]
                      },
                      {
                        "Bytes": [
                          117,
                          117,
                          42,
                          145,
                          54,
                          52,
                          10,
                          195,
                          106,
                          63,
                          188,
                          41,
                          179,
                          62,
                          24,
                          37,
                          142,
                          222,
                          235,
                          231,
                          221,
                          117,
                          215,
                          171,
                          120,
                          3,
                          234
                        ]
                      },
                      {
                        "Bytes": [
                          101,
                          245,
                          226,
                          232,
                          7,
                          150,
                          5,
                          64,
                          88,
                          131,
                          201,
                          228,
                          175,
                          12,
                          236,
                          159,
                          27,
                          218,
                          253,
                          125,
                          231,
                          213,
                          202,
                          222,
                          180,
                          205,
                          97,
                          113,
                          167,
                          18,
                          67,
                          221
                        ]
                      },
                      {
                        "Bytes": [
                          77,
                          70,
                          80,
                          63,
                          240,
                          168,
                          117,
                          86,
                          97,
                          104,
                          100
                        ]
                      },
                      {
                        "Bytes": [
                          210,
                          146,
                          207,
                          24,
                          105,
                          206,
                          128,
                          93,
                          153,
                          166,
                          100,
                          43,
                          12,
                          112,
                          46,
                          10,
                          145,
                          228,
                          7
                        ]
                      },
                      {
                        "Bytes": [
                          6,
                          111,
                          161,
                          138,
                          125,
                          197,
                          126,
                          151,
                          53,
                          166,
                          162,
                          157,
                          7,
                          200,
                          39,
                          180,
                          115,
                          196,
                          44,
                          17,
                          26,
                          238,
                          153,
                          171,
                          200,
                          220
                        ]
                      },
                      {
                        "Bytes": [
                          18,
                          248,
                          189,
                          96
                        ]
                      },
                      {
                        "Bytes": [
                          50,
                          17,
                          30,
                          35,
                          26,
                          248,
                          152,
                          59,
                          113,
                          136,
                          49,
                          11,
                          25,
                          98,
                          102,
                          146,
                          37,
                          222,
                          252
                        ]
                      },
                      {
                        "Bytes": [
                          69,
                          33,
                          155,
                          167,
                          132,
                          131,
                          131,
                          56,
                          157,
                          230,
                          154,
                          157,
                          228,
                          163,
                          240,
                          103,
                          74,
                          37,
                          65,
                          184,
                          8,
                          253,
                          2,
                          52,
                          80
                        ]
                      },
                      {
                        "Bytes": [
                          150,
                          4,
                          188,
                          12,
                          147,
                          94,
                          177,
                          161,
                          3,
                          156,
                          145
                        ]
                      },
                      {
                        "Bytes": [
                          95,
                          139,
                          83,
                          114,
                          240,
                          137,
                          29,
                          192,
                          23,
                          220,
                          232,
                          91,
                          41,
                          83,
                          139,
                          229,
                          241,
                          7,
                          213,
                          76,
                          226,
                          191,
                          208,
                          251
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          80,
                          26,
                          175,
                          98,
                          6,
                          113,
                          222,
                          133,
                          1,
                          193,
                          147,
                          169,
                          92,
                          132,
                          61,
                          127,
                          124,
                          102,
                          183,
                          14,
                          0,
                          67,
                          63,
                          174,
                          186,
                          193,
                          172
                        ]
                      },
                      {
                        "Bytes": [
                          191,
                          164,
                          18,
                          199,
                          102,
                          8,
                          231,
                          185,
                          182,
                          27,
                          29,
                          82,
                          243,
                          230,
                          133,
                          55,
                          121,
                          122,
                          232,
                          124,
                          219,
                          85,
                          131,
                          67,
                          172,
                          111,
                          15,
                          71,
                          122,
                          211,
                          233
                        ]
                      },
                      {
                        "Bytes": [
                          117,
                          158,
                          39,
                          137,
                          143,
                          173,
                          109,
                          115,
                          209,
                          23,
                          12,
                          92,
                          35,
                          188
                        ]
                      },
                      {
                        "Bytes": [
                          26,
                          226,
                          24,
                          191,
                          234,
                          182,
                          121,
                          36,
                          0,
                          227,
                          82,
                          173,
                          90,
                          130,
                          230,
                          21,
                          121,
                          115,
                          153
                        ]
                      },
                      {
                        "Bytes": [
                          147,
                          178,
                          46,
                          40,
                          168,
                          88,
                          245,
                          180,
                          59,
                          218,
                          171
                        ]
                      },
                      {
                        "Bytes": [
                          222,
                          96,
                          147,
                          181,
                          35,
                          45,
                          7,
                          116,
                          57,
                          75,
                          227,
                          110,
                          194,
                          251,
                          159,
                          193,
                          156,
                          225,
                          188,
                          112,
                          172,
                          146,
                          215,
                          21,
                          105,
                          188,
                          81,
                          26,
                          107
                        ]
                      },
                      {
                        "Bytes": [
                          95,
                          37,
                          224,
                          227,
                          255,
                          212,
                          146,
                          42,
                          141
                        ]
                      },
                      {
                        "Bytes": [
                          172,
                          9,
                          175,
                          235,
                          15,
                          82,
                          57,
                          112,
                          31,
                          47,
                          225,
                          211,
                          248,
                          240,
                          119,
                          23,
                          111
                        ]
                      },
                      {
                        "Bytes": [
                          229,
                          220,
                          223,
                          75,
                          187
                        ]
                      },
                      {
                        "Bytes": [
                          117,
                          131,
                          195,
                          185,
                          30,
                          17,
                          56,
                          238,
                          168,
                          165,
                          191,
                          168,
                          153,
                          98,
                          249,
                          56,
                          219,
                          252,
                          131,
                          67,
                          21,
                          251,
                          102,
                          124,
                          206,
                          53,
                          84,
                          127,
                          80,
                          217,
                          24
                        ]
                      },
                      {
                        "Bytes": [
                          75,
                          92,
                          126,
                          34,
                          126,
                          139,
                          121,
                          171,
                          229,
                          31,
                          240,
                          249,
                          9,
                          167,
                          126,
                          98,
                          151,
                          137
                        ]
                      },
                      {
                        "Bytes": [
                          106,
                          227,
                          192,
                          37,
                          81,
                          214,
                          36,
                          164,
                          242,
                          191,
                          251
                        ]
                      },
                      {
                        "Bytes": [
                          48,
                          132,
                          166
                        ]
                      },
                      {
                        "Bytes": [
                          78,
                          11,
                          144,
                          144,
                          74
                        ]
                      },
                      {
                        "Bytes": [
                          212,
                          219,
                          234,
                          66,
                          19,
                          164,
                          219,
                          18,
                          162,
                          100,
                          21,
                          114
                        ]
                      },
                      {
                        "Bytes": [
                          121,
                          72,
                          134,
                          68,
                          12,
                          71,
                          221,
                          157,
                          41,
                          248,
                          18,
                          43,
                          22,
                          3,
                          159,
                          72,
                          75,
                          133,
                          221,
                          181,
                          100,
                          183,
                          204,
                          184,
                          162,
                          68,
                          204,
                          44,
                          160,
                          4,
                          148,
                          40
                        ]
                      },
                      {
                        "Bytes": [
                          48,
                          205,
                          23,
                          49,
                          77,
                          38,
                          13,
                          195,
                          198,
                          161,
                          30,
                          203,
                          115,
                          178
                        ]
                      },
                      {
                        "Bytes": [
                          236,
                          148,
                          159,
                          116,
                          26,
                          150,
                          173,
                          242,
                          255,
                          54,
                          235,
                          96,
                          210,
                          31,
                          177,
                          253,
                          191,
                          195,
                          50,
                          99,
                          2,
                          95,
                          159,
                          178,
                          48,
                          254,
                          144,
                          67,
                          57,
                          36,
                          158
                        ]
                      },
                      {
                        "Bytes": [
                          207,
                          105,
                          136,
                          128,
                          160,
                          52,
                          24,
                          142,
                          116,
                          54,
                          73,
                          208,
                          101,
                          60,
                          163,
                          83,
                          213,
                          82,
                          126,
                          142,
                          126,
                          243,
                          59,
                          97,
                          202,
                          186,
                          169,
                          156,
                          220
                        ]
                      },
                      {
                        "Bytes": [
                          117,
                          217,
                          117,
                          38,
                          68,
                          185,
                          171,
                          206,
                          177,
                          219,
                          153,
                          21,
                          239,
                          179,
                          181,
                          82,
                          170,
                          205,
                          178
                        ]
                      },
                      {
                        "Bytes": [
                          202,
                          14,
                          189,
                          8,
                          133,
                          82,
                          176,
                          210,
                          238,
                          24,
                          20,
                          1,
                          44,
                          246,
                          137,
                          216,
                          62,
                          92,
                          144,
                          115,
                          6,
                          225,
                          251,
                          78,
                          73,
                          110,
                          113,
                          105
                        ]
                      },
                      {
                        "Bytes": [
                          67,
                          94,
                          123,
                          224,
                          15,
                          152,
                          99,
                          177,
                          137,
                          56,
                          216,
                          47,
                          129,
                          217,
                          110,
                          45,
                          116,
                          158,
                          228,
                          202,
                          128,
                          234,
                          251,
                          92,
                          172,
                          4,
                          230,
                          223,
                          208,
                          44,
                          98,
                          112
                        ]
                      },
                      {
                        "Bytes": [
                          89,
                          120,
                          214,
                          166,
                          21,
                          70,
                          130,
                          212,
                          26,
                          11,
                          83,
                          81
                        ]
                      },
                      {
                        "Bytes": [
                          49,
                          175,
                          58,
                          18,
                          217,
                          115,
                          13,
                          105,
                          36,
                          144,
                          135,
                          204,
                          50,
                          219,
                          142,
                          232,
                          77,
                          244,
                          194,
                          97,
                          176,
                          179,
                          144
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          75,
                          253,
                          116
                        ]
                      },
                      {
                        "Bytes": [
                          34,
                          140,
                          139,
                          111,
                          30,
                          255,
                          166,
                          174,
                          51,
                          124,
                          59,
                          183,
                          250,
                          251,
                          226,
                          172,
                          37,
                          25,
                          4
                        ]
                      },
                      {
                        "Bytes": [
                          85,
                          229,
                          168,
                          6,
                          224,
                          148,
                          178,
                          71,
                          242,
                          20,
                          156
                        ]
                      },
                      {
                        "Bytes": [
                          113,
                          164,
                          123,
                          255,
                          81,
                          184,
                          249
                        ]
                      },
                      {
                        "Bytes": [
                          250,
                          172,
                          219,
                          95,
                          156,
                          89,
                          16,
                          125,
                          188,
                          124,
                          158,
                          2,
                          145,
                          86,
                          10,
                          64,
                          164,
                          225,
                          86,
                          192,
                          230,
                          143,
                          27,
                          157
                        ]
                      },
                      {
                        "Bytes": [
                          53,
                          216,
                          5,
                          135,
                          113,
                          238,
                          127,
                          197,
                          87,
                          63,
                          224,
                          49,
                          31,
                          190,
                          111,
                          30,
                          250,
                          224
                        ]
                      },
                      {
                        "Bytes": [
                          236,
                          180,
                          127,
                          197,
                          139,
                          79,
                          74,
                          31,
                          191,
                          17,
                          218,
                          125,
                          172,
                          211,
                          169,
                          232,
                          145,
                          202,
                          129,
                          209,
                          237,
                          130
                        ]
                      },
                      {
                        "Bytes": [
                          160,
                          191,
                          36,
                          124,
                          77,
                          85,
                          18,
                          136,
                          149,
                          80,
                          196,
                          224,
                          117,
                          131,
                          14,
                          154,
                          194
                        ]
                      },
                      {
                        "Bytes": [
                          49,
                          18,
                          125,
                          158,
                          196,
                          136,
                          205,
                          21,
                          64,
                          208,
                          240,
                          64,
                          226,
                          20,
                          91
                        ]
                      },
                      {
                        "Bytes": [
                          241,
                          93,
                          91,
                          250,
                          136,
                          158,
                          91,
                          65,
                          205,
                          90,
                          86,
                          110,
                          68
                        ]
                      },
                      {
                        "Bytes": [
                          152,
                          27,
                          105,
                          238,
                          1,
                          167
                        ]
                      },
                      {
                        "Bytes": [
                          133,
                          176,
                          55,
                          39,
                          11,
                          58,
                          45,
                          106,
                          199,
                          206,
                          158,
                          236,
                          84,
                          26,
                          166
                        ]
                      },
                      {
                        "Bytes": [
                          194,
                          70,
                          28,
                          52,
                          146,
                          88,
                          69,
                          143,
                          219,
                          108,
                          95,
                          147,
                          141,
                          161,
                          45,
                          250,
                          160,
                          25,
                          71,
                          27,
                          59,
                          86,
                          235,
                          119,
                          136,
                          176,
                          153
                        ]
                      },
                      {
                        "Bytes": [
                          201,
                          111,
                          245,
                          183,
                          85,
                          234,
                          76,
                          13,
                          172,
                          255,
                          245
                        ]
                      },
                      {
                        "Bytes": [
                          81,
                          160,
                          139,
                          164,
                          248,
                          50,
                          204,
                          134,
                          243,
                          234,
                          13,
                          228,
                          211,
                          189,
                          42,
                          109,
                          48,
                          68,
                          170,
                          185,
                          71,
                          223,
                          71,
                          58,
                          65,
                          246,
                          215,
                          233,
                          236
                        ]
                      },
                      {
                        "Bytes": [
                          49,
                          12,
                          194,
                          140,
                          118,
                          184,
                          110,
                          249,
                          84,
                          179,
                          83,
                          62,
                          98,
                          188,
                          31,
                          96,
                          95,
                          89,
                          51,
                          185,
                          148,
                          153,
                          29,
                          214,
                          7,
                          108,
                          228,
                          18
                        ]
                      },
                      {
                        "Bytes": [
                          75,
                          161,
                          122,
                          7,
                          212,
                          43,
                          46,
                          221,
                          15,
                          67,
                          111,
                          227,
                          192,
                          214
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          49,
                          50,
                          84,
                          18,
                          104,
                          115,
                          32,
                          101,
                          135,
                          136,
                          9,
                          161
                        ]
                      },
                      {
                        "Bytes": [
                          166,
                          39,
                          138,
                          231,
                          17,
                          235,
                          144,
                          225,
                          158,
                          242,
                          150,
                          71,
                          195,
                          69,
                          80,
                          77,
                          51,
                          207,
                          94,
                          147,
                          12,
                          81,
                          188
                        ]
                      },
                      {
                        "Bytes": [
                          149,
                          254
                        ]
                      },
                      {
                        "Bytes": [
                          218,
                          173,
                          182,
                          90,
                          217,
                          196,
                          150,
                          78,
                          146,
                          27,
                          46,
                          123,
                          203,
                          26,
                          74
                        ]
                      },
                      {
                        "Bytes": [
                          0,
                          124,
                          217,
                          20,
                          57,
                          47,
                          62,
                          113,
                          94,
                          243,
                          206,
                          215,
                          144,
                          102,
                          204
                        ]
                      },
                      {
                        "Bytes": [
                          77,
                          134,
                          91,
                          177,
                          20,
                          172,
                          68,
                          231,
                          172,
                          137,
                          80,
                          41,
                          195,
                          65,
                          103,
                          118,
                          32,
                          208,
                          113,
                          60
                        ]
                      },
                      {
                        "Bytes": [
                          107,
                          223,
                          172,
                          173,
                          37,
                          199,
                          41,
                          41,
                          90,
                          83,
                          226
                        ]
                      },
                      {
                        "Bytes": [
                          145,
                          74,
                          239,
                          20,
                          172,
                          157,
                          162,
                          43,
                          239,
                          253
                        ]
                      },
                      {
                        "Bytes": [
                          244,
                          39,
                          236,
                          239,
                          181,
                          7,
                          159,
                          8,
                          199,
                          59,
                          84,
                          0,
                          104,
                          9,
                          71,
                          106,
                          205,
                          161,
                          251
                        ]
                      },
                      {
                        "Bytes": [
                          252,
                          42,
                          143,
                          207,
                          184,
                          50,
                          48,
                          39,
                          189,
                          122
                        ]
                      },
                      {
                        "Bytes": [
                          4,
                          241,
                          135,
                          181,
                          62,
                          241,
                          26,
                          150,
                          160,
                          12,
                          199,
                          108,
                          117,
                          167,
                          225,
                          99,
                          240,
                          203,
                          17,
                          53,
                          76,
                          134,
                          126,
                          206,
                          198,
                          195,
                          212,
                          111,
                          70,
                          185
                        ]
                      },
                      {
                        "Bytes": [
                          223,
                          219,
                          231,
                          134,
                          60
                        ]
                      },
                      {
                        "Bytes": [
                          43,
                          191,
                          26,
                          194,
                          186,
                          5,
                          85,
                          48,
                          14
                        ]
                      },
                      {
                        "Bytes": [
                          252,
                          114,
                          61,
                          235
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          219,
                          52,
                          38,
                          19,
                          100,
                          119,
                          66,
                          2,
                          231,
                          171,
                          186,
                          111
                        ]
                      },
                      {
                        "Bytes": [
                          215,
                          44,
                          84,
                          120,
                          17
                        ]
                      },
                      {
                        "Bytes": [
                          65,
                          59,
                          74,
                          121,
                          101,
                          205,
                          128
                        ]
                      },
                      {
                        "Bytes": [
                          129,
                          160,
                          0,
                          4,
                          203,
                          224,
                          91,
                          95,
                          45,
                          201,
                          241,
                          183,
                          38,
                          213,
                          33,
                          247,
                          100,
                          135,
                          73
                        ]
                      },
                      {
                        "Bytes": [
                          42,
                          143,
                          76,
                          128,
                          119,
                          72,
                          178,
                          214,
                          82
                        ]
                      },
                      {
                        "Bytes": [
                          199,
                          155,
                          87,
                          178,
                          123,
                          25,
                          203,
                          100,
                          79,
                          169,
                          29,
                          129,
                          91,
                          119,
                          70,
                          83,
                          179,
                          237,
                          16,
                          20,
                          170,
                          94,
                          246,
                          183,
                          26,
                          75,
                          251,
                          155
                        ]
                      },
                      {
                        "Bytes": [
                          105,
                          187,
                          127,
                          119,
                          169,
                          248,
                          172,
                          177,
                          108,
                          46,
                          249,
                          57,
                          109,
                          239,
                          225,
                          186
                        ]
                      },
                      {
                        "Bytes": [
                          66,
                          0,
                          3,
                          118,
                          123,
                          198,
                          161,
                          104,
                          144,
                          4,
                          35,
                          131,
                          101,
                          235,
                          233,
                          185,
                          64,
                          189
                        ]
                      },
                      {
                        "Bytes": [
                          208
                        ]
                      },
                      {
                        "Bytes": [
                          115,
                          201
                        ]
                      },
                      {
                        "Bytes": [
                          244,
                          66,
                          233,
                          184,
                          212,
                          69,
                          27,
                          18,
                          185,
                          226,
                          190,
                          80,
                          164,
                          100,
                          157,
                          179,
                          229,
                          201,
                          161,
                          204
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": []
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          167,
                          146,
                          138,
                          45,
                          120,
                          115,
                          248,
                          100,
                          220,
                          189,
                          231,
                          71,
                          152,
                          70,
                          122,
                          243,
                          30,
                          184,
                          134,
                          237,
                          152,
                          217,
                          13,
                          253
                        ]
                      },
                      {
                        "Bytes": [
                          174,
                          44,
                          137,
                          82,
                          131,
                          248,
                          49,
                          44,
                          137,
                          89,
                          254,
                          12,
                          32,
                          44,
                          192,
                          177,
                          93,
                          221,
                          205,
                          127,
                          16,
                          165,
                          106,
                          45,
                          207,
                          48,
                          157,
                          74
                        ]
                      },
                      {
                        "Bytes": [
                          51,
                          89,
                          71,
                          71,
                          89,
                          85,
                          42,
                          191,
                          81,
                          94,
                          110,
                          59,
                          116,
                          85,
                          67,
                          156,
                          79,
                          112,
                          13,
                          139,
                          47,
                          136,
                          0,
                          46,
                          231,
                          111
                        ]
                      },
                      {
                        "Bytes": [
                          39,
                          182,
                          224,
                          16,
                          192,
                          57,
                          17,
                          163,
                          193,
                          233
                        ]
                      },
                      {
                        "Bytes": [
                          251,
                          33,
                          183,
                          120,
                          7,
                          13,
                          39,
                          47,
                          131,
                          141,
                          109,
                          196,
                          128,
                          71,
                          30,
                          105,
                          163,
                          178
                        ]
                      },
                      {
                        "Bytes": [
                          88,
                          203,
                          230,
                          126,
                          161
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          216,
                          129,
                          221,
                          84,
                          82,
                          95,
                          74,
                          100,
                          113,
                          54,
                          243,
                          237,
                          154,
                          193,
                          200
                        ]
                      },
                      {
                        "Bytes": [
                          1,
                          129,
                          2,
                          130,
                          62,
                          125,
                          65,
                          250,
                          187,
                          123,
                          36,
                          33,
                          84,
                          198,
                          249,
                          220,
                          191,
                          1,
                          10,
                          34,
                          176,
                          111
                        ]
                      },
                      {
                        "Bytes": [
                          247,
                          28,
                          140,
                          121,
                          6,
                          179,
                          22,
                          109,
                          182,
                          81,
                          109,
                          202,
                          183,
                          206,
                          180,
                          90,
                          236,
                          30,
                          81,
                          28,
                          249,
                          128,
                          178,
                          13,
                          241,
                          220,
                          243,
                          33,
                          180,
                          140,
                          155
                        ]
                      },
                      {
                        "Bytes": [
                          250,
                          197,
                          101,
                          154,
                          145,
                          27,
                          132,
                          113,
                          237,
                          159,
                          40,
                          33,
                          99,
                          2,
                          167,
                          242,
                          168,
                          253,
                          220,
                          236,
                          132,
                          153,
                          157,
                          198,
                          54,
                          169,
                          110,
                          77
                        ]
                      },
                      {
                        "Bytes": [
                          211,
                          159,
                          27,
                          91,
                          153,
                          64,
                          207,
                          40,
                          155,
                          230,
                          89,
                          252,
                          255,
                          243
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          147,
                          213,
                          82,
                          27,
                          48,
                          106,
                          143,
                          130,
                          222,
                          107,
                          172,
                          146,
                          21,
                          199,
                          35,
                          105,
                          81,
                          12,
                          61,
                          106,
                          25,
                          215,
                          152,
                          150,
                          41
                        ]
                      },
                      {
                        "Bytes": [
                          105,
                          171,
                          228,
                          63,
                          53,
                          233,
                          229,
                          237,
                          118,
                          235,
                          184,
                          224,
                          254,
                          174,
                          115,
                          162
                        ]
                      },
                      {
                        "Bytes": [
                          56,
                          8,
                          57,
                          23,
                          111,
                          18,
                          77,
                          210,
                          220,
                          77,
                          117
                        ]
                      },
                      {
                        "Bytes": [
                          127
                        ]
                      },
                      {
                        "Bytes": [
                          81,
                          141,
                          76,
                          212,
                          140,
                          178,
                          177,
                          139,
                          24,
                          33
                        ]
                      },
                      {
                        "Bytes": [
                          239,
                          243,
                          10
                        ]
                      },
                      {
                        "Bytes": [
                          112,
                          162,
                          167,
                          185,
                          112,
                          112,
                          193,
                          14,
                          132,
                          92,
                          154,
                          240,
                          98,
                          54,
                          149,
                          41,
                          55,
                          2,
                          54,
                          181,
                          133,
                          125,
                          100,
                          171,
                          255,
                          18
                        ]
                      },
                      {
                        "Bytes": [
                          145,
                          185,
                          132,
                          171,
                          194,
                          223,
                          145,
                          22,
                          93,
                          4,
                          144,
                          242,
                          190,
                          212,
                          126,
                          205,
                          214,
                          152,
                          63,
                          48,
                          229
                        ]
                      },
                      {
                        "Bytes": [
                          28,
                          252,
                          23
                        ]
                      },
                      {
                        "Bytes": [
                          163,
                          123,
                          212,
                          111,
                          110,
                          119,
                          40,
                          194,
                          74,
                          18,
                          21,
                          120,
                          233,
                          215,
                          107,
                          141,
                          107,
                          240,
                          33,
                          55,
                          193,
                          3,
                          164,
                          74
                        ]
                      },
                      {
                        "Bytes": [
                          186,
                          97,
                          65,
                          233,
                          95,
                          225,
                          92,
                          72,
                          173,
                          57,
                          73,
                          68,
                          221,
                          113,
                          197
                        ]
                      },
                      {
                        "Bytes": [
                          214,
                          150,
                          154,
                          39,
                          88,
                          98,
                          173,
                          84,
                          54,
                          247,
                          201,
                          229,
                          245,
                          116,
                          212,
                          170,
                          83,
                          142,
                          195,
                          168,
                          38
                        ]
                      },
                      {
                        "Bytes": [
                          96,
                          10,
                          90,
                          24,
                          139,
                          172,
                          54,
                          2,
                          8,
                          221,
                          29,
                          111,
                          1,
                          40,
                          65,
                          238,
                          160,
                          250,
                          8
                        ]
                      },
                      {
                        "Bytes": [
                          223,
                          15,
                          104,
                          177,
                          155,
                          208,
                          99,
                          59,
                          223,
                          34,
                          151,
                          206,
                          193,
                          206,
                          110,
                          217,
                          214,
                          199,
                          198,
                          131,
                          231,
                          7,
                          247,
                          28,
                          182,
                          204
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          128,
                          173,
                          247,
                          61,
                          36,
                          188,
                          76,
                          168,
                          23,
                          161,
                          164,
                          70,
                          206,
                          156
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          62,
                          31,
                          238,
                          200,
                          0,
                          57,
                          222,
                          43,
                          75,
                          11,
                          137,
                          144,
                          250,
                          231,
                          103,
                          146,
                          26,
                          140,
                          183,
                          54,
                          134,
                          168,
                          126,
                          129,
                          136
                        ]
                      },
                      {
                        "Bytes": [
                          122,
                          213,
                          64,
                          92,
                          121,
                          31,
                          208,
                          210,
                          214,
                          164,
                          218,
                          22,
                          32,
                          176,
                          170,
                          128,
                          201,
                          91,
                          94,
                          120,
                          96,
                          236,
                          210,
                          16,
                          104,
                          13,
                          42,
                          91
                        ]
                      },
                      {
                        "Bytes": [
                          27,
                          64,
                          14,
                          3,
                          245,
                          29,
                          42,
                          241,
                          13,
                          155,
                          102,
                          221,
                          8,
                          189,
                          238,
                          186,
                          143,
                          7,
                          156,
                          218,
                          44,
                          229,
                          49,
                          36,
                          32,
                          53
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          75,
                          145,
                          244,
                          165,
                          190,
                          184,
                          136,
                          97,
                          47,
                          14,
                          236,
                          126,
                          47,
                          206,
                          226,
                          79,
                          71,
                          40,
                          76,
                          230,
                          159,
                          46,
                          187,
                          175
                        ]
                      },
                      {
                        "Bytes": [
                          230,
                          50,
                          196,
                          162,
                          114,
                          114,
                          207,
                          218,
                          102,
                          53,
                          134,
                          45,
                          53,
                          235,
                          132,
                          211,
                          171,
                          51,
                          200,
                          76,
                          112,
                          116,
                          71,
                          206,
                          241,
                          29,
                          133,
                          152,
                          142,
                          17,
                          172
                        ]
                      },
                      {
                        "Bytes": [
                          153,
                          104,
                          80,
                          133,
                          12,
                          92,
                          138,
                          202,
                          75,
                          204,
                          187,
                          39
                        ]
                      },
                      {
                        "Bytes": [
                          243,
                          209,
                          87,
                          16,
                          183,
                          39,
                          215,
                          184,
                          200,
                          40,
                          123,
                          114,
                          92,
                          155,
                          83,
                          21,
                          118,
                          10,
                          185,
                          55,
                          91,
                          20,
                          191,
                          36
                        ]
                      },
                      {
                        "Bytes": [
                          113,
                          226,
                          0,
                          133,
                          205,
                          56,
                          7,
                          79,
                          17,
                          126,
                          228,
                          95,
                          21
                        ]
                      },
                      {
                        "Bytes": [
                          159
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          79,
                          56,
                          208,
                          217,
                          135,
                          108,
                          202,
                          101,
                          22,
                          103,
                          14,
                          163,
                          224,
                          60,
                          4,
                          240,
                          187,
                          14,
                          95,
                          53,
                          86,
                          186,
                          158,
                          130,
                          142
                        ]
                      },
                      {
                        "Bytes": [
                          174,
                          30,
                          61,
                          109,
                          162,
                          180,
                          56,
                          11,
                          118,
                          176,
                          185,
                          88
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          90,
                          229,
                          132,
                          44,
                          244,
                          104,
                          73,
                          41,
                          12,
                          26,
                          70,
                          133,
                          62,
                          139,
                          67,
                          145,
                          65,
                          197,
                          142,
                          6,
                          205,
                          170,
                          153
                        ]
                      },
                      {
                        "Bytes": [
                          224,
                          231,
                          65,
                          72,
                          40,
                          253,
                          55,
                          165,
                          58,
                          31,
                          137,
                          239,
                          250,
                          134,
                          40
                        ]
                      },
                      {
                        "Bytes": [
                          197,
                          250,
                          43,
                          95,
                          40,
                          59,
                          235,
                          159,
                          203,
                          99,
                          39,
                          111,
                          198
                        ]
                      },
                      {
                        "Bytes": [
                          8,
                          124,
                          36,
                          201,
                          111,
                          120,
                          27,
                          148,
                          213,
                          39,
                          79
                        ]
                      },
                      {
                        "Bytes": [
                          169,
                          183,
                          205,
                          55,
                          22
                        ]
                      },
                      {
                        "Bytes": [
                          225,
                          45
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          182,
                          25,
                          6,
                          155,
                          103,
                          56,
                          56,
                          238,
                          207,
                          6,
                          32,
                          202,
                          168,
                          198,
                          51,
                          102,
                          193,
                          212,
                          147,
                          120,
                          114,
                          96,
                          14,
                          212,
                          249,
                          234,
                          29,
                          42
                        ]
                      },
                      {
                        "Bytes": [
                          146,
                          6,
                          210,
                          149,
                          115,
                          83,
                          123,
                          231,
                          19,
                          240,
                          211,
                          157,
                          217,
                          84,
                          226,
                          27,
                          85,
                          9,
                          139,
                          108,
                          222,
                          112,
                          82,
                          136,
                          184,
                          228
                        ]
                      },
                      {
                        "Bytes": [
                          171,
                          233,
                          184,
                          249,
                          222,
                          255
                        ]
                      },
                      {
                        "Bytes": [
                          218,
                          151,
                          109,
                          221
                        ]
                      },
                      {
                        "Bytes": [
                          235,
                          175,
                          212,
                          127,
                          6,
                          176
                        ]
                      },
                      {
                        "Bytes": [
                          253,
                          71,
                          51,
                          59,
                          48,
                          155,
                          211,
                          46,
                          136,
                          115,
                          206,
                          120,
                          193,
                          144,
                          255,
                          142,
                          20
                        ]
                      },
                      {
                        "Bytes": [
                          228,
                          243,
                          83,
                          130,
                          193,
                          9,
                          93,
                          116,
                          72,
                          17,
                          30,
                          141
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3c6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb84315bb428266faac8a416efaa9fac403d95c97f75d6b2ed6f85116df86003e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x863eb8cbba796698ecc803ec07dbe234391da43eabb16172a20ddf913847985a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9e5ade79ab6384c6fb36a76a42e3d43059d68b68b236a0a4aec20f7ca13acd17",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9fe71ac4138786fe88ee69d89f13b52a7dc0fec6f3bde8033cdadeaaa0b9d65b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x35",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5f8a0a4b26313e3cab6a8994afac814a1a8741962889fae59a97b09a65214e17",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x6bafbb7712171895a3697ed7272bdeaba9bb2d7682197292f375e053b4482a58",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x26b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x446b318cd41ca298f1613096f45a4d489619f37c00c6aa64a13138fd69d48e6b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x20c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xea934368994362e9fbd87076b8cdb85b583b75c9e093c6bb2d6ceccbd3a2e99d",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x12e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x30",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x382ce583be0d2f01e518d56f84d7abbb8e1b04f96b7063710c38ae23662fe768",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x8901beb8d816457c50f16e3f50c3d150b02addb7c7a9a3fe9eeb1ad07e931076",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x156b98d69a6272f97b3f29b57f0d1aa841299f7fa71f36ffdc7948a72bdac2c5",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1acccb9f8b15e145fe952e1880e8225c7a4c71ee958f93a3230f1fbe8a303d56",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x484ddc2157e45f07010d20000a18e9d110f727877376a98553d5a7ebd142d050",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xd664a9d41497540f8d4471f853ef787fcc6ebaceaa62238fd81be2de25637762",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa4a34e02b3fe743975138816d310ca7f7e8fd19fd332096e713b4e893f09ea78",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x270b58e6f71441c4b15b3ef58b92a65631f3fc4904db15355e1fdc4218e84355",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1c43e29f3255b55883248c1864f1b92d1f0ea0489890f5816f307549cf9541c5",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x21",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x18986dfa25af912508ca56501446ac8ae1f00591dc79ea720c4530fd6c5c86ee",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5512022f7139e5c87bc6c1838341c24",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc701d86d8e6b1d3d03df25e0fe5f651b072267fe4714da2fed94233ce7e190c2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x19a990a57091cd558539ef21fd8b42e9af83e26683e121381a4199d689636b88",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5cc1e4e948d9da307bc10943c37786e3904e56eb8dcc8bc27778ecb14b3778af",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xeaef1b82041338dcb401d8a81a3a7362ac3e6cb850e557e17a3920904690d523",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x2ca",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7b98f70a31e518804b7157c3c4491e0a85ec360cc33422e15d6b8cdb6a659f73",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1bb5eddf5948964e28dedd9f7660792fd92da59cbb67e15f2be56a578d636d43",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xda1a6dad",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7c65de1cbed305ff88b447283a648d99e03887a5dfaa2b576f35fcaf849dc93d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x600dfd6b16a04991ed631388b1109eb0fc6e0aa0e285de441aefeba6af49ff64",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1a411a439f8f9b264251ba8373336a746b58776aa8e30d8fb9e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x9c3e8dc9957460e8a9327aa2b1466f1439b5e428e9ac77e27951dfedb51911b6",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x26d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa256afcb156149749981e6d9eb9abc0034e7b012c95eee7bb036807b746c102d",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xdbd6bf068386dfa7a8015b8028ce1027362e618ba3f0eee2260cbe075b7a0a0a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc43fd11b61a37a72a93770f85a718ab748e455c7f002242d6b7a3b960c9540b0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x36d6c390a5ba71591c752a8bf7e16cba1f99c40dff3f494f25050676f06d41c5",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xa24283cf19b0b451b6c9d8216e02b8b800a8c5c17beb9dcff69527e620f25470",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xeda1e7f883e3e19003e16273f800c6d9b03fc1b490fb17fcfbdb249355d8ea17",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc675ee97ba6c51559f3a49f6163ded37a44173758d87bcd6e45156806e7f89b9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82998,
      9254
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      919,
      12031
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_sumStrategyAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37696,
      20615
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54554,
      3316
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSources",
        "args": [
          {
            "Array": [
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0xd6bbde9174b1cdaa358d2cf4d57d1a9f7178fbff"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
              },
              {
                "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
              },
              {
                "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0x212224d2f2d262cd093ee13240ca4873fccbba3c"
              },
              {
                "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0x92a6649fdcc044da968d94202465578a9371c7b1"
              },
              {
                "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              }
            ]
          },
          {
            "Array": [
              {
                "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0xe8dc788818033232ef9772cb2e6622f1ec8bc840"
              },
              {
                "Address": "0xf62849f9a0b5bf2913b396098f7c7019b51a820a"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
              },
              {
                "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
              },
              {
                "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x4d",
                  8
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      142424,
      1818
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5283,
      4924
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7264,
      37326
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x79633be4ab649efe52248cc270df5815ef378b43d3c64b0867990b311dabb978",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      195418,
      29469
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "MAX_ROUNDING_ERROR",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      173032,
      58523
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED",
        "args": [
          {
            "Uint": [
              "0x2b",
              256
            ]
          },
          {
            "Uint": [
              "0x4555d12a0096757a3deff7c8623bd91db6c8d1de55ad33410e56b182e1e5844c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      216999,
      43029
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0x35",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58545,
      788
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_slashStake",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6000,
      2357
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_5_ASSERTION_ERC7540_5",
        "args": [
          {
            "Uint": [
              "0x11e22b5bd0f3a9450d932676954e202ee7a0761a24dd25c5465f04f33c49abb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77693,
      7516
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x883816205341a6ba3c32ae8dadcebdd9d59bc2c4"
          },
          {
            "Uint": [
              "0x313",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      34032
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeRemoveIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58400,
      15251
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50303,
      218
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_invalidateNonce",
        "args": [
          {
            "FixedBytes": [
              "0x000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      292479,
      11074
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_burnShares",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71820,
      2969
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x932e14485eecc0fc23c891a8a3fca00d021f33f13ae09dab6fc986af2145b9b5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22436,
      4798
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86436,
      7598
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSourceOracle_setValidAsset_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21960,
      23866
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_claimUpkeep",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43138,
      4730
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_5",
        "args": [
          {
            "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x58c6a39599780d7ac282dfad3e17cc47b9f28f7bdf886ae912437db17b297b66",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9079,
      2006
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit5115",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "Bool": false
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1327,
      27243
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0xbe",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      519412,
      59134
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
          },
          {
            "Address": "0x0000000000000000000000000000000000000200"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5421,
      22099
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalSharesDontDecreaseOnRedemptionRequest",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25195,
      44020
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40218,
      46414
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem5115",
        "args": [
          {
            "Address": "0xa4ad4f68d0b91cfd19687c881e50f3a00242828c"
          },
          {
            "Uint": [
              "0xf1f05e68ee307c552efddfb2c252d47ac80fe313371d19032a72a3db159ee4ae",
              256
            ]
          },
          {
            "Address": "0x1d1499e622d69689cdf9004d05ec547d650ff211"
          },
          {
            "Uint": [
              "0x6",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8450,
      59571
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setLossOnWithdraw",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81223,
      11335
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_requestRedeem",
        "args": [
          {
            "Uint": [
              "0xab2ba384ebe924d9f2799edef70ef86b567b7e9ba8fda24606c4c9023c548c7e",
              256
            ]
          },
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25423,
      413
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transferFrom",
        "args": [
          {
            "Address": "0x886d6d1eb8d415b00052828cd6d5b321f072073d"
          },
          {
            "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
          },
          {
            "Uint": [
              "0x28e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      510721,
      19342
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44362,
      58499
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0x610b1d5bdcd154a6fc56929ef5adad6c5fa70fb45ff1729f34e47fc8aadf6264",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      68122,
      24430
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0x9c6134d85f49a52b42e0b47d7c15af201a1e9aa0a29ef63c4ef264792f49c0c3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      312490,
      17571
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
          },
          {
            "Uint": [
              "0x474ca700c046f2a185308d63c45586fc8c6ba6e20ef1310cad3204a91c211344",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83275,
      8614
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0xd82a687fa1b8902f7867ae345bc1c0441d5b1131959ece3b0da02d6e2d1e247b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67685,
      10783
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0xfe",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19597,
      37013
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x4a3344e0f037419d08b049dd01e4ec166c229721e3621f4da428b77eaef22e17",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4366,
      18505
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setFulfilledDifference",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70193,
      5641
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Deposit",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56061,
      17835
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesGtPendingRequests",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      402,
      29712
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19241,
      14480
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000200"
          },
          {
            "Uint": [
              "0xaf8db0c17afde17e8e1ccacf3833d407",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4710,
      18920
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0xed819af84134025ca340c8374712a3474f35b84755dcc69e85880ad0bd6e2526",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      423753,
      10917
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26760,
      25137
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56515,
      14344
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          },
          {
            "Uint": [
              "0x2000000000000000000000000000000",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1999,
      57450
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setOperator",
        "args": [
          {
            "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2489,
      18899
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          },
          {
            "Uint": [
              "0x64aadc6920566d8950ea757f198556d335bfbbffd3f6ac75ede8bb7476b5d548",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      118301,
      723
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelDepositRequest",
        "args": [
          {
            "Uint": [
              "0x5425c83cca0efcefed4db72bda02530b5fe07cf08f0abb740df1d633a1db1396",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0xaac3ab546bf66e285c92f664c9924929a1027fc4"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65868,
      46533
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41601,
      23166
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20644,
      31791
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalSharesDontDecreaseOnRedemptionRequest",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62350,
      5915
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_setOperator",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78727,
      43992
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32670,
      1447
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchRandom",
        "args": [
          {
            "Uint": [
              "0x4a04c26ed65e596b2e45149350c66af7b69fbaffba67c2950e7ec79152e78964",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74792,
      18605
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_1",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1649,
      13497
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0xce25ab188e7b444490ca8c7e5e0c03881ca90623"
          },
          {
            "Uint": [
              "0x9389dca7357bb94343b9502e6233cded",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45325,
      28474
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_escrowBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      962,
      2182
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_redeem",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29412,
      3887
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee",
        "args": [
          {
            "Uint": [
              "0x38",
              8
            ]
          },
          {
            "Uint": [
              "0xd18f3479f7f6f6d8076d900581c32a3cb5c68cca67365070d2e3a9ebd0075cd5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7717,
      53041
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_proposeChangePrimaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      407,
      2226
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeUpkeepPaymentsChange_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      588161,
      5408
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeVaultFeeConfigUpdate",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2990,
      44383
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_erc7540_2",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48474,
      47421
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_claimCancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x9323dde0d5cb246821bea80ff58ffa392f52aaeb367277862696c0bcbeeb2148",
              256
            ]
          },
          {
            "Address": "0x2a07706473244bc757e10f2a9e86fb532828afe3"
          },
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2107,
      48740
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0x8978587b6be26a4bea6731755f2cbb484bd505a294d3030108533b0462c8dd43",
              256
            ]
          },
          {
            "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2090,
      19829
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
          },
          {
            "Uint": [
              "0x5f",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      455014,
      30900
    ]
  }
]