# 2 7 10
out[6]=((not in[0]) and (not in[1]) and in[1]);
S1S=out[6];
R4l=((not out[6]) and (not in[1]) and (not S1S) and (not in[1]) and in[1]);
out[3]=((in[1 ] and (R4l and out[6] and (in[0] and in[0]) and (not in[1])) and in[1] and (not in[0]) and (not in[0]) and ((not S1S) and (R4l and in[0] and in[0] and in[1] and S1S and in[1] and R4l) and (out[6] or out[6] or S1S) and R4l and (S1S or out[6] or in[1]) and in[1] and in[0] and (S1S or in[1] or R4l or R4l or in[0]) and (out[6] and R4l and in[1]) and (not S1S) and (in[1] and out[6] and S1S and in[0] and in[1] and in[0] and R4l and in[0]) and out[6] and in[1]) and in[0]) or in[1] or S1S or (out[6] or ((not in[1]) and (not S1S)) or R4l or ((R4l or in[1] or S1S or in[0] or R4l) or (S1S and out[6]) or out[6] or (not S1S) or in [0] or (R4l or R4l or in[0] or R4l) or (S1S or in[0] or in[1] or out[6] or out[6] or R4l or in [1])) or  (not S1S) or (R4l or (not R4l) or (R4l and out[6])) or out[6] or (not in[0])));
j4=out[3];
Q=(in[1] and (in[0] and ((not out[3] ) or (not out[3]) or (in[0] and in[1]) or (R4l or R4l or in[0] or out[3]) or (S1S and S1S and out[3] and out[3] and j4 and j4) or  (not out[3])) and ((not out[6]) or in[1] or (R4l or out[3]) or (not j4)) and (out[3] and (in[1] and j4 and in[1]) and R4l and (not j4) and (S1S and S1S and j4) and (in[0] and out[6] and j4 and in[0] and out[6]) and (in[0] or in[0] or out[ 6]  or R4l) and (in[0] or out[6] or out[6] or R4l or R4l or out[3] or R4l or out[3] or S1S or in[0] or in[1]) and (not in[1]) and (j4 and R4l and in [1] and in[0]  and out[6] and R4l and S1S)) and ((S1S and in[0] and out[3] and in[0] and in[0]) or (not j4) or out[3] or (out[6] and in[0] and out[6] and j4) or (not in[0]) or (out[6] and out[3] and out[3] and j4 and j4 and in[0] and R4l and in[1] and in[0]) or (not R4l) or (j4 or out[3] or in[0]))) and (((out[6] or in[1]  or in[0] or in[1]) and R4l and out[3]) and j4 and ((not j4) or (not in[0]) or (not R4l) or (S1S and in[1] and out[6] and j4 and in[0] and S1S and in[1] and in[1]) or (in[1] or in[1] or out[3]) or (out[3] or S1S or in[1]) or (in[ 0] or S1S or j4 or j4 or out[6] or out[3] or in[0] or S1S or out[6] or out[6]) or (in[1] or R4l or R4l or in[0] or j4 or in[0] or in[0] or in[0] or R4l) or (out[3] and in[0] and S1S) or (out[3] and in[0] and in[1] and R4l)) and (R4l or (not R4l) or (S1S or R4l or in[1] or R4l or R4l or S1S) or in[0] or (not in[1]) or j4 or (R4l and R4l and  in[0] and out[6] and out[3] and S1S and in[1]) or (out[6] or out[3] or out[6] or j4 or in[1] or out[3] or R4l or S1S)) and j4 and ((out[6] or in[1] or R4l or out[3] or in[0] or R4l or in[0] or in[0] or S1S or out[6] or j4) or R4l or (not in[0]) or in[1] or j4 or j4) and ((out[6] and out[ 6] and out[6] and R4l and out[3 ]) and (out[6] and S1S and S1S and out[6]) and (S1S and in[1] and in[0] and j4) and (j4 or out[6] or S1S or out[6]) and (in[0] or R4l or out[3] or j4 or out[6] or out[6]) and (in[0] and out[6] and in[0] and out[3]) and (in[0] or in[0] or j4 or in[0] or out[6]) and in[0] and (not S1S) and (in[1] and in[1] and out[3])) and ((not j4) and (in[1] or out[3] or j4 or in[0] or R4l) and (in[1] or out[6] or out[3])) and ((S1S or out[3] or in[1] or  S1S or j4 or out[6] or S1S or R4l or out[6] or j4 or S1S or out[3] or out[3]) and (not out[3]) and (out[3] or out[3] or out[6] or j4 or out[6] or j4 or out[6]) and (in[1] or S1S or j4) and (not S1S) and j4 and (out[6] or out[3] or j4 or in[0] or out[3] or S1S ) and S1S and (not in[1]) and (in[1] and in[0] and R4l and out[6] and in[1] and j4) and (S1S and j4) and (not out[6]) and (not out[6]) and (j4 or R4l or S1S or in[1] or out[6] or  S1S or j4 or j4 or out[6])) and ((not in[0]) and in[1] and  (in[0] or in[0] or R4l or j4 or R4l or in[1] or j4 or out[6] or in[1] or R4l))) and (((out[3] or out[3] or R4l or R4l or R4l or j4) or (in[0] or out[6] or out[3] or in[1] or R4l or in[1] or j4 or j4 or in[0] or out[6] or j4 or out[3] or S1S) or out[6]) and (out[3] or R4l or (out[3] or S1S or j4) or (not out[6]) or (not in[1]) or (not S1S) or (S1S or S1S or in[0] or out[6] or S1S) or in[1] or j4 or (in[0] and out[6] and in[1] and j4 and j4 and S1S and j4 and S1S and j4 and S1S) or (j4 and in[0] and R4l and out[3] and R4l and out[3] and R4l and out[3] and out[3]) or  (S1S and in[0] and in[0] and out[6] and out[3] and in[0] and out[3])) and (not in[0]) and (in[0] and out[3] and (R4l or out[6] or in[0] or in[1] or in[1] or in[0]) and (in[1] or out[6] or j4 or in[1]) and j4)) and (((in[1] and in[1]) or (R4l and in [1] and S1S) or ( out[3] and R4l and out[3] and in[1] and R4l and out[6] and in[1] and S1S and in[0] and j4 and in[0]) or (j4 and in[1] and out[6] and in[0] and j4 and j4 and out[6] and j4 and R4l) or (out[6] or in[1] or out[3] or R4l or in[0] or in[1] or S1S) or (out[6] or out[6]  or out[6] or j4 or R4l or in[0] or j4) or (S1S or out[3] or S1S  or in[1] or R4l or R4l or out[3] or out[6] or j4)) and out[3] and (in[0] or (in[1 ]  and out[6] and in[1]) or (not R4l) or (R4l and R4l and R4l)  or (j4 or out[6] or out[3] or out[6] ) or (R4l and out[6] and in[1])) and (not S1S) and ((not j4) or out[6] or (out[3] or j4 or S1S or R4l or S1S or in[1] or in[0] or j4 or R4l or in[0]) or (not R4l)) and (not in[1])) and (not out[6]) and ((out[6] and (R4l and in[1] and j4 and out[6] and in[1]) and (not S1S) and (S1S or S1S or out[6] or in[1]) and (j4 or in[1] or in[1])) or in[1] or out[6] or (not out[6])));
m=(((R4l or S1S or (out[6] and S1S and S1S and R4l) or (Q and out[3] and out[3] and R4l and j4 and R4l and out[3]) or j4 or out[3] or (Q and out[3] and R4l and out[3]) or (not R4l)) and ((S1S  and out[6] and j4 and Q and in[0] and S1S and R4l and in[1] and S1S and in[0]) or S1S) and (S1S and (not Q) and (not Q) and (not out[6]) and Q) and (not in[1 ]) and (not in[1]) and ((S1S and Q and in[1] and j4) or (out[6] and j4 and Q and Q and j4 and j4 and R4l) or (in[1] or out[3] or out[3] or in[0] or j4 or out[6]) or (out[3] and out[3] and Q and Q  and Q and Q and Q) or in[0] or (in[0] and S1S and in[0] and R4l and R4l) or (R4l and in[1] and out[3]) or (Q and S1S and in[0] and j4 and Q) or (S1S or out[6] or in[1] or in[1] or Q or S1S or Q or out[ 3]) or (not j4))) and in[1] and (not Q) and (((not out[3]) or (in[1] or j4 or out[6 ] or out[3]) or (out[3] and R4l and out[6] and R4l and Q and in[1] and out[6 ] and j4 and Q and Q) or (not out[6]) or (not S1S) or (R4l and out[3] and out[3] and in[1] and in[1] and j4 and S1S and j4 and out[3 ] and in[0] and j4) or (in[1] or Q or out[3] or in [1] or in[1] or S1S or in[0] or in[0] or Q or S1S or  Q or j4 or out[6] or S1S) or (not j4) or (out[6] and out[3] and R4l)) and out[3]) and ((not in[0]) and (in[0] or (in[1] or out[6])) and (in[1] and (not out[6])  and (in[0] and R4l and Q and in[1] and Q and j4 and out[6] and in[0]) and (out[6] or out[3] or S1S))) and (in[0] and ((not j4) and (not out[3]) and (in[0] or Q or R4l) and in[0]) and S1S and ((out[6] and R4l and S1S and j4 and j4) or (out[3] and R4l and in[1] and out[6] and Q) or (in [0] and out[6] and out[6] and j4 and R4l and S1S and out[3] and j4 and out[6] and out[6]) or (in[0] or out[ 3] or R4l or in[0] or in[1] or Q) or Q or in[0] or S1S or (Q or in[0] or j4) or (out[6] or Q) or (not j4) or (out[6] or out[6] or R4l or Q or S1S or j4 or S1S or R4l) or (S1S or Q or in[1] or Q or out[3])) and (not out[3])) and (not out[3]) and j4);
ddp=(not Q);
LZ=(in[0] or ((not out[3]) and (not R4l) and S1S));
e=in[1];
