QUBIT_COORDS(0, 2) 0
QUBIT_COORDS(0, 6) 1
QUBIT_COORDS(1, 1) 2
QUBIT_COORDS(1, 3) 3
QUBIT_COORDS(1, 5) 4
QUBIT_COORDS(1, 7) 5
QUBIT_COORDS(1, 9) 6
QUBIT_COORDS(2, 2) 7
QUBIT_COORDS(2, 4) 8
QUBIT_COORDS(2, 6) 9
QUBIT_COORDS(2, 8) 10
QUBIT_COORDS(2, 10) 11
QUBIT_COORDS(3, 1) 12
QUBIT_COORDS(3, 3) 13
QUBIT_COORDS(3, 5) 14
QUBIT_COORDS(3, 7) 15
QUBIT_COORDS(3, 9) 16
QUBIT_COORDS(4, 0) 17
QUBIT_COORDS(4, 2) 18
QUBIT_COORDS(4, 4) 19
QUBIT_COORDS(4, 6) 20
QUBIT_COORDS(4, 8) 21
QUBIT_COORDS(5, 1) 22
QUBIT_COORDS(5, 3) 23
QUBIT_COORDS(5, 5) 24
QUBIT_COORDS(5, 7) 25
QUBIT_COORDS(5, 9) 26
QUBIT_COORDS(6, 2) 27
QUBIT_COORDS(6, 4) 28
QUBIT_COORDS(6, 6) 29
QUBIT_COORDS(6, 8) 30
QUBIT_COORDS(6, 10) 31
QUBIT_COORDS(7, 1) 32
QUBIT_COORDS(7, 3) 33
QUBIT_COORDS(7, 5) 34
QUBIT_COORDS(7, 7) 35
QUBIT_COORDS(7, 9) 36
QUBIT_COORDS(8, 0) 37
QUBIT_COORDS(8, 2) 38
QUBIT_COORDS(8, 4) 39
QUBIT_COORDS(8, 6) 40
QUBIT_COORDS(8, 8) 41
QUBIT_COORDS(9, 1) 42
QUBIT_COORDS(9, 3) 43
QUBIT_COORDS(9, 5) 44
QUBIT_COORDS(9, 7) 45
QUBIT_COORDS(9, 9) 46
QUBIT_COORDS(10, 2) 47
QUBIT_COORDS(10, 4) 48
QUBIT_COORDS(10, 6) 49
QUBIT_COORDS(10, 8) 50
QUBIT_COORDS(10, 10) 51
QUBIT_COORDS(11, 1) 52
QUBIT_COORDS(11, 3) 53
QUBIT_COORDS(11, 5) 54
QUBIT_COORDS(11, 7) 55
QUBIT_COORDS(11, 9) 56
QUBIT_COORDS(11, 11) 57
QUBIT_COORDS(12, 2) 58
QUBIT_COORDS(12, 4) 59
QUBIT_COORDS(12, 6) 60
QUBIT_COORDS(12, 8) 61
QUBIT_COORDS(12, 10) 62
QUBIT_COORDS(13, 1) 63
QUBIT_COORDS(13, 3) 64
QUBIT_COORDS(13, 5) 65
QUBIT_COORDS(13, 7) 66
QUBIT_COORDS(13, 9) 67
QUBIT_COORDS(14, 0) 68
QUBIT_COORDS(14, 2) 69
QUBIT_COORDS(14, 4) 70
QUBIT_COORDS(14, 6) 71
QUBIT_COORDS(14, 8) 72
QUBIT_COORDS(15, 1) 73
QUBIT_COORDS(15, 3) 74
QUBIT_COORDS(15, 5) 75
QUBIT_COORDS(15, 7) 76
QUBIT_COORDS(15, 9) 77
QUBIT_COORDS(16, 2) 78
QUBIT_COORDS(16, 4) 79
QUBIT_COORDS(16, 6) 80
QUBIT_COORDS(16, 8) 81
QUBIT_COORDS(16, 10) 82
QUBIT_COORDS(17, 1) 83
QUBIT_COORDS(17, 3) 84
QUBIT_COORDS(17, 5) 85
QUBIT_COORDS(17, 7) 86
QUBIT_COORDS(17, 9) 87
QUBIT_COORDS(18, 0) 88
QUBIT_COORDS(18, 2) 89
QUBIT_COORDS(18, 4) 90
QUBIT_COORDS(18, 6) 91
QUBIT_COORDS(18, 8) 92
QUBIT_COORDS(19, 1) 93
QUBIT_COORDS(19, 3) 94
QUBIT_COORDS(19, 5) 95
QUBIT_COORDS(19, 7) 96
QUBIT_COORDS(19, 9) 97
QUBIT_COORDS(20, 2) 98
QUBIT_COORDS(20, 4) 99
QUBIT_COORDS(20, 6) 100
QUBIT_COORDS(20, 8) 101
QUBIT_COORDS(20, 10) 102
QUBIT_COORDS(21, 1) 103
QUBIT_COORDS(21, 3) 104
QUBIT_COORDS(21, 5) 105
QUBIT_COORDS(21, 7) 106
QUBIT_COORDS(21, 9) 107
QUBIT_COORDS(22, 2) 108
QUBIT_COORDS(22, 6) 109
OBSERVABLE_INCLUDE(0) Z4 Z14 Z24 Z34 Z44
OBSERVABLE_INCLUDE(1) X22 X23 X24 X25 X26
MPP X12*X22 X32*X42 Z2*Z3 X2*X3*X12*X13 Z12*Z13*Z22*Z23 X22*X23*X32*X33 Z32*Z33*Z42*Z43 Z3*Z4*Z13*Z14 X13*X14*X23*X24 Z23*Z24*Z33*Z34 X33*X34*X43*X44 Z43*Z44 Z4*Z5 X4*X5*X14*X15 Z14*Z15*Z24*Z25 X24*X25*X34*X35 Z34*Z35*Z44*Z45 Z5*Z6*Z15*Z16 X15*X16*X25*X26 Z25*Z26*Z35*Z36 X35*X36*X45*X46 Z45*Z46 X6*X16 X26*X36
TICK
R 0 18 38 8 28 1 20 40 10 30
RX 17 37 7 27 19 39 9 29 21 41 11 31
R 68 88 78 98 70 90 80 100 72 92 82 102
RX 69 89 108 79 99 71 91 109 81 101 63 73 83 93 103 64 74 84 94 104 65 75 85 95 105 66 76 86 96 106 67 77 87 97 107 47 48 49 50 51
R 53 54 55 56 57 58 59 60 61 62
TICK
CX 17 12 37 32 7 3 13 18 27 23 33 38 4 8 19 14 24 28 39 34 9 5 15 20 29 25 35 40 6 10 21 16 26 30 41 36 63 68 83 88 69 64 74 78 89 84 94 98 108 104 65 70 79 75 85 90 99 95 71 66 76 80 91 86 96 100 109 106 67 72 81 77 87 92 101 97 47 53 48 54 49 55 50 56 51 57
TICK
CX 12 18 32 38 3 8 23 28 14 20 34 40 5 10 25 30 69 63 89 83 108 103 79 74 99 94 71 65 91 85 109 105 81 76 101 96 53 58 47 43 54 59 55 60 49 45 56 61 57 62
CZ 48 44 50 46
TICK
CX 17 22 37 42 3 0 7 13 23 18 27 33 43 38 14 8 19 24 34 28 39 44 5 1 9 15 25 20 29 35 45 40 16 10 21 26 36 30 41 46 73 68 93 88 69 74 84 78 89 94 104 98 75 70 79 85 95 90 99 105 71 76 86 80 91 96 106 100 77 72 81 87 97 92 101 107 59 65 61 67
CZ 58 64 60 66
TICK
CX 7 2 27 22 19 13 39 33 9 4 29 24 21 15 41 35 11 6 31 26 73 78 93 98 64 70 84 90 75 80 95 100 66 72 86 92 77 82 97 102 47 42 49 44 51 46
CZ 48 43 50 45
TICK
CX 2 0 7 12 22 18 27 32 42 38 13 8 19 23 33 28 39 43 4 1 9 14 24 20 29 34 44 40 15 10 21 25 35 30 41 45 11 16 31 36 69 73 83 78 89 93 103 98 74 70 79 84 94 90 99 104 71 75 85 80 91 95 105 100 76 72 81 86 96 92 101 106 87 82 107 102 53 47 54 48 59 64 55 49 56 50 61 66 57 51
CZ 58 63 60 65 62 67
TICK
CX 58 53 59 54 60 55 61 56 62 57
TICK
M 0 18 38 8 28 1 20 40 10 30
MX 17 37 7 27 19 39 9 29 21 41 11 31
M 68 88 78 98 70 90 80 100 72 92 82 102
MX 69 89 108 79 99 71 91 109 81 101 58 59 60 61 62
TICK
R 0 18 38 8 28 1 20 40 10 30
RX 17 37 7 27 19 39 9 29 21 41 11 31
R 68 88 78 98 70 90 80 100 72 92 82 102
RX 69 89 108 79 99 71 91 109 81 101 58 59 60 61 62
R 52 53 54 55 56 47 48 49 50 51
TICK
CX 58 52 59 53 60 54 61 55 62 56
TICK
CX 2 0 7 12 22 18 27 32 42 38 13 8 19 23 33 28 39 43 4 1 9 14 24 20 29 34 44 40 15 10 21 25 35 30 41 45 11 16 31 36 69 73 83 78 89 93 103 98 74 70 79 84 94 90 99 104 71 75 85 80 91 95 105 100 76 72 81 86 96 92 101 106 87 82 107 102 52 47 53 48 59 64 54 49 55 50 61 66 56 51
CZ 58 63 60 65 62 67
TICK
CX 7 2 27 22 19 13 39 33 9 4 29 24 21 15 41 35 11 6 31 26 73 78 93 98 64 70 84 90 75 80 95 100 66 72 86 92 77 82 97 102 47 42 49 44 51 46
CZ 48 43 50 45
TICK
CX 17 22 37 42 3 0 7 13 23 18 27 33 43 38 14 8 19 24 34 28 39 44 5 1 9 15 25 20 29 35 45 40 16 10 21 26 36 30 41 46 73 68 93 88 69 74 84 78 89 94 104 98 75 70 79 85 95 90 99 105 71 76 86 80 91 96 106 100 77 72 81 87 97 92 101 107 59 65 61 67
CZ 58 64 60 66
TICK
CX 12 18 32 38 3 8 23 28 14 20 34 40 5 10 25 30 69 63 89 83 108 103 79 74 99 94 71 65 91 85 109 105 81 76 101 96 52 58 47 43 53 59 54 60 49 45 55 61 56 62
CZ 48 44 50 46
TICK
CX 17 12 37 32 7 3 13 18 27 23 33 38 4 8 19 14 24 28 39 34 9 5 15 20 29 25 35 40 6 10 21 16 26 30 41 36 63 68 83 88 69 64 74 78 89 84 94 98 108 104 65 70 79 75 85 90 99 95 71 66 76 80 91 86 96 100 109 106 67 72 81 77 87 92 101 97 47 52 48 53 49 54 50 55 51 56
TICK
M 0 18 38 8 28 1 20 40 10 30
MX 17 37 7 27 19 39 9 29 21 41 11 31
M 68 88 78 98 70 90 80 100 72 92 82 102
MX 69 89 108 79 99 71 91 109 81 101 47 48 49 50 51
TICK
R 0 18 38 8 28 1 20 40 10 30
RX 17 37 7 27 19 39 9 29 21 41 11 31
R 68 88 78 98 70 90 80 100 72 92 82 102
RX 69 89 108 79 99 71 91 109 81 101 47 48 49 50 51
R 53 54 55 56 57 58 59 60 61 62
TICK
CX 17 12 37 32 7 3 13 18 27 23 33 38 4 8 19 14 24 28 39 34 9 5 15 20 29 25 35 40 6 10 21 16 26 30 41 36 63 68 83 88 69 64 74 78 89 84 94 98 108 104 65 70 79 75 85 90 99 95 71 66 76 80 91 86 96 100 109 106 67 72 81 77 87 92 101 97 47 53 48 54 49 55 50 56 51 57
TICK
CX 12 18 32 38 3 8 23 28 14 20 34 40 5 10 25 30 69 63 89 83 108 103 79 74 99 94 71 65 91 85 109 105 81 76 101 96 53 58 47 43 54 59 55 60 49 45 56 61 57 62
CZ 48 44 50 46
TICK
CX 17 22 37 42 3 0 7 13 23 18 27 33 43 38 14 8 19 24 34 28 39 44 5 1 9 15 25 20 29 35 45 40 16 10 21 26 36 30 41 46 73 68 93 88 69 74 84 78 89 94 104 98 75 70 79 85 95 90 99 105 71 76 86 80 91 96 106 100 77 72 81 87 97 92 101 107 59 65 61 67
CZ 58 64 60 66
TICK
CX 7 2 27 22 19 13 39 33 9 4 29 24 21 15 41 35 11 6 31 26 73 78 93 98 64 70 84 90 75 80 95 100 66 72 86 92 77 82 97 102 47 42 49 44 51 46
CZ 48 43 50 45
TICK
CX 2 0 7 12 22 18 27 32 42 38 13 8 19 23 33 28 39 43 4 1 9 14 24 20 29 34 44 40 15 10 21 25 35 30 41 45 11 16 31 36 69 73 83 78 89 93 103 98 74 70 79 84 94 90 99 104 71 75 85 80 91 95 105 100 76 72 81 86 96 92 101 106 87 82 107 102 53 47 54 48 59 64 55 49 56 50 61 66 57 51
CZ 58 63 60 65 62 67
TICK
CX 58 53 59 54 60 55 61 56 62 57
TICK
M 0 18 38 8 28 1 20 40 10 30
MX 17 37 7 27 19 39 9 29 21 41 11 31
M 68 88 78 98 70 90 80 100 72 92 82 102
MX 69 89 108 79 99 71 91 109 81 101 58 59 60 61 62
TICK
R 0 18 38 8 28 1 20 40 10 30
RX 17 37 7 27 19 39 9 29 21 41 11 31
R 68 88 78 98 70 90 80 100 72 92 82 102
RX 69 89 108 79 99 71 91 109 81 101 58 59 60 61 62
R 52 53 54 55 56 47 48 49 50 51
TICK
CX 58 52 59 53 60 54 61 55 62 56
TICK
CX 2 0 7 12 22 18 27 32 42 38 13 8 19 23 33 28 39 43 4 1 9 14 24 20 29 34 44 40 15 10 21 25 35 30 41 45 11 16 31 36 69 73 83 78 89 93 103 98 74 70 79 84 94 90 99 104 71 75 85 80 91 95 105 100 76 72 81 86 96 92 101 106 87 82 107 102 52 47 53 48 59 64 54 49 55 50 61 66 56 51
CZ 58 63 60 65 62 67
TICK
CX 7 2 27 22 19 13 39 33 9 4 29 24 21 15 41 35 11 6 31 26 73 78 93 98 64 70 84 90 75 80 95 100 66 72 86 92 77 82 97 102 47 42 49 44 51 46
CZ 48 43 50 45
TICK
CX 17 22 37 42 3 0 7 13 23 18 27 33 43 38 14 8 19 24 34 28 39 44 5 1 9 15 25 20 29 35 45 40 16 10 21 26 36 30 41 46 73 68 93 88 69 74 84 78 89 94 104 98 75 70 79 85 95 90 99 105 71 76 86 80 91 96 106 100 77 72 81 87 97 92 101 107 59 65 61 67
CZ 58 64 60 66
TICK
CX 12 18 32 38 3 8 23 28 14 20 34 40 5 10 25 30 69 63 89 83 108 103 79 74 99 94 71 65 91 85 109 105 81 76 101 96 52 58 47 43 53 59 54 60 49 45 55 61 56 62
CZ 48 44 50 46
TICK
CX 17 12 37 32 7 3 13 18 27 23 33 38 4 8 19 14 24 28 39 34 9 5 15 20 29 25 35 40 6 10 21 16 26 30 41 36 63 68 83 88 69 64 74 78 89 84 94 98 108 104 65 70 79 75 85 90 99 95 71 66 76 80 91 86 96 100 109 106 67 72 81 77 87 92 101 97 47 52 48 53 49 54 50 55 51 56
TICK
M 0 18 38 8 28 1 20 40 10 30
MX 17 37 7 27 19 39 9 29 21 41 11 31
M 68 88 78 98 70 90 80 100 72 92 82 102
MX 69 89 108 79 99 71 91 109 81 101 47 48 49 50 51
TICK
R 0 18 38 8 28 1 20 40 10 30
RX 17 37 7 27 19 39 9 29 21 41 11 31
R 68 88 78 98 70 90 80 100 72 92 82 102
RX 69 89 108 79 99 71 91 109 81 101 47 48 49 50 51
R 53 54 55 56 57 58 59 60 61 62
TICK
CX 17 12 37 32 7 3 13 18 27 23 33 38 4 8 19 14 24 28 39 34 9 5 15 20 29 25 35 40 6 10 21 16 26 30 41 36 63 68 83 88 69 64 74 78 89 84 94 98 108 104 65 70 79 75 85 90 99 95 71 66 76 80 91 86 96 100 109 106 67 72 81 77 87 92 101 97 47 53 48 54 49 55 50 56 51 57
TICK
CX 12 18 32 38 3 8 23 28 14 20 34 40 5 10 25 30 69 63 89 83 108 103 79 74 99 94 71 65 91 85 109 105 81 76 101 96 53 58 47 43 54 59 55 60 49 45 56 61 57 62
CZ 48 44 50 46
TICK
CX 17 22 37 42 3 0 7 13 23 18 27 33 43 38 14 8 19 24 34 28 39 44 5 1 9 15 25 20 29 35 45 40 16 10 21 26 36 30 41 46 73 68 93 88 69 74 84 78 89 94 104 98 75 70 79 85 95 90 99 105 71 76 86 80 91 96 106 100 77 72 81 87 97 92 101 107 59 65 61 67
CZ 58 64 60 66
TICK
CX 7 2 27 22 19 13 39 33 9 4 29 24 21 15 41 35 11 6 31 26 73 78 93 98 64 70 84 90 75 80 95 100 66 72 86 92 77 82 97 102 47 42 49 44 51 46
CZ 48 43 50 45
TICK
CX 2 0 7 12 22 18 27 32 42 38 13 8 19 23 33 28 39 43 4 1 9 14 24 20 29 34 44 40 15 10 21 25 35 30 41 45 11 16 31 36 69 73 83 78 89 93 103 98 74 70 79 84 94 90 99 104 71 75 85 80 91 95 105 100 76 72 81 86 96 92 101 106 87 82 107 102 53 47 54 48 59 64 55 49 56 50 61 66 57 51
CZ 58 63 60 65 62 67
TICK
CX 58 53 59 54 60 55 61 56 62 57
TICK
M 0 18 38 8 28 1 20 40 10 30
MX 17 37 7 27 19 39 9 29 21 41 11 31
M 2 12 22 32 42 3 13 23 33 43 4 14 24 34 44 5 15 25 35 45 6 16 26 36 46 68 88 78 98 70 90 80 100 72 92 82 102
MX 69 89 108 79 99 71 91 109 81 101 58 59 60 61 62
DETECTOR(4, 0) rec[-260] rec[-211]
DETECTOR(8, 0) rec[-259] rec[-210]
DETECTOR(0, 2) rec[-270] rec[-221]
DETECTOR(2, 2) rec[-258] rec[-209]
DETECTOR(4, 2) rec[-269] rec[-220]
DETECTOR(6, 2) rec[-257] rec[-208]
DETECTOR(8, 2) rec[-268] rec[-219]
DETECTOR(2, 4) rec[-267] rec[-218]
DETECTOR(4, 4) rec[-256] rec[-207]
DETECTOR(6, 4) rec[-266] rec[-217]
DETECTOR(8, 4) rec[-255] rec[-206]
DETECTOR(0, 6) rec[-265] rec[-216]
DETECTOR(2, 6) rec[-254] rec[-205]
DETECTOR(4, 6) rec[-264] rec[-215]
DETECTOR(6, 6) rec[-253] rec[-204]
DETECTOR(8, 6) rec[-263] rec[-214]
DETECTOR(2, 8) rec[-262] rec[-213]
DETECTOR(4, 8) rec[-252] rec[-203]
DETECTOR(6, 8) rec[-261] rec[-212]
DETECTOR(8, 8) rec[-251] rec[-202]
DETECTOR(2, 10) rec[-250] rec[-201]
DETECTOR(6, 10) rec[-249] rec[-200]
DETECTOR(4, 0) rec[-211] rec[-162]
DETECTOR(8, 0) rec[-210] rec[-161]
DETECTOR(0, 2) rec[-221] rec[-172]
DETECTOR(2, 2) rec[-209] rec[-160]
DETECTOR(4, 2) rec[-220] rec[-171]
DETECTOR(6, 2) rec[-208] rec[-159]
DETECTOR(8, 2) rec[-219] rec[-170]
DETECTOR(2, 4) rec[-218] rec[-169]
DETECTOR(4, 4) rec[-207] rec[-158]
DETECTOR(6, 4) rec[-217] rec[-168]
DETECTOR(8, 4) rec[-206] rec[-157]
DETECTOR(0, 6) rec[-216] rec[-167]
DETECTOR(2, 6) rec[-205] rec[-156]
DETECTOR(4, 6) rec[-215] rec[-166]
DETECTOR(6, 6) rec[-204] rec[-155]
DETECTOR(8, 6) rec[-214] rec[-165]
DETECTOR(2, 8) rec[-213] rec[-164]
DETECTOR(4, 8) rec[-203] rec[-154]
DETECTOR(6, 8) rec[-212] rec[-163]
DETECTOR(8, 8) rec[-202] rec[-153]
DETECTOR(2, 10) rec[-201] rec[-152]
DETECTOR(6, 10) rec[-200] rec[-151]
DETECTOR(4, 0) rec[-162] rec[-113]
DETECTOR(8, 0) rec[-161] rec[-112]
DETECTOR(0, 2) rec[-172] rec[-123]
DETECTOR(2, 2) rec[-160] rec[-111]
DETECTOR(4, 2) rec[-171] rec[-122]
DETECTOR(6, 2) rec[-159] rec[-110]
DETECTOR(8, 2) rec[-170] rec[-121]
DETECTOR(2, 4) rec[-169] rec[-120]
DETECTOR(4, 4) rec[-158] rec[-109]
DETECTOR(6, 4) rec[-168] rec[-119]
DETECTOR(8, 4) rec[-157] rec[-108]
DETECTOR(0, 6) rec[-167] rec[-118]
DETECTOR(2, 6) rec[-156] rec[-107]
DETECTOR(4, 6) rec[-166] rec[-117]
DETECTOR(6, 6) rec[-155] rec[-106]
DETECTOR(8, 6) rec[-165] rec[-116]
DETECTOR(2, 8) rec[-164] rec[-115]
DETECTOR(4, 8) rec[-154] rec[-105]
DETECTOR(6, 8) rec[-163] rec[-114]
DETECTOR(8, 8) rec[-153] rec[-104]
DETECTOR(2, 10) rec[-152] rec[-103]
DETECTOR(6, 10) rec[-151] rec[-102]
DETECTOR(4, 0) rec[-113] rec[-64]
DETECTOR(8, 0) rec[-112] rec[-63]
DETECTOR(0, 2) rec[-123] rec[-74]
DETECTOR(2, 2) rec[-111] rec[-62]
DETECTOR(4, 2) rec[-122] rec[-73]
DETECTOR(6, 2) rec[-110] rec[-61]
DETECTOR(8, 2) rec[-121] rec[-72]
DETECTOR(2, 4) rec[-120] rec[-71]
DETECTOR(4, 4) rec[-109] rec[-60]
DETECTOR(6, 4) rec[-119] rec[-70]
DETECTOR(8, 4) rec[-108] rec[-59]
DETECTOR(0, 6) rec[-118] rec[-69]
DETECTOR(2, 6) rec[-107] rec[-58]
DETECTOR(4, 6) rec[-117] rec[-68]
DETECTOR(6, 6) rec[-106] rec[-57]
DETECTOR(8, 6) rec[-116] rec[-67]
DETECTOR(2, 8) rec[-115] rec[-66]
DETECTOR(4, 8) rec[-105] rec[-56]
DETECTOR(6, 8) rec[-114] rec[-65]
DETECTOR(8, 8) rec[-104] rec[-55]
DETECTOR(2, 10) rec[-103] rec[-54]
DETECTOR(6, 10) rec[-102] rec[-53]
DETECTOR(0, 2) rec[-74] rec[-52] rec[-47]
DETECTOR(4, 2) rec[-73] rec[-51] rec[-50] rec[-46] rec[-45]
DETECTOR(8, 2) rec[-72] rec[-49] rec[-48] rec[-44] rec[-43]
DETECTOR(2, 4) rec[-71] rec[-47] rec[-46] rec[-42] rec[-41]
DETECTOR(6, 4) rec[-70] rec[-45] rec[-44] rec[-40] rec[-39]
DETECTOR(0, 6) rec[-69] rec[-42] rec[-37]
DETECTOR(4, 6) rec[-68] rec[-41] rec[-40] rec[-36] rec[-35]
DETECTOR(8, 6) rec[-67] rec[-39] rec[-38] rec[-34] rec[-33]
DETECTOR(2, 8) rec[-66] rec[-37] rec[-36] rec[-32] rec[-31]
DETECTOR(6, 8) rec[-65] rec[-35] rec[-34] rec[-30] rec[-29]
DETECTOR(14, 2) rec[-236]
DETECTOR(18, 2) rec[-235]
DETECTOR(22, 2) rec[-234]
DETECTOR(16, 4) rec[-233]
DETECTOR(20, 4) rec[-232]
DETECTOR(14, 6) rec[-231]
DETECTOR(18, 6) rec[-230]
DETECTOR(22, 6) rec[-229]
DETECTOR(16, 8) rec[-228]
DETECTOR(20, 8) rec[-227]
DETECTOR(14, 0) rec[-248] rec[-199]
DETECTOR(18, 0) rec[-247] rec[-198]
DETECTOR(14, 2) rec[-236] rec[-187]
DETECTOR(16, 2) rec[-246] rec[-197]
DETECTOR(18, 2) rec[-235] rec[-186]
DETECTOR(20, 2) rec[-245] rec[-196]
DETECTOR(22, 2) rec[-234] rec[-185]
DETECTOR(14, 4) rec[-244] rec[-195]
DETECTOR(16, 4) rec[-233] rec[-184]
DETECTOR(18, 4) rec[-243] rec[-194]
DETECTOR(20, 4) rec[-232] rec[-183]
DETECTOR(14, 6) rec[-231] rec[-182]
DETECTOR(16, 6) rec[-242] rec[-193]
DETECTOR(18, 6) rec[-230] rec[-181]
DETECTOR(20, 6) rec[-241] rec[-192]
DETECTOR(22, 6) rec[-229] rec[-180]
DETECTOR(14, 8) rec[-240] rec[-191]
DETECTOR(16, 8) rec[-228] rec[-179]
DETECTOR(18, 8) rec[-239] rec[-190]
DETECTOR(20, 8) rec[-227] rec[-178]
DETECTOR(16, 10) rec[-238] rec[-189]
DETECTOR(20, 10) rec[-237] rec[-188]
DETECTOR(14, 0) rec[-199] rec[-150]
DETECTOR(18, 0) rec[-198] rec[-149]
DETECTOR(14, 2) rec[-187] rec[-138]
DETECTOR(16, 2) rec[-197] rec[-148]
DETECTOR(18, 2) rec[-186] rec[-137]
DETECTOR(20, 2) rec[-196] rec[-147]
DETECTOR(22, 2) rec[-185] rec[-136]
DETECTOR(14, 4) rec[-195] rec[-146]
DETECTOR(16, 4) rec[-184] rec[-135]
DETECTOR(18, 4) rec[-194] rec[-145]
DETECTOR(20, 4) rec[-183] rec[-134]
DETECTOR(14, 6) rec[-182] rec[-133]
DETECTOR(16, 6) rec[-193] rec[-144]
DETECTOR(18, 6) rec[-181] rec[-132]
DETECTOR(20, 6) rec[-192] rec[-143]
DETECTOR(22, 6) rec[-180] rec[-131]
DETECTOR(14, 8) rec[-191] rec[-142]
DETECTOR(16, 8) rec[-179] rec[-130]
DETECTOR(18, 8) rec[-190] rec[-141]
DETECTOR(20, 8) rec[-178] rec[-129]
DETECTOR(16, 10) rec[-189] rec[-140]
DETECTOR(20, 10) rec[-188] rec[-139]
DETECTOR(14, 0) rec[-150] rec[-101]
DETECTOR(18, 0) rec[-149] rec[-100]
DETECTOR(14, 2) rec[-138] rec[-89]
DETECTOR(16, 2) rec[-148] rec[-99]
DETECTOR(18, 2) rec[-137] rec[-88]
DETECTOR(20, 2) rec[-147] rec[-98]
DETECTOR(22, 2) rec[-136] rec[-87]
DETECTOR(14, 4) rec[-146] rec[-97]
DETECTOR(16, 4) rec[-135] rec[-86]
DETECTOR(18, 4) rec[-145] rec[-96]
DETECTOR(20, 4) rec[-134] rec[-85]
DETECTOR(14, 6) rec[-133] rec[-84]
DETECTOR(16, 6) rec[-144] rec[-95]
DETECTOR(18, 6) rec[-132] rec[-83]
DETECTOR(20, 6) rec[-143] rec[-94]
DETECTOR(22, 6) rec[-131] rec[-82]
DETECTOR(14, 8) rec[-142] rec[-93]
DETECTOR(16, 8) rec[-130] rec[-81]
DETECTOR(18, 8) rec[-141] rec[-92]
DETECTOR(20, 8) rec[-129] rec[-80]
DETECTOR(16, 10) rec[-140] rec[-91]
DETECTOR(20, 10) rec[-139] rec[-90]
DETECTOR(14, 0) rec[-101] rec[-27]
DETECTOR(18, 0) rec[-100] rec[-26]
DETECTOR(14, 2) rec[-89] rec[-15]
DETECTOR(16, 2) rec[-99] rec[-25]
DETECTOR(18, 2) rec[-88] rec[-14]
DETECTOR(20, 2) rec[-98] rec[-24]
DETECTOR(22, 2) rec[-87] rec[-13]
DETECTOR(14, 4) rec[-97] rec[-23]
DETECTOR(16, 4) rec[-86] rec[-12]
DETECTOR(18, 4) rec[-96] rec[-22]
DETECTOR(20, 4) rec[-85] rec[-11]
DETECTOR(14, 6) rec[-84] rec[-10]
DETECTOR(16, 6) rec[-95] rec[-21]
DETECTOR(18, 6) rec[-83] rec[-9]
DETECTOR(20, 6) rec[-94] rec[-20]
DETECTOR(22, 6) rec[-82] rec[-8]
DETECTOR(14, 8) rec[-93] rec[-19]
DETECTOR(16, 8) rec[-81] rec[-7]
DETECTOR(18, 8) rec[-92] rec[-18]
DETECTOR(20, 8) rec[-80] rec[-6]
DETECTOR(16, 10) rec[-91] rec[-17]
DETECTOR(20, 10) rec[-90] rec[-16]
DETECTOR(11, 2) rec[-226] rec[-177]
DETECTOR(11, 4) rec[-225] rec[-176]
DETECTOR(11, 6) rec[-224] rec[-175]
DETECTOR(11, 8) rec[-223] rec[-174]
DETECTOR(11, 10) rec[-222] rec[-173]
DETECTOR(11, 2) rec[-177] rec[-128]
DETECTOR(11, 4) rec[-176] rec[-127]
DETECTOR(11, 6) rec[-175] rec[-126]
DETECTOR(11, 8) rec[-174] rec[-125]
DETECTOR(11, 10) rec[-173] rec[-124]
DETECTOR(11, 2) rec[-128] rec[-79]
DETECTOR(11, 4) rec[-127] rec[-78]
DETECTOR(11, 6) rec[-126] rec[-77]
DETECTOR(11, 8) rec[-125] rec[-76]
DETECTOR(11, 10) rec[-124] rec[-75]
DETECTOR(11, 2) rec[-79] rec[-5]
DETECTOR(11, 4) rec[-78] rec[-4]
DETECTOR(11, 6) rec[-77] rec[-3]
DETECTOR(11, 8) rec[-76] rec[-2]
DETECTOR(11, 10) rec[-75] rec[-1]
DETECTOR(0, 2) rec[-292] rec[-270]
DETECTOR(4, 2) rec[-290] rec[-269]
DETECTOR(8, 2) rec[-288] rec[-268]
DETECTOR(2, 4) rec[-287] rec[-267]
DETECTOR(6, 4) rec[-285] rec[-266]
DETECTOR(0, 6) rec[-282] rec[-265]
DETECTOR(4, 6) rec[-280] rec[-264]
DETECTOR(8, 6) rec[-278] rec[-263]
DETECTOR(2, 8) rec[-277] rec[-262]
DETECTOR(6, 8) rec[-275] rec[-261]
DETECTOR(4, 0) rec[-294] rec[-260]
DETECTOR(8, 0) rec[-293] rec[-259]
DETECTOR(2, 2) rec[-291] rec[-258]
DETECTOR(6, 2) rec[-289] rec[-257]
DETECTOR(4, 4) rec[-286] rec[-256]
DETECTOR(8, 4) rec[-284] rec[-255]
DETECTOR(2, 6) rec[-281] rec[-254]
DETECTOR(6, 6) rec[-279] rec[-253]
DETECTOR(4, 8) rec[-276] rec[-252]
DETECTOR(8, 8) rec[-274] rec[-251]
DETECTOR(2, 10) rec[-272] rec[-250]
DETECTOR(6, 10) rec[-271] rec[-249]
DETECTOR(11, 4) rec[-283] rec[-225]
DETECTOR(11, 8) rec[-273] rec[-223]
TICK
MPP Z63*Z73 Z83*Z93 X63*X64*X73*X74 Z73*Z74*Z83*Z84 X83*X84*X93*X94 Z93*Z94*Z103*Z104 X103*X104 X64*X65 Z64*Z65*Z74*Z75 X74*X75*X84*X85 Z84*Z85*Z94*Z95 X94*X95*X104*X105 X65*X66*X75*X76 Z75*Z76*Z85*Z86 X85*X86*X95*X96 Z95*Z96*Z105*Z106 X105*X106 X66*X67 Z66*Z67*Z76*Z77 X76*X77*X86*X87 Z86*Z87*Z96*Z97 X96*X97*X106*X107 Z77*Z87 Z97*Z107
DETECTOR(14, 0) rec[-51] rec[-24]
DETECTOR(18, 0) rec[-50] rec[-23]
DETECTOR(14, 2) rec[-39] rec[-22]
DETECTOR(16, 2) rec[-49] rec[-21]
DETECTOR(18, 2) rec[-38] rec[-20]
DETECTOR(20, 2) rec[-48] rec[-19]
DETECTOR(22, 2) rec[-37] rec[-18]
DETECTOR(14, 4) rec[-47] rec[-16]
DETECTOR(16, 4) rec[-36] rec[-15]
DETECTOR(18, 4) rec[-46] rec[-14]
DETECTOR(20, 4) rec[-35] rec[-13]
DETECTOR(14, 6) rec[-34] rec[-12]
DETECTOR(16, 6) rec[-45] rec[-11]
DETECTOR(18, 6) rec[-33] rec[-10]
DETECTOR(20, 6) rec[-44] rec[-9]
DETECTOR(22, 6) rec[-32] rec[-8]
DETECTOR(14, 8) rec[-43] rec[-6]
DETECTOR(16, 8) rec[-31] rec[-5]
DETECTOR(18, 8) rec[-42] rec[-4]
DETECTOR(20, 8) rec[-30] rec[-3]
DETECTOR(16, 10) rec[-41] rec[-2]
DETECTOR(20, 10) rec[-40] rec[-1]
DETECTOR(12, 4) rec[-67] rec[-62] rec[-28] rec[-17]
DETECTOR(12, 8) rec[-57] rec[-52] rec[-26] rec[-7]
TICK
OBSERVABLE_INCLUDE(0) X65 X75 X85 X95 X105
OBSERVABLE_INCLUDE(1) Z83 Z84 Z85 Z86 Z87
OBSERVABLE_INCLUDE(0) rec[-66] rec[-65] rec[-64] rec[-63] rec[-62]
OBSERVABLE_INCLUDE(1) rec[-283] rec[-281] rec[-279] rec[-277] rec[-275] rec[-273] rec[-272] rec[-270] rec[-268] rec[-266] rec[-264] rec[-262] rec[-250] rec[-248] rec[-246]