QUBIT_COORDS(0, 0) 0
QUBIT_COORDS(0, 2) 1
QUBIT_COORDS(0, 4) 2
QUBIT_COORDS(0, 6) 3
QUBIT_COORDS(0, 8) 4
QUBIT_COORDS(0, 10) 5
QUBIT_COORDS(1, 1) 6
QUBIT_COORDS(1, 3) 7
QUBIT_COORDS(1, 5) 8
QUBIT_COORDS(1, 7) 9
QUBIT_COORDS(1, 9) 10
QUBIT_COORDS(2, 0) 11
QUBIT_COORDS(2, 2) 12
QUBIT_COORDS(2, 4) 13
QUBIT_COORDS(2, 6) 14
QUBIT_COORDS(2, 8) 15
QUBIT_COORDS(2, 10) 16
QUBIT_COORDS(3, 1) 17
QUBIT_COORDS(3, 3) 18
QUBIT_COORDS(3, 5) 19
QUBIT_COORDS(3, 7) 20
QUBIT_COORDS(3, 9) 21
QUBIT_COORDS(4, 0) 22
QUBIT_COORDS(4, 2) 23
QUBIT_COORDS(4, 4) 24
QUBIT_COORDS(4, 6) 25
QUBIT_COORDS(4, 8) 26
QUBIT_COORDS(4, 10) 27
QUBIT_COORDS(5, 1) 28
QUBIT_COORDS(5, 3) 29
QUBIT_COORDS(5, 5) 30
QUBIT_COORDS(5, 7) 31
QUBIT_COORDS(5, 9) 32
QUBIT_COORDS(6, 0) 33
QUBIT_COORDS(6, 2) 34
QUBIT_COORDS(6, 4) 35
QUBIT_COORDS(6, 6) 36
QUBIT_COORDS(6, 8) 37
QUBIT_COORDS(6, 10) 38
QUBIT_COORDS(7, 1) 39
QUBIT_COORDS(7, 3) 40
QUBIT_COORDS(7, 5) 41
QUBIT_COORDS(7, 7) 42
QUBIT_COORDS(7, 9) 43
QUBIT_COORDS(8, 0) 44
QUBIT_COORDS(8, 2) 45
QUBIT_COORDS(8, 4) 46
QUBIT_COORDS(8, 6) 47
QUBIT_COORDS(8, 8) 48
QUBIT_COORDS(8, 10) 49
QUBIT_COORDS(9, 1) 50
QUBIT_COORDS(9, 3) 51
QUBIT_COORDS(9, 5) 52
QUBIT_COORDS(9, 7) 53
QUBIT_COORDS(9, 9) 54
QUBIT_COORDS(10, 0) 55
QUBIT_COORDS(10, 2) 56
QUBIT_COORDS(10, 4) 57
QUBIT_COORDS(10, 6) 58
QUBIT_COORDS(10, 8) 59
QUBIT_COORDS(10, 10) 60
QUBIT_COORDS(11, 1) 61
QUBIT_COORDS(11, 3) 62
QUBIT_COORDS(11, 5) 63
QUBIT_COORDS(11, 7) 64
QUBIT_COORDS(11, 9) 65
QUBIT_COORDS(12, 0) 66
QUBIT_COORDS(12, 2) 67
QUBIT_COORDS(12, 4) 68
QUBIT_COORDS(12, 6) 69
QUBIT_COORDS(12, 8) 70
QUBIT_COORDS(12, 10) 71
QUBIT_COORDS(13, 1) 72
QUBIT_COORDS(13, 3) 73
QUBIT_COORDS(13, 5) 74
QUBIT_COORDS(13, 7) 75
QUBIT_COORDS(13, 9) 76
QUBIT_COORDS(14, 0) 77
QUBIT_COORDS(14, 2) 78
QUBIT_COORDS(14, 4) 79
QUBIT_COORDS(14, 6) 80
QUBIT_COORDS(14, 8) 81
QUBIT_COORDS(14, 10) 82
QUBIT_COORDS(15, 1) 83
QUBIT_COORDS(15, 3) 84
QUBIT_COORDS(15, 5) 85
QUBIT_COORDS(15, 7) 86
QUBIT_COORDS(15, 9) 87
QUBIT_COORDS(16, 0) 88
QUBIT_COORDS(16, 2) 89
QUBIT_COORDS(16, 4) 90
QUBIT_COORDS(16, 6) 91
QUBIT_COORDS(16, 8) 92
QUBIT_COORDS(16, 10) 93
QUBIT_COORDS(17, 1) 94
QUBIT_COORDS(17, 3) 95
QUBIT_COORDS(17, 5) 96
QUBIT_COORDS(17, 7) 97
QUBIT_COORDS(17, 9) 98
QUBIT_COORDS(18, 0) 99
QUBIT_COORDS(18, 2) 100
QUBIT_COORDS(18, 4) 101
QUBIT_COORDS(18, 6) 102
QUBIT_COORDS(18, 8) 103
QUBIT_COORDS(18, 10) 104
QUBIT_COORDS(19, 1) 105
QUBIT_COORDS(19, 3) 106
QUBIT_COORDS(19, 5) 107
QUBIT_COORDS(19, 7) 108
QUBIT_COORDS(19, 9) 109
QUBIT_COORDS(20, 0) 110
QUBIT_COORDS(20, 2) 111
QUBIT_COORDS(20, 4) 112
QUBIT_COORDS(20, 6) 113
QUBIT_COORDS(20, 8) 114
QUBIT_COORDS(20, 10) 115
QUBIT_COORDS(21, 1) 116
QUBIT_COORDS(21, 3) 117
QUBIT_COORDS(21, 5) 118
QUBIT_COORDS(21, 7) 119
QUBIT_COORDS(21, 9) 120
QUBIT_COORDS(22, 0) 121
QUBIT_COORDS(22, 2) 122
QUBIT_COORDS(22, 4) 123
QUBIT_COORDS(22, 6) 124
QUBIT_COORDS(22, 8) 125
QUBIT_COORDS(22, 10) 126
R 48 46 38 36 34 26 24 16 14 12 4 2 43 32 31 21 20 19 10 9 8 7
RX 54 53 52 51 42 41 40 39 30 29 28 18 17 6 59 57 47 45 37 35 33 25 23 15 13 11
TICK
CX 47 53 45 51 37 43 35 41 33 39 25 31 23 29 15 21 13 19 11 17 54 48 52 46 42 36 40 34 32 26 30 24 20 14 18 12 10 4 8 2
TICK
CX 47 52 37 42 35 40 25 30 23 28 15 20 13 18 43 48 41 46 31 36 29 34 21 26 19 24 9 14 7 12
TICK
CX 59 54 57 52 47 42 45 40 37 32 35 30 33 28 25 20 23 18 15 10 13 8 11 6 53 48 51 46 43 38 41 36 39 34 31 26 29 24 21 16 19 14 17 12 9 4 7 2
TICK
CX 59 53 57 51 47 41 45 39 37 31 35 29 25 19 23 17 15 9 13 7 42 48 40 46 32 38 30 36 28 34 20 26 18 24 10 16 8 14 6 12
TICK
M 48 46 38 36 34 26 24 16 14 12 4 2
MX 59 57 47 45 37 35 33 25 23 15 13 11
DETECTOR(2, 0, 0) rec[-1]
DETECTOR(4, 2, 0) rec[-4]
DETECTOR(6, 0, 0) rec[-6]
DETECTOR(6, 4, 0) rec[-7]
DETECTOR(8, 2, 0) rec[-9]
DETECTOR(8, 6, 0) rec[-10]
DETECTOR(10, 4, 0) rec[-11]
DETECTOR(10, 8, 0) rec[-12]
DETECTOR(0, 4, 0) rec[-13]
DETECTOR(0, 8, 0) rec[-14]
DETECTOR(2, 6, 0) rec[-16]
DETECTOR(2, 10, 0) rec[-17]
DETECTOR(4, 8, 0) rec[-19]
DETECTOR(6, 10, 0) rec[-22]
TICK
R 48 46 38 36 34 26 24 16 14 12 4 2
RX 59 57 47 45 37 35 33 25 23 15 13 11
TICK
CX 47 53 45 51 37 43 35 41 33 39 25 31 23 29 15 21 13 19 11 17 54 48 52 46 42 36 40 34 32 26 30 24 20 14 18 12 10 4 8 2
TICK
CX 47 52 37 42 35 40 25 30 23 28 15 20 13 18 43 48 41 46 31 36 29 34 21 26 19 24 9 14 7 12
TICK
CX 59 54 57 52 47 42 45 40 37 32 35 30 33 28 25 20 23 18 15 10 13 8 11 6 53 48 51 46 43 38 41 36 39 34 31 26 29 24 21 16 19 14 17 12 9 4 7 2
TICK
CX 59 53 57 51 47 41 45 39 37 31 35 29 25 19 23 17 15 9 13 7 42 48 40 46 32 38 30 36 28 34 20 26 18 24 10 16 8 14 6 12
TICK
M 48 46 38 36 34 26 24 16 14 12 4 2
MX 59 57 47 45 37 35 33 25 23 15 13 11
DETECTOR(8, 8, 1) rec[-24] rec[-48]
DETECTOR(8, 4, 1) rec[-23] rec[-47]
DETECTOR(6, 10, 1) rec[-22] rec[-46]
DETECTOR(6, 6, 1) rec[-21] rec[-45]
DETECTOR(6, 2, 1) rec[-20] rec[-44]
DETECTOR(4, 8, 1) rec[-19] rec[-43]
DETECTOR(4, 4, 1) rec[-18] rec[-42]
DETECTOR(2, 10, 1) rec[-17] rec[-41]
DETECTOR(2, 6, 1) rec[-16] rec[-40]
DETECTOR(2, 2, 1) rec[-15] rec[-39]
DETECTOR(0, 8, 1) rec[-14] rec[-38]
DETECTOR(0, 4, 1) rec[-13] rec[-37]
DETECTOR(10, 8, 1) rec[-12] rec[-36]
DETECTOR(10, 4, 1) rec[-11] rec[-35]
DETECTOR(8, 6, 1) rec[-10] rec[-34]
DETECTOR(8, 2, 1) rec[-9] rec[-33]
DETECTOR(6, 8, 1) rec[-8] rec[-32]
DETECTOR(6, 4, 1) rec[-7] rec[-31]
DETECTOR(6, 0, 1) rec[-6] rec[-30]
DETECTOR(4, 6, 1) rec[-5] rec[-29]
DETECTOR(4, 2, 1) rec[-4] rec[-28]
DETECTOR(2, 8, 1) rec[-3] rec[-27]
DETECTOR(2, 4, 1) rec[-2] rec[-26]
DETECTOR(2, 0, 1) rec[-1] rec[-25]
TICK
R 48 46 38 36 34 26 24 16 14 12 4 2
RX 59 57 47 45 37 35 33 25 23 15 13 11
TICK
CX 47 53 45 51 37 43 35 41 33 39 25 31 23 29 15 21 13 19 11 17 54 48 52 46 42 36 40 34 32 26 30 24 20 14 18 12 10 4 8 2
TICK
CX 47 52 37 42 35 40 25 30 23 28 15 20 13 18 43 48 41 46 31 36 29 34 21 26 19 24 9 14 7 12
TICK
CX 59 54 57 52 47 42 45 40 37 32 35 30 33 28 25 20 23 18 15 10 13 8 11 6 53 48 51 46 43 38 41 36 39 34 31 26 29 24 21 16 19 14 17 12 9 4 7 2
TICK
CX 59 53 57 51 47 41 45 39 37 31 35 29 25 19 23 17 15 9 13 7 42 48 40 46 32 38 30 36 28 34 20 26 18 24 10 16 8 14 6 12
TICK
M 48 46 38 36 34 26 24 16 14 12 4 2
MX 59 57 47 45 37 35 33 25 23 15 13 11
DETECTOR(8, 8, 2) rec[-24] rec[-48]
DETECTOR(8, 4, 2) rec[-23] rec[-47]
DETECTOR(6, 10, 2) rec[-22] rec[-46]
DETECTOR(6, 6, 2) rec[-21] rec[-45]
DETECTOR(6, 2, 2) rec[-20] rec[-44]
DETECTOR(4, 8, 2) rec[-19] rec[-43]
DETECTOR(4, 4, 2) rec[-18] rec[-42]
DETECTOR(2, 10, 2) rec[-17] rec[-41]
DETECTOR(2, 6, 2) rec[-16] rec[-40]
DETECTOR(2, 2, 2) rec[-15] rec[-39]
DETECTOR(0, 8, 2) rec[-14] rec[-38]
DETECTOR(0, 4, 2) rec[-13] rec[-37]
DETECTOR(10, 8, 2) rec[-12] rec[-36]
DETECTOR(10, 4, 2) rec[-11] rec[-35]
DETECTOR(8, 6, 2) rec[-10] rec[-34]
DETECTOR(8, 2, 2) rec[-9] rec[-33]
DETECTOR(6, 8, 2) rec[-8] rec[-32]
DETECTOR(6, 4, 2) rec[-7] rec[-31]
DETECTOR(6, 0, 2) rec[-6] rec[-30]
DETECTOR(4, 6, 2) rec[-5] rec[-29]
DETECTOR(4, 2, 2) rec[-4] rec[-28]
DETECTOR(2, 8, 2) rec[-3] rec[-27]
DETECTOR(2, 4, 2) rec[-2] rec[-26]
DETECTOR(2, 0, 2) rec[-1] rec[-25]
TICK
R 48 46 38 36 34 26 24 16 14 12 4 3 2 1
RY 50
RX 59 57 47 45 44 37 35 33 25 23 22 15 13 11
TICK
S_DAG 45 35 25 15
H 44 34 33 24 23 22 14 13 12 11 4 3 2 1 39 29 28 19 18 17 9 8 7 6
TICK
CY 40 34 30 24 20 14 10 4
TICK
CX 42 48 40 46 32 38 30 36 20 26 10 16 59 53 57 51 47 41 37 31 22 28 12 18 2 8 39 33 29 23 19 13 17 11 9 3 7 1
TICK
CX 53 48 51 46 43 38 41 36 31 26 21 16 59 54 57 52 47 42 37 32
CY 45 40 35 30 25 20 15 10
CX 34 39 24 29 14 19 12 17 4 9 2 7 28 33 18 23 8 13 6 11
TICK
CX 43 48 41 46 39 44 31 36 29 34 21 26 19 24 17 22 9 14 7 12 47 52 45 50 37 42 35 40 25 30 23 28 15 20 13 18 3 8 1 6
TICK
CX 54 48 52 46 50 44 42 36 40 34 32 26 30 24 28 22 20 14 18 12 47 53 45 51 37 43 35 41 25 31 23 29 15 21 13 19 3 9 1 7
TICK
M 48 46 44 38 36 34 33 26 24 22 16 14 12 11
MX 59 57 47 45 37 35 25 23 15 13 4 3 2 1
OBSERVABLE_INCLUDE(0) rec[-26] rec[-23] rec[-22] rec[-21] rec[-18] rec[-13] rec[-11] rec[-9] rec[-4] rec[-3]
DETECTOR(8, 8, 3) rec[-28] rec[-52]
DETECTOR(8, 4, 3) rec[-27] rec[-51]
DETECTOR(6, 10, 3) rec[-25] rec[-50]
DETECTOR(6, 6, 3) rec[-24] rec[-49]
DETECTOR(4, 2, 3) rec[-7] rec[-48]
DETECTOR(4, 8, 3) rec[-21] rec[-47]
DETECTOR(2, 4, 3) rec[-5] rec[-46]
DETECTOR(2, 10, 3) rec[-18] rec[-45]
DETECTOR(0, 6, 3) rec[-3] rec[-44]
DETECTOR(0, 2, 3) rec[-1] rec[-43]
DETECTOR(0, 8, 3) rec[-4] rec[-42]
DETECTOR(0, 4, 3) rec[-2] rec[-41]
DETECTOR(10, 8, 3) rec[-14] rec[-40]
DETECTOR(10, 4, 3) rec[-13] rec[-39]
DETECTOR(8, 6, 3) rec[-12] rec[-38]
DETECTOR(8, 1, 3) rec[-11] rec[-26] rec[-37]
DETECTOR(6, 8, 3) rec[-10] rec[-36]
DETECTOR(6, 3, 3) rec[-9] rec[-23] rec[-35]
DETECTOR(6, 0, 3) rec[-22] rec[-34]
DETECTOR(4, 5, 3) rec[-8] rec[-20] rec[-33]
DETECTOR(4, 0, 3) rec[-19] rec[-32]
DETECTOR(2, 7, 3) rec[-6] rec[-17] rec[-31]
DETECTOR(2, 2, 3) rec[-16] rec[-30]
DETECTOR(2, 0, 3) rec[-15] rec[-29]
TICK
RX 1 3 12 13 14 15 16 22 23 24 25 26 34 35 36 37 38 44 45 46 47 48 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 72 73 74 75 76 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 94 95 96 97 98 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 116 117 118 119 120 123 125
TICK
CX 13 7 15 9 23 17 25 19 35 29 37 31 45 39 47 41 57 51 59 53 67 61 69 63 79 73 81 75 89 83 91 85 101 95 103 97 111 105 113 107 123 117 125 119
CZ 6 12 8 14 10 16 18 24 20 26 28 34 30 36 32 38 40 46 42 48 50 56 52 58 54 60 62 68 64 70 72 78 74 80 76 82 84 90 86 92 94 100 96 102 98 104 106 112 108 114
TICK
CZ 12 17 14 19 24 29 26 31 34 39 36 41 46 51 48 53 56 61 58 63 68 73 70 75 78 83 80 85 90 95 92 97 100 105 102 107 112 117 114 119
TICK
CX 13 8 15 10 23 18 25 20 35 30 37 32 45 40 47 42 57 52 59 54 67 62 69 64 79 74 81 76 89 84 91 86 101 96 103 98 111 106 113 108 123 118 125 120
CZ 7 12 9 14 17 22 19 24 21 26 29 34 31 36 39 44 41 46 43 48 51 56 53 58 61 66 63 68 65 70 73 78 75 80 83 88 85 90 87 92 95 100 97 102 105 110 107 112 109 114
TICK
CX 1 6 3 8 13 18 15 20 23 28 25 30 35 40 37 42 45 50 47 52 57 62 59 64 67 72 69 74 79 84 81 86 89 94 91 96 101 106 103 108 111 116 113 118
CZ 16 21 38 43 60 65 82 87 104 109
TICK
CX 1 7 3 9 13 19 15 21 23 29 25 31 35 41 37 43 45 51 47 53 57 63 59 65 67 73 69 75 79 85 81 87 89 95 91 97 101 107 103 109 111 117 113 119
CZ 12 18 14 20 22 28 24 30 26 32 34 40 36 42 44 50 46 52 48 54 56 62 58 64 66 72 68 74 70 76 78 84 80 86 88 94 90 96 92 98 100 106 102 108 110 116 112 118 114 120
TICK
MX 1 3 12 13 14 15 16 22 23 24 25 26 34 35 36 37 38 44 45 46 47 48 56 57 58 59 60 66 67 68 69 70 78 79 80 81 82 88 89 90 91 92 100 101 102 103 104 110 111 112 113 114 123 125
OBSERVABLE_INCLUDE(0) rec[-42] rec[-40] rec[-38] rec[-37] rec[-35] rec[-33] rec[-32] rec[-30] rec[-28] rec[-27] rec[-25] rec[-23] rec[-22] rec[-20] rec[-18] rec[-17] rec[-15] rec[-13]
DETECTOR(22, 8, 4) rec[-1]
DETECTOR(22, 4, 4) rec[-2]
DETECTOR(20, 6, 4) rec[-4]
DETECTOR(20, 2, 4) rec[-6]
DETECTOR(18, 8, 4) rec[-9]
DETECTOR(18, 4, 4) rec[-11]
DETECTOR(16, 6, 4) rec[-14]
DETECTOR(16, 2, 4) rec[-16]
DETECTOR(14, 8, 4) rec[-19]
DETECTOR(14, 4, 4) rec[-21]
DETECTOR(12, 6, 4) rec[-24]
DETECTOR(12, 2, 4) rec[-26]
DETECTOR(8, 8, 4) rec[-33] rec[-82]
DETECTOR(8, 4, 4) rec[-35] rec[-81]
DETECTOR(6, 10, 4) rec[-38] rec[-79]
DETECTOR(6, 6, 4) rec[-40] rec[-78]
DETECTOR(4, 8, 4) rec[-43] rec[-75]
DETECTOR(2, 10, 4) rec[-48] rec[-72]
DETECTOR(4, 2, 4) rec[-46] rec[-61]
DETECTOR(0, 6, 4) rec[-53] rec[-57]
DETECTOR(2, 4, 4) rec[-51] rec[-56] rec[-59]
DETECTOR(0, 2, 4) rec[-54] rec[-55]
DETECTOR(10, 8, 4) rec[-29] rec[-68]
DETECTOR(10, 4, 4) rec[-31] rec[-67]
DETECTOR(8, 6, 4) rec[-34] rec[-66]
DETECTOR(8, 0, 4) rec[-37] rec[-80]
DETECTOR(6, 8, 4) rec[-39] rec[-64]
DETECTOR(6, 2, 4) rec[-42] rec[-76] rec[-77]
DETECTOR(4, 4, 4) rec[-45] rec[-74]
DETECTOR(4, 0, 4) rec[-47] rec[-73]
DETECTOR(2, 6, 4) rec[-50] rec[-71]
DETECTOR(2, 2, 4) rec[-52] rec[-69] rec[-70]
DETECTOR(1.33333, 8, 4) rec[-49] rec[-58] rec[-60]
DETECTOR(4, 6, 4) rec[-44] rec[-62]
DETECTOR(6, 4, 4) rec[-41] rec[-63]
DETECTOR(8, 2, 4) rec[-36] rec[-65]
TICK
SHIFT_COORDS(0, 0, 1)
TICK
RX 1 3 12 13 14 15 16 22 23 24 25 26 34 35 36 37 38 44 45 46 47 48 56 57 58 59 60 66 67 68 69 70 78 79 80 81 82 88 89 90 91 92 100 101 102 103 104 110 111 112 113 114 123 125
TICK
CX 13 7 15 9 23 17 25 19 35 29 37 31 45 39 47 41 57 51 59 53 67 61 69 63 79 73 81 75 89 83 91 85 101 95 103 97 111 105 113 107 123 117 125 119
CZ 6 12 8 14 10 16 18 24 20 26 28 34 30 36 32 38 40 46 42 48 50 56 52 58 54 60 62 68 64 70 72 78 74 80 76 82 84 90 86 92 94 100 96 102 98 104 106 112 108 114
TICK
CZ 12 17 14 19 24 29 26 31 34 39 36 41 46 51 48 53 56 61 58 63 68 73 70 75 78 83 80 85 90 95 92 97 100 105 102 107 112 117 114 119
TICK
CX 13 8 15 10 23 18 25 20 35 30 37 32 45 40 47 42 57 52 59 54 67 62 69 64 79 74 81 76 89 84 91 86 101 96 103 98 111 106 113 108 123 118 125 120
CZ 7 12 9 14 17 22 19 24 21 26 29 34 31 36 39 44 41 46 43 48 51 56 53 58 61 66 63 68 65 70 73 78 75 80 83 88 85 90 87 92 95 100 97 102 105 110 107 112 109 114
TICK
CX 1 6 3 8 13 18 15 20 23 28 25 30 35 40 37 42 45 50 47 52 57 62 59 64 67 72 69 74 79 84 81 86 89 94 91 96 101 106 103 108 111 116 113 118
CZ 16 21 38 43 60 65 82 87 104 109
TICK
CX 1 7 3 9 13 19 15 21 23 29 25 31 35 41 37 43 45 51 47 53 57 63 59 65 67 73 69 75 79 85 81 87 89 95 91 97 101 107 103 109 111 117 113 119
CZ 12 18 14 20 22 28 24 30 26 32 34 40 36 42 44 50 46 52 48 54 56 62 58 64 66 72 68 74 70 76 78 84 80 86 88 94 90 96 92 98 100 106 102 108 110 116 112 118 114 120
TICK
MX 1 3 12 13 14 15 16 22 23 24 25 26 34 35 36 37 38 44 45 46 47 48 56 57 58 59 60 66 67 68 69 70 78 79 80 81 82 88 89 90 91 92 100 101 102 103 104 110 111 112 113 114 123 125
DETECTOR(0, 2, 5) rec[-54] rec[-108]
DETECTOR(0, 6, 5) rec[-53] rec[-107]
DETECTOR(2, 2, 5) rec[-52] rec[-106]
DETECTOR(2, 4, 5) rec[-51] rec[-105]
DETECTOR(2, 6, 5) rec[-50] rec[-104]
DETECTOR(2, 8, 5) rec[-49] rec[-103]
DETECTOR(2, 10, 5) rec[-48] rec[-102]
DETECTOR(4, 0, 5) rec[-47] rec[-101]
DETECTOR(4, 2, 5) rec[-46] rec[-100]
DETECTOR(4, 4, 5) rec[-45] rec[-99]
DETECTOR(4, 6, 5) rec[-44] rec[-98]
DETECTOR(4, 8, 5) rec[-43] rec[-97]
DETECTOR(6, 2, 5) rec[-42] rec[-96]
DETECTOR(6, 4, 5) rec[-41] rec[-95]
DETECTOR(6, 6, 5) rec[-40] rec[-94]
DETECTOR(6, 8, 5) rec[-39] rec[-93]
DETECTOR(6, 10, 5) rec[-38] rec[-92]
DETECTOR(8, 0, 5) rec[-37] rec[-91]
DETECTOR(8, 2, 5) rec[-36] rec[-90]
DETECTOR(8, 4, 5) rec[-35] rec[-89]
DETECTOR(8, 6, 5) rec[-34] rec[-88]
DETECTOR(8, 8, 5) rec[-33] rec[-87]
DETECTOR(10, 2, 5) rec[-32] rec[-86]
DETECTOR(10, 4, 5) rec[-31] rec[-85]
DETECTOR(10, 6, 5) rec[-30] rec[-84]
DETECTOR(10, 8, 5) rec[-29] rec[-83]
DETECTOR(10, 10, 5) rec[-28] rec[-82]
DETECTOR(12, 0, 5) rec[-27] rec[-81]
DETECTOR(12, 2, 5) rec[-26] rec[-80]
DETECTOR(12, 4, 5) rec[-25] rec[-79]
DETECTOR(12, 6, 5) rec[-24] rec[-78]
DETECTOR(12, 8, 5) rec[-23] rec[-77]
DETECTOR(14, 2, 5) rec[-22] rec[-76]
DETECTOR(14, 4, 5) rec[-21] rec[-75]
DETECTOR(14, 6, 5) rec[-20] rec[-74]
DETECTOR(14, 8, 5) rec[-19] rec[-73]
DETECTOR(14, 10, 5) rec[-18] rec[-72]
DETECTOR(16, 0, 5) rec[-17] rec[-71]
DETECTOR(16, 2, 5) rec[-16] rec[-70]
DETECTOR(16, 4, 5) rec[-15] rec[-69]
DETECTOR(16, 6, 5) rec[-14] rec[-68]
DETECTOR(16, 8, 5) rec[-13] rec[-67]
DETECTOR(18, 2, 5) rec[-12] rec[-66]
DETECTOR(18, 4, 5) rec[-11] rec[-65]
DETECTOR(18, 6, 5) rec[-10] rec[-64]
DETECTOR(18, 8, 5) rec[-9] rec[-63]
DETECTOR(18, 10, 5) rec[-8] rec[-62]
DETECTOR(20, 0, 5) rec[-7] rec[-61]
DETECTOR(20, 2, 5) rec[-6] rec[-60]
DETECTOR(20, 4, 5) rec[-5] rec[-59]
DETECTOR(20, 6, 5) rec[-4] rec[-58]
DETECTOR(20, 8, 5) rec[-3] rec[-57]
DETECTOR(22, 4, 5) rec[-2] rec[-56]
DETECTOR(22, 8, 5) rec[-1] rec[-55]
TICK
RX 1 3 12 13 14 15 16 22 23 24 25 26 34 35 36 37 38 44 45 46 47 48 56 57 58 59 60 66 67 68 69 70 78 79 80 81 82 88 89 90 91 92 100 101 102 103 104 110 111 112 113 114 123 125
TICK
CX 13 7 15 9 23 17 25 19 35 29 37 31 45 39 47 41 57 51 59 53 67 61 69 63 79 73 81 75 89 83 91 85 101 95 103 97 111 105 113 107 123 117 125 119
CZ 6 12 8 14 10 16 18 24 20 26 28 34 30 36 32 38 40 46 42 48 50 56 52 58 54 60 62 68 64 70 72 78 74 80 76 82 84 90 86 92 94 100 96 102 98 104 106 112 108 114
TICK
CZ 12 17 14 19 24 29 26 31 34 39 36 41 46 51 48 53 56 61 58 63 68 73 70 75 78 83 80 85 90 95 92 97 100 105 102 107 112 117 114 119
TICK
CX 13 8 15 10 23 18 25 20 35 30 37 32 45 40 47 42 57 52 59 54 67 62 69 64 79 74 81 76 89 84 91 86 101 96 103 98 111 106 113 108 123 118 125 120
CZ 7 12 9 14 17 22 19 24 21 26 29 34 31 36 39 44 41 46 43 48 51 56 53 58 61 66 63 68 65 70 73 78 75 80 83 88 85 90 87 92 95 100 97 102 105 110 107 112 109 114
TICK
CX 1 6 3 8 13 18 15 20 23 28 25 30 35 40 37 42 45 50 47 52 57 62 59 64 67 72 69 74 79 84 81 86 89 94 91 96 101 106 103 108 111 116 113 118
CZ 16 21 38 43 60 65 82 87 104 109
TICK
CX 1 7 3 9 13 19 15 21 23 29 25 31 35 41 37 43 45 51 47 53 57 63 59 65 67 73 69 75 79 85 81 87 89 95 91 97 101 107 103 109 111 117 113 119
CZ 12 18 14 20 22 28 24 30 26 32 34 40 36 42 44 50 46 52 48 54 56 62 58 64 66 72 68 74 70 76 78 84 80 86 88 94 90 96 92 98 100 106 102 108 110 116 112 118 114 120
TICK
MX 1 3 12 13 14 15 16 22 23 24 25 26 34 35 36 37 38 44 45 46 47 48 56 57 58 59 60 66 67 68 69 70 78 79 80 81 82 88 89 90 91 92 100 101 102 103 104 110 111 112 113 114 123 125
DETECTOR(0, 2, 6) rec[-54] rec[-108]
DETECTOR(0, 6, 6) rec[-53] rec[-107]
DETECTOR(2, 2, 6) rec[-52] rec[-106]
DETECTOR(2, 4, 6) rec[-51] rec[-105]
DETECTOR(2, 6, 6) rec[-50] rec[-104]
DETECTOR(2, 8, 6) rec[-49] rec[-103]
DETECTOR(2, 10, 6) rec[-48] rec[-102]
DETECTOR(4, 0, 6) rec[-47] rec[-101]
DETECTOR(4, 2, 6) rec[-46] rec[-100]
DETECTOR(4, 4, 6) rec[-45] rec[-99]
DETECTOR(4, 6, 6) rec[-44] rec[-98]
DETECTOR(4, 8, 6) rec[-43] rec[-97]
DETECTOR(6, 2, 6) rec[-42] rec[-96]
DETECTOR(6, 4, 6) rec[-41] rec[-95]
DETECTOR(6, 6, 6) rec[-40] rec[-94]
DETECTOR(6, 8, 6) rec[-39] rec[-93]
DETECTOR(6, 10, 6) rec[-38] rec[-92]
DETECTOR(8, 0, 6) rec[-37] rec[-91]
DETECTOR(8, 2, 6) rec[-36] rec[-90]
DETECTOR(8, 4, 6) rec[-35] rec[-89]
DETECTOR(8, 6, 6) rec[-34] rec[-88]
DETECTOR(8, 8, 6) rec[-33] rec[-87]
DETECTOR(10, 2, 6) rec[-32] rec[-86]
DETECTOR(10, 4, 6) rec[-31] rec[-85]
DETECTOR(10, 6, 6) rec[-30] rec[-84]
DETECTOR(10, 8, 6) rec[-29] rec[-83]
DETECTOR(10, 10, 6) rec[-28] rec[-82]
DETECTOR(12, 0, 6) rec[-27] rec[-81]
DETECTOR(12, 2, 6) rec[-26] rec[-80]
DETECTOR(12, 4, 6) rec[-25] rec[-79]
DETECTOR(12, 6, 6) rec[-24] rec[-78]
DETECTOR(12, 8, 6) rec[-23] rec[-77]
DETECTOR(14, 2, 6) rec[-22] rec[-76]
DETECTOR(14, 4, 6) rec[-21] rec[-75]
DETECTOR(14, 6, 6) rec[-20] rec[-74]
DETECTOR(14, 8, 6) rec[-19] rec[-73]
DETECTOR(14, 10, 6) rec[-18] rec[-72]
DETECTOR(16, 0, 6) rec[-17] rec[-71]
DETECTOR(16, 2, 6) rec[-16] rec[-70]
DETECTOR(16, 4, 6) rec[-15] rec[-69]
DETECTOR(16, 6, 6) rec[-14] rec[-68]
DETECTOR(16, 8, 6) rec[-13] rec[-67]
DETECTOR(18, 2, 6) rec[-12] rec[-66]
DETECTOR(18, 4, 6) rec[-11] rec[-65]
DETECTOR(18, 6, 6) rec[-10] rec[-64]
DETECTOR(18, 8, 6) rec[-9] rec[-63]
DETECTOR(18, 10, 6) rec[-8] rec[-62]
DETECTOR(20, 0, 6) rec[-7] rec[-61]
DETECTOR(20, 2, 6) rec[-6] rec[-60]
DETECTOR(20, 4, 6) rec[-5] rec[-59]
DETECTOR(20, 6, 6) rec[-4] rec[-58]
DETECTOR(20, 8, 6) rec[-3] rec[-57]
DETECTOR(22, 4, 6) rec[-2] rec[-56]
DETECTOR(22, 8, 6) rec[-1] rec[-55]
TICK
RX 1 3 12 13 14 15 16 22 23 24 25 26 34 35 36 37 38 44 45 46 47 48 56 57 58 59 60 66 67 68 69 70 78 79 80 81 82 88 89 90 91 92 100 101 102 103 104 110 111 112 113 114 123 125
TICK
CX 13 7 15 9 23 17 25 19 35 29 37 31 45 39 47 41 57 51 59 53 67 61 69 63 79 73 81 75 89 83 91 85 101 95 103 97 111 105 113 107 123 117 125 119
CZ 6 12 8 14 10 16 18 24 20 26 28 34 30 36 32 38 40 46 42 48 50 56 52 58 54 60 62 68 64 70 72 78 74 80 76 82 84 90 86 92 94 100 96 102 98 104 106 112 108 114
TICK
CZ 12 17 14 19 24 29 26 31 34 39 36 41 46 51 48 53 56 61 58 63 68 73 70 75 78 83 80 85 90 95 92 97 100 105 102 107 112 117 114 119
TICK
CX 13 8 15 10 23 18 25 20 35 30 37 32 45 40 47 42 57 52 59 54 67 62 69 64 79 74 81 76 89 84 91 86 101 96 103 98 111 106 113 108 123 118 125 120
CZ 7 12 9 14 17 22 19 24 21 26 29 34 31 36 39 44 41 46 43 48 51 56 53 58 61 66 63 68 65 70 73 78 75 80 83 88 85 90 87 92 95 100 97 102 105 110 107 112 109 114
TICK
CX 1 6 3 8 13 18 15 20 23 28 25 30 35 40 37 42 45 50 47 52 57 62 59 64 67 72 69 74 79 84 81 86 89 94 91 96 101 106 103 108 111 116 113 118
CZ 16 21 38 43 60 65 82 87 104 109
TICK
CX 1 7 3 9 13 19 15 21 23 29 25 31 35 41 37 43 45 51 47 53 57 63 59 65 67 73 69 75 79 85 81 87 89 95 91 97 101 107 103 109 111 117 113 119
CZ 12 18 14 20 22 28 24 30 26 32 34 40 36 42 44 50 46 52 48 54 56 62 58 64 66 72 68 74 70 76 78 84 80 86 88 94 90 96 92 98 100 106 102 108 110 116 112 118 114 120
TICK
MX 1 3 12 13 14 15 16 22 23 24 25 26 34 35 36 37 38 44 45 46 47 48 56 57 58 59 60 66 67 68 69 70 78 79 80 81 82 88 89 90 91 92 100 101 102 103 104 110 111 112 113 114 123 125
DETECTOR(0, 2, 7) rec[-54] rec[-108]
DETECTOR(0, 6, 7) rec[-53] rec[-107]
DETECTOR(2, 2, 7) rec[-52] rec[-106]
DETECTOR(2, 4, 7) rec[-51] rec[-105]
DETECTOR(2, 6, 7) rec[-50] rec[-104]
DETECTOR(2, 8, 7) rec[-49] rec[-103]
DETECTOR(2, 10, 7) rec[-48] rec[-102]
DETECTOR(4, 0, 7) rec[-47] rec[-101]
DETECTOR(4, 2, 7) rec[-46] rec[-100]
DETECTOR(4, 4, 7) rec[-45] rec[-99]
DETECTOR(4, 6, 7) rec[-44] rec[-98]
DETECTOR(4, 8, 7) rec[-43] rec[-97]
DETECTOR(6, 2, 7) rec[-42] rec[-96]
DETECTOR(6, 4, 7) rec[-41] rec[-95]
DETECTOR(6, 6, 7) rec[-40] rec[-94]
DETECTOR(6, 8, 7) rec[-39] rec[-93]
DETECTOR(6, 10, 7) rec[-38] rec[-92]
DETECTOR(8, 0, 7) rec[-37] rec[-91]
DETECTOR(8, 2, 7) rec[-36] rec[-90]
DETECTOR(8, 4, 7) rec[-35] rec[-89]
DETECTOR(8, 6, 7) rec[-34] rec[-88]
DETECTOR(8, 8, 7) rec[-33] rec[-87]
DETECTOR(10, 2, 7) rec[-32] rec[-86]
DETECTOR(10, 4, 7) rec[-31] rec[-85]
DETECTOR(10, 6, 7) rec[-30] rec[-84]
DETECTOR(10, 8, 7) rec[-29] rec[-83]
DETECTOR(10, 10, 7) rec[-28] rec[-82]
DETECTOR(12, 0, 7) rec[-27] rec[-81]
DETECTOR(12, 2, 7) rec[-26] rec[-80]
DETECTOR(12, 4, 7) rec[-25] rec[-79]
DETECTOR(12, 6, 7) rec[-24] rec[-78]
DETECTOR(12, 8, 7) rec[-23] rec[-77]
DETECTOR(14, 2, 7) rec[-22] rec[-76]
DETECTOR(14, 4, 7) rec[-21] rec[-75]
DETECTOR(14, 6, 7) rec[-20] rec[-74]
DETECTOR(14, 8, 7) rec[-19] rec[-73]
DETECTOR(14, 10, 7) rec[-18] rec[-72]
DETECTOR(16, 0, 7) rec[-17] rec[-71]
DETECTOR(16, 2, 7) rec[-16] rec[-70]
DETECTOR(16, 4, 7) rec[-15] rec[-69]
DETECTOR(16, 6, 7) rec[-14] rec[-68]
DETECTOR(16, 8, 7) rec[-13] rec[-67]
DETECTOR(18, 2, 7) rec[-12] rec[-66]
DETECTOR(18, 4, 7) rec[-11] rec[-65]
DETECTOR(18, 6, 7) rec[-10] rec[-64]
DETECTOR(18, 8, 7) rec[-9] rec[-63]
DETECTOR(18, 10, 7) rec[-8] rec[-62]
DETECTOR(20, 0, 7) rec[-7] rec[-61]
DETECTOR(20, 2, 7) rec[-6] rec[-60]
DETECTOR(20, 4, 7) rec[-5] rec[-59]
DETECTOR(20, 6, 7) rec[-4] rec[-58]
DETECTOR(20, 8, 7) rec[-3] rec[-57]
DETECTOR(22, 4, 7) rec[-2] rec[-56]
DETECTOR(22, 8, 7) rec[-1] rec[-55]
TICK
RX 1 3 12 13 14 15 16 22 23 24 25 26 34 35 36 37 38 44 45 46 47 48 56 57 58 59 60 66 67 68 69 70 78 79 80 81 82 88 89 90 91 92 100 101 102 103 104 110 111 112 113 114 123 125
TICK
CX 13 7 15 9 23 17 25 19 35 29 37 31 45 39 47 41 57 51 59 53 67 61 69 63 79 73 81 75 89 83 91 85 101 95 103 97 111 105 113 107 123 117 125 119
CZ 6 12 8 14 10 16 18 24 20 26 28 34 30 36 32 38 40 46 42 48 50 56 52 58 54 60 62 68 64 70 72 78 74 80 76 82 84 90 86 92 94 100 96 102 98 104 106 112 108 114
TICK
CZ 12 17 14 19 24 29 26 31 34 39 36 41 46 51 48 53 56 61 58 63 68 73 70 75 78 83 80 85 90 95 92 97 100 105 102 107 112 117 114 119
TICK
CX 13 8 15 10 23 18 25 20 35 30 37 32 45 40 47 42 57 52 59 54 67 62 69 64 79 74 81 76 89 84 91 86 101 96 103 98 111 106 113 108 123 118 125 120
CZ 7 12 9 14 17 22 19 24 21 26 29 34 31 36 39 44 41 46 43 48 51 56 53 58 61 66 63 68 65 70 73 78 75 80 83 88 85 90 87 92 95 100 97 102 105 110 107 112 109 114
TICK
CX 1 6 3 8 13 18 15 20 23 28 25 30 35 40 37 42 45 50 47 52 57 62 59 64 67 72 69 74 79 84 81 86 89 94 91 96 101 106 103 108 111 116 113 118
CZ 16 21 38 43 60 65 82 87 104 109
TICK
CX 1 7 3 9 13 19 15 21 23 29 25 31 35 41 37 43 45 51 47 53 57 63 59 65 67 73 69 75 79 85 81 87 89 95 91 97 101 107 103 109 111 117 113 119
CZ 12 18 14 20 22 28 24 30 26 32 34 40 36 42 44 50 46 52 48 54 56 62 58 64 66 72 68 74 70 76 78 84 80 86 88 94 90 96 92 98 100 106 102 108 110 116 112 118 114 120
TICK
MX 1 3 12 13 14 15 16 22 23 24 25 26 34 35 36 37 38 44 45 46 47 48 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 78 79 80 81 82 88 89 90 91 92 100 101 102 103 104 110 111 112 113 114 123 125
OBSERVABLE_INCLUDE(0) rec[-30]
DETECTOR(0, 2, 8) rec[-59] rec[-113]
DETECTOR(0, 6, 8) rec[-58] rec[-112]
DETECTOR(2, 2, 8) rec[-57] rec[-111]
DETECTOR(2, 4, 8) rec[-56] rec[-110]
DETECTOR(2, 6, 8) rec[-55] rec[-109]
DETECTOR(2, 8, 8) rec[-54] rec[-108]
DETECTOR(2, 10, 8) rec[-53] rec[-107]
DETECTOR(4, 0, 8) rec[-52] rec[-106]
DETECTOR(4, 2, 8) rec[-51] rec[-105]
DETECTOR(4, 4, 8) rec[-50] rec[-104]
DETECTOR(4, 6, 8) rec[-49] rec[-103]
DETECTOR(4, 8, 8) rec[-48] rec[-102]
DETECTOR(6, 2, 8) rec[-47] rec[-101]
DETECTOR(6, 4, 8) rec[-46] rec[-100]
DETECTOR(6, 6, 8) rec[-45] rec[-99]
DETECTOR(6, 8, 8) rec[-44] rec[-98]
DETECTOR(6, 10, 8) rec[-43] rec[-97]
DETECTOR(8, 0, 8) rec[-42] rec[-96]
DETECTOR(8, 2, 8) rec[-41] rec[-95]
DETECTOR(8, 4, 8) rec[-40] rec[-94]
DETECTOR(8, 6, 8) rec[-39] rec[-93]
DETECTOR(8, 8, 8) rec[-38] rec[-92]
DETECTOR(10, 2, 8) rec[-37] rec[-91]
DETECTOR(10, 4, 8) rec[-36] rec[-90]
DETECTOR(10, 6, 8) rec[-35] rec[-89]
DETECTOR(10, 8, 8) rec[-34] rec[-88]
DETECTOR(10, 10, 8) rec[-33] rec[-87]
DETECTOR(12, 0, 8) rec[-27] rec[-86]
DETECTOR(12, 2, 8) rec[-26] rec[-85]
DETECTOR(12, 4, 8) rec[-25] rec[-84]
DETECTOR(12, 6, 8) rec[-24] rec[-83]
DETECTOR(12, 8, 8) rec[-23] rec[-82]
DETECTOR(14, 2, 8) rec[-22] rec[-81]
DETECTOR(14, 4, 8) rec[-21] rec[-80]
DETECTOR(14, 6, 8) rec[-20] rec[-79]
DETECTOR(14, 8, 8) rec[-19] rec[-78]
DETECTOR(14, 10, 8) rec[-18] rec[-77]
DETECTOR(16, 0, 8) rec[-17] rec[-76]
DETECTOR(16, 2, 8) rec[-16] rec[-75]
DETECTOR(16, 4, 8) rec[-15] rec[-74]
DETECTOR(16, 6, 8) rec[-14] rec[-73]
DETECTOR(16, 8, 8) rec[-13] rec[-72]
DETECTOR(18, 2, 8) rec[-12] rec[-71]
DETECTOR(18, 4, 8) rec[-11] rec[-70]
DETECTOR(18, 6, 8) rec[-10] rec[-69]
DETECTOR(18, 8, 8) rec[-9] rec[-68]
DETECTOR(18, 10, 8) rec[-8] rec[-67]
DETECTOR(20, 0, 8) rec[-7] rec[-66]
DETECTOR(20, 2, 8) rec[-6] rec[-65]
DETECTOR(20, 4, 8) rec[-5] rec[-64]
DETECTOR(20, 6, 8) rec[-4] rec[-63]
DETECTOR(20, 8, 8) rec[-3] rec[-62]
DETECTOR(22, 4, 8) rec[-2] rec[-61]
DETECTOR(22, 8, 8) rec[-1] rec[-60]
TICK
RX 1 3 12 13 14 15 16 22 23 24 25 26 34 35 36 37 38 44 45 46 47 48 57 59 67 68 69 70 79 81 89 91 101 103 111 113 123 125
R 77 78 80 82 88 90 92 99 100 102 104 110 112 114
TICK
CX 13 7 15 9 23 17 25 19 35 29 37 31 45 39 47 41 57 51 59 53 67 73 69 75 79 85 81 87 84 78 86 80 89 95 91 97 94 88 96 90 98 92 101 107 103 109 106 100 108 102 111 117 113 119 116 110 118 112 120 114
CZ 6 12 8 14 10 16 18 24 20 26 28 34 30 36 32 38 40 46 42 48
TICK
CX 67 72 69 74 73 78 75 80 79 84 81 86 83 88 85 90 87 92 89 94 91 96 95 100 97 102 101 106 103 108 105 110 107 112 109 114 111 116 113 118
CZ 12 17 14 19 24 29 26 31 34 39 36 41 46 51 48 53
TICK
CX 13 8 15 10 23 18 25 20 35 30 37 32 45 40 47 42 57 52 59 54 68 73 70 75 72 77 74 79 78 83 80 85 84 89 87 82 90 95 94 99 97 92 100 105 103 98 107 102 109 104 113 108 117 112 119 114 123 118 125 120
CY 81 76 91 86 101 96 111 106
CZ 7 12 9 14 17 22 19 24 21 26 29 34 31 36 39 44 41 46 43 48
TICK
CX 1 6 3 8 13 18 15 20 23 28 25 30 35 40 37 42 45 50 47 52 68 74 73 67 75 69 76 82 78 84 83 77 85 79 86 92 88 94 95 89 96 102 98 104 103 97 105 99 106 112 108 114 113 107 123 117 125 119
CZ 16 21 38 43
TICK
CX 1 7 3 9 13 19 15 21 23 29 25 31 35 41 37 43 45 51 47 53
CY 76 70 86 80 96 90 106 100
CZ 12 18 14 20 22 28 24 30 26 32 34 40 36 42 44 50 46 52 48 54
TICK
H 67 68 69 70 72 73 74 75 77 78 79 80 83 84 85 88 89 90 94 95 99 100 105 110
S 81 91 101 111
TICK
MX 1 3 12 13 14 15 16 22 23 24 25 26 34 35 36 37 38 44 45 46 47 48 57 59 77 79 81 88 89 91 99 101 103 110 111 113 123 125
MY 116
M 67 68 69 70 78 80 82 90 92 100 102 104 112 114
OBSERVABLE_INCLUDE(0) rec[-23] rec[-22] rec[-20] rec[-19] rec[-17] rec[-15] rec[-12] rec[-11] rec[-9] rec[-8] rec[-6]
DETECTOR(0, 2, 9) rec[-53] rec[-112]
DETECTOR(0, 6, 9) rec[-52] rec[-111]
DETECTOR(2, 2, 9) rec[-51] rec[-110]
DETECTOR(2, 4, 9) rec[-50] rec[-109]
DETECTOR(2, 6, 9) rec[-49] rec[-108]
DETECTOR(2, 8, 9) rec[-48] rec[-107]
DETECTOR(2, 10, 9) rec[-47] rec[-106]
DETECTOR(4, 0, 9) rec[-46] rec[-105]
DETECTOR(4, 2, 9) rec[-45] rec[-104]
DETECTOR(4, 4, 9) rec[-44] rec[-103]
DETECTOR(4, 6, 9) rec[-43] rec[-102]
DETECTOR(4, 8, 9) rec[-42] rec[-101]
DETECTOR(6, 2, 9) rec[-41] rec[-100]
DETECTOR(6, 4, 9) rec[-40] rec[-99]
DETECTOR(6, 6, 9) rec[-39] rec[-98]
DETECTOR(6, 8, 9) rec[-38] rec[-97]
DETECTOR(6, 10, 9) rec[-37] rec[-96]
DETECTOR(8, 0, 9) rec[-36] rec[-95]
DETECTOR(8, 2, 9) rec[-35] rec[-94]
DETECTOR(8, 4, 9) rec[-34] rec[-93]
DETECTOR(8, 6, 9) rec[-33] rec[-92]
DETECTOR(8, 8, 9) rec[-32] rec[-91]
DETECTOR(10, 4, 9) rec[-31] rec[-83] rec[-84] rec[-89]
DETECTOR(10, 8, 9) rec[-30] rec[-81] rec[-82] rec[-87]
DETECTOR(12, 2, 9) rec[-14] rec[-79] rec[-84] rec[-85]
DETECTOR(12, 6, 9) rec[-12] rec[-77] rec[-82] rec[-83]
DETECTOR(14, 0, 9) rec[-29] rec[-75]
DETECTOR(12, 4, 9) rec[-13] rec[-74]
DETECTOR(14, 4, 9) rec[-28] rec[-73]
DETECTOR(14, 10, 9) rec[-8] rec[-71]
DETECTOR(16, 0, 9) rec[-26] rec[-70]
DETECTOR(14, 2, 9) rec[-10] rec[-69]
DETECTOR(16, 2, 9) rec[-25] rec[-68]
DETECTOR(16, 8, 9) rec[-6] rec[-66]
DETECTOR(18, 0, 9) rec[-23] rec[-65]
DETECTOR(18, 6, 9) rec[-4] rec[-63]
DETECTOR(18, 8, 9) rec[-21] rec[-62]
DETECTOR(18, 10, 9) rec[-3] rec[-61]
DETECTOR(20, 0, 9) rec[-20] rec[-60]
DETECTOR(20, 4, 9) rec[-2] rec[-58]
DETECTOR(20, 6, 9) rec[-18] rec[-57]
DETECTOR(20, 8, 9) rec[-1] rec[-56]
DETECTOR(22, 4, 9) rec[-17] rec[-55]
DETECTOR(22, 8, 9) rec[-16] rec[-54]
DETECTOR(19.3333, 2, 9) rec[-5] rec[-19] rec[-59]
DETECTOR(17.3333, 4, 9) rec[-7] rec[-22] rec[-64]
DETECTOR(15.3333, 6, 9) rec[-9] rec[-24] rec[-67]
DETECTOR(13.3333, 8, 9) rec[-11] rec[-27] rec[-72]
TICK
SHIFT_COORDS(0, 0, 1)
TICK
RX 1 3 12 13 14 15 16 22 23 24 25 26 34 35 36 37 38 44 45 46 47 48 57 59 77 79 81 89 91 99 101 103 111 113 123 125
R 68 70 78 80 82 90 92 100 102 104 112 114
TICK
CX 13 7 15 9 23 17 25 19 35 29 37 31 45 39 47 41 57 51 59 53 72 78 74 80 76 82 79 73 81 75 84 90 86 92 89 83 91 85 94 100 96 102 98 104 101 95 103 97 106 112 108 114 111 105 113 107 123 117 125 119
CZ 6 12 8 14 10 16 18 24 20 26 28 34 30 36 32 38 40 46 42 48
TICK
CX 73 68 75 70 77 72 79 74 81 76 83 78 85 80 87 82 89 84 91 86 95 90 97 92 99 94 101 96 103 98 105 100 107 102 109 104 111 106 113 108 117 112 119 114 123 118 125 120
CZ 12 17 14 19 24 29 26 31 34 39 36 41 46 51 48 53
TICK
CX 13 8 15 10 23 18 25 20 35 30 37 32 45 40 47 42 57 52 59 54 73 78 75 80 79 84 81 86 85 90 87 92 89 94 91 96 95 100 97 102 101 106 103 108 107 112 109 114 113 118
CZ 7 12 9 14 17 22 19 24 21 26 29 34 31 36 39 44 41 46 43 48
TICK
CX 1 6 3 8 13 18 15 20 23 28 25 30 35 40 37 42 45 50 47 52 74 68 76 70 77 83 79 85 81 87 84 78 86 80 89 95 91 97 96 90 98 92 99 105 101 107 103 109 106 100 108 102 111 117 113 119 118 112 120 114
CZ 16 21 38 43
TICK
CX 1 7 3 9 13 19 15 21 23 29 25 31 35 41 37 43 45 51 47 53
CZ 12 18 14 20 22 28 24 30 26 32 34 40 36 42 44 50 46 52 48 54
TICK
MX 1 3 12 13 14 15 16 22 23 24 25 26 34 35 36 37 38 44 45 46 47 48 57 59 77 79 81 89 91 99 101 103 111 113 123 125
M 68 70 78 80 82 90 92 100 102 104 112 114
DETECTOR(0, 2, 10) rec[-48] rec[-101]
DETECTOR(0, 6, 10) rec[-47] rec[-100]
DETECTOR(2, 2, 10) rec[-46] rec[-99]
DETECTOR(2, 4, 10) rec[-45] rec[-98]
DETECTOR(2, 6, 10) rec[-44] rec[-97]
DETECTOR(2, 8, 10) rec[-43] rec[-96]
DETECTOR(2, 10, 10) rec[-42] rec[-95]
DETECTOR(4, 0, 10) rec[-41] rec[-94]
DETECTOR(4, 2, 10) rec[-40] rec[-93]
DETECTOR(4, 4, 10) rec[-39] rec[-92]
DETECTOR(4, 6, 10) rec[-38] rec[-91]
DETECTOR(4, 8, 10) rec[-37] rec[-90]
DETECTOR(6, 2, 10) rec[-36] rec[-89]
DETECTOR(6, 4, 10) rec[-35] rec[-88]
DETECTOR(6, 6, 10) rec[-34] rec[-87]
DETECTOR(6, 8, 10) rec[-33] rec[-86]
DETECTOR(6, 10, 10) rec[-32] rec[-85]
DETECTOR(8, 0, 10) rec[-31] rec[-84]
DETECTOR(8, 2, 10) rec[-30] rec[-83]
DETECTOR(8, 4, 10) rec[-29] rec[-82]
DETECTOR(8, 6, 10) rec[-28] rec[-81]
DETECTOR(8, 8, 10) rec[-27] rec[-80]
DETECTOR(10, 4, 10) rec[-26] rec[-79]
DETECTOR(10, 8, 10) rec[-25] rec[-78]
DETECTOR(14, 2, 10) rec[-10] rec[-58]
DETECTOR(12, 4, 10) rec[-12] rec[-61] rec[-62]
DETECTOR(14, 6, 10) rec[-9] rec[-57]
DETECTOR(12, 8, 10) rec[-11] rec[-59] rec[-60]
DETECTOR(16, 4, 10) rec[-7] rec[-55]
DETECTOR(18, 2, 10) rec[-5] rec[-53]
DETECTOR(18, 8, 10) rec[-17] rec[-69]
DETECTOR(20, 6, 10) rec[-15] rec[-66]
DETECTOR(22, 4, 10) rec[-14] rec[-65]
DETECTOR(22, 8, 10) rec[-13] rec[-64]
DETECTOR(14, 0, 10) rec[-24] rec[-77]
DETECTOR(14, 4, 10) rec[-23] rec[-76]
DETECTOR(14, 10, 10) rec[-8] rec[-56]
DETECTOR(16, 2, 10) rec[-21] rec[-73]
DETECTOR(16, 8, 10) rec[-6] rec[-54]
DETECTOR(18, 0, 10) rec[-19] rec[-71] rec[-74]
DETECTOR(18, 6, 10) rec[-4] rec[-52]
DETECTOR(18, 10, 10) rec[-3] rec[-51]
DETECTOR(20, 4, 10) rec[-2] rec[-50]
DETECTOR(20, 8, 10) rec[-1] rec[-49]
DETECTOR(14, 8, 10) rec[-22] rec[-57] rec[-59] rec[-75]
DETECTOR(16, 6, 10) rec[-20] rec[-55] rec[-57] rec[-72]
DETECTOR(18, 4, 10) rec[-18] rec[-53] rec[-55] rec[-70]
DETECTOR(20, 2, 10) rec[-16] rec[-53] rec[-63] rec[-67] rec[-68]
TICK
RX 1 3 12 13 14 15 16 22 23 24 25 26 34 35 36 37 38 44 45 46 47 48 57 59 77 79 81 89 91 99 101 103 111 113 123 125
R 68 70 78 80 82 90 92 100 102 104 112 114
TICK
CX 13 7 15 9 23 17 25 19 35 29 37 31 45 39 47 41 57 51 59 53 72 78 74 80 76 82 79 73 81 75 84 90 86 92 89 83 91 85 94 100 96 102 98 104 101 95 103 97 106 112 108 114 111 105 113 107 123 117 125 119
CZ 6 12 8 14 10 16 18 24 20 26 28 34 30 36 32 38 40 46 42 48
TICK
CX 73 68 75 70 77 72 79 74 81 76 83 78 85 80 87 82 89 84 91 86 95 90 97 92 99 94 101 96 103 98 105 100 107 102 109 104 111 106 113 108 117 112 119 114 123 118 125 120
CZ 12 17 14 19 24 29 26 31 34 39 36 41 46 51 48 53
TICK
CX 13 8 15 10 23 18 25 20 35 30 37 32 45 40 47 42 57 52 59 54 73 78 75 80 79 84 81 86 85 90 87 92 89 94 91 96 95 100 97 102 101 106 103 108 107 112 109 114 113 118
CZ 7 12 9 14 17 22 19 24 21 26 29 34 31 36 39 44 41 46 43 48
TICK
CX 1 6 3 8 13 18 15 20 23 28 25 30 35 40 37 42 45 50 47 52 74 68 76 70 77 83 79 85 81 87 84 78 86 80 89 95 91 97 96 90 98 92 99 105 101 107 103 109 106 100 108 102 111 117 113 119 118 112 120 114
CZ 16 21 38 43
TICK
CX 1 7 3 9 13 19 15 21 23 29 25 31 35 41 37 43 45 51 47 53
CZ 12 18 14 20 22 28 24 30 26 32 34 40 36 42 44 50 46 52 48 54
TICK
MX 1 3 12 13 14 15 16 22 23 24 25 26 34 35 36 37 38 44 45 46 47 48 57 59 77 79 81 89 91 99 101 103 111 113 123 125
M 68 70 78 80 82 90 92 100 102 104 112 114
DETECTOR(0, 2, 11) rec[-48] rec[-96]
DETECTOR(0, 6, 11) rec[-47] rec[-95]
DETECTOR(2, 2, 11) rec[-46] rec[-94]
DETECTOR(2, 4, 11) rec[-45] rec[-93]
DETECTOR(2, 6, 11) rec[-44] rec[-92]
DETECTOR(2, 8, 11) rec[-43] rec[-91]
DETECTOR(2, 10, 11) rec[-42] rec[-90]
DETECTOR(4, 0, 11) rec[-41] rec[-89]
DETECTOR(4, 2, 11) rec[-40] rec[-88]
DETECTOR(4, 4, 11) rec[-39] rec[-87]
DETECTOR(4, 6, 11) rec[-38] rec[-86]
DETECTOR(4, 8, 11) rec[-37] rec[-85]
DETECTOR(6, 2, 11) rec[-36] rec[-84]
DETECTOR(6, 4, 11) rec[-35] rec[-83]
DETECTOR(6, 6, 11) rec[-34] rec[-82]
DETECTOR(6, 8, 11) rec[-33] rec[-81]
DETECTOR(6, 10, 11) rec[-32] rec[-80]
DETECTOR(8, 0, 11) rec[-31] rec[-79]
DETECTOR(8, 2, 11) rec[-30] rec[-78]
DETECTOR(8, 4, 11) rec[-29] rec[-77]
DETECTOR(8, 6, 11) rec[-28] rec[-76]
DETECTOR(8, 8, 11) rec[-27] rec[-75]
DETECTOR(10, 4, 11) rec[-26] rec[-74]
DETECTOR(10, 8, 11) rec[-25] rec[-73]
DETECTOR(14, 0, 11) rec[-24] rec[-72]
DETECTOR(14, 4, 11) rec[-23] rec[-71]
DETECTOR(14, 8, 11) rec[-22] rec[-70]
DETECTOR(16, 2, 11) rec[-21] rec[-69]
DETECTOR(16, 6, 11) rec[-20] rec[-68]
DETECTOR(18, 0, 11) rec[-19] rec[-67]
DETECTOR(18, 4, 11) rec[-18] rec[-66]
DETECTOR(18, 8, 11) rec[-17] rec[-65]
DETECTOR(20, 2, 11) rec[-16] rec[-64]
DETECTOR(20, 6, 11) rec[-15] rec[-63]
DETECTOR(22, 4, 11) rec[-14] rec[-62]
DETECTOR(22, 8, 11) rec[-13] rec[-61]
DETECTOR(12, 4, 11) rec[-12] rec[-60]
DETECTOR(12, 8, 11) rec[-11] rec[-59]
DETECTOR(14, 2, 11) rec[-10] rec[-58]
DETECTOR(14, 6, 11) rec[-9] rec[-57]
DETECTOR(14, 10, 11) rec[-8] rec[-56]
DETECTOR(16, 4, 11) rec[-7] rec[-55]
DETECTOR(16, 8, 11) rec[-6] rec[-54]
DETECTOR(18, 2, 11) rec[-5] rec[-53]
DETECTOR(18, 6, 11) rec[-4] rec[-52]
DETECTOR(18, 10, 11) rec[-3] rec[-51]
DETECTOR(20, 4, 11) rec[-2] rec[-50]
DETECTOR(20, 8, 11) rec[-1] rec[-49]
TICK
RX 1 3 12 13 14 15 16 22 23 24 25 26 34 35 36 37 38 44 45 46 47 48 57 59 77 79 81 89 91 99 101 103 111 113 123 125
R 68 70 78 80 82 90 92 100 102 104 112 114
TICK
CX 13 7 15 9 23 17 25 19 35 29 37 31 45 39 47 41 57 51 59 53 72 78 74 80 76 82 79 73 81 75 84 90 86 92 89 83 91 85 94 100 96 102 98 104 101 95 103 97 106 112 108 114 111 105 113 107 123 117 125 119
CZ 6 12 8 14 10 16 18 24 20 26 28 34 30 36 32 38 40 46 42 48
TICK
CX 73 68 75 70 77 72 79 74 81 76 83 78 85 80 87 82 89 84 91 86 95 90 97 92 99 94 101 96 103 98 105 100 107 102 109 104 111 106 113 108 117 112 119 114 123 118 125 120
CZ 12 17 14 19 24 29 26 31 34 39 36 41 46 51 48 53
TICK
CX 13 8 15 10 23 18 25 20 35 30 37 32 45 40 47 42 57 52 59 54 73 78 75 80 79 84 81 86 85 90 87 92 89 94 91 96 95 100 97 102 101 106 103 108 107 112 109 114 113 118
CZ 7 12 9 14 17 22 19 24 21 26 29 34 31 36 39 44 41 46 43 48
TICK
CX 1 6 3 8 13 18 15 20 23 28 25 30 35 40 37 42 45 50 47 52 74 68 76 70 77 83 79 85 81 87 84 78 86 80 89 95 91 97 96 90 98 92 99 105 101 107 103 109 106 100 108 102 111 117 113 119 118 112 120 114
CZ 16 21 38 43
TICK
CX 1 7 3 9 13 19 15 21 23 29 25 31 35 41 37 43 45 51 47 53
CZ 12 18 14 20 22 28 24 30 26 32 34 40 36 42 44 50 46 52 48 54
TICK
MX 1 3 12 13 14 15 16 22 23 24 25 26 34 35 36 37 38 44 45 46 47 48 57 59 77 79 81 89 91 99 101 103 111 113 123 125 72 83 84 94 95 96 105 106 107 108 117 118 119 120
M 73 74 75 76 85 86 87 97 98 109 68 70 78 80 82 90 92 100 102 104 112 114
DETECTOR(18, 10, 12) rec[-3] rec[-13] rec[-14]
DETECTOR(16, 8, 12) rec[-6] rec[-14] rec[-15] rec[-16] rec[-17]
DETECTOR(14, 10, 12) rec[-8] rec[-16] rec[-19]
DETECTOR(14, 6, 12) rec[-9] rec[-17] rec[-18] rec[-20] rec[-21]
DETECTOR(12, 8, 12) rec[-11] rec[-19] rec[-20]
DETECTOR(12, 4, 12) rec[-12] rec[-21] rec[-22]
DETECTOR(22, 8, 12) rec[-23] rec[-24] rec[-37]
DETECTOR(22, 4, 12) rec[-25] rec[-26] rec[-38]
DETECTOR(20, 6, 12) rec[-24] rec[-25] rec[-27] rec[-28] rec[-39]
DETECTOR(20, 2, 12) rec[-26] rec[-29] rec[-30] rec[-40]
DETECTOR(18, 4, 12) rec[-28] rec[-29] rec[-31] rec[-32] rec[-42]
DETECTOR(18, 0, 12) rec[-30] rec[-33] rec[-43]
DETECTOR(16, 2, 12) rec[-32] rec[-33] rec[-34] rec[-35] rec[-45]
DETECTOR(14, 0, 12) rec[-35] rec[-36] rec[-48]
DETECTOR(0, 2, 12) rec[-72] rec[-120]
DETECTOR(0, 6, 12) rec[-71] rec[-119]
DETECTOR(2, 2, 12) rec[-70] rec[-118]
DETECTOR(2, 4, 12) rec[-69] rec[-117]
DETECTOR(2, 6, 12) rec[-68] rec[-116]
DETECTOR(2, 8, 12) rec[-67] rec[-115]
DETECTOR(2, 10, 12) rec[-66] rec[-114]
DETECTOR(4, 0, 12) rec[-65] rec[-113]
DETECTOR(4, 2, 12) rec[-64] rec[-112]
DETECTOR(4, 4, 12) rec[-63] rec[-111]
DETECTOR(4, 6, 12) rec[-62] rec[-110]
DETECTOR(4, 8, 12) rec[-61] rec[-109]
DETECTOR(6, 2, 12) rec[-60] rec[-108]
DETECTOR(6, 4, 12) rec[-59] rec[-107]
DETECTOR(6, 6, 12) rec[-58] rec[-106]
DETECTOR(6, 8, 12) rec[-57] rec[-105]
DETECTOR(6, 10, 12) rec[-56] rec[-104]
DETECTOR(8, 0, 12) rec[-55] rec[-103]
DETECTOR(8, 2, 12) rec[-54] rec[-102]
DETECTOR(8, 4, 12) rec[-53] rec[-101]
DETECTOR(8, 6, 12) rec[-52] rec[-100]
DETECTOR(8, 8, 12) rec[-51] rec[-99]
DETECTOR(10, 4, 12) rec[-50] rec[-98]
DETECTOR(10, 8, 12) rec[-49] rec[-97]
DETECTOR(14, 0, 12) rec[-48] rec[-96]
DETECTOR(14, 4, 12) rec[-47] rec[-95]
DETECTOR(14, 8, 12) rec[-46] rec[-94]
DETECTOR(16, 2, 12) rec[-45] rec[-93]
DETECTOR(16, 6, 12) rec[-44] rec[-92]
DETECTOR(18, 0, 12) rec[-43] rec[-91]
DETECTOR(18, 4, 12) rec[-42] rec[-90]
DETECTOR(18, 8, 12) rec[-41] rec[-89]
DETECTOR(20, 2, 12) rec[-40] rec[-88]
DETECTOR(20, 6, 12) rec[-39] rec[-87]
DETECTOR(22, 4, 12) rec[-38] rec[-86]
DETECTOR(22, 8, 12) rec[-37] rec[-85]
DETECTOR(12, 4, 12) rec[-12] rec[-84]
DETECTOR(12, 8, 12) rec[-11] rec[-83]
DETECTOR(14, 2, 12) rec[-10] rec[-82]
DETECTOR(14, 6, 12) rec[-9] rec[-81]
DETECTOR(14, 10, 12) rec[-8] rec[-80]
DETECTOR(16, 4, 12) rec[-7] rec[-79]
DETECTOR(16, 8, 12) rec[-6] rec[-78]
DETECTOR(18, 2, 12) rec[-5] rec[-77]
DETECTOR(18, 6, 12) rec[-4] rec[-76]
DETECTOR(18, 10, 12) rec[-3] rec[-75]
DETECTOR(20, 4, 12) rec[-2] rec[-74]
DETECTOR(20, 8, 12) rec[-1] rec[-73]
TICK
RX 1 3 12 13 14 15 16 22 23 24 25 26 34 35 36 37 38 44 45 46 47 48 57 59
TICK
CX 13 7 15 9 23 17 25 19 35 29 37 31 45 39 47 41 57 51 59 53
CZ 6 12 8 14 10 16 18 24 20 26 28 34 30 36 32 38 40 46 42 48
TICK
CZ 12 17 14 19 24 29 26 31 34 39 36 41 46 51 48 53
TICK
CX 13 8 15 10 23 18 25 20 35 30 37 32 45 40 47 42 57 52 59 54
CZ 7 12 9 14 17 22 19 24 21 26 29 34 31 36 39 44 41 46 43 48
TICK
CX 1 6 3 8 13 18 15 20 23 28 25 30 35 40 37 42 45 50 47 52
CZ 16 21 38 43
TICK
CX 1 7 3 9 13 19 15 21 23 29 25 31 35 41 37 43 45 51 47 53
CZ 12 18 14 20 22 28 24 30 26 32 34 40 36 42 44 50 46 52 48 54
TICK
MX 1 3 6 7 8 9 10 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 28 29 30 31 32 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 50 51 52 53 54 57 59
OBSERVABLE_INCLUDE(0) rec[-45] rec[-35] rec[-25] rec[-15] rec[-5]
DETECTOR(10, 8, 13) rec[-1] rec[-3] rec[-4]
DETECTOR(10, 4, 13) rec[-2] rec[-5] rec[-6]
DETECTOR(8, 6, 13) rec[-4] rec[-5] rec[-9] rec[-14] rec[-15]
DETECTOR(8, 2, 13) rec[-6] rec[-7] rec[-11] rec[-16] rec[-17]
DETECTOR(6, 8, 13) rec[-13] rec[-14] rec[-19] rec[-23] rec[-24]
DETECTOR(6, 4, 13) rec[-15] rec[-16] rec[-21] rec[-25] rec[-26]
DETECTOR(4, 6, 13) rec[-24] rec[-25] rec[-29] rec[-34] rec[-35]
DETECTOR(4, 2, 13) rec[-26] rec[-27] rec[-31] rec[-36] rec[-37]
DETECTOR(2, 8, 13) rec[-33] rec[-34] rec[-39] rec[-43] rec[-44]
DETECTOR(2, 4, 13) rec[-35] rec[-36] rec[-41] rec[-45] rec[-46]
DETECTOR(0, 6, 13) rec[-44] rec[-45] rec[-48]
DETECTOR(0, 2, 13) rec[-46] rec[-47] rec[-49]
DETECTOR(0, 2, 13) rec[-49] rec[-121]
DETECTOR(0, 6, 13) rec[-48] rec[-120]
DETECTOR(2, 2, 13) rec[-42] rec[-119]
DETECTOR(2, 4, 13) rec[-41] rec[-118]
DETECTOR(2, 6, 13) rec[-40] rec[-117]
DETECTOR(2, 8, 13) rec[-39] rec[-116]
DETECTOR(2, 10, 13) rec[-38] rec[-115]
DETECTOR(4, 0, 13) rec[-32] rec[-114]
DETECTOR(4, 2, 13) rec[-31] rec[-113]
DETECTOR(4, 4, 13) rec[-30] rec[-112]
DETECTOR(4, 6, 13) rec[-29] rec[-111]
DETECTOR(4, 8, 13) rec[-28] rec[-110]
DETECTOR(6, 2, 13) rec[-22] rec[-109]
DETECTOR(6, 4, 13) rec[-21] rec[-108]
DETECTOR(6, 6, 13) rec[-20] rec[-107]
DETECTOR(6, 8, 13) rec[-19] rec[-106]
DETECTOR(6, 10, 13) rec[-18] rec[-105]
DETECTOR(8, 0, 13) rec[-12] rec[-104]
DETECTOR(8, 2, 13) rec[-11] rec[-103]
DETECTOR(8, 4, 13) rec[-10] rec[-102]
DETECTOR(8, 6, 13) rec[-9] rec[-101]
DETECTOR(8, 8, 13) rec[-8] rec[-100]
DETECTOR(10, 4, 13) rec[-2] rec[-99]
DETECTOR(10, 8, 13) rec[-1] rec[-98]