# 9-bit cyclic Beckett-Gray code, lane e74c seed 72101, 2026-10-31 04:30:55 EDT
# verified: src/check_queue.py PASS, bin/check_runs PASS
9 01230140125234301406515272343840601651752738438026016517538328024601653158248403760165182437305764016232571784036462125781734804625612578014847626521583487061245273850138424670513834876401203587814720254861731824260731381425067371348056472318068402751468307605724538604762758014367807501382375805212348357612148357604138572045368702456860504268510432871412637153028656237080615327048125634380276563087514678014157470154531675301264708204174805817451864731684763808765028458263458631251715267153728637218310534054
# 9-bit cyclic Beckett-Gray code, PatternBoost gate (plain bin/bgevo74, gate control arm runs/gate9/plain, seed 720015, 300 CPU-s), 2026-10-31 22:15:06 EDT
# verified: src/check_queue.py PASS, bin/check_runs PASS
9 0 1 2 3 4 5 6 7 8 0 1 0 2 1 3 2 4 3 5 6 5 7 8 6 8 4 0 1 0 2 1 3 2 5 7 3 6 5 8 4 6 0 4 1 0 2 1 7 3 7 2 5 3 6 4 6 0 4 8 1 0 7 1 2 7 3 6 3 5 4 6 8 0 4 8 1 7 1 3 7 2 5 6 0 5 4 8 6 1 4 8 7 2 7 0 2 5 0 6 3 5 4 6 8 7 8 2 7 0 1 2 3 5 6 3 8 5 7 6 4 1 0 2 3 7 5 2 3 6 5 4 0 6 8 7 1 2 0 3 2 5 7 6 8 6 1 3 8 0 1 2 4 7 2 6 7 5 3 8 3 1 8 4 1 2 4 7 2 0 5 3 5 8 7 1 8 4 6 2 1 0 5 4 7 0 8 7 3 6 5 1 8 4 0 4 7 2 0 3 5 6 8 5 1 4 2 3 0 4 6 2 5 7 1 8 3 5 4 1 2 0 4 7 3 8 5 6 2 1 0 7 4 3 1 6 5 6 4 2 7 2 1 7 5 6 5 4 0 2 8 4 7 5 3 2 0 8 5 0 4 8 3 6 2 5 4 3 7 0 8 0 6 8 4 2 3 6 7 3 1 0 8 4 2 7 6 5 3 8 1 4 6 2 7 4 1 5 8 0 6 7 2 5 4 6 1 3 0 4 7 5 0 6 2 3 7 4 3 0 8 2 6 0 7 1 7 3 8 3 6 8 0 4 1 7 6 2 3 8 4 1 5 6 4 2 1 6 8 5 7 0 4 6 4 8 5 7 2 0 8 1 4 6 5 2 0 8 2 3 1 6 8 1 0 5 2 0 3 2 8 1 5 6 5 0 7 2 4 6 5 3 5 7 0 8 4 3 5 2 1 0 4 8 7 6 2 1 4 0 3 7 1 6 5 7 0 3 1 3 0 5 7 8 1 4 3 0 3 8 1 4 7 6 1 3 5 7 8 6 4 1 5 8 2 8 4 2 5 8 6 8 3 5 1 6 8 7 3 1 0 1 8 7 0 7 1 4 1 8 7 6 4 3 1 5 0 6 3 6 5 0 4 0 6 1 5 4 0 3 1 2 6 5 8 3 2 7 2 6 8 7 5 8 3 2 5 2 8 1 3 2 1
# (Oct 31 22:15) the code above is distinct from the first code up to bit relabelling and reversal (patternboost/src/distinct9.py)