[[998, 26, 6]] magic-state factory, T0·T1·T2·T3·T4·T5·T6·T7·T8·T9·T10·T11...

The circuit

The 176\times998 matrix. Rows are wires and columns are rotations. A 1 means the wire takes part in the rotation, and the number beside each wire is its row weight. Scroll sideways to see every column.

output wires
check wires, measured and postselected

wire	0 10 20 30 40 50 60 70 80 90 100 110 120 130 140 150 160 170 180 190 200 210 220 230 240 250 260 270 280 290 300 310 320 330 340 350 360 370 380 390 400 410 420 430 440 450 460 470 480 490 500 510 520 530 540 550 560 570 580 590 600 610 620 630 640 650 660 670 680 690 700 710 720 730 740 750 760 770 780 790 800 810 820 830 840 850 860 870 880 890 900 910 920 930 940 950 960 970 980 990 \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| '
out 0 (447)	1·11·1111111·1·11···1·11111··1·111·····1··1····1··111····11·····11··1·1·11··1·1·1·1·11···1·1··1111111··1·····11·1111··1·1···111111·11·····1··11··1····1··1····11···1·111···1·11·1·11··1·1·11·······11······11··11·····1··11111··11·1·111··1·1·11·11111··1·····111·1·11···1·11·1···111·1···11····1··1····1··111······11·······11·1·1··11·1·11·1·11···1·1··11·····11·11111··11·111··1·1···11····1··11111·11·1··1····1··1······111·1···111·1··1·1··11·1·1··11·····11······11·1··11111·11·······11·1·111··1·1·111·1··111·1·1··1····1··1····1111·11·····1··11·1···11·1·111··11··1·1···11·1·1·11·····1··11111·····11······11··1·1··11·1·1··11···1··1····1··11·1···111·1···1111···1·1··111·1·1··1·····11·111111111··1·····11··1·1··111·1·11····11·1·1··11·1·1·11······11·····11···1·111···1·11··1····1··1········1··11111·11·1·1···11·1·111··11··1·1···11·1·11··11111·11··········11······11·1·1·11··1·1·11······1··1····1··1·1·111···1·111··11···1·1··111·1··11·11111··1·········11·11111··1·1·1··111·1·11··11··1·1·11··1·1··11······11·····
out 1 (255)	1·1·1·······1·1·····1·111····1·1········1·1·····1·11·1···1·1·········1·1·····1·1·1·1·····1·1·········1·1·····1·111·····1·1·········1·1·····1·1·1·1·····1·1·········1·1·····1·1·1·1·····1·1·········1·1·····1·1·1·1·····1·1·········1·1·····1·11·1·····1·1········1·1·····1·1·1·1·····1·1·········1·1·····1·11·1·····1·1·········1·1·····1·1·1·1·····1·1·········1·1·····1·11·1·····1·1·········1·1·····1·1·1·1·····1·1·········1·1·····1·1·1·1·····1·1·········1·1·····1·1·1·1·····1·1·········1·1·····1·1···1·1····1·1·1·1·····1·1·········1·1·····1·1·1·1·····1·1·········1·1·····1·1·1·1·····1·1·········1·1·····1·1·1·1·····1·1········1·1·····1·1·1·1·····1·1·········1·1·····1·1·1·1·····1·1·········1·1·····1·1·1·1·····1·1·········1·1·····1·1·1·1·····1·1·········1·1·····1·1·1·1·····1·1·········1·1·····1·1·1·1·····1·1·········1·1·····1·1·1·1·····1·1·········1·1·····1·1·1·1·····1·1·········1·1·····1·1·1·1·····1·1·········1·1·····1·1·1·1·····1·1·········1·1·····1·1·1·1·····1·1·········1·1·····1·1·1·1·····1·1····
out 2 (255)	1··11····11······11········11·····11·····11······11·11····11······11······11··········11······11······11······11····11······11······11······11··11······11······11······11··········11······11······11······11··11······11······11······11·····11······11·····11······11··········11······11······11······11·11······11······11······11··········11······11······11······11·····11······11······11······11··11······11······11······11··········11······11······11······11··11······11······11······11····11·····11······11······11··········11······11······11······11··11······11······11······11··········11······11······11······11·····11······11······11······11··11······11······11······11··········11······11······11······11··11······11······11······11······11······11······11······11··········11······11······11······11··11······11······11······11··········11······11······11······11······11······11······11······11··11······11······11······11··········11······11······11······11··11······11······11······11····
out 3 (255)	·1···1··1··1··1····1··1··1··1···1··1···1··1····1··1···11·····11······11······11······11······11······11······11···1··1····1··1····1··1····1··1····1··1····1··1····1··1····1··1·····11······11······11······11······11······11······11······11····1··1····1··1···1··1····1··1····1··1····1··1····1··1····1··1····11······11······11······11······11······11······11······11····1··1····1··1····1··1····1··1····1··1····1··1····1··1····1··1·····11······11······11······11······11······11······11······11···1··1···1··1····1··1····1··1····1··1····1··1····1··1····1··1·····11······11······11······11······11······11······11······11····1··1····1··1····1··1····1··1····1··1····1··1····1··1····1··1·····11······11······11······11······11······11······11······11·····1··1····1··1····1··1····1··1····1··1····1··1····1··1····1··1·····11······11······11······11······11······11······11······11·····1··1····1··1····1··1····1··1····1··1····1··1····1··1····1··1·····11······11······11······11······11······11······11······11·
out 4 (255)	··1111111······11111111·································································11111111········11111111······11111111········11111111········································································11111111········11111111·······11111111·······11111111·······································································11111111········11111111·······11111111········11111111········································································11111111········11111111·····································11111111········11111111········11111111········11111111·······································································11111111········11111111········11111111········11111111········································································11111111········11111111········11111111········11111111········································································11111111········11111111········11111111········11111111································
out 5 (255)	·········1·1·1·1·1·1·1··············1·1·1·1·1·1·1·1·············1·1·1·1·1·1·1·1··················1·1·1·1·1·1·1·1··············1·1·1·1·1·1·1·1··················1·1·1·1·1·1·1·1················1·1·1·1·1·1·1·1··················1·1·1·1·1·1·1·1···············1·1·1·1·1·1·1·1················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1················1·1·1·1·1·1·1·1··················1·1·1·1·1·1·1·1················1·1·1·1·1·1·1·1··············1·1·1·1·1·1·1·1··················1·1·1·1·1·1·1·1················1·1·1·1·1·1·1·1··················1·1·1·1·1·1·1·1···············1·1·1·1·1·1·1·1··················1·1·1·1·1·1·1·1················1·1·1·1·1·1·1·1··················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1················1·1·1·1·1·1·1·1··················1·1·1·1·1·1·1·1················1·1·1·1·1·1·1·1··················1·1·1·1·1·1·1·1················1·1·1·1·1·1·1·1··················1·1·1·1·1·1·1·1················1·1·1·1·1·1·1·1·
out 6 (255)	·······················1·11···11··11·11··1111··11·······························11··11····11··11··11··1111··11································11··11····11··11··11··1111··11··································11··11····11··11··11··1111··11································11··11····11··11··11··1111··11·································11··11····11··11··11··1111··11·································11··11····11··11··11··1111··11··································11··11····11··11··11··1111··11·······························11··11····11··11··11··1111··11··································11··11····11··11··11··1111··11·································11··11····11··11··11··1111··11··································11··11····11··11··11··1111··11··································11··11····11··11··11··1111··11··································11··11····11··11··11··1111··11··································11··11····11··11··11··1111··11··································11··11····11··11··11··1111··11··
out 7 (255)	···················································111······11111111········11111111········11111111········1111······························································1111········11111111········11111111········11111111········1111·································································11111111········11111111········11111111········11111111·······································································11111111········11111111········11111111········11111111·································································1111········11111111········11111111········11111111········1111·······························································1111········11111111········11111111········11111111········1111····································································11111111········11111111········11111111········11111111········································································11111111········11111111········11111111········11111111····
out 8 (255)	················································································································1·11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11································································································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11······························································································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11································································································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··
out 9 (255)	··············································································································································································································································111111111111111···············1111111111111111·······························1111111111111111················1111111111111111···············1111111111111111················11111111111111111111111111111111················1111111111111111············································································································································································································································································1111111111111111················1111111111111111································1111111111111111················1111111111111111················1111111111111111················11111111111111111111111111111111················1111111111111111················
out 10 (255)	··········································································································································································································································································································································································································································································································1·1·1·1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1·1·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·1·1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1··1·1·1·11·1·1·1·
out 11 (255)	·1····1·1···1·1·····1·1···1·1····1·1····1·1·····1·1···1·1····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1···1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1····1·1·····1·1····1·1·····1·1·····1·1·····1·1·····1·1·····1·1····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1···1·1····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1
out 12 (255)	·1·····11····11······11····11·····11·····11······11····11·····11······11······11······11······11······11······11····11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11·····11······11·····11······11······11······11······11······11·····11······11······11······11······11······11······11······11·····11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11····11·····11······11······11······11······11······11······11······11······11······11······11······11······11······11······11·····11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11
out 13 (255)	··········1·1·1·1·1·1·1·············1·1·1·1·1·1·1·1··············1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1···············1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1···············1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1··············1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1
out 14 (255)	························1··11·11··11·11··11··11··11·······························11··11··11··11··11··11··11··11································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11································11··11··11··11··11··11··11··11·································11··11··11··11··11··11··11··11·································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11·······························11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11·································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11
out 15 (255)	·····························1111111·······11111111·····································11111111········11111111······································11111111········11111111········································11111111········11111111······································11111111········11111111·······································11111111········11111111·······································11111111········11111111········································11111111········11111111·····································11111111········11111111········································11111111········11111111·······································11111111········11111111········································11111111········11111111········································11111111········11111111········································11111111········11111111········································11111111········11111111········································11111111········11111111
out 16 (255)	····································111111111111111·············································1111111111111111··············································1111111111111111················································1111111111111111··············································1111111111111111···············································1111111111111111···············································1111111111111111················································1111111111111111·············································1111111111111111················································1111111111111111···············································1111111111111111················································1111111111111111················································1111111111111111················································1111111111111111················································1111111111111111················································1111111111111111
out 17 (255)	······················································111···1111····1111····1111····1111····1111····1111····1111··································································1111····1111····1111····1111····1111····1111····1111····1111·································································1111····1111····1111····1111····1111····1111····1111····1111···································································1111····1111····1111····1111····1111····1111····1111····1111·································································1111····1111····1111····1111····1111····1111····1111····1111···································································1111····1111····1111····1111····1111····1111····1111····1111····································································1111····1111····1111····1111····1111····1111····1111····1111····································································1111····1111····1111····1111····1111····1111····1111····1111
out 18 (255)	·························································1111111········11111111········11111111········11111111······································································11111111········11111111········11111111········11111111·····································································11111111········11111111········11111111········11111111·······································································11111111········11111111········11111111········11111111·····································································11111111········11111111········11111111········11111111·······································································11111111········11111111········11111111········11111111········································································11111111········11111111········11111111········11111111········································································11111111········11111111········11111111········11111111
out 19 (255)	·················································································································1··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11······························································································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11······························································································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··································································································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11
out 20 (255)	·····························································································································································································································································111111111111111················1111111111111111···············1111111111111111················1111111111111111···············1111111111111111················1111111111111111················1111111111111111················1111111111111111············································································································································································································································································1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111
out 21 (255)	············································································································································································································································································································111111111111111111111111111111111111111111111111111111111111111·······························································1111111111111111111111111111111111111111111111111111111111111111····························································································································································································································································································································1111111111111111111111111111111111111111111111111111111111111111································································1111111111111111111111111111111111111111111111111111111111111111
out 22 (255)	···········································································································································································································································································································································································1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111····························································································································································································································································································································································································11111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
out 23 (255)	···········································································································································································································································································································································································································································································································1·1·11·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·11·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1
out 24 (255)	················································································································································································································································································································································································································································································································1111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111·······11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111
out 25 (255)	·······································································································································································································································································································································································································································································································································································································································1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111································································································································11111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
check 26 (256)	11··1···1·1···1···1···1·1···1··1···1··1···1···1···1··1··1··1···1···1···1···1···1···1···1···1···1···1···1···1···1·1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1··1···1···1···1··1···1···1···1···1···1···1···1···1···1···1···1··1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1··1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1·1···1··1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1··1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1
check 27 (256)	··1·1·1·1·······1·1·1·1······1·1·1·1········1·1·1·1······1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·······1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1········1·1·1·1········1·1·1·1·········1·1·1·1·········1·1·1·1········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1······1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1
check 28 (256)	···11··11········11··11·······11··11·········11··11·······11··11··········11··11··········11··11··········11··11········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11·········11··11·········11··11··········11··11··········11··11·········11··11··········11··11··········11··11··········11··11·········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11·······11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11·········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11
check 29 (256)	·····1111··········1111·········1111···········1111·········1111············1111············1111············1111··········1111············1111············1111············1111············1111············1111············1111············1111···········1111···········1111············1111············1111···········1111············1111············1111············1111···········1111············1111············1111············1111············1111············1111············1111············1111·········1111············1111············1111············1111············1111············1111············1111············1111···········1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111
check 30 (256)	·········11··11··11··11··············11··11··11··11···············11··11··11··11··················11··11··11··11················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11················11··11··11··11··················11··11··11··11·················11··11··11··11··················11··11··11··11·················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11···············11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11·················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11
check 31 (256)	···········1111····1111················1111····1111·················1111····1111····················1111····1111··················1111····1111····················1111····1111····················1111····1111····················1111····1111··················1111····1111····················1111····1111···················1111····1111····················1111····1111···················1111····1111····················1111····1111····················1111····1111····················1111····1111·················1111····1111····················1111····1111····················1111····1111····················1111····1111···················1111····1111····················1111····1111····················1111····1111····················1111····1111····················1111····1111····················1111····1111····················1111····1111····················1111····1111····················1111····1111····················1111····1111····················1111····1111····················1111····1111
check 32 (256)	···············11111111····················11111111·····················11111111························11111111······················11111111························11111111························11111111························11111111······················11111111························11111111·······················11111111························11111111·······················11111111························11111111························11111111························11111111·····················11111111························11111111························11111111························11111111·······················11111111························11111111························11111111························11111111························11111111························11111111························11111111························11111111························11111111························11111111························11111111························11111111
check 33 (256)	·······················11·1·11·1·1·11·1·1·1·1·1·1·1······························1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·······························1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·······························1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1······························1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1
check 34 (256)	·························1111···1111···1111····1111·································1111····1111····1111····1111··································1111····1111····1111····1111····································1111····1111····1111····1111··································1111····1111····1111····1111···································1111····1111····1111····1111···································1111····1111····1111····1111····································1111····1111····1111····1111·································1111····1111····1111····1111····································1111····1111····1111····1111···································1111····1111····1111····1111····································1111····1111····1111····1111····································1111····1111····1111····1111····································1111····1111····1111····1111····································1111····1111····1111····1111····································1111····1111····1111····1111
check 35 (256)	···················································1·11·11·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·······························································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1······························································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1······························································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1
check 36 (256)	····················································11·11·11··11··11··11··11··11··11··11··11··11··11··11··11··11································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11·······························································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11·································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11·······························································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11·································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11
check 37 (256)	································································1111111111111111················1111111111111111··············································································1111111111111111················1111111111111111·············································································1111111111111111················1111111111111111···············································································1111111111111111················1111111111111111·············································································1111111111111111················1111111111111111···············································································1111111111111111················1111111111111111················································································1111111111111111················1111111111111111················································································1111111111111111················1111111111111111
check 38 (256)	················································································11111111111111111111111111111111······························································································11111111111111111111111111111111·····························································································11111111111111111111111111111111·······························································································11111111111111111111111111111111·····························································································11111111111111111111111111111111·······························································································11111111111111111111111111111111································································································11111111111111111111111111111111································································································11111111111111111111111111111111
check 39 (256)	················································································································11·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·····························································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·····························································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1
check 40 (256)	··················································································································1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111································································································································1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111································································································································1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····································································································································1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111
check 41 (256)	······················································································································11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111····································································································································11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111····································································································································11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········································································································································11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111
check 42 (256)	······························································································································1111111111111111················1111111111111111················1111111111111111················1111111111111111············································································································································1111111111111111················1111111111111111················1111111111111111················1111111111111111············································································································································1111111111111111················1111111111111111················1111111111111111················1111111111111111················································································································································1111111111111111················1111111111111111················1111111111111111················1111111111111111
check 43 (256)	··············································································································································11111111111111111111111111111111································11111111111111111111111111111111····························································································································································11111111111111111111111111111111································11111111111111111111111111111111····························································································································································11111111111111111111111111111111································11111111111111111111111111111111································································································································································11111111111111111111111111111111································11111111111111111111111111111111
check 44 (256)	··············································································································································································1111111111111111111111111111111111111111111111111111111111111111····························································································································································································1111111111111111111111111111111111111111111111111111111111111111····························································································································································································1111111111111111111111111111111111111111111111111111111111111111································································································································································································1111111111111111111111111111111111111111111111111111111111111111
check 45 (256)	··············································································································································································································································1·1·1·1·1·1·1·11·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·11·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·11·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·····························································································································································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1
check 46 (256)	···············································································································································································································································11··11··11··11·11··11··11··11··11··11··11··11··11··11··11··11·11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11·11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11······························································································································································································································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11
check 47 (256)	·················································································································································································································································1111····1111···1111····1111····1111····1111····1111····1111···1111····1111····1111····1111····1111····1111····1111····1111···1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111································································································································································································································································1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111
check 48 (256)	·····················································································································································································································································11111111·······11111111········11111111········11111111·······11111111········11111111········11111111········11111111·······11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111····································································································································································································································································11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111
check 49 (256)	············································································································································································································································································11111111111111111111111111111111·······························11111111111111111111111111111111·······························11111111111111111111111111111111································11111111111111111111111111111111····························································································································································································································································································11111111111111111111111111111111································11111111111111111111111111111111································11111111111111111111111111111111································11111111111111111111111111111111
check 50 (256)	··········································································································································································································································································································································································································································································································11··11·11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11·11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11
check 51 (256)	············································································································································································································································································································································································································································································································1111···1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111···1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111
check 52 (256)	·······················································································································································································································································································································································································································································································································1111111111111111················1111111111111111················1111111111111111················1111111111111111···············1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111
check 53 (256)	·······································································································································································································································································································································································································································································································································11111111111111111111111111111111································11111111111111111111111111111111·······························11111111111111111111111111111111································11111111111111111111111111111111································11111111111111111111111111111111································11111111111111111111111111111111································11111111111111111111111111111111································11111111111111111111111111111111
check 54 (256)	·······································································································································································································································································································································································································································································································································································1111111111111111111111111111111111111111111111111111111111111111·······························································1111111111111111111111111111111111111111111111111111111111111111································································1111111111111111111111111111111111111111111111111111111111111111································································1111111111111111111111111111111111111111111111111111111111111111
check 55 (256)	······································································································································································································································································································································································································································································································································································································································································································································································1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
check 56 (128)	·1······1·····1·······1·····1······1······1·······1·····1······1·······1·······1·······1·······1·······1·······1·····1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1······1·······1······1·······1·······1·······1·······1·······1······1·······1·······1·······1·······1·······1·······1·······1······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·····1······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1·······1
check 57 (128)	····1···1·········1···1········1···1··········1···1········1···1···········1···1···········1···1···········1···1·········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1··········1···1··········1···1···········1···1···········1···1··········1···1···········1···1···········1···1···········1···1··········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1··········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1···········1···1
check 58 (128)	······1·1···········1·1··········1·1············1·1··········1·1·············1·1·············1·1·············1·1···········1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1············1·1············1·1·············1·1·············1·1············1·1·············1·1·············1·1·············1·1············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1··········1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1·············1·1
check 59 (128)	·······11············11···········11·············11···········11··············11··············11··············11············11··············11··············11··············11··············11··············11··············11··············11·············11·············11··············11··············11·············11··············11··············11··············11·············11··············11··············11··············11··············11··············11··············11··············11···········11··············11··············11··············11··············11··············11··············11··············11·············11··············11··············11··············11··············11··············11··············11··············11··············11··············11··············11··············11··············11··············11··············11··············11··············11··············11··············11··············11··············11··············11··············11··············11
check 60 (128)	··········1···1···1···1···············1···1···1···1················1···1···1···1···················1···1···1···1·················1···1···1···1···················1···1···1···1···················1···1···1···1···················1···1···1···1·················1···1···1···1···················1···1···1···1··················1···1···1···1···················1···1···1···1··················1···1···1···1···················1···1···1···1···················1···1···1···1···················1···1···1···1················1···1···1···1···················1···1···1···1···················1···1···1···1···················1···1···1···1··················1···1···1···1···················1···1···1···1···················1···1···1···1···················1···1···1···1···················1···1···1···1···················1···1···1···1···················1···1···1···1···················1···1···1···1···················1···1···1···1···················1···1···1···1···················1···1···1···1···················1···1···1···1
check 61 (128)	············1·1·····1·1·················1·1·····1·1··················1·1·····1·1·····················1·1·····1·1···················1·1·····1·1·····················1·1·····1·1·····················1·1·····1·1·····················1·1·····1·1···················1·1·····1·1·····················1·1·····1·1····················1·1·····1·1·····················1·1·····1·1····················1·1·····1·1·····················1·1·····1·1·····················1·1·····1·1·····················1·1·····1·1··················1·1·····1·1·····················1·1·····1·1·····················1·1·····1·1·····················1·1·····1·1····················1·1·····1·1·····················1·1·····1·1·····················1·1·····1·1·····················1·1·····1·1·····················1·1·····1·1·····················1·1·····1·1·····················1·1·····1·1·····················1·1·····1·1·····················1·1·····1·1·····················1·1·····1·1·····················1·1·····1·1·····················1·1·····1·1
check 62 (128)	·············11······11··················11······11···················11······11······················11······11····················11······11······················11······11······················11······11······················11······11····················11······11······················11······11·····················11······11······················11······11·····················11······11······················11······11······················11······11······················11······11···················11······11······················11······11······················11······11······················11······11·····················11······11······················11······11······················11······11······················11······11······················11······11······················11······11······················11······11······················11······11······················11······11······················11······11······················11······11······················11······11
check 63 (128)	················1·1·1·1·····················1·1·1·1······················1·1·1·1·························1·1·1·1·······················1·1·1·1·························1·1·1·1·························1·1·1·1·························1·1·1·1·······················1·1·1·1·························1·1·1·1························1·1·1·1·························1·1·1·1························1·1·1·1·························1·1·1·1·························1·1·1·1·························1·1·1·1······················1·1·1·1·························1·1·1·1·························1·1·1·1·························1·1·1·1························1·1·1·1·························1·1·1·1·························1·1·1·1·························1·1·1·1·························1·1·1·1·························1·1·1·1·························1·1·1·1·························1·1·1·1·························1·1·1·1·························1·1·1·1·························1·1·1·1·························1·1·1·1
check 64 (128)	·················11··11······················11··11·······················11··11··························11··11························11··11··························11··11··························11··11··························11··11························11··11··························11··11·························11··11··························11··11·························11··11··························11··11··························11··11··························11··11·······················11··11··························11··11··························11··11··························11··11·························11··11··························11··11··························11··11··························11··11··························11··11··························11··11··························11··11··························11··11··························11··11··························11··11··························11··11··························11··11
check 65 (128)	···················1111························1111·························1111····························1111··························1111····························1111····························1111····························1111··························1111····························1111···························1111····························1111···························1111····························1111····························1111····························1111·························1111····························1111····························1111····························1111···························1111····························1111····························1111····························1111····························1111····························1111····························1111····························1111····························1111····························1111····························1111····························1111
check 66 (128)	························1···1··1···1··1···1···1···1································1···1···1···1···1···1···1···1·································1···1···1···1···1···1···1···1···································1···1···1···1···1···1···1···1·································1···1···1···1···1···1···1···1··································1···1···1···1···1···1···1···1··································1···1···1···1···1···1···1···1···································1···1···1···1···1···1···1···1································1···1···1···1···1···1···1···1···································1···1···1···1···1···1···1···1··································1···1···1···1···1···1···1···1···································1···1···1···1···1···1···1···1···································1···1···1···1···1···1···1···1···································1···1···1···1···1···1···1···1···································1···1···1···1···1···1···1···1···································1···1···1···1···1···1···1···1
check 67 (128)	··························1·1····1·1····1·1·····1·1··································1·1·····1·1·····1·1·····1·1···································1·1·····1·1·····1·1·····1·1·····································1·1·····1·1·····1·1·····1·1···································1·1·····1·1·····1·1·····1·1····································1·1·····1·1·····1·1·····1·1····································1·1·····1·1·····1·1·····1·1·····································1·1·····1·1·····1·1·····1·1··································1·1·····1·1·····1·1·····1·1·····································1·1·····1·1·····1·1·····1·1····································1·1·····1·1·····1·1·····1·1·····································1·1·····1·1·····1·1·····1·1·····································1·1·····1·1·····1·1·····1·1·····································1·1·····1·1·····1·1·····1·1·····································1·1·····1·1·····1·1·····1·1·····································1·1·····1·1·····1·1·····1·1
check 68 (128)	···························11·····11·····11······11···································11······11······11······11····································11······11······11······11······································11······11······11······11····································11······11······11······11·····································11······11······11······11·····································11······11······11······11······································11······11······11······11···································11······11······11······11······································11······11······11······11·····································11······11······11······11······································11······11······11······11······································11······11······11······11······································11······11······11······11······································11······11······11······11······································11······11······11······11
check 69 (128)	·····························1·1·1·1········1·1·1·1······································1·1·1·1·········1·1·1·1·······································1·1·1·1·········1·1·1·1·········································1·1·1·1·········1·1·1·1·······································1·1·1·1·········1·1·1·1········································1·1·1·1·········1·1·1·1········································1·1·1·1·········1·1·1·1·········································1·1·1·1·········1·1·1·1······································1·1·1·1·········1·1·1·1·········································1·1·1·1·········1·1·1·1········································1·1·1·1·········1·1·1·1·········································1·1·1·1·········1·1·1·1·········································1·1·1·1·········1·1·1·1·········································1·1·1·1·········1·1·1·1·········································1·1·1·1·········1·1·1·1·········································1·1·1·1·········1·1·1·1
check 70 (128)	······························11··11·········11··11·······································11··11··········11··11········································11··11··········11··11··········································11··11··········11··11········································11··11··········11··11·········································11··11··········11··11·········································11··11··········11··11··········································11··11··········11··11·······································11··11··········11··11··········································11··11··········11··11·········································11··11··········11··11··········································11··11··········11··11··········································11··11··········11··11··········································11··11··········11··11··········································11··11··········11··11··········································11··11··········11··11
check 71 (128)	································1111···········1111·········································1111············1111··········································1111············1111············································1111············1111··········································1111············1111···········································1111············1111···········································1111············1111············································1111············1111·········································1111············1111············································1111············1111···········································1111············1111············································1111············1111············································1111············1111············································1111············1111············································1111············1111············································1111············1111
check 72 (128)	····································1·1·1·1·1·1·1·1··············································1·1·1·1·1·1·1·1···············································1·1·1·1·1·1·1·1·················································1·1·1·1·1·1·1·1···············································1·1·1·1·1·1·1·1················································1·1·1·1·1·1·1·1················································1·1·1·1·1·1·1·1·················································1·1·1·1·1·1·1·1··············································1·1·1·1·1·1·1·1·················································1·1·1·1·1·1·1·1················································1·1·1·1·1·1·1·1·················································1·1·1·1·1·1·1·1·················································1·1·1·1·1·1·1·1·················································1·1·1·1·1·1·1·1·················································1·1·1·1·1·1·1·1·················································1·1·1·1·1·1·1·1
check 73 (128)	·····································11··11··11··11···············································11··11··11··11················································11··11··11··11··················································11··11··11··11················································11··11··11··11·················································11··11··11··11·················································11··11··11··11··················································11··11··11··11···············································11··11··11··11··················································11··11··11··11·················································11··11··11··11··················································11··11··11··11··················································11··11··11··11··················································11··11··11··11··················································11··11··11··11··················································11··11··11··11
check 74 (128)	·······································1111····1111·················································1111····1111··················································1111····1111····················································1111····1111··················································1111····1111···················································1111····1111···················································1111····1111····················································1111····1111·················································1111····1111····················································1111····1111···················································1111····1111····················································1111····1111····················································1111····1111····················································1111····1111····················································1111····1111····················································1111····1111
check 75 (128)	···········································11111111·····················································11111111······················································11111111························································11111111······················································11111111·······················································11111111·······················································11111111························································11111111·····················································11111111························································11111111·······················································11111111························································11111111························································11111111························································11111111························································11111111························································11111111
check 76 (128)	·····················································1··1··1···1···1···1···1···1···1···1···1···1···1···1···1···1·································································1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1································································1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1··································································1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1································································1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1··································································1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···································································1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···································································1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1
check 77 (128)	······················································1·1····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1···································································1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1··································································1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1····································································1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1··································································1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1····································································1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····································································1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····································································1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1
check 78 (128)	·······················································11·····11······11······11······11······11······11······11····································································11······11······11······11······11······11······11······11···································································11······11······11······11······11······11······11······11·····································································11······11······11······11······11······11······11······11···································································11······11······11······11······11······11······11······11·····································································11······11······11······11······11······11······11······11······································································11······11······11······11······11······11······11······11······································································11······11······11······11······11······11······11······11
check 79 (128)	·························································1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·······································································1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1······································································1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1········································································1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1······································································1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1········································································1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········································································1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········································································1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1
check 80 (128)	··························································11··11··········11··11··········11··11··········11··11········································································11··11··········11··11··········11··11··········11··11·······································································11··11··········11··11··········11··11··········11··11·········································································11··11··········11··11··········11··11··········11··11·······································································11··11··········11··11··········11··11··········11··11·········································································11··11··········11··11··········11··11··········11··11··········································································11··11··········11··11··········11··11··········11··11··········································································11··11··········11··11··········11··11··········11··11
check 81 (128)	····························································1111············1111············1111············1111··········································································1111············1111············1111············1111·········································································1111············1111············1111············1111···········································································1111············1111············1111············1111·········································································1111············1111············1111············1111···········································································1111············1111············1111············1111············································································1111············1111············1111············1111············································································1111············1111············1111············1111
check 82 (128)	·································································1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1···············································································1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1··············································································1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1················································································1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1··············································································1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1················································································1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················································································1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················································································1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1
check 83 (128)	··································································11··11··11··11··················11··11··11··11················································································11··11··11··11··················11··11··11··11···············································································11··11··11··11··················11··11··11··11·················································································11··11··11··11··················11··11··11··11···············································································11··11··11··11··················11··11··11··11·················································································11··11··11··11··················11··11··11··11··················································································11··11··11··11··················11··11··11··11··················································································11··11··11··11··················11··11··11··11
check 84 (128)	····································································1111····1111····················1111····1111··················································································1111····1111····················1111····1111·················································································1111····1111····················1111····1111···················································································1111····1111····················1111····1111·················································································1111····1111····················1111····1111···················································································1111····1111····················1111····1111····················································································1111····1111····················1111····1111····················································································1111····1111····················1111····1111
check 85 (128)	········································································11111111························11111111······················································································11111111························11111111·····················································································11111111························11111111·······················································································11111111························11111111·····················································································11111111························11111111·······················································································11111111························11111111························································································11111111························11111111························································································11111111························11111111
check 86 (128)	·················································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·······························································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1······························································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1······························································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1
check 87 (128)	··················································································11··11··11··11··11··11··11··11································································································11··11··11··11··11··11··11··11·······························································································11··11··11··11··11··11··11··11·································································································11··11··11··11··11··11··11··11·······························································································11··11··11··11··11··11··11··11·································································································11··11··11··11··11··11··11··11··································································································11··11··11··11··11··11··11··11··································································································11··11··11··11··11··11··11··11
check 88 (128)	····················································································1111····1111····1111····1111··································································································1111····1111····1111····1111·································································································1111····1111····1111····1111···································································································1111····1111····1111····1111·································································································1111····1111····1111····1111···································································································1111····1111····1111····1111····································································································1111····1111····1111····1111····································································································1111····1111····1111····1111
check 89 (128)	························································································11111111········11111111······································································································11111111········11111111·····································································································11111111········11111111·······································································································11111111········11111111·····································································································11111111········11111111·······································································································11111111········11111111········································································································11111111········11111111········································································································11111111········11111111
check 90 (128)	································································································1111111111111111··············································································································1111111111111111·············································································································1111111111111111···············································································································1111111111111111·············································································································1111111111111111···············································································································1111111111111111················································································································1111111111111111················································································································1111111111111111
check 91 (128)	·················································································································1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1·······························································································································1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1·······························································································································1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···································································································································1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1
check 92 (128)	···················································································································1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·································································································································1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·································································································································1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····································································································································1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1
check 93 (128)	····················································································································11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11··································································································································11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11··································································································································11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······································································································································11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11
check 94 (128)	·······················································································································1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·····································································································································1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·····································································································································1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········································································································································1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1
check 95 (128)	························································································································11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11······································································································································11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11······································································································································11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········································································································································11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11
check 96 (128)	··························································································································1111············1111············1111············1111············1111············1111············1111············1111········································································································································1111············1111············1111············1111············1111············1111············1111············1111········································································································································1111············1111············1111············1111············1111············1111············1111············1111············································································································································1111············1111············1111············1111············1111············1111············1111············1111
check 97 (128)	·······························································································································1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·············································································································································1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·············································································································································1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················································································································································1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1
check 98 (128)	································································································································11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··············································································································································11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··············································································································································11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················································································································································11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11
check 99 (128)	··································································································································1111····1111····················1111····1111····················1111····1111····················1111····1111················································································································································1111····1111····················1111····1111····················1111····1111····················1111····1111················································································································································1111····1111····················1111····1111····················1111····1111····················1111····1111····················································································································································1111····1111····················1111····1111····················1111····1111····················1111····1111
check 100 (128)	······································································································································11111111························11111111························11111111························11111111····················································································································································11111111························11111111························11111111························11111111····················································································································································11111111························11111111························11111111························11111111························································································································································11111111························11111111························11111111························11111111
check 101 (128)	···············································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·····························································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·····························································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1
check 102 (128)	················································································································································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11······························································································································································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11······························································································································································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11··································································································································································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11
check 103 (128)	··················································································································································1111····1111····1111····1111····································1111····1111····1111····1111································································································································································1111····1111····1111····1111····································1111····1111····1111····1111································································································································································1111····1111····1111····1111····································1111····1111····1111····1111····································································································································································1111····1111····1111····1111····································1111····1111····1111····1111
check 104 (128)	······················································································································································11111111········11111111········································11111111········11111111····································································································································································11111111········11111111········································11111111········11111111····································································································································································11111111········11111111········································11111111········11111111········································································································································································11111111········11111111········································11111111········11111111
check 105 (128)	······························································································································································1111111111111111················································1111111111111111············································································································································································1111111111111111················································1111111111111111············································································································································································1111111111111111················································1111111111111111················································································································································································1111111111111111················································1111111111111111
check 106 (128)	···············································································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·····························································································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·····························································································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································································································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1
check 107 (128)	················································································································································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11······························································································································································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11······························································································································································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··································································································································································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11
check 108 (128)	··················································································································································································1111····1111····1111····1111····1111····1111····1111····1111································································································································································································1111····1111····1111····1111····1111····1111····1111····1111································································································································································································1111····1111····1111····1111····1111····1111····1111····1111····································································································································································································1111····1111····1111····1111····1111····1111····1111····1111
check 109 (128)	······················································································································································································11111111········11111111········11111111········11111111····································································································································································································11111111········11111111········11111111········11111111····································································································································································································11111111········11111111········11111111········11111111········································································································································································································11111111········11111111········11111111········11111111
check 110 (128)	······························································································································································································1111111111111111················1111111111111111············································································································································································································1111111111111111················1111111111111111············································································································································································································1111111111111111················1111111111111111················································································································································································································1111111111111111················1111111111111111
check 111 (128)	··············································································································································································································11111111111111111111111111111111····························································································································································································································11111111111111111111111111111111····························································································································································································································11111111111111111111111111111111································································································································································································································11111111111111111111111111111111
check 112 (128)	················································································································································································································································1···1···1···1··1···1···1···1···1···1···1···1···1···1···1···1··1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1··1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1·······························································································································································································································································1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1
check 113 (128)	··················································································································································································································································1·1·····1·1····1·1·····1·1·····1·1·····1·1·····1·1·····1·1····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·································································································································································································································································1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1
check 114 (128)	···················································································································································································································································11······11·····11······11······11······11······11······11·····11······11······11······11······11······11······11······11·····11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11··································································································································································································································································11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11
check 115 (128)	······················································································································································································································································1·1·1·1········1·1·1·1·········1·1·1·1·········1·1·1·1········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·····································································································································································································································································1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1
check 116 (128)	·······················································································································································································································································11··11·········11··11··········11··11··········11··11·········11··11··········11··11··········11··11··········11··11·········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11······································································································································································································································································11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11
check 117 (128)	·························································································································································································································································1111···········1111············1111············1111···········1111············1111············1111············1111···········1111············1111············1111············1111············1111············1111············1111············1111········································································································································································································································································1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111
check 118 (128)	·····························································································································································································································································1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·············································································································································································································································································1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1
check 119 (128)	······························································································································································································································································11··11··11··11··················11··11··11··11·················11··11··11··11··················11··11··11··11·················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··············································································································································································································································································11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11
check 120 (128)	································································································································································································································································1111····1111····················1111····1111···················1111····1111····················1111····1111···················1111····1111····················1111····1111····················1111····1111····················1111····1111················································································································································································································································································1111····1111····················1111····1111····················1111····1111····················1111····1111····················1111····1111····················1111····1111····················1111····1111····················1111····1111
check 121 (128)	····································································································································································································································································11111111························11111111·······················11111111························11111111·······················11111111························11111111························11111111························11111111····················································································································································································································································································11111111························11111111························11111111························11111111························11111111························11111111························11111111························11111111
check 122 (128)	·············································································································································································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·····························································································································································································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1
check 123 (128)	··············································································································································································································································································11··11··11··11··11··11··11··11·································11··11··11··11··11··11··11··11·································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11······························································································································································································································································································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11
check 124 (128)	················································································································································································································································································1111····1111····1111····1111···································1111····1111····1111····1111···································1111····1111····1111····1111····································1111····1111····1111····1111································································································································································································································································································1111····1111····1111····1111····································1111····1111····1111····1111····································1111····1111····1111····1111····································1111····1111····1111····1111
check 125 (128)	····················································································································································································································································································11111111········11111111·······································11111111········11111111·······································11111111········11111111········································11111111········11111111····································································································································································································································································································11111111········11111111········································11111111········11111111········································11111111········11111111········································11111111········11111111
check 126 (128)	····························································································································································································································································································1111111111111111···············································1111111111111111···············································1111111111111111················································1111111111111111············································································································································································································································································································1111111111111111················································1111111111111111················································1111111111111111················································1111111111111111
check 127 (128)	············································································································································································································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·····························································································································································································································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1
check 128 (128)	·············································································································································································································································································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11·································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11······························································································································································································································································································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11
check 129 (128)	···············································································································································································································································································································1111····1111····1111····1111····1111····1111····1111····1111···································································1111····1111····1111····1111····1111····1111····1111····1111································································································································································································································································································································1111····1111····1111····1111····1111····1111····1111····1111····································································1111····1111····1111····1111····1111····1111····1111····1111
check 130 (128)	···················································································································································································································································································································11111111········11111111········11111111········11111111·······································································11111111········11111111········11111111········11111111····································································································································································································································································································································11111111········11111111········11111111········11111111········································································11111111········11111111········11111111········11111111
check 131 (128)	···························································································································································································································································································································1111111111111111················1111111111111111···············································································1111111111111111················1111111111111111············································································································································································································································································································································1111111111111111················1111111111111111················································································1111111111111111················1111111111111111
check 132 (128)	···········································································································································································································································································································································11111111111111111111111111111111·······························································································11111111111111111111111111111111····························································································································································································································································································································································11111111111111111111111111111111································································································11111111111111111111111111111111
check 133 (128)	···········································································································································································································································································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·····························································································································································································································································································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1
check 134 (128)	············································································································································································································································································································································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11······························································································································································································································································································································································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11
check 135 (128)	··············································································································································································································································································································································································1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111································································································································································································································································································································································································1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111
check 136 (128)	··················································································································································································································································································································································································11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111····································································································································································································································································································································································································11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111
check 137 (128)	··························································································································································································································································································································································································1111111111111111················1111111111111111················1111111111111111················1111111111111111············································································································································································································································································································································································································1111111111111111················1111111111111111················1111111111111111················1111111111111111
check 138 (128)	··········································································································································································································································································································································································································11111111111111111111111111111111································11111111111111111111111111111111····························································································································································································································································································································································································································11111111111111111111111111111111································11111111111111111111111111111111
check 139 (128)	··········································································································································································································································································································································································································································1111111111111111111111111111111111111111111111111111111111111111····························································································································································································································································································································································································································································1111111111111111111111111111111111111111111111111111111111111111
check 140 (128)	···········································································································································································································································································································································································································································································································1···1··1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1··1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1···1
check 141 (128)	·············································································································································································································································································································································································································································································································1·1····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1·····1·1
check 142 (128)	··············································································································································································································································································································································································································································································································11·····11······11······11······11······11······11······11······11······11······11······11······11······11······11······11·····11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11······11
check 143 (128)	················································································································································································································································································································································································································································································································1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1·········1·1·1·1
check 144 (128)	·················································································································································································································································································································································································································································································································11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11·········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11··········11··11
check 145 (128)	···················································································································································································································································································································································································································································································································1111············1111············1111············1111············1111············1111············1111············1111···········1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111············1111
check 146 (128)	························································································································································································································································································································································································································································································································1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1·················1·1·1·1·1·1·1·1
check 147 (128)	·························································································································································································································································································································································································································································································································11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11·················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11··················11··11··11··11
check 148 (128)	···························································································································································································································································································································································································································································································································1111····1111····················1111····1111····················1111····1111····················1111····1111···················1111····1111····················1111····1111····················1111····1111····················1111····1111····················1111····1111····················1111····1111····················1111····1111····················1111····1111····················1111····1111····················1111····1111····················1111····1111····················1111····1111
check 149 (128)	·······························································································································································································································································································································································································································································································································11111111························11111111························11111111························11111111·······················11111111························11111111························11111111························11111111························11111111························11111111························11111111························11111111························11111111························11111111························11111111························11111111
check 150 (128)	········································································································································································································································································································································································································································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1
check 151 (128)	·········································································································································································································································································································································································································································································································································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11·································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11··································11··11··11··11··11··11··11··11
check 152 (128)	···········································································································································································································································································································································································································································································································································1111····1111····1111····1111····································1111····1111····1111····1111···································1111····1111····1111····1111····································1111····1111····1111····1111····································1111····1111····1111····1111····································1111····1111····1111····1111····································1111····1111····1111····1111····································1111····1111····1111····1111
check 153 (128)	···············································································································································································································································································································································································································································································································································11111111········11111111········································11111111········11111111·······································11111111········11111111········································11111111········11111111········································11111111········11111111········································11111111········11111111········································11111111········11111111········································11111111········11111111
check 154 (128)	·······················································································································································································································································································································································································································································································································································1111111111111111················································1111111111111111···············································1111111111111111················································1111111111111111················································1111111111111111················································1111111111111111················································1111111111111111················································1111111111111111
check 155 (128)	········································································································································································································································································································································································································································································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1
check 156 (128)	·········································································································································································································································································································································································································································································································································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11·································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11
check 157 (128)	···········································································································································································································································································································································································································································································································································································1111····1111····1111····1111····1111····1111····1111····1111···································································1111····1111····1111····1111····1111····1111····1111····1111····································································1111····1111····1111····1111····1111····1111····1111····1111····································································1111····1111····1111····1111····1111····1111····1111····1111
check 158 (128)	···············································································································································································································································································································································································································································································································································································11111111········11111111········11111111········11111111·······································································11111111········11111111········11111111········11111111········································································11111111········11111111········11111111········11111111········································································11111111········11111111········11111111········11111111
check 159 (128)	·······················································································································································································································································································································································································································································································································································································1111111111111111················1111111111111111···············································································1111111111111111················1111111111111111················································································1111111111111111················1111111111111111················································································1111111111111111················1111111111111111
check 160 (128)	·······································································································································································································································································································································································································································································································································································································11111111111111111111111111111111·······························································································11111111111111111111111111111111································································································11111111111111111111111111111111································································································11111111111111111111111111111111
check 161 (128)	·······································································································································································································································································································································································································································································································································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1
check 162 (128)	········································································································································································································································································································································································································································································································································································································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··································································································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11
check 163 (128)	··········································································································································································································································································································································································································································································································································································································································1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····································································································································1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111
check 164 (128)	··············································································································································································································································································································································································································································································································································································································································11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········································································································································11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111
check 165 (128)	······················································································································································································································································································································································································································································································································································································································································1111111111111111················1111111111111111················1111111111111111················1111111111111111················································································································································1111111111111111················1111111111111111················1111111111111111················1111111111111111
check 166 (128)	······································································································································································································································································································································································································································································································································································································································································11111111111111111111111111111111································11111111111111111111111111111111································································································································································11111111111111111111111111111111································11111111111111111111111111111111
check 167 (128)	······································································································································································································································································································································································································································································································································································································································································································1111111111111111111111111111111111111111111111111111111111111111································································································································································································1111111111111111111111111111111111111111111111111111111111111111
check 168 (128)	·······································································································································································································································································································································································································································································································································································································································································································································································1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1
check 169 (128)	········································································································································································································································································································································································································································································································································································································································································································································································11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11··11
check 170 (128)	··········································································································································································································································································································································································································································································································································································································································································································································································1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111····1111
check 171 (128)	··············································································································································································································································································································································································································································································································································································································································································································································································11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········11111111
check 172 (128)	······················································································································································································································································································································································································································································································································································································································································································································································································1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111
check 173 (128)	······································································································································································································································································································································································································································································································································································································································································································································································································11111111111111111111111111111111································11111111111111111111111111111111································11111111111111111111111111111111································11111111111111111111111111111111
check 174 (128)	······································································································································································································································································································································································································································································································································································································································································································································································································································1111111111111111111111111111111111111111111111111111111111111111································································1111111111111111111111111111111111111111111111111111111111111111
check 175 (128)	······································································································································································································································································································································································································································································································································································································································································································································································································································································································11111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111

