{
  "arithmetic": "exact integer and Fraction",
  "scope": "Polynomials over Q; finite degree and m>=2; no analytic or p-adic convergence",
  "row5": [
    0,
    1,
    15,
    25,
    10,
    1
  ],
  "newton_polynomial": "z + 15z^2 + 25z^3 + 10z^4 + z^5",
  "packet_polynomials_power_basis": [
    [
      "0",
      "50",
      "-75",
      "25"
    ],
    [
      "0",
      "-59",
      "110",
      "-60",
      "10"
    ],
    [
      "0",
      "9",
      "-35",
      "35",
      "-10",
      "1"
    ]
  ],
  "packet_values_at_x4": [
    "600",
    "244",
    "180"
  ],
  "image_count_histogram_n5_x4": [
    0,
    4,
    180,
    600,
    240,
    0
  ],
  "number_operator_on_x_squared": [
    "0",
    "-1",
    "2"
  ],
  "shift_one_project_after_translate_at_4": [
    "1561",
    "484",
    "1080"
  ],
  "shift_one_translate_existing_packet_at_4": [
    "1500",
    "1205",
    "420"
  ],
  "shift_one_cross_packet_carries_at_4": [
    "961",
    "240",
    "900"
  ],
  "finite_characteristic_obstruction": {
    "field": "F3",
    "character_modulus": 2,
    "colliding_degree_eigenvalues_mod_3": [
      0,
      0
    ],
    "falling_degree_3_mod_3": [
      0,
      2,
      0,
      1
    ],
    "even_projector_on_falling_0_mod_3": [
      1
    ],
    "even_projector_on_falling_3_mod_3": [
      0
    ]
  },
  "packet_egf_n5_x4": [
    "600",
    "244",
    "180"
  ],
  "difference_values_at_x4": [
    "900",
    "961",
    "240"
  ],
  "reconstructed_value_at_x4": "1024",
  "naive_residue2_at_x4": "1024",
  "correct_residue2_at_x4": "180",
  "star_x_x_coefficients": [
    "0",
    "-1",
    "1"
  ],
  "checks_by_group": {
    "anchor": 12,
    "stirling": 198,
    "roundtrip": 11,
    "projection": 1045,
    "difference": 495,
    "fourier": 1300,
    "refinement": 440,
    "power_projector": 1045,
    "enumeration": 176,
    "spectral": 119,
    "packet_egf": 541,
    "translation_anchor": 8,
    "translation": 1386,
    "translation_blocks": 10396,
    "modular_basis": 290,
    "egf_carry": 405,
    "characteristic": 8,
    "matrix": 1960,
    "star": 36,
    "boundaries": 7
  },
  "total_assertions": 19878
}