Found via the 2-adic parity-lift characterization. For N=2M with M=160, every witness projects injectively mod M and has the form x + eps(x) M. Each nontrivial base relation a+3b-2c-2d=kM imposes the XOR constraint eps(a) xor eps(b)=1-k (mod 2). I searched for a large support S⊂Z/160 with consistent XOR constraints using greedy local exchange, then lifted it to this 12-point witness.
last edited by Yongxi (Aaron) Lin at 2026-08-08 03:48:02 UTC · history
Commentary
last edited by Yongxi (Aaron) Lin at 2026-08-08 03:48:02 UTC · history
Log in to add commentary.