# 6 14 16
out[4]=((((in[5] and in[0] and in[3] and in[0] and in[5] and in[5] and in[0] and in[3] and in[5] and in[5]) or (not in[3])) and in[1] and in[5] and ((not in[2]) and in[3]  and (in[0] or in[3] or in[0] or in[1] or in[0] or in[0] or in[2] or in[2])) and (in[5] and (in[4] or in[4] or in[5] or in[0]) and (in[2] or in[0] or in[1] or in[3] or in[2] or in[0] or in[1] or in[2])) and (not in[3])) and (in[0] and ((not in[2]) and in[0] and (not in[3]) and in[2] and (in[2] or in[0] or in[5]) and (in[2] or in[0] or in[5] or in[0] or in[0] or in[2] or in[0] or in[0] or in[0] or in[ 3] or in[0] or in[4]) and (not in[1])) and (not in[3]) ) and in[0] and (not in[0]) and (((in[2] and in[4] and in[3]) and (in[ 2] and in[4] and in[0] and in[3]) and (in[2] and in[0]) and in[5] and (not in[5]) and (not in[4]) and (in[3] or in[5] or in[4] or in[3] or in[5] or  in[4 ] or in[2] or in[4]) and in[ 0]) or (not in[2 ]) or ((in[4] or in[1] or in[3]) or (in[4] and in[1] and in[4] and in[1] and in[3] and in[0]) or (not in[4]) or (not in[2]) or (in[0] or in[5] or in[0] or in[2] or in[2] or in[3] or in[5] or in[5]) or (in[2] or in[2])) or (not in[4]) or ((not in[ 2]) or (in[4] and in[5] and in[5] and in[1] and in[0] and in[2] and in[3]) or (in[1] or in[4] or in[3] or in[1]) or (not in[0]) or (in[3] or in[4] or in[2]) or (not in[5]) or (in[1] and in[4] and in[3] and in[0]) or (in[5] and in[1] and in[0])) or (not in[3]) or (in[1] and (not in[4]) and (not in[5]) and (in[5] and in[1] and in[3] and in[1] and in[5] and in[4]) and (in[1] and in[5]) and in[3]) or ((in[4] or in[3] or in[2] or in[2] or in[5] or in[5]) and (in[3] and in[1]) and (not in[ 0]) and (not in[5]) and (not in[0]) and (in[3] and in[0] and in[5] and in[4]) and (not in[1]) and (in[2] or in[5]) and in[1] and (in[2] and in[4] and in[4] and in[3] and in[0] and in[3] and in[1] and in[0])) or in[5]) and (((in[1] and in[5] and in[4] and in[5] and in[1] and in[4] and in[2] and in[1] and in[2] and in[1] and in[0] and in[5] and in[1] and in[5] and in[4] and in[4] and in[3]) or (in[0] or in[0] or in[5] or in[2] or in[3]) or (in[1] or in[0] or in[4] or in[0] or in[2]) or (not in[3]) or (in[2] or in[ 3] or in[2] or in[1] or in[5] or in[3] or in[3]) or (in[2] and in[5] and in[3] and in[4] and in[1] and in[2]) or (not in[1])  or (in[2] or in[0] or in[1] or in[5] or in[3] or in[3] or in[1] or in[1] or in[5] or in[3] or in[0]) or in[5]) and ((in[5] or in[2] or in[2]) or (in[4] or in[4] or in[4]) or (in[3] and in[1] and in[3] and in[4] and in[4])  or (in[0] and in[4] and in[4]  and in[2] and in[4] and in[3]) or (in[5] or in[0]) or in[2] or (in[1] and in[1] and in[4]) or in[2]) and (in[1] or (in[1] or in[3] or in[0])) and (not in[4]) and in[4] and ((not in[5]) or in[4] or (not in[2])) and ((in[2] and in[4] and in[3] and in[1] and in[1]) and (in[1] and in[0] and in[0] and in[3] and in[0] and in[1]) and (in[4] and in[4] and in[2] and in[2] and in[1] and in[5]) and (in[1] or in[1] or in[0] or in[1] or in[5]) and (in[ 5] or in[4])) and (in[0] and (in[1] or in[5]) and (in[4] and in[2] and in[1] and  in[5] and in[3] and in[2]) and (in[1] and in[3] and in[2] and in[1] and in[1] and in[1] and in[0] and in[2] and in[1]) and in[4] and in[5] and (not in[4])) and in[4]) and (not in[2]) and (not in[3]));
out[5]=in[5];
hdJT=in[0];
out[11]=(not in[1]);
Io=(in[5] or (((out[4] and in[0] and in[0] and out[4] and in[1] and in[2] and in[1] and out[11] and in[5] and in[5]) or (in[3]  or in[1] or out[11] or hdJT or in[4]) or (out[11] or in[0]) or (not in[0]) or out[5] or out[4] or out[4] or (in[5] and in[ 5] and in[4] and out[4] and in[ 5] and in[1] and in[3] and in[4] and in[3]) or (in[4] or out[11] or in[5] or out[4] or out[11] or in[0] or out[4] or in[0] or hdJT) or (not out[11]) or (not in[5]) or in[2]) or ((in[2] or hdJT or in[1]) and (not out[4]) and in[2] and out[5]) or (not in[4]) or (in[3] or (not in[5]))));
H=(not in [4]);
c=(((H or (hdJT and in[1] and in[2] and in[0] and out[4] and out[5] and H and H and in[3])) and ((in[3] or in[1] or in[5]) and (out[4] and out[4] and in[3] and in[4] and out[11] and in[5] and out[5] and in[5] and in[5] and Io and Io) and (hdJT or in[5])) and ((out[11] or in[5] or in[4] or in[4] or Io or in[4] or out[5] or in[0]) and out[5] and in[1] and out[11] and (hdJT and in[3] and in[1] and in[1]) and (not H) and (H and in[4] and in[4])) and ((not in[2]) and (not out[11]) and (not H) and out[4]) and (not out[4]) and out[11] and (in[1] and (out[4] or in[4] or Io or H or out[4] or in[2] or out[11]) and (not out[11]) and in[0]) and in[5] and in[5]) and (Io and (not out[11]) and ((in[4] and in[3] and in[4] and in[4] and H and hdJT and hdJT) and (not out[11]) and (out[4] and in[5] and out[5] and out[11] and out[ 11] and hdJT and hdJT and out[5] and in[1] and hdJT) and (in[5] or out[4] or out[11] or hdJT) and (not in[5]) and (not out[5]) and H and in[0] and (in [4] and Io  and in[2]) and (in[0] and in[5] and in[0] and hdJT and out[11]))) and (not Io)); 
out[9]=(((in[4] and (in[5] and H) and (out[11] or in[3] or in[0] or in[0] or out[4] or H or c or Io or c or in[2] ) and out[4]) and (not in[4]) and ((in[3] or in[1] or Io or in[2] or in[1] or H or out[5] or in[2] or Io) or (not c) or (in[2] or out[4] or in[0] or out[11] or  in[ 2] or out[4]) or (not in[1]) or (not in[4])) and out[4] and ((in[2] and out[4] and in[2] and H and in[5] and H and c) and (in[2] and hdJT and in[3] and in[0] and hdJT and out[4] and Io and hdJT and in[0] and c) and  (not in[4]) and (out[11] or hdJT or in[1] or hdJT)) and ((not in[4]) and (out[4] or out[11] or in[0] or Io) and in[5] and (Io and hdJT and H and in[3] and hdJT and out[4]) and out[11]) and (not in[2]) and ((not H) and (in[1] and hdJT and out[11] and H and in[0] and in[1]) and (in[0] or hdJT or Io or c) and (out[5] and H and in[1] and hdJT) and (hdJT and out[11]) and (H and hdJT and H and in[ 0] and in[2]) and (in[4] or in[0] or in[1] or out[4] or out[5] or hdJT or in[3] or out[5] or in[5])) and ((not out[4]) and (not in[4]) and (hdJT or c or out[4] or in[0] or c or in[3] or out[4]) and (not H)) and (not in[ 1]) and (not c) and ((not out[5]) or (c and hdJT) or (c and c and out[4] and in[3] and hdJT and in[0] and hdJT and out[5]) or (not in[1]))) and (((Io and out[4] and in[4] and in[4]) and (not in[4])) or in[1] or (in[2] and (out[4] or in[3] or in[2] or c or Io or  in[0])) or in[3] or (in[4] or (out[5] or c or out[11] or  out[11] or Io or in[0] or Io or out[4]) or (in[0] and c and in[5] and c and c) or H)) and out[4] and in[5]);
out[10]=(not out[9]);
Z=((((out[9] or out[5] or hdJT or in[5] or out[5 ] or out[11] or hdJT or in[1] or out[11] or in[1] or in[5] or Io or hdJT) or (not in[0]) or H) and c and ((out[4] or in[0] or in[2] or out[10] or hdJT or c or out[9] or in[3] or in[1] or in[2] or hdJT) or (out[11] or out[5] or out[10] or Io or out[9] or hdJT or out[4]) or (out[10 ] and c) or (not in[4]) or (out[5] or H or out[11 ]) or (hdJT or in[4] or in[0] or Io or in[5] or in[5] or in[1] or out[9] or out[4] or out[4] or Io or out[5]) or (out[4] or H or hdJT)) and out[9] and ((out[9] and in[5] and in[  0] and in[2] and hdJT and in[4]) and out[5] and out[10] and (in[5] and Io and hdJT and Io) and (not out[4]) and (in[4] or out[4] or in[2] or Io) and (out[4] or out[11] or in[4] or in[5] or hdJT)) and ((in[4] or in[4] or out[11] or in[5]) or (in[4] and in[0] and out[5] and out[9] and in[5]) or Io or in[2] or (not Io) or (out[11] and H and in[2]) or (in[1] and out[4] and in[5] and H) or (in[1] and out[5] and Io and in[3] and c and out [5]) or Io or (out[11] or in[1] or hdJT or out[11] or out[4] or out[9] or Io or in[0] or Io)) and ((not Io) and (Io and out[4] and out[4] and H and in[ 1] and in[2] and Io) and (not in[2]) and (out[4] and in[3] and in[2] and out[4] and hdJT and out[4] and in[5] and in[5] and H and in[2] and in[1] and c) and out[4]  and (hdJT and out[9])) and in[1] and (not out[11]) and (not in[4])) and ((not in[5]) and ((in[5] or out[10] or out[10] or out[10] or in[5] or out[ 5] or hdJT) and in[5] and (in[1] and c and out[5] and Io and out[5] and c and out[10] and out[9] and c) and (in[1] or out[9] or out[11] or out[ 5])) and ((in[1] and out[10] and hdJT) or out[9] or (out[11] and out[4] and out[10] and in[3] and in[4] and out[9] and out[5] and Io and in[4]) or (out[5] or out[9] or out[9]) or (out[4] or hdJT or H or out[4] or in[0]) or (out[10] or in[5] or out[5] or out[11] or out[10]) or ( c or out[10] or hdJT or in[5] or hdJT  or out[9])) and (not in[4])) and (((c or in[4] or hdJT or in[2] or out[5] or out[5]) and (not in[3]) and (not Io) and in[4] and (not in[2]))  or (in[0] or (out[10] or out[4] or in[0] or Io or hdJT or out[11] or hdJT or out[5] or out[9] or in[1] or c) or H or out[10] or (not out[11]) or (out[5] or in[4] or c or in[0])  or (in[4] or H or in[5] or in[5] or out[9] or in[0] or in[3] or Io or in[4])) or (not in[5]) or (not in[1]) or (not out[9]) or ((Io or out[11] or out[10] or in[4]) and (out[9] and Io and in[4] and in[4] and Io and out[11] and in[2] and c and H) and in[2] and c and in[2]  and (in[4] and out[9] and in[4] and in[2]) and (out[9] or c or in[5] or c or in[1] or out[4] or hdJT or in[5] or in[2] or hdJT or Io or Io or out[4] ) and (out[4] and hdJT and in[ 0] and out[10] and H and Io and c and H and hdJT and in[5])) or H or (hdJT or out[10] or (hdJT and H and out[11] and in[0] and out[9] and out[5] and out[10] and out[9] and c) or (in[4] and out[4] and c and out[5] and in[0] and in[1] and out[10] and hdJT and in[1] and in[3] and c and out[9]) or (not in[4]) or (out[5] or out[10] or out[5] or in[1] or in[1] or Io or out[4] or out[11] or c or out[11]) or out[ 4] or c or c or (H or out[11] or H or out[10] or in[0] or out[4] or out[9])) or in[5] or ((in[4] or out[10] or hdJT or out[11] or out[4] or in[5] or Io or out[ 9]) or (in[2] and c and in[4] and out[11] and H and in[1] and H and out[10] and out[9] and c) or in[5] or (not in[1])) or ((H and hdJT and out[4]) and (H and in[5] and out[4] and out[10] and H) and (in[3] and H and H and in[2] and c) and (in[0] or out[4] or out[4] or in[0]) and (in[2] and in[1] and out[10] and out[11] and in[1]) and (in[3] or Io or c or out[5]) and (out[5] and out[10] and Io and hdJT and in[1])) or (not out[9]) or ((in[3] and out[9] and in[0] and out[9] and in[1] and out[10] and in[3] and out[9]  and in[5]) or out[4] or in[5]  or (not in[4]) or in[3] or in[4]) or ((out[10] and out[11] and c and out[11] and out[11] and out[9] and in[0] and in[3] and in[1] and in[5] and out[4] and in[1] and hdJT) or (in[5] or in[3] or H or in[5]) or (not out[11]) or (out[10] and out[11] and in[5] and H and H) or (not in[5]) or (Io and out[11] and out[10] and in[2]) or (not out[5]) or (not out[4 ]) or in[3] or (out[10] and out[5] and c) or (c and out[4] and out[10] and in[4] and c and in[1])) or out[10] ) and (in[3] and (not in[4]) and ((not H) or (Io or c or out[10] or in[0] or in[0] or in[0]) or (in[0]  or in[1] or H or in[3]) or (not out[9]) or (not out[10]) or (not in[4]) or (in[1] and H and in[3] and H) ) and ((out[11] and in[5] and in[5] and in [4] and out[4] and in[3] and in[2] ) or (in[0] or c or in[4] or H or in[5]) or (out[11] or out[4] ) or out[11]) and (not in[5]) and (not out[9])) and hdJT);
bB=in[0];
SL9=Z;
_=(not out[5]);
out[7]=((((not in[1]) or Z or (not out[5])) or ((not hdJT) and Z and (Io or in[5] or H or H or out[4] or out[4] or in[5] or out[4])) or out[5] or ((out[5] and out[11] and _ and out[10] and in[3] and in[5] and in[2]) and (_ or  H) and (c and SL9 and c and hdJT and Io) and (not _)) or (not Io) or ((Z or H or hdJT or in[5] or bB or Io or in[2] or in[4] or out[4] or out[4] or bB or out[11]) and (H or out[4] or SL9 or in[4]) and in[1] and (not _) and (not bB) and (not out[10]) and (not out[9]) and out[5] and (hdJT and in[5] and c and out[10] and out[10] and hdJT and c and SL9 and Z))) and in[1]);
out[0]=((((_ or out[5] or bB or Z or c or _ or out[9]) and (out[9] or in[5] or out[9] or out[ 9] or _ or hdJT) and (in[2] or c) and (out[9] or H or in[4] or in[2] or c or in[3] or H or Z or in[5] or out[9] or in[1] or SL9) and (out[10] and out[11] and out[4] and out[11] and H)) or (out[9] and (out[5] or out[9]  or in[4] or Io or out[9] or H or SL9 or hdJT or in[0]  or in[3] or _ or in[4] or in[4]) and (out[10] or  out[5] or out[9] or out[9] or out[5]) and H and (H or SL9 or Z) and (not _) and (not in[0]) and out[ 5] and (not out [5]) and (not c)) or Z or (( out[7] or out[11]) or (H and _) or (Z and hdJT and Io and out[5]) or (not out[4]) or (in[5] or _ or out[5] or in[1]) or Io or (out[ 9] and _ and out[5] and out[4] and in[2] and in[0] and out[11] and in[1]) or (in[4] and bB and bB and in[2] and Z))) and (out[11] or (not out[7]) or ((Z and SL9 and _ and out[5] and hdJT and out[7] and bB and bB) or (in[4] or out[7] or hdJT or hdJT or c) or (not in[0])) or ((not in[4]) and _ and (hdJT and H and out[4] and out[10] and hdJT) and (out[5] and in[0] and hdJT and out[9] and out[7] and Io and bB and in[2]) and H and (H or in[2] or out[11]) and (out[4] and out[5] and Io and hdJT and _ and in[4]) and (not  bB))) and ((_ and (c and in[4] and in[1] and c and hdJT and in[5]) and (not out[7]) and in[1] and Io and (not out[4])) and in[1] and in[5] and (not Io) and (H or (not out[4]) or bB or (not _) or (not in[4]) or (_ or Io or out[11] or SL9 or out[10] or in[5] or out[5] or in[3]) or (Z or out[5] or out[4])  or out[4] or  out[10] or (Z or SL9 or in[3]) or (in[4] or H or Z or in[3] or c or in[0] or out[7] or Z or out[9] or out[4]) or (out[9] and out[9] and in[3] and in[4])) and in[5] and in[4] and ((in[0] and Z and in[0])  or bB or (Z or out[10] or in[1] or in[3] or in[2])  or (SL9 or out[4] or in[5] or out[4] or out[10]) or in[1] or (Io or in[0] or in[3] or out[5] or out[11] or out[4] or in[0] or in[4] or out[5] or out[4]) or (Io and Z and out[4] and _ and SL9 and out[7] and H and out[11] and in[5] and SL9 and hdJT and Io) or bB)) and (((not SL9) and (not in[0]) and out[4] and (not Io) and (H and hdJT and _ and out[4] and Z and out[11] and c and in[0]) and (in[3] and in[5] and out[5] and out[10] and bB and hdJT) and (out[7] or in[2] or H or out[7] or in[2] or out[11] or in[4])) or ((hdJT or Io or H or out[9]) or (_ and out[11] and hdJT and out[7] and in[1] and out[4] and out[9]) or in[4])) and H and (not _) and out[9] and bB and (out[4] and in[2] and (out[4] or out[4] or (in[3] and in[4] and Z) or out[11] or (not _) or (Io or Io or out[10]) or (out[9] and H and H and in[5] and H) or bB or H) and in[5]));
out[3]=SL9;
