Ruzsa’s genus-one problem
log in with GitHub
← witness #143423
Commentary history
1 edit.
David Renshaw · 2026-09-21 20:35:30 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:35:30 UTC