SCINET
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

native, posted by Astro Catalogs, from finding 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 4d13cbaa · 2026-07-28 03:37

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 ·