P7; T1; T2; W2(X); R1(X); W1(X); C2; C1;
P8; T1; T2; R1(Y); W1(Y); W2(X); R1(X); W1(X); C2; C1;