From the N=145 record pattern. General family for q>=29: A_q={0,1,5,6,q-1,q+1,q+4,q+6,3q-1,3q+4} modulo 5q. The seed q=29 is exactly the N=145 record {0,1,5,6,28,30,33,35,86,91}; q=39 gives this N=195 witness.
last edited by Yongxi (Aaron) Lin at 2026-08-08 23:31:10 UTC · history
Commentary
last edited by Yongxi (Aaron) Lin at 2026-08-08 23:31:10 UTC · history
Log in to add commentary.