# 4 6 26
GP=(not in[3]);
out[ 2]=in[3];
V=((not in[0]) and (((not in[2]) or (in[0] and GP and GP and in[1] and in[0] and GP ) or  (not out[2]) or (in[1] and in[ 3] and in[3] and in[1] and in[2] and in[1] and in[1] and in[0] and in[2] and GP and out[2] and in[0]) or (not in[2]) or (not in[1]) or out[2] or (not in[0]) or (in[1] and GP) or GP or out[2] or (GP or in[2] or GP or in[2] or GP or in[0] or in[2] or in[3])) or (not out[2]) or (not in[2]) or ((in[2] and GP and in[3] and in[1] and GP) or in[2] or (in[1] and  in[1] and in[1] and GP  and GP) or in[1] or (in[2] and in[1] and in[3] and in[2] and GP and in[0] and in[3] and in[1] and in[2] and out[2] and in[2] and in[1] and in[1]) or (not GP) or in[1])) and (((in[0] or in[1] or out[2] or GP or in [2]) or GP or (GP or GP or in[1] or in[3] or in[2] or GP or out[2])) or (not out[2]) or ((out[2] and in[3] and in[3] and in[3] and in[2] and out[2] and in[1] and in[2]) or (not in[3]) or (not in[3]) or GP or (in[1] or in[3] or GP or GP or in[0] or in[2] or in[0] or in[3]) or (in[0] and out[2] and in[3] and in[0] and in[3] and out[2]) or (in [1] and in[0] and in[3] and GP and in[0] and in[1] and in[0])) or ((not in[2]) or (not in[0]) or (in[3] and in[2] and out[2] and in[2] and GP and in[1]) or (in[3] or out[2] or in[3] or in[0] or in[2]) or (not in[3]) or (in[1] or out[2] or out[2] or GP) or in[0] or in[3] or (not GP) or (not GP) or in[1]) or (not out[2]) or ((in[0] and in[ 0] and in[0] and out[2] and out[2] and in[1]) and (out[2] or in[1]) and (out[2] or in[0] or in[3])) or (in[2] or (not in[1]) or (not out[2]) or (not GP))) and (GP and (in[1] and out[2] and (in[3] or out[2] or out[2]) and (not GP) and (in[3] or in[2] or in[1]))) and GP and in[1] and out[2]);
o=in[3];
T=in[0];
wT=in[3];
out[1]=((in[0] or out[2] or (not in[3] ) or ((o or GP or in[0] or in[2] or wT or out[2]) and (wT and V and V)) or (not in[3]) or in[2] ) or (out[2] and ((not T) and (in[3] or out[ 2] or in[3] or T or in[2] or in[3] or in[3]) and V and in[1]) and (not T) and (not T)) or (not GP) or (in[2] or (not o) or ((T and V and wT and T and in[0] and in[3]) or (out[2] and wT and o) or (out[2] and in[0] and T and wT and in[2] and GP and GP and in[3])) or (not in[3])) or (((in[2] or out[2] or wT or GP) and (not out[2]) and (GP and T and in[1] and V and T and o and wT) and (not T) and (not in[1]) and (V or in[2] or in[2] or o or in[0] or V or out[2] or wT or in[0]) and (GP or o) and  (out[2] or T or out[2])) and (not GP) and (not in[3])));
xO=(o and in[0] and ((not in[0]) and ((in[3] or in[0] or T or T or in[2]) and (not wT) and (not T ) and (not wT) and (not GP) and (in[0] or wT or V or in[2]) and in[2] and (wT and T and wT and in[1] and GP) and (V and in[3] and in[0])) and (out[2] or (in[3] and T and T) or wT or (out[1] or out[1] or in[3] or in[1] or V  or T) or (T and wT and V and out[1] and GP and in[2] and  out[1] and T and wT))) and ((not GP) or (V or (in[3] and GP and wT and T and in[1] and in[2] and V and in[3]) or (in[1] and GP) or out[2] or (GP and in[1] ) or (not o) or (in[2] and o and in[1]) or (out[1] or in[0] or o or o or out[1] or wT) or (V and out[1] and in[ 3] ) or (wT and out [2] and in[3] and in[2] and wT) or in[0] or (not in[1]) or (not T) or (T and in[1] and in[0] and o and in[0] and in[0] and T and in[1] and in[0] and in[2]) or (not T))) and (((not in[0]) and T and (not in[ 1]) and (not V)) and ((not in[2]) and (in[2] and in[3] and in[2] and V and in[0]) and (out[2] and T and in[0] and out[1] and o and in[ 1] and in[3] and out[1]) and o) and in[3] and in[0]));
Cms=((not in[0]) and V and (((out[1] or T or in[1] or wT or out[2]  or in[2]) or (wT and in[2] and xO and in[2] and o and out[2] and V)  or out[1] or (T or out[2] or  in[1]  or o or V) or (T or T or V or out[1] or xO or out[2] or out[1] or V) or V or wT or in[2] or in[2]) or ((not in[2]) or (not out[1]) or (out[1] or V or out[2] or GP or  o or in[3]) or (not T) or o or in[2] or (not in [1]) or T or (T or in[0] or in[1])) or (out[1] or xO or (o and in[3] and V and T and wT and in[1] and out[2]) or wT) or (not out[1])) and (((o or out[2] or V or V or out[2] or in[1] or GP or in[0] or in[0] or xO or GP or o) and (not in[2]) and (in[2] and in[0] and xO and wT and out[2] and in[3] and in[3] and out[2]) and (in[2] or V)) and in[2] and ((in[0] or wT or o or out[1] or T or out[2]) or (in[0] or out[2] or in[2] or in[3] or GP or GP or GP or out[1]) or out[1] or (not T) or (out[2] or in[1] or T) or (xO and in[0] and out[1] and xO and in[0] and GP and V and o) or (o or wT or V or xO or wT or V or in[0] or xO)) and ((out[2] and out[1] and o and in[3] and T and T and xO and V) or (in[3] and in[3] and V and in[2]) or GP or (V and V and in[2] and in[3] and GP and in[3] and V and GP) or (not T) or (not in[1]) or (out[1] or wT or in[1] or in[0] or in[0] or in[3] or V) or xO)));
a=(o or ((out[2] and (wT or o or out[2]) and o) and (not out[1]) and ((in[1] and out[1] and in[1] and T) and (not T) and (out[1] or out[1] or GP or in[0] or out[2] or T or T or V) and V and out[2]) and GP and ((not  out[2 ]) and (not xO) and (o or in[0 ] or out[2] or in[1] or in[3]) and wT) and ((in[0] or out[1] or wT or in[1] or wT) or (out[1] or out[1] or o or in[3] or o or xO) or (not wT) or (in[2] and out[2]) or V or (wT and out[1] and in[0]) or (not GP) or (in[0] or out[1] or in[2]) or in[1] or (out[2] or  wT or xO or Cms or in[2] or Cms or in[3] or o or xO) or Cms or (GP  or in[1] or out[2] or in[1] or in[0] or Cms or V or xO or in[2] or wT or T)) and (not wT) and (out[2] or (in[1] or xO or GP) or (out[2] or  xO or in[0] or out[1] or wT)) and (not in[2]) and (not GP)) or (((not wT) or T or (not out[2]) or xO or (GP and in[1] and out[2] and in[3] and out[2] and T and out[2] and in[1] and in[1] and in[1] and out[2])) or ((not in[1]) and (V or wT or wT or in[0] or wT or in[0] or in[3]) and (not T)  and (not Cms) and (in[2] and in[ 2] and V and GP) and in[0] and (in[3] and in[1] and out[2] and xO and V and out[1] and xO and T and in[3] and in[3] and out[2] and wT)) or xO or ((T and Cms and in[2] and o and out[1] and in[2] and o and T) and wT and (Cms or o or V or V or out[2] or xO) and (not xO) and (not in[2]) and (out[1] and in[1] and GP and out[2] and Cms and o) and (in[1] and in[3] and in[0] and in[2] and o) and ( T or in[0]) and (V or V or out[ 1] or Cms or Cms)) or ((Cms or in[3] or out[2] or V or V or GP or T or xO or out[1]) or (in[1] and o and xO and in[3] and GP and in[1] and in[1] and in[0] and in[0] and o and T)) or ((xO or in[0] or Cms) or (not GP) or (o  or in[0] or out[2] or out[2] or in[1]) or in[1]) or in[2] or ((not GP) or in[1] or (not in[3]) or o or (not in[2]) or (in[3] and in [2] and wT and xO and in[1] and GP) or T) or V or V or ((out[2] or in[0] or in[1] or o or in[1] or in[0] or o or V or o or wT) and (not GP) and out[2] and  (not out[ 2]) and wT and (GP and in[0]))));
Xy=(((in[1] or T or (not out[2]) or a or (out[1] or Cms or in[1] or Cms or out[2]) or in[0] or (not out[2]) or (Cms and o) or (Cms and a and in[2])) and a) and ((not in[2 ]) and GP and (not T) and in[2] and (not  in[3]) and (not in[1]) and ((not in[0]) and (V or in[0] or wT or in[0])) and ((o and o and out[1] and o and in[3] and in[3] and in[2]) or a or (not in[1]) or (xO and in[2] and in[3] and xO) or (o or V or out[2] or Cms or V or in[1] or a or V))) and (((not T) and (not T) and (in[2] or GP or a)) and (not wT) and (not o) and Cms and Cms and Cms and (o or out[2]) and ((not in[3]) or (not o) or in[3] or (not V) or (not out[2]) or (xO or GP or wT or in[0] or xO or wT or T or Cms or in[3] or in[3] or in[0] or T) or (a and wT and V and in[3]) or (in[1] and GP and in[1]) or (not in[1]) or in[0] or (not out [1]) or (xO or o or out[2] or out[2] or out[2] or Cms or in[3]) or (out[1] and xO and o and in[3] and wT and in[1]))) and (not out[ 2]));
out[3]=(not a);
Ul=((((V and in[1] and o and GP and wT and a and in[0] and Xy) and (GP or T or Xy or out[1]) and (out[3] or xO or wT or out[1])) and ((a and in[ 1]) and xO and (Cms and T and out[2] and in[1] and in[1] and in[2]) and (not Cms)) and ((T and Xy and out[1] and xO and out[1] and o and Xy) and (not GP) and (V and xO and in[0]) and o)) or (not out[1]));
ax=(in[0] or (((not out[3]) or out[ 1] or (not out[2]) or (not in[2]) or (in[0] or Xy or GP or Xy or in[1] or in[ 3] or out[2] or out[1] or in[3]) or (not Ul)) or ((V and GP and in[1]) and in[3] and (out[3] or out[1] or out[1]) and (T and in[3] and in[1] and wT) and (Cms and o and out[2] and Ul) and (in[3] or GP or out[3] or in[0] or in[3]) and (o or xO) and (in[2] or o  or o or in[3]) and (in[0] and V and out[1]) and (not in[3]) and (T and in[0] and V and V and out[3] and Ul and out[2]) and (out[1] or o or o)) or o or ((Ul or in[3] or  T) or (not in[0]) or (not in[0]) or (xO and in[1] and Xy and wT) or (not a) or (not a) or xO or (not Xy)) or ((xO and o and out[1] and in[1] and T and Cms) or (Ul and out[2] and GP and in[2] and wT) or in[1] or wT) or ((V and out[1] and in[1] and in[2]) or in[2] or (in[1] and Ul and in[0] and o))));
q=(((not in[3]) or ((not wT) and (a or in[0] or in[1] or out[2] or in[3] or xO or Cms or out[2] or T or out[3] or Ul or out[3]) and in[3]) or (not Ul)) or (in[3] or (not ax) or ((not o) and out[3] and  (a or in[0] or Xy) and (V and in[1] and wT and in[0]) and in[3]) or o or ((a and T and wT) and Cms and (xO or out[1] or wT or Ul or Xy or in[0] or out[2])) or ((in[0] or out[1] or a or  Ul or a or in[0] or in[3] or out[2] or Cms or GP or in[2] or out[2]) or (not T) or (not in[ 0]) or (not xO) or (not a) or (o or in[1] or out[2]) or (not in[2]) or (Xy or wT or out[1] or out[3] or in[2] or Cms or Xy or ax or wT or Ul or out[2]) or V or out[3] or (o or V or in[0] or in[3] or in[1]) or (not Ul) or (ax or wT or out[1] or out[3] or in[1]) or  (V or Cms or out[3] or xO or Cms or ax or in[0] or in[0]) or o) or (in[0] or in[0] or (in[3] or o or Ul)) or (out[3] and o and (GP or out[2] or GP or a or out[1] or Ul) and GP and (not in[3]) and Xy) or ((not in[0]) and (in[1] or in[3] or out[3] or V) and (T or V  or in[2] or T or in[3] or a or wT or a or in[1] or GP) and Xy and (not Ul) and in[3] and (wT or in[3] or V or  ax) and (Xy or o or Cms or GP or o) and (not in[2]) and (not GP))) or ((not Ul) and ((wT and out[2] and wT and V and T and out[2] and in[0] and GP and in[1] and out[3]  and ax and V) and (in[3] and Ul and in[3] and a and in[1] and Ul) and (in[0] and out[2] and out[3] and ax and out[2] and GP) and wT and (GP and Xy and out[2] and Cms and out[2] and out[3] and wT)) and ((not o) or (out[3] and out[3]  and in[1] and in[2] and xO) or (out[1] or in[3]  or in[1] or Cms or in[1] or out [3]) or (in[2] or Ul or V or V or out[3] or V or in[2] or in[3] or out[1] or out[3] or ax) or (not in[2]) or (out[2] or in[2] or V or Ul) or (T or xO or in[0] or Cms or in[2] or Xy  or in[1]) or Cms or (not xO)) and (not in[1]) and ((xO and V and GP and T and in[2] and out[2] and GP and ax and Xy) and (not in[0]) and (not Cms) and out[2] and (ax and ax and wT ) and a and (GP or Xy or ax or GP or GP or GP or in[2]) and (not out[  3]) and (Xy  or Xy) and (in[ 3] and in[1] and out[2] and Ul and GP and Ul and in[0] and Ul and wT)) and ((in[1] and Ul and ax  and a and Cms and Xy and in[3]) and o and (not in[3])) and (not Xy) and (( GP or Xy or ax or in[0] or xO) and Xy and wT and (not wT)) and (not Ul)) or ((in[1] and (a and Cms and in[3]) and in[1] and out[3] and (out[2] and Xy and a and out[1] and out[2 ])) or V or (not T) or ((in[1] and  o and V and o and Xy) and (not a) and GP) or (not in[2]) or (not T) or in[2] or (out[2] and (wT or out[2] or V or Cms or out[3] or in[1]) and xO and (not out[1]) and (in[1] and out[3] and a and in[3] and V and out[1] and wT and T)) or (GP and (o or V or in[1] or o) and (in[0] or in[1] or out[1] or ax or out[2] or in[1]) and (in[0] or GP or in[0] or xO) and (not V) and (V and Xy and Ul) and (out[1] and T and in[2] and GP and out[3] and in[2] and in[2] and T and T) and (not xO))));
N=(not in[2]);
qmI=ax;
od=(not wT);
v=(not Cms);
out[0]=GP;
Pwv=(not xO);
M=(not out[0]);
yd4=((((o and a and od and qmI and out[2] and out[1] and GP) or (not xO) or (out[2] or V) or ( a or q or q or qmI) or (Pwv and in[2])) and out[0] and (not T) and (not ax) and (not V)) or (((q or Pwv or in [3] or T or Ul  or T) or in[1] or (out[3] or Ul  or qmI or o or Ul or M or M or GP or in[1] or qmI) or (Xy and a and in[2] and o and M and  T)) and out[3] and q and (not Cms) and ((v or T or in[3] or in[1]) and (not out[0]) and  Cms and (out[0] or  xO or N) and qmI and (Ul and Xy and in[3] and T and out[1] and V and out[2] and in[0] and q and M and in[3] and o and in[1]) and (not out[0]) and (in[0] or xO or v)) and ((N and GP and out[3]) and (N and out[0] and M) and (wT or out[0] or xO or N or in[0] or Ul or out[1] or a or xO or in[1]) and (Cms or Pwv or in[0]) and (not Xy) and xO and (not in[2]) and N and (not o) and (in[3] or ax or qmI or V or out[0] or v)) and ((out[1] or q or in[3] or q or v or out[3] or out[2] or v) or (not out[1]) or (V or Pwv or GP or Pwv) or (not od) or (v or out[3] or od or o or ax or o or o or Xy or T) or (not in[0]) or (od or ax or Ul or in[0] or o) or (q and qmI  and v and in[3]) or od or out[0] or (not in[3])) and ((not in[1]) or (not wT) or (out[1] and xO and Cms and xO and GP and od and out[1]) or (not V) or (not in[0]) or (in[1] or Ul or Ul or q or in[0]))) or (M and ((in[1] and out[3] and in[2] and q and od) and Pwv and out[2]) and (not in[2]) and Cms and ((v and Ul and in[2] and qmI and out[0] and in[0] and Ul and Ul) or (v or in[3] or in[3] or Xy or out[3] or out[0] or xO or od or Cms) or qmI or in[1] or qmI or (not out[0]) or (out[0] and Pwv and  N and out [0] and M and V and q))) or ((not v) or ((Xy or T or in[1] or M or GP or Pwv or T) and ( a and V and o and out[3]) and (in[2] or o or wT or out[2] or o)) or wT or od or (not in[0]) or ((not GP) or (T or in[0] or in[1] or q or out[2] or M) or (ax or out[1] or Pwv) or (od and GP and Ul and N)) or ((in [ 0] and in[1] and in[2]) and (not in[3]) and Xy and Pwv and (ax or T or v or o or qmI or Ul or Pwv or v or qmI or xO)) or ((out[1] and wT and out[3] and GP and out[3] and in[2] and Pwv and GP and out[1]) and (wT or out[1] or GP or in[3] or in[1] or in[0] or Ul) and (N and V and v) and xO and Pwv and (q and out[0] and a and ax and out[2] and ax and xO and v and N) and (not N)) or (V or qmI or wT)) or ((q and (od or T) and (not qmI) and (a or out[1] or out[0] or Ul or V or od or ax)) or V or (not N) or ((V and out[3] and od and V and od) and  (Pwv  or v or V or N or out[3] or o or od or V or T or v or wT) and (not Cms) and  wT) or ((not o) or (qmI and M and M and Ul  and qmI and xO) or (not Cms) or (not od) or ax) or (not T) or ((o and V and V) and (v and o and od and q) and (od or od or qmI) and V and (in[0] or out[0] or ax or qmI or in[0] or v) and (out[2] or a or out [2] or out[0] or xO)) or ((o or Cms or Ul or in[0] or Pwv) or (Ul or qmI or qmI or M or in[2] or in[1] or in[2] or v)) or (T or (not out[0]) or (qmI and o and out[1] and v and Ul and in[3] and out[3] and q and Ul and od and in[2] and v and V and in[1]) or (V and N and V and q  and Xy and out[2]))) or out[0] or (not qmI) or (not N));
out[4]=(not N);
out[5]=((not out[0]) or (not qmI) or ((not out[4]) and (out[1] or (in[2] or M or xO or a or a or q or M or out[2] or wT) or (not out[4]) or in[1] or Ul or (od or out[0] or in[0] or yd4 or Pwv or q or ax or Pwv or q or in[0]) or (not V) or (V and out[3] and N and wT and out[2]) or (qmI or wT or out[2] or V) or N) and ((ax and xO and o and out[4] and od and in[0]) or out[3] or Ul or (not a) or (not Pwv) or (not Pwv)  or (qmI or out[2] or Ul or in[1] or Ul or wT or o or  Pwv or out[3] or out[1] or M or out[4]) or out[0] or (not GP) or ax or (out[1] and Ul and V and M and GP and out[4] and T and out[0] and out[4] and out [2] and wT and in[0] and N and GP and xO and o) or (not N) or out[0] or (Ul and GP and od and a and Cms and a and v and in[2]) or (not V)) and ((ax and xO) or (not out[1]) or (in[0] or od or ax or in[3]) or (in[3] and Xy and  od and q and V) or (out[2] or in[3] or yd4) or (wT or in[1] or xO or yd4) or (in[2] or wT or o or M) or (o and Ul and M and ax and wT and in[2] and in[3]) or (yd4 or a or out[4] or V or in[0] or wT or yd4 or yd4 or qmI or out[2]) or (out[1] or out[0] or od or T or xO)) and (M or (in[2] and a and in[2] and q and T and v and xO and qmI and out[0]) or (od or Cms or GP or wT)) and (not o) and ((not a) or out[1] or (not Ul) or (not q) or Ul) and ((Xy or a or xO or in[2] or out[1] or out[ 3] or in[2]) and ax and (qmI or out[2] or Xy or M or v) and qmI and (out[3] or Ul or v or out[0] or ax or od or a or Xy or in[2]) and (out[0] and T and q and in[0] and v and out[2] and od and in[3] and in[0] and out[3]) and (o and od and out[1] and GP and yd4 and in[1] and out[1]) and (out[1] and Ul and in[2] and wT and V and Ul and out[2] and out[2]) and (q and GP and in[3] and in[1] and out[3 ]) and (Cms or Cms or V or GP or out[0]) and o and (Pwv or o or Ul) and (od and in[3] and xO and N and q and yd4 and yd4 and Xy)) and ((Pwv or M or v or in[0] or Xy or out[4]) or (not od) or (out[0] and in[1] and xO and a and out[1] and out[1] and ax  and N and a and q)) and wT) or (V and (not V) and (xO or (T or q) or (o or T or Cms or Xy)) and (q or ax or (not out[2 ]) or (out[4] or od or V) or out[1] or qmI or out[3]) and GP and ((a or V or out[4] or out[2]) and (not qmI) and (not in[1]) and out[0] and (in[2]  and Xy and M and T and N and T) and (not in[3]) and Cms and (Cms or qmI or o or N or ax) and (not yd4) and (out[3 ] and Pwv and N and v and Xy and xO and wT) and (not v)) and ((xO and v and v and xO and xO) or (qmI and v and Xy and od) or (Xy and v and qmI and wT and in[1] and q) or GP or out[0]) and (a  or (out[0] or T) or (in[1] and out[3] and N and ax and T and Cms)) and ((wT or o or Cms or in[1] or out[3] or GP or yd4 or Cms or V or yd4) and N and (not GP) and (out[3] and wT and a and out[2] and xO and in[3]  and V and out[3] and in[2] and in[3]) and (GP and Ul and qmI and out[3] and v and out[4] and in[1] and in[3] and out[0]) and (N or V) and (Ul and q) and (Cms and qmI and Xy) and in[2])) or (in[0] and od and ((yd4 or Pwv or v) or (a or Ul or out[ 1] or in[1] or V or xO or v or v or Ul or out[1] or ax) or (not Xy) or xO) and (not Cms) and ((not Xy) and (yd4 and ax and out[4] and Pwv) and (a and in[3] and in[3] and q and od and o and ax and yd4 and T and V and in[0] and V and out[0] and v) and (T and Pwv and in[1] and out[2]) and (not out[0]) and (in[2] and in[0] and M and V and Cms) and (v and out[3] and ax and a and in[1] and Xy and a and out[1] and xO and GP))) or (not in[0]) or out[1] or in[1] or (((not v) and (M and Ul and a) and (not N) and (not out[4]) and (xO and v and M and V and in[3]) and in[1]) or ((qmI or in[3] or out[3]) and (v and out[0] and ax and out[1] and ax and Ul and Pwv) and (not in[2]) and (out[1] or wT or v or yd4) and out[1] and (not in[3])) or (yd4 and yd4 and (in[3] and a and GP and V and N) and (xO or out[3] or qmI or out[3] or o) and (yd4 or Ul or out[3] or out[1] or out[1] or out[4]) and (not xO)) or wT) or (Cms and ((qmI or v or out[0] or out[1] or out[0]) and out[0] and (not wT) and ax and (a or Pwv or in[0 ] or out[1] or a or in[3] or out[3] or q or out[2] or in[3])) and (not xO) and (not Xy) and (GP or (Pwv or wT or wT or Pwv or N or qmI or out[1] or Pwv)) and (not ax) and ((V or N or Pwv or in[3] or  out[0]) and (N and ax and qmI and out[1] and Pwv and wT and T and o)) and in[0]));
i2c=out[0];
