{
 "delta0": {
  "files_sampled": 80,
  "terms_in_sampled_files": 84955130,
  "n_nonzero_words": 3000,
  "n_target_nonzero": 3000,
  "n_equal_mod_p1": 3000,
  "n_mismatch": 0,
  "n_absent_words": 600,
  "n_absent_zero": 600
 },
 "delta0_rational": {
  "shifted_control_certified_pow2_criterion": 0,
  "n": 3000,
  "certified_height_lt_2^30": 3000,
  "certified_pow2_criterion": 3000,
  "max_abs_numerator": 785037869,
  "max_denominator": 65536,
  "shifted_control_certified_height_only": 889
 },
 "generated": {
  "n_words": 1000,
  "n_nonzero_p1": 1000,
  "n_nonzero_p2": 1000,
  "y_count_histogram": {
   "0": 201,
   "2": 71,
   "4": 250,
   "6": 265,
   "8": 169,
   "10": 43,
   "12": 1
  }
 },
 "vanishing": {
  "first_entry_violation": {
   "n": 1000,
   "n_zero": 1000,
   "n_nonzero": 0
  },
  "final_entry_violation": {
   "n": 1000,
   "n_zero": 1000,
   "n_nonzero": 0
  },
  "ext_steinmann_violation": {
   "n": 1000,
   "n_zero": 1000,
   "n_nonzero": 0
  },
  "odd_y_count": {
   "n": 1000,
   "n_zero": 1000,
   "n_nonzero": 0
  },
  "fully_random": {
   "n": 1000,
   "n_zero": 1000,
   "n_nonzero": 0
  }
 },
 "dihedral": {
  "cycle_with_y_sign": {
   "n": 1000,
   "n_equal": 1000,
   "n_differ": 0,
   "n_words_with_y": 799
  },
  "cycle_no_sign": {
   "n": 1000,
   "n_equal": 1000,
   "n_differ": 0,
   "n_words_with_y": 799
  },
  "flip": {
   "n": 1000,
   "n_equal": 1000,
   "n_differ": 0,
   "n_words_with_y": 799
  },
  "parity_y_to_1/y": {
   "n": 1000,
   "n_equal": 1000,
   "n_differ": 0,
   "n_words_with_y": 799
  }
 },
 "rational": {
  "n": 1000,
  "certified_height_lt_2^30": 1000,
  "certified_pow2_criterion": 1000,
  "height_lt_2^20": 989,
  "height_lt_2^28": 1000,
  "shifted_control_certified_height_only": 190,
  "shifted_control_certified_pow2_criterion": 0,
  "certified_by_y_count": {
   "0": [
    201,
    201
   ],
   "2": [
    71,
    71
   ],
   "4": [
    250,
    250
   ],
   "6": [
    265,
    265
   ],
   "8": [
    169,
    169
   ],
   "10": [
    43,
    43
   ],
   "12": [
    1,
    1
   ]
  }
 }
}