The gate is read off the output rows. An output row of odd weight gives a T, a pair of output rows with odd overlap gives a CS, and an odd triple overlap gives a CCZ. The circuit is a valid factory because every such parity that touches a check row is even.

Figures of merit

inputs n998Noisy T states per run.

outputs k26

distance d≥ 6A lower bound proved here.

error coefficient A_{6}not definedUndefined while the distance is only a lower bound.

wires N176

checks r150

V_{\mathrm{ex}}26T states per run. CCZ counts as two.

\gamma_\rho = \log(n/V_{\mathrm{ex}})/\log d2.0358Overhead per extractable T state. Lower is better.

\gamma = \log(n/k)/\log d2.0358Overhead per output qubit.

\gamma_T = \log(n/T)/\log dnot computedOverhead per unit of T-count.

T-countnot computedMinimal T-count of the output gate. Not computable at this width.

phase-polynomial degreenot computedMinimised over changes of output basis.

effective width26Rank of the output rows modulo the check rows.

Output gate

26 T0 CS0 CCZon 26 output wires

As gates: \mathrm{T}_{0}\cdot \mathrm{T}_{1}\cdot \mathrm{T}_{2}\cdot \mathrm{T}_{3}\cdot \mathrm{T}_{4}\cdot \mathrm{T}_{5}\cdot \mathrm{T}_{6}\cdot \mathrm{T}_{7}\cdot \mathrm{T}_{8}\cdot \mathrm{T}_{9}\cdot \mathrm{T}_{10}\cdot \mathrm{T}_{11}\cdot \mathrm{T}_{12}\cdot \mathrm{T}_{13}\cdot \mathrm{T}_{14}\cdot \mathrm{T}_{15}\cdot \mathrm{T}_{16}\cdot \mathrm{T}_{17}\cdot \mathrm{T}_{18}\cdot \mathrm{T}_{19}\cdot \mathrm{T}_{20}\cdot \mathrm{T}_{21}\cdot \mathrm{T}_{22}\cdot \mathrm{T}_{23}\cdot \mathrm{T}_{24}\cdot \mathrm{T}_{25}

