# 9 16 20
b=((((in[3] and in[8] and  in[0]) or (in[6] and in[5] and in[2] and in[1] and in[8] and in[ 4] and  in[3] and in[3]) or (in[1] and in[7] and in[0] and in[6] and in[8] and in[2] and in[8] and in[6]) or (in[2] or in[0]) or (not in[3])) and in[0] and (not in[3])) or (in[0] and (not in[0]) and (not in[0])) or ((in[0] and (in[1] or in[0]) and (not in[7])) and in[0] and ((in[0] or in[7] or in[5] or in[5] or in[2] or in[1] or in[1] or in[6] or in[1] or in[8] or in[7]) and in[4] and in[6] and in[6])) or (not in[4]) or (not in[0]) or (not in[1]) or in[6] or (not in[6]));
out[11]=((((in[4] and in[6] and in[1] and in[8] and in[8] and in[7]) and (in[4] and in[1] and in[6]  and in[3] and in[2 ] and in[5] and b) and (b or in[8] or in[1] or in[0] or in[2]) and in[4] and (not in[0]) and (not in[8]) and in[8]) or in[3] or ((not b) or (not b) or (in[4] and b and in[5] and in[1] and in[0] and in[0]) or (not in[5]) or in[ 5] or in[4] or in[4] or (in[5] and in[5] and in[8]) or in[1] or in[8] or in[8] or (in[5] or in[3] or in[4] or in[4] or in[1] or in[7]) or (not in[7]) or in[2] or (in[8] or in[6] or in[0] or in[7])) or ((in[2] or b) or (in[7] or in[8] or in[8])) or (in[7] or in[4] or (in[7] and in[3] and b and in[1] and in[4] and in[0] and in[1] and in[2] and in[1]) or (not in[1])) or (not in[3]) or (not in[5])) or ((not in[8]) and (not in[6]) and ((in[6 ] or in[0] or in[0]) and (in[7] and in[4]) and (in[0] or in[1] or in[6] or in[7]) and (in[5] or b) and in[ 4] and (not in[4]) and in[3] and (not in[5]))) or (in[0] and (not in[8]) and in[7] and ((not in[1]) or (b and in[5]) or (b and in[2] and in[6] and in[5] and in[7] and in[1] and in[0] and in[7] and in[1] and in[2] and b and in[6] and in[6] and in[6]) or in[5] or (not in[3]))) or in[8] or b or  (not in[7]) or (in[5] and ((b and  in[6] and in[0] and in[7] and in[0] and in[6] and in[8] and  in[2]) and (not in[2]) and in[3] and (in[8] and in[8] and in[1] and in[1] and in[1 ] and in [0] and in[5] and in[3] and in[4])) and (in [6] or (not b) or (not in[6]) or in[7] or (not in[0]) or in[2]) and ( in[4] or (in[5] or in[ 3] or in[6]) or (in[1] and in[1] and in [2]) or (in[4] or in[6] or in[6] or b))) or in[1]);
n=in[3];
out[7]=((((in[2] and in[8] and in[1] and in[5] and in[1]) or (not in[2]) or (in[5] and in [4] and in[7]) or (in[5] or in[8] or in[8]) or in[5] or (not in[4]) or (in[1] or in [6] or in[0] or in[1]) or (b or in[7] or in[4] or in[6]) or (in[8] or in[4] or in[0])) or ((not in[5]) or (in[2] and in[1] and in[2] and in[1] and in[5] and in[2] and in[8] and in[8] and in[3])) or ((in[0]  or n or b or in[4] or in[7]) or (in[4] or in[2] or in[6] or in [0] or in[1] or in[7]) or (in[4] and in[3]) or out[11] or (not n) or in[8] or (n and in[4]) or (not b) or (not in[6])) or in[8] or (not in[0]) or ((in[7] or in[5] or in[5]) or (in[4] and in[6] and in[3]) or (not in[4]) or (in[5] and in[2] and out[11] and n) or (b and n and in[2 ] and in[4] and in[5] and n and n and in[7] and in[4]) or (out[11] or in[7 ] or in[6] or in[8] or in[6] or in[1]) or (not in[3]) or (in[5] or in[4] or in[2] or out[11] or in[4]) or (out[11] and in[1] and in[3] and in[2])) or ((n and in[6] and in[4] and in[4] and in[ 3] and in[8] and in[8] and n) or (in[8] or in[3] or in[5] or in[7] or in[3] or in[5] or in[0]) or in[4] or (not b) or (in[5] and in[8] and b and in[2] and in[4] and b and in[6] and b)) or ((in[3] or in[2]) or (not out[11]) or (in[6] and in[7] and in[6] and in[4] and in [1]) or (in[3] and in[1] and n) or (in[5] or in[1] or b or in[4] or in[4])) or in[5] or ((in[5] and in[1] and in[4] and in[3 ]  and n and b and in[3] and n and in[4]) and (n or in[4] or out[11] or in[7] or in[4] or out[11] or in[8] or in[0]) and in[2]) or ((in[4] or in[6] or in[2] or in[8] or in[5] or in[4 ] or in[8] or b or in[4] or in[3] or in[0] or out[11]) or (n or in[0] or in[0] or in[6] or b or n or in[2]) or (not out[11]) or in[2]) or ((in[8] or in[3] or in[3] or in[7] or in[4] ) or (in[3 ] or in[0] or in[1] or in[6] or n or  b or n))) and (in[6] or (not in[6]) or ((in[8] or in[1] or in[8] or in[3] or in[6] or in[5]) or (not in[4]) or (in[1] and in[5] and in[6]) or in[3 ] or in[3] or (out[11 ] or in[7] or in[2])) or in[6] or ((not in[3]) or in[1] or (not in[5]) or (in[7] and in[3] and in[2] and n and in[3] and b and in[0] and in[4] and in[3] and in[1]) or (out[11] and in[0])) or in[0]) and b);
m=(in[6] or (((not in[3]) and (in[8] and in[8] and in[2] and b) and in[8] and (not in[6])) and (not out[11]) and b and (not in[6]) and in[3] and ((in[4] or in[8] or b or in[2] or in[1] or in[5] or b) and (not in[2]) and (n and in[7] and in[4] and out[7] ) and in[8]) and ((n or in[7] or in[1] or in[7]) or (in[4] and in[6] and in[7] and out[7] and in[2] and in[7] and n) or (in[4] or in[3] or in[6] or in[0] or in [8]) or b or (n or out[7] or in[5] or out[11] or in[4] or in[8]) or (in[6] and in[6] and in[6] and n and b) or out[11] or (not in[8]) or in[2] or in[5]) and ((in[1] or b) or (in[4] and b and in[4] and n and in[1] and in[5] and in [4] and in[2]) or out[11] or (not n) or (not out[11]) or (in[2] or out[11] or in[6] or in[7] or in[4]) or n or (not in[7])) and ((not out[7]) or (in[2] or in[0] or in[8])) and in[2]) or (not in[5]) or ((not in[4]) and (not in[6]) and (in[6] and (not b) and (not in[3]) and (n or out[11] or in[8]) and (not in[6]) and (out[11] and out[11] and in[6] and in[2] and in[7] and in[6]) and (not b) and (in[7] and in[5]) and (in[3]  and n and in[7] and out[11] and in[7] and in[3] and in[1]) and (out[7] or in[1 ] or in[7]) and (out[7] or in[3] or out[11])) and ((b or b or n or in[7] or in[8] or in[3] or in[1] or out[7]) or (not in[0]) or in[6] or (in[4] or in[7] or in[4] or in[7] or out[7]  or out[11] or out[7] or out[7] or in[6] or in[2]) or (in[2] and out[11] and n and in[4]) or out[11] or (in[8] and in[8] and in[3] and out[11] and in[6] and out[7]))) or (in[0] and ((out[11] or in[2] or in[3] or out[11] or in[7] or in[1]) or (in[1] or in[0] or in[ 6] or in[8])) and (not in[2]) and (in[0] or (not b) or (n or in[6] or in[0]) or  (in[1] or in[6] or in[2] or in[3] or in[5]) or out[7]) and ((b and out[11] and out[7] and b and in[1] and in[8] and in[8] and in[7]) or (not in[1])) and (not in[0]) and (in[1] or (in[1] or b or in[2] or in[0] or b or in[5]) or (in[1] or in[4] or in[3]) or b or in[3] or (in[6] or out[7] or in[3] or b or in[8] or in[8] or out[7] or out[11]) or (not in[7]) or (out[11] or n or in[3] or in[7] or in[6] or in[3] or in[5] or in[3] or in[1] or in[2] or b or in[5] or n)) and ((not out[11]) and ( b or in[5] or out[11] or in[6] or in[4] or in[4] or in[6] or out[11] or in[4] or in[8] or in[2] or in[0] or in[6]) and (out[11] or in[0] or out[11] or out[11] or in[3] or in[8]) and (in[3] and in[3] and b) and (not in[4]) and (in [0] and in[7] and out[7]) and (not n) and (in[ 0] or in[1] or in[3]) and (n or in[5] or in[7] or out[7]) and (not in[5 ])) and (not out[11]) and n) or out[11] or (not in[7]) or (((in[7] and in[4] and in[5] and in[4]) and (in[5] and in[2])) and out[7] and (not out[7]) and ((not out[11]) or (out[11] or in[8] or in[1] or in[5] or b or in[1] or in[ 5]) or (not in[7]) or (not n) or (not out[11]) or (not in[1]) or in[2] or (in[6] and b)) and (not in[8]) and (in[1] or out[11] or (in[4] or in[3 ] or in[0] or in[4] or in[5] or out[11] or in[3]) or (not in[3]) or in[1] or (in[6] and n and in[2] and in[4])) and n));
H=(in[6] and out[7] and (not in[3]));
cj=(in[4] and (b or (not in[0]) or (in[3] and in[7] and (not in[5]) and (b and n and out[7] and in[1] and b) and in[6] and in[5]) or (not out[11])) and ((not in[8]) or out[11] or in[6] or (in[1] and (b or b or b or in[2]) and in[4])) and n and (not in[2]) and (not in[5]));
pb=in[7];
hb8=(not in[2]);
F=((H or (not pb) or cj or ((not in[7]) or (not pb) or hb8 or (in[3] and out[7]) or (in[6] and in[0] and in[0] and out[7] and m and b) or (not in[7]) or (m or in[8] or in[5]) or (in[2] and in[4] and n and in[8] and in[4]) or (not in[6]) or n or (not in[1]) or (in[2] and  in[3] and out[7] and b)) or ((in[4] and in[1] and in[3] and hb8 and pb and cj and in[1] and in[0]) and in[2] and (out[7] and in[4] and hb8 and H and out[7] and in[6]) and (m and cj and in[4] and in[1] and in[3] and n and n and m) and (in[4] or in[ 0] or in[6] or out[11]) and (in[3] or cj or pb or in[1] or out[11] or pb or in[5] or in[3] or in[2] or in[6] or n) and in[2]) or ((not in[7]) and (not H) and (in[3] or in[3] or out[11] or b) and (out[7] and in[7] and hb8))  or ((not in[6]) or (in[2] and in[8] and out[7] and pb and in[2]) or out[11] or (cj or in[8] or hb8 or n or in[ 1]) or (not out[11]) or (not in[2]))) or (not out[7]) or (((in[8] or out[11] or in[1] ) or in[1] or (hb8 and m and cj) or (not in[1]) or (in[8] and m and m and in[8]) or (H or in[8] or out[11] or in[6] or in[0])) or ((not m) and (in[3] and b and in[6] and hb8 and m and n)) or (not b) or (not cj) or ((hb8 and hb8 and n and n and b and hb8 and in[6]) or (in[5] and m and in[5] and b and in[0] and in[1] and pb and in[5]) or in[6] or (not n) or (in[7] and cj and in[0]) or (H or out[11] or m or H))) or (((in[6] or in[7] or in[2] or in[5] or in[4] or pb or in[0] or in[0] or in[1]) or (in[8] and in[0] and hb8 and in[3] and pb and in[1] and b and n and out[7] and out[7])) or ((H and H and in[7] and out[7] and in[3] and in[5] and out[11] and out[11 ]  and cj and pb and pb) or (not n) or (hb8 or in[1] or in[1] or in[2] or in[6]) or (not b)) or (not hb8) or in[1] or (not in[2]) or ((m or n or pb or in[0] or in[8] or  H or in[8] or b or in[4]  or in[4]) or (in[0 ] or in[6] or out[11]) or in[1] or out[7] or hb8 or (not in[1]) or (not in[2]) or (in[8] or in[7] or in[4] or in[3] or in[5] or in[2] or in[2] or in[3] or out[11] or b or in[8] or in[1]) or H or (in[5] and in[0] and cj and in[5] and in[4])) or ((in[1] and in[8] and n and n and in[5] and b) and pb and (in[6] and in[0]) and (pb and in[1] and in[0] and m and in[5] and in[0]) and H) or ((in[1] and H and hb8) and in[5] and (not out[11]) and (not in[4]) and (not in[4]) and (in[0] or in[8] or pb or in[5]  or n or cj) and in[0])));
h=(not H);
C=in[0];
out[9]=(out[7] and in[7] and ((H or (pb or cj or in[7] or H or out[11] or H or hb8 or in[7]) or (not in[5])) and ((not C) or (in[8] and in[4] and in[5] and F and in [8] and out[11] and in[2] and out[11]) or (not in[0]) or (C and F and in[4] and C and H) or (in[5] or in[2] or in[8]))) and (not in[2]) and ((in[4] or (pb and h and h and in[2] and h and in[ 6] and in[1] and b) or (cj and in[6] and in[2]) or (b and in[4] and in[4] and in[1] and in[2] and in[8] and in[7] and in[6] and b) or (not in[4]) or (F or hb8 or F or in[2] or in[4]) or (b or out[7] or in[7] or in[4] or C or m or H)) and (not C) and H and (not H) and b and ((pb and in[6] and in[0] and m and in[2] and in[6] and n) and hb8 and (C or out[11] or C or pb or in[6] or hb8 or n or in[2] or in[7] or in[0] or C)) and (not cj) and F and ((not h) and out[11] and hb8 and in[8] and (out[11] and C))) and m and ((in[5] and (out[7] or cj or F or out[7] or pb or out[11] or b or H or in[8] or in[6] or H or in[5]) and (in[4] or in[4] or H or C or F or out[11])) and (not b) and in[4] and (not in[7]) and (m or (h or b or out[7] or b or cj or out[7] or in[4]  or hb8 or H) or (F or in[4] or in[6] or in[2]) or ( n or b or n or out[7] or C or H or in[7] or in[1] or pb or pb or in[8] or in[5]))) and in[2] and (not in[5])); 
A=(in[2] or (((F or hb8 or n or in[8]) and (hb8 or in[ 1] or m or hb8 or out[11] or out[9] or in[4]) and in[4] and pb and (in[6] and pb) and (not m) and (in[5] and in[0] and  in[0] and H) and (cj and hb8 and in[4] and in[6])) and ((not n) or (H or h or in[5] or in[0] or out[11]  or m or m or in[4] or in[3] or pb or C or n or F) or (not h) or n) and ((n or hb8 or m or H or in[1]) and (out[9] or out[7] or in[3]) and (in[8] or cj or in[4] or in[3] or m or in[8] ) and H and (n and in[0] and out[11])) and in[3] and (in[3] or (not H))) or ((not in[0]) or C or ((H and n and in[5] and in[5] and in[6] and n) and in[1]) or out[7] or ((hb8 and F and in[6] and C and m and n and in[2] and out[9]) or m or (not H)) or ((not b) and (not in[5]) and (not out[7]) and (h and out[7] and in[8] and in[2] and in[8] and n and F and in[8] and H) and (not in[5]) and (in[4] or pb or in[6] or in[6] or C or b or in[4] or hb8 or b)) or out[7]  or b or ((pb and cj and b and in[4] and cj and in[1] and in[4] and in[4] and C and in[8] and out[9] and n and in[3]) or (out[7] or in[0] or C or pb or pb) or (b or pb or out[9] or in[8] or hb8 or in[3] or H or out [9]) or (h and in[2]) or (H and n) or (out[7] or out[7] or in[5] or in[3] or n or H or in[4] or m or in[3] or b) or in[2]) or (not h) or (not in[0]) or ((not b) and (hb8 or H or in[0] or h or b) and (in[0] or  out[7] or F or in[8] or in[0]) and (b or F or cj) and (in[8] and b) and (H or pb or in[4] or out[7] or in[7] or in[0 ]) and (not in[7]) and pb and (not n) and (in[7] and out[7] and in[7] and in[2] and pb) and h)) or n);
Jbk0=in[2];
CLn=(not h);
WZM=b;
out[10]=((not C) and (in[1] or  (not out[11]) or ((h and out[7] and b) and in[1] and (in[2] or CLn or H or pb or cj) and (in[8] and F and A and cj and b) and m and (H or h or out[9] or out[9] or Jbk0 or H or WZM or in[2]) and (in[2] or A or in[0] or in[4] or CLn or n or in[1]) and (not in[6])) or (in[0] and in[8] and (in[4] and hb8 and in[0] and CLn and A and in[2] and in[0]))) and (not b) and (not out[11]) and (not out [11]) and WZM and ((not CLn) or out[7] or n or (CLn or (m and in[0] and F and Jbk0  and in[3] and out [9] and in[4]) or (F or F or CLn) or (in[3] and b  and in[6] and in[7]) or (C and in[1] and in[0] and b and in[1] and n) or (C or in[1] or F) or (not in[2]))));
u3y=b;
out[4]=((((in[8] or in[2] or hb8 or cj or H) and (in[5] or cj or C or hb8) and (not in[0]) and (u3y and WZM and h and b) and (in[8] or pb or hb8 or in[7] or pb or out[9] or in[4 ] or in[4] or in[8] or CLn or in[0] or C)  and in[8] and (not in[6]) and (in[7] or m or in[3] or n or C or in[6] or Jbk0) and in[2]) or (not u3y) or (not WZM) or hb8 or (not Jbk0) or ((C and in[4]) and out[11] and (not A) and in[0] and (not in[3]) and (out[7] or pb or H or in[3] or in[ 1] or b or in[4] or hb8 or F or in[1])) or (in[0] and (not in[4]) and (in[6] and F and out[7] and C and Jbk0 and h) and (A or Jbk0 or in[0] or F or in[8] or in[4] or out[7] or in[2] or n or pb) and in[2] and in[3] and (F and pb and A) and (out[10] and out[7] and m and in[0])) or CLn or (not pb)) or (not in[4]) or (((b and in [5] and A and in[5] and out[10] and Jbk0 and out[11] and C and F and in[0] and u3y and Jbk0 and m) and (not in[1]) and (not in[8]) and in[2] and (C or CLn or out[11] or h or n) and (in[0] or CLn or in[8] or A or in[1]) and (m and in[6] and b and out[10] and in [5] and in[5] and out[11]) and (cj or WZM or out[10] or in[7]) and (not pb)) and (out[11] and (F or out[9] or in[1] or in[5] or hb8 or CLn or out[10] or in[8] or Jbk0) and out[10] and (out[7] and cj and m and in[1] and F and m and out[7] and F and u3y and in[3] )) and F and (not out[11]) and (not in[6])) or CLn or ((not in[2]) or in[6] or ((out[7] or out[7] or n or Jbk0 or in[8] or hb8 or out[9 ] or out[7] or A or A or b or in[0] or in[3]) or (not b) or (in[8] and WZM and in[0] and in[7] and in[3] and in[5] and out[11] and h and hb8 and C) or (not in[8])) or in[8]) or in[4]);
