NOT T4,R2;
AND T3,R1,T4;
OR T6,R1,T4;
OR T5,T6,T3;
AND T2,T3,T5;
AND T7,R1,R3;
OR T1,T2,T7;