Magic State Factory Catalog

[\![988,\,36,\,6]\!] factory

\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}_{}\cdots

distance, proved here
d\ge 6
error coefficient
—
\gamma_\rho
1.8486
V_{\mathrm{ex}}
36
wires
N=176
Clifford correction
none with T powers
found by
AI search pure T

The circuit

The 176\times988 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
out 0 (255)1··1··111········11·11········11·1··1········1··1·1··11··1········11··11·········11··11·········1··11··1·····1··11··1········11··11·········11··11·········1··11··1····1··1········1··1·11··········11··11··········11·1··1········1··1·1··11··1········11··11·········11··11·········1··11··1····1··1········1··1·11··········11··11··········11·1··1········1··11··1········1··1·11··········11··11··········11·1··1········1··1····1··11··1·········11··11··········11··11·········1··11··1····11········11·1··1········1··11··1········1··1·11··········11·····11··11·········1··11··1········1··11··1·········11··11·········11··11·········1··11··1········1··11··1·········11··11······11··········11·1··1········1··11··1········1··1·11··········11·····11··11·········1··11··1········1··11··1·········11··11······11··········11·1··1········1··11··1········1··1·11··········11··11··········11·1··1········1··11··1········1··1·11··········11······11··11·········1··11··1········1··11··1·········11··11·····
out 1 (255)1···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····
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···11·····11····11·····11·····1··1····1··1·1··1····1··1····11······11·····11······11·····1··1····1··1·1··1····1··1····11······11·····11······11·····1··1····1··1····1··1····1··1·····11······11······11······11·····1··1····1··1·1··1····1··1····11······11·····11······11·····1··1····1··1····1··1····1··1·····11······11······11······11·····1··1····1··1····1··1····1··1·····11······11······11······11·····1··1····1··1····1··1····1··1·····11······11······11······11·····1··1····1··1···11·····11·····1··1····1··1····1··1····1··1·····11······11·····11······11·····1··1····1··1····1··1····1··1·····11······11·····11······11·····1··1····1··1····1··1····1··1·····11······11······11······11·····1··1····1··1····1··1····1··1·····11······11·····11······11·····1··1····1··1····1··1····1··1·····11······11······11······11·····1··1····1··1····1··1····1··1·····11······11······11······11·····1··1····1··1····1··1····1··1·····11······11······11······11·····1··1····1··1····1··1····1··1·····11······11·
out 4 (255)··11··1······11··11·······11··11·········1··11··1·····1··11··1········11··11·········11··11·········1··11··1·····1··11··1········11··11·········11··11·········1··11··1········1··11··1·········11··11··········11··11·········1··11··1·····1··11··1········11··11·········11··11·········1··11··1········1··11··1·········11··11··········11··11·········1··11··1········1··11··1·········11··11··········11··11·········1··11··1········1··11··1·········11··11··········11··11·········1··11··1······11··11·········1··11··1········1··11··1·········11··11·········11··11·········1··11··1········1··11··1·········11··11·········11··11·········1··11··1········1··11··1·········11··11··········11··11·········1··11··1········1··11··1·········11··11·········11··11·········1··11··1········1··11··1·········11··11··········11··11·········1··11··1········1··11··1·········11··11··········11··11·········1··11··1········1··11··1·········11··11··········11··11·········1··11··1········1··11··1·········11··11·
out 5 (255)·······111······1111·············1111········1111················11111111·······················11111111····················11111111·······················11111111····················1111········1111················1111········1111················11111111·······················11111111····················1111········1111················1111········1111················1111········1111················1111········1111····················11111111························11111111·················1111········1111················1111········1111···················11111111························11111111·······················11111111························11111111····················1111········1111················1111········1111···················11111111························11111111····················1111········1111················1111········1111················1111········1111················1111········1111····················11111111························11111111····
out 6 (255)····················111······11111111········1111·······························11111111········11111111···································11111111········11111111····································1111········11111111········1111·······························11111111········11111111····································1111········11111111········1111································1111········11111111········1111····································11111111········11111111·································1111········11111111········1111···································11111111········11111111·······································11111111········11111111····································1111········11111111········1111···································11111111········11111111····································1111········11111111········1111································1111········11111111········1111····································11111111········11111111····
out 7 (255)·················································11··11··11··111··11··11··11·11··11··11··11·1··11··11··11··1···························································1··11··11··11··1·11··11··11··11··11··11··11··11·1··11··11··11··1···························································1··11··11··11··1·11··11··11··11··11··11··11··11·1··11··11··11··1································································1··11··11··11··1·11··11··11··11··11··11··11··11·1··11··11··11··1·····························································11··11··11··11·1··11··11··11··11··11··11··11··1·11··11··11··11·································································11··11··11··11·1··11··11··11··11··11··11··11··1·11··11··11··11·································································11··11··11··11·1··11··11··11··11··11··11··11··1·11··11··11··11··································································11··11··11··11·1··11··11··11··11··11··11··11··1·11··11··11··11·
out 8 (255)············································································································11··11··11··111··11··11··11·11··11··11··11·1··11··11··11··11··11··11··11··1·11··11··11··11··11··11··11··11·1··11··11··11··1···························································································································1··11··11··11··1·11··11··11··11··11··11··11··11·1··11··11··11··11··11··11··11··1·11··11··11··11··11··11··11··11·1··11··11··11··1····························································································································11··11··11··11·1··11··11··11··11··11··11··11··1·11··11··11··11··11··11··11··11·1··11··11··11··11··11··11··11··1·11··11··11··11·································································································································11··11··11··11·1··11··11··11··11··11··11··11··1·11··11··11··11··11··11··11··11·1··11··11··11··11··11··11··11··1·11··11··11··11·
out 9 (255)·······································································································································································································································11··11··11··111··11··11··11·11··11··11··11·1··11··11··11··11··11··11··11··1·11··11··11··11··11··11··11··11·1··11··11··11··11··11··11··11··1·11··11··11··11··11··11··11··11·1··11··11··11··11··11··11··11··1·11··11··11··11··11··11··11··11·1··11··11··11··1···························································································································································································································································11··11··11··11·1··11··11··11··11··11··11··11··1·11··11··11··11··11··11··11··11·1··11··11··11··11··11··11··11··1·11··11··11··11··11··11··11··11·1··11··11··11··11··11··11··11··1·11··11··11··11··11··11··11··11·1··11··11··11··11··11··11··11··1·11··11··11··11·
out 10 (255)··································································································································································································································································································································································································································································································111······11111111········11111111········11111111········1111···11111111········11111111········11111111········11111111·······11111111········11111111········11111111········11111111····1111········11111111········11111111········11111111········1111···11111111········11111111········11111111········11111111····1111········11111111········11111111········11111111········11111111········11111111········11111111········11111111········1111····11111111········11111111········11111111········11111111····
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)··········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 16 (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 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·1·1·1·1·1·11·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·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·································································1·1·1·1·1·1·1·1·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 20 (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 21 (255)······························································111111111111111···············1111111111111111···········································································1111111111111111················1111111111111111···········································································1111111111111111················1111111111111111················································································1111111111111111················1111111111111111············································································1111111111111111················1111111111111111···············································································1111111111111111················1111111111111111···············································································1111111111111111················1111111111111111················································································1111111111111111················1111111111111111
out 22 (255)·············································································1111111111111111111111111111111···························································································11111111111111111111111111111111···························································································11111111111111111111111111111111································································································11111111111111111111111111111111····························································································11111111111111111111111111111111·······························································································11111111111111111111111111111111·······························································································11111111111111111111111111111111································································································11111111111111111111111111111111
out 23 (255)············································································································1·1·1·1·1·1·11·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·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·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)············································································································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 25 (255)·························································································································111111111111111···············1111111111111111················1111111111111111················1111111111111111···········································································································································1111111111111111················1111111111111111················1111111111111111················1111111111111111···········································································································································1111111111111111················1111111111111111················1111111111111111················1111111111111111···············································································································································1111111111111111················1111111111111111················1111111111111111················1111111111111111
out 26 (255)········································································································································1111111111111111111111111111111································11111111111111111111111111111111···························································································································································11111111111111111111111111111111································11111111111111111111111111111111···························································································································································11111111111111111111111111111111································11111111111111111111111111111111·······························································································································································11111111111111111111111111111111································11111111111111111111111111111111
out 27 (255)·······································································································································································································································1·1·1·1·1·1·11·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·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·1·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 28 (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 29 (255)····················································································································································································································································111111111111111···············1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111··········································································································································································································································································1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111
out 30 (255)···································································································································································································································································1111111111111111111111111111111································11111111111111111111111111111111································11111111111111111111111111111111································11111111111111111111111111111111··························································································································································································································································································11111111111111111111111111111111································11111111111111111111111111111111································11111111111111111111111111111111································11111111111111111111111111111111
out 31 (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 32 (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 33 (255)·······························································································································································································································································································································································································································································································································································111111111111111111111111111111111111111111111111111111111111111·······························································1111111111111111111111111111111111111111111111111111111111111111·······························································1111111111111111111111111111111111111111111111111111111111111111································································1111111111111111111111111111111111111111111111111111111111111111
out 34 (255)······························································································································································································································································································································································································································································································································································································································1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111·······························································································································11111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
out 35 (255)·····························································································································································································································································································································································································································································································································································································································································································································································111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
check 36 (256)111···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···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 37 (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 38 (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 39 (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 40 (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 41 (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 42 (256)·································1111111111111111···········································1111111111111111···········································1111111111111111················································1111111111111111···········································1111111111111111················································1111111111111111················································1111111111111111················································1111111111111111·············································1111111111111111···············································1111111111111111···············································1111111111111111················································1111111111111111···············································1111111111111111················································1111111111111111················································1111111111111111················································1111111111111111
check 43 (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 44 (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 45 (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 46 (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 47 (256)·······································································································································································1111111111111111111111111111111111111111111111111111111111111111···························································································································································································1111111111111111111111111111111111111111111111111111111111111111···························································································································································································1111111111111111111111111111111111111111111111111111111111111111·······························································································································································································1111111111111111111111111111111111111111111111111111111111111111
check 48 (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 49 (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 50 (256)··································································································································································································································································································1111111111111111111111111111111111111111111111111111111111111111································································1111111111111111111111111111111111111111111111111111111111111111··························································································································································································································································································································1111111111111111111111111111111111111111111111111111111111111111································································1111111111111111111111111111111111111111111111111111111111111111
check 51 (256)··································································································································································································································································································································································11111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111··························································································································································································································································································································································································11111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111
check 52 (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·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·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
check 53 (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 54 (256)···············································································································································································································································································································································································································································································································1111111111111111················1111111111111111···············1111111111111111················1111111111111111···············1111111111111111················1111111111111111················1111111111111111················1111111111111111···············1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111················1111111111111111
check 55 (256)·······························································································································································································································································································································································································································································································································11111111111111111111111111111111·······························11111111111111111111111111111111·······························11111111111111111111111111111111································11111111111111111111111111111111·······························11111111111111111111111111111111································11111111111111111111111111111111································11111111111111111111111111111111································11111111111111111111111111111111
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 n988Noisy T states per run.
outputs k36
distance d≥ 6A lower bound proved here.
error coefficient A_{6}not definedUndefined while the distance is only a lower bound.
wires N176
checks r140
V_{\mathrm{ex}}36T states per run. CCZ counts as two.
\gamma_\rho = \log(n/V_{\mathrm{ex}})/\log d1.8486Overhead per extractable T state. Lower is better.
\gamma = \log(n/k)/\log d1.8486Overhead 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 width36Rank of the output rows modulo the check rows.

Output gate

36 T0 CS0 CCZon 36 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}\cdot \mathrm{T}_{26}\cdot \mathrm{T}_{27}\cdot \mathrm{T}_{28}\cdot \mathrm{T}_{29}\cdot \mathrm{T}_{30}\cdot \mathrm{T}_{31}\cdot \mathrm{T}_{32}\cdot \mathrm{T}_{33}\cdot \mathrm{T}_{34}\cdot \mathrm{T}_{35}

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+26+27+28+29+30+31+32+33+34+35 (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 36 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 12 more (listed below). The circuit's action is then exactly the gate above, and an error-free run passes every check with certainty.

All 36 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, \mathrm{S} on output 26, \mathrm{S} on output 27, \mathrm{S} on output 28, \mathrm{S} on output 29, \mathrm{S} on output 30, \mathrm{S} on output 31, \mathrm{S} on output 32, \mathrm{S} on output 33, \mathrm{S} on output 34, \mathrm{S} on output 35

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/988.36.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-988.36.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/n988_k36_d7_wills_downset_optimum.json",
  "label": "n988_k36_d7_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)); Gamma = 36 points. CP-SAT proved OPTIMAL over every pair of downsets at every support size: no code in the framework reaches k > 36 at d >= 7. gamma = 1.702115; does NOT beat the bar 1.086033.",
  "notes": "6 <= d <= 7 from the columns alone; d = 7 exactly by Prop 3.7 | A_7 >= 100: 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/988.36.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[1298].