As monomials: 0+1+2+3+4+5+6+7+8+9+10+11+12+13+14+15+16+17+18+19+20+21+22+23+24+25 (output wires per term, separated by +)

This row stands for every gate that a CNOT circuit and S, Z and CZ gates on the outputs can reach from this one. They all prepare the same magic state. The wires are shown in the S_k-canonical frame.

Clifford correction

With every rotation a \mathrm{T}=\mathrm{diag}(1,e^{i\pi/4}), the rotations deposit the gate above times a diagonal Clifford. Undo it after the rotations and before the checks are measured, with 26 single-wire gates: \mathrm{S} on output 0, \mathrm{S} on output 1, \mathrm{S} on output 2, \mathrm{S} on output 3, \mathrm{S} on output 4, \mathrm{S} on output 5, \mathrm{S} on output 6, \mathrm{S} on output 7, \mathrm{S} on output 8, \mathrm{S} on output 9, \mathrm{S} on output 10, \mathrm{S} on output 11, \mathrm{S} on output 12, \mathrm{S} on output 13, \mathrm{S} on output 14, \mathrm{S} on output 15, \mathrm{S} on output 16, \mathrm{S} on output 17, \mathrm{S} on output 18, \mathrm{S} on output 19, \mathrm{S} on output 20, \mathrm{S} on output 21, \mathrm{S} on output 22, \mathrm{S} on output 23 and 2 more (listed below). The circuit's action is then exactly the gate above, and an error-free run passes every check with certainty.

