{
  "status": "PASS",
  "checks": 64530,
  "groups": {
    "additive_full_fibre": 229,
    "additive_solvability": 1132,
    "additive_substitution": 229,
    "affine_nonzero_line_scalar": 2666,
    "affine_parameter_class": 2678,
    "cyclic_base_size": 17,
    "damaged_pole_record_rejected": 1,
    "kummer_frobenius_factor_degree": 568,
    "kummer_irreducible_class_order": 162,
    "main_different_extension": 1,
    "main_failed_then_successful_trials": 1,
    "main_kummer_inverse": 1,
    "main_nonconstant_norm_one": 1,
    "main_nonunit_norm_of_preimage": 1,
    "main_pole_reduction": 1,
    "main_same_extension": 1,
    "main_weighted_prefix_coordinates": 1,
    "multiplicative_full_fibre": 337,
    "multiplicative_solvability": 1132,
    "multiplicative_substitution": 337,
    "nongenerator_rejected": 1,
    "norm_kernel_size": 17,
    "pole_complete_quotient_fibres": 3,
    "pole_idempotence": 18324,
    "pole_reconstruction": 18324,
    "pole_reduced_support": 18324,
    "quartic_degree_two_root": 1,
    "quartic_factorization": 1,
    "quartic_power_classes": 1,
    "reducible_modulus_rejected": 1,
    "trace_kernel_size": 17,
    "trace_one": 17,
    "wild_characteristic_constructor": 1,
    "wild_characteristic_trace": 1,
    "zero_multiplicative_input_rejected": 1
  },
  "cyclic_models": [
    {
      "p": 2,
      "modulus": [
        1,
        1
      ],
      "base_degree": 1,
      "generator_power": 1,
      "norm_one": 1,
      "trace_zero": 1
    },
    {
      "p": 2,
      "modulus": [
        1,
        1,
        1
      ],
      "base_degree": 1,
      "generator_power": 1,
      "norm_one": 3,
      "trace_zero": 2
    },
    {
      "p": 2,
      "modulus": [
        1,
        1,
        0,
        1
      ],
      "base_degree": 1,
      "generator_power": 1,
      "norm_one": 7,
      "trace_zero": 4
    },
    {
      "p": 2,
      "modulus": [
        1,
        1,
        0,
        1
      ],
      "base_degree": 1,
      "generator_power": 2,
      "norm_one": 7,
      "trace_zero": 4
    },
    {
      "p": 2,
      "modulus": [
        1,
        1,
        0,
        0,
        1
      ],
      "base_degree": 1,
      "generator_power": 1,
      "norm_one": 15,
      "trace_zero": 8
    },
    {
      "p": 2,
      "modulus": [
        1,
        1,
        0,
        0,
        1
      ],
      "base_degree": 1,
      "generator_power": 3,
      "norm_one": 15,
      "trace_zero": 8
    },
    {
      "p": 2,
      "modulus": [
        1,
        1,
        0,
        0,
        1
      ],
      "base_degree": 2,
      "generator_power": 1,
      "norm_one": 5,
      "trace_zero": 4
    },
    {
      "p": 2,
      "modulus": [
        1,
        0,
        1,
        0,
        0,
        1
      ],
      "base_degree": 1,
      "generator_power": 1,
      "norm_one": 31,
      "trace_zero": 16
    },
    {
      "p": 2,
      "modulus": [
        1,
        0,
        1,
        0,
        0,
        1
      ],
      "base_degree": 1,
      "generator_power": 2,
      "norm_one": 31,
      "trace_zero": 16
    },
    {
      "p": 2,
      "modulus": [
        1,
        0,
        1,
        0,
        0,
        1
      ],
      "base_degree": 1,
      "generator_power": 3,
      "norm_one": 31,
      "trace_zero": 16
    },
    {
      "p": 2,
      "modulus": [
        1,
        0,
        1,
        0,
        0,
        1
      ],
      "base_degree": 1,
      "generator_power": 4,
      "norm_one": 31,
      "trace_zero": 16
    },
    {
      "p": 3,
      "modulus": [
        2,
        2,
        0,
        1
      ],
      "base_degree": 1,
      "generator_power": 1,
      "norm_one": 13,
      "trace_zero": 9
    },
    {
      "p": 3,
      "modulus": [
        2,
        2,
        0,
        1
      ],
      "base_degree": 1,
      "generator_power": 2,
      "norm_one": 13,
      "trace_zero": 9
    },
    {
      "p": 5,
      "modulus": [
        3,
        0,
        1
      ],
      "base_degree": 1,
      "generator_power": 1,
      "norm_one": 6,
      "trace_zero": 5
    },
    {
      "p": 7,
      "modulus": [
        5,
        0,
        0,
        1
      ],
      "base_degree": 1,
      "generator_power": 1,
      "norm_one": 57,
      "trace_zero": 49
    },
    {
      "p": 7,
      "modulus": [
        5,
        0,
        0,
        1
      ],
      "base_degree": 1,
      "generator_power": 2,
      "norm_one": 57,
      "trace_zero": 49
    },
    {
      "p": 13,
      "modulus": [
        11,
        0,
        1
      ],
      "base_degree": 1,
      "generator_power": 1,
      "norm_one": 14,
      "trace_zero": 13
    }
  ],
  "kummer_binomial_models": [
    {
      "p": 3,
      "n": 2,
      "a": 1,
      "degree": 1
    },
    {
      "p": 3,
      "n": 2,
      "a": 2,
      "degree": 2
    },
    {
      "p": 5,
      "n": 2,
      "a": 1,
      "degree": 1
    },
    {
      "p": 5,
      "n": 2,
      "a": 2,
      "degree": 2
    },
    {
      "p": 5,
      "n": 2,
      "a": 3,
      "degree": 2
    },
    {
      "p": 5,
      "n": 2,
      "a": 4,
      "degree": 1
    },
    {
      "p": 5,
      "n": 4,
      "a": 1,
      "degree": 1
    },
    {
      "p": 5,
      "n": 4,
      "a": 2,
      "degree": 4
    },
    {
      "p": 5,
      "n": 4,
      "a": 3,
      "degree": 4
    },
    {
      "p": 5,
      "n": 4,
      "a": 4,
      "degree": 2
    },
    {
      "p": 7,
      "n": 2,
      "a": 1,
      "degree": 1
    },
    {
      "p": 7,
      "n": 2,
      "a": 2,
      "degree": 1
    },
    {
      "p": 7,
      "n": 2,
      "a": 3,
      "degree": 2
    },
    {
      "p": 7,
      "n": 2,
      "a": 4,
      "degree": 1
    },
    {
      "p": 7,
      "n": 2,
      "a": 5,
      "degree": 2
    },
    {
      "p": 7,
      "n": 2,
      "a": 6,
      "degree": 2
    },
    {
      "p": 7,
      "n": 3,
      "a": 1,
      "degree": 1
    },
    {
      "p": 7,
      "n": 3,
      "a": 2,
      "degree": 3
    },
    {
      "p": 7,
      "n": 3,
      "a": 3,
      "degree": 3
    },
    {
      "p": 7,
      "n": 3,
      "a": 4,
      "degree": 3
    },
    {
      "p": 7,
      "n": 3,
      "a": 5,
      "degree": 3
    },
    {
      "p": 7,
      "n": 3,
      "a": 6,
      "degree": 1
    },
    {
      "p": 7,
      "n": 6,
      "a": 1,
      "degree": 1
    },
    {
      "p": 7,
      "n": 6,
      "a": 2,
      "degree": 3
    },
    {
      "p": 7,
      "n": 6,
      "a": 3,
      "degree": 6
    },
    {
      "p": 7,
      "n": 6,
      "a": 4,
      "degree": 3
    },
    {
      "p": 7,
      "n": 6,
      "a": 5,
      "degree": 6
    },
    {
      "p": 7,
      "n": 6,
      "a": 6,
      "degree": 2
    },
    {
      "p": 13,
      "n": 2,
      "a": 1,
      "degree": 1
    },
    {
      "p": 13,
      "n": 2,
      "a": 2,
      "degree": 2
    },
    {
      "p": 13,
      "n": 2,
      "a": 3,
      "degree": 1
    },
    {
      "p": 13,
      "n": 2,
      "a": 4,
      "degree": 1
    },
    {
      "p": 13,
      "n": 2,
      "a": 5,
      "degree": 2
    },
    {
      "p": 13,
      "n": 2,
      "a": 6,
      "degree": 2
    },
    {
      "p": 13,
      "n": 2,
      "a": 7,
      "degree": 2
    },
    {
      "p": 13,
      "n": 2,
      "a": 8,
      "degree": 2
    },
    {
      "p": 13,
      "n": 2,
      "a": 9,
      "degree": 1
    },
    {
      "p": 13,
      "n": 2,
      "a": 10,
      "degree": 1
    },
    {
      "p": 13,
      "n": 2,
      "a": 11,
      "degree": 2
    },
    {
      "p": 13,
      "n": 2,
      "a": 12,
      "degree": 1
    },
    {
      "p": 13,
      "n": 3,
      "a": 1,
      "degree": 1
    },
    {
      "p": 13,
      "n": 3,
      "a": 2,
      "degree": 3
    },
    {
      "p": 13,
      "n": 3,
      "a": 3,
      "degree": 3
    },
    {
      "p": 13,
      "n": 3,
      "a": 4,
      "degree": 3
    },
    {
      "p": 13,
      "n": 3,
      "a": 5,
      "degree": 1
    },
    {
      "p": 13,
      "n": 3,
      "a": 6,
      "degree": 3
    },
    {
      "p": 13,
      "n": 3,
      "a": 7,
      "degree": 3
    },
    {
      "p": 13,
      "n": 3,
      "a": 8,
      "degree": 1
    },
    {
      "p": 13,
      "n": 3,
      "a": 9,
      "degree": 3
    },
    {
      "p": 13,
      "n": 3,
      "a": 10,
      "degree": 3
    },
    {
      "p": 13,
      "n": 3,
      "a": 11,
      "degree": 3
    },
    {
      "p": 13,
      "n": 3,
      "a": 12,
      "degree": 1
    },
    {
      "p": 13,
      "n": 4,
      "a": 1,
      "degree": 1
    },
    {
      "p": 13,
      "n": 4,
      "a": 2,
      "degree": 4
    },
    {
      "p": 13,
      "n": 4,
      "a": 3,
      "degree": 1
    },
    {
      "p": 13,
      "n": 4,
      "a": 4,
      "degree": 2
    },
    {
      "p": 13,
      "n": 4,
      "a": 5,
      "degree": 4
    },
    {
      "p": 13,
      "n": 4,
      "a": 6,
      "degree": 4
    },
    {
      "p": 13,
      "n": 4,
      "a": 7,
      "degree": 4
    },
    {
      "p": 13,
      "n": 4,
      "a": 8,
      "degree": 4
    },
    {
      "p": 13,
      "n": 4,
      "a": 9,
      "degree": 1
    },
    {
      "p": 13,
      "n": 4,
      "a": 10,
      "degree": 2
    },
    {
      "p": 13,
      "n": 4,
      "a": 11,
      "degree": 4
    },
    {
      "p": 13,
      "n": 4,
      "a": 12,
      "degree": 2
    },
    {
      "p": 13,
      "n": 6,
      "a": 1,
      "degree": 1
    },
    {
      "p": 13,
      "n": 6,
      "a": 2,
      "degree": 6
    },
    {
      "p": 13,
      "n": 6,
      "a": 3,
      "degree": 3
    },
    {
      "p": 13,
      "n": 6,
      "a": 4,
      "degree": 3
    },
    {
      "p": 13,
      "n": 6,
      "a": 5,
      "degree": 2
    },
    {
      "p": 13,
      "n": 6,
      "a": 6,
      "degree": 6
    },
    {
      "p": 13,
      "n": 6,
      "a": 7,
      "degree": 6
    },
    {
      "p": 13,
      "n": 6,
      "a": 8,
      "degree": 2
    },
    {
      "p": 13,
      "n": 6,
      "a": 9,
      "degree": 3
    },
    {
      "p": 13,
      "n": 6,
      "a": 10,
      "degree": 3
    },
    {
      "p": 13,
      "n": 6,
      "a": 11,
      "degree": 6
    },
    {
      "p": 13,
      "n": 6,
      "a": 12,
      "degree": 1
    },
    {
      "p": 17,
      "n": 2,
      "a": 1,
      "degree": 1
    },
    {
      "p": 17,
      "n": 2,
      "a": 2,
      "degree": 1
    },
    {
      "p": 17,
      "n": 2,
      "a": 3,
      "degree": 2
    },
    {
      "p": 17,
      "n": 2,
      "a": 4,
      "degree": 1
    },
    {
      "p": 17,
      "n": 2,
      "a": 5,
      "degree": 2
    },
    {
      "p": 17,
      "n": 2,
      "a": 6,
      "degree": 2
    },
    {
      "p": 17,
      "n": 2,
      "a": 7,
      "degree": 2
    },
    {
      "p": 17,
      "n": 2,
      "a": 8,
      "degree": 1
    },
    {
      "p": 17,
      "n": 2,
      "a": 9,
      "degree": 1
    },
    {
      "p": 17,
      "n": 2,
      "a": 10,
      "degree": 2
    },
    {
      "p": 17,
      "n": 2,
      "a": 11,
      "degree": 2
    },
    {
      "p": 17,
      "n": 2,
      "a": 12,
      "degree": 2
    },
    {
      "p": 17,
      "n": 2,
      "a": 13,
      "degree": 1
    },
    {
      "p": 17,
      "n": 2,
      "a": 14,
      "degree": 2
    },
    {
      "p": 17,
      "n": 2,
      "a": 15,
      "degree": 1
    },
    {
      "p": 17,
      "n": 2,
      "a": 16,
      "degree": 1
    },
    {
      "p": 17,
      "n": 4,
      "a": 1,
      "degree": 1
    },
    {
      "p": 17,
      "n": 4,
      "a": 2,
      "degree": 2
    },
    {
      "p": 17,
      "n": 4,
      "a": 3,
      "degree": 4
    },
    {
      "p": 17,
      "n": 4,
      "a": 4,
      "degree": 1
    },
    {
      "p": 17,
      "n": 4,
      "a": 5,
      "degree": 4
    },
    {
      "p": 17,
      "n": 4,
      "a": 6,
      "degree": 4
    },
    {
      "p": 17,
      "n": 4,
      "a": 7,
      "degree": 4
    },
    {
      "p": 17,
      "n": 4,
      "a": 8,
      "degree": 2
    },
    {
      "p": 17,
      "n": 4,
      "a": 9,
      "degree": 2
    },
    {
      "p": 17,
      "n": 4,
      "a": 10,
      "degree": 4
    },
    {
      "p": 17,
      "n": 4,
      "a": 11,
      "degree": 4
    },
    {
      "p": 17,
      "n": 4,
      "a": 12,
      "degree": 4
    },
    {
      "p": 17,
      "n": 4,
      "a": 13,
      "degree": 1
    },
    {
      "p": 17,
      "n": 4,
      "a": 14,
      "degree": 4
    },
    {
      "p": 17,
      "n": 4,
      "a": 15,
      "degree": 2
    },
    {
      "p": 17,
      "n": 4,
      "a": 16,
      "degree": 1
    },
    {
      "p": 19,
      "n": 2,
      "a": 1,
      "degree": 1
    },
    {
      "p": 19,
      "n": 2,
      "a": 2,
      "degree": 2
    },
    {
      "p": 19,
      "n": 2,
      "a": 3,
      "degree": 2
    },
    {
      "p": 19,
      "n": 2,
      "a": 4,
      "degree": 1
    },
    {
      "p": 19,
      "n": 2,
      "a": 5,
      "degree": 1
    },
    {
      "p": 19,
      "n": 2,
      "a": 6,
      "degree": 1
    },
    {
      "p": 19,
      "n": 2,
      "a": 7,
      "degree": 1
    },
    {
      "p": 19,
      "n": 2,
      "a": 8,
      "degree": 2
    },
    {
      "p": 19,
      "n": 2,
      "a": 9,
      "degree": 1
    },
    {
      "p": 19,
      "n": 2,
      "a": 10,
      "degree": 2
    },
    {
      "p": 19,
      "n": 2,
      "a": 11,
      "degree": 1
    },
    {
      "p": 19,
      "n": 2,
      "a": 12,
      "degree": 2
    },
    {
      "p": 19,
      "n": 2,
      "a": 13,
      "degree": 2
    },
    {
      "p": 19,
      "n": 2,
      "a": 14,
      "degree": 2
    },
    {
      "p": 19,
      "n": 2,
      "a": 15,
      "degree": 2
    },
    {
      "p": 19,
      "n": 2,
      "a": 16,
      "degree": 1
    },
    {
      "p": 19,
      "n": 2,
      "a": 17,
      "degree": 1
    },
    {
      "p": 19,
      "n": 2,
      "a": 18,
      "degree": 2
    },
    {
      "p": 19,
      "n": 3,
      "a": 1,
      "degree": 1
    },
    {
      "p": 19,
      "n": 3,
      "a": 2,
      "degree": 3
    },
    {
      "p": 19,
      "n": 3,
      "a": 3,
      "degree": 3
    },
    {
      "p": 19,
      "n": 3,
      "a": 4,
      "degree": 3
    },
    {
      "p": 19,
      "n": 3,
      "a": 5,
      "degree": 3
    },
    {
      "p": 19,
      "n": 3,
      "a": 6,
      "degree": 3
    },
    {
      "p": 19,
      "n": 3,
      "a": 7,
      "degree": 1
    },
    {
      "p": 19,
      "n": 3,
      "a": 8,
      "degree": 1
    },
    {
      "p": 19,
      "n": 3,
      "a": 9,
      "degree": 3
    },
    {
      "p": 19,
      "n": 3,
      "a": 10,
      "degree": 3
    },
    {
      "p": 19,
      "n": 3,
      "a": 11,
      "degree": 1
    },
    {
      "p": 19,
      "n": 3,
      "a": 12,
      "degree": 1
    },
    {
      "p": 19,
      "n": 3,
      "a": 13,
      "degree": 3
    },
    {
      "p": 19,
      "n": 3,
      "a": 14,
      "degree": 3
    },
    {
      "p": 19,
      "n": 3,
      "a": 15,
      "degree": 3
    },
    {
      "p": 19,
      "n": 3,
      "a": 16,
      "degree": 3
    },
    {
      "p": 19,
      "n": 3,
      "a": 17,
      "degree": 3
    },
    {
      "p": 19,
      "n": 3,
      "a": 18,
      "degree": 1
    },
    {
      "p": 19,
      "n": 6,
      "a": 1,
      "degree": 1
    },
    {
      "p": 19,
      "n": 6,
      "a": 2,
      "degree": 6
    },
    {
      "p": 19,
      "n": 6,
      "a": 3,
      "degree": 6
    },
    {
      "p": 19,
      "n": 6,
      "a": 4,
      "degree": 3
    },
    {
      "p": 19,
      "n": 6,
      "a": 5,
      "degree": 3
    },
    {
      "p": 19,
      "n": 6,
      "a": 6,
      "degree": 3
    },
    {
      "p": 19,
      "n": 6,
      "a": 7,
      "degree": 1
    },
    {
      "p": 19,
      "n": 6,
      "a": 8,
      "degree": 2
    },
    {
      "p": 19,
      "n": 6,
      "a": 9,
      "degree": 3
    },
    {
      "p": 19,
      "n": 6,
      "a": 10,
      "degree": 6
    },
    {
      "p": 19,
      "n": 6,
      "a": 11,
      "degree": 1
    },
    {
      "p": 19,
      "n": 6,
      "a": 12,
      "degree": 2
    },
    {
      "p": 19,
      "n": 6,
      "a": 13,
      "degree": 6
    },
    {
      "p": 19,
      "n": 6,
      "a": 14,
      "degree": 6
    },
    {
      "p": 19,
      "n": 6,
      "a": 15,
      "degree": 6
    },
    {
      "p": 19,
      "n": 6,
      "a": 16,
      "degree": 3
    },
    {
      "p": 19,
      "n": 6,
      "a": 17,
      "degree": 3
    },
    {
      "p": 19,
      "n": 6,
      "a": 18,
      "degree": 2
    }
  ],
  "pole_models": [
    {
      "p": 2,
      "max_pole": 8,
      "inputs": 512,
      "classes": 32,
      "fibre": 16
    },
    {
      "p": 3,
      "max_pole": 6,
      "inputs": 2187,
      "classes": 243,
      "fibre": 9
    },
    {
      "p": 5,
      "max_pole": 5,
      "inputs": 15625,
      "classes": 3125,
      "fibre": 5
    }
  ],
  "main": {
    "norm_one_input": [
      4,
      6,
      4
    ],
    "preimage": [
      1,
      1,
      0
    ],
    "basis_trials_for_4": [
      [
        0,
        0,
        0
      ],
      [
        0,
        0,
        0
      ],
      [
        0,
        0,
        3
      ]
    ],
    "artin_schreier_remainder": [
      0,
      0,
      0,
      0,
      1
    ],
    "artin_schreier_correction": [
      0,
      2
    ]
  },
  "scope": "Finite exact implementation checks; general cyclic and rational-function claims proved in the text."
}