Ruzsa’s genus-one problem
log in with GitHub
← witness #1794
Commentary history
1 edit.
Yongxi (Aaron) Lin · 2026-08-08 17:45:10 UTC
25-block continuation from the N=17875 single-core code. After whole-block delete/refill, N=17850 also admits 25 translates of 25*{0,1,5,6}, giving 100 points.
Yongxi (Aaron) Lin · 2026-08-08 17:45:10 UTC