OPENQASM 2.0;
include "qelib1.inc";
qreg q[3];
creg c[1];
// Encode
cx q[0],q[1];
cx q[0],q[2];
// Error on q[1]
x q[1];
// Syndrome
cx q[0],q[1];
cx q[0],q[2];
ccx q[1],q[2],q[0];
measure q[0] -> c[0];