P1; T1; T2; R1(X); R2(X); W1(X); W2(X); C2; C1;
P2; T1; T2; R1(X); R2(X); W2(X); W1(X); C1; C2;
P3; T1; T2; R1(X); W2(X); R2(x); W1(X); C2; C1;
P4; T1; T2; R1(X); W2(X); W1(X); R2(x); C2; C1;
P5; T1; T2; R1(X); W1(X); R2(X); W2(X); C2; C1;
P6; T1; T2; R1(X); W1(X); W2(X); R2(X); C2; C1;