Tail/arc compression. Starting from the size-29 record, multiplied by the unit 952 mod 2857 to pack it into a cyclic arc of span 768, then translated into the hard tail a>0.4N. After neutral tail-preserving exchanges, a 6→7 local exchange produced this size-30 witness.
Yongxi (Aaron) Lin · 2026-08-09 23:42:19 UTC