CX 0 1
M 0
M 1
DETECTOR(2, 0) rec[-1]
DETECTOR(2, 1) rec[-2] rec[-1]
OBSERVABLE_INCLUDE(0) rec[-1]