OPENQASM 2.0;
include "qelib1.inc";
qreg q[4];
creg c[2];
h q[0]; h q[1];
// Oracle for s=11
cx q[0],q[2]; cx q[1],q[2];
cx q[0],q[3]; cx q[1],q[3];
h q[0]; h q[1];
measure q[0] -> c[0];
measure q[1] -> c[1];