{
  "level": 163,
  "genus": 13,
  "space_dimension": 13,
  "discriminants": [
    3,
    7,
    11,
    19,
    43,
    67,
    163
  ],
  "G_matrix": [
    [
      46,
      -18,
      -12,
      20,
      -44,
      -70,
      6
    ],
    [
      -18,
      92,
      -10,
      -44,
      -4,
      -60,
      4
    ],
    [
      -12,
      -10,
      136,
      -38,
      -88,
      120,
      6
    ],
    [
      20,
      -44,
      -38,
      282,
      -102,
      6,
      -6
    ],
    [
      -44,
      -4,
      -88,
      -102,
      583,
      -164,
      -13
    ],
    [
      -70,
      -60,
      120,
      6,
      -164,
      640,
      -14
    ],
    [
      6,
      4,
      6,
      -6,
      -13,
      -14,
      13
    ]
  ],
  "diagonal": {
    "3": 46,
    "7": 92,
    "11": 136,
    "19": 282,
    "43": 583,
    "67": 640,
    "163": 13
  },
  "G_163_row": {
    "3": 6,
    "7": 4,
    "11": 6,
    "19": -6,
    "43": -13,
    "67": -14,
    "163": 13
  },
  "G_163_163": 13,
  "G_163_bound_2g": 26,
  "all_G_163_d_within_2g": true,
  "max_offdiag": {
    "abs_value": 164,
    "pair": [
      43,
      67
    ],
    "value": -164
  },
  "pair_inequality_violations": [],
  "pair_inequality_holds_for_all_pairs": true,
  "eigenvalues": [
    "10.37188113408177?",
    "19.43971877724339?",
    "76.78154057670428?",
    "98.0936915437378?",
    "274.1373051897647?",
    "491.6242100246581?",
    "821.551652753810?"
  ],
  "numeric_eigenvalues": [
    10.371881134081772,
    19.439718777243385,
    76.78154057670429,
    98.09369154373778,
    274.1373051897647,
    491.62421002465805,
    821.55165275381
  ],
  "positive_semidefinite": true,
  "163_minus_2G_163_d": {
    "3": 151,
    "7": 155,
    "11": 151,
    "19": 175,
    "43": 189,
    "67": 191,
    "163": 137
  },
  "submatrix_6x6": [
    [
      46,
      -18,
      -12,
      20,
      -44,
      -70
    ],
    [
      -18,
      92,
      -10,
      -44,
      -4,
      -60
    ],
    [
      -12,
      -10,
      136,
      -38,
      -88,
      120
    ],
    [
      20,
      -44,
      -38,
      282,
      -102,
      6
    ],
    [
      -44,
      -4,
      -88,
      -102,
      583,
      -164
    ],
    [
      -70,
      -60,
      120,
      6,
      -164,
      640
    ]
  ],
  "submatrix_6x6_eigenvalues": [
    "18.32286919004750?",
    "76.76556178874808?",
    "97.8930888116512?",
    "273.4009044696592?",
    "491.0714441558965?",
    "821.5461315839976?"
  ],
  "submatrix_6x6_numeric_eigenvalues": [
    18.3228691900475,
    76.76556178874807,
    97.89308881165121,
    273.40090446965917,
    491.07144415589653,
    821.5461315839975
  ]
}