P,Q,R,S,T;
0,1;
P:0|1|QR|ST,Q:0|RP,R:0,S:1|TP,T:1;
P
