[
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81755,
      6125
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x42524894cb2592b1fc6a1175bdf3c9cfa7011f87fe0a53206a74c21a3a96f255",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18556,
      2547
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_getRandomActor",
        "args": [
          {
            "Uint": [
              "0x2f1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      6416
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnMoreThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1147,
      21061
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations7540",
        "args": [
          {
            "Uint": [
              "0x62",
              8
            ]
          },
          {
            "Address": "0xe2c29b0e3f111749433d97b254f17e3315190d8f"
          },
          {
            "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81514,
      1623
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80566,
      36624
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_accumulatorCostBasisIncrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x55b433ec1433aa0e3",
    "delay": [
      67140,
      28482
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6071,
      36679
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0x000000000000000000000000000000000000beef"
          },
          {
            "Uint": [
              "0x6e14dad67523aec695d3832bf13867688c4f44d047ff73c28f00be9857960c5f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22831,
      1407
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_cancelRedeemRequest",
        "args": [
          {
            "Uint": [
              "0x2505b8619bd6689c9f2e6cacfaff79855d4c5049502c395a9c74452",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85157,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate_clamped",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      91151,
      10142
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10992,
      1995
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeFee_clamped",
        "args": [
          {
            "Uint": [
              "0x96fa8c4952a6cc5c673fcad97f46595b0b9e5b51bc80bc488c1f9d9a28d3efc8",
              256
            ]
          },
          {
            "Uint": [
              "0xbdb3743c40454b42dfa8b1aedd39c421036a6013bfc1eb77960bf02939ff514d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6431,
      10036
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      164704,
      7381
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_updatePPSVerificationThresholds",
        "args": [
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          },
          {
            "Uint": [
              "0x8a",
              256
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28482,
      27399
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_createVault",
        "args": [
          {
            "Tuple": [
              {
                "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
              },
              {
                "String": " &w %"
              },
              {
                "String": ":rfdz;)b+EFF=)7VZv  "
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Array": [
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  },
                  {
                    "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
                  }
                ]
              },
              {
                "Uint": [
                  "0xc60f23e28b1880618e29b300552b6d07df43c069a5dbcc41a091ba0514721633",
                  256
                ]
              },
              {
                "Uint": [
                  "0x2d",
                  256
                ]
              },
              {
                "Tuple": [
                  {
                    "Uint": [
                      "0x67",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa724b05b8a4ab772007517892baa0c47a3499825ed77b0012bfbdc21a765878e",
                      256
                    ]
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      256,
      45562
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "switch_asset",
        "args": [
          {
            "Uint": [
              "0xea74e387f03d6b1767d3dae71c51d9f63d7ae17f0623b3e6bbf95906008fc246",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59497,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalSharesDontDecreaseOnRedemptionRequest",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86040,
      33405
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_executeHooks_clamped",
        "args": [
          {
            "Array": [
              {
                "Uint": [
                  "0x0",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Uint": [
                  "0x0",
                  256
                ]
              },
              {
                "Uint": [
                  "0x0",
                  256
                ]
              }
            ]
          },
          {
            "Array": [
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              },
              {
                "Bool": true
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0xf3db",
    "delay": [
      64977,
      59761
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_maxDustAccumulation",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39899,
      502
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_oraclePPSDoesntChangeOnAddOrRemove",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      409233,
      59024
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "asset_approve",
        "args": [
          {
            "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
          },
          {
            "Uint": [
              "0x4",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18006,
      8854
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_mint",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x5d9aec0585e303e2d99640ecee8982ac590471d40d0fc37c9935f1eb48505dd2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8170,
      44387
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager",
        "args": [
          {
            "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60860,
      24296
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_deposit",
        "args": [
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          },
          {
            "Uint": [
              "0x4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1503,
      2300
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC5115",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      906,
      215
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "_fulfillRedeemRequestsArgs",
        "args": [
          {
            "Uint": [
              "0xc05a5bce85ddfa3430cbc9c041bb6c847f7591eab4eb6fc513d3f589910c2b98",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13877,
      10221
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optimize_burnLessThanRequestedInRedemption",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      1075
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64145,
      55227
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0x94",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      402461,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_moveAccumulatorOnTransfer",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      202236,
      3058
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_setOperator",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66600,
      6767
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setPreviewSharesGreater",
        "args": [
          {
            "Uint": [
              "0xbead56c1b8b27e45581128aad6eef2a447f3a6d7b7024c4d5bfd900b88d6db82",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28047,
      16973
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeAuthorizedCaller",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7459,
      52055
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_updateMaxPPSSlippage",
        "args": [
          {
            "Uint": [
              "0xf63b71636e3b1cfc061cf60b824e2a626780885f48044a4ec77b170692b0affd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9052,
      8803
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeAddIncentiveTokens",
        "args": [
          {
            "Array": [
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x6afc743aa4e9d98d0f53ff111996e9817d79d301"
              },
              {
                "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x0000000000000000000000000000000000000100"
              },
              {
                "Address": "0x5c1a9cf588d1e0ac378e26035b6147ffb1c8b49d"
              },
              {
                "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x000000000000000000000000000000000000beef"
              },
              {
                "Address": "0x13aa49bac059d709dd0a18d6bb63290076a702d7"
              },
              {
                "Address": "0x0000000000000000000000000000000000000200"
              },
              {
                "Address": "0x00000000000000000000000000000002fffffffd"
              },
              {
                "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
              },
              {
                "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
              },
              {
                "Address": "0x00000000000000000000000000000001fffffffe"
              },
              {
                "Address": "0x7fa9385be102ac3eac297483dd6233d62b3e1496"
              },
              {
                "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x1e1cf94e79509812f961887accc68a01977cf72c"
              },
              {
                "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              },
              {
                "Address": "0x00000000000000000000000000000000ffffffff"
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69100,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeFeeUpdate",
        "args": [
          {
            "Uint": [
              "0x49",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30900,
      39516
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT",
        "args": [
          {
            "Uint": [
              "0xc364efa1b5fa2a32af8bed5412c2741eea597f9188b4c3e5705197f262d7bcf2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52240,
      786
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_withdraw_clamped",
        "args": [
          {
            "Uint": [
              "0xfc0f7a0a147a8e6e72b0762f21e25f124e4718109612331086dacff71ea32d63",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75432,
      15958
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_totalAssets",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66841,
      4903
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_withdraw",
        "args": [
          {
            "Address": "0xd16d567549a2a2a2005aeacf7fb193851603dd70"
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2818,
      19936
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_transfer",
        "args": [
          {
            "Address": "0x3381cd18e2fb4db236bf0525938ab6e43db0440f"
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8190,
      7592
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_escrowShares",
        "args": [
          {
            "Address": "0x0000000000000000000000000000000000000200"
          },
          {
            "Uint": [
              "0x14238dfc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6458,
      295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59446,
      24186
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setLossOnWithdraw",
        "args": [
          {
            "Uint": [
              "0xcf8f778f913eeabc5de189f1cd3ac5e5ca58479e61d12eaaee1a443f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41051,
      5455
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxDepositZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      222464,
      5483
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT",
        "args": [
          {
            "Uint": [
              "0xabf00f50d74fd27883d70c0a5957537a4038f55c704338c77bafc739ff942e6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5953,
      53594
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_shareSolvency",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42148,
      1244
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageYieldSource_clamped",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19600,
      58340
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4520,
      18176
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_2",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8269,
      35137
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      527678,
      56957
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x3270ee63bcb01c8564d35e9060b28e06898a487d0b31bef2413be15972f8b4b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53943,
      6217
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_approve",
        "args": [
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36268,
      27762
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_initialize",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4504,
      2894
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0xd3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59507,
      53647
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83122,
      1210
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      588570,
      37520
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_4_withdraw",
        "args": [
          {
            "Address": "0xa0cb889707d426a7a386870a03bc70d1b0697598"
          },
          {
            "Uint": [
              "0x1c0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3149,
      3977
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "add_new_asset",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4407,
      20781
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_manageEmergencyWithdraw",
        "args": [
          {
            "Uint": [
              "0xeb",
              8
            ]
          },
          {
            "Address": "0x83898d1f3c03189ff03b471dd3456908fca4423d"
          },
          {
            "Uint": [
              "0x216",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6430,
      2726
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2329,
      3258
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_simulateLoss",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      425545,
      37467
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50609,
      18523
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM",
        "args": [
          {
            "Uint": [
              "0xe411f0649ab4f2e3d3725052cbdec103a6e810bc249d9c2ab97892d6096cc439",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82738,
      58641
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      472229,
      5953
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "erc7540_7_redeem",
        "args": [
          {
            "Address": "0x3c4293f66941eca00f4950c10d4255d5c271baef"
          },
          {
            "Uint": [
              "0x2e46778e265e1bfc45b86f62a3cd8bd874a49d64bea252aff6a19a640a93d738",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82279,
      35434
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "ECDSAPPSOracle_updatePPS",
        "args": [
          {
            "Tuple": [
              {
                "Array": [
                  {
                    "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x94771550282853f6e0124c302f7de1cf50aa45ca"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000100"
                  },
                  {
                    "Address": "0x00000000000000000000000000000002fffffffd"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
                  },
                  {
                    "Address": "0x2e234dae75c793f67a35089c9d99245e1c58470b"
                  },
                  {
                    "Address": "0x15cf58144ef33af1e14b5208015d11f9143e27b9"
                  },
                  {
                    "Address": "0x96d3f6c20eed2697647f543fe6c08bc2fbf39758"
                  },
                  {
                    "Address": "0x00000000000000000000000000000001fffffffe"
                  },
                  {
                    "Address": "0xda5a5adc64c8013d334a0da9e711b364af7a4c2d"
                  },
                  {
                    "Address": "0xfba4570abdcdf5cbc597d041449d00973a563733"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0xe54a55121a47451c5727adbaf9b9fc1643477e25"
                  },
                  {
                    "Address": "0x89ca9f4f77b267778eb2ea0ba1beadee8523af36"
                  },
                  {
                    "Address": "0x3d7ebc40af7092e3f1c81f2e996cba5cae2090d7"
                  },
                  {
                    "Address": "0x000000000000000000000000000000000000beef"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0x8227724c33c1748a42d1c1cd06e21ab8deb6eb0a"
                  },
                  {
                    "Address": "0x3cff5e7ebecb676c3cb602d0ef2d46710b88854e"
                  },
                  {
                    "Address": "0x00000000000000000000000000000000ffffffff"
                  },
                  {
                    "Address": "0xdb25a7b768311de128bbda7b8426c3f9c74f3240"
                  },
                  {
                    "Address": "0x0000000000000000000000000000000000000200"
                  },
                  {
                    "Address": "0x796f2974e3c1af763252512dd6d521e9e984726c"
                  },
                  {
                    "Address": "0x27cc01a4676c73fe8b6d0933ac991bff1d77c4da"
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Array": [
                      {
                        "Bytes": [
                          225,
                          23,
                          40,
                          201,
                          197,
                          239,
                          26,
                          243,
                          102,
                          10,
                          91,
                          88,
                          189,
                          130
                        ]
                      },
                      {
                        "Bytes": [
                          59,
                          9,
                          63,
                          117,
                          229,
                          255,
                          124,
                          208,
                          182,
                          172,
                          208,
                          233,
                          240,
                          166,
                          169,
                          10
                        ]
                      },
                      {
                        "Bytes": [
                          83,
                          153,
                          31,
                          52,
                          6,
                          236,
                          149,
                          209,
                          121,
                          165,
                          107,
                          224,
                          19,
                          197,
                          165,
                          200,
                          131,
                          97,
                          141,
                          28,
                          81,
                          81,
                          234,
                          141,
                          2,
                          153,
                          215,
                          198,
                          173,
                          245
                        ]
                      },
                      {
                        "Bytes": [
                          32,
                          244,
                          165,
                          99,
                          126,
                          157,
                          173,
                          247,
                          68,
                          224,
                          69,
                          68,
                          10,
                          203,
                          82,
                          241,
                          15,
                          119,
                          120,
                          245,
                          3,
                          71,
                          221
                        ]
                      },
                      {
                        "Bytes": [
                          254,
                          236,
                          215,
                          1,
                          235,
                          20,
                          189,
                          105,
                          195,
                          196,
                          114,
                          125,
                          105,
                          119
                        ]
                      },
                      {
                        "Bytes": [
                          83,
                          160,
                          143,
                          136,
                          0,
                          103,
                          128,
                          59,
                          157,
                          115,
                          149,
                          174,
                          190,
                          169,
                          158,
                          116,
                          111,
                          175
                        ]
                      },
                      {
                        "Bytes": [
                          96,
                          117,
                          29,
                          248
                        ]
                      },
                      {
                        "Bytes": [
                          62,
                          2,
                          178,
                          152,
                          4,
                          179,
                          151,
                          63,
                          117
                        ]
                      },
                      {
                        "Bytes": [
                          52,
                          155,
                          9,
                          119
                        ]
                      },
                      {
                        "Bytes": [
                          108,
                          66,
                          201,
                          24,
                          225,
                          152,
                          116
                        ]
                      },
                      {
                        "Bytes": [
                          94,
                          128,
                          203,
                          81,
                          28,
                          108,
                          165,
                          197,
                          207,
                          140,
                          189,
                          0,
                          90,
                          104,
                          111,
                          117,
                          29,
                          165,
                          175
                        ]
                      },
                      {
                        "Bytes": [
                          157,
                          149,
                          87,
                          99,
                          81,
                          212,
                          85,
                          147,
                          128,
                          19,
                          86,
                          164,
                          46
                        ]
                      },
                      {
                        "Bytes": [
                          209,
                          102,
                          187,
                          171,
                          89,
                          32,
                          246,
                          226,
                          211,
                          3,
                          180,
                          146,
                          98,
                          190,
                          104,
                          184,
                          29,
                          213,
                          182,
                          215,
                          174,
                          232
                        ]
                      },
                      {
                        "Bytes": [
                          147,
                          211,
                          110,
                          232,
                          185,
                          39,
                          42,
                          61,
                          27,
                          178,
                          122,
                          6,
                          8,
                          7,
                          201,
                          94,
                          88,
                          95,
                          17,
                          150,
                          15,
                          222,
                          244,
                          115
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          146,
                          179,
                          158,
                          33,
                          196,
                          117,
                          55,
                          183,
                          115,
                          235,
                          226,
                          68,
                          69,
                          69,
                          61,
                          0,
                          217,
                          82,
                          73,
                          239,
                          19,
                          221,
                          154,
                          33,
                          26,
                          241,
                          41
                        ]
                      },
                      {
                        "Bytes": [
                          58,
                          81,
                          25,
                          33,
                          46,
                          32,
                          172,
                          46,
                          122,
                          212,
                          136,
                          134,
                          130,
                          246,
                          182,
                          173,
                          86,
                          33,
                          88,
                          60,
                          96,
                          154,
                          246,
                          109,
                          124,
                          125,
                          133,
                          226,
                          244
                        ]
                      },
                      {
                        "Bytes": [
                          179,
                          19,
                          183,
                          71,
                          114,
                          250,
                          92,
                          68,
                          66,
                          113,
                          114,
                          154,
                          4,
                          22,
                          228,
                          58,
                          224,
                          238,
                          57,
                          128,
                          76,
                          201,
                          90,
                          0,
                          233,
                          41,
                          10,
                          224
                        ]
                      },
                      {
                        "Bytes": [
                          226,
                          62,
                          53,
                          52,
                          202,
                          9
                        ]
                      },
                      {
                        "Bytes": [
                          11,
                          223,
                          174,
                          129,
                          48,
                          175,
                          150
                        ]
                      },
                      {
                        "Bytes": [
                          6,
                          133,
                          106,
                          63,
                          236,
                          47,
                          228,
                          82,
                          200,
                          40,
                          220
                        ]
                      },
                      {
                        "Bytes": [
                          144,
                          176,
                          48,
                          130,
                          26,
                          185,
                          90,
                          80,
                          243,
                          231,
                          89,
                          158,
                          77,
                          67,
                          105,
                          6
                        ]
                      },
                      {
                        "Bytes": [
                          213,
                          84
                        ]
                      },
                      {
                        "Bytes": [
                          149,
                          98,
                          65,
                          255,
                          205,
                          109,
                          233,
                          75,
                          201,
                          225,
                          147,
                          56,
                          195,
                          197,
                          93,
                          174,
                          67,
                          154,
                          230,
                          129,
                          99,
                          37,
                          118,
                          231,
                          114,
                          85
                        ]
                      },
                      {
                        "Bytes": [
                          186,
                          158,
                          50,
                          53,
                          38,
                          51,
                          51,
                          253,
                          44
                        ]
                      },
                      {
                        "Bytes": [
                          87,
                          144,
                          122,
                          245,
                          119,
                          136,
                          103,
                          213,
                          157,
                          121
                        ]
                      },
                      {
                        "Bytes": [
                          206,
                          142,
                          46,
                          60,
                          128,
                          191,
                          82,
                          195,
                          38,
                          43,
                          188,
                          124,
                          9,
                          44,
                          49
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          137,
                          81,
                          12,
                          56,
                          148,
                          79,
                          99,
                          229,
                          194,
                          170,
                          249,
                          21,
                          165,
                          212,
                          22,
                          25,
                          167,
                          170
                        ]
                      },
                      {
                        "Bytes": [
                          132,
                          12,
                          78,
                          242,
                          243,
                          109,
                          26,
                          143,
                          188,
                          90,
                          99,
                          184,
                          63,
                          70
                        ]
                      },
                      {
                        "Bytes": [
                          72,
                          26,
                          72,
                          148,
                          147,
                          254,
                          32,
                          226,
                          52,
                          10,
                          35,
                          156,
                          1,
                          173,
                          198,
                          75,
                          233,
                          54,
                          56,
                          17,
                          40,
                          119,
                          60,
                          71,
                          221,
                          91,
                          191,
                          92,
                          107
                        ]
                      },
                      {
                        "Bytes": [
                          230,
                          86,
                          32,
                          67,
                          6,
                          146,
                          244,
                          138,
                          177,
                          96,
                          250,
                          52,
                          25,
                          63,
                          121,
                          224,
                          230,
                          216,
                          22,
                          17,
                          64,
                          241
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          97,
                          225,
                          66,
                          73,
                          176,
                          57,
                          34,
                          249,
                          63,
                          162,
                          43,
                          225,
                          155,
                          24,
                          145,
                          132,
                          99,
                          19,
                          212,
                          35,
                          0,
                          226,
                          34,
                          150,
                          61,
                          64,
                          30,
                          223
                        ]
                      },
                      {
                        "Bytes": [
                          208,
                          145,
                          131,
                          191,
                          175,
                          88,
                          215,
                          230,
                          22,
                          12,
                          11,
                          133,
                          224,
                          2
                        ]
                      },
                      {
                        "Bytes": [
                          176,
                          20,
                          211,
                          212,
                          231,
                          183,
                          9,
                          97,
                          219,
                          192,
                          99,
                          36,
                          108,
                          7,
                          171,
                          220,
                          137,
                          193,
                          226,
                          99,
                          49
                        ]
                      },
                      {
                        "Bytes": [
                          219,
                          47,
                          44,
                          68,
                          117,
                          99,
                          134,
                          120,
                          235,
                          192,
                          58,
                          155,
                          130,
                          71,
                          185,
                          149,
                          62
                        ]
                      },
                      {
                        "Bytes": [
                          33,
                          176,
                          122,
                          177,
                          40,
                          151,
                          41,
                          105,
                          157,
                          152,
                          30,
                          198,
                          93,
                          153,
                          147,
                          133,
                          186,
                          67,
                          200,
                          38,
                          204
                        ]
                      },
                      {
                        "Bytes": [
                          116,
                          73,
                          160,
                          46,
                          27,
                          250,
                          157,
                          159,
                          10,
                          137,
                          0,
                          22,
                          87,
                          54,
                          154,
                          207,
                          203,
                          24,
                          42,
                          111
                        ]
                      },
                      {
                        "Bytes": [
                          192,
                          14,
                          254,
                          163,
                          156,
                          159,
                          8,
                          254,
                          219,
                          1,
                          68,
                          188,
                          194,
                          102,
                          78,
                          130,
                          62,
                          126,
                          170,
                          122,
                          67,
                          18,
                          76,
                          12,
                          199,
                          170,
                          7,
                          109,
                          31,
                          176,
                          126,
                          16
                        ]
                      },
                      {
                        "Bytes": [
                          12,
                          115,
                          189,
                          159,
                          169,
                          112,
                          169,
                          123,
                          23,
                          32,
                          168,
                          176,
                          217,
                          125,
                          236,
                          124,
                          66,
                          251,
                          111,
                          28,
                          97
                        ]
                      },
                      {
                        "Bytes": [
                          254,
                          203,
                          40,
                          131
                        ]
                      },
                      {
                        "Bytes": [
                          110,
                          103,
                          233,
                          222,
                          253,
                          242,
                          20,
                          31,
                          175,
                          112,
                          190,
                          34,
                          0,
                          108,
                          173,
                          42,
                          198,
                          230
                        ]
                      },
                      {
                        "Bytes": [
                          28,
                          113,
                          150,
                          92,
                          3,
                          127,
                          219,
                          170,
                          17,
                          48,
                          146,
                          174,
                          228,
                          152,
                          46
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          16,
                          184,
                          251,
                          147,
                          20,
                          194,
                          109,
                          76,
                          154,
                          144,
                          185
                        ]
                      },
                      {
                        "Bytes": [
                          84,
                          119,
                          11,
                          66,
                          152,
                          28,
                          97,
                          221,
                          254,
                          78
                        ]
                      },
                      {
                        "Bytes": [
                          73,
                          160,
                          115,
                          169,
                          61,
                          28,
                          143,
                          173,
                          53,
                          169,
                          161,
                          93,
                          16,
                          0,
                          168,
                          25,
                          54,
                          62,
                          94,
                          172,
                          81,
                          44,
                          84,
                          59
                        ]
                      },
                      {
                        "Bytes": [
                          149,
                          156,
                          172
                        ]
                      },
                      {
                        "Bytes": [
                          121,
                          134,
                          39,
                          108,
                          42,
                          180,
                          174,
                          153,
                          120,
                          195,
                          24
                        ]
                      },
                      {
                        "Bytes": [
                          225,
                          122,
                          176,
                          130,
                          81,
                          244,
                          45,
                          157,
                          69,
                          225,
                          181,
                          192
                        ]
                      },
                      {
                        "Bytes": [
                          135,
                          55,
                          135,
                          161
                        ]
                      },
                      {
                        "Bytes": [
                          87,
                          0,
                          39,
                          225,
                          50,
                          180,
                          240,
                          160,
                          173,
                          252,
                          9,
                          133,
                          219,
                          42,
                          211,
                          222,
                          227,
                          112,
                          142,
                          177,
                          78,
                          229,
                          100
                        ]
                      },
                      {
                        "Bytes": [
                          185,
                          217,
                          106,
                          239,
                          143,
                          129,
                          219,
                          34
                        ]
                      },
                      {
                        "Bytes": [
                          95,
                          241,
                          157,
                          209,
                          53,
                          220,
                          232,
                          89,
                          204,
                          24,
                          55,
                          133,
                          158,
                          165,
                          152,
                          47,
                          238,
                          113,
                          112
                        ]
                      },
                      {
                        "Bytes": [
                          20,
                          116,
                          49,
                          171,
                          230,
                          84,
                          195,
                          231,
                          62,
                          158,
                          200,
                          247,
                          97,
                          0,
                          157
                        ]
                      },
                      {
                        "Bytes": [
                          171
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          68,
                          103,
                          169,
                          35,
                          5,
                          116,
                          125,
                          5,
                          237,
                          218,
                          222,
                          21,
                          117,
                          102,
                          26,
                          198,
                          96,
                          247
                        ]
                      },
                      {
                        "Bytes": [
                          75,
                          201,
                          20,
                          130,
                          228,
                          7,
                          178,
                          207,
                          211,
                          203,
                          151,
                          20,
                          159,
                          218,
                          47,
                          128,
                          52,
                          47,
                          136,
                          184,
                          88,
                          223,
                          178,
                          60,
                          55,
                          235,
                          72,
                          66,
                          187,
                          43
                        ]
                      },
                      {
                        "Bytes": [
                          255,
                          105,
                          82,
                          240,
                          201,
                          58,
                          207,
                          248,
                          22,
                          63,
                          77,
                          44,
                          225,
                          250
                        ]
                      },
                      {
                        "Bytes": [
                          124
                        ]
                      },
                      {
                        "Bytes": [
                          72,
                          69,
                          15,
                          114,
                          135,
                          235,
                          88,
                          116,
                          151,
                          114
                        ]
                      },
                      {
                        "Bytes": [
                          169,
                          177,
                          33,
                          198,
                          159,
                          87,
                          46,
                          125,
                          214,
                          128,
                          189,
                          108,
                          181,
                          176,
                          148,
                          173,
                          16,
                          188
                        ]
                      },
                      {
                        "Bytes": [
                          222,
                          92,
                          134,
                          241,
                          62,
                          74,
                          198,
                          81
                        ]
                      },
                      {
                        "Bytes": [
                          154,
                          144,
                          59
                        ]
                      },
                      {
                        "Bytes": [
                          34,
                          107,
                          15,
                          158,
                          122,
                          69,
                          105,
                          150,
                          211,
                          50
                        ]
                      },
                      {
                        "Bytes": [
                          234,
                          103,
                          82,
                          20,
                          8
                        ]
                      },
                      {
                        "Bytes": [
                          129,
                          197,
                          18,
                          102
                        ]
                      },
                      {
                        "Bytes": [
                          44,
                          236,
                          145,
                          99,
                          79,
                          6,
                          154,
                          158,
                          183,
                          35,
                          66,
                          174,
                          64,
                          175,
                          224,
                          217,
                          246,
                          198,
                          244,
                          177,
                          190
                        ]
                      },
                      {
                        "Bytes": [
                          99,
                          173,
                          116,
                          215,
                          2,
                          181,
                          61,
                          26,
                          42,
                          100,
                          65,
                          220,
                          186,
                          180,
                          93,
                          127,
                          26,
                          52,
                          190,
                          103,
                          196
                        ]
                      },
                      {
                        "Bytes": [
                          121,
                          110,
                          2,
                          143,
                          144,
                          62,
                          228,
                          35
                        ]
                      },
                      {
                        "Bytes": [
                          176,
                          34,
                          24,
                          64,
                          174,
                          148,
                          81,
                          79,
                          4,
                          86,
                          96,
                          169,
                          113
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          56,
                          130,
                          37,
                          196,
                          11,
                          179,
                          143,
                          34,
                          103
                        ]
                      },
                      {
                        "Bytes": [
                          72,
                          22,
                          72,
                          6,
                          112,
                          75,
                          111,
                          185
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          81,
                          186,
                          203,
                          119,
                          181,
                          202,
                          170,
                          210,
                          94,
                          252,
                          57,
                          237
                        ]
                      },
                      {
                        "Bytes": [
                          21,
                          115,
                          89,
                          75,
                          9,
                          23,
                          179,
                          19,
                          251,
                          245,
                          213,
                          71,
                          49,
                          192,
                          251,
                          78,
                          37,
                          207,
                          222,
                          32,
                          179,
                          10,
                          95,
                          250,
                          84,
                          72,
                          109,
                          165,
                          55,
                          41,
                          188,
                          252
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          20,
                          234,
                          129,
                          206,
                          220,
                          154,
                          125,
                          16,
                          68,
                          31,
                          190,
                          67,
                          166,
                          178,
                          27,
                          142,
                          145,
                          172,
                          223,
                          153,
                          71,
                          224,
                          190,
                          130,
                          2,
                          136,
                          61,
                          6,
                          173,
                          131,
                          248
                        ]
                      },
                      {
                        "Bytes": [
                          19,
                          219,
                          227,
                          225,
                          174,
                          37,
                          162,
                          81,
                          213,
                          57,
                          23,
                          94,
                          179,
                          167,
                          228,
                          154,
                          232
                        ]
                      },
                      {
                        "Bytes": [
                          244,
                          156,
                          151,
                          65,
                          176,
                          23,
                          188,
                          202,
                          22,
                          95,
                          88,
                          236,
                          185,
                          117,
                          107,
                          64
                        ]
                      },
                      {
                        "Bytes": [
                          90,
                          58,
                          230,
                          132,
                          64,
                          93,
                          111,
                          96,
                          177,
                          175,
                          173
                        ]
                      },
                      {
                        "Bytes": [
                          99,
                          121,
                          90,
                          164,
                          244,
                          39,
                          105,
                          9,
                          191,
                          73,
                          247,
                          226,
                          215,
                          24,
                          206,
                          48,
                          8,
                          207,
                          21,
                          147,
                          118,
                          94,
                          104,
                          119,
                          66,
                          216,
                          13,
                          9,
                          204,
                          92
                        ]
                      },
                      {
                        "Bytes": [
                          195,
                          21,
                          64,
                          3,
                          13,
                          120,
                          148,
                          81,
                          140,
                          45
                        ]
                      },
                      {
                        "Bytes": [
                          110,
                          172,
                          200,
                          164,
                          56,
                          117,
                          158,
                          73,
                          190,
                          59,
                          138,
                          211,
                          242,
                          205,
                          52,
                          73,
                          8,
                          147,
                          123,
                          26,
                          197,
                          28,
                          244
                        ]
                      },
                      {
                        "Bytes": [
                          168,
                          236,
                          231,
                          16,
                          70,
                          143,
                          230,
                          166,
                          228,
                          89,
                          149
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          249,
                          135,
                          166,
                          64,
                          235,
                          132,
                          203,
                          225,
                          120,
                          68,
                          140,
                          47,
                          185,
                          173,
                          92,
                          227,
                          167,
                          178,
                          198,
                          0,
                          141,
                          201,
                          74,
                          177,
                          192,
                          218,
                          9,
                          182,
                          169
                        ]
                      },
                      {
                        "Bytes": [
                          2,
                          253,
                          114,
                          157,
                          6,
                          104,
                          41,
                          36,
                          153,
                          64,
                          59,
                          139,
                          254,
                          27,
                          159,
                          246,
                          12,
                          127,
                          58,
                          52,
                          6,
                          51,
                          149,
                          253,
                          175,
                          153,
                          226,
                          233,
                          85,
                          154,
                          140
                        ]
                      },
                      {
                        "Bytes": [
                          22,
                          239,
                          44,
                          174,
                          44,
                          141,
                          57,
                          167,
                          55,
                          222,
                          96,
                          193,
                          79,
                          233,
                          174,
                          134,
                          186,
                          25,
                          221,
                          207,
                          104,
                          212,
                          230,
                          194,
                          145,
                          223,
                          170
                        ]
                      },
                      {
                        "Bytes": [
                          77,
                          190,
                          207,
                          83,
                          250,
                          79,
                          196,
                          197,
                          92,
                          14,
                          190,
                          237,
                          171,
                          204,
                          210,
                          1,
                          245,
                          22,
                          36,
                          65,
                          76,
                          215,
                          87,
                          231,
                          214,
                          91,
                          168
                        ]
                      },
                      {
                        "Bytes": [
                          246,
                          189,
                          21,
                          73,
                          237,
                          87,
                          54,
                          4
                        ]
                      },
                      {
                        "Bytes": [
                          26,
                          42,
                          204,
                          243,
                          159,
                          147,
                          30,
                          166,
                          251,
                          57,
                          74,
                          72,
                          19,
                          184
                        ]
                      },
                      {
                        "Bytes": [
                          144,
                          202,
                          51,
                          85,
                          254,
                          239,
                          169,
                          182,
                          147,
                          237,
                          186,
                          5,
                          138,
                          108,
                          225,
                          35,
                          125,
                          227,
                          95,
                          251,
                          64,
                          36,
                          233,
                          232,
                          30,
                          67,
                          190,
                          14,
                          86,
                          176,
                          198
                        ]
                      },
                      {
                        "Bytes": [
                          160,
                          66,
                          181,
                          91,
                          10,
                          61,
                          138,
                          229,
                          16,
                          142,
                          177,
                          10,
                          59,
                          75,
                          129,
                          197,
                          30,
                          119,
                          57,
                          170,
                          100,
                          105,
                          85,
                          242,
                          160,
                          237,
                          104
                        ]
                      },
                      {
                        "Bytes": [
                          140,
                          248,
                          230,
                          233,
                          32
                        ]
                      },
                      {
                        "Bytes": [
                          103,
                          69,
                          154,
                          94,
                          117,
                          153,
                          107,
                          70,
                          179,
                          170
                        ]
                      },
                      {
                        "Bytes": [
                          170,
                          55,
                          197,
                          108,
                          71,
                          35,
                          43,
                          114,
                          234,
                          28,
                          239,
                          251,
                          82,
                          249,
                          106,
                          240,
                          116,
                          52,
                          184,
                          106,
                          143,
                          138,
                          174,
                          172,
                          139,
                          170,
                          88
                        ]
                      },
                      {
                        "Bytes": [
                          136
                        ]
                      },
                      {
                        "Bytes": [
                          62,
                          54,
                          223,
                          62,
                          188,
                          115,
                          195,
                          220,
                          137,
                          29,
                          14,
                          42,
                          74,
                          167,
                          152,
                          10,
                          165,
                          163,
                          46
                        ]
                      },
                      {
                        "Bytes": [
                          91,
                          154,
                          255,
                          151,
                          46,
                          127,
                          179,
                          217
                        ]
                      },
                      {
                        "Bytes": [
                          72,
                          150,
                          62
                        ]
                      },
                      {
                        "Bytes": [
                          83,
                          85,
                          172,
                          88,
                          165,
                          146,
                          222,
                          131,
                          208,
                          121,
                          236,
                          112,
                          219,
                          156,
                          253,
                          89,
                          25,
                          182,
                          16,
                          103,
                          159,
                          247,
                          190,
                          0,
                          91,
                          31,
                          141,
                          231,
                          81,
                          220,
                          76
                        ]
                      },
                      {
                        "Bytes": [
                          60,
                          77,
                          248,
                          207,
                          249,
                          251,
                          175,
                          0,
                          50,
                          54,
                          132,
                          112,
                          173,
                          57,
                          141,
                          145,
                          36,
                          190,
                          32,
                          162,
                          15,
                          26,
                          221,
                          241
                        ]
                      },
                      {
                        "Bytes": [
                          178,
                          224,
                          233,
                          235,
                          127,
                          90,
                          16,
                          170,
                          166,
                          215,
                          152,
                          89,
                          145,
                          227
                        ]
                      },
                      {
                        "Bytes": [
                          203,
                          78,
                          254,
                          148,
                          171,
                          149,
                          135,
                          209,
                          1,
                          174,
                          19,
                          127,
                          230,
                          254,
                          169,
                          84,
                          245,
                          188,
                          26,
                          151,
                          235,
                          70,
                          236,
                          107,
                          153,
                          210,
                          116,
                          188,
                          202,
                          35,
                          92
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          223,
                          26,
                          29,
                          182,
                          239,
                          168,
                          167,
                          175,
                          226,
                          92,
                          239,
                          109,
                          243,
                          156,
                          166,
                          58,
                          215,
                          218,
                          194,
                          105,
                          218,
                          16,
                          43,
                          195,
                          224,
                          153,
                          60,
                          19,
                          28,
                          244,
                          23,
                          168
                        ]
                      },
                      {
                        "Bytes": [
                          19,
                          69,
                          61,
                          156
                        ]
                      },
                      {
                        "Bytes": [
                          108,
                          106,
                          235,
                          85,
                          162,
                          185,
                          175,
                          8,
                          218,
                          55,
                          89,
                          112,
                          19,
                          177,
                          0,
                          198
                        ]
                      },
                      {
                        "Bytes": [
                          200,
                          153,
                          186,
                          20,
                          45,
                          156,
                          156,
                          158,
                          75,
                          129,
                          206,
                          2,
                          119,
                          87,
                          187,
                          65,
                          238,
                          208,
                          23,
                          177,
                          204,
                          233,
                          61,
                          202,
                          51,
                          2,
                          210,
                          20,
                          154
                        ]
                      },
                      {
                        "Bytes": [
                          28,
                          249,
                          89,
                          73,
                          90,
                          251
                        ]
                      },
                      {
                        "Bytes": [
                          70,
                          151,
                          123,
                          244,
                          232,
                          164,
                          213,
                          156,
                          68,
                          58,
                          121,
                          163,
                          255,
                          152
                        ]
                      },
                      {
                        "Bytes": [
                          186,
                          206,
                          39,
                          192,
                          233,
                          11,
                          134,
                          46,
                          92,
                          182,
                          193,
                          114
                        ]
                      },
                      {
                        "Bytes": [
                          35,
                          112,
                          201,
                          160,
                          117,
                          154,
                          10,
                          235,
                          161,
                          171,
                          242,
                          249,
                          24,
                          65,
                          140,
                          13,
                          44,
                          41,
                          91
                        ]
                      },
                      {
                        "Bytes": [
                          181,
                          154
                        ]
                      },
                      {
                        "Bytes": [
                          19,
                          14,
                          155,
                          82,
                          214,
                          73,
                          47,
                          203,
                          7,
                          126,
                          202,
                          190
                        ]
                      },
                      {
                        "Bytes": [
                          116,
                          145,
                          198,
                          44,
                          173,
                          242,
                          174,
                          96,
                          103,
                          247,
                          75,
                          55,
                          247,
                          29,
                          225,
                          171,
                          197,
                          28,
                          200,
                          165,
                          14,
                          227,
                          198
                        ]
                      },
                      {
                        "Bytes": [
                          132,
                          221,
                          39,
                          153,
                          170,
                          111,
                          65,
                          148,
                          76,
                          33,
                          150,
                          226,
                          189,
                          230,
                          131,
                          224,
                          132,
                          216,
                          37,
                          86,
                          49,
                          115,
                          170
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          244,
                          73,
                          174,
                          80,
                          181,
                          239,
                          31,
                          106,
                          220,
                          22,
                          141,
                          159,
                          41,
                          68,
                          233,
                          254,
                          237,
                          46,
                          150,
                          189,
                          157,
                          88,
                          74,
                          143,
                          172
                        ]
                      },
                      {
                        "Bytes": [
                          78,
                          23,
                          205
                        ]
                      },
                      {
                        "Bytes": [
                          45,
                          225,
                          11,
                          70,
                          56
                        ]
                      },
                      {
                        "Bytes": [
                          227,
                          37,
                          231,
                          51,
                          155,
                          19,
                          227,
                          71,
                          205,
                          97,
                          185,
                          81,
                          57,
                          224,
                          153,
                          66,
                          32,
                          22,
                          18,
                          242,
                          209,
                          220
                        ]
                      },
                      {
                        "Bytes": [
                          71,
                          102,
                          188,
                          201,
                          162,
                          77
                        ]
                      },
                      {
                        "Bytes": [
                          42,
                          214,
                          97,
                          122,
                          25,
                          222,
                          45,
                          119,
                          56,
                          61,
                          126,
                          165,
                          107,
                          211,
                          126,
                          154,
                          46,
                          64,
                          140,
                          241,
                          135,
                          93,
                          105
                        ]
                      },
                      {
                        "Bytes": [
                          44,
                          199,
                          104,
                          190,
                          55,
                          105
                        ]
                      },
                      {
                        "Bytes": [
                          38,
                          207,
                          67,
                          117,
                          196,
                          242,
                          112,
                          58,
                          218,
                          24,
                          249,
                          24,
                          60,
                          32
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          109,
                          86,
                          11,
                          62,
                          69,
                          86,
                          100,
                          173
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          164,
                          83,
                          138,
                          176,
                          245,
                          15,
                          241,
                          156,
                          154,
                          33,
                          184,
                          75,
                          71,
                          209,
                          78,
                          131,
                          167,
                          175,
                          22,
                          124,
                          97,
                          254,
                          189
                        ]
                      },
                      {
                        "Bytes": [
                          94,
                          73,
                          78
                        ]
                      },
                      {
                        "Bytes": [
                          50,
                          196,
                          32,
                          250,
                          51,
                          131,
                          240,
                          18,
                          206,
                          171,
                          108,
                          149,
                          214,
                          22,
                          81,
                          133,
                          161,
                          192,
                          112,
                          103,
                          55,
                          223,
                          189,
                          181,
                          100,
                          172
                        ]
                      },
                      {
                        "Bytes": [
                          155,
                          63,
                          223,
                          15,
                          169,
                          184,
                          63,
                          156,
                          223,
                          80,
                          184,
                          135,
                          1,
                          82,
                          255,
                          116,
                          161,
                          147,
                          119,
                          184,
                          133
                        ]
                      },
                      {
                        "Bytes": [
                          179,
                          29
                        ]
                      },
                      {
                        "Bytes": [
                          241,
                          176,
                          173,
                          170,
                          22,
                          229,
                          140,
                          144,
                          101,
                          150,
                          228,
                          98,
                          250,
                          11,
                          67,
                          114,
                          142,
                          113,
                          205,
                          232,
                          138,
                          221,
                          182,
                          113
                        ]
                      },
                      {
                        "Bytes": [
                          168,
                          97,
                          247,
                          223,
                          158,
                          72,
                          232,
                          31,
                          128,
                          119,
                          94,
                          233,
                          231,
                          8,
                          139
                        ]
                      },
                      {
                        "Bytes": [
                          12,
                          47,
                          70,
                          182,
                          238,
                          224
                        ]
                      },
                      {
                        "Bytes": [
                          200,
                          175
                        ]
                      },
                      {
                        "Bytes": [
                          221,
                          19,
                          163,
                          132,
                          103,
                          219,
                          91,
                          182,
                          0,
                          218,
                          231,
                          124,
                          91,
                          132,
                          29,
                          221,
                          153,
                          169,
                          11,
                          140
                        ]
                      },
                      {
                        "Bytes": [
                          93,
                          213,
                          183,
                          86,
                          168,
                          236,
                          7,
                          67,
                          19,
                          2,
                          230,
                          156,
                          148,
                          146,
                          41,
                          162,
                          232,
                          93,
                          218,
                          27,
                          249,
                          252,
                          82,
                          62,
                          199,
                          239,
                          14,
                          240
                        ]
                      },
                      {
                        "Bytes": [
                          211,
                          126,
                          38,
                          8,
                          199,
                          228,
                          50,
                          112,
                          72,
                          14,
                          112,
                          40,
                          245,
                          191,
                          69,
                          3,
                          166,
                          144,
                          230,
                          182,
                          246,
                          210,
                          240,
                          209,
                          254,
                          56,
                          117,
                          75
                        ]
                      },
                      {
                        "Bytes": [
                          231,
                          86,
                          62
                        ]
                      },
                      {
                        "Bytes": [
                          70,
                          59,
                          170,
                          236,
                          236,
                          78,
                          117,
                          17,
                          239,
                          153,
                          103,
                          193,
                          124,
                          246,
                          125,
                          80
                        ]
                      },
                      {
                        "Bytes": [
                          90,
                          176,
                          190,
                          35,
                          1,
                          57,
                          42,
                          134,
                          15,
                          5,
                          249,
                          29,
                          241,
                          245,
                          215,
                          129,
                          169,
                          205,
                          126,
                          63
                        ]
                      },
                      {
                        "Bytes": [
                          117,
                          23,
                          112,
                          200,
                          57,
                          181,
                          164,
                          86,
                          74,
                          3,
                          26,
                          121,
                          25,
                          120,
                          53,
                          2,
                          171,
                          204,
                          210,
                          196,
                          87,
                          231,
                          44,
                          99,
                          156,
                          1,
                          201,
                          191,
                          16,
                          240
                        ]
                      },
                      {
                        "Bytes": [
                          146,
                          243,
                          104,
                          139,
                          173,
                          36,
                          50,
                          85,
                          112,
                          88,
                          234,
                          106,
                          51,
                          158,
                          127,
                          122,
                          225,
                          131
                        ]
                      },
                      {
                        "Bytes": [
                          173,
                          76,
                          169,
                          47,
                          10,
                          196,
                          14,
                          160,
                          167,
                          109,
                          246,
                          8,
                          4,
                          217,
                          190,
                          118,
                          106,
                          51,
                          223,
                          247,
                          61,
                          238,
                          234,
                          160,
                          120,
                          175,
                          123,
                          235,
                          30,
                          14,
                          77,
                          43
                        ]
                      },
                      {
                        "Bytes": [
                          11,
                          223,
                          227,
                          3,
                          222,
                          6,
                          113,
                          243,
                          21,
                          199,
                          166,
                          220,
                          214,
                          44,
                          194,
                          205,
                          70,
                          55,
                          99,
                          207,
                          69,
                          34,
                          34,
                          207,
                          180,
                          132,
                          245,
                          164
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          28,
                          5,
                          202,
                          212,
                          92,
                          64,
                          35,
                          80,
                          203,
                          224,
                          106,
                          152,
                          121,
                          28
                        ]
                      },
                      {
                        "Bytes": [
                          94,
                          69,
                          108,
                          5,
                          63,
                          193,
                          13,
                          124,
                          87,
                          56,
                          14,
                          1,
                          96,
                          43,
                          72,
                          227,
                          178,
                          142
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          218,
                          96,
                          200,
                          69,
                          9,
                          185,
                          176,
                          25,
                          60,
                          223,
                          182,
                          87,
                          106,
                          166,
                          102,
                          66,
                          165,
                          24,
                          103,
                          103,
                          68,
                          142,
                          194,
                          83,
                          233,
                          78,
                          234,
                          211,
                          107,
                          12
                        ]
                      },
                      {
                        "Bytes": [
                          112,
                          43,
                          145,
                          123,
                          90,
                          78,
                          40,
                          171,
                          91,
                          205,
                          151,
                          96,
                          242,
                          79,
                          71,
                          252,
                          250
                        ]
                      },
                      {
                        "Bytes": [
                          62,
                          246,
                          43,
                          152,
                          112,
                          149,
                          223,
                          86,
                          236,
                          103,
                          187,
                          211,
                          161,
                          224,
                          37,
                          229,
                          70,
                          9,
                          218,
                          255,
                          83,
                          188,
                          100,
                          8
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          224,
                          189,
                          151,
                          217,
                          112,
                          152,
                          72,
                          200,
                          51
                        ]
                      },
                      {
                        "Bytes": [
                          199,
                          71,
                          237,
                          161,
                          21,
                          85,
                          234,
                          221
                        ]
                      },
                      {
                        "Bytes": [
                          87,
                          208,
                          195,
                          128,
                          69,
                          23,
                          15,
                          123,
                          132,
                          157,
                          161,
                          247,
                          163,
                          161,
                          183,
                          20,
                          146,
                          48,
                          21
                        ]
                      },
                      {
                        "Bytes": [
                          181,
                          241,
                          71,
                          74,
                          36,
                          85,
                          175,
                          36,
                          48,
                          174,
                          186,
                          100,
                          183,
                          241,
                          118,
                          198,
                          157,
                          28,
                          63,
                          140,
                          3,
                          137
                        ]
                      },
                      {
                        "Bytes": [
                          75,
                          111,
                          62,
                          100,
                          206,
                          30,
                          43,
                          107,
                          201
                        ]
                      },
                      {
                        "Bytes": [
                          22,
                          246,
                          244,
                          190,
                          202,
                          222,
                          15,
                          209,
                          63
                        ]
                      },
                      {
                        "Bytes": [
                          8,
                          8,
                          229,
                          134,
                          158,
                          212,
                          27,
                          209,
                          253,
                          59,
                          222,
                          142,
                          47,
                          220
                        ]
                      },
                      {
                        "Bytes": [
                          159,
                          147,
                          36
                        ]
                      },
                      {
                        "Bytes": [
                          17,
                          65,
                          155,
                          245,
                          122,
                          221,
                          98,
                          193,
                          182,
                          25,
                          102,
                          116,
                          189
                        ]
                      },
                      {
                        "Bytes": [
                          16,
                          245,
                          126
                        ]
                      },
                      {
                        "Bytes": [
                          25,
                          66,
                          35,
                          73,
                          24,
                          190,
                          205,
                          50,
                          126,
                          110,
                          7,
                          228,
                          220,
                          206,
                          78,
                          91,
                          4,
                          42,
                          237,
                          234,
                          231,
                          124,
                          83
                        ]
                      },
                      {
                        "Bytes": [
                          42,
                          114,
                          95,
                          235,
                          33,
                          175,
                          217,
                          143,
                          155,
                          10,
                          230,
                          120,
                          79,
                          188,
                          23,
                          107,
                          111,
                          81,
                          53,
                          172,
                          230,
                          69,
                          178,
                          255
                        ]
                      },
                      {
                        "Bytes": [
                          106,
                          25,
                          64,
                          5
                        ]
                      },
                      {
                        "Bytes": [
                          97,
                          60,
                          40
                        ]
                      },
                      {
                        "Bytes": [
                          173,
                          57,
                          94,
                          73,
                          160,
                          142
                        ]
                      },
                      {
                        "Bytes": [
                          248,
                          171,
                          171,
                          16,
                          69,
                          63,
                          254,
                          111,
                          70,
                          195,
                          237,
                          12,
                          1,
                          74,
                          213,
                          74
                        ]
                      },
                      {
                        "Bytes": [
                          139,
                          76,
                          85,
                          212,
                          22,
                          207,
                          172
                        ]
                      },
                      {
                        "Bytes": [
                          213,
                          213,
                          189,
                          141,
                          40,
                          16,
                          201,
                          176,
                          109,
                          91,
                          55
                        ]
                      },
                      {
                        "Bytes": [
                          38,
                          71,
                          28,
                          62,
                          203,
                          236,
                          23,
                          11,
                          1,
                          97,
                          204,
                          79,
                          48,
                          172,
                          238,
                          56,
                          41,
                          66,
                          174,
                          45,
                          188,
                          212,
                          244,
                          118,
                          138,
                          191,
                          147,
                          201,
                          160,
                          94,
                          20,
                          106
                        ]
                      },
                      {
                        "Bytes": [
                          76,
                          248,
                          126,
                          22,
                          239,
                          223,
                          15,
                          98,
                          218,
                          17,
                          98,
                          227,
                          107,
                          0,
                          28,
                          138,
                          2,
                          41,
                          11,
                          146,
                          77,
                          134
                        ]
                      },
                      {
                        "Bytes": [
                          235,
                          242,
                          119,
                          235,
                          143,
                          156,
                          57,
                          245,
                          134,
                          59,
                          127,
                          38,
                          41,
                          24
                        ]
                      },
                      {
                        "Bytes": [
                          42,
                          182,
                          202
                        ]
                      },
                      {
                        "Bytes": [
                          174,
                          180,
                          185,
                          30,
                          143,
                          94,
                          151,
                          17,
                          92,
                          150,
                          58,
                          135,
                          214,
                          44,
                          232,
                          187,
                          185,
                          207,
                          70,
                          255
                        ]
                      },
                      {
                        "Bytes": [
                          152,
                          59,
                          112,
                          10,
                          48,
                          56,
                          168,
                          99,
                          156,
                          44,
                          17,
                          43,
                          177,
                          136,
                          222,
                          162,
                          233,
                          155,
                          100,
                          175
                        ]
                      },
                      {
                        "Bytes": [
                          104,
                          82,
                          250,
                          216,
                          227,
                          76,
                          88,
                          102,
                          213,
                          148,
                          14,
                          167,
                          200,
                          236,
                          254,
                          31,
                          92,
                          237,
                          19
                        ]
                      },
                      {
                        "Bytes": [
                          221,
                          221,
                          100,
                          85,
                          231,
                          183,
                          135,
                          138,
                          83,
                          180,
                          190,
                          30,
                          66,
                          82
                        ]
                      },
                      {
                        "Bytes": [
                          116,
                          93,
                          33
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          82,
                          216,
                          152,
                          26,
                          127,
                          198,
                          136,
                          195,
                          229,
                          22,
                          234,
                          14,
                          183,
                          254
                        ]
                      },
                      {
                        "Bytes": [
                          40,
                          214,
                          176,
                          220,
                          181,
                          141,
                          106,
                          8,
                          24,
                          240,
                          2,
                          32,
                          29,
                          87,
                          4,
                          51,
                          29,
                          130,
                          60,
                          3,
                          209,
                          198
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          68,
                          78,
                          3,
                          23
                        ]
                      },
                      {
                        "Bytes": [
                          176,
                          55,
                          47,
                          236,
                          219,
                          193,
                          244,
                          199,
                          137,
                          21,
                          171,
                          99,
                          107,
                          167,
                          95,
                          144,
                          241,
                          90,
                          115,
                          165,
                          209,
                          133,
                          146,
                          113,
                          46,
                          131,
                          207,
                          28,
                          128,
                          207
                        ]
                      },
                      {
                        "Bytes": [
                          49,
                          110,
                          71
                        ]
                      },
                      {
                        "Bytes": [
                          66,
                          214,
                          172,
                          190,
                          84,
                          0,
                          241,
                          236,
                          138,
                          138,
                          34,
                          92,
                          54,
                          35,
                          197
                        ]
                      },
                      {
                        "Bytes": [
                          235,
                          87,
                          141,
                          177,
                          241,
                          240,
                          184,
                          250,
                          14,
                          37,
                          66
                        ]
                      },
                      {
                        "Bytes": [
                          44,
                          147,
                          121,
                          255,
                          30,
                          145,
                          56,
                          28,
                          167,
                          205,
                          10,
                          240,
                          192,
                          12,
                          130,
                          166,
                          161,
                          96,
                          42,
                          61,
                          85,
                          208,
                          49,
                          11,
                          67,
                          44,
                          149,
                          133,
                          69,
                          90,
                          222,
                          85
                        ]
                      },
                      {
                        "Bytes": [
                          183,
                          60,
                          6,
                          206,
                          8,
                          9,
                          243,
                          146,
                          93,
                          80,
                          52,
                          22,
                          253,
                          255,
                          206,
                          76,
                          72,
                          72,
                          59,
                          155,
                          185,
                          180,
                          126,
                          98
                        ]
                      },
                      {
                        "Bytes": [
                          47,
                          149,
                          178,
                          17,
                          181,
                          23,
                          64,
                          176,
                          94,
                          96,
                          84,
                          61,
                          56,
                          111,
                          131,
                          101,
                          143,
                          73,
                          230,
                          147,
                          141,
                          156,
                          176,
                          82,
                          226,
                          41,
                          20,
                          81,
                          74
                        ]
                      },
                      {
                        "Bytes": [
                          233,
                          187,
                          0,
                          192,
                          217,
                          94,
                          171,
                          15,
                          168,
                          225,
                          121,
                          167,
                          98,
                          45,
                          11
                        ]
                      },
                      {
                        "Bytes": [
                          135,
                          42,
                          42
                        ]
                      },
                      {
                        "Bytes": [
                          85,
                          38,
                          149,
                          80,
                          126,
                          203,
                          91,
                          161,
                          253,
                          250,
                          158,
                          6,
                          156,
                          95,
                          114,
                          126,
                          229,
                          3,
                          103,
                          38,
                          10,
                          67
                        ]
                      },
                      {
                        "Bytes": [
                          117,
                          101,
                          55,
                          168,
                          177,
                          128,
                          175,
                          127,
                          244,
                          127,
                          131,
                          93,
                          2,
                          231,
                          52,
                          149,
                          230,
                          116
                        ]
                      },
                      {
                        "Bytes": [
                          194,
                          215,
                          96,
                          195,
                          14,
                          122,
                          43,
                          92,
                          87,
                          180,
                          17,
                          70,
                          207,
                          169,
                          111,
                          101,
                          203,
                          190,
                          6,
                          13,
                          86,
                          250,
                          213,
                          96,
                          66,
                          108,
                          53,
                          173,
                          62,
                          90,
                          138,
                          225
                        ]
                      },
                      {
                        "Bytes": [
                          33,
                          142,
                          190,
                          55,
                          75
                        ]
                      },
                      {
                        "Bytes": [
                          6,
                          78,
                          162,
                          69,
                          255,
                          250,
                          177,
                          169,
                          185,
                          174,
                          222,
                          44,
                          141,
                          174,
                          138,
                          242,
                          25,
                          81,
                          153,
                          231,
                          96,
                          151,
                          31,
                          57,
                          159,
                          53,
                          85,
                          1
                        ]
                      },
                      {
                        "Bytes": [
                          115,
                          142
                        ]
                      },
                      {
                        "Bytes": [
                          82,
                          24,
                          139,
                          31,
                          91,
                          165,
                          240,
                          60,
                          179,
                          108
                        ]
                      },
                      {
                        "Bytes": [
                          19,
                          211,
                          1,
                          205,
                          46,
                          0,
                          158,
                          186,
                          102,
                          33,
                          233,
                          173,
                          207,
                          229,
                          168,
                          39,
                          182,
                          105,
                          161,
                          37,
                          67,
                          54,
                          92,
                          8,
                          21,
                          156,
                          107
                        ]
                      },
                      {
                        "Bytes": [
                          180,
                          235,
                          96,
                          130,
                          14
                        ]
                      },
                      {
                        "Bytes": [
                          10,
                          94,
                          174,
                          108,
                          79,
                          39,
                          119,
                          18
                        ]
                      },
                      {
                        "Bytes": [
                          94,
                          168,
                          111,
                          11,
                          216,
                          3,
                          112
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          247,
                          253,
                          118,
                          190,
                          171,
                          145,
                          127,
                          66,
                          221,
                          217,
                          55,
                          239
                        ]
                      },
                      {
                        "Bytes": [
                          234,
                          253,
                          235,
                          73,
                          86,
                          22,
                          125,
                          61,
                          130,
                          206,
                          123,
                          27,
                          213,
                          123,
                          98,
                          17,
                          75,
                          21,
                          157
                        ]
                      },
                      {
                        "Bytes": [
                          55,
                          58,
                          53,
                          252,
                          110,
                          56
                        ]
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          165,
                          232,
                          135,
                          89,
                          124,
                          218,
                          229,
                          166,
                          42
                        ]
                      },
                      {
                        "Bytes": [
                          139,
                          71,
                          126,
                          21,
                          45,
                          144,
                          228,
                          145,
                          231,
                          221,
                          61,
                          191,
                          211,
                          220,
                          79,
                          73,
                          217,
                          75,
                          207,
                          60,
                          222,
                          216,
                          3,
                          117,
                          4,
                          145,
                          199,
                          25,
                          187,
                          90
                        ]
                      },
                      {
                        "Bytes": [
                          55
                        ]
                      },
                      {
                        "Bytes": [
                          250,
                          187,
                          73,
                          81
                        ]
                      },
                      {
                        "Bytes": [
                          11,
                          91,
                          3,
                          244,
                          107,
                          66,
                          8,
                          186,
                          254,
                          11,
                          181,
                          140,
                          8,
                          67,
                          85,
                          3,
                          236,
                          145,
                          192,
                          73,
                          165,
                          77,
                          173,
                          55
                        ]
                      },
                      {
                        "Bytes": [
                          237,
                          54,
                          179,
                          50,
                          16,
                          196,
                          59,
                          54,
                          200,
                          255,
                          19,
                          43,
                          62,
                          64,
                          228,
                          24,
                          193,
                          55,
                          80,
                          125,
                          223,
                          122,
                          227,
                          133,
                          40,
                          180,
                          189,
                          1,
                          13,
                          6
                        ]
                      },
                      {
                        "Bytes": [
                          18,
                          29,
                          90,
                          237,
                          190,
                          12,
                          202,
                          228,
                          94,
                          45,
                          217,
                          145,
                          69,
                          187,
                          233,
                          236,
                          30,
                          255,
                          87,
                          127,
                          243,
                          110,
                          1,
                          28,
                          82,
                          102,
                          202,
                          119,
                          208
                        ]
                      },
                      {
                        "Bytes": [
                          162,
                          152,
                          181,
                          252,
                          59,
                          57,
                          21,
                          136,
                          239,
                          41,
                          152,
                          18,
                          104,
                          79,
                          196,
                          56,
                          167,
                          118,
                          37,
                          142,
                          218,
                          129,
                          248,
                          35,
                          158,
                          61,
                          208,
                          143,
                          148
                        ]
                      },
                      {
                        "Bytes": [
                          235,
                          102,
                          249,
                          57,
                          88,
                          109,
                          201,
                          108,
                          194,
                          241,
                          119,
                          161,
                          243,
                          3,
                          22,
                          86,
                          203,
                          128,
                          58,
                          61,
                          18,
                          54,
                          96,
                          249,
                          76,
                          120,
                          172,
                          225
                        ]
                      },
                      {
                        "Bytes": [
                          60,
                          7,
                          16,
                          239,
                          129,
                          42,
                          175,
                          62,
                          152,
                          157,
                          153,
                          190,
                          129,
                          220,
                          204,
                          50,
                          109,
                          131,
                          164,
                          225,
                          103
                        ]
                      },
                      {
                        "Bytes": [
                          212
                        ]
                      },
                      {
                        "Bytes": [
                          207,
                          244
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": []
                      }
                    ]
                  },
                  {
                    "Array": [
                      {
                        "Bytes": [
                          160,
                          50,
                          138,
                          65,
                          236,
                          31,
                          124,
                          25,
                          110,
                          60,
                          9,
                          63,
                          28,
                          66,
                          11,
                          31,
                          177,
                          103,
                          250,
                          75,
                          18
                        ]
                      },
                      {
                        "Bytes": [
                          22,
                          51,
                          54,
                          25,
                          134,
                          86,
                          102,
                          115,
                          254,
                          131
                        ]
                      },
                      {
                        "Bytes": [
                          19,
                          242,
                          54,
                          82,
                          23,
                          36,
                          155,
                          148,
                          69,
                          165,
                          39,
                          232,
                          153,
                          116,
                          107,
                          199,
                          57,
                          56,
                          71,
                          19
                        ]
                      },
                      {
                        "Bytes": [
                          211,
                          99,
                          27,
                          196
                        ]
                      },
                      {
                        "Bytes": [
                          226,
                          37,
                          243,
                          223,
                          86,
                          189,
                          39,
                          1,
                          67,
                          194,
                          81,
                          177,
                          227,
                          113,
                          68,
                          141,
                          50,
                          111,
                          181,
                          64,
                          222,
                          133,
                          137,
                          72,
                          252,
                          236,
                          137
                        ]
                      },
                      {
                        "Bytes": []
                      },
                      {
                        "Bytes": [
                          45,
                          46,
                          110,
                          241,
                          15,
                          48,
                          40,
                          177,
                          127,
                          127,
                          83,
                          230,
                          220,
                          234,
                          249,
                          90,
                          156,
                          83,
                          240,
                          24,
                          73,
                          28
                        ]
                      },
                      {
                        "Bytes": [
                          59,
                          200,
                          24,
                          109,
                          37,
                          17,
                          42,
                          54,
                          221,
                          238,
                          72,
                          215,
                          25,
                          69,
                          62
                        ]
                      },
                      {
                        "Bytes": [
                          146,
                          234,
                          134,
                          211,
                          97,
                          122,
                          22,
                          188,
                          27,
                          125,
                          86,
                          87,
                          243,
                          136,
                          247
                        ]
                      },
                      {
                        "Bytes": [
                          176,
                          107,
                          162,
                          132,
                          113,
                          49,
                          64
                        ]
                      },
                      {
                        "Bytes": [
                          120
                        ]
                      },
                      {
                        "Bytes": [
                          81,
                          110,
                          103,
                          146,
                          246,
                          205,
                          24,
                          69,
                          105,
                          161,
                          242,
                          161,
                          24,
                          160,
                          165,
                          203,
                          68,
                          161,
                          251
                        ]
                      },
                      {
                        "Bytes": [
                          154,
                          210,
                          155,
                          207,
                          149,
                          148,
                          30,
                          111,
                          164,
                          25,
                          230,
                          93,
                          238,
                          169,
                          93,
                          147,
                          26,
                          203,
                          12,
                          34,
                          60,
                          233,
                          82,
                          155
                        ]
                      },
                      {
                        "Bytes": [
                          40,
                          27,
                          85,
                          55,
                          95,
                          210,
                          180,
                          231,
                          10,
                          3,
                          127,
                          76,
                          12,
                          155,
                          43,
                          183,
                          218,
                          224,
                          172,
                          223,
                          190,
                          166,
                          233,
                          173
                        ]
                      },
                      {
                        "Bytes": [
                          28,
                          196,
                          16,
                          183,
                          248,
                          241,
                          160,
                          177,
                          86,
                          242,
                          191,
                          86
                        ]
                      },
                      {
                        "Bytes": [
                          5,
                          8,
                          3,
                          216,
                          19,
                          31,
                          167,
                          221,
                          164,
                          12,
                          60,
                          111,
                          185,
                          4,
                          164,
                          220,
                          206,
                          14,
                          200,
                          202,
                          39
                        ]
                      }
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe0e0a78d2a8e1520090348ee399156df4c158944b0d0a34147c5ac697637aa3c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2e3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x60d1d559f9adfca2f859879e715dec6a09d967a3a4d19a58ec9da215da53950b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb06d87178855a8b10dede36569a3e7b0cd906ce6a4ff29ea1016eb42bb11e7c4",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xa3d2910705deaba932a75b31efc67645d70e7d15bdcbda5d9a9951fda58d2fdb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xc541ac2b1dff1939f71049776b9432a524faa565c49f19101872cf9084fcd562",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xe7a252a15fea69247d6ea9faa20db3a9be76717aff73f57df2cb0c87dd1be45e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x692469f8dd247f70e3cc7e0fec241ff62897752b99aa4ed8f2f32fabe59d4f07",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0xfe",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xab1853265f0ecd19daa7690143d6f4ddbd0c581e22e14ea6a74a6299a744c656",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2e2c6c9684bc4cb8746e501eaea75334a124942dd757c745cde409d59f24db0b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7cde8aaa2f0de532cada2392d342442812dde79c83e02c378932f43be1840cb8",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xdb534a3e9cfd57da5a27eeb9f871bce317ac357fd0310c1827dc2d42dc8de45f",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x580e2432411a966ef4bd9711f8468ce4e69f4fd6ee8ca5be040b1a3d2cf8a4c9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5e",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xb",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x6ae5660797d99ab1d0fc24a7eabe971266f1ee55810964512e5e2f34eff8190b",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x0",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2599e0a409d4137cdcb2892b24d7ce6ad016cea402e8f512dc6e9a76fb86c905",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1e8482",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x30",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2ac",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x5b4094135a6acbec7b724d0ca65ecf6121ba7f582f67a1698b252eeea6cfa3b4",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x29ad0440e25e2b5a40e9664deae82474a8cba8cbcd639766c73d0ea2f16ddc20",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x11",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  }
                ]
              },
              {
                "Array": [
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x3",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x18ecd0ff399fc783ff7ca7e536ec966f4ec4fdbe1f6d8f92f55c5454d213a4c7",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x427e4eefbd4ca2f8850a7834761b57964e0d497691a71d034a1fee5025275a74",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x140ccca5cfaa879b650bc225bcbb35f917640ca2d708c0aec37a9dbf8fc4def9",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x10a",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xdbe1b7e3dc01a044cfbbd4839b801749a565d851db9027809fd33cf60556a01c",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1f7a3c0abfc7fcc15b90812273f70eade05baf940f065faff202e6b242f3c94",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0xeaa99ed5c18a57be9cfeab391e8f0139f7cf1ddf4234a86b1dc135450c8ea7ba",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x1",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x7acfda87f275927dfef97b55aa11e5acca33362051169053e140887c360dd6aa",
                      256
                    ]
                  },
                  {
                    "Uint": [
                      "0x2",
                      256
                    ]
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41952,
      25192
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultStrategy_handleOperations4626Mint",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Uint": [
              "0xd0a13a0af4cb6ce7072242a0a9d6eed5f41335cfcad529750a906216c6113f6a",
              256
            ]
          },
          {
            "Uint": [
              "0x50325b16313fb3ae98cc469daddc05c2f9799e4fc96225ee108c49f9a3091148",
              256
            ]
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      256455,
      9938
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_maxMintZeroWhenPaused",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69659,
      2581
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES",
        "args": [
          {
            "Uint": [
              "0xb2a87695813d356108d1bbaba2267b8c9669e1265179626a969e137df8da16e4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86227,
      7045
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_executeChangePrimaryManager_clamped",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      276965,
      53558
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_mint",
        "args": [
          {
            "Uint": [
              "0x9faa01dd6190e202607f8f914bb34a82c4b37af3db7ba6548e1ac1986400800d",
              256
            ]
          },
          {
            "Address": "0x00000000000000000000000000000002fffffffd"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1031,
      13048
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE",
        "args": [
          {
            "Uint": [
              "0x3b9aca00",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8919,
      26131
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_requestRedeem",
        "args": [
          {
            "Uint": [
              "0x8316a750a816a486947e7b8c565d5672927635253d6342ec1ae41fce76ba38b9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3056,
      4507
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_sumOfClaimable",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      353314,
      22148
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52088,
      21117
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_removeSecondaryManager",
        "args": [
          {
            "Address": "0x00000000000000000000000000000001fffffffe"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6504,
      5164
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM",
        "args": [
          {
            "Uint": [
              "0x4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63311,
      45228
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW",
        "args": [
          {
            "Uint": [
              "0x2000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      548694,
      11055
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_setOperator",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      73563,
      34558
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeAddIncentiveTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75993,
      23118
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55799,
      48753
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultEscrow_returnShares",
        "args": [
          {
            "Address": "0xe916cadb12c49389e487eb1e8194b1459b29b0ec"
          },
          {
            "Uint": [
              "0x9a3391458894c4634697823aef30f6f7c061664793ade14546c33939a26835d4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86923,
      24186
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44410,
      51647
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeUpkeepPaymentsChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      457837,
      6627
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_fulfillOnlyBurnsRequestedAmount",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1579,
      6156
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_withdraw",
        "args": [
          {
            "Uint": [
              "0x8309c3a051e015d8fd7814e6132297853de2c08ed04ffb80c19be82a33c84b7f",
              256
            ]
          },
          {
            "Address": "0xb33191632c64c0e57b0306c05323863c98104f3c"
          },
          {
            "Address": "0x00000000000000000000000000000000ffffffff"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52088,
      8511
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS",
        "args": [
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x1e0a650671bfbc31a848312cc83ae9119d4a1b065d10cfb77c64f17fa5217963",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              },
              {
                "Uint": [
                  "0x3",
                  256
                ]
              }
            ]
          },
          {
            "FixedArray": [
              {
                "Uint": [
                  "0x46",
                  256
                ]
              },
              {
                "Uint": [
                  "0x5f91a1b51607b3530d6a014e75b84eb3cf7f6ea907f039ce4ed93d184a223c44",
                  256
                ]
              },
              {
                "Uint": [
                  "0x44aed3b9fddedcdc04f7acd9fc2911f83df350e5046356f848aa90086c76d0ae",
                  256
                ]
              }
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34581,
      32177
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM",
        "args": [
          {
            "Uint": [
              "0x4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7158,
      626
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_proposeMinStaleness",
        "args": [
          {
            "Uint": [
              "0x4ac78233167904f4be0a3c47dc519553a2927a1b63b13c3c0061d4d5fac5e70",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4568,
      58001
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVault_setOperator",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "Bool": true
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33928,
      59200
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_switchToERC7540",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12030,
      8078
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL",
        "args": [
          {
            "Uint": [
              "0x508ad6ff565fe6a65fe5f92e82d855e45411f7992a313cb46a7b18a381a4c57c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      206,
      3475
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superGovernor_executeMinStalenesChange",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      83258,
      39312
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "superVaultAggregator_claimUpkeep",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3936,
      18981
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21961,
      54156
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65514,
      117
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_avgPPSDoesntDecrease",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53977,
      7948
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "yieldSource_deposit",
        "args": [
          {
            "Uint": [
              "0x16cc4f6c35dd",
              256
            ]
          },
          {
            "Address": "0x000000000000000000000000000000000000beef"
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26262,
      18322
    ]
  }
]