All 26 correction gates

\mathrm{S} on output 0, \mathrm{S} on output 1, \mathrm{S} on output 2, \mathrm{S} on output 3, \mathrm{S} on output 4, \mathrm{S} on output 5, \mathrm{S} on output 6, \mathrm{S} on output 7, \mathrm{S} on output 8, \mathrm{S} on output 9, \mathrm{S} on output 10, \mathrm{S} on output 11, \mathrm{S} on output 12, \mathrm{S} on output 13, \mathrm{S} on output 14, \mathrm{S} on output 15, \mathrm{S} on output 16, \mathrm{S} on output 17, \mathrm{S} on output 18, \mathrm{S} on output 19, \mathrm{S} on output 20, \mathrm{S} on output 21, \mathrm{S} on output 22, \mathrm{S} on output 23, \mathrm{S} on output 24, \mathrm{S} on output 25

Or no Clifford gate at all: run every rotation as \mathrm{T}^\dagger. A power of \mathrm{T} costs one magic state, like \mathrm{T} itself. For a code this is a transversal \mathrm{T} gate, \mathrm{T}^j on each qubit.

Rotations are numbered by matrix column, from 0. The correction comes from the columns by the weight expansion of Bravyi and Haah (2012). verify_catalog.py re-derives it, checks the corrected circuit's phase input by input against the gate, and on small circuits simulates it gate by gate.

