VERIFY <VerifyReport T466: 511/511 matched, 0 differing, 0 missing, 0 extra>
{
  "stored": true,
  "values_checked": 511,
  "graph_checks": 629,
  "independent_arb_single_zeta_entries": 129,
  "wheels": {
    "5,1": 5,
    "6,1": 6,
    "7,21": 7,
    "8,162": 8
  },
  "cross_table_equalities": 71,
  "internal_equalities": 320,
  "max_source_error_ulps": 0.49785823286391867,
  "min_agreement_digits": 155.35035936091248,
  "measurement": {
    "entries": 511,
    "longest": 164,
    "longest_at": "8,20",
    "block_kb": 107.431640625
  },
  "controls": {
    "zeta21": "zeta(3)",
    "zeta31": "zeta(4)/4",
    "Li11(-1)": "log(2)^2/2",
    "Li3(-1)": "-3*zeta(3)/4",
    "zeta53_partial_sum_terms": 10000,
    "zeta53_tail_bound": "3.0051422578989857134993454037786249769124657308512472044807e-17"
  }
}