# 4 7 13
OMlH=((not in[1]) or (((not in[2]) or in[3] or (not in[3]) or (in[3] and in[1] and in[0] and in[1] and in [2] and in[1] and in[3] and in[3] and in[1]) or ( in[1] or in[0] or in[2] or in[1] or in[3] or in[1] or in[3]) or in[0]) and (not in [3]) and in[3] and (in[2] and (in[0] or in[2] or in[0] or in[0] or in [2] or in[1] or in[3])) and ((in[1] or in[3] or in[2] or in[1]) and (in[2] and in[2]) and (not in[2]) and (in[3] and in[2]) and in[3] and (in[3] and in[3]  and in[0] and in[2] and in[0] and in[2] and in[0])) and ((in[2] and in[0] and in[1 ] and in[2] and in[1] and in[1] and in[0]) or (in[3] and in[1] and in[0]) or (in[3] and in[1] and in[1] and in[1] and in[3] and in[2] and in[2] and in[3] and in[2] and in[1])  or (not in[2]) or (not in[1]) or (not in[2]) or (in[1] or in[2] or in[3] or in[0]) or in[1]) and (not in[1]) and (in[0] and (not in[ 0]) and (not in[0]) and (in[2] and in[1] and in[3 ] and in[3] and in[3] and in[0] and in[1] and in[1] and in[3]) and (not in[1])) and ((in[3] or in[3] or in[0] or in[0]) and in[0] and in[1] and (in[0] or in[3] or in[2] or in[2] or in[1] or in[3]) and (in[3] and in[2] and in[1] and in[0]  and in[3] and  in[0] and in[3] and in[2] and in[2] and in[0] and in[3] and in[0] and in[3] and in[2])) and in[3] and (not in[0 ]) and (in[2] and (in[1] and in[1] and in[2] and in[ 3] and in[3] and in[1]) and (in[1] and in[3] and in[3] and in[1] and in[0] and in[2] and in[3] and in[1] and in[3] and in[0] and in[0] and in[3]) and (not in[0]))) or in[2]);
n=(((in[2] or in[1] or (not in[2]) or in[3]) or (in[3] or (not in[3]) or (in[1] and OMlH and in[0] and in[3] and in [0]) or in[2] or (not in[0]) or (not in[3]) or (in[0] or in[0] or in[0] or in[0] or in[1] or in[1] or in[2]) or (not in[3])) or ((in[0] or in[3] or in[0]) or (not in[3]) or (in[2] or in[1] or in[1] or in[0]) or in[2] or (in[1] or in[3] or in[3] or OMlH) or (in[3] or in[2] or in[2]) or in[1] or (not in[2]) or in[3]) or in[0]  or ((not in[3]) and (not in [3]) and (not in[2]) and in[0] and (in[3] and OMlH and in[0] and OMlH and in[1] and in[0] and in[1]) and in[0] and (not OMlH) and (not OMlH) and (not in[3])) or in[0] or (OMlH or (in[ 3] and in[2] and in[0] and in[3]) or (not in[2 ]) or (not in[1])) or ((in[2] or in[1] or in[1] or in[3]) and OMlH and in[1] and in[3] and in[1] and (OMlH or OMlH or OMlH or OMlH) and in[3] and (in[0] or in[3] or in[2] or OMlH or OMlH or OMlH or in[2]) and (not in[1]) and (not in[3])) or ((not in[0]) or (not OMlH) or in[3] or in[2] or in[1] or (in[3] or in[3]) or (not in[0]) or OMlH or (not in[3]) or in[0] or (not in[1])) or in[1]) or (not in[0]) or ((not in[3]) or ((in[1] and in[0 ]) and (not in[2]) and (not in[0]) and (OMlH or in[1] or in[1])) or (not in[0]) or in[2] or OMlH or ((in[0] or in[2] or in[1] or in[3] or in[0] or in[0] or in[2] or in[2] or in[2] or in[3] or OMlH) or (in[1] or in[0] or OMlH) or (not in[2]) or (not in[2])) or in[0] or ((not in[2]) or (OMlH or in[1] or in[0] or OMlH or in[2] or in[ 0]  or in[3] or in[0]) or (in[0] or OMlH or in[1] or in[0] or in[1])) or ((not in[3]) or (not in[3]) or (in[1] or in[2] or in[0] or  in[0] or in[1]) or (OMlH and in[3] and OMlH and OMlH and in[3] and in[0] and in[0] and OMlH and in[2] and OMlH and in[3]) or (in[3] or in[3] or in[3] or in[2] or  OMlH or in[1] or in[0] or in[3] or in[0] or in[3] or in[2] or OMlH or in[3]) or (not in[0]) or (not OMlH ) or (in[0] and OMlH and in[1] and  OMlH and in[2] and in[2] and in[1] and in[1] and in[2])) or ((in[1] or in[3] or in[1] or in[1]) or (in[1] and in[3] and OMlH) or in[0]) or ((in[2] or in[1] or OMlH or in[1] or OMlH or in[0]) and OMlH and (in[2] and in[2] and in[0] and in[1] and OMlH and in[3] and in[0] and OMlH) and in[1]) or in[3]) or ((OMlH or (OMlH or OMlH or in[2]) or in[ 0] or (not in[2]) or in[0] or (in[2] and in[2] and in[2] and in[2])) or in[0] or OMlH or ((OMlH and in[0] and OMlH) and (not OMlH) and (not in[2]) and (not in[3]) and in[1] and in[1]) or (not in[ 0]) or ((not in[0]) and (not in[2]) and in[3] and (in[0] and in[3] and in[3] and in[3] and OMlH and in[1] and OMlH and in[2] and in[0] and in[3]) and (in[3] or in[3 ] or in[3] or in[0] or in[0])) or in[1] or (not in[1])) or OMlH or (((in[3] or OMlH or in[0]) or (not in[0]) or in[0] or (OMlH or in[1] or in[1]) or (in[3] and in[3] and OMlH)) and (not OMlH) and ((not in[2]) and (OMlH and in[2] and in[2] and in[1] and  in[2]) and in[1] and (OMlH or in[3] or in[3] or in[3] or in[3] or in[3] or in[1]) and (not in[3]) and (in[0] or in[0]) and (in[3] and in[2] and in[0]) and (not in[0])) and (in[2] or (OMlH and in[0] and OMlH and in[3] and in[1] and in[0] and in[3] and in[2] and OMlH)) and ((in[3] or in[2] or in[2] or in[0] or in[1]) or in[1] or (not OMlH) or (OMlH and OMlH and in[2] and OMlH) or (in[3] or in[1] or in[1] or in[3] or in[2] or in[3] or in[3] or OMlH or in[1] or OMlH or OMlH or OMlH or in[1])) and ((not in[0]) or (in[2] and in[2] and  OMlH and in[3] and OMlH and in[3] and in[0]) or (in[3] or in[2] or OMlH))));
p9=OMlH;
F=((not in[3]) or ((not OMlH) and ((not OMlH) or (not p9) or (not OMlH) or (in[3] or in[2] or p9 or in[3] or p9 or n or in[0])) and (not in[2]) and (n or (not in[2])) and in[2] and p9) or ((not in[3]) or (not in[1]) or ((not n) and (not in[2]) and (p9 or OMlH or in[0] or  n or in[1] or in[2] or in[3] or in[2] or in[3] )) or ((p9 or in[3] or in[3] or in[3] or OMlH or in[2]) or (not in[1])) or (OMlH or (not n) or (OMlH and in[3] and p9 and OMlH and n and in[0] and in[1]  and in[0] and in[1] and in[2]) or in[0] or (p9 or in[1] or in[1] or in[0] or in[3] or p9 or in[2]) or in[1] or (not in[0]) or (not in[0]) or (in[0] and in[0] and in[2] and in[3] and n) or (not in[3 ])) or ((not in[3]) and (not in[0]) and in[3] and (OMlH or in[1] or n or in[1] or in[3] or OMlH or n or n))));
out[4]=in[3];
Onf=F;
PE=((not in[2]) and in[3] and p9 and p9 and (not in[1]) and (not F) and (not in[2]));
bKJ=((not in[1]) or (OMlH and (not out[4])) or (not Onf) or (not in[2]) or (not in[0]) or (not in[0]));
ku77=n;
u=((((not n) and (not OMlH) and (ku77 or PE  or in[3] or p9 or F or out[4] or OMlH or PE or OMlH or in[2] or n) and (Onf or bKJ or  in[1]) and (OMlH or in[1] or n or in[0] or PE or p9) and out[4] and (Onf and bKJ and in[3] and ku77 and out[4] and F)) or ((ku77 and in[3] and in[2] and out[4] and ku77) and (ku77 and ku77 and in[2] and Onf and F and F and n and ku77 and PE) and (not out[4])) or ((not in[0]) and (not n) and (not in[1]) and (bKJ and out[4] and in[2] and in[0] and PE)) or (not in[2])) and ((Onf or (F and OMlH and PE and p9 and PE and F and bKJ and OMlH) or (in[1] or ku77 or in[3] or n) or Onf or PE) and ((n and ku77 and Onf and F) or (in[0] and OMlH  and n and out[4] and in[0] and OMlH) or (in[0] and n and OMlH and in[2]) or (F and out[4] and p9 and in[0] and ku77) or (Onf and in[0] and ku77 and ku77 and F and in[2] and PE and F and out[4]) or in[0]) and (not in[1]) and Onf) and ((not in[3]) or ((not in[3]) and (not in[2]) and in[1]) or ((F or n or n or in[1] or in[3] or out[4] or Onf) or (not OMlH) or (not in[2]) or Onf or (not out[4]) or (F and in[0] and in[1]  and p9 and p9 and in[1] and n))) and (((not out[4]) and (in[1] and out[4] and p9 and ku77)  and (in [1] or F or bKJ or n or in[3]) and (Onf or p9 or PE or PE or F or n or bKJ or p9 or OMlH or out[4]) and (in[0] and OMlH and OMlH) and in[2]) or in[3] or ((in[0] or Onf or PE or bKJ or Onf or bKJ or p9 or PE or ku77) or in[0] or (not F) or (in[3] and Onf and Onf)) or ((ku77 or OMlH or F or in[2] or PE or F) or (not Onf)) or PE or (not bKJ) or (not out[4])));
i1=bKJ;
U=((((out[4] or OMlH or F or  i1) and (not bKJ) and (not out[4])) and p9 and bKJ and (n or (u and OMlH and u and in[1]) or (out[4] or Onf or PE) or (in[0] and in[1] and bKJ and bKJ) or (not OMlH) or (OMlH or in[2] or n or in[1] or p9 or in[2] or i1 or n or in[1])) and ((in[3] and ku77 and ku77 and F and n and PE and in[3] and ku77 and in[3]) and (in[2] or bKJ or in[1] or OMlH or in[0] or in[0] or n or u) and PE and (not n) and (F and u) and (not bKJ) and (i1 and ku77) and (not  in[3]))) or (not u) or F or F or (((in[1] or Onf or p9 or in[3] or in[0] or ku77 or PE or out[4]) and i1 and (Onf and F and OMlH and p9 and in[3]) and (not F) and (OMlH and in[0] and n and in[1])) or ((i1 and u and F and bKJ and OMlH) or in[1] or (u or p9 or in[0] or PE)) or ((not ku77) or bKJ or (not in[3]) or in[3])) or (not in[3]) or (PE or (not in [1]) or in[1] or ((out[4] or OMlH or in[2] or ku77 or n) and (Onf or u or bKJ) and OMlH and (not PE) and OMlH and (in[1] or i1 or in[1] or in[0] or u or in[0] or in[2] or in[1] or F) and (p9 or out[4] or out[4]) and (in[1] and in[1] and Onf and in[1] and out[4]) and in[0] and (i1 or u or out[4] or i1) and u and OMlH) or (F  and (bKJ and u and in[1] and in[3] and PE) and n and (F or ku77 or OMlH or out[4] or n or i1 or out[4] or n or out[4]))) or (not u) or (not out[4]) or ((not n) or ((not ku77) or  out[4] or (PE and Onf and in[1] and u) or (ku77 and OMlH and in[1] and in[0] and in[0] and OMlH and p9 and Onf and PE and in[3]) or n or in[0] or (Onf or out[4] or OMlH or Onf or  u or in[0] or u) or (in[1] and OMlH and in[2] and n) or (not i1)) or (bKJ or (in[3] and PE and in[2])) or (OMlH and (in[0] and bKJ and i1 and in[1] and p9) and (not i1) and (ku77 or out[4] or bKJ or i1 or bKJ) and out[4] and (not p9) and (in[3] and bKJ and out[4])) or ((not in[2]) and u and F and (not Onf)) or ((not p9) or (F or in[0]) or in[1] or (not OMlH) or (in[2] and bKJ)) or ((in[2] and p9 and Onf and in[1] and OMlH and i1 and in[0]) or (bKJ and u and OMlH ) or (n or  in[3] or OMlH or in[2])) or (not OMlH) or in[3] or ((OMlH or bKJ or n or Onf or Onf or in[0]) or in[1] or (ku77 and in[2] and OMlH and Onf) or (n or i1 or in[1] or p9 or in[ 2] or Onf) or in[0])));
Cu_=(not in[0]);