Convert the output with CNOT and S

A CNOT circuit on the outputs, followed by S, Z and CZ gates, turns this factory's gate into other gates that prepare the same magic state. Type a target gate to check whether it is reachable. If it is, you get the circuit, checked on every basis state.

Or list every gate it reaches. The list is built in your browser and saved as a text file, one gate per line.

Python code that writes the same list

import json, urllib.request

NAMES = {1: "T", 2: "CS", 3: "CCZ"}


def equivalent_gates(k, terms, limit=1_000_000):
    """Every gate a CNOT circuit and S, Z, CZ gates reach from this one.

    A gate is its set of terms mod Clifford: {a} is T, {a,b} is CS and
    {a,b,c} is CCZ on those outputs. CNOT c->t sends x_t to
    x_c + x_t - 2 x_c x_t, so a term on t but not c adds the term with t
    replaced by c, and, below CCZ, the term with c added.
    """
    start = frozenset(frozenset(m) for m in terms)
    seen, queue = {start}, [start]
    for gate in queue:
        for c in range(k):
            for t in range(k):
                if c == t:
                    continue
                new = set(gate)
                for m in gate:
                    if t in m and c not in m:
                        new ^= {(m - {t}) | {c}}
                        if len(m) < 3:
                            new ^= {m | {c}}
                new = frozenset(new)
                if new not in seen:
                    seen.add(new)
                    queue.append(new)
                    if len(seen) > limit:
                        raise RuntimeError(f"more than {limit} equivalent gates")
    return seen


