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, 2) 9
QUBIT_COORDS(2, 4) 10
QUBIT_COORDS(2, 6) 11
QUBIT_COORDS(2, 8) 12
QUBIT_COORDS(2, 10) 13
QUBIT_COORDS(3, 1) 14
QUBIT_COORDS(3, 3) 15
QUBIT_COORDS(3, 5) 16
QUBIT_COORDS(3, 7) 17
QUBIT_COORDS(3, 9) 18
QUBIT_COORDS(4, 0) 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, 2) 30
QUBIT_COORDS(6, 4) 31
QUBIT_COORDS(6, 6) 32
QUBIT_COORDS(6, 8) 33
QUBIT_COORDS(6, 10) 34
QUBIT_COORDS(7, 1) 35
QUBIT_COORDS(7, 3) 36
QUBIT_COORDS(7, 5) 37
QUBIT_COORDS(7, 7) 38
QUBIT_COORDS(7, 9) 39
QUBIT_COORDS(8, 0) 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, 4) 51
QUBIT_COORDS(10, 8) 52
OBSERVABLE_INCLUDE(0) Z6 Z16 X25 X26 Y27 X28 X29 Z37 Z48
MPP X14*X25 X35*X46 Z4*Z5 X4*X5*X14*X15 Z14*Z15*Z25*Z26 X25*X26*X35*X36 Z35*Z36*Z46*Z47 Z5*Z6*Z15*Z16 X15*X16*X26*X27 Z26*Z27*Z36*Z37 X36*X37*X47*X48 Z47*Z48 Z6*Z7 X6*X7*X16*X17 Z16*Z17*Z27*Z28 X27*X28*X37*X38 Z37*Z38*Z48*Z49 Z7*Z8*Z17*Z18 X17*X18*X28*X29 Z28*Z29*Z38*Z39 X38*X39*X49*X50 Z49*Z50 X8*X18 X29*X39
TICK
R 0 20 41 10 31 51 2 22 43 12 33 52
RX 19 40 9 30 21 42 11 32 23 44 13 34
TICK
CX 19 14 40 35 9 5 15 20 30 26 36 41 6 10 21 16 27 31 42 37 48 51 11 7 17 22 32 28 38 43 8 12 23 18 29 33 44 39 50 52
TICK
CX 19 25 40 46 9 15 14 20 30 36 35 41 5 10 21 27 26 31 42 48 47 51 11 17 16 22 32 38 37 43 7 12 23 29 28 33 44 50 49 52
TICK
CX 5 0 9 4 26 20 30 25 47 41 16 10 21 15 37 31 42 36 7 2 11 6 28 22 32 27 49 43 18 12 23 17 39 33 44 38 13 8 34 29
TICK
CX 4 0 9 14 25 20 30 35 46 41 15 10 21 26 36 31 42 47 6 2 11 16 27 22 32 37 48 43 17 12 23 28 38 33 44 49 13 18 34 39
TICK
M 0 20 41 10 31 51 2 22 43 12 33 52
MX 19 40 9 30 21 42 11 32 23 44 13 34
TICK
REPEAT 3 {
    R 0 20 41 10 31 51 2 22 43 12 33 52
    RX 19 40 9 30 21 42 11 32 23 44 13 34
    TICK
    CX 19 14 40 35 9 5 15 20 30 26 36 41 6 10 21 16 27 31 42 37 48 51 11 7 17 22 32 28 38 43 8 12 23 18 29 33 44 39 50 52
    TICK
    CX 19 25 40 46 9 15 14 20 30 36 35 41 5 10 21 27 26 31 42 48 47 51 11 17 16 22 32 38 37 43 7 12 23 29 28 33 44 50 49 52
    TICK
    CX 5 0 9 4 26 20 30 25 47 41 16 10 21 15 37 31 42 36 7 2 11 6 28 22 32 27 49 43 18 12 23 17 39 33 44 38 13 8 34 29
    TICK
    CX 4 0 9 14 25 20 30 35 46 41 15 10 21 26 36 31 42 47 6 2 11 16 27 22 32 37 48 43 17 12 23 28 38 33 44 49 13 18 34 39
    TICK
    M 0 20 41 10 31 51 2 22 43 12 33 52
    MX 19 40 9 30 21 42 11 32 23 44 13 34
    TICK
    DETECTOR(4, 0) rec[-36] rec[-12]
    DETECTOR(8, 0) rec[-35] rec[-11]
    DETECTOR(0, 2) rec[-48] rec[-24]
    DETECTOR(2, 2) rec[-34] rec[-10]
    DETECTOR(4, 2) rec[-47] rec[-23]
    DETECTOR(6, 2) rec[-33] rec[-9]
    DETECTOR(8, 2) rec[-46] rec[-22]
    DETECTOR(2, 4) rec[-45] rec[-21]
    DETECTOR(4, 4) rec[-32] rec[-8]
    DETECTOR(6, 4) rec[-44] rec[-20]
    DETECTOR(8, 4) rec[-31] rec[-7]
    DETECTOR(10, 4) rec[-43] rec[-19]
    DETECTOR(0, 6) rec[-42] rec[-18]
    DETECTOR(2, 6) rec[-30] rec[-6]
    DETECTOR(4, 6) rec[-41] rec[-17]
    DETECTOR(6, 6) rec[-29] rec[-5]
    DETECTOR(8, 6) rec[-40] rec[-16]
    DETECTOR(2, 8) rec[-39] rec[-15]
    DETECTOR(4, 8) rec[-28] rec[-4]
    DETECTOR(6, 8) rec[-38] rec[-14]
    DETECTOR(8, 8) rec[-27] rec[-3]
    DETECTOR(10, 8) rec[-37] rec[-13]
    DETECTOR(2, 10) rec[-26] rec[-2]
    DETECTOR(6, 10) rec[-25] rec[-1]
}
R 0 20 41 10 31 51 2 22 43 12 33 52
RX 19 40 9 30 21 42 11 32 23 44 13 34
TICK
CX 19 14 40 35 9 5 15 20 30 26 36 41 6 10 21 16 27 31 42 37 48 51 11 7 17 22 32 28 38 43 8 12 23 18 29 33 44 39 50 52
TICK
CX 19 25 40 46 9 15 14 20 30 36 35 41 5 10 21 27 26 31 42 48 47 51 11 17 16 22 32 38 37 43 7 12 23 29 28 33 44 50 49 52
TICK
CX 5 0 9 4 26 20 30 25 47 41 16 10 21 15 37 31 42 36 7 2 11 6 28 22 32 27 49 43 18 12 23 17 39 33 44 38 13 8 34 29
TICK
CX 4 0 9 14 25 20 30 35 46 41 15 10 21 26 36 31 42 47 6 2 11 16 27 22 32 37 48 43 17 12 23 28 38 33 44 49 13 18 34 39
TICK
M 0 20 41 10 31 51 2 22 43 12 33 52
MX 19 40 9 30 21 42 11 32 23 44 13 34
DETECTOR(4, 0) rec[-36] rec[-12]
DETECTOR(8, 0) rec[-35] rec[-11]
DETECTOR(0, 2) rec[-48] rec[-24]
DETECTOR(2, 2) rec[-34] rec[-10]
DETECTOR(4, 2) rec[-47] rec[-23]
DETECTOR(6, 2) rec[-33] rec[-9]
DETECTOR(8, 2) rec[-46] rec[-22]
DETECTOR(2, 4) rec[-45] rec[-21]
DETECTOR(4, 4) rec[-32] rec[-8]
DETECTOR(6, 4) rec[-44] rec[-20]
DETECTOR(8, 4) rec[-31] rec[-7]
DETECTOR(10, 4) rec[-43] rec[-19]
DETECTOR(0, 6) rec[-42] rec[-18]
DETECTOR(2, 6) rec[-30] rec[-6]
DETECTOR(4, 6) rec[-41] rec[-17]
DETECTOR(6, 6) rec[-29] rec[-5]
DETECTOR(8, 6) rec[-40] rec[-16]
DETECTOR(2, 8) rec[-39] rec[-15]
DETECTOR(4, 8) rec[-28] rec[-4]
DETECTOR(6, 8) rec[-38] rec[-14]
DETECTOR(8, 8) rec[-27] rec[-3]
DETECTOR(10, 8) rec[-37] rec[-13]
DETECTOR(2, 10) rec[-26] rec[-2]
DETECTOR(6, 10) rec[-25] rec[-1]
DETECTOR(0, 2) rec[-142] rec[-120]
DETECTOR(4, 2) rec[-140] rec[-119]
DETECTOR(8, 2) rec[-138] rec[-118]
DETECTOR(2, 4) rec[-137] rec[-117]
DETECTOR(6, 4) rec[-135] rec[-116]
DETECTOR(10, 4) rec[-133] rec[-115]
DETECTOR(0, 6) rec[-132] rec[-114]
DETECTOR(4, 6) rec[-130] rec[-113]
DETECTOR(8, 6) rec[-128] rec[-112]
DETECTOR(2, 8) rec[-127] rec[-111]
DETECTOR(6, 8) rec[-125] rec[-110]
DETECTOR(10, 8) rec[-123] rec[-109]
DETECTOR(4, 0) rec[-144] rec[-108]
DETECTOR(8, 0) rec[-143] rec[-107]
DETECTOR(2, 2) rec[-141] rec[-106]
DETECTOR(6, 2) rec[-139] rec[-105]
DETECTOR(4, 4) rec[-136] rec[-104]
DETECTOR(8, 4) rec[-134] rec[-103]
DETECTOR(2, 6) rec[-131] rec[-102]
DETECTOR(6, 6) rec[-129] rec[-101]
DETECTOR(4, 8) rec[-126] rec[-100]
DETECTOR(8, 8) rec[-124] rec[-99]
DETECTOR(2, 10) rec[-122] rec[-98]
DETECTOR(6, 10) rec[-121] rec[-97]
TICK
RX 19 40 9 30 21 42 11 32 23 44 13 24 34 45
R 0 20 41 1 10 31 51 2 22 43 3 12 33 52
TICK
CX 9 14 30 35 21 26 42 47 11 16 32 37 23 28 44 49 13 18 34 39 4 0 25 20 46 41 15 10 36 31 6 2 27 22 48 43 17 12 38 33
TICK
CX 9 4 30 25 21 15 42 36 11 6 32 27 23 17 44 38 13 8 34 29 5 0 26 20 47 41 16 10 37 31 7 2 28 22 49 43 18 12 39 33
TICK
CX 6 1 17 11 8 3 29 23 10 5 22 16 12 7 33 28 24 18 45 39
CY 9 15 21 27 32 38 44 50
CX 19 25 40 46 30 36 42 48 14 20 35 41 26 31 47 51 37 43 49 52
TICK
CX 5 1 16 11 7 3 28 23 18 13 39 34 2 6 12 17 24 29 19 14 40 35 30 26 42 37 15 20 36 41 27 31 48 51 38 43 50 52
TICK
CY 15 10 27 22 38 33 50 45
TICK
H 0 5 1 10 6 16 2 11 22 7 17 28 3 12 23 33 8 18 29 39 13 24 34 45
S 9 21 32 44
TICK
MX 19 40 0 9 30 1 21 42 2 11 32 3 23 44
MY 4
M 20 41 10 31 51 22 43 12 33 52 13 24 34 45
TICK
R 20 41 10 31 51 22 43 12 33 52 24 45
RX 19 40 9 30 1 21 42 11 32 3 23 44
TICK
CX 19 14 40 35 9 5 15 20 30 26 36 41 6 10 21 16 27 31 42 37 48 51 11 7 17 22 32 28 38 43 8 12 23 18 29 33 44 39 50 52
TICK
CX 19 25 40 46 9 15 14 20 30 36 35 41 1 6 5 10 21 27 26 31 42 48 47 51 11 17 16 22 32 38 37 43 3 8 7 12 23 29 28 33 44 50 49 52 18 24 39 45
TICK
CX 26 20 30 25 47 41 16 10 21 15 37 31 42 36 11 6 28 22 32 27 49 43 18 12 23 17 39 33 44 38
TICK
CX 9 14 25 20 30 35 46 41 1 5 15 10 21 26 36 31 42 47 11 16 27 22 32 37 48 43 3 7 17 12 23 28 38 33 44 49 29 24 50 45
TICK
M 20 41 10 31 51 22 43 12 33 52 24 45
MX 19 40 9 30 1 21 42 11 32 3 23 44
TICK
DETECTOR(4, 2) rec[-38] rec[-24]
DETECTOR(8, 2) rec[-37] rec[-23]
DETECTOR(2, 4) rec[-36] rec[-22]
DETECTOR(6, 4) rec[-35] rec[-21]
DETECTOR(10, 4) rec[-34] rec[-20]
DETECTOR(4, 6) rec[-33] rec[-19]
DETECTOR(8, 6) rec[-32] rec[-18]
DETECTOR(2, 8) rec[-31] rec[-17]
DETECTOR(6, 8) rec[-30] rec[-16]
DETECTOR(10, 8) rec[-29] rec[-15]
DETECTOR(4, 10) rec[-28] rec[-27] rec[-14]
DETECTOR(8, 10) rec[-26] rec[-25] rec[-13]
DETECTOR(4, 0) rec[-53] rec[-12]
DETECTOR(8, 0) rec[-52] rec[-11]
DETECTOR(2, 2) rec[-51] rec[-50] rec[-39] rec[-36] rec[-10]
DETECTOR(6, 2) rec[-49] rec[-9]
DETECTOR(0, 4) rec[-48] rec[-45] rec[-8]
DETECTOR(4, 4) rec[-47] rec[-36] rec[-33] rec[-7]
DETECTOR(8, 4) rec[-46] rec[-6]
DETECTOR(2, 6) rec[-44] rec[-5]
DETECTOR(6, 6) rec[-43] rec[-33] rec[-30] rec[-4]
DETECTOR(0, 8) rec[-42] rec[-3]
DETECTOR(4, 8) rec[-41] rec[-2]
DETECTOR(8, 8) rec[-40] rec[-30] rec[-25] rec[-1]
R 20 41 10 31 51 22 43 12 33 52 24 45
RX 19 40 9 30 1 21 42 11 32 3 23 44
TICK
CX 19 14 40 35 9 5 15 20 30 26 36 41 6 10 21 16 27 31 42 37 48 51 11 7 17 22 32 28 38 43 8 12 23 18 29 33 44 39 50 52
TICK
CX 19 25 40 46 9 15 14 20 30 36 35 41 1 6 5 10 21 27 26 31 42 48 47 51 11 17 16 22 32 38 37 43 3 8 7 12 23 29 28 33 44 50 49 52 18 24 39 45
TICK
CX 26 20 30 25 47 41 16 10 21 15 37 31 42 36 11 6 28 22 32 27 49 43 18 12 23 17 39 33 44 38
TICK
CX 9 14 25 20 30 35 46 41 1 5 15 10 21 26 36 31 42 47 11 16 27 22 32 37 48 43 3 7 17 12 23 28 38 33 44 49 29 24 50 45
TICK
M 20 41 10 31 51 22 43 12 33 52 24 45
MX 19 40 9 30 1 21 42 11 32 3 23 44
TICK
DETECTOR(4, 2) rec[-48] rec[-24]
DETECTOR(8, 2) rec[-47] rec[-23]
DETECTOR(2, 4) rec[-46] rec[-22]
DETECTOR(6, 4) rec[-45] rec[-21]
DETECTOR(10, 4) rec[-44] rec[-20]
DETECTOR(4, 6) rec[-43] rec[-19]
DETECTOR(8, 6) rec[-42] rec[-18]
DETECTOR(2, 8) rec[-41] rec[-17]
DETECTOR(6, 8) rec[-40] rec[-16]
DETECTOR(10, 8) rec[-39] rec[-15]
DETECTOR(4, 10) rec[-38] rec[-14]
DETECTOR(8, 10) rec[-37] rec[-13]
DETECTOR(4, 0) rec[-36] rec[-12]
DETECTOR(8, 0) rec[-35] rec[-11]
DETECTOR(2, 2) rec[-34] rec[-10]
DETECTOR(6, 2) rec[-33] rec[-9]
DETECTOR(0, 4) rec[-32] rec[-8]
DETECTOR(4, 4) rec[-31] rec[-7]
DETECTOR(8, 4) rec[-30] rec[-6]
DETECTOR(2, 6) rec[-29] rec[-5]
DETECTOR(6, 6) rec[-28] rec[-4]
DETECTOR(0, 8) rec[-27] rec[-3]
DETECTOR(4, 8) rec[-26] rec[-2]
DETECTOR(8, 8) rec[-25] rec[-1]
R 20 41 10 31 51 22 43 12 33 52 24 45
RX 19 40 9 30 1 21 42 11 32 3 23 44
TICK
CX 19 14 40 35 9 5 15 20 30 26 36 41 6 10 21 16 27 31 42 37 48 51 11 7 17 22 32 28 38 43 8 12 23 18 29 33 44 39 50 52
TICK
CX 19 25 40 46 9 15 14 20 30 36 35 41 1 6 5 10 21 27 26 31 42 48 47 51 11 17 16 22 32 38 37 43 3 8 7 12 23 29 28 33 44 50 49 52 18 24 39 45
TICK
CX 26 20 30 25 47 41 16 10 21 15 37 31 42 36 11 6 28 22 32 27 49 43 18 12 23 17 39 33 44 38
TICK
CX 9 14 25 20 30 35 46 41 1 5 15 10 21 26 36 31 42 47 11 16 27 22 32 37 48 43 3 7 17 12 23 28 38 33 44 49 29 24 50 45
TICK
M 20 41 10 31 51 22 43 12 33 52 24 45
MX 19 40 9 30 1 21 42 11 32 3 23 44 14 25 35 46 5 15 26 36 6 16 27 7 17 8
M 47 37 48 28 38 49 18 29 39 50
DETECTOR(4, 0) rec[-60] rec[-36]
DETECTOR(8, 0) rec[-59] rec[-35]
DETECTOR(2, 2) rec[-58] rec[-34]
DETECTOR(4, 2) rec[-72] rec[-48]
DETECTOR(6, 2) rec[-57] rec[-33]
DETECTOR(8, 2) rec[-71] rec[-47]
DETECTOR(0, 4) rec[-56] rec[-32]
DETECTOR(2, 4) rec[-70] rec[-46]
DETECTOR(4, 4) rec[-55] rec[-31]
DETECTOR(6, 4) rec[-69] rec[-45]
DETECTOR(8, 4) rec[-54] rec[-30]
DETECTOR(10, 4) rec[-68] rec[-44]
DETECTOR(2, 6) rec[-53] rec[-29]
DETECTOR(4, 6) rec[-67] rec[-43]
DETECTOR(6, 6) rec[-52] rec[-28]
DETECTOR(8, 6) rec[-66] rec[-42]
DETECTOR(0, 8) rec[-51] rec[-27]
DETECTOR(2, 8) rec[-65] rec[-41]
DETECTOR(4, 8) rec[-50] rec[-26]
DETECTOR(6, 8) rec[-64] rec[-40]
DETECTOR(8, 8) rec[-49] rec[-25]
DETECTOR(10, 8) rec[-63] rec[-39]
DETECTOR(4, 10) rec[-62] rec[-38]
DETECTOR(8, 10) rec[-61] rec[-37]
DETECTOR(4, 0) rec[-36] rec[-24] rec[-23]
DETECTOR(8, 0) rec[-35] rec[-22] rec[-21]
DETECTOR(2, 2) rec[-34] rec[-24] rec[-20] rec[-19]
DETECTOR(6, 2) rec[-33] rec[-23] rec[-22] rec[-18] rec[-17]
DETECTOR(0, 4) rec[-32] rec[-20] rec[-16]
DETECTOR(4, 4) rec[-31] rec[-19] rec[-18] rec[-15] rec[-14]
DETECTOR(10, 4) rec[-44] rec[-10] rec[-8]
DETECTOR(2, 6) rec[-29] rec[-16] rec[-15] rec[-13] rec[-12]
DETECTOR(8, 6) rec[-42] rec[-9] rec[-8] rec[-6] rec[-5]
DETECTOR(0, 8) rec[-27] rec[-13] rec[-11]
DETECTOR(6, 8) rec[-40] rec[-7] rec[-6] rec[-3] rec[-2]
DETECTOR(10, 8) rec[-39] rec[-5] rec[-1]
DETECTOR(4, 10) rec[-38] rec[-4] rec[-3]
DETECTOR(8, 10) rec[-37] rec[-2] rec[-1]
DETECTOR(4, 0) rec[-137] rec[-125]
DETECTOR(8, 0) rec[-136] rec[-124]
DETECTOR(0, 2) rec[-149] rec[-123]
DETECTOR(2, 2) rec[-135] rec[-122] rec[-108]
DETECTOR(6, 2) rec[-134] rec[-121]
DETECTOR(2, 4) rec[-146] rec[-120]
DETECTOR(4, 4) rec[-133] rec[-119] rec[-105]
DETECTOR(8, 4) rec[-132] rec[-118]
DETECTOR(0, 6) rec[-143] rec[-117]
DETECTOR(4, 6) rec[-142] rec[-116]
DETECTOR(6, 6) rec[-130] rec[-115] rec[-102]
DETECTOR(2, 8) rec[-140] rec[-114]
DETECTOR(6, 8) rec[-139] rec[-113]
DETECTOR(8, 8) rec[-128] rec[-112] rec[-97]
DETECTOR(4, 2) rec[-148] rec[-110]
DETECTOR(8, 2) rec[-147] rec[-109]
DETECTOR(6, 4) rec[-145] rec[-107]
DETECTOR(10, 4) rec[-144] rec[-106]
DETECTOR(8, 6) rec[-141] rec[-104]
DETECTOR(2, 6) rec[-131] rec[-103]
DETECTOR(10, 8) rec[-138] rec[-101]
DETECTOR(2, 10) rec[-127] rec[-100]
DETECTOR(4, 8) rec[-129] rec[-99]
DETECTOR(6, 10) rec[-126] rec[-98]
TICK
OBSERVABLE_INCLUDE(0) rec[-125] rec[-123] rec[-122] rec[-120] rec[-119] rec[-111] rec[-104] rec[-102] rec[-101] rec[-98] rec[-97]