{
  "status": "Exact supporting checks; self-review, not an independent audit.",
  "gram": [
    {
      "a": 1,
      "B": 1,
      "S": 11,
      "r": 3,
      "E": 1,
      "rational_kernel_checks": 4,
      "exact_Gram_entries": 1,
      "positive_principal_minors": 1,
      "integer_seed_vector": true,
      "grouped_integrality_checks": 2
    },
    {
      "a": 1,
      "B": 2,
      "S": 21,
      "r": 3,
      "E": 5,
      "rational_kernel_checks": 8,
      "exact_Gram_entries": 4,
      "positive_principal_minors": 2,
      "integer_seed_vector": true,
      "grouped_integrality_checks": 12
    },
    {
      "a": 1,
      "B": 3,
      "S": 41,
      "r": 3,
      "E": 9,
      "rational_kernel_checks": 12,
      "exact_Gram_entries": 9,
      "positive_principal_minors": 3,
      "integer_seed_vector": true,
      "grouped_integrality_checks": 36
    },
    {
      "a": 1,
      "B": 4,
      "S": 61,
      "r": 3,
      "E": 17,
      "rational_kernel_checks": 16,
      "exact_Gram_entries": 16,
      "positive_principal_minors": 4,
      "integer_seed_vector": true,
      "grouped_integrality_checks": 80
    },
    {
      "a": 2,
      "B": 1,
      "S": 31,
      "r": 3,
      "E": 3,
      "rational_kernel_checks": 4,
      "exact_Gram_entries": 1,
      "positive_principal_minors": 1,
      "integer_seed_vector": true,
      "grouped_integrality_checks": 2
    },
    {
      "a": 2,
      "B": 2,
      "S": 61,
      "r": 3,
      "E": 15,
      "rational_kernel_checks": 8,
      "exact_Gram_entries": 4,
      "positive_principal_minors": 2,
      "integer_seed_vector": true,
      "grouped_integrality_checks": 12
    },
    {
      "a": 2,
      "B": 3,
      "S": 121,
      "r": 3,
      "E": 27,
      "rational_kernel_checks": 12,
      "exact_Gram_entries": 9,
      "positive_principal_minors": 3,
      "integer_seed_vector": true,
      "grouped_integrality_checks": 36
    },
    {
      "a": 2,
      "B": 4,
      "S": 181,
      "r": 3,
      "E": 51,
      "rational_kernel_checks": 16,
      "exact_Gram_entries": 16,
      "positive_principal_minors": 4,
      "integer_seed_vector": true,
      "grouped_integrality_checks": 80
    },
    {
      "a": 3,
      "B": 1,
      "S": 51,
      "r": 3,
      "E": 5,
      "rational_kernel_checks": 4,
      "exact_Gram_entries": 1,
      "positive_principal_minors": 1,
      "integer_seed_vector": true,
      "grouped_integrality_checks": 2
    },
    {
      "a": 3,
      "B": 2,
      "S": 101,
      "r": 3,
      "E": 25,
      "rational_kernel_checks": 8,
      "exact_Gram_entries": 4,
      "positive_principal_minors": 2,
      "integer_seed_vector": true,
      "grouped_integrality_checks": 12
    },
    {
      "a": 3,
      "B": 3,
      "S": 201,
      "r": 3,
      "E": 45,
      "rational_kernel_checks": 12,
      "exact_Gram_entries": 9,
      "positive_principal_minors": 3,
      "integer_seed_vector": true,
      "grouped_integrality_checks": 36
    },
    {
      "a": 3,
      "B": 4,
      "S": 301,
      "r": 3,
      "E": 85,
      "rational_kernel_checks": 16,
      "exact_Gram_entries": 16,
      "positive_principal_minors": 4,
      "integer_seed_vector": true,
      "grouped_integrality_checks": 80
    }
  ],
  "dilation": [
    {
      "a": 1,
      "B": 1,
      "S": 11,
      "r": 3,
      "prime": 17,
      "selected_coefficients": 20,
      "other_coefficients": 160,
      "constant_congruences": 1,
      "grouped_integrality": 306
    },
    {
      "a": 1,
      "B": 1,
      "S": 11,
      "r": 3,
      "prime": 19,
      "selected_coefficients": 20,
      "other_coefficients": 180,
      "constant_congruences": 1,
      "grouped_integrality": 380
    },
    {
      "a": 2,
      "B": 1,
      "S": 31,
      "r": 3,
      "prime": 17,
      "selected_coefficients": 56,
      "other_coefficients": 448,
      "constant_congruences": 1,
      "grouped_integrality": 306
    },
    {
      "a": 2,
      "B": 1,
      "S": 31,
      "r": 3,
      "prime": 19,
      "selected_coefficients": 56,
      "other_coefficients": 504,
      "constant_congruences": 1,
      "grouped_integrality": 380
    },
    {
      "a": 3,
      "B": 1,
      "S": 51,
      "r": 3,
      "prime": 17,
      "selected_coefficients": 92,
      "other_coefficients": 736,
      "constant_congruences": 1,
      "grouped_integrality": 306
    },
    {
      "a": 3,
      "B": 1,
      "S": 51,
      "r": 3,
      "prime": 19,
      "selected_coefficients": 92,
      "other_coefficients": 828,
      "constant_congruences": 1,
      "grouped_integrality": 380
    },
    {
      "a": 2,
      "B": 2,
      "S": 61,
      "r": 3,
      "prime": 17,
      "selected_coefficients": 232,
      "other_coefficients": 1856,
      "constant_congruences": 4,
      "grouped_integrality": 1836
    },
    {
      "a": 2,
      "B": 2,
      "S": 61,
      "r": 3,
      "prime": 19,
      "selected_coefficients": 232,
      "other_coefficients": 2088,
      "constant_congruences": 4,
      "grouped_integrality": 2280
    }
  ],
  "uniform_rational_inequalities": 5
}