def name(gate, k):
    sep = "," if k > 10 else ""
    terms = sorted((sorted(m) for m in gate), key=lambda m: (len(m), m))
    return "·".join(NAMES[len(m)] + sep.join(map(str, m)) for m in terms) or "I"


url = "https://shubhamj810.github.io/magic-state-factory-repo/data/factories/998.26.6.a.json"
record = json.load(urllib.request.urlopen(url))
k = record["parameters"]["k"]
gates = equivalent_gates(k, record["gate"]["monomials"])
lines = sorted(name(g, k) for g in gates)
print(len(lines), "equivalent gates")
with open("equivalent-gates-998.26.6.a.txt", "w") as out:
    out.write("\n".join(lines) + "\n")

Distance

d\ge 6. No fault of weight below 6 is both undetectable and damaging. None of weight 6 has been found, so the true distance may be larger.

A fault is a set of faulty columns. It is undetectable when their check parts cancel, and damaging when their output parts do not.

Original source

S. P. Jain, A. Wills, and S. Singh, "Symmetry and AI-assisted discovery of magic-state factories," arXiv:2610.06535 (2026). arxiv.org/abs/2610.06535

Provenance

verified witness from the 2026-09-14 wills_downset_theory campaign in magic-states-AI, which solved the arXiv:2608.24000 downset framework EXACTLY at every n <= 1000; the d=7 and d=8 rows are proved optima of that framework, not merely best-found, but the framework is one family and they are not maxima over all factories

