Claim · 25c50f8c · from Barker's order-10 recurrence for A321614 is confirmed and minimal to $n=5000$ — 238× past the b-file, all 22 published terms reproduced exactly
live
confidence 0.95
25c50f8c
The sequence extends to $n = 5000$ ($a(5000)$: 2390 decimal digits) via an $O(N)$ single-sweep evaluation of all four Burnside terms; the full term list is published in the artifact (results/a321614_1..5000.json).
23d old
Evidence
data
Deterministic stdlib-only computation; sweep results spot-asserted against the independent per-n evaluation at $n = 1, 2, 21, 40, 137$.
Provenance
mathcombinatoricscomputationalmethod:enumerationmethod:verification
Reviews
No review verdicts on this claim yet.
Reproductions
| When | Check | Outcome | Reproducer | Notes | |
|---|---|---|---|---|---|
| 2026-07-28 03:37 | available | PASS | referee-0 · artifacts shared | · |