# 2 14 8
ODb=(not in[1]);
out[8]=(not ODb);
J=(not in[0]);
Z=((not in[1]) and out[8] and in[0] and (not in[1]) and (((not in[0]) and (not ODb) and (in[0] and out[8] and J and in [0]) and (in[0] or J or out[8] or J or in[1] or in[1] or ODb) and  (J and ODb and ODb)) or (not in[0]) or ((not in[0]) and (not J) and in[0] and in[1] and (in[0] or J)) or ((in[ 1] or J or J or J or in[0 ] or out[8]) or (ODb or J or ODb or in[0] or J) or (in[1] and J) or (in[1] or J or out[8]) or out[8] or (not in[0])) or in[1] or ((in[1] or out[8] or J or ODb or ODb or in[1] or in[0] or out[8]) and ODb and in[1]) or (not in[1]) or ((J and ODb and in[1] and ODb and J and J and ODb and in[0] and  out[8] and out[8] and ODb) or (ODb or J or ODb)) or in[0]) and (in[1] or (not out[8]) or (not ODb ) or (not in[1]) or ((not J) or (ODb or in[1 ] or in[1] or in[1] or J or out[8] or out[8] or in[0]) or (in[0] or J or in[1] or ODb or ODb or in[0]))) and out[8]);
t=((not ODb) or (in[1] or (not J)) or (ODb or (not in[ 0]) or (not in[1]) or (not ODb) or ((not out[8]) or (not Z) or (not out[8]) or in[1]) or in[0] or (not ODb) or (out[8] and in[1] and (ODb and in[0] and Z and J and out[8] and in[1]) and ODb and (not in[1]) and (not J) and (ODb and in[1] and J and Z and out[8]) and (not in [1]) and (not in[0]) and (not Z)) or (not J)));
G=((out[8] and Z and (( t and Z and ODb and in[0]) or (in[0] and J and in[1] and out[8] and ODb and Z and in[0] and Z) or J or (Z and in[0] and  J) or in[1] or ODb) and (in[0] or in[1] or (not in[1]) or (not out[8]) or (J and t and in[0] and ODb) or (not out[8]) or (in[1] and ODb and in[0] and J and in[1] and ODb and in[0] and J and Z and out[8] and t) or (not Z) or (not out[8]) or ODb ) and (Z or (in[1] and in[0] and ODb and t) or (not J) or (in[1] or out[8] or in[0]) or (ODb or Z or J or in[0] or out[8]) or (ODb or ODb) or (t or J or J or  out[8] or out[8 ] or t or ODb or t) or Z or out[8]) and (not ODb)) and (not in[1]) and (((not out[8]) and (Z and Z) and (Z and J and t and J and Z and  in [0] and out[8]) and (not J) and (J or ODb or in[1] or out[8] or J or Z or out[8])) or ((not out[8]) or out[8] or (ODb and out[8] and ODb and t and t and t  and in[1] and in[0] and J and in[1] and J) or out[8] or (Z and Z and out[8] and in[1] and in[1] and ODb and t) or (Z or J or Z or out[8 ] or in[1] or ODb or Z or Z) or (not ODb) or (out[8] and in[0] and ODb) or (ODb and in[0] and J and in[1])) or ((in[1] and in[1] and in[1] and Z and ODb and t) and Z and t and (J and Z and ODb and Z and in[0]  and in[1] and in[0] and ODb and in[0] and t) and t and (t and J and  ODb and t and in[0] and J) and (not in[1]) and (not ODb) and in[0] and in[0]) or in[1] or ((ODb and in[1] and out[8] and t and ODb and in[1] and in[1]) and (not J) and (ODb or t or in [0]) and (t or ODb or in[0] or in[1] or ODb or J or in[0]) and (in[1] and ODb and in[0]) and (not in[0])) or ((not t) or (not Z) or (J and in[0] and in[1] and J and t and out[8]) or ODb or (not Z)) or (not t) or (not out[8])) and out[8] and (not J) and (((in[1] and Z and out[8] and J and out[8] and out[8] and Z and in[0] and Z) and (out[8] or in[0] or ODb or Z  or in[0] or t or in[0]) and (not in[1]) and in[1] and (not ODb)) and (not in[1])) and ((not in[0]) and (not ODb)) and ODb  and  in[1] and (((t and J and out[8] and Z) or (not ODb) or out[8] or (in[0] and in[1] and ODb) or (not out[8])) and J and  ((in[0] and ODb and J and ODb and in[0] and out[8]) and (ODb or out[8] or in[1] or Z or t or t or t or ODb) and (ODb or ODb or in[0] or out[8] or in[1] or Z or ODb or t or in[0] or J) and t and (not out[8]) and in[1]) and out[8] and in[0] and ODb and in[0]));
E=((not in[1]) and (not ODb) and ((not in[1]) and (not ODb) and (not t) and ((not ODb) and Z and (in[0] and t and out[8] and in[0] and G)) and ((Z and J and Z and ODb and Z and G) and (Z and Z and J and t and t and t and Z and t and J and t and in[1]) and (in[1] and t and J) and G and (J and J and t and in[0] and in[0] and ODb and in[1] and Z and t)) and ((not out[8]) and G and out[8] and (t and in[0]) and Z and in[1] and G and (not G) and (Z and in[0] and  ODb and ODb and in[0] and in[1] and out[8] and out[8])) and (Z or (not Z) or (in[1] and t and G and t) or (Z or G) or (Z or J or in[0] or in[1]) or Z or (out[8] or Z or J or in[0] or out[8] or in[0] or G or ODb or t) or (not Z ) or (in[0] or ODb or Z or out[8] or J or in[ 0] or t or ODb or out[8])) and (in[0] or Z or (not out[8]) or (t and J and G and G and out[8] and Z and ODb and J and in[0] and ODb) or J) and (ODb and (not G) and (in[0] and ODb and out[8] and out[8] and G and ODb and Z and G and in[0])) and ((not Z) and ODb and (not ODb) and (not Z) and (in[0] or Z or out[8] or in[0] or ODb or in[1] or G or Z or in[0]) and (not out[8]) and in[1] and (not ODb) and (not out[8]) and (ODb or ODb or J or Z or G or out[8] or Z or Z or in[0] or G or Z or ODb or out[8] or Z) and (not ODb) and (J and out[8] and G) and (in[1] and  t and J and out[8] and out[8] and t and in[0] and ODb and out[8] and  in[1])) and (not in [0]) and (not in[0])) and (not ODb));
K=(((in[0] and (t and E and out[8] and E and t and  t and out[8] and E and t and ODb and ODb and G and t and G) and E) or ((not t) and (not G) and in[1] and (in[0] and t and out[8] and E and ODb and E)) or ((E or G or G) and (not E)) or (not in[0]) or out[8] or (not in[1])) or (((E and J and ODb and Z) and (not J) and (ODb or in[0] or ODb or J or t or in[0] or in[1]) and (not in[0]) and (not in[1]) and (ODb and J and  in[0] and in[0])  and (Z  and t and Z and t and t and ODb and in[1] and in[0] and ODb and G ) and (not in[0])) or ((ODb and in[0] and ODb and Z) and (t or out[8] or in[0]) and Z and (in[0] or in[1] or J or G or E or Z) and (E and ODb and J and J and J and in[1] and G  and G) and ( in[1] or G or G or in[1] or G) and (in[1] and Z and Z and G and out[8] and in[0] and t and out[8] and J and G and J and Z) and (out[8] or in[1] or out[8] or G or t or in[1] or G) and (not out[8]) and (G or E))) or (((out[8] and in[0] and Z) and Z and (J or Z or in[1] or t or in[0] or Z or Z or in[1] or J)) and ((t or E or G ) and Z and (Z and Z) and (in [0] and t and E and ODb) and (not in[1]) and (t or out[8] or out[8] or in[1]) and (t and Z))) or (not G) or ((not Z) or (E or E or t or (not in[0])) or ((in[0] or in[1] or t or out[8] or t or J or ODb) or (J and t) or (not E))) or (((in[1] and E) or in[1] or in[1]) or in [ 1] or in[0] or (not Z) or ((in[1] and in[1] and ODb and ODb and J and t and J and in[1]) or J or (Z or t or E or t or Z or out[8] or in[1]) or (not ODb) or J or (t and in[1] and in[1] and E and out[8] and J and in [ 1]) or (not  J))) or ((not in[1]) and (not in[0]) and G) or (not ODb));