Found by: AI search: Wills downset framework

Discovery: AI search

1 recorded source

[
 {
  "regime": "AI search: Wills downset framework",
  "file": "magic-states-AI/campaigns/2026-09-14_wills_downset_theory/found/n998_k26_d8_wills_downset_optimum.json",
  "label": "n998_k26_d8_wills_downset_optimum",
  "N": 176,
  "d": 6,
  "d_is_exact": false,
  "origin": null,
  "provenance": "Wills arXiv:2608.24000 Prop 3.7. Delta = {|A| <= 3} on 2^[10] (= RM(10,3), the ONLY 8-divisible downset admitting d >= 8 at m=10 -- Lemma B of tools/downset_ceiling.py forces rank <= 3 once Lemma A puts every 3-set in Delta); Gamma = {empty set} + all 10 singletons + the 15 edges of the PETERSEN graph (3-regular, girth 5, verified). CP-SAT proved OPTIMAL: no pair of downsets on any 2^[m] with m <= 10 reaches k > 26 at d >= 8, so this is the exact best the entire framework of Wills Sections 3-5 can do at d = 8. gamma = 1.754152, which does NOT beat the external bar 1.086033.",
  "notes": "6 <= d <= 8 from the columns alone; d = 8 exactly by Prop 3.7 | A_8 >= 70: the eq (149) minimisers, each giving a distinct minimum-weight undetectable damaging fault via Prop 3.7's own codeword prod_(i in A)(1+x_i). A FLOOR, not a count -- tools/ad_floor.py"
 }
]

Use it in code

Load this factory and re-derive every number from its circuit with the catalogue's own verifier.

# git clone https://github.com/shubhamj810/magic-state-factory-repo
# cd magic-state-factory-repo/master_catalog
import json, urllib.request
import verify_catalog as VC

url = "https://shubhamj810.github.io/magic-state-factory-repo/data/factories/998.26.6.a.json"
record = json.load(urllib.request.urlopen(url))
columns = record["circuit"]["columns"]
k, N = record["parameters"]["k"], record["parameters"]["N"]

facts, problems = VC.derive(columns, k, N)    # gate, T-count, degree, ...
distance = VC.measure_distance(columns, k, N)  # exhaustive fault search
print(facts["gate_human"], distance["d_exact"] or distance["d_at_least"],
      problems or "verified")

Raw record

Show the JSON this page is built from

Source: master_catalog.json, factories[1299].