Commentary history

1 edit.

Natanael Wildner Fraga · 2026-10-24 19:00:30 UTC

Constructed offline from published witnesses using exact 3-4 swap. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial.