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