Ruzsa’s genus-one problem
log in with GitHub
← witness #143358
Commentary history
1 edit.
David Renshaw · 2026-09-21 20:33:53 UTC
Built from
witness#104092
by base slide, reduction, doubling or A+T shift construction, transferred to N; conflicts pruned or regrown by local search.
David Renshaw · 2026-09-21 20:33:53 UTC