QUBIT_COORDS(0, 2) 0
QUBIT_COORDS(0, 4) 1
QUBIT_COORDS(0, 6) 2
QUBIT_COORDS(0, 8) 3
QUBIT_COORDS(1, 1) 4
QUBIT_COORDS(1, 3) 5
QUBIT_COORDS(1, 5) 6
QUBIT_COORDS(1, 7) 7
QUBIT_COORDS(1, 9) 8
QUBIT_COORDS(2, 0) 9
QUBIT_COORDS(2, 2) 10
QUBIT_COORDS(2, 4) 11
QUBIT_COORDS(2, 6) 12
QUBIT_COORDS(2, 8) 13
QUBIT_COORDS(2, 10) 14
QUBIT_COORDS(3, 1) 15
QUBIT_COORDS(3, 3) 16
QUBIT_COORDS(3, 5) 17
QUBIT_COORDS(3, 7) 18
QUBIT_COORDS(3, 9) 19
QUBIT_COORDS(4, 2) 20
QUBIT_COORDS(4, 4) 21
QUBIT_COORDS(4, 6) 22
QUBIT_COORDS(4, 8) 23
QUBIT_COORDS(4, 10) 24
QUBIT_COORDS(5, 1) 25
QUBIT_COORDS(5, 3) 26
QUBIT_COORDS(5, 5) 27
QUBIT_COORDS(5, 7) 28
QUBIT_COORDS(5, 9) 29
QUBIT_COORDS(6, 0) 30
QUBIT_COORDS(6, 2) 31
QUBIT_COORDS(6, 4) 32
QUBIT_COORDS(6, 6) 33
QUBIT_COORDS(6, 8) 34
QUBIT_COORDS(6, 10) 35
QUBIT_COORDS(7, 1) 36
QUBIT_COORDS(7, 3) 37
QUBIT_COORDS(7, 5) 38
QUBIT_COORDS(7, 7) 39
QUBIT_COORDS(7, 9) 40
QUBIT_COORDS(8, 2) 41
QUBIT_COORDS(8, 4) 42
QUBIT_COORDS(8, 6) 43
QUBIT_COORDS(8, 8) 44
QUBIT_COORDS(8, 10) 45
QUBIT_COORDS(9, 1) 46
QUBIT_COORDS(9, 3) 47
QUBIT_COORDS(9, 5) 48
QUBIT_COORDS(9, 7) 49
QUBIT_COORDS(9, 9) 50
QUBIT_COORDS(10, 2) 51
QUBIT_COORDS(10, 6) 52
R 9 30 0 20 41 11 32 2 22 43 13 34
RX 10 31 51 21 42 12 33 52 23 44 14 35 46 37 47 27 38 48 18 28 39 49 8 19 29 40
R 4 15 25 36 5 16 26 6 17 7
TICK
CX 4 9 25 30 10 5 16 20 31 26 37 41 51 47 6 11 21 17 27 32 42 38 12 7 18 22 33 28 39 43 52 49 8 13 23 19 29 34 44 40
TICK
CX 15 9 36 30 5 0 10 4 26 20 31 25 47 41 51 46 17 11 21 16 38 32 42 37 7 2 12 6 28 22 33 27 49 43 52 48 19 13 23 18 40 34 44 39 14 8 35 29
TICK
CX 10 16 15 20 31 37 36 41 5 11 21 27 26 32 42 48 12 18 17 22 33 39 38 43 7 13 23 29 28 34
TICK
CX 4 0 10 15 25 20 31 36 46 41 16 11 21 26 37 32 42 47 6 2 12 17 27 22 33 38 48 43 18 13 23 28 39 34 44 49 14 19 35 40
TICK
M 9 30 0 20 41 11 32 2 22 43 13 34
MX 10 31 51 21 42 12 33 52 23 44 14 35
TICK
REPEAT 2 {
    R 9 30 0 20 41 11 32 2 22 43 13 34
    RX 10 31 51 21 42 12 33 52 23 44 14 35
    TICK
    CX 4 0 10 15 25 20 31 36 46 41 16 11 21 26 37 32 42 47 6 2 12 17 27 22 33 38 48 43 18 13 23 28 39 34 44 49 14 19 35 40
    TICK
    CX 10 16 15 20 31 37 36 41 5 11 21 27 26 32 42 48 12 18 17 22 33 39 38 43 7 13 23 29 28 34
    TICK
    CX 15 9 36 30 5 0 10 4 26 20 31 25 47 41 51 46 17 11 21 16 38 32 42 37 7 2 12 6 28 22 33 27 49 43 52 48 19 13 23 18 40 34 44 39 14 8 35 29
    TICK
    CX 4 9 25 30 10 5 16 20 31 26 37 41 51 47 6 11 21 17 27 32 42 38 12 7 18 22 33 28 39 43 52 49 8 13 23 19 29 34 44 40
    TICK
    M 9 30 0 20 41 11 32 2 22 43 13 34
    MX 10 31 51 21 42 12 33 52 23 44 14 35
    TICK
    DETECTOR(2, 0) rec[-48] rec[-24]
    DETECTOR(6, 0) rec[-47] rec[-23]
    DETECTOR(0, 2) rec[-46] rec[-22]
    DETECTOR(4, 2) rec[-45] rec[-21]
    DETECTOR(8, 2) rec[-44] rec[-20]
    DETECTOR(2, 4) rec[-43] rec[-19]
    DETECTOR(6, 4) rec[-42] rec[-18]
    DETECTOR(0, 6) rec[-41] rec[-17]
    DETECTOR(4, 6) rec[-40] rec[-16]
    DETECTOR(8, 6) rec[-39] rec[-15]
    DETECTOR(2, 8) rec[-38] rec[-14]
    DETECTOR(6, 8) rec[-37] rec[-13]
    DETECTOR(2, 2) rec[-36] rec[-12]
    DETECTOR(6, 2) rec[-35] rec[-11]
    DETECTOR(10, 2) rec[-34] rec[-10]
    DETECTOR(4, 4) rec[-33] rec[-9]
    DETECTOR(8, 4) rec[-32] rec[-8]
    DETECTOR(2, 6) rec[-31] rec[-7]
    DETECTOR(6, 6) rec[-30] rec[-6]
    DETECTOR(10, 6) rec[-29] rec[-5]
    DETECTOR(4, 8) rec[-28] rec[-4]
    DETECTOR(8, 8) rec[-27] rec[-3]
    DETECTOR(2, 10) rec[-26] rec[-2]
    DETECTOR(6, 10) rec[-25] rec[-1]
}
RX 10 31 51 21 42 12 33 52 23 44 14 24 35 45
RY 50
R 9 30 0 20 41 1 11 32 2 22 43 3 13 34
TICK
H 0 5 1 11 6 17 2 12 22 7 18 28 3 13 23 34 8 19 29 40 14 24 35 45
S_DAG 10 21 33 44
TICK
CY 4 0 16 11 27 22 39 34
TICK
CX 5 1 17 12 7 3 28 23 19 14 40 35 2 6 13 18 24 29 31 26 51 47 42 38 52 49 4 9 25 30 16 20 37 41 27 32 39 43
TICK
CX 6 12 18 23 8 14 29 35 0 5 11 17 2 7 22 28 13 19 34 40
CY 10 4 21 16 33 27 44 39
CX 31 25 51 46 42 37 52 48 15 9 36 30 26 20 47 41 38 32 49 43
TICK
CX 10 16 31 37 1 6 21 27 42 48 12 18 33 39 3 8 23 29 44 50 15 20 36 41 5 11 26 32 17 22 38 43 7 13 28 34 19 24 40 45
TICK
CX 10 15 31 36 1 5 21 26 42 47 12 17 33 38 3 7 23 28 44 49 25 20 46 41 16 11 37 32 27 22 48 43 18 13 39 34 29 24 50 45
TICK
MX 0 10 31 51 1 21 42 2 12 33 52 3 23 44
M 9 30 20 41 11 32 22 43 13 34 14 24 35 45
DETECTOR(2, 0) rec[-100]
DETECTOR(6, 0) rec[-99]
DETECTOR(0, 2) rec[-98]
DETECTOR(4, 2) rec[-97]
DETECTOR(10, 2) rec[-86]
DETECTOR(2, 4) rec[-95]
DETECTOR(8, 4) rec[-84]
DETECTOR(0, 6) rec[-93]
DETECTOR(6, 6) rec[-82]
DETECTOR(10, 6) rec[-81]
DETECTOR(4, 8) rec[-80]
DETECTOR(8, 8) rec[-79]
DETECTOR(2, 10) rec[-78]
DETECTOR(6, 10) rec[-77]
DETECTOR(2, 0) rec[-52] rec[-14]
DETECTOR(6, 0) rec[-51] rec[-13]
DETECTOR(0, 2) rec[-50] rec[-28]
DETECTOR(2, 2) rec[-40] rec[-27] rec[-10]
DETECTOR(4, 2) rec[-49] rec[-12]
DETECTOR(6, 2) rec[-39] rec[-26]
DETECTOR(8, 2) rec[-48] rec[-11]
DETECTOR(10, 2) rec[-38] rec[-25]
DETECTOR(2, 4) rec[-47] rec[-24]
DETECTOR(4, 4) rec[-37] rec[-23] rec[-8]
DETECTOR(6, 4) rec[-46] rec[-9]
DETECTOR(8, 4) rec[-36] rec[-22]
DETECTOR(0, 6) rec[-45] rec[-21]
DETECTOR(2, 6) rec[-35] rec[-6]
DETECTOR(4, 6) rec[-44] rec[-20]
DETECTOR(6, 6) rec[-34] rec[-19] rec[-5]
DETECTOR(8, 6) rec[-43] rec[-7]
DETECTOR(10, 6) rec[-33] rec[-18]
DETECTOR(2, 8) rec[-42] rec[-17]
DETECTOR(4, 8) rec[-32] rec[-3]
DETECTOR(6, 8) rec[-41] rec[-16]
DETECTOR(8, 8) rec[-31] rec[-15] rec[-1]
DETECTOR(2, 10) rec[-30] rec[-4]
DETECTOR(6, 10) rec[-29] rec[-2]
TICK
R 9 30 20 41 11 32 22 43 13 34 24 45
RX 10 31 51 1 21 42 12 33 52 3 23 44
TICK
CX 4 9 25 30 10 5 16 20 31 26 37 41 51 47 6 11 21 17 27 32 42 38 12 7 18 22 33 28 39 43 52 49 8 13 23 19 29 34 44 40
TICK
CX 15 9 36 30 10 4 26 20 31 25 47 41 51 46 17 11 21 16 38 32 42 37 12 6 28 22 33 27 49 43 52 48 19 13 23 18 40 34 44 39
TICK
CX 10 16 15 20 31 37 36 41 1 6 5 11 21 27 26 32 42 48 12 18 17 22 33 39 38 43 3 8 7 13 23 29 28 34 44 50 19 24 40 45
TICK
CX 10 15 25 20 31 36 46 41 1 5 16 11 21 26 37 32 42 47 12 17 27 22 33 38 48 43 3 7 18 13 23 28 39 34 44 49 29 24 50 45
TICK
M 9 30 20 41 11 32 22 43 13 34 24 45
MX 10 31 51 1 21 42 12 33 52 3 23 44
TICK
REPEAT 3 {
    R 9 30 20 41 11 32 22 43 13 34 24 45
    RX 10 31 51 1 21 42 12 33 52 3 23 44
    TICK
    CX 4 9 25 30 10 5 16 20 31 26 37 41 51 47 6 11 21 17 27 32 42 38 12 7 18 22 33 28 39 43 52 49 8 13 23 19 29 34 44 40
    TICK
    CX 15 9 36 30 10 4 26 20 31 25 47 41 51 46 17 11 21 16 38 32 42 37 12 6 28 22 33 27 49 43 52 48 19 13 23 18 40 34 44 39
    TICK
    CX 10 16 15 20 31 37 36 41 1 6 5 11 21 27 26 32 42 48 12 18 17 22 33 39 38 43 3 8 7 13 23 29 28 34 44 50 19 24 40 45
    TICK
    CX 10 15 25 20 31 36 46 41 1 5 16 11 21 26 37 32 42 47 12 17 27 22 33 38 48 43 3 7 18 13 23 28 39 34 44 49 29 24 50 45
    TICK
    M 9 30 20 41 11 32 22 43 13 34 24 45
    MX 10 31 51 1 21 42 12 33 52 3 23 44
    TICK
    DETECTOR(2, 0) rec[-48] rec[-24]
    DETECTOR(6, 0) rec[-47] rec[-23]
    DETECTOR(2, 2) rec[-36] rec[-12]
    DETECTOR(4, 2) rec[-46] rec[-22]
    DETECTOR(6, 2) rec[-35] rec[-11]
    DETECTOR(8, 2) rec[-45] rec[-21]
    DETECTOR(10, 2) rec[-34] rec[-10]
    DETECTOR(0, 4) rec[-33] rec[-9]
    DETECTOR(2, 4) rec[-44] rec[-20]
    DETECTOR(4, 4) rec[-32] rec[-8]
    DETECTOR(6, 4) rec[-43] rec[-19]
    DETECTOR(8, 4) rec[-31] rec[-7]
    DETECTOR(2, 6) rec[-30] rec[-6]
    DETECTOR(4, 6) rec[-42] rec[-18]
    DETECTOR(6, 6) rec[-29] rec[-5]
    DETECTOR(8, 6) rec[-41] rec[-17]
    DETECTOR(10, 6) rec[-28] rec[-4]
    DETECTOR(0, 8) rec[-27] rec[-3]
    DETECTOR(2, 8) rec[-40] rec[-16]
    DETECTOR(4, 8) rec[-26] rec[-2]
    DETECTOR(6, 8) rec[-39] rec[-15]
    DETECTOR(8, 8) rec[-25] rec[-1]
    DETECTOR(4, 10) rec[-38] rec[-14]
    DETECTOR(8, 10) rec[-37] rec[-13]
}
R 9 30 20 41 11 32 22 43 13 34 24 45
RX 10 31 51 1 21 42 12 33 52 3 23 44
TICK
CX 4 9 25 30 10 5 16 20 31 26 37 41 51 47 6 11 21 17 27 32 42 38 12 7 18 22 33 28 39 43 52 49 8 13 23 19 29 34 44 40
TICK
CX 15 9 36 30 10 4 26 20 31 25 47 41 51 46 17 11 21 16 38 32 42 37 12 6 28 22 33 27 49 43 52 48 19 13 23 18 40 34 44 39
TICK
CX 10 16 15 20 31 37 36 41 1 6 5 11 21 27 26 32 42 48 12 18 17 22 33 39 38 43 3 8 7 13 23 29 28 34 44 50 19 24 40 45
TICK
CX 10 15 25 20 31 36 46 41 1 5 16 11 21 26 37 32 42 47 12 17 27 22 33 38 48 43 3 7 18 13 23 28 39 34 44 49 29 24 50 45
TICK
M 9 30 20 41 11 32 22 43 13 34 24 45
MX 10 31 51 1 21 42 12 33 52 3 23 44
DETECTOR(2, 0) rec[-48] rec[-24]
DETECTOR(6, 0) rec[-47] rec[-23]
DETECTOR(2, 2) rec[-36] rec[-12]
DETECTOR(4, 2) rec[-46] rec[-22]
DETECTOR(6, 2) rec[-35] rec[-11]
DETECTOR(8, 2) rec[-45] rec[-21]
DETECTOR(10, 2) rec[-34] rec[-10]
DETECTOR(0, 4) rec[-33] rec[-9]
DETECTOR(2, 4) rec[-44] rec[-20]
DETECTOR(4, 4) rec[-32] rec[-8]
DETECTOR(6, 4) rec[-43] rec[-19]
DETECTOR(8, 4) rec[-31] rec[-7]
DETECTOR(2, 6) rec[-30] rec[-6]
DETECTOR(4, 6) rec[-42] rec[-18]
DETECTOR(6, 6) rec[-29] rec[-5]
DETECTOR(8, 6) rec[-41] rec[-17]
DETECTOR(10, 6) rec[-28] rec[-4]
DETECTOR(0, 8) rec[-27] rec[-3]
DETECTOR(2, 8) rec[-40] rec[-16]
DETECTOR(4, 8) rec[-26] rec[-2]
DETECTOR(6, 8) rec[-39] rec[-15]
DETECTOR(8, 8) rec[-25] rec[-1]
DETECTOR(4, 10) rec[-38] rec[-14]
DETECTOR(8, 10) rec[-37] rec[-13]
DETECTOR(2, 0) rec[-134] rec[-120]
DETECTOR(6, 0) rec[-133] rec[-119]
DETECTOR(4, 2) rec[-132] rec[-118]
DETECTOR(8, 2) rec[-131] rec[-117]
DETECTOR(2, 4) rec[-130] rec[-116]
DETECTOR(6, 4) rec[-129] rec[-115]
DETECTOR(4, 6) rec[-128] rec[-114]
DETECTOR(8, 6) rec[-127] rec[-113]
DETECTOR(2, 8) rec[-126] rec[-124] rec[-112]
DETECTOR(6, 8) rec[-125] rec[-122] rec[-111]
DETECTOR(4, 10) rec[-123] rec[-110]
DETECTOR(8, 10) rec[-121] rec[-109]
DETECTOR(2, 2) rec[-148] rec[-147] rec[-108]
DETECTOR(6, 2) rec[-146] rec[-107]
DETECTOR(10, 2) rec[-145] rec[-106]
DETECTOR(0, 4) rec[-144] rec[-105]
DETECTOR(4, 4) rec[-143] rec[-104]
DETECTOR(8, 4) rec[-142] rec[-103]
DETECTOR(2, 6) rec[-141] rec[-140] rec[-102]
DETECTOR(6, 6) rec[-139] rec[-101]
DETECTOR(10, 6) rec[-138] rec[-100]
DETECTOR(0, 8) rec[-137] rec[-99]
DETECTOR(4, 8) rec[-136] rec[-98]
DETECTOR(8, 8) rec[-135] rec[-97]
TICK
MPP Z4*Z15 Z25*Z36 X4*X5*X15*X16 Z15*Z16*Z25*Z26 X25*X26*X36*X37 Z36*Z37*Z46*Z47 X46*X47 X5*X6 Z5*Z6*Z16*Z17 X16*X17*X26*X27 Z26*Z27*Z37*Z38 X37*X38*X47*X48 X6*X7*X17*X18 Z17*Z18*Z27*Z28 X27*X28*X38*X39 Z38*Z39*Z48*Z49 X48*X49 X7*X8 Z7*Z8*Z18*Z19 X18*X19*X28*X29 Z28*Z29*Z39*Z40 X39*X40*X49*X50 Z19*Z29 Z40*Z50
DETECTOR(2, 0) rec[-48] rec[-24]
DETECTOR(6, 0) rec[-47] rec[-23]
DETECTOR(2, 2) rec[-36] rec[-22]
DETECTOR(4, 2) rec[-46] rec[-21]
DETECTOR(6, 2) rec[-35] rec[-20]
DETECTOR(8, 2) rec[-45] rec[-19]
DETECTOR(10, 2) rec[-34] rec[-18]
DETECTOR(0, 4) rec[-33] rec[-17]
DETECTOR(2, 4) rec[-44] rec[-16]
DETECTOR(4, 4) rec[-32] rec[-15]
DETECTOR(6, 4) rec[-43] rec[-14]
DETECTOR(8, 4) rec[-31] rec[-13]
DETECTOR(2, 6) rec[-30] rec[-12]
DETECTOR(4, 6) rec[-42] rec[-11]
DETECTOR(6, 6) rec[-29] rec[-10]
DETECTOR(8, 6) rec[-41] rec[-9]
DETECTOR(10, 6) rec[-28] rec[-8]
DETECTOR(0, 8) rec[-27] rec[-7]
DETECTOR(2, 8) rec[-40] rec[-6]
DETECTOR(4, 8) rec[-26] rec[-5]
DETECTOR(6, 8) rec[-39] rec[-4]
DETECTOR(8, 8) rec[-25] rec[-3]
DETECTOR(4, 10) rec[-38] rec[-2]
DETECTOR(8, 10) rec[-37] rec[-1]
TICK
OBSERVABLE_INCLUDE(0) X6 X17 Z25 Z26 Y27 Z28 Z29 X38 X48
OBSERVABLE_INCLUDE(0) rec[-172] rec[-168] rec[-163] rec[-162] rec[-159] rec[-158] rec[-156] rec[-149] rec[-146] rec[-145]