[[427, 81, 4]] magic-state factory, T0·T1·T2·T3·T4·T5·T6·T7·T8·T9·T10·T11...

The circuit

The 100\times427 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 \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| ' \| '
out 0 (159)	1···1111·1111······1·1····1··1··1111·1····1······11······1·1····1··1··1·1·1····1·11···11····11··1···1··1·1·1·····1·1·11··1··11··11····11·1···1···1··1·····1·1·1·111········11··111··11·11111·········111···1··1··1···1···11111·1111··1·1·1··1·1··111·1··1·········11·······11··1·1··1···1·1····1··11···11··11···1····1·1·1··1···1·1·11·1·11·11······11·1··1··1··1······1·1·1111··········11··1·1·1·····11··111·1·1·······11··1···1···1·1···
out 1 (157)	1····11111·11····1··1·······1111·11·1·····1······1·1·········1···1···11·11·1····1·1··111··11····111·1·11···1······1·····11···1····111···1·1········1·1···11·11····111·····1·11·1·1·1·1···1·1···11·1··11·1··1·11···1·11·····11111·11·1·1····111···11·1···1·········1···1······1··1··11···11·1·····1·1···1111·····111··111····1····1····11··1···111·····1·1······1·1·1·1·1·11···111·······1·11·1···1·1····1····1···1···111·11···1··1··11··1·1
out 2 (199)	1·1·1·111·11·····1··11····1···1·1··11····11··1··11·1·····111·1··1··1··1···11···1·11·1······1······1···11··11·1·1·111·11·····111··1111·1·11··111·1·1111···111·11··111···111···1·111·····11111·111··1·1·1··1·1111··111·11···1·111·11··1·11·1···11····11··11···1····11···1····111·1·1··1·····11···1··11··1···1·······1···11··1·111·111·11···111·1111···1·11·1111·1111···1·11·11·111····111····1·1·1·1·········111·1·1·111·11·1····1·11·11·111·
out 3 (123)	1····1·11·11·····1·111·····1·1·11··11····1········11···1···1··········1··1···········1·1··1··1·····11··1·1·1·1·····111·1·····11·11·1···1·1··1···········1···11··1·11······1····1·····1··1··1·1··1·1·····1··1·1·1·····1·····1·11·11··1111··1·1·1·1··11··1···········1··1··1··1·······1····1··············11··1········1·1·1··11····111·····1111·1·····1·1·1··········1····11·1·11········1····1··········1···1····1·1··11······1··1··1·1····
out 4 (139)	1···11111·1·1········1·······1·111·1·····1···1····1········1·11·1····1·····1······1··1·1··1·11·····1·····1·1·······111··11···11···111··1·11·111·····1···1····11·1········1·11··1·111·1·······11···1·····11·1·11···1··1····11111·1·1····1····1·1·11·1···1····1······1········1111···1·······1·······1····11·11············1··1·····111·11··11··111····1·11111····1···1·····111·········1··11··1···111····1·······1··11··1······11·1··11··1··
out 5 (141)	····1····1··········1··1··1·1·11··1··1···11···1··1·······1···111·····11·1··1··11·11··1····1··11·11··1··1·11·····1···111·····1·1···11····1·1···1··1······111··1···11······1···1····1111··1111·1····1····1·1·1·1···1·1······1····1······1·11·1·1····1··1·11·······1·1········1·11····11···1··1··11··11·····1··11··11···1·1·11····1···111···1·1··11······1·1··1·1······11·1··1··11·······1····1······11···11···11·1·1·1···1·····1·1·1··1··1·1·
out 6 (167)	1···11111··11····1·11··1······1··1·11····11··1···1···1·1···1····1····11··1·····1·11····1····111·····1·····11·1··1········1··1·1·11111·1·11···1·······1··1111111···1··1··11111·11··1··1··111·····1···11··1··11111··11·1····11111··11·111·1····1···1·11··11···1·····1····1·1··1··1···11····1·····1··11····1··111·······1····1·11·1·······1·1·111111···1·11··1······1··11·11111··1······11·111·11····1·····1···11·1······1·11····1··11·111·11·
out 7 (179)	1·1······1111····1·111······11·1····1··1········1111···1·1···11··1·1·11·111···1··11·11·····1·1··1111·····111···1···11···11··11··1·11···1·····11···1·111··11··1··1·11···11·1·11111··11··1·11···1·1·1·1·111····111···1·11········1111·1111···11···1···1·1··········111··1··1·1·11·11·11···111···1···11··1···1·1···111······11·1·1···11··11·11·1·11·····1····11··1·11···1·1··1·1·11····11··1·1111·1···1···1···1·1·1····1·111·1··11·····111··1·
out 8 (159)	·······1·1·······1·1···1··1·11···1·11··1·11··11·1111···1···1·1··11·11·1·1111······1···1····1··111·····11·····1····1··1··1··1111·11····11·1····1·1····1·1·11·1·1·111·········111·11··11·1·····1·1·······1···1··1··111·········1·1····11··11·11····1·11·111···1···1111··1··1··11·1111·1···1111·······1···1··1··1·11·····11·····1···1··1·1·111111······11·1···11····1···1·1·1·1111···········111··1·1·····11··1·······1·1·······1···1···1·111·
out 9 (147)	··1·11·1111·1········1······1··11·········1··1···1·····1·1·1··1·1··1·11··111··1··11··1·······1···1·11·1·········1111··1··1··111·····1·····1·1·1·1···11····111·····1·······11····1··1·1·1·11··11·1···1·1·11··1·11··1···1···11·1111·1····1···1··1·1·······1···1·····1······1·11·11·1·11····111··1···11········1····1···11········1111··1·1·111····1·······11·11···11·····111····1········111·····1···1····1··1·1·1···11·1·1·1···11··1··11·1··
out 10 (127)	········1·1······1···1·····1·1······1·····1··11·1·1··1···1···11·········11··1··1··1·1········11··11···1···11···111·11·······1·1··11··1·1111·1·······11··111·1···1··1···1·11···1··1··1·····11····1···1····1·1··················1·1···1··1··1·1·······1···1···1···11·1···1···1·11·········11··1··1···1··1·····11···11···1···1·1·111·11·····1·1·11······11111······11··11·1·1··1··1····1·1·1···1····1·····1·······1·1····1·1······1·1·········
out 11 (139)	··1·1·1111·············1··1·1111···1···1·1···1··1·1····1···1····11······11·1··1······11···1··1···1·1··11·········11·111·1·····1··1····11111·1···1··1······11····11········1···1····11······1·1111·1·····11·11··1·1····1···1·1111········11·111··1··1··11····1·1··1·1·····1··1··11·······11·1··1········1·1··1····1····11········11·1111····1·1······111111··1··1·······11···11··········1···1······1···1·········1·11111······11·11···11···
out 12 (141)	··1·111············111·······111111····1······1·1·11·····1······11·1··1···1···11·1···111·····1··1·····1··11··1···111············111····1111··11····1········1·1·1··1····1·····111·1··1·11·11·111·····1·1······1···11··1···111········111····111··11···1·········11·1··1····1···111··1·····1···11··1·1··11···1···1·····1··11··1··111·········111······1111·11···1·········1·11··1·····1······11·1··1·····1··11··1·1·111···1···1·······1··11·
out 13 (189)	1·1··1····111······111······1··111···1·1··1···1·11·1···1······1··1·1··1·111···11··1·1111··1·11··111···1··111···1··111·1·11··111·1·11······1·1·1·111·11···11·11····11···1··11111111·11··111·····11··1··111··1·1·1···1·11····1····111··111···1··1··1···11·1·······111···1··1····1·11··1···111···11···1··1111·11···111···1··11·1·1··111·111·1111·11········11·1111·11···1·1·11···11····1···111111·1·1·1···1···111·······11···1··11··1··1·1··1·
out 14 (175)	1···1··11·11········11·1··1···1····1·····11······1·1·····1·1·1·····1··1··111·····11·1·1····11·····1·1·11·111···1·11··11·····11···111··1·111·111···1111····11·1···111···11····11111··1··1·111·1·1··1···1··1·1111··1·1·1····1··11·11····1111···1·····1···11·········1···1····111···1··1····111······11··11··11······1··111·11·1·1·11··11···11··111····1·111111··1111·····11·1··111····11·····111·1·1·····1···1·1·1·1·1·1·1··1····1·11111·1·1·
out 15 (173)	··1··11·111·11···1·111·1·····11·1111·1·1··11·····11··1·····1··1·1·····1··1·1···1·11···11····11·····11····111·1·····1111·11··11··11····11·1··1····1111····1111···1·1········11··111·1····11·1·1····1··11··1··1··1···1··1····11·111·1111111···111·1111·11·11········11···1····1·11····1····1·1···1··11···11··11········1···11·11····111111·11·11······11·1·1···1111····1·111··1·1··········11··1·1·1·1········11···1·1···1·111···1··1···1··1·
out 16 (163)	1·1····1···1·····1·111····11···11·1·11·1·1···11·1·1···········1·1·····1··1····1·1····11··111·1····11··11·111·1·····1·11·1·····1·111···11·11·1·1···1··1···1··1·1·11111·····11·11···1·1···11···11·1····1···1·1··11·1··111······1···1··1111·11···1·1·1·1111····1···11·1··········11····1····1····1··1·····1·11·1·····1···11·11·11····1·111····1111·····11·111·1··1··1···1···1·111111·······11·11·····1····1····11·····11·1··1·····1·1···111··1
out 17 (155)	··1··111111·1····1··1·····1·1··1··11·····11··11·11·······1·1··1····1·11·111····1·11··1·11···1····1111·1··1···1··1··1··1·11··111···1·······1·1·······11···11······11········1··111····1·11111·11·1·····1·11·····1·1····1····111111·1·1·1··1·1····1·11···11···1···111········11·1··1·11···111····1··11····1··1·····11··11··1···1·1··1··111·111··1·········11······11···1·1·····11··········1··11·1········1··111·1·1·11·1···1···11······11···
out 18 (171)	··1···1·1·1········1··1···11··11··11···1·11··1···111···1·1·1·11····1·····1·1···1111·111···1·······111····1·····1·11·1·······111·1·111··11····11·1··11·····111···11··1··1111···1·1111···1··1···111·1·111·····1··1·1111·1·····1·1·1····1···11··1··1·11··111···1·····11··1··1·1111··1·······1·1···1·111··11·1········1··1···1····1·11·1·····1111·111····11···111··11······111··11··1···111·1···1··1·111·······1···1····1111111·······1···11111
out 19 (173)	1·1··111111······1·1·1·1··11····11··11·1······1····1·····1······1····1·····1··11·1··1··1··1·····1·11······11·1·11·11111·1····1··1·11··11··1·····11·111··11··111··11·1··1·······1·111·1···11··1·1··1·11·11··1·11··11·111····111111···11·1111···1·11··111·········1·····1····1···1···1·······1··11··1···1·11······1·1·······1·1111·111111···1·1·11····11··1···11·111··11···111·11·1···1········1···111····1····111···1·1·111···11··1··11·11·1
out 20 (165)	1···11··1············1····1·····1··111·1······1·1·11···1·1·1··1·11···1111111··1··1········1·11··11·1··11··11·1···1·1·1··1·····1··11·1·······1····1·1·1···1·11···11·1····1·1·1·1··11111····11···11·1·1··111·11··1·1·1·1····11··1········1·1····1·1··1111·········11·1··1··1·11·111··11·1·1111··1···1······1·11···11····11··1·11··1·1·1·1····1·11·1········1···1·1·1···1··11··11·1·····1··1·1·1····1111··11······1·1···1111····111·11···11·1·
out 21 (147)	1·1·······11·······11·····1111·11·1··1·1········11···1···1···1··111···1·1··1··111·1·111····1··1··1·1···1··1··1·111··111··1··1···1···1·1·1·····1··1··1···1·1···1··1·11··1·1··11···11·······11·11·····1·1··········1··111·········11···11··1111·1·1·1··11··········11····1···1·1·11···1···1··1··11·1·1··11··1··1···1·····1··1··1111··111·1·1··1···1···1·1····1·1··1···1··1···1·1·11···1·1···11·····11············1·1·11···1·1············1··1
out 22 (133)	1···1·11·11···············1111·1···1···1·1···············1·1·····1·1··1·1·1···1······1·1····1·1111··1·1··1·1······111·1·1········11···11·1····1····11······11····11·····11····1·1·1·11··1····11······1111···1·1··1···1····1·11·11········1111······1··11···················11···11··1···1·1···1·········1··1·1·111···11··1··1····111·11······11·····11·1···1···11·······11···11······11·····1··1··1····11···1······11····11·111···1··1·1···
out 23 (181)	1···11·111··11···1·1·1·1··1111···11·1··1·111··1··111·1········1··1·1·1··11·1··11·11····1····11··11·1······1·······1··11··1··11··111····1111·1·1·1·11·····11·1···11·1·····1·11··1··111····1·1·1·1··1·1·1111·····1·1·1·1····11·111··1111·111111···111·1·1111······1·11··11······1·11·1····11·1··11··11····1··11·1·11········1······1··11·1·11·111······11111·11·11·····1·1·1··11·1······1··11··1····11···1·····1···1·1·1·11·1··111······11·1·
out 24 (173)	··1·111111··1····1··········1··1·1·11··1·1···1·····1···1·1·1·11·11·1·1··1111··1··1··1111··111···111······1·····111··1···11···11··1··1·1··11·1·····1·····11·1··1···11···1··11·11·111·11·11·11··1·1···11·1·1··1·1·······1···111111··1·1······1·····1·11·11····1·········1··1·1111111·1····1111··1···1···111111····111······1····111··1··11··11·1··1··11··111····1·····11··1··1··11····1···11·11··1·11····11··11··1·1··1·1·11···1·1··1··1·····
out 25 (173)	····1····111·····1·1·1····1·11··1·1·11···1····1···1··111···········1·11··11······11·1·····1··11·11111·11·1·111·11··1··1·1·······1··1··1111···1···1··11···1···1··11·····1111···1·1111···1···1·11·1·1·11111··1·111·11·······1····111··11·1·1·11·1·1·1·11·1········1··1···111·······1·11····11·······11··1··1··11··111··111·1··1111··1··11·····1··1····1111··1··1··11···1····1·11······111·1···1··1·111·······1·····1·11·11111··11··1··11111··
out 26 (155)	·····1···1·11········1·1··11···111·1·1···11·111··1·········1··1··1·1·····11······11··111··1········1··1··11······1·11·1·11···11···1·1·······1···111·······111·1··1·1·····1111··11·1111·11·11··1·1····111·1··1··1·11········1···1·11····1111···1·11·1·1·11···1···1·1·········1·1·11·······11·······11···111············1··11·····1·11·111··11··1·1········1··111········111·1·1·1······1·111··1·1··11···11··11··1·1··1·1··11··1·1··1···111··
out 27 (95)	··1·111···11·····1··11·1··11····1···1········1··1··········1·····1······1·····1·······1·····1·······1····1···1·····1··········1·····1·····1···111···11···1·11·1··11······1····1·····1···1······1·····1······1····1····1···111···11··1·11111···1·····1·······1····1··········1···1·······1·····1········1···1·········1···1···1····1········1····1·······1··11···11···1··11·1·11·······1·····1··········1····1········1···1········1····1···
out 28 (127)	··11···11·11·····1···1·1··11·1····11·1·1·····11·1··1···1···1··1·1·············1·1··1··1····1·1···········11······11·1·1·······1···1·1·1···11·····11·11···1··1·1··11·1·1··1···1·1········11·1···1··1·1············1··1·11·····11·11··1··1111·1·····11·11·····1···11····1··1··1·11··············1··1···1·1··1·1············11·····11·1·1·····1··1·1···1···1····11·11···1···1·1·11·1··1··1····1·1··············11···1···1·11··············1··1
out 29 (139)	····1···11·1·······1······111··1·1····1······1··1········1·········1····1·11···1·1···11···1··11··1·11·1··11······1···11·1····11·11111·1··1··11····1·····1··111···11·····1·······1·111··1··1··11···1··11··1·111···1·1······1···11·1···1···111····11··········1····1·········1·····1······1·11···1··1····1·1··11···1···11··11·····1···111···1111111···1··1·11···1·····1···111··11······1·········1··11···1···1···1···11··1·11····1·11·1··1·1·
out 30 (189)	··1·1·111·1······1···1·1····1·111··111·1·1···11·1··1·1·····1··1·11·1·1··1·1···1··1··111···1···1·111·1·1··1·1·1·111111········11·11·11····11·11··111111··1111·11········11······1111·1··1·1····11····1·11·1·1111···11··1···1·111·1···1··11··1·11····11111····1···11····11····1·1111·1····1·1···1···1···11·1···1··111··11··1··11111111······1111·11······1111·111111··11·11·11········11·······1·1·11··1·1···1·1······11··1·1··1·1·11·11··11·
out 31 (125)	1·1··111···1·····1·1·1·1····11111···11·1······1····1·····1······1····1····1······1···11···1·····11········11·1····111···1·····1·1·1·1·11111·····11·1········1······1····1·····1··1···1····1··11···1····11·1········1·11····111···1··11·11··1111·····111·········1·····1····1···1···1······1·······1····1·1······11·1······1·11···111··1····11·1·1···11111···11·1·········1·····1·····1······1····1······1······1···11··1·····11·1········1·
out 32 (141)	·······111·1········11·1···1···111·1·1···1········11···1···1········111··1····11·1···111····11···1··1·11·11··1····11111······1···1·11····1···1··11······1···11··1·11······1····1·1···1·1··11·11·1···1········111···1·········111·1····111·1···1··1·1·1·1···········1··1··1··1·····111····1····11··1····11··11····1···111·11··1···11111····1··1·11······1··1·11······1····11·1·11········1····1··11······1··1···1·1·11·1·1···········111··1·
out 33 (171)	····1111111·1····1···1·1····1·1111·1···1·1······1·111····1·1·11··1·1·1··1·1···1··1··11·1···1··1··1111··········11··11···11···1···1··1·1·111···1···1·1···11·11·1·1··11··1·1·1·11·111111·1··1···1···1·111····11·············1111111·1·1··11··1·11·11·1··11·········1·1··1····1111·11·1····1·1···1···1···1·1·1··1···11··1········11··11··11··1··1··1···1·111··1··1·1···11··11·11··11···1·1··1·11··1·111···11··1···1····1··1111······11········
out 34 (141)	1·1·1···1·11·······111·1···1·1111···1··1···1·1··1·11···1·········1····1···11··1······1····1·····1·1·1·1··111·······1·1··1·····1·11·····111····1····11·······1···1·11·····11···11··1111·11··1·11·1·1·1··1···········1·11···1···1·11···1111·1·111·····1·1··1··1····1·1··1··1······1···1·····11··1··········1······1·1··11··11·1·····1·1·1····111·······111···1···11·1······1··1·11······1·1···11····11···11··11····1·11·111····1···········1·
out 35 (163)	··1·1··1·········1·1·1·1····11·11·11·1·1·1····1····1·······1····11·1····1·11··1111··11····1·1·1··1·11·1······1··1·1·1········1··11·1·····11··1···1·1·1··11·1·11·····1··111····111·111··1111···11··1·1·1··1·111·····11·1·1·1··1······11·11··11·1·1·11·111········1·····1·····1··111······1·11··11·11···1··1·1·1···1···11······1·1·1·1······1·11·1·······11·1··1·1·1··11··1·11····1···111·····11·1··11···1···111·1····11·11·1····1·11·1····11
out 36 (123)	1·····1·1·1········1···1···1·1·11····1·······11·1·11···1········1········1·1·········1····1·11···1·11·11·1·1·1···1···1········1·1·1····1·1··1·1·11··1······1····1·11·····11········1····1··1·11·1·1··1··11·1···1·····1······1·1·1····1··1·1·1·1·1····1······1··111·1··1··1·····1·········1·1·············1·11····1···111·1··11··1···1······11·1······1·1·1·111··1·······1···1·11······1·1··········1········1····1·11·11·1····11·1····1····
out 37 (141)	1·1····11·11··················1··1·1···1·1···11·1········1·1·····1·1······11··11·1····1···1·1···1··1···1··11·1···11·11·······11····11···1···111····11···1···11····1·····11····1·1·11···11·1····1··1··1·111·1·111···1·11······11·11···········1··11·1··11····1···11···1·····11···11········11··11··1····1·1·1····1······1··1·11··11·11·····11···11·····1··111···11···1····11···1······11·····1··1··11·······11··1·····1·1·1···111·1··111··1·
out 38 (157)	1·111111·····1···1··11····1···11·111···1······1·1····1··········11·1··1···11···1·11··111···1········1·1······1···11·····1···111··1111·1·······1·1·······111··11·11111·1···11··1··1·····111····1·1·······11·1·11·11111111··1111·····11·11·1···1···111··1·········11·····1·······111··1·····11···1··11···11·1··········11······1··11····1··111·1111···1······11·······11·1··1111111··1····11··1····1·········111······1·1·······11·1··11·1111
out 39 (141)	1·1··1·11·1··········1·····1··1··1·····1·····1··1········1·········1·····111··1··1····11··1·11··1··11··1·111·····11111········1·····1···1·1·111·1··11·······1·····1·····111···1·1··1·1·11·11···11·1··1·1·1·1··11···1·11····1·11·1······1··1··1··11····1·····1····1·········1·····1·······111··1···1····111·11···1····1·1·11·1···11111······1····1·····1·11111··11········1····1···1··11·1···1··1···1····1··11··1·1···111·1···1·1·1···11··1·
out 40 (159)	····1111·1111······1·1·1··111·1·1······1·1···1····11·········1···1···11····1··111···1··1··1··1········1··1·····111111·1··1···11·1·11···11·1·11·····11········11·111·1··11··1··1··1·1·1···1···1·1··1·1···11···1···1·11·····1111·1111··1·11111·11·······11···11······1··1······1··1··11······1··11·1····1·11··1·········1··1····111111·1·1··111·11·····11·111····11·········11111·1···11···1··1····1·1····1····1·····1·1·11·····11····1··1·11
out 41 (181)	····11111111·····1·111·1··11·11·111111···11··11··1·1···1···1··1····1·11···11···11·1····1··1·1···1·111·11·11··1·1······1·1···11··11······111···1··1··1·····11·····1··1··1·111··1·1··111·1·····1··1·1··111····1·1··11·1·····11111111··1111111·111·111111·11···1···1·1···1··1··1·1··1·11·····11···1·1·1····11·1····1·1··111·11··11······11··11·11········111··1·1··1······11····1··1···1·1·11··1··1···1···11··1······11··11·11··1····1··1·11·1
out 42 (167)	1······11··1·····1·········1··1···········1··1··11·1·····1···1···1·1····1··1··11·11·1······1·····11·1111·111···1·1···11·1···111··1111·1·111·11····11·1···11·111····1···111···1·1111·11·1·111·1····1··11·11·1··1···11·1·······11··1··1·····1··1··········1···1····11···1····1·1··11······1··1··11··11··1···1······11··111·11·1·1·1···111··111·1111···1·11111···11·1···1·1·111···1····111····1·1·1·11····11··1·1·1·1·1···1·11···11·1···1··11·
out 43 (147)	1···111···1·1········1·····111·111·1······1··1··111········1····1····1·····1···1··1··1·1··1·1·1····1··11·1·1····11·111··11··1·1···111··1····111·····1···1·11·11·1·······1··11··1···1·1·····1·11···1·····11··111···1··1····111···1·1····1··111·1·11·1····1···1····111········1··1···1·······1···11··1····11·1·1········11·1··1··11·111·11·1·1··111····1···111····1···1··11·111········1···11··1·····1····1········1·11··1······11··1·11··1··
out 44 (159)	1······1··11·····1·····1···1·11········1·11··1·111·······1···11·11·1····1·····11111·1········1···11·1·11·1·1···1·1···1······111··11·1···111·11·····111···11·11·····11··111······111·1··1··11·1······111·11·1······1111·······1··11··1···1·1·11········111···1····11········1·11111······1·····11·111··1·····1····11··111·1··1·1·1···1····111·11·1·····11111····111···1·1·11····11···111········1·11····1···1···1·1·1····111···11·1······111
out 45 (151)	··1····1111·1····1·11··1····111···111···11···1····1········1·11·1····11·1······1····1·····11·1···11·1·····1··1·1111·1···11···1··1·1·1·111···11··1·11····1··11···1······111·1·1·1·1·11···1····111····1·······1······1··1······1111·1·111·1··111····111··1····1······1········1111···11···1······1······1··11·1····11··1····1··11111·1··11··1·1·1·1···111··11·1·11····1···11··1·······111··1·1·1···1·1···1····1······111··1·········1······1·
out 46 (179)	··1·1111··1········1···1··1·1··1·111·1·1·1····1·1······1·1·1·11··1······1····11·11···1·1··11·1···111···1·········1··111·······1·11·11··1·11·111·111·11···1·1111··1·11···1·11·111···1·1···111·1··1···11··1··111·1·1·11·1···1111··1····1··11·1····1111·111········11·······1·1111·1·······1····11··11·····111·1····11····1········1··111·····111·11····1·11111111·11···1··1111·1·11····1··11·111·····1····1·1··1·1·1·1··1·11····1··11·1·11·11
out 47 (175)	1··111·11·11··················1·1··11·····1··11··1·1·····1·1·····1·1·············1111······1·1····1·1··1··11···1···1·11·1···1·····11··1·11··11····1111··1111·11···11··111111·11111··11···111·1·11·1·1·1·11·1111···11·1·1··11·11·11···········111···11···1···1···1·1···1····11···11················11·11···1·1·····1··1·1··1·1·1···1·111··1····11····1·11·11···1111··11·11·11··11···1111·11·111·1·1·····11····1·1·1·1·1111·1···11·11·11··11·
out 48 (163)	····1·11·11·1····1··11·····111·11···11·1·11··1··11·1·····1···1···1·1·1····11··11111··1·····111····11······1·····1··1····11··111··1111·1·····1···111·11···111·11·····1····1···11·1·1····1··11·1····1··11··1···1·1····1·····1·11·11·1·1·11··111·1·1···11111···1····11···1····1·1··11·1······11··11·111······111·····1·1·····1····1··1···11·111·1111···1····1··111·11···1·11·11····1·····1····11··1··1········1···1·1·1···1·11····1····1·1···1
out 49 (149)	1·····1··1··1······1···1··11···1·11·11····1···1··1·····1···········1·····11····11·1·11·······1··1·1·1·1···11·1·1····111·11··1···1·111··1····1····1······1·11·11··1·11··1··111··111·····1······1·1····11111·111·1·1···1······1··1··1··1··111······11·11··1·······1·1······1·······1·······11····1·1·1··1·····1···1·1··11···11111····11111·1··1·111····1···1···1······1··11·11·1·11···1···111··1·1·1·········1········1·1··11··111·11·1·11···
out 50 (155)	···11··1·1·11·······11·1···111·1··111··1·11······1·1·····1·1·1·····1·1···1·····1111··1·1···11····1·1·····11···1·111·····11··1·1··11·1·1···1·1···1·1·····1111··1·····1········1··1··11·····11·11···1·111··1··1·11··1·1··1··1··1·1·11···111·111···1·111·111·········1···1····111···1·1·····1·····1·111····1·11·····1·······11····111····11·1·1·11·1···1···11··1·1·····11·11··1····1··········1···1···1···1·······1·1·11··1111····1··1··11·1·1
out 51 (143)	··1·1·1····1················111··111···1··1······11···11·1·1·11·1··1··1··11···1··11··············1··1·1··1······1·1·11······1·····11···111···11·1··1····1·11111·1·1······11···11111····1·11····11·····1····111·1······1···1·1····1·········111···111··1·1·········11····11·11111·1··1····11···1···11·············1···11··1·····1·1·11····1····11·····111··111··1····1··111111·1··1····1·1···11·1·11········1·1·1·····11···1······11·1·1····
out 52 (173)	··1111·11·1111···1···1·1····1···11·1·1····1·····11···1···1···1·····1····1111··1·1·····11····1·1·1111··11··11·1··1·11111·11···1···1·1···11···1···111·1········1··1·····1··111·11···11···1·111·11·1·1····111·1·1·····1··11··11·11·11111··11··1··1·11·1·1··1········11····1···1·1···1······1111··1··1·····11··1·1··111···111·1·11·1·1111111··1··1·1·····11··1··111·1·········1·1······1··1·11·11·····11·······1·1·1·1·11·11·····111·1··1····1·
out 53 (181)	1·111·111·1·11···1·111·1··111··1111··1·1·11······11······1·1····1··1·11·111··1···1···1·····1111··1··1·1··1·1·1···1111···11···11·1·1·1····1···1···1··1····1··1···111·1·1·1···1··1·1··11·11111·11·········11····11·1··1111··1·111·1·1111111111··1··11··1111·········11·······11··1·1·11···111··1····1·······1111···1···11··1··11··1111··11··111·1·11·····1··1··1··1····1···1··111·1··1·1····1··1···1·····11··111·1·1·11·········11·····111··1
out 54 (159)	1····11··11·1······1·1·1··1·11··1··1·····11·····1111·····1·1··1·11·1·1··1·11·····11···11··1·1····1··1·11···1····1··1111·11··11··11··1··1·1····1·····11····1·1···1111·······1····1·1·11·1·111······1···1·1··1·····11··1·····11··11·1··1·111·11·1····1···11········111··1····11·1111·1····1·11······11···111·1·····1···111····1··1··111111·11·11··1····1·1···1····11·····1·1··1111·········1·····1··1····111·1·1·1·1·····1··1···1··1·····11··
out 55 (139)	1·1·····1··1·····1·1······1··1·1··1111············11···1···1············11·1···1·····11···1·1····1·1··1111·1······11·1··········11··1··1·11·1·1··1···1···1·1··1·11·1······1····1···11··11··1·1111·1·11··11·11··1··1··11·······1··1··11···1··1···1·1111·············1··1··1··1···········11·1···1·······1·1·1·····1····11·1··1····11·1·······11··1····1·111·1·1···1···1··1··111·1········1····1·····1···1···11····1·1111111····11·11···1·1··
out 56 (171)	1·1···1·1·11··············11··11···1·····11······11··1·1·1·1·11··1·1·····111···1111·11····11·······11····11····1··1·1·1·····11··1·111·11·····11·1··111·····111··11··1··11·1··11·111····1·1····111·1·1·1····111·1·111111·····1·1·11·······11··1··1··1···11·········11···1·1·1111·11·····1·111···1·111··1··11··········1···11···1··1·1·1···11·1·111···11····111··111······111·11··1···11··1··11··1·11········1·1······11111·1······11·1·11111
out 57 (127)	··1·1·1·1·11····11··11·1··11·1··1·1·1··1········1··1··········1··1····1·1·····1·1··········11·····1·1····11··1···1·1··1·············1·1···1···1·1·1·11··11·11·1··11·1········11····11···11········1··1··1···1····1··1·1···1·1·1·11··1·11111·1·1···1·1·1··········1····1·······1·1···1···1·····1··1········11······1··1···11··1··1·1··1··········1···1···1··11·1·11··11··11·1·11·1··········11······1···1····11·········1·1····1···1····1··1
out 58 (173)	1····1··11·11······11··1··111·11·1·1···1·1····1·1·1····1···1·11·1··111····1···1·····11····1···111·1·1······1·1·1·1····1··1·1····11111···111·111···11·········11·1111···1·1·1··1111··1···11·1·111·····111·1···1···111·1·····1··11·11··11·1111·1···1·1··11··1·····11·1·····1··1111·111······1···1·······1··1···1·11·1··1······111·1····1·11···11111·····111111··11··········111111····1·1··1··11·1·1·····1····11···1·111···11··1·1····1··111·
out 59 (175)	··························11111··111·1···1···11··1·1·1·····1·1··11·1·1··1·1·····111·1·1···111·1·11····11···1···11·1·111··1··111··1·1··1··11·11···1·1······1·111··1··1··11···11111·11···11··1···1··1·111111·1·1···1·11····················11111···111·1·1····1···1·1···11····11·111·1····1·1······111··11·111·1··11····11····1·11·1·111·1·111·1·1····1··1111··1·1·······1·111·1··1···11····111111··11·······11····1···1·1111··111·1··1··1·11
out 60 (155)	1·1··1···1·······1········1·1111·11·1········11····1···1·····11····11·1·1··1··1·1·1·1111····111·1·11··1····1·····11·1·1·1··11····1··1·····1·········1·····1111····1·1····1··1··11111·····111···11····111··1·111···11111····1···1····1····1·111··111·1·······11··1·····1··1···11··11·1···1··1··1··1·1··111··111··1·1···1·····1···11·1·11·11···1··1·······1·······1······1111···1·1·····1···1··1·1·111·········1·1·1···11··11··1··1·1·11··111
out 61 (159)	1·1·1······1········1········11···11···1·11··1···1·····1·1·1··1·1··1··1···1···1·111·1·······1·······1·11·1·1···1··1··1······111··111····11··111··1·1·1····11111···111··111····1111·11··1··1··1·1·1··1·1··1·111·····1111···1······1····1·····11····11··111···1·····1······1·11·11·1··1·····1···1··111··1····1·········111·1··1·1··1··1····111·111······11·111·1·1·1·····11111··111···111·····11·1·1·1···1···1···1···1·1··1·1····1·11·1····11
out 62 (123)	1······11·1········111·1···1·1·11···1········1··1·11···1·········1····1··1·1·········1····1·······111·11·1·1·1···1·111········1·11·····1·1··1·1·····1·······1···1·11·····11···11··1·····1··1·11·1·1·1······1···1·····1·······11·1····1111·1·1·1·1···1·······1····1·1··1··1······1···11···1·1·············1········1··111·1··11··1·111······111·······1·1·1·1····1········1··1·11······1·1···11····1·········1····1·11·111········1····1····
out 63 (179)	1·1····1·111·····1·111·1·····1·1····11·1··1······11····1·1···1·····1·11·111·1·11·11·11····11····1111···1··11···1···1····1···11··1·111·11·····11··11·11···11··11·1·1····11·1··11·1··11·11111···1·1···11111····11···11·11······1·111··11111···1···1···111·1·········11·····1·1·1···1·11···111·1·11··11··1··11·····111····1··1·1·1···1···1··11·1·111···11····11·11·11···1·1··111·1·····11··1··11··1···1···1···111·1····1·1·111··11·····11··11·
out 64 (157)	····1··11·1··········1····11·1··11111····11··1···1·····1···1·11·1········111····1·1·1··1··1·11··1··11·1··11··1·1··11········111·····1····11···1·····1·····111····1·11·11·11······111·1·11····1··1·1···11·1··1·11·11·1·····1··11·1······1·11·1·1·11111··11···1·····1······11·1111·········111·····1·1··1·11·11···1····11··11··11··11······111····1······11··1····1······111···1·11··11·1·1········111····1··11······1··11··1··1·1··1··1111·1
out 65 (165)	1····1·················1··11·11··11·············1··1···1·1···11·1··1······1·····11·····1··1111··1·111··1·1·1·1···111·11·1·····1···111·1·1·1·11··1·11·1···1··111···1·1···1111·1111··11···1111··111···1··1···1·1·1···111·····1············111·11··111··············1····1··1·1·111·1········1······11·····11111···1·1··1·1·1··11··111·111····1··111·1·1·1·111·1·11·1···1···111··1·1····11·11·111·1···1···1····11·1·1··111·1····1···1··1·1··11
out 66 (141)	··11·1···11··1·····1·····1····1·11·111·1······1·1······1········1····1·····1·1·1··1···11··11111·1··11····1······11111·1·····1·1·1···1···11··111··1··11····1···1···1·1·1·1111····1··1····1··1····1·1···11············1·11···1···11··1·1·······11·11·1111·········11·······1·····1···1·······1·1·1···1···1111111··1····1···1·····11111·1···1·11···1·····11·111·1··11·····1···1··1·1··1·11·11·····1···1········1····1····11··1··1············1
out 67 (173)	1·1··11····11··1·1·1···1··11111··1··11····1··1··11·1···1·····11····1·1··1111····111····1···1·11··111···1···1····1·1·1·1··1····1·11····1·11··111··111····111···1··1··1···1·1·11·11···11·11·1···111·1··1···1·······1·1111····11····11·11··111111··11··11··1···1····11···1··1···11··1·1····1111·····111····1·1·11···11····1····1··1·1·1·1·1···111······1·11·111·111····11·1···1·1··1····1··1·11·1·1·······11··11··1····1111·1·····1·······1·11
out 68 (91)	1···1··11··········11··1·····1·1··················11········1····1····1··1···········11···1·1·····11··11···1·····1··11··········11··1··1·1··1···················1··1······1····1··1·1········11···1·1····1·1··11·····1····1··11······11·1···1···1··················1··1·········1···1····1·············1·1·1······1···11····1···1··11·······11··1····1·1·1··················1··1········1····1····1····1···········11··11······1·1···11····
out 69 (165)	1·1·111···1········11··1··1·11···11111·1·1······1··1···111·1·11·······1·1·····1·11·····1··1111···1·1·······1·····1···11·······1·1··11·····1·111··11·11···1·1·11··1··1··11·11·11···11·1···111····1····1··11·111···1·1111···111···1····11·11·11···11111111·········1····1··1·1111·····1···1·····1··11·····11111····1··········1···1···11·····11··11·······1111·11·11···1··1·11·1··1···11··11·11·····11····1····1·1·1····1··1····11·11·1··1·11
out 70 (165)	1···111·11·11·1··1·111····1·····1··111·1······1·1·11···1·1·1·1···1·1····1·11··1··1········1·11··11·1··11··11·1···1···11··1·1····1·1·1·······1····1·1·1···1·11···11·1····1·11····1··1·1····11···11·1·1··111·11··1·1·1·1····111·11·11·1111·1····1·1··1111·········11·1··1··1·111··11······1·11··1···1······1·11···11····11··1·11··1···11·11···1·1·1········1···1·1·1···1··11··11·1·····1··11·····1···1····1······1·1···1111····111·11···11·1·
out 71 (173)	1·······1··11····11111·1···11·11111·11·1·11··1···1···1·······1······1··1·1·1··1·11··1111··1··11···1···1··11·····1··1·1···1·1·1··111····111··1···11111······1·11··11·1···1·11···1··111··11111···1····1·······11·1·1·111········1··11·11111·11·11··11·11111···1·····1····1·····1····1···1··1·1··1··11···1111··11····1···1··11····1··1·1··11·1·111······111·1··11111·······1·11·11·1····1··11···1····11···1···111·1·1···1··1·········1·1·11·11
out 72 (157)	1·1··1111·1111···1·1·1····111····11·11·1·11··1··11·1···1········1·······1·1·······1···11······1··111···1···1····1·1·····111·1·1·1111·····1··11···1·11···111··1···1·1····1·111····1·····111·····11···11···1···11··1···11····1111·111111·1·111····111·11111···1····11···1··1·····1········1·1········1···11····1···11····1····1··1·1····11·1·11111·······1·11··1·11···11·1··1··1·1·····1··111······1·········111·······11·11·····1····11·1···
out 73 (155)	·11·1·1·1·1········1······11·1·1··1····1·11··1··111··111·····1··11····1·11·1··11·····1····11111····1······11····11··111·····111·11··1·1111··1···1·1·1·····1···1·11······1·1··1·1·1·11····11··11·1········1·····1·1·1··1···1·1·1·1····1···11·1···1·1···111···1····111···111···1·11···1···11·1··11·········11111············1·1··11··111···11111··1···1111·1··1·1·1······1···111·······1··1··1·1···1·1···1·····1·1···11·1········1······11·1·
out 74 (171)	1·1··1·····1·····1·11··1··11···11·111··1·1···1····1········1·11·1·····1····1··1·1····111··11·1····111··1·111·1···1···11·1·····1·1·11··11·11·1···1·1··1···1·1111·11111····1·1·11···1·11··11···1·······1···1·11111·1··111····1·····1··111·111···1·1·111·11····1······1········1111····1······1··1··1·····1111·1·····1··1·1·11·11··1···111····11·11····11·111··1·1··1···1··111111111·····1··1·11·····1···111···11·····1·····1·····1·11·1111··1
out 75 (173)	··1··1111111·····1·1···11·11··1·11··11·1·1·······1·1·1···1······11···1···1·11·11····1··1··1··1··1·111··1··11·1·1··1·111·1·······1·11··1···1··1···1·111···1··111··11····11·1····1·1·1·1···11····11·1·11·1···1·11··11···1····1111111··11··111··11·11··1111··········1···11···1···11··1·····1·11·11······1·11··1···1·1··1·1··1·111··1·1111·····1·11····1···1·1··1·111···1···111·11·····11··1····1···1·1····1····1·1·····11111···1···1··11·11··
out 76 (61)	···········11······11··········11···············11···········11······11··············11··················11·············11······11·······11···················11···········11····11··········11···················11·············11··11·······1··················11··········11····11··················1·················11···········11····11·········11··················1·············11······11················11···················11·
out 77 (165)	1·1···11··11·····1·1···1···1···1111·11···11··11·1111·········11·11····1·1·1···111·111111········1···1··1··11·1·1·1·1·1······111·111·1··1····1·1·11··11···11·····1···1··1·1·······1··11·1···11·11····1·11···1··1·····111·····11··11··11··1·1···1··11·11·11···1···1111··1······1111···1···1·1···11·1·1·1111·······1····1·1··1·111·1·1·1····111111·1····1···1·111··11···1·1····1···1···1·1··········1·····11··1·····1··11··1·1··1···1···1····1
out 78 (149)	··1··1·11·11·····1··1·····1·1·11··1111·1·1······1··1···1···1·11·11··111·1······1111·11····1··1········1···1··········1··1··1111····1···1··1·111··1·1····1·11······1·1·······1··1·····1·111·1···11·1·····1·111·····1·1·1····1·11·11··1·1··1·1·1····111111·········1····1··1··11111·111···1······1·111··1··1··1·········1···1·········1·1·1111···1·····1··1111·1·1····1·111·····1·1·········1··1··········1··111···1···111······1·111·····1·1
out 79 (175)	1·1···11···11····1··1··1···111···11······11··11··1·1·1···1···1··1···11·1·111··1·11··1·····1···1·11·······11··1··1···1····1·1·1·1·1········1·1·····1·1······1111··1111·····11··11·11111·11111·11·····11·111··1111·1·1111·····11···11·1·1·1·111····11····11···1···1·1···11···1·1·1··11··1··111··1··11···1··1···1··11·······11··1·1···1···11·1··1··········11····1·1·······1111·1111·······11··11···111···11··111·1·1·11···11···111··1·1111·11
out 80 (173)	····111·1··········1·1····11··111111·1···1···11···1······1·1·11··1·1····1111··1·11···111···11···111·1·1··1·········1··1·········11·11·11111··1···111·1···1·1·11·1·111···11·1·1·11·······111··1····1·1··111··11···1·11·····111·1······1·1·11··11··111·1·1····1···1··11······1111·11······1111··1··11····11·11····111··11··1········1··1······11·11···11111·1··111·1···1··1·111·111····11··1·1·1·1············11·1···1···11····111··1·1··1·11
check 81 (172)	1·1···11111··1···1··1··1···1··11··1·11···11··11···11·1·····1·1·····111··11····11··1·111···1··1··11·11········1·1·11···1·1··1111····11···1·····1·111·1···11····1·1·1·1··1·11·1·11··1·11·1·····11·····1·11···1··1···11111·····11111··11·1·1·1··1··1·1·11·11···1···1··1··11····11···111····11····11···1··11·1··1···11···1·······11·11···11·1111···11·····1····1111·1···11·····11·1·1···1·1·1·1·11····1····11··1·······11···1·1··1···1···1··111
check 82 (158)	1··111·1···1·····1·111····11···1·111·····11·····1111··········1·1·····1··111···11·1·11·1····11··1·1····1··11···1·11·11······11··11··1··1····1·1·1···1···1·1··1··1·1·1·11······11·1·1·1·1········1·····1111·1·11···1·11·1··11·1···1··1111·11······111···11········111··1·······11····1····111···1·1·1··1·1··11···1·1····1··1·1·1·11·11····11·11··1····1···1·11···1···1··1··1·1·1·1··11·······11···1·1····1··1··········1···1··111·1··11··1·1
check 83 (158)	···1111·111··1······1·····11·1·1111111····1··1····1··1·······1··11···11··1····1··11··111·····1··1······1·111···1··1111·······11··1·····1······1··11··1··1·······111···11·1···1·111·11···1·11··1·1·1···1111·····1·1·1···1··111·111··1··1··11·1·1··11111··1···1······1···1·····1·11··11····1····1···11···11···1···1······1·11·1·1··1111·····11·1·······1·····1·11··1··1·······111····11·1····1·1·1·1·1···1····1··1·1··1·11··1··111······11·1·
check 84 (174)	··11·1··1········1···········1·1·11··1·1·111··1···1··11··1····1··1·111111·1111·1···1·11·····1··1·1··1·1········111·1····11··111·1·1···1···1·11··1·1··1··11··1·1···11····1··11111·111···1··1···11·····1·11·111111·1··1·11···1··1·····1·······1····11··11111······1··1···11··1··1·11111·1·1·1111·1·····1·1···1···1·1···11·······111·1···11·1111·1·····1···111·1·1··1··11···1·1··11·····1···11111···111·······1···1····11···1···11·111·1111··1
check 85 (180)	···1··1····11····1··11·1··1··1·1···11····1·1·1····1··111·1·1·1·······1··1111·1·11··1·11····1·11···111··1·111·1··1····11··1··11··1··11··11·1·1····11··1··11·1·11··11·1···1·1·1···111·1··1··11··1·1·1···111···11·1·111···1····1····11·1·1111··1···1··11··1·1··1······1···111·111·····1····1111·1·1·1···1·1··1·11····1··1·1·11·11·1····11·1·11·1··11····11·11···11··1··11··1·11·11·1····1··1·1····1·11····1···1···1·1··1·11··1··11···1·1·1111·
check 86 (140)	···1··1·1·111······1···1···1·111·····1···1·1·1··11·1·1··········11·1····1··111···1·1·1····1·1·1··1·11·11·1·1·1··1111·········1··1·1···1··1··11···1·11······1····1·11····1····1·····1····1··1··11·····1·····1···1···11··1····1·1·111··1··1·1·11··1····1·1·1··1····11···11·······111······1··111····1··1···1·1·1···1···111·1··11·1111·······1·1·1·····1··1·11··1·11·······1···1·11·····1·····1·······1········1····1··11···1·······1····1··11
check 87 (182)	··1·1··11··1·1···1···1······11111··11··1·1·1·11··11··1·1·····1··11·1···11··1··11111··11····11···1·1····1·1·1···1·111··1·11··111·1··11·11··1·111··········1·1·1··1·11····111·11··111··1···1···11·1·····11·111·1···11·1·1···1··11··1·11··1···1111····11·11·1··1···1·11···1·1···1·111····1·1··1··11·111···1··11····1·1····1·1··1·1·111··111·1111··11···11··1111·········1··1·1·1·11·····11·1·11···1·11·····1····1·····11·1···1··1·111··1··11·1
check 88 (168)	··111·1····11·······1··1··1··1····1····1··11··1···1··1···1·1·11··1····1·11··11111·1·1·1·····111··1····11·1·1·1·11·11········1·1···11··1111··1····1········1111···1111·11·11··1111111···1··1·····1·1···1·1··11·····1···11··1·1····11···1·11··1·····1···1·11······1··1···1···1111·1···1···11··1111·1·1··11···111···1····11·1··1111·11······1·1··11····1111·1···1·········1111··1111··11·1·1··111·1·111·······1···1······11··1···1··11·····1··
check 89 (180)	···1····111·11···1·11········111··111····11···1·111······1····1·····1·11··1·11···1···1·1··111··111·11·11·1······1··1·11·11···11···1·1···111·11····111····11·1······1··1···1·1·111111···11111··1·1····11···111111·1··1··1······111·11111·····11··1·111··11·······1111·······1··1···1·1·1···1·11····1·····1111···111···111·1·····1··1·1111··11··1·1·····11111···111····1·1·1·····1···1····1·1·11·1·111·······111·1·1··1·1··11·····111·1111··1
check 90 (180)	1·11·1···1111··············1·1111·11···1···1····1·1····1·1···1··1·······1111···11··1·111··1·1111··111····111···1·111·11··1··1·1··1111···1····1··111·1·····11·11·······1111111··1·1·1······1··111··1·1··11·11··11·1··1111···1···1111·······1·111·1·11··1··1·······1·1·····1·1·1·1········1111···1·1···1·111·111·1··1··1···11·1·1·111·11·1·1·1·1111·····1···1·111·1······11·11·······1111·111··1···1·1···········1···111·11····11·11···111··1
check 91 (254)	·11··11·11··11111·11111111···1··1·····11111·1111···111·11·1111·1··111·······11·1··1·····1111·1·1··11·11111··1·1·1···1111··1·1111111·11·1·111··111··1··111·111·111·1·111111···11·1··1·11·1···1·11·1·11··11···1···11·1·1·1111··1··11··1····111·1·1111111···111·111·11111··1·11··111··111111111··1·111·11111··1·11·11·111··1·11111·111···111······1·1111·1··11··11·1111·11···1··1·1·11····1111··11·111·1111·111·1111111··11·1111··111·1111·1·1
check 92 (208)	·11·11···11·11·1·1·1·1···1111··1111··1···1··11··1···11·····1··11·1·1··1··1·1·11·11···1···11·1·1··1·1·····111111····1····111·····1·1·1··11111·1·111·11···········1111··1··11·1·1·11111···11··11111111·11111·1··1·11··1·11·11··1··111·····11·11·11··11··1··1····1·1··1·1·11·11·11····111·1······11··11·1··1111111·111··11·1·1111·1·111·1·1·1·1·····1·1··1·1···1···1111·1·1·1·1·1·111···111111111····1··1···11··11·1···1·11··11··1····1···11··
check 93 (196)	··1··1·1·····1··1···1··111···1·1····111··1···11·111·1·····11··11·11·······11111·1···11······1·1·1·111·11·····1111···1·1··11······111·1···1·1·1·11111·11·11···1·1······1111··1··1··1·1·11····1··1···11··111·1·1·11···1··1··1··111··1·1··11··1··111·11111111·1···1·1····1··11·····11··11··1111··1·1···11111111··1·11··1·1·1·11··1111·11·····11···1·1··11·11·1111···11·····111·1··11·1·11·1···1·111···1··1···11·11··1··1··11·11·1···1111····1·
check 94 (184)	·····111··11·1····1·11····1·11···1··11··1·····1·····11··1111··1·1·1···1····1··1·11···1·1··1······1·11·1·11·1····11·111·1111···11·1··1···1·····11111·1·1··1····1··1·1···1······1···111····1····1·······1·11·1······111···111·11····1··1····1·····1·1111·111···111····1111······1·11··1·1111·1···11·1···11·1·1111··1·11·1···111·1··1111······11·1·1·11111··11·111··11··11111·1··1·1····111·····111··11111····11·1···11·1··11·1··111·11···1···
check 95 (198)	1········1··11·····1111111··1··1·1·1·11111····11·1··1··1·1·111·11111·11··111111111···11·11·1·11·····111·1··1·1····1··1111·1··1··11···111·11··1···1·1··1·1·····111·······1·1111··11····111·11·11111111···1·······11··11······111·11···111·11·1····1·11···11······11·1111··1·11·1····11····1······1·1····1·1·1··1······1·1111111···111···1··1·11·11111···11·1·1·1·111·1·····1··1111····1······111··1······111··111·1·111···111··1·····111·11·
check 96 (224)	··1·1·111··1··111·11·11·11··1·1·1·11·1·1·11·11·11··111·1·1·1·····1·111····11111·1·1···1···1·111111·1·1111111······11····1···11111·1111·1·11··11··1·1···11·11·1111·11····11·11··111·1·111·11··111··1·1····1··111·11·11·1···1·111··1··1·1·111·111···11·1111·11·1111·1111·1·1·11···11··111111·····11··1···1·1·111····1111··1··11····11···1·1····1···1111··11·11·1·1···1·11··1···1··1····11··11··1·11·1·1111·11·1·11···111·11···111·11·1··1·1··
check 97 (208)	··1··1·11·1··1···1···1······11·1··1·11111·1·1·11·1·111···1··········111··111······1·11·111···11111·1·11·1·11·1·1111··1··1··1··1·····1··11··11··1111···11·11·11·11·1····1·1·1··11111··1···11·111·11·1111·11···11·111·1·1····1·11·1··11··1···1111111·1···1·1111111·1·111·1···1······111····111······1·11·1·111··1···1111·111·1111111··1·1·1··1····1····1·11·11···111111·1·1··1·1·11···1·1··1··11·1·11·····1····1··111··1·1···111··1111··1··1·
check 98 (224)	···1111·1·1·11···1·1·1····1·····11·11··1··1··1·····1·1·1111·11·11·1·····1···1·11··11·1··11·1·····111·1111·1··1··1·11111·1···111·11····1··1···11·1··11···1·11··1·111·1111··1····1111·1·1·11·1111111·11·1·····11·11·1·1··1··111·1·1·1111·1·1····1··1·11·1·1···1·········1·1·1·1·1·11111111·111·1··111·1·1111·111111··111··11·1·1·1·111111··11111······1··1··111··11···1··11··1111·111··111·1111·1·1··1111·1111··111·1····1·1·1111111·1·1·1·1·
check 99 (200)	···1····11··1····1··11······1·1··1·11··1·1···1···111·11····1··1······111···1···11······1··1·11·11···1··1····1·11·11···11111·11·1·1111111··11···1·1···111·1111··1·11··1·1·1····111··1·11·1·1111·111111111···11··11111···1······11··1·1·11···1·1···1·11·11····1·····11··111···1·1····11·1····1···1·1······11·11··11····1·1····11·1··111···1··11····111··11·1111·111·111·1···111··11111·1·11111··1·111·1111·111·11·1·1·1······11·111··111····1

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 n427Noisy T states per run.

outputs k81

distance d4Exact, proved and witnessed here.

error coefficient A_{4}9,296Faults of weight 4 in the circuit shown that pass every check and damage the output. The output error is A_{4}\,p^{4} to leading order.

wires N100

checks r19

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

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

\gamma = \log(n/k)/\log d1.1991Overhead 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 width81Rank of the output rows modulo the check rows.

Output gate

81 T0 CS0 CCZon 81 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}\cdot \mathrm{T}_{36}\cdot \mathrm{T}_{37}\cdot \mathrm{T}_{38}\cdot \mathrm{T}_{39}\cdot \mathrm{T}_{40}\cdot \mathrm{T}_{41}\cdot \mathrm{T}_{42}\cdot \mathrm{T}_{43}\cdot \mathrm{T}_{44}\cdot \mathrm{T}_{45}\cdot \mathrm{T}_{46}\cdot \mathrm{T}_{47}\cdot \mathrm{T}_{48}\cdot \mathrm{T}_{49}\cdot \mathrm{T}_{50}\cdot \mathrm{T}_{51}\cdot \mathrm{T}_{52}\cdot \mathrm{T}_{53}\cdot \mathrm{T}_{54}\cdot \mathrm{T}_{55}\cdot \mathrm{T}_{56}\cdot \mathrm{T}_{57}\cdot \mathrm{T}_{58}\cdot \mathrm{T}_{59}\cdot \mathrm{T}_{60}\cdot \mathrm{T}_{61}\cdot \mathrm{T}_{62}\cdot \mathrm{T}_{63}\cdot \mathrm{T}_{64}\cdot \mathrm{T}_{65}\cdot \mathrm{T}_{66}\cdot \mathrm{T}_{67}\cdot \mathrm{T}_{68}\cdot \mathrm{T}_{69}\cdot \mathrm{T}_{70}\cdot \mathrm{T}_{71}\cdot \mathrm{T}_{72}\cdot \mathrm{T}_{73}\cdot \mathrm{T}_{74}\cdot \mathrm{T}_{75}\cdot \mathrm{T}_{76}\cdot \mathrm{T}_{77}\cdot \mathrm{T}_{78}\cdot \mathrm{T}_{79}\cdot \mathrm{T}_{80}

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+36+37+38+39+40+41+42+43+44+45+46+47+48+49+50+51+52+53+54+55+56+57+58+59+60+61+62+63+64+65+66+67+68+69+70+71+72+73+74+75+76+77+78+79+80 (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 93 single-wire gates and 1780 \mathrm{CZ} gates: \mathrm{S} on output 0, \mathrm{Z} on output 1, \mathrm{S} on output 2, \mathrm{S}^\dagger on output 3, \mathrm{S}^\dagger on output 4, \mathrm{Z} on output 5, \mathrm{S} on output 6, \mathrm{S}^\dagger on output 7, \mathrm{S} on output 8, \mathrm{S}^\dagger on output 9, \mathrm{S} on output 10, \mathrm{S}^\dagger on output 11, \mathrm{Z} on output 12, \mathrm{Z} on output 13, \mathrm{S} on output 14, \mathrm{Z} on output 15, \mathrm{S}^\dagger on output 16, \mathrm{S}^\dagger on output 17, \mathrm{S}^\dagger on output 18, \mathrm{Z} on output 19, \mathrm{Z} on output 20, \mathrm{S}^\dagger on output 21, \mathrm{Z} on output 22, \mathrm{Z} on output 23 and 1849 more (listed below). The circuit's action is then exactly the gate above, and an error-free run passes every check with certainty.

All 1873 correction gates

\mathrm{S} on output 0, \mathrm{Z} on output 1, \mathrm{S} on output 2, \mathrm{S}^\dagger on output 3, \mathrm{S}^\dagger on output 4, \mathrm{Z} on output 5, \mathrm{S} on output 6, \mathrm{S}^\dagger on output 7, \mathrm{S} on output 8, \mathrm{S}^\dagger on output 9, \mathrm{S} on output 10, \mathrm{S}^\dagger on output 11, \mathrm{Z} on output 12, \mathrm{Z} on output 13, \mathrm{S} on output 14, \mathrm{Z} on output 15, \mathrm{S}^\dagger on output 16, \mathrm{S}^\dagger on output 17, \mathrm{S}^\dagger on output 18, \mathrm{Z} on output 19, \mathrm{Z} on output 20, \mathrm{S}^\dagger on output 21, \mathrm{Z} on output 22, \mathrm{Z} on output 23, \mathrm{Z} on output 24, \mathrm{Z} on output 25, \mathrm{S}^\dagger on output 26, \mathrm{S} on output 27, \mathrm{S} on output 28, \mathrm{S}^\dagger on output 29, \mathrm{Z} on output 30, \mathrm{Z} on output 31, \mathrm{Z} on output 32, \mathrm{S}^\dagger on output 33, \mathrm{Z} on output 34, \mathrm{S}^\dagger on output 35, \mathrm{S}^\dagger on output 36, \mathrm{Z} on output 37, \mathrm{Z} on output 38, \mathrm{Z} on output 39, \mathrm{S} on output 40, \mathrm{Z} on output 41, \mathrm{S} on output 42, \mathrm{S}^\dagger on output 43, \mathrm{S} on output 44, \mathrm{S} on output 45, \mathrm{S}^\dagger on output 46, \mathrm{S} on output 47, \mathrm{S}^\dagger on output 48, \mathrm{Z} on output 49, \mathrm{S}^\dagger on output 50, \mathrm{S} on output 51, \mathrm{Z} on output 52, \mathrm{Z} on output 53, \mathrm{S} on output 54, \mathrm{S}^\dagger on output 55, \mathrm{S}^\dagger on output 56, \mathrm{S} on output 57, \mathrm{Z} on output 58, \mathrm{S} on output 59, \mathrm{S}^\dagger on output 60, \mathrm{S} on output 61, \mathrm{S}^\dagger on output 62, \mathrm{S}^\dagger on output 63, \mathrm{Z} on output 64, \mathrm{Z} on output 65, \mathrm{Z} on output 66, \mathrm{Z} on output 67, \mathrm{S}^\dagger on output 68, \mathrm{Z} on output 69, \mathrm{Z} on output 70, \mathrm{Z} on output 71, \mathrm{Z} on output 72, \mathrm{S}^\dagger on output 73, \mathrm{S}^\dagger on output 74, \mathrm{Z} on output 75, \mathrm{Z} on output 76, \mathrm{Z} on output 77, \mathrm{Z} on output 78, \mathrm{S} on output 79, \mathrm{Z} on output 80, \mathrm{Z} on check 81, \mathrm{S} on check 82, \mathrm{S} on check 83, \mathrm{S} on check 84, \mathrm{Z} on check 85, \mathrm{Z} on check 86, \mathrm{S} on check 87, \mathrm{Z} on check 89, \mathrm{Z} on check 90, \mathrm{S} on check 91, \mathrm{Z} on check 93, \mathrm{S} on check 95, \mathrm{CZ} on output 1, output 3, \mathrm{CZ} on output 1, output 4, \mathrm{CZ} on output 1, output 5, \mathrm{CZ} on output 1, output 7, \mathrm{CZ} on output 1, output 9, \mathrm{CZ} on output 1, output 11, \mathrm{CZ} on output 1, output 12, \mathrm{CZ} on output 1, output 13, \mathrm{CZ} on output 1, output 16, \mathrm{CZ} on output 1, output 17, \mathrm{CZ} on output 1, output 18, \mathrm{CZ} on output 1, output 21, \mathrm{CZ} on output 1, output 22, \mathrm{CZ} on output 1, output 24, \mathrm{CZ} on output 1, output 26, \mathrm{CZ} on output 1, output 29, \mathrm{CZ} on output 1, output 30, \mathrm{CZ} on output 1, output 31, \mathrm{CZ} on output 1, output 32, \mathrm{CZ} on output 1, output 33, \mathrm{CZ} on output 1, output 34, \mathrm{CZ} on output 1, output 35, \mathrm{CZ} on output 1, output 36, \mathrm{CZ} on output 1, output 38, \mathrm{CZ} on output 1, output 43, \mathrm{CZ} on output 1, output 46, \mathrm{CZ} on output 1, output 48, \mathrm{CZ} on output 1, output 49, \mathrm{CZ} on output 1, output 50, \mathrm{CZ} on output 1, output 53, \mathrm{CZ} on output 1, output 55, \mathrm{CZ} on output 1, output 56, \mathrm{CZ} on output 1, output 58, \mathrm{CZ} on output 1, output 60, \mathrm{CZ} on output 1, output 62, \mathrm{CZ} on output 1, output 63, \mathrm{CZ} on output 1, output 68, \mathrm{CZ} on output 1, output 71, \mathrm{CZ} on output 1, output 73, \mathrm{CZ} on output 1, output 74, \mathrm{CZ} on output 1, output 76, \mathrm{CZ} on output 1, output 77, \mathrm{CZ} on output 1, output 78, \mathrm{CZ} on output 1, output 80, \mathrm{CZ} on output 1, check 81, \mathrm{CZ} on output 1, check 82, \mathrm{CZ} on output 1, check 83, \mathrm{CZ} on output 1, check 84, \mathrm{CZ} on output 1, check 85, \mathrm{CZ} on output 1, check 86, \mathrm{CZ} on output 1, check 87, \mathrm{CZ} on output 1, check 89, \mathrm{CZ} on output 1, check 90, \mathrm{CZ} on output 1, check 91, \mathrm{CZ} on output 1, check 93, \mathrm{CZ} on output 1, check 95, \mathrm{CZ} on output 3, output 5, \mathrm{CZ} on output 3, output 12, \mathrm{CZ} on output 3, output 13, \mathrm{CZ} on output 3, output 15, \mathrm{CZ} on output 3, output 19, \mathrm{CZ} on output 3, output 20, \mathrm{CZ} on output 3, output 22, \mathrm{CZ} on output 3, output 23, \mathrm{CZ} on output 3, output 24, \mathrm{CZ} on output 3, output 25, \mathrm{CZ} on output 3, output 30, \mathrm{CZ} on output 3, output 31, \mathrm{CZ} on output 3, output 32, \mathrm{CZ} on output 3, output 34, \mathrm{CZ} on output 3, output 37, \mathrm{CZ} on output 3, output 38, \mathrm{CZ} on output 3, output 39, \mathrm{CZ} on output 3, output 41, \mathrm{CZ} on output 3, output 49, \mathrm{CZ} on output 3, output 52, \mathrm{CZ} on output 3, output 53, \mathrm{CZ} on output 3, output 58, \mathrm{CZ} on output 3, output 64, \mathrm{CZ} on output 3, output 65, \mathrm{CZ} on output 3, output 66, \mathrm{CZ} on output 3, output 67, \mathrm{CZ} on output 3, output 69, \mathrm{CZ} on output 3, output 70, \mathrm{CZ} on output 3, output 71, \mathrm{CZ} on output 3, output 72, \mathrm{CZ} on output 3, output 75, \mathrm{CZ} on output 3, output 76, \mathrm{CZ} on output 3, output 77, \mathrm{CZ} on output 3, output 78, \mathrm{CZ} on output 3, output 80, \mathrm{CZ} on output 3, check 82, \mathrm{CZ} on output 3, check 83, \mathrm{CZ} on output 3, check 84, \mathrm{CZ} on output 3, check 87, \mathrm{CZ} on output 3, check 91, \mathrm{CZ} on output 3, check 95, \mathrm{CZ} on output 4, output 5, \mathrm{CZ} on output 4, output 12, \mathrm{CZ} on output 4, output 13, \mathrm{CZ} on output 4, output 15, \mathrm{CZ} on output 4, output 19, \mathrm{CZ} on output 4, output 20, \mathrm{CZ} on output 4, output 22, \mathrm{CZ} on output 4, output 23, \mathrm{CZ} on output 4, output 24, \mathrm{CZ} on output 4, output 25, \mathrm{CZ} on output 4, output 30, \mathrm{CZ} on output 4, output 31, \mathrm{CZ} on output 4, output 32, \mathrm{CZ} on output 4, output 34, \mathrm{CZ} on output 4, output 37, \mathrm{CZ} on output 4, output 38, \mathrm{CZ} on output 4, output 39, \mathrm{CZ} on output 4, output 41, \mathrm{CZ} on output 4, output 49, \mathrm{CZ} on output 4, output 52, \mathrm{CZ} on output 4, output 53, \mathrm{CZ} on output 4, output 58, \mathrm{CZ} on output 4, output 64, \mathrm{CZ} on output 4, output 65, \mathrm{CZ} on output 4, output 66, \mathrm{CZ} on output 4, output 67, \mathrm{CZ} on output 4, output 69, \mathrm{CZ} on output 4, output 70, \mathrm{CZ} on output 4, output 71, \mathrm{CZ} on output 4, output 72, \mathrm{CZ} on output 4, output 75, \mathrm{CZ} on output 4, output 76, \mathrm{CZ} on output 4, output 77, \mathrm{CZ} on output 4, output 78, \mathrm{CZ} on output 4, output 80, \mathrm{CZ} on output 4, check 82, \mathrm{CZ} on output 4, check 83, \mathrm{CZ} on output 4, check 84, \mathrm{CZ} on output 4, check 87, \mathrm{CZ} on output 4, check 91, \mathrm{CZ} on output 4, check 95, \mathrm{CZ} on output 5, output 7, \mathrm{CZ} on output 5, output 9, \mathrm{CZ} on output 5, output 11, \mathrm{CZ} on output 5, output 12, \mathrm{CZ} on output 5, output 13, \mathrm{CZ} on output 5, output 16, \mathrm{CZ} on output 5, output 17, \mathrm{CZ} on output 5, output 18, \mathrm{CZ} on output 5, output 21, \mathrm{CZ} on output 5, output 22, \mathrm{CZ} on output 5, output 24, \mathrm{CZ} on output 5, output 26, \mathrm{CZ} on output 5, output 29, \mathrm{CZ} on output 5, output 30, \mathrm{CZ} on output 5, output 31, \mathrm{CZ} on output 5, output 32, \mathrm{CZ} on output 5, output 33, \mathrm{CZ} on output 5, output 34, \mathrm{CZ} on output 5, output 35, \mathrm{CZ} on output 5, output 36, \mathrm{CZ} on output 5, output 38, \mathrm{CZ} on output 5, output 43, \mathrm{CZ} on output 5, output 46, \mathrm{CZ} on output 5, output 48, \mathrm{CZ} on output 5, output 49, \mathrm{CZ} on output 5, output 50, \mathrm{CZ} on output 5, output 53, \mathrm{CZ} on output 5, output 55, \mathrm{CZ} on output 5, output 56, \mathrm{CZ} on output 5, output 58, \mathrm{CZ} on output 5, output 60, \mathrm{CZ} on output 5, output 62, \mathrm{CZ} on output 5, output 63, \mathrm{CZ} on output 5, output 68, \mathrm{CZ} on output 5, output 71, \mathrm{CZ} on output 5, output 73, \mathrm{CZ} on output 5, output 74, \mathrm{CZ} on output 5, output 76, \mathrm{CZ} on output 5, output 77, \mathrm{CZ} on output 5, output 78, \mathrm{CZ} on output 5, output 80, \mathrm{CZ} on output 5, check 81, \mathrm{CZ} on output 5, check 82, \mathrm{CZ} on output 5, check 83, \mathrm{CZ} on output 5, check 84, \mathrm{CZ} on output 5, check 85, \mathrm{CZ} on output 5, check 86, \mathrm{CZ} on output 5, check 87, \mathrm{CZ} on output 5, check 89, \mathrm{CZ} on output 5, check 90, \mathrm{CZ} on output 5, check 91, \mathrm{CZ} on output 5, check 93, \mathrm{CZ} on output 5, check 95, \mathrm{CZ} on output 7, output 12, \mathrm{CZ} on output 7, output 13, \mathrm{CZ} on output 7, output 15, \mathrm{CZ} on output 7, output 19, \mathrm{CZ} on output 7, output 20, \mathrm{CZ} on output 7, output 22, \mathrm{CZ} on output 7, output 23, \mathrm{CZ} on output 7, output 24, \mathrm{CZ} on output 7, output 25, \mathrm{CZ} on output 7, output 30, \mathrm{CZ} on output 7, output 31, \mathrm{CZ} on output 7, output 32, \mathrm{CZ} on output 7, output 34, \mathrm{CZ} on output 7, output 37, \mathrm{CZ} on output 7, output 38, \mathrm{CZ} on output 7, output 39, \mathrm{CZ} on output 7, output 41, \mathrm{CZ} on output 7, output 49, \mathrm{CZ} on output 7, output 52, \mathrm{CZ} on output 7, output 53, \mathrm{CZ} on output 7, output 58, \mathrm{CZ} on output 7, output 64, \mathrm{CZ} on output 7, output 65, \mathrm{CZ} on output 7, output 66, \mathrm{CZ} on output 7, output 67, \mathrm{CZ} on output 7, output 69, \mathrm{CZ} on output 7, output 70, \mathrm{CZ} on output 7, output 71, \mathrm{CZ} on output 7, output 72, \mathrm{CZ} on output 7, output 75, \mathrm{CZ} on output 7, output 76, \mathrm{CZ} on output 7, output 77, \mathrm{CZ} on output 7, output 78, \mathrm{CZ} on output 7, output 80, \mathrm{CZ} on output 7, check 82, \mathrm{CZ} on output 7, check 83, \mathrm{CZ} on output 7, check 84, \mathrm{CZ} on output 7, check 87, \mathrm{CZ} on output 7, check 91, \mathrm{CZ} on output 7, check 95, \mathrm{CZ} on output 9, output 12, \mathrm{CZ} on output 9, output 13, \mathrm{CZ} on output 9, output 15, \mathrm{CZ} on output 9, output 19, \mathrm{CZ} on output 9, output 20, \mathrm{CZ} on output 9, output 22, \mathrm{CZ} on output 9, output 23, \mathrm{CZ} on output 9, output 24, \mathrm{CZ} on output 9, output 25, \mathrm{CZ} on output 9, output 30, \mathrm{CZ} on output 9, output 31, \mathrm{CZ} on output 9, output 32, \mathrm{CZ} on output 9, output 34, \mathrm{CZ} on output 9, output 37, \mathrm{CZ} on output 9, output 38, \mathrm{CZ} on output 9, output 39, \mathrm{CZ} on output 9, output 41, \mathrm{CZ} on output 9, output 49, \mathrm{CZ} on output 9, output 52, \mathrm{CZ} on output 9, output 53, \mathrm{CZ} on output 9, output 58, \mathrm{CZ} on output 9, output 64, \mathrm{CZ} on output 9, output 65, \mathrm{CZ} on output 9, output 66, \mathrm{CZ} on output 9, output 67, \mathrm{CZ} on output 9, output 69, \mathrm{CZ} on output 9, output 70, \mathrm{CZ} on output 9, output 71, \mathrm{CZ} on output 9, output 72, \mathrm{CZ} on output 9, output 75, \mathrm{CZ} on output 9, output 76, \mathrm{CZ} on output 9, output 77, \mathrm{CZ} on output 9, output 78, \mathrm{CZ} on output 9, output 80, \mathrm{CZ} on output 9, check 82, \mathrm{CZ} on output 9, check 83, \mathrm{CZ} on output 9, check 84, \mathrm{CZ} on output 9, check 87, \mathrm{CZ} on output 9, check 91, \mathrm{CZ} on output 9, check 95, \mathrm{CZ} on output 11, output 12, \mathrm{CZ} on output 11, output 13, \mathrm{CZ} on output 11, output 15, \mathrm{CZ} on output 11, output 19, \mathrm{CZ} on output 11, output 20, \mathrm{CZ} on output 11, output 22, \mathrm{CZ} on output 11, output 23, \mathrm{CZ} on output 11, output 24, \mathrm{CZ} on output 11, output 25, \mathrm{CZ} on output 11, output 30, \mathrm{CZ} on output 11, output 31, \mathrm{CZ} on output 11, output 32, \mathrm{CZ} on output 11, output 34, \mathrm{CZ} on output 11, output 37, \mathrm{CZ} on output 11, output 38, \mathrm{CZ} on output 11, output 39, \mathrm{CZ} on output 11, output 41, \mathrm{CZ} on output 11, output 49, \mathrm{CZ} on output 11, output 52, \mathrm{CZ} on output 11, output 53, \mathrm{CZ} on output 11, output 58, \mathrm{CZ} on output 11, output 64, \mathrm{CZ} on output 11, output 65, \mathrm{CZ} on output 11, output 66, \mathrm{CZ} on output 11, output 67, \mathrm{CZ} on output 11, output 69, \mathrm{CZ} on output 11, output 70, \mathrm{CZ} on output 11, output 71, \mathrm{CZ} on output 11, output 72, \mathrm{CZ} on output 11, output 75, \mathrm{CZ} on output 11, output 76, \mathrm{CZ} on output 11, output 77, \mathrm{CZ} on output 11, output 78, \mathrm{CZ} on output 11, output 80, \mathrm{CZ} on output 11, check 82, \mathrm{CZ} on output 11, check 83, \mathrm{CZ} on output 11, check 84, \mathrm{CZ} on output 11, check 87, \mathrm{CZ} on output 11, check 91, \mathrm{CZ} on output 11, check 95, \mathrm{CZ} on output 12, output 13, \mathrm{CZ} on output 12, output 16, \mathrm{CZ} on output 12, output 17, \mathrm{CZ} on output 12, output 18, \mathrm{CZ} on output 12, output 21, \mathrm{CZ} on output 12, output 22, \mathrm{CZ} on output 12, output 24, \mathrm{CZ} on output 12, output 26, \mathrm{CZ} on output 12, output 29, \mathrm{CZ} on output 12, output 30, \mathrm{CZ} on output 12, output 31, \mathrm{CZ} on output 12, output 32, \mathrm{CZ} on output 12, output 33, \mathrm{CZ} on output 12, output 34, \mathrm{CZ} on output 12, output 35, \mathrm{CZ} on output 12, output 36, \mathrm{CZ} on output 12, output 38, \mathrm{CZ} on output 12, output 43, \mathrm{CZ} on output 12, output 46, \mathrm{CZ} on output 12, output 48, \mathrm{CZ} on output 12, output 49, \mathrm{CZ} on output 12, output 50, \mathrm{CZ} on output 12, output 53, \mathrm{CZ} on output 12, output 55, \mathrm{CZ} on output 12, output 56, \mathrm{CZ} on output 12, output 58, \mathrm{CZ} on output 12, output 60, \mathrm{CZ} on output 12, output 62, \mathrm{CZ} on output 12, output 63, \mathrm{CZ} on output 12, output 68, \mathrm{CZ} on output 12, output 71, \mathrm{CZ} on output 12, output 73, \mathrm{CZ} on output 12, output 74, \mathrm{CZ} on output 12, output 76, \mathrm{CZ} on output 12, output 77, \mathrm{CZ} on output 12, output 78, \mathrm{CZ} on output 12, output 80, \mathrm{CZ} on output 12, check 81, \mathrm{CZ} on output 12, check 82, \mathrm{CZ} on output 12, check 83, \mathrm{CZ} on output 12, check 84, \mathrm{CZ} on output 12, check 85, \mathrm{CZ} on output 12, check 86, \mathrm{CZ} on output 12, check 87, \mathrm{CZ} on output 12, check 89, \mathrm{CZ} on output 12, check 90, \mathrm{CZ} on output 12, check 91, \mathrm{CZ} on output 12, check 93, \mathrm{CZ} on output 12, check 95, \mathrm{CZ} on output 13, output 16, \mathrm{CZ} on output 13, output 17, \mathrm{CZ} on output 13, output 18, \mathrm{CZ} on output 13, output 21, \mathrm{CZ} on output 13, output 22, \mathrm{CZ} on output 13, output 24, \mathrm{CZ} on output 13, output 26, \mathrm{CZ} on output 13, output 29, \mathrm{CZ} on output 13, output 30, \mathrm{CZ} on output 13, output 31, \mathrm{CZ} on output 13, output 32, \mathrm{CZ} on output 13, output 33, \mathrm{CZ} on output 13, output 34, \mathrm{CZ} on output 13, output 35, \mathrm{CZ} on output 13, output 36, \mathrm{CZ} on output 13, output 38, \mathrm{CZ} on output 13, output 43, \mathrm{CZ} on output 13, output 46, \mathrm{CZ} on output 13, output 48, \mathrm{CZ} on output 13, output 49, \mathrm{CZ} on output 13, output 50, \mathrm{CZ} on output 13, output 53, \mathrm{CZ} on output 13, output 55, \mathrm{CZ} on output 13, output 56, \mathrm{CZ} on output 13, output 58, \mathrm{CZ} on output 13, output 60, \mathrm{CZ} on output 13, output 62, \mathrm{CZ} on output 13, output 63, \mathrm{CZ} on output 13, output 68, \mathrm{CZ} on output 13, output 71, \mathrm{CZ} on output 13, output 73, \mathrm{CZ} on output 13, output 74, \mathrm{CZ} on output 13, output 76, \mathrm{CZ} on output 13, output 77, \mathrm{CZ} on output 13, output 78, \mathrm{CZ} on output 13, output 80, \mathrm{CZ} on output 13, check 81, \mathrm{CZ} on output 13, check 82, \mathrm{CZ} on output 13, check 83, \mathrm{CZ} on output 13, check 84, \mathrm{CZ} on output 13, check 85, \mathrm{CZ} on output 13, check 86, \mathrm{CZ} on output 13, check 87, \mathrm{CZ} on output 13, check 89, \mathrm{CZ} on output 13, check 90, \mathrm{CZ} on output 13, check 91, \mathrm{CZ} on output 13, check 93, \mathrm{CZ} on output 13, check 95, \mathrm{CZ} on output 15, output 16, \mathrm{CZ} on output 15, output 17, \mathrm{CZ} on output 15, output 18, \mathrm{CZ} on output 15, output 19, \mathrm{CZ} on output 15, output 20, \mathrm{CZ} on output 15, output 21, \mathrm{CZ} on output 15, output 23, \mathrm{CZ} on output 15, output 25, \mathrm{CZ} on output 15, output 26, \mathrm{CZ} on output 15, output 29, \mathrm{CZ} on output 15, output 33, \mathrm{CZ} on output 15, output 35, \mathrm{CZ} on output 15, output 36, \mathrm{CZ} on output 15, output 37, \mathrm{CZ} on output 15, output 39, \mathrm{CZ} on output 15, output 41, \mathrm{CZ} on output 15, output 43, \mathrm{CZ} on output 15, output 46, \mathrm{CZ} on output 15, output 48, \mathrm{CZ} on output 15, output 50, \mathrm{CZ} on output 15, output 52, \mathrm{CZ} on output 15, output 55, \mathrm{CZ} on output 15, output 56, \mathrm{CZ} on output 15, output 60, \mathrm{CZ} on output 15, output 62, \mathrm{CZ} on output 15, output 63, \mathrm{CZ} on output 15, output 64, \mathrm{CZ} on output 15, output 65, \mathrm{CZ} on output 15, output 66, \mathrm{CZ} on output 15, output 67, \mathrm{CZ} on output 15, output 68, \mathrm{CZ} on output 15, output 69, \mathrm{CZ} on output 15, output 70, \mathrm{CZ} on output 15, output 72, \mathrm{CZ} on output 15, output 73, \mathrm{CZ} on output 15, output 74, \mathrm{CZ} on output 15, output 75, \mathrm{CZ} on output 15, check 81, \mathrm{CZ} on output 15, check 85, \mathrm{CZ} on output 15, check 86, \mathrm{CZ} on output 15, check 89, \mathrm{CZ} on output 15, check 90, \mathrm{CZ} on output 15, check 93, \mathrm{CZ} on output 16, output 19, \mathrm{CZ} on output 16, output 20, \mathrm{CZ} on output 16, output 22, \mathrm{CZ} on output 16, output 23, \mathrm{CZ} on output 16, output 24, \mathrm{CZ} on output 16, output 25, \mathrm{CZ} on output 16, output 30, \mathrm{CZ} on output 16, output 31, \mathrm{CZ} on output 16, output 32, \mathrm{CZ} on output 16, output 34, \mathrm{CZ} on output 16, output 37, \mathrm{CZ} on output 16, output 38, \mathrm{CZ} on output 16, output 39, \mathrm{CZ} on output 16, output 41, \mathrm{CZ} on output 16, output 49, \mathrm{CZ} on output 16, output 52, \mathrm{CZ} on output 16, output 53, \mathrm{CZ} on output 16, output 58, \mathrm{CZ} on output 16, output 64, \mathrm{CZ} on output 16, output 65, \mathrm{CZ} on output 16, output 66, \mathrm{CZ} on output 16, output 67, \mathrm{CZ} on output 16, output 69, \mathrm{CZ} on output 16, output 70, \mathrm{CZ} on output 16, output 71, \mathrm{CZ} on output 16, output 72, \mathrm{CZ} on output 16, output 75, \mathrm{CZ} on output 16, output 76, \mathrm{CZ} on output 16, output 77, \mathrm{CZ} on output 16, output 78, \mathrm{CZ} on output 16, output 80, \mathrm{CZ} on output 16, check 82, \mathrm{CZ} on output 16, check 83, \mathrm{CZ} on output 16, check 84, \mathrm{CZ} on output 16, check 87, \mathrm{CZ} on output 16, check 91, \mathrm{CZ} on output 16, check 95, \mathrm{CZ} on output 17, output 19, \mathrm{CZ} on output 17, output 20, \mathrm{CZ} on output 17, output 22, \mathrm{CZ} on output 17, output 23, \mathrm{CZ} on output 17, output 24, \mathrm{CZ} on output 17, output 25, \mathrm{CZ} on output 17, output 30, \mathrm{CZ} on output 17, output 31, \mathrm{CZ} on output 17, output 32, \mathrm{CZ} on output 17, output 34, \mathrm{CZ} on output 17, output 37, \mathrm{CZ} on output 17, output 38, \mathrm{CZ} on output 17, output 39, \mathrm{CZ} on output 17, output 41, \mathrm{CZ} on output 17, output 49, \mathrm{CZ} on output 17, output 52, \mathrm{CZ} on output 17, output 53, \mathrm{CZ} on output 17, output 58, \mathrm{CZ} on output 17, output 64, \mathrm{CZ} on output 17, output 65, \mathrm{CZ} on output 17, output 66, \mathrm{CZ} on output 17, output 67, \mathrm{CZ} on output 17, output 69, \mathrm{CZ} on output 17, output 70, \mathrm{CZ} on output 17, output 71, \mathrm{CZ} on output 17, output 72, \mathrm{CZ} on output 17, output 75, \mathrm{CZ} on output 17, output 76, \mathrm{CZ} on output 17, output 77, \mathrm{CZ} on output 17, output 78, \mathrm{CZ} on output 17, output 80, \mathrm{CZ} on output 17, check 82, \mathrm{CZ} on output 17, check 83, \mathrm{CZ} on output 17, check 84, \mathrm{CZ} on output 17, check 87, \mathrm{CZ} on output 17, check 91, \mathrm{CZ} on output 17, check 95, \mathrm{CZ} on output 18, output 19, \mathrm{CZ} on output 18, output 20, \mathrm{CZ} on output 18, output 22, \mathrm{CZ} on output 18, output 23, \mathrm{CZ} on output 18, output 24, \mathrm{CZ} on output 18, output 25, \mathrm{CZ} on output 18, output 30, \mathrm{CZ} on output 18, output 31, \mathrm{CZ} on output 18, output 32, \mathrm{CZ} on output 18, output 34, \mathrm{CZ} on output 18, output 37, \mathrm{CZ} on output 18, output 38, \mathrm{CZ} on output 18, output 39, \mathrm{CZ} on output 18, output 41, \mathrm{CZ} on output 18, output 49, \mathrm{CZ} on output 18, output 52, \mathrm{CZ} on output 18, output 53, \mathrm{CZ} on output 18, output 58, \mathrm{CZ} on output 18, output 64, \mathrm{CZ} on output 18, output 65, \mathrm{CZ} on output 18, output 66, \mathrm{CZ} on output 18, output 67, \mathrm{CZ} on output 18, output 69, \mathrm{CZ} on output 18, output 70, \mathrm{CZ} on output 18, output 71, \mathrm{CZ} on output 18, output 72, \mathrm{CZ} on output 18, output 75, \mathrm{CZ} on output 18, output 76, \mathrm{CZ} on output 18, output 77, \mathrm{CZ} on output 18, output 78, \mathrm{CZ} on output 18, output 80, \mathrm{CZ} on output 18, check 82, \mathrm{CZ} on output 18, check 83, \mathrm{CZ} on output 18, check 84, \mathrm{CZ} on output 18, check 87, \mathrm{CZ} on output 18, check 91, \mathrm{CZ} on output 18, check 95, \mathrm{CZ} on output 19, output 20, \mathrm{CZ} on output 19, output 21, \mathrm{CZ} on output 19, output 23, \mathrm{CZ} on output 19, output 25, \mathrm{CZ} on output 19, output 26, \mathrm{CZ} on output 19, output 29, \mathrm{CZ} on output 19, output 33, \mathrm{CZ} on output 19, output 35, \mathrm{CZ} on output 19, output 36, \mathrm{CZ} on output 19, output 37, \mathrm{CZ} on output 19, output 39, \mathrm{CZ} on output 19, output 41, \mathrm{CZ} on output 19, output 43, \mathrm{CZ} on output 19, output 46, \mathrm{CZ} on output 19, output 48, \mathrm{CZ} on output 19, output 50, \mathrm{CZ} on output 19, output 52, \mathrm{CZ} on output 19, output 55, \mathrm{CZ} on output 19, output 56, \mathrm{CZ} on output 19, output 60, \mathrm{CZ} on output 19, output 62, \mathrm{CZ} on output 19, output 63, \mathrm{CZ} on output 19, output 64, \mathrm{CZ} on output 19, output 65, \mathrm{CZ} on output 19, output 66, \mathrm{CZ} on output 19, output 67, \mathrm{CZ} on output 19, output 68, \mathrm{CZ} on output 19, output 69, \mathrm{CZ} on output 19, output 70, \mathrm{CZ} on output 19, output 72, \mathrm{CZ} on output 19, output 73, \mathrm{CZ} on output 19, output 74, \mathrm{CZ} on output 19, output 75, \mathrm{CZ} on output 19, check 81, \mathrm{CZ} on output 19, check 85, \mathrm{CZ} on output 19, check 86, \mathrm{CZ} on output 19, check 89, \mathrm{CZ} on output 19, check 90, \mathrm{CZ} on output 19, check 93, \mathrm{CZ} on output 20, output 21, \mathrm{CZ} on output 20, output 23, \mathrm{CZ} on output 20, output 25, \mathrm{CZ} on output 20, output 26, \mathrm{CZ} on output 20, output 29, \mathrm{CZ} on output 20, output 33, \mathrm{CZ} on output 20, output 35, \mathrm{CZ} on output 20, output 36, \mathrm{CZ} on output 20, output 37, \mathrm{CZ} on output 20, output 39, \mathrm{CZ} on output 20, output 41, \mathrm{CZ} on output 20, output 43, \mathrm{CZ} on output 20, output 46, \mathrm{CZ} on output 20, output 48, \mathrm{CZ} on output 20, output 50, \mathrm{CZ} on output 20, output 52, \mathrm{CZ} on output 20, output 55, \mathrm{CZ} on output 20, output 56, \mathrm{CZ} on output 20, output 60, \mathrm{CZ} on output 20, output 62, \mathrm{CZ} on output 20, output 63, \mathrm{CZ} on output 20, output 64, \mathrm{CZ} on output 20, output 65, \mathrm{CZ} on output 20, output 66, \mathrm{CZ} on output 20, output 67, \mathrm{CZ} on output 20, output 68, \mathrm{CZ} on output 20, output 69, \mathrm{CZ} on output 20, output 70, \mathrm{CZ} on output 20, output 72, \mathrm{CZ} on output 20, output 73, \mathrm{CZ} on output 20, output 74, \mathrm{CZ} on output 20, output 75, \mathrm{CZ} on output 20, check 81, \mathrm{CZ} on output 20, check 85, \mathrm{CZ} on output 20, check 86, \mathrm{CZ} on output 20, check 89, \mathrm{CZ} on output 20, check 90, \mathrm{CZ} on output 20, check 93, \mathrm{CZ} on output 21, output 22, \mathrm{CZ} on output 21, output 23, \mathrm{CZ} on output 21, output 24, \mathrm{CZ} on output 21, output 25, \mathrm{CZ} on output 21, output 30, \mathrm{CZ} on output 21, output 31, \mathrm{CZ} on output 21, output 32, \mathrm{CZ} on output 21, output 34, \mathrm{CZ} on output 21, output 37, \mathrm{CZ} on output 21, output 38, \mathrm{CZ} on output 21, output 39, \mathrm{CZ} on output 21, output 41, \mathrm{CZ} on output 21, output 49, \mathrm{CZ} on output 21, output 52, \mathrm{CZ} on output 21, output 53, \mathrm{CZ} on output 21, output 58, \mathrm{CZ} on output 21, output 64, \mathrm{CZ} on output 21, output 65, \mathrm{CZ} on output 21, output 66, \mathrm{CZ} on output 21, output 67, \mathrm{CZ} on output 21, output 69, \mathrm{CZ} on output 21, output 70, \mathrm{CZ} on output 21, output 71, \mathrm{CZ} on output 21, output 72, \mathrm{CZ} on output 21, output 75, \mathrm{CZ} on output 21, output 76, \mathrm{CZ} on output 21, output 77, \mathrm{CZ} on output 21, output 78, \mathrm{CZ} on output 21, output 80, \mathrm{CZ} on output 21, check 82, \mathrm{CZ} on output 21, check 83, \mathrm{CZ} on output 21, check 84, \mathrm{CZ} on output 21, check 87, \mathrm{CZ} on output 21, check 91, \mathrm{CZ} on output 21, check 95, \mathrm{CZ} on output 22, output 24, \mathrm{CZ} on output 22, output 26, \mathrm{CZ} on output 22, output 29, \mathrm{CZ} on output 22, output 30, \mathrm{CZ} on output 22, output 31, \mathrm{CZ} on output 22, output 32, \mathrm{CZ} on output 22, output 33, \mathrm{CZ} on output 22, output 34, \mathrm{CZ} on output 22, output 35, \mathrm{CZ} on output 22, output 36, \mathrm{CZ} on output 22, output 38, \mathrm{CZ} on output 22, output 43, \mathrm{CZ} on output 22, output 46, \mathrm{CZ} on output 22, output 48, \mathrm{CZ} on output 22, output 49, \mathrm{CZ} on output 22, output 50, \mathrm{CZ} on output 22, output 53, \mathrm{CZ} on output 22, output 55, \mathrm{CZ} on output 22, output 56, \mathrm{CZ} on output 22, output 58, \mathrm{CZ} on output 22, output 60, \mathrm{CZ} on output 22, output 62, \mathrm{CZ} on output 22, output 63, \mathrm{CZ} on output 22, output 68, \mathrm{CZ} on output 22, output 71, \mathrm{CZ} on output 22, output 73, \mathrm{CZ} on output 22, output 74, \mathrm{CZ} on output 22, output 76, \mathrm{CZ} on output 22, output 77, \mathrm{CZ} on output 22, output 78, \mathrm{CZ} on output 22, output 80, \mathrm{CZ} on output 22, check 81, \mathrm{CZ} on output 22, check 82, \mathrm{CZ} on output 22, check 83, \mathrm{CZ} on output 22, check 84, \mathrm{CZ} on output 22, check 85, \mathrm{CZ} on output 22, check 86, \mathrm{CZ} on output 22, check 87, \mathrm{CZ} on output 22, check 89, \mathrm{CZ} on output 22, check 90, \mathrm{CZ} on output 22, check 91, \mathrm{CZ} on output 22, check 93, \mathrm{CZ} on output 22, check 95, \mathrm{CZ} on output 23, output 25, \mathrm{CZ} on output 23, output 26, \mathrm{CZ} on output 23, output 29, \mathrm{CZ} on output 23, output 33, \mathrm{CZ} on output 23, output 35, \mathrm{CZ} on output 23, output 36, \mathrm{CZ} on output 23, output 37, \mathrm{CZ} on output 23, output 39, \mathrm{CZ} on output 23, output 41, \mathrm{CZ} on output 23, output 43, \mathrm{CZ} on output 23, output 46, \mathrm{CZ} on output 23, output 48, \mathrm{CZ} on output 23, output 50, \mathrm{CZ} on output 23, output 52, \mathrm{CZ} on output 23, output 55, \mathrm{CZ} on output 23, output 56, \mathrm{CZ} on output 23, output 60, \mathrm{CZ} on output 23, output 62, \mathrm{CZ} on output 23, output 63, \mathrm{CZ} on output 23, output 64, \mathrm{CZ} on output 23, output 65, \mathrm{CZ} on output 23, output 66, \mathrm{CZ} on output 23, output 67, \mathrm{CZ} on output 23, output 68, \mathrm{CZ} on output 23, output 69, \mathrm{CZ} on output 23, output 70, \mathrm{CZ} on output 23, output 72, \mathrm{CZ} on output 23, output 73, \mathrm{CZ} on output 23, output 74, \mathrm{CZ} on output 23, output 75, \mathrm{CZ} on output 23, check 81, \mathrm{CZ} on output 23, check 85, \mathrm{CZ} on output 23, check 86, \mathrm{CZ} on output 23, check 89, \mathrm{CZ} on output 23, check 90, \mathrm{CZ} on output 23, check 93, \mathrm{CZ} on output 24, output 26, \mathrm{CZ} on output 24, output 29, \mathrm{CZ} on output 24, output 30, \mathrm{CZ} on output 24, output 31, \mathrm{CZ} on output 24, output 32, \mathrm{CZ} on output 24, output 33, \mathrm{CZ} on output 24, output 34, \mathrm{CZ} on output 24, output 35, \mathrm{CZ} on output 24, output 36, \mathrm{CZ} on output 24, output 38, \mathrm{CZ} on output 24, output 43, \mathrm{CZ} on output 24, output 46, \mathrm{CZ} on output 24, output 48, \mathrm{CZ} on output 24, output 49, \mathrm{CZ} on output 24, output 50, \mathrm{CZ} on output 24, output 53, \mathrm{CZ} on output 24, output 55, \mathrm{CZ} on output 24, output 56, \mathrm{CZ} on output 24, output 58, \mathrm{CZ} on output 24, output 60, \mathrm{CZ} on output 24, output 62, \mathrm{CZ} on output 24, output 63, \mathrm{CZ} on output 24, output 68, \mathrm{CZ} on output 24, output 71, \mathrm{CZ} on output 24, output 73, \mathrm{CZ} on output 24, output 74, \mathrm{CZ} on output 24, output 76, \mathrm{CZ} on output 24, output 77, \mathrm{CZ} on output 24, output 78, \mathrm{CZ} on output 24, output 80, \mathrm{CZ} on output 24, check 81, \mathrm{CZ} on output 24, check 82, \mathrm{CZ} on output 24, check 83, \mathrm{CZ} on output 24, check 84, \mathrm{CZ} on output 24, check 85, \mathrm{CZ} on output 24, check 86, \mathrm{CZ} on output 24, check 87, \mathrm{CZ} on output 24, check 89, \mathrm{CZ} on output 24, check 90, \mathrm{CZ} on output 24, check 91, \mathrm{CZ} on output 24, check 93, \mathrm{CZ} on output 24, check 95, \mathrm{CZ} on output 25, output 26, \mathrm{CZ} on output 25, output 29, \mathrm{CZ} on output 25, output 33, \mathrm{CZ} on output 25, output 35, \mathrm{CZ} on output 25, output 36, \mathrm{CZ} on output 25, output 37, \mathrm{CZ} on output 25, output 39, \mathrm{CZ} on output 25, output 41, \mathrm{CZ} on output 25, output 43, \mathrm{CZ} on output 25, output 46, \mathrm{CZ} on output 25, output 48, \mathrm{CZ} on output 25, output 50, \mathrm{CZ} on output 25, output 52, \mathrm{CZ} on output 25, output 55, \mathrm{CZ} on output 25, output 56, \mathrm{CZ} on output 25, output 60, \mathrm{CZ} on output 25, output 62, \mathrm{CZ} on output 25, output 63, \mathrm{CZ} on output 25, output 64, \mathrm{CZ} on output 25, output 65, \mathrm{CZ} on output 25, output 66, \mathrm{CZ} on output 25, output 67, \mathrm{CZ} on output 25, output 68, \mathrm{CZ} on output 25, output 69, \mathrm{CZ} on output 25, output 70, \mathrm{CZ} on output 25, output 72, \mathrm{CZ} on output 25, output 73, \mathrm{CZ} on output 25, output 74, \mathrm{CZ} on output 25, output 75, \mathrm{CZ} on output 25, check 81, \mathrm{CZ} on output 25, check 85, \mathrm{CZ} on output 25, check 86, \mathrm{CZ} on output 25, check 89, \mathrm{CZ} on output 25, check 90, \mathrm{CZ} on output 25, check 93, \mathrm{CZ} on output 26, output 30, \mathrm{CZ} on output 26, output 31, \mathrm{CZ} on output 26, output 32, \mathrm{CZ} on output 26, output 34, \mathrm{CZ} on output 26, output 37, \mathrm{CZ} on output 26, output 38, \mathrm{CZ} on output 26, output 39, \mathrm{CZ} on output 26, output 41, \mathrm{CZ} on output 26, output 49, \mathrm{CZ} on output 26, output 52, \mathrm{CZ} on output 26, output 53, \mathrm{CZ} on output 26, output 58, \mathrm{CZ} on output 26, output 64, \mathrm{CZ} on output 26, output 65, \mathrm{CZ} on output 26, output 66, \mathrm{CZ} on output 26, output 67, \mathrm{CZ} on output 26, output 69, \mathrm{CZ} on output 26, output 70, \mathrm{CZ} on output 26, output 71, \mathrm{CZ} on output 26, output 72, \mathrm{CZ} on output 26, output 75, \mathrm{CZ} on output 26, output 76, \mathrm{CZ} on output 26, output 77, \mathrm{CZ} on output 26, output 78, \mathrm{CZ} on output 26, output 80, \mathrm{CZ} on output 26, check 82, \mathrm{CZ} on output 26, check 83, \mathrm{CZ} on output 26, check 84, \mathrm{CZ} on output 26, check 87, \mathrm{CZ} on output 26, check 91, \mathrm{CZ} on output 26, check 95, \mathrm{CZ} on output 29, output 30, \mathrm{CZ} on output 29, output 31, \mathrm{CZ} on output 29, output 32, \mathrm{CZ} on output 29, output 34, \mathrm{CZ} on output 29, output 37, \mathrm{CZ} on output 29, output 38, \mathrm{CZ} on output 29, output 39, \mathrm{CZ} on output 29, output 41, \mathrm{CZ} on output 29, output 49, \mathrm{CZ} on output 29, output 52, \mathrm{CZ} on output 29, output 53, \mathrm{CZ} on output 29, output 58, \mathrm{CZ} on output 29, output 64, \mathrm{CZ} on output 29, output 65, \mathrm{CZ} on output 29, output 66, \mathrm{CZ} on output 29, output 67, \mathrm{CZ} on output 29, output 69, \mathrm{CZ} on output 29, output 70, \mathrm{CZ} on output 29, output 71, \mathrm{CZ} on output 29, output 72, \mathrm{CZ} on output 29, output 75, \mathrm{CZ} on output 29, output 76, \mathrm{CZ} on output 29, output 77, \mathrm{CZ} on output 29, output 78, \mathrm{CZ} on output 29, output 80, \mathrm{CZ} on output 29, check 82, \mathrm{CZ} on output 29, check 83, \mathrm{CZ} on output 29, check 84, \mathrm{CZ} on output 29, check 87, \mathrm{CZ} on output 29, check 91, \mathrm{CZ} on output 29, check 95, \mathrm{CZ} on output 30, output 31, \mathrm{CZ} on output 30, output 32, \mathrm{CZ} on output 30, output 33, \mathrm{CZ} on output 30, output 34, \mathrm{CZ} on output 30, output 35, \mathrm{CZ} on output 30, output 36, \mathrm{CZ} on output 30, output 38, \mathrm{CZ} on output 30, output 43, \mathrm{CZ} on output 30, output 46, \mathrm{CZ} on output 30, output 48, \mathrm{CZ} on output 30, output 49, \mathrm{CZ} on output 30, output 50, \mathrm{CZ} on output 30, output 53, \mathrm{CZ} on output 30, output 55, \mathrm{CZ} on output 30, output 56, \mathrm{CZ} on output 30, output 58, \mathrm{CZ} on output 30, output 60, \mathrm{CZ} on output 30, output 62, \mathrm{CZ} on output 30, output 63, \mathrm{CZ} on output 30, output 68, \mathrm{CZ} on output 30, output 71, \mathrm{CZ} on output 30, output 73, \mathrm{CZ} on output 30, output 74, \mathrm{CZ} on output 30, output 76, \mathrm{CZ} on output 30, output 77, \mathrm{CZ} on output 30, output 78, \mathrm{CZ} on output 30, output 80, \mathrm{CZ} on output 30, check 81, \mathrm{CZ} on output 30, check 82, \mathrm{CZ} on output 30, check 83, \mathrm{CZ} on output 30, check 84, \mathrm{CZ} on output 30, check 85, \mathrm{CZ} on output 30, check 86, \mathrm{CZ} on output 30, check 87, \mathrm{CZ} on output 30, check 89, \mathrm{CZ} on output 30, check 90, \mathrm{CZ} on output 30, check 91, \mathrm{CZ} on output 30, check 93, \mathrm{CZ} on output 30, check 95, \mathrm{CZ} on output 31, output 32, \mathrm{CZ} on output 31, output 33, \mathrm{CZ} on output 31, output 34, \mathrm{CZ} on output 31, output 35, \mathrm{CZ} on output 31, output 36, \mathrm{CZ} on output 31, output 38, \mathrm{CZ} on output 31, output 43, \mathrm{CZ} on output 31, output 46, \mathrm{CZ} on output 31, output 48, \mathrm{CZ} on output 31, output 49, \mathrm{CZ} on output 31, output 50, \mathrm{CZ} on output 31, output 53, \mathrm{CZ} on output 31, output 55, \mathrm{CZ} on output 31, output 56, \mathrm{CZ} on output 31, output 58, \mathrm{CZ} on output 31, output 60, \mathrm{CZ} on output 31, output 62, \mathrm{CZ} on output 31, output 63, \mathrm{CZ} on output 31, output 68, \mathrm{CZ} on output 31, output 71, \mathrm{CZ} on output 31, output 73, \mathrm{CZ} on output 31, output 74, \mathrm{CZ} on output 31, output 76, \mathrm{CZ} on output 31, output 77, \mathrm{CZ} on output 31, output 78, \mathrm{CZ} on output 31, output 80, \mathrm{CZ} on output 31, check 81, \mathrm{CZ} on output 31, check 82, \mathrm{CZ} on output 31, check 83, \mathrm{CZ} on output 31, check 84, \mathrm{CZ} on output 31, check 85, \mathrm{CZ} on output 31, check 86, \mathrm{CZ} on output 31, check 87, \mathrm{CZ} on output 31, check 89, \mathrm{CZ} on output 31, check 90, \mathrm{CZ} on output 31, check 91, \mathrm{CZ} on output 31, check 93, \mathrm{CZ} on output 31, check 95, \mathrm{CZ} on output 32, output 33, \mathrm{CZ} on output 32, output 34, \mathrm{CZ} on output 32, output 35, \mathrm{CZ} on output 32, output 36, \mathrm{CZ} on output 32, output 38, \mathrm{CZ} on output 32, output 43, \mathrm{CZ} on output 32, output 46, \mathrm{CZ} on output 32, output 48, \mathrm{CZ} on output 32, output 49, \mathrm{CZ} on output 32, output 50, \mathrm{CZ} on output 32, output 53, \mathrm{CZ} on output 32, output 55, \mathrm{CZ} on output 32, output 56, \mathrm{CZ} on output 32, output 58, \mathrm{CZ} on output 32, output 60, \mathrm{CZ} on output 32, output 62, \mathrm{CZ} on output 32, output 63, \mathrm{CZ} on output 32, output 68, \mathrm{CZ} on output 32, output 71, \mathrm{CZ} on output 32, output 73, \mathrm{CZ} on output 32, output 74, \mathrm{CZ} on output 32, output 76, \mathrm{CZ} on output 32, output 77, \mathrm{CZ} on output 32, output 78, \mathrm{CZ} on output 32, output 80, \mathrm{CZ} on output 32, check 81, \mathrm{CZ} on output 32, check 82, \mathrm{CZ} on output 32, check 83, \mathrm{CZ} on output 32, check 84, \mathrm{CZ} on output 32, check 85, \mathrm{CZ} on output 32, check 86, \mathrm{CZ} on output 32, check 87, \mathrm{CZ} on output 32, check 89, \mathrm{CZ} on output 32, check 90, \mathrm{CZ} on output 32, check 91, \mathrm{CZ} on output 32, check 93, \mathrm{CZ} on output 32, check 95, \mathrm{CZ} on output 33, output 34, \mathrm{CZ} on output 33, output 37, \mathrm{CZ} on output 33, output 38, \mathrm{CZ} on output 33, output 39, \mathrm{CZ} on output 33, output 41, \mathrm{CZ} on output 33, output 49, \mathrm{CZ} on output 33, output 52, \mathrm{CZ} on output 33, output 53, \mathrm{CZ} on output 33, output 58, \mathrm{CZ} on output 33, output 64, \mathrm{CZ} on output 33, output 65, \mathrm{CZ} on output 33, output 66, \mathrm{CZ} on output 33, output 67, \mathrm{CZ} on output 33, output 69, \mathrm{CZ} on output 33, output 70, \mathrm{CZ} on output 33, output 71, \mathrm{CZ} on output 33, output 72, \mathrm{CZ} on output 33, output 75, \mathrm{CZ} on output 33, output 76, \mathrm{CZ} on output 33, output 77, \mathrm{CZ} on output 33, output 78, \mathrm{CZ} on output 33, output 80, \mathrm{CZ} on output 33, check 82, \mathrm{CZ} on output 33, check 83, \mathrm{CZ} on output 33, check 84, \mathrm{CZ} on output 33, check 87, \mathrm{CZ} on output 33, check 91, \mathrm{CZ} on output 33, check 95, \mathrm{CZ} on output 34, output 35, \mathrm{CZ} on output 34, output 36, \mathrm{CZ} on output 34, output 38, \mathrm{CZ} on output 34, output 43, \mathrm{CZ} on output 34, output 46, \mathrm{CZ} on output 34, output 48, \mathrm{CZ} on output 34, output 49, \mathrm{CZ} on output 34, output 50, \mathrm{CZ} on output 34, output 53, \mathrm{CZ} on output 34, output 55, \mathrm{CZ} on output 34, output 56, \mathrm{CZ} on output 34, output 58, \mathrm{CZ} on output 34, output 60, \mathrm{CZ} on output 34, output 62, \mathrm{CZ} on output 34, output 63, \mathrm{CZ} on output 34, output 68, \mathrm{CZ} on output 34, output 71, \mathrm{CZ} on output 34, output 73, \mathrm{CZ} on output 34, output 74, \mathrm{CZ} on output 34, output 76, \mathrm{CZ} on output 34, output 77, \mathrm{CZ} on output 34, output 78, \mathrm{CZ} on output 34, output 80, \mathrm{CZ} on output 34, check 81, \mathrm{CZ} on output 34, check 82, \mathrm{CZ} on output 34, check 83, \mathrm{CZ} on output 34, check 84, \mathrm{CZ} on output 34, check 85, \mathrm{CZ} on output 34, check 86, \mathrm{CZ} on output 34, check 87, \mathrm{CZ} on output 34, check 89, \mathrm{CZ} on output 34, check 90, \mathrm{CZ} on output 34, check 91, \mathrm{CZ} on output 34, check 93, \mathrm{CZ} on output 34, check 95, \mathrm{CZ} on output 35, output 37, \mathrm{CZ} on output 35, output 38, \mathrm{CZ} on output 35, output 39, \mathrm{CZ} on output 35, output 41, \mathrm{CZ} on output 35, output 49, \mathrm{CZ} on output 35, output 52, \mathrm{CZ} on output 35, output 53, \mathrm{CZ} on output 35, output 58, \mathrm{CZ} on output 35, output 64, \mathrm{CZ} on output 35, output 65, \mathrm{CZ} on output 35, output 66, \mathrm{CZ} on output 35, output 67, \mathrm{CZ} on output 35, output 69, \mathrm{CZ} on output 35, output 70, \mathrm{CZ} on output 35, output 71, \mathrm{CZ} on output 35, output 72, \mathrm{CZ} on output 35, output 75, \mathrm{CZ} on output 35, output 76, \mathrm{CZ} on output 35, output 77, \mathrm{CZ} on output 35, output 78, \mathrm{CZ} on output 35, output 80, \mathrm{CZ} on output 35, check 82, \mathrm{CZ} on output 35, check 83, \mathrm{CZ} on output 35, check 84, \mathrm{CZ} on output 35, check 87, \mathrm{CZ} on output 35, check 91, \mathrm{CZ} on output 35, check 95, \mathrm{CZ} on output 36, output 37, \mathrm{CZ} on output 36, output 38, \mathrm{CZ} on output 36, output 39, \mathrm{CZ} on output 36, output 41, \mathrm{CZ} on output 36, output 49, \mathrm{CZ} on output 36, output 52, \mathrm{CZ} on output 36, output 53, \mathrm{CZ} on output 36, output 58, \mathrm{CZ} on output 36, output 64, \mathrm{CZ} on output 36, output 65, \mathrm{CZ} on output 36, output 66, \mathrm{CZ} on output 36, output 67, \mathrm{CZ} on output 36, output 69, \mathrm{CZ} on output 36, output 70, \mathrm{CZ} on output 36, output 71, \mathrm{CZ} on output 36, output 72, \mathrm{CZ} on output 36, output 75, \mathrm{CZ} on output 36, output 76, \mathrm{CZ} on output 36, output 77, \mathrm{CZ} on output 36, output 78, \mathrm{CZ} on output 36, output 80, \mathrm{CZ} on output 36, check 82, \mathrm{CZ} on output 36, check 83, \mathrm{CZ} on output 36, check 84, \mathrm{CZ} on output 36, check 87, \mathrm{CZ} on output 36, check 91, \mathrm{CZ} on output 36, check 95, \mathrm{CZ} on output 37, output 39, \mathrm{CZ} on output 37, output 41, \mathrm{CZ} on output 37, output 43, \mathrm{CZ} on output 37, output 46, \mathrm{CZ} on output 37, output 48, \mathrm{CZ} on output 37, output 50, \mathrm{CZ} on output 37, output 52, \mathrm{CZ} on output 37, output 55, \mathrm{CZ} on output 37, output 56, \mathrm{CZ} on output 37, output 60, \mathrm{CZ} on output 37, output 62, \mathrm{CZ} on output 37, output 63, \mathrm{CZ} on output 37, output 64, \mathrm{CZ} on output 37, output 65, \mathrm{CZ} on output 37, output 66, \mathrm{CZ} on output 37, output 67, \mathrm{CZ} on output 37, output 68, \mathrm{CZ} on output 37, output 69, \mathrm{CZ} on output 37, output 70, \mathrm{CZ} on output 37, output 72, \mathrm{CZ} on output 37, output 73, \mathrm{CZ} on output 37, output 74, \mathrm{CZ} on output 37, output 75, \mathrm{CZ} on output 37, check 81, \mathrm{CZ} on output 37, check 85, \mathrm{CZ} on output 37, check 86, \mathrm{CZ} on output 37, check 89, \mathrm{CZ} on output 37, check 90, \mathrm{CZ} on output 37, check 93, \mathrm{CZ} on output 38, output 43, \mathrm{CZ} on output 38, output 46, \mathrm{CZ} on output 38, output 48, \mathrm{CZ} on output 38, output 49, \mathrm{CZ} on output 38, output 50, \mathrm{CZ} on output 38, output 53, \mathrm{CZ} on output 38, output 55, \mathrm{CZ} on output 38, output 56, \mathrm{CZ} on output 38, output 58, \mathrm{CZ} on output 38, output 60, \mathrm{CZ} on output 38, output 62, \mathrm{CZ} on output 38, output 63, \mathrm{CZ} on output 38, output 68, \mathrm{CZ} on output 38, output 71, \mathrm{CZ} on output 38, output 73, \mathrm{CZ} on output 38, output 74, \mathrm{CZ} on output 38, output 76, \mathrm{CZ} on output 38, output 77, \mathrm{CZ} on output 38, output 78, \mathrm{CZ} on output 38, output 80, \mathrm{CZ} on output 38, check 81, \mathrm{CZ} on output 38, check 82, \mathrm{CZ} on output 38, check 83, \mathrm{CZ} on output 38, check 84, \mathrm{CZ} on output 38, check 85, \mathrm{CZ} on output 38, check 86, \mathrm{CZ} on output 38, check 87, \mathrm{CZ} on output 38, check 89, \mathrm{CZ} on output 38, check 90, \mathrm{CZ} on output 38, check 91, \mathrm{CZ} on output 38, check 93, \mathrm{CZ} on output 38, check 95, \mathrm{CZ} on output 39, output 41, \mathrm{CZ} on output 39, output 43, \mathrm{CZ} on output 39, output 46, \mathrm{CZ} on output 39, output 48, \mathrm{CZ} on output 39, output 50, \mathrm{CZ} on output 39, output 52, \mathrm{CZ} on output 39, output 55, \mathrm{CZ} on output 39, output 56, \mathrm{CZ} on output 39, output 60, \mathrm{CZ} on output 39, output 62, \mathrm{CZ} on output 39, output 63, \mathrm{CZ} on output 39, output 64, \mathrm{CZ} on output 39, output 65, \mathrm{CZ} on output 39, output 66, \mathrm{CZ} on output 39, output 67, \mathrm{CZ} on output 39, output 68, \mathrm{CZ} on output 39, output 69, \mathrm{CZ} on output 39, output 70, \mathrm{CZ} on output 39, output 72, \mathrm{CZ} on output 39, output 73, \mathrm{CZ} on output 39, output 74, \mathrm{CZ} on output 39, output 75, \mathrm{CZ} on output 39, check 81, \mathrm{CZ} on output 39, check 85, \mathrm{CZ} on output 39, check 86, \mathrm{CZ} on output 39, check 89, \mathrm{CZ} on output 39, check 90, \mathrm{CZ} on output 39, check 93, \mathrm{CZ} on output 41, output 43, \mathrm{CZ} on output 41, output 46, \mathrm{CZ} on output 41, output 48, \mathrm{CZ} on output 41, output 50, \mathrm{CZ} on output 41, output 52, \mathrm{CZ} on output 41, output 55, \mathrm{CZ} on output 41, output 56, \mathrm{CZ} on output 41, output 60, \mathrm{CZ} on output 41, output 62, \mathrm{CZ} on output 41, output 63, \mathrm{CZ} on output 41, output 64, \mathrm{CZ} on output 41, output 65, \mathrm{CZ} on output 41, output 66, \mathrm{CZ} on output 41, output 67, \mathrm{CZ} on output 41, output 68, \mathrm{CZ} on output 41, output 69, \mathrm{CZ} on output 41, output 70, \mathrm{CZ} on output 41, output 72, \mathrm{CZ} on output 41, output 73, \mathrm{CZ} on output 41, output 74, \mathrm{CZ} on output 41, output 75, \mathrm{CZ} on output 41, check 81, \mathrm{CZ} on output 41, check 85, \mathrm{CZ} on output 41, check 86, \mathrm{CZ} on output 41, check 89, \mathrm{CZ} on output 41, check 90, \mathrm{CZ} on output 41, check 93, \mathrm{CZ} on output 43, output 49, \mathrm{CZ} on output 43, output 52, \mathrm{CZ} on output 43, output 53, \mathrm{CZ} on output 43, output 58, \mathrm{CZ} on output 43, output 64, \mathrm{CZ} on output 43, output 65, \mathrm{CZ} on output 43, output 66, \mathrm{CZ} on output 43, output 67, \mathrm{CZ} on output 43, output 69, \mathrm{CZ} on output 43, output 70, \mathrm{CZ} on output 43, output 71, \mathrm{CZ} on output 43, output 72, \mathrm{CZ} on output 43, output 75, \mathrm{CZ} on output 43, output 76, \mathrm{CZ} on output 43, output 77, \mathrm{CZ} on output 43, output 78, \mathrm{CZ} on output 43, output 80, \mathrm{CZ} on output 43, check 82, \mathrm{CZ} on output 43, check 83, \mathrm{CZ} on output 43, check 84, \mathrm{CZ} on output 43, check 87, \mathrm{CZ} on output 43, check 91, \mathrm{CZ} on output 43, check 95, \mathrm{CZ} on output 46, output 49, \mathrm{CZ} on output 46, output 52, \mathrm{CZ} on output 46, output 53, \mathrm{CZ} on output 46, output 58, \mathrm{CZ} on output 46, output 64, \mathrm{CZ} on output 46, output 65, \mathrm{CZ} on output 46, output 66, \mathrm{CZ} on output 46, output 67, \mathrm{CZ} on output 46, output 69, \mathrm{CZ} on output 46, output 70, \mathrm{CZ} on output 46, output 71, \mathrm{CZ} on output 46, output 72, \mathrm{CZ} on output 46, output 75, \mathrm{CZ} on output 46, output 76, \mathrm{CZ} on output 46, output 77, \mathrm{CZ} on output 46, output 78, \mathrm{CZ} on output 46, output 80, \mathrm{CZ} on output 46, check 82, \mathrm{CZ} on output 46, check 83, \mathrm{CZ} on output 46, check 84, \mathrm{CZ} on output 46, check 87, \mathrm{CZ} on output 46, check 91, \mathrm{CZ} on output 46, check 95, \mathrm{CZ} on output 48, output 49, \mathrm{CZ} on output 48, output 52, \mathrm{CZ} on output 48, output 53, \mathrm{CZ} on output 48, output 58, \mathrm{CZ} on output 48, output 64, \mathrm{CZ} on output 48, output 65, \mathrm{CZ} on output 48, output 66, \mathrm{CZ} on output 48, output 67, \mathrm{CZ} on output 48, output 69, \mathrm{CZ} on output 48, output 70, \mathrm{CZ} on output 48, output 71, \mathrm{CZ} on output 48, output 72, \mathrm{CZ} on output 48, output 75, \mathrm{CZ} on output 48, output 76, \mathrm{CZ} on output 48, output 77, \mathrm{CZ} on output 48, output 78, \mathrm{CZ} on output 48, output 80, \mathrm{CZ} on output 48, check 82, \mathrm{CZ} on output 48, check 83, \mathrm{CZ} on output 48, check 84, \mathrm{CZ} on output 48, check 87, \mathrm{CZ} on output 48, check 91, \mathrm{CZ} on output 48, check 95, \mathrm{CZ} on output 49, output 50, \mathrm{CZ} on output 49, output 53, \mathrm{CZ} on output 49, output 55, \mathrm{CZ} on output 49, output 56, \mathrm{CZ} on output 49, output 58, \mathrm{CZ} on output 49, output 60, \mathrm{CZ} on output 49, output 62, \mathrm{CZ} on output 49, output 63, \mathrm{CZ} on output 49, output 68, \mathrm{CZ} on output 49, output 71, \mathrm{CZ} on output 49, output 73, \mathrm{CZ} on output 49, output 74, \mathrm{CZ} on output 49, output 76, \mathrm{CZ} on output 49, output 77, \mathrm{CZ} on output 49, output 78, \mathrm{CZ} on output 49, output 80, \mathrm{CZ} on output 49, check 81, \mathrm{CZ} on output 49, check 82, \mathrm{CZ} on output 49, check 83, \mathrm{CZ} on output 49, check 84, \mathrm{CZ} on output 49, check 85, \mathrm{CZ} on output 49, check 86, \mathrm{CZ} on output 49, check 87, \mathrm{CZ} on output 49, check 89, \mathrm{CZ} on output 49, check 90, \mathrm{CZ} on output 49, check 91, \mathrm{CZ} on output 49, check 93, \mathrm{CZ} on output 49, check 95, \mathrm{CZ} on output 50, output 52, \mathrm{CZ} on output 50, output 53, \mathrm{CZ} on output 50, output 58, \mathrm{CZ} on output 50, output 64, \mathrm{CZ} on output 50, output 65, \mathrm{CZ} on output 50, output 66, \mathrm{CZ} on output 50, output 67, \mathrm{CZ} on output 50, output 69, \mathrm{CZ} on output 50, output 70, \mathrm{CZ} on output 50, output 71, \mathrm{CZ} on output 50, output 72, \mathrm{CZ} on output 50, output 75, \mathrm{CZ} on output 50, output 76, \mathrm{CZ} on output 50, output 77, \mathrm{CZ} on output 50, output 78, \mathrm{CZ} on output 50, output 80, \mathrm{CZ} on output 50, check 82, \mathrm{CZ} on output 50, check 83, \mathrm{CZ} on output 50, check 84, \mathrm{CZ} on output 50, check 87, \mathrm{CZ} on output 50, check 91, \mathrm{CZ} on output 50, check 95, \mathrm{CZ} on output 52, output 55, \mathrm{CZ} on output 52, output 56, \mathrm{CZ} on output 52, output 60, \mathrm{CZ} on output 52, output 62, \mathrm{CZ} on output 52, output 63, \mathrm{CZ} on output 52, output 64, \mathrm{CZ} on output 52, output 65, \mathrm{CZ} on output 52, output 66, \mathrm{CZ} on output 52, output 67, \mathrm{CZ} on output 52, output 68, \mathrm{CZ} on output 52, output 69, \mathrm{CZ} on output 52, output 70, \mathrm{CZ} on output 52, output 72, \mathrm{CZ} on output 52, output 73, \mathrm{CZ} on output 52, output 74, \mathrm{CZ} on output 52, output 75, \mathrm{CZ} on output 52, check 81, \mathrm{CZ} on output 52, check 85, \mathrm{CZ} on output 52, check 86, \mathrm{CZ} on output 52, check 89, \mathrm{CZ} on output 52, check 90, \mathrm{CZ} on output 52, check 93, \mathrm{CZ} on output 53, output 55, \mathrm{CZ} on output 53, output 56, \mathrm{CZ} on output 53, output 58, \mathrm{CZ} on output 53, output 60, \mathrm{CZ} on output 53, output 62, \mathrm{CZ} on output 53, output 63, \mathrm{CZ} on output 53, output 68, \mathrm{CZ} on output 53, output 71, \mathrm{CZ} on output 53, output 73, \mathrm{CZ} on output 53, output 74, \mathrm{CZ} on output 53, output 76, \mathrm{CZ} on output 53, output 77, \mathrm{CZ} on output 53, output 78, \mathrm{CZ} on output 53, output 80, \mathrm{CZ} on output 53, check 81, \mathrm{CZ} on output 53, check 82, \mathrm{CZ} on output 53, check 83, \mathrm{CZ} on output 53, check 84, \mathrm{CZ} on output 53, check 85, \mathrm{CZ} on output 53, check 86, \mathrm{CZ} on output 53, check 87, \mathrm{CZ} on output 53, check 89, \mathrm{CZ} on output 53, check 90, \mathrm{CZ} on output 53, check 91, \mathrm{CZ} on output 53, check 93, \mathrm{CZ} on output 53, check 95, \mathrm{CZ} on output 55, output 58, \mathrm{CZ} on output 55, output 64, \mathrm{CZ} on output 55, output 65, \mathrm{CZ} on output 55, output 66, \mathrm{CZ} on output 55, output 67, \mathrm{CZ} on output 55, output 69, \mathrm{CZ} on output 55, output 70, \mathrm{CZ} on output 55, output 71, \mathrm{CZ} on output 55, output 72, \mathrm{CZ} on output 55, output 75, \mathrm{CZ} on output 55, output 76, \mathrm{CZ} on output 55, output 77, \mathrm{CZ} on output 55, output 78, \mathrm{CZ} on output 55, output 80, \mathrm{CZ} on output 55, check 82, \mathrm{CZ} on output 55, check 83, \mathrm{CZ} on output 55, check 84, \mathrm{CZ} on output 55, check 87, \mathrm{CZ} on output 55, check 91, \mathrm{CZ} on output 55, check 95, \mathrm{CZ} on output 56, output 58, \mathrm{CZ} on output 56, output 64, \mathrm{CZ} on output 56, output 65, \mathrm{CZ} on output 56, output 66, \mathrm{CZ} on output 56, output 67, \mathrm{CZ} on output 56, output 69, \mathrm{CZ} on output 56, output 70, \mathrm{CZ} on output 56, output 71, \mathrm{CZ} on output 56, output 72, \mathrm{CZ} on output 56, output 75, \mathrm{CZ} on output 56, output 76, \mathrm{CZ} on output 56, output 77, \mathrm{CZ} on output 56, output 78, \mathrm{CZ} on output 56, output 80, \mathrm{CZ} on output 56, check 82, \mathrm{CZ} on output 56, check 83, \mathrm{CZ} on output 56, check 84, \mathrm{CZ} on output 56, check 87, \mathrm{CZ} on output 56, check 91, \mathrm{CZ} on output 56, check 95, \mathrm{CZ} on output 58, output 60, \mathrm{CZ} on output 58, output 62, \mathrm{CZ} on output 58, output 63, \mathrm{CZ} on output 58, output 68, \mathrm{CZ} on output 58, output 71, \mathrm{CZ} on output 58, output 73, \mathrm{CZ} on output 58, output 74, \mathrm{CZ} on output 58, output 76, \mathrm{CZ} on output 58, output 77, \mathrm{CZ} on output 58, output 78, \mathrm{CZ} on output 58, output 80, \mathrm{CZ} on output 58, check 81, \mathrm{CZ} on output 58, check 82, \mathrm{CZ} on output 58, check 83, \mathrm{CZ} on output 58, check 84, \mathrm{CZ} on output 58, check 85, \mathrm{CZ} on output 58, check 86, \mathrm{CZ} on output 58, check 87, \mathrm{CZ} on output 58, check 89, \mathrm{CZ} on output 58, check 90, \mathrm{CZ} on output 58, check 91, \mathrm{CZ} on output 58, check 93, \mathrm{CZ} on output 58, check 95, \mathrm{CZ} on output 60, output 64, \mathrm{CZ} on output 60, output 65, \mathrm{CZ} on output 60, output 66, \mathrm{CZ} on output 60, output 67, \mathrm{CZ} on output 60, output 69, \mathrm{CZ} on output 60, output 70, \mathrm{CZ} on output 60, output 71, \mathrm{CZ} on output 60, output 72, \mathrm{CZ} on output 60, output 75, \mathrm{CZ} on output 60, output 76, \mathrm{CZ} on output 60, output 77, \mathrm{CZ} on output 60, output 78, \mathrm{CZ} on output 60, output 80, \mathrm{CZ} on output 60, check 82, \mathrm{CZ} on output 60, check 83, \mathrm{CZ} on output 60, check 84, \mathrm{CZ} on output 60, check 87, \mathrm{CZ} on output 60, check 91, \mathrm{CZ} on output 60, check 95, \mathrm{CZ} on output 62, output 64, \mathrm{CZ} on output 62, output 65, \mathrm{CZ} on output 62, output 66, \mathrm{CZ} on output 62, output 67, \mathrm{CZ} on output 62, output 69, \mathrm{CZ} on output 62, output 70, \mathrm{CZ} on output 62, output 71, \mathrm{CZ} on output 62, output 72, \mathrm{CZ} on output 62, output 75, \mathrm{CZ} on output 62, output 76, \mathrm{CZ} on output 62, output 77, \mathrm{CZ} on output 62, output 78, \mathrm{CZ} on output 62, output 80, \mathrm{CZ} on output 62, check 82, \mathrm{CZ} on output 62, check 83, \mathrm{CZ} on output 62, check 84, \mathrm{CZ} on output 62, check 87, \mathrm{CZ} on output 62, check 91, \mathrm{CZ} on output 62, check 95, \mathrm{CZ} on output 63, output 64, \mathrm{CZ} on output 63, output 65, \mathrm{CZ} on output 63, output 66, \mathrm{CZ} on output 63, output 67, \mathrm{CZ} on output 63, output 69, \mathrm{CZ} on output 63, output 70, \mathrm{CZ} on output 63, output 71, \mathrm{CZ} on output 63, output 72, \mathrm{CZ} on output 63, output 75, \mathrm{CZ} on output 63, output 76, \mathrm{CZ} on output 63, output 77, \mathrm{CZ} on output 63, output 78, \mathrm{CZ} on output 63, output 80, \mathrm{CZ} on output 63, check 82, \mathrm{CZ} on output 63, check 83, \mathrm{CZ} on output 63, check 84, \mathrm{CZ} on output 63, check 87, \mathrm{CZ} on output 63, check 91, \mathrm{CZ} on output 63, check 95, \mathrm{CZ} on output 64, output 65, \mathrm{CZ} on output 64, output 66, \mathrm{CZ} on output 64, output 67, \mathrm{CZ} on output 64, output 68, \mathrm{CZ} on output 64, output 69, \mathrm{CZ} on output 64, output 70, \mathrm{CZ} on output 64, output 72, \mathrm{CZ} on output 64, output 73, \mathrm{CZ} on output 64, output 74, \mathrm{CZ} on output 64, output 75, \mathrm{CZ} on output 64, check 81, \mathrm{CZ} on output 64, check 85, \mathrm{CZ} on output 64, check 86, \mathrm{CZ} on output 64, check 89, \mathrm{CZ} on output 64, check 90, \mathrm{CZ} on output 64, check 93, \mathrm{CZ} on output 65, output 66, \mathrm{CZ} on output 65, output 67, \mathrm{CZ} on output 65, output 68, \mathrm{CZ} on output 65, output 69, \mathrm{CZ} on output 65, output 70, \mathrm{CZ} on output 65, output 72, \mathrm{CZ} on output 65, output 73, \mathrm{CZ} on output 65, output 74, \mathrm{CZ} on output 65, output 75, \mathrm{CZ} on output 65, check 81, \mathrm{CZ} on output 65, check 85, \mathrm{CZ} on output 65, check 86, \mathrm{CZ} on output 65, check 89, \mathrm{CZ} on output 65, check 90, \mathrm{CZ} on output 65, check 93, \mathrm{CZ} on output 66, output 67, \mathrm{CZ} on output 66, output 68, \mathrm{CZ} on output 66, output 69, \mathrm{CZ} on output 66, output 70, \mathrm{CZ} on output 66, output 72, \mathrm{CZ} on output 66, output 73, \mathrm{CZ} on output 66, output 74, \mathrm{CZ} on output 66, output 75, \mathrm{CZ} on output 66, check 81, \mathrm{CZ} on output 66, check 85, \mathrm{CZ} on output 66, check 86, \mathrm{CZ} on output 66, check 89, \mathrm{CZ} on output 66, check 90, \mathrm{CZ} on output 66, check 93, \mathrm{CZ} on output 67, output 68, \mathrm{CZ} on output 67, output 69, \mathrm{CZ} on output 67, output 70, \mathrm{CZ} on output 67, output 72, \mathrm{CZ} on output 67, output 73, \mathrm{CZ} on output 67, output 74, \mathrm{CZ} on output 67, output 75, \mathrm{CZ} on output 67, check 81, \mathrm{CZ} on output 67, check 85, \mathrm{CZ} on output 67, check 86, \mathrm{CZ} on output 67, check 89, \mathrm{CZ} on output 67, check 90, \mathrm{CZ} on output 67, check 93, \mathrm{CZ} on output 68, output 69, \mathrm{CZ} on output 68, output 70, \mathrm{CZ} on output 68, output 71, \mathrm{CZ} on output 68, output 72, \mathrm{CZ} on output 68, output 75, \mathrm{CZ} on output 68, output 76, \mathrm{CZ} on output 68, output 77, \mathrm{CZ} on output 68, output 78, \mathrm{CZ} on output 68, output 80, \mathrm{CZ} on output 68, check 82, \mathrm{CZ} on output 68, check 83, \mathrm{CZ} on output 68, check 84, \mathrm{CZ} on output 68, check 87, \mathrm{CZ} on output 68, check 91, \mathrm{CZ} on output 68, check 95, \mathrm{CZ} on output 69, output 70, \mathrm{CZ} on output 69, output 72, \mathrm{CZ} on output 69, output 73, \mathrm{CZ} on output 69, output 74, \mathrm{CZ} on output 69, output 75, \mathrm{CZ} on output 69, check 81, \mathrm{CZ} on output 69, check 85, \mathrm{CZ} on output 69, check 86, \mathrm{CZ} on output 69, check 89, \mathrm{CZ} on output 69, check 90, \mathrm{CZ} on output 69, check 93, \mathrm{CZ} on output 70, output 72, \mathrm{CZ} on output 70, output 73, \mathrm{CZ} on output 70, output 74, \mathrm{CZ} on output 70, output 75, \mathrm{CZ} on output 70, check 81, \mathrm{CZ} on output 70, check 85, \mathrm{CZ} on output 70, check 86, \mathrm{CZ} on output 70, check 89, \mathrm{CZ} on output 70, check 90, \mathrm{CZ} on output 70, check 93, \mathrm{CZ} on output 71, output 73, \mathrm{CZ} on output 71, output 74, \mathrm{CZ} on output 71, output 76, \mathrm{CZ} on output 71, output 77, \mathrm{CZ} on output 71, output 78, \mathrm{CZ} on output 71, output 80, \mathrm{CZ} on output 71, check 81, \mathrm{CZ} on output 71, check 82, \mathrm{CZ} on output 71, check 83, \mathrm{CZ} on output 71, check 84, \mathrm{CZ} on output 71, check 85, \mathrm{CZ} on output 71, check 86, \mathrm{CZ} on output 71, check 87, \mathrm{CZ} on output 71, check 89, \mathrm{CZ} on output 71, check 90, \mathrm{CZ} on output 71, check 91, \mathrm{CZ} on output 71, check 93, \mathrm{CZ} on output 71, check 95, \mathrm{CZ} on output 72, output 73, \mathrm{CZ} on output 72, output 74, \mathrm{CZ} on output 72, output 75, \mathrm{CZ} on output 72, check 81, \mathrm{CZ} on output 72, check 85, \mathrm{CZ} on output 72, check 86, \mathrm{CZ} on output 72, check 89, \mathrm{CZ} on output 72, check 90, \mathrm{CZ} on output 72, check 93, \mathrm{CZ} on output 73, output 75, \mathrm{CZ} on output 73, output 76, \mathrm{CZ} on output 73, output 77, \mathrm{CZ} on output 73, output 78, \mathrm{CZ} on output 73, output 80, \mathrm{CZ} on output 73, check 82, \mathrm{CZ} on output 73, check 83, \mathrm{CZ} on output 73, check 84, \mathrm{CZ} on output 73, check 87, \mathrm{CZ} on output 73, check 91, \mathrm{CZ} on output 73, check 95, \mathrm{CZ} on output 74, output 75, \mathrm{CZ} on output 74, output 76, \mathrm{CZ} on output 74, output 77, \mathrm{CZ} on output 74, output 78, \mathrm{CZ} on output 74, output 80, \mathrm{CZ} on output 74, check 82, \mathrm{CZ} on output 74, check 83, \mathrm{CZ} on output 74, check 84, \mathrm{CZ} on output 74, check 87, \mathrm{CZ} on output 74, check 91, \mathrm{CZ} on output 74, check 95, \mathrm{CZ} on output 75, check 81, \mathrm{CZ} on output 75, check 85, \mathrm{CZ} on output 75, check 86, \mathrm{CZ} on output 75, check 89, \mathrm{CZ} on output 75, check 90, \mathrm{CZ} on output 75, check 93, \mathrm{CZ} on output 76, output 77, \mathrm{CZ} on output 76, output 78, \mathrm{CZ} on output 76, output 80, \mathrm{CZ} on output 76, check 81, \mathrm{CZ} on output 76, check 82, \mathrm{CZ} on output 76, check 83, \mathrm{CZ} on output 76, check 84, \mathrm{CZ} on output 76, check 85, \mathrm{CZ} on output 76, check 86, \mathrm{CZ} on output 76, check 87, \mathrm{CZ} on output 76, check 89, \mathrm{CZ} on output 76, check 90, \mathrm{CZ} on output 76, check 91, \mathrm{CZ} on output 76, check 93, \mathrm{CZ} on output 76, check 95, \mathrm{CZ} on output 77, output 78, \mathrm{CZ} on output 77, output 80, \mathrm{CZ} on output 77, check 81, \mathrm{CZ} on output 77, check 82, \mathrm{CZ} on output 77, check 83, \mathrm{CZ} on output 77, check 84, \mathrm{CZ} on output 77, check 85, \mathrm{CZ} on output 77, check 86, \mathrm{CZ} on output 77, check 87, \mathrm{CZ} on output 77, check 89, \mathrm{CZ} on output 77, check 90, \mathrm{CZ} on output 77, check 91, \mathrm{CZ} on output 77, check 93, \mathrm{CZ} on output 77, check 95, \mathrm{CZ} on output 78, output 80, \mathrm{CZ} on output 78, check 81, \mathrm{CZ} on output 78, check 82, \mathrm{CZ} on output 78, check 83, \mathrm{CZ} on output 78, check 84, \mathrm{CZ} on output 78, check 85, \mathrm{CZ} on output 78, check 86, \mathrm{CZ} on output 78, check 87, \mathrm{CZ} on output 78, check 89, \mathrm{CZ} on output 78, check 90, \mathrm{CZ} on output 78, check 91, \mathrm{CZ} on output 78, check 93, \mathrm{CZ} on output 78, check 95, \mathrm{CZ} on output 80, check 81, \mathrm{CZ} on output 80, check 82, \mathrm{CZ} on output 80, check 83, \mathrm{CZ} on output 80, check 84, \mathrm{CZ} on output 80, check 85, \mathrm{CZ} on output 80, check 86, \mathrm{CZ} on output 80, check 87, \mathrm{CZ} on output 80, check 89, \mathrm{CZ} on output 80, check 90, \mathrm{CZ} on output 80, check 91, \mathrm{CZ} on output 80, check 93, \mathrm{CZ} on output 80, check 95, \mathrm{CZ} on check 81, check 82, \mathrm{CZ} on check 81, check 83, \mathrm{CZ} on check 81, check 84, \mathrm{CZ} on check 81, check 87, \mathrm{CZ} on check 81, check 91, \mathrm{CZ} on check 81, check 95, \mathrm{CZ} on check 82, check 83, \mathrm{CZ} on check 82, check 84, \mathrm{CZ} on check 82, check 85, \mathrm{CZ} on check 82, check 86, \mathrm{CZ} on check 82, check 87, \mathrm{CZ} on check 82, check 89, \mathrm{CZ} on check 82, check 90, \mathrm{CZ} on check 82, check 91, \mathrm{CZ} on check 82, check 93, \mathrm{CZ} on check 82, check 95, \mathrm{CZ} on check 83, check 84, \mathrm{CZ} on check 83, check 85, \mathrm{CZ} on check 83, check 86, \mathrm{CZ} on check 83, check 87, \mathrm{CZ} on check 83, check 89, \mathrm{CZ} on check 83, check 90, \mathrm{CZ} on check 83, check 91, \mathrm{CZ} on check 83, check 93, \mathrm{CZ} on check 83, check 95, \mathrm{CZ} on check 84, check 85, \mathrm{CZ} on check 84, check 86, \mathrm{CZ} on check 84, check 87, \mathrm{CZ} on check 84, check 89, \mathrm{CZ} on check 84, check 90, \mathrm{CZ} on check 84, check 91, \mathrm{CZ} on check 84, check 93, \mathrm{CZ} on check 84, check 95, \mathrm{CZ} on check 85, check 87, \mathrm{CZ} on check 85, check 91, \mathrm{CZ} on check 85, check 95, \mathrm{CZ} on check 86, check 87, \mathrm{CZ} on check 86, check 91, \mathrm{CZ} on check 86, check 95, \mathrm{CZ} on check 87, check 89, \mathrm{CZ} on check 87, check 90, \mathrm{CZ} on check 87, check 91, \mathrm{CZ} on check 87, check 93, \mathrm{CZ} on check 87, check 95, \mathrm{CZ} on check 89, check 91, \mathrm{CZ} on check 89, check 95, \mathrm{CZ} on check 90, check 91, \mathrm{CZ} on check 90, check 95, \mathrm{CZ} on check 91, check 93, \mathrm{CZ} on check 91, check 95, \mathrm{CZ} on check 93, check 95

Or no Clifford gate at all: run \mathrm{T}^3 on rotations 0, 2, 6, 7, 11, 14, 18, 22, 34, 36, 40, 44, 64, 69, 71, 73, 78, 79, 80, 82, 85, 86, 89, 94 and 165 more (listed below); \mathrm{T}^5 on rotations 5, 13, 20, 24, 30, 37, 39, 46, 62, 70, 109, 111, 117, 119, 127, 137, 144, 151, 170, 214, 316; \mathrm{T}^\dagger on rotations 1, 4, 10, 15, 19, 26, 32, 35, 47, 48, 55, 56, 57, 60, 68, 81, 84, 88, 107, 112, 115, 116, 125, 140 and 8 more (listed below), and \mathrm{T} on the rest. 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.

All 189 rotations at T³

0, 2, 6, 7, 11, 14, 18, 22, 34, 36, 40, 44, 64, 69, 71, 73, 78, 79, 80, 82, 85, 86, 89, 94, 99, 100, 101, 103, 104, 106, 110, 114, 118, 122, 123, 124, 129, 133, 134, 135, 139, 141, 143, 146, 147, 148, 149, 150, 152, 155, 159, 161, 162, 163, 166, 169, 171, 173, 175, 180, 182, 183, 185, 187, 188, 189, 192, 194, 195, 197, 198, 200, 201, 203, 204, 205, 208, 209, 211, 217, 219, 221, 222, 223, 224, 225, 226, 227, 229, 230, 231, 233, 235, 236, 244, 246, 248, 249, 250, 252, 253, 254, 256, 257, 258, 259, 260, 261, 262, 267, 268, 270, 271, 273, 274, 275, 276, 278, 279, 280, 284, 285, 286, 287, 290, 291, 293, 294, 296, 297, 298, 305, 306, 307, 318, 321, 325, 326, 330, 332, 333, 335, 336, 337, 340, 341, 342, 343, 348, 349, 350, 351, 354, 356, 359, 360, 362, 363, 367, 370, 371, 373, 374, 375, 376, 379, 380, 382, 390, 391, 392, 394, 396, 397, 398, 401, 407, 408, 410, 411, 413, 414, 415, 416, 418, 419, 421, 424, 425

All 32 rotations at T†

1, 4, 10, 15, 19, 26, 32, 35, 47, 48, 55, 56, 57, 60, 68, 81, 84, 88, 107, 112, 115, 116, 125, 140, 167, 177, 186, 213, 215, 216, 220, 228

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/427.81.4.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-427.81.4.a.txt", "w") as out:
    out.write("\n".join(lines) + "\n")

Distance

d=4, exact. No fault of weight below 4 is both undetectable and damaging. One of weight 4 is.

Exactly 9,296 faults of weight 4 are undetectable and damaging, so A_{4}=9{,}296. If each rotation fails independently with probability p, an accepted run has a damaged output with probability A_{4}\,p^{4}+O(p^{5}).

A damaging fault of weight 4 sits on columns [0,2,135,149].

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

built from one of Wills's parent codes (weighted Reed-Muller, restricted-light or one-heavy) by searched punctures, paired-column contractions or logical-pair checks, in the pure-T distillation-exponent release (gamma = log(n/k)/log d, n < 1000); a verified witness, not a maximum -- only the release's own frontier points are the lowest gamma it knows

Found by: AI search (gamma frontier): from Wills parent codes

Discovery: AI search

1 recorded source

[
 {
  "regime": "AI search (gamma frontier): from Wills parent codes",
  "file": "gamma_frontier_release/protocols/paired_column_contraction_427_81_4_2eb1d1c3a580.json",
  "label": "paired_column_contraction_427_81_4_2eb1d1c3a580",
  "N": 100,
  "d": 4,
  "d_is_exact": true,
  "origin": "Wills weighted Reed\u2013Muller parent (weights 1^8,2^1, cutoff 3), with searched graph punctures; 2 paired-column contractions",
  "provenance": "gamma frontier release record paired_column_contraction_427_81_4_2eb1d1c3a580 (source catalogue id paired_column_contraction_427_81_4_2eb1d1c3a580); construction: Wills weighted Reed\u2013Muller parent (weights 1^8,2^1, cutoff 3), with searched graph punctures; 2 paired-column contractions; matrix 2eb1d1c3a5800d38...; the release states d=4 (exact), gamma=1.199121128367933 (exact)",
  "notes": "matrix gamma_frontier_release/matrices/2eb1d1c3a5800d38175cd2a97685763142fac1651fa3555a944e5e2c25fd9dd5.matrix"
 }
]

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/427.81.4.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[1045].

[\![427,\,81,\,4]\!] factory