# 2 5 16
CdXj=((in[0] or ((in[1] or in[1] or in[0] or in[1] or in[0] or in[0] or in[0] or in[0] or in[0] or in[1] or in[1] or in[1] or in[1]) and (not in[0]) and in[0] and in[0] and (in[1] and in[1] and in[0] and in[0] and in[0] and in[1] and in[0] and in[1] and in[1] and in[0] and in[1] and in[1] and in[1] and in[1] and in [0] and in[1] and in[1] and in[0] and in[1] and in[1] and in[1] and in[1])) or (not in[1]) or in[0] or in[0] or (in[1] and (in[1] or in[0] or in[1] or in[1]) and (in[0] and in[0] and in[0] and in[0] and in[1] and in[0] and in[0] and in[0] and in[0] and in[0] and in[0]  and in[0] and in[0]) and in[0] and (in[0] and in[0] and in[0 ] and in[0] and in[1]) and (not in[1])) or in[1] or in[1]) or (in[1] or in[0] or in[0] or ((in[1] or in[1] or in[1]) and (in[1] and in[1] and in[1] and in[1] and in[0] and in[1] and in[0] and in[0] and  in[0] and in[ 0] and in[1] and in[0] and in[1] and in[0] and in[0])) or ((not in[0]) or in[1] or in[1] or (in[1] and in[0] and in[1] and in[0] and in[1] and in[0] and in[0] and in[1]) or in[0]) or (not in[0])) or (((in[0] and in[1] and in[1] and in[0] and in[0 ] and in[0] and in[0] and in[1]) and (not in[1]) and (in[1] or in[1]  or in[1] or in[0] or in[0]) and in[1] and in[1] and (in[0] or in[0] or in[1] or in[0] or in[0] or in[1] or in[0] or in[1])) and ((in[0] and in[1] and in[0] and in[0] and in[0]) or in[0] or (in[0] or in[1] or in[1] or in[1]) or (in[1] and in[0] and in[0] and in[ 1]) or (in[1] and in[0] and in[0] and in[1] and in[1] and in[0] and in[0]) or (not in[0]) or in[1] or in[0] or (in[0] and in[0] and in[1] and in[0] and in[0] and in[0] and in[0] and in[0] and in[1 ] and in[0] and in[0] and in[1]) or (in[0] or in[0] or in[1] or in[1]) or in[0] or (not in[1])) and ((not in[1]) and (in[0] and in[0] and in[0] and in[1] and in[0] and in[0] and in[0]) and (in[1] or in[0] or in[0] or in[0] or in[0] or in[0] or in[0]) and in[1])) or (not in[1]) or (not in[1]));
fG=(((not CdXj) or ((not in[0]) and (not CdXj) and CdXj and (not in[1]) and (not CdXj) and (in[1] or in[1] or in[0]) and (in[0] and in[0] and in[1] and in[0] and in[1] and  in[0] and in[1])) or (not in[0]) or ((not in[ 0]) or (not CdXj) or (in[1] and in[1] and in[1] and CdXj and in[1] and in[0] and CdXj) or (not CdXj))) and (((in[ 0] or in[1] or in[ 0] or in[0] or CdXj or in[0]) and (not in[1])) or (not in[1]) or ((not CdXj) and (not in[0]) and (in[1] and CdXj and in[1] and in[0] and in[0] and CdXj and CdXj) )) and ((not in[0]) and (in[1] or in[0] or (in[1] or in[1] or in[0]) or in[1] or (not in[1]) or (CdXj and in[0] and in[0] and in [0] and in[1] and in[0] and in[1]) or (not in[1]) or in[0] or (not in[0])) and CdXj and ((in[0] and in[0] and CdXj and in[0] and in[1] and CdXj and CdXj and CdXj and in[0] and CdXj and in[1] and in[1]) or (CdXj or CdXj or CdXj or CdXj) or ( in[0] and CdXj and in[0] and CdXj and in[0] and in[1]) or (not CdXj)) and in[1] and ((in[0] and in[1] and CdXj and CdXj and CdXj and in[1] and in[1]) or CdXj or (in[0] and in[0] and in[0]) or in[0] or (not CdXj) or (not CdXj))) and (((in[0] or in[1] or in[0] or in[1] or CdXj or CdXj or in[0]) and (in[0] and in[1] and in[1] and in[1] and in[0] and in[1] and in[0] and in[1] and in[1] and in[0]) and (in[1] or CdXj or in[0])) and ((not in[1]) and in[1] and (in[1] or in[0] or in[0] or in[1 ] or CdXj) and in[1]) and ((in[1] and in[1] and CdXj and in[0] and in[1] and CdXj and in[0] and in[0] and CdXj and CdXj) or (in[1] or in[0] or in[1] or in[0] or in[1] ) or (not in[1])) and in[1] and (in[0] and (not in[1]) and (in[1] or in[1] or in[1] or in[0] or in[0]) and (not CdXj) and in[0] and (not in[0]) and (in[0] or CdXj or CdXj or in[1] or in[0] or CdXj or CdXj or in[ 0] or in[1]) and (in[1] or CdXj or in[1] or in[0] or in[1] or in[1] or in[1] ) and in[0] and (not in[0]) and (not in[0])) and in[0]) and (not in[0]) and (not CdXj) and (not in[1]) and CdXj and in[1] and (CdXj and ((in [0] or in[0] or CdXj or in[1] or CdXj or in[1] or in[0] or CdXj) and (CdXj or CdXj or CdXj or in[1])) and ((CdXj and in[1]) or (in[0] and in[1] and in[0] and CdXj and CdXj and in[1] and in[0] and in[1] and in[1] and CdXj) or (not in[1]) or (not in[1])) and ((CdXj and in[1] and in[1] and in[0] and in[1] and CdXj and in[1] and CdXj) and (not in[1]) and CdXj and (CdXj or in[1] or CdXj) and (not in[1]) and (in[0] or CdXj or CdXj or in [0]) and in[1] and (not in[0]) ) and ((CdXj or CdXj or in[0]) or (CdXj and CdXj and in[0]  and CdXj) or (in[1] or in[0] or in[0] or CdXj or in[1] or in[0] or in[0] or CdXj or in[0 ] or  in[1] or in[1]) or in[0] or (not in[0]) or (in[1] or CdXj or in[1] or in[1])) and ((not in[0]) or CdXj or (not in[1]) or (in[0] or in[1] or in[0] or in[0] or in[1] or CdXj or CdXj or in[1] or CdXj or CdXj or CdXj) or (CdXj and in[0] and in[0]) or (in[0] or in[0] or CdXj or in[0] or in[1] or in[0] or CdXj or in[1]) or (not CdXj) or (not in[1]) or (CdXj or in[0] or in[1] or in[1]) or (not in[1]) or (in[1] or in[1] or CdXj or in[ 0] or CdXj or in[0] or in[1 ] or in[0] or CdXj) or (in[0] or in[1] or in[0] or in[1] or in[1] or CdXj) or CdXj)));
T0=(in[0] or ((not in[1]) and in[1] and (CdXj and (not in[0]) and (in[0] and fG and CdXj) and (not in[1]))) or ((not CdXj) or (CdXj and (CdXj or in[1] or in[1] or fG or in[1] or in[1] or in[1] or CdXj or in[1]) and (in[0] and CdXj and in[1] and in[0]) and CdXj and fG and fG and (in[1] or in[0] or fG or in[0]) and CdXj and (not in[0]) and (not fG)) or fG or fG or ((CdXj or CdXj) and (not fG) and (not CdXj) and (not in[1]) and (not in[0])) or ((not in[1]) and (CdXj or in[1] or in[1] or in[1] or in[0] or in[1] or fG or CdXj or in[1] or CdXj or fG) and (CdXj or in[0] or in[1] or CdXj or in[1]) and (fG or fG or in[1] or CdXj or in[0] or CdXj or fG or fG or fG) and (not in[1]) and fG and (CdXj or in[0] or fG or  in[1] or CdXj or in[0])) or (not in[1])) or ((not CdXj) and ((CdXj or in[1] or in[0] or in[0] or fG or in[0] or in[0] or fG or in[0]) or (CdXj or CdXj or in[1] or CdXj or in[0] or CdXj or CdXj) or (in[1] and in[0] and in[1] and fG and in[1] and fG and in[1]) or (not fG)) and (not in[0]) and ((in[0] and fG and fG) or (fG and fG and CdXj and in[0] and in[0]) or (not in[1]) or in[1] or (not fG) or (fG or CdXj or fG or CdXj) or (in[0] and fG and CdXj and in[1] and in[1] and CdXj and CdXj) or (fG and in[1] and fG and in[0] and CdXj and fG) or (not in[0]) or (not in[1]) or (fG and in[0] and in[1] and fG and in[0] and in[0] and fG) or (fG or in[1] or in[0] or in[0] or in[0]) or (fG or in[1] or fG or in[0]) or  (not in[0])) and ((not fG) and (fG and in[1] and in[0] and CdXj and CdXj and fG)) and (not in[0])) or in[0] or (not CdXj) or (fG or ((not fG) or (in[0] or CdXj or CdXj) or (not CdXj) or (fG or fG or fG or in[0] or CdXj or fG or CdXj or CdXj or CdXj) or in[1] or (in[1] or fG or in[1] or in[1] or CdXj or fG or CdXj or CdXj or CdXj or fG or in[0]) or (not fG)) or (fG or fG or (not CdXj) or (fG and in[1] and in[0] and in[1] and in[1] and in[1] and in[0] and fG and CdXj and fG and in[1])) or ((fG and in[1] and in[1] and fG and in[0] and fG) or (not fG) or (in[1] or CdXj) or (not in[1]) or  (in[0] or fG or fG or in[0] or in[1] or in[1]) or (in[1] and fG and in[0] and in[0] and fG and in[1] and in[0]) or (not in[0])) or ((in[0] or fG or in[0] or fG or in[1] or in[1] or CdXj or in [0]) or fG or (CdXj and in[1] and fG and in[1]))) or fG or (not in[1]) or ((not CdXj) and (in[0] or (in[0] or in[ 0]) or (fG or in[0] or in[0] or in[1] or in[1] or in[1] or CdXj or fG or CdXj) or CdXj or (CdXj or in[0] or fG or in[0] or in[0] or fG) or (in[1] and in[1] and CdXj) or (not fG)) and (fG and (fG and CdXj and fG and in[0]) and (CdXj and fG and CdXj)) and ((not in[0]) or (in[1] or fG or CdXj or  CdXj or CdXj or CdXj or in[0] or CdXj or in[1] or CdXj or in[1]) or (CdXj and in[0] and in[0] and fG and fG and in[0] and fG and in[1]) or (not in[0]) or (in[1] or in[0] or CdXj or in[0] or in[1]))));
P=(((in[1] and fG and (fG or in[0] or T0 or in[1] or in[0]) and CdXj and (not in[1]) and (T0 and fG) and (in[0] or in[1] or fG or in[0] or in[0] or fG or CdXj or fG) and (in[0] and CdXj and CdXj and in[1] and in[0])) or ((CdXj or in[0] or in[0] or CdXj) and (not in[1]) and fG and (T0 or in[0] or fG or T0 or in[1] or T0 or T0 or fG or CdXj or T0 or in[1] or in[1]) and (in[0] and in[1] and T0 and fG) and (not in[0])) or (not T0) or ((CdXj or T0 or fG or CdXj) or (not in[1]) or (T0 and T0 and in[0] and CdXj and in[0] and CdXj and in[0]  and in[1] and in[1]) or (fG and fG) or (CdXj or CdXj or in[0] or T0 or in[0] or CdXj or fG or fG) or (not in[0])) or ((in[1 ] and in[1] and in[1] and CdXj) or (not in[0]) or in[0] or fG or (not in[0]) or (in[0] and T0 and CdXj and T0 and CdXj and fG and fG and T0 and in[0] and in[0] and fG) or (not fG)) or (not T0) or fG or T0 or (not fG) or (not in[0]) or (not fG) or ((not in[1]) and T0 and fG and (CdXj and in[0] and T0 and in[1] and CdXj and in[1] and fG) and (not fG) and (CdXj or in[0] or in[0]) and (not T0) and (in[0] or CdXj or in[1] or T0 or T0 or fG or in[0]) and (in[0] and in[0] and CdXj and in[1] and in[0] and in[0] and fG and fG)) or (not T0) or (not CdXj) or fG or ((in[1] or fG) and fG and (fG and CdXj) and (not in[0])) or ((CdXj and in[0] and in[0] and fG) and (fG and in[0]) and CdXj and in[0] and (not in[0]) and (in[1] and fG and fG and CdXj and fG) and (not CdXj) and in[1] and (in[0] and fG and in[1] and in[1] and in[0] and CdXj and in[1] and CdXj and CdXj) and (in[1] or in[0] or T0 or CdXj or in[1] or T0 or T0 or in[0] or CdXj or in[0]) and CdXj) or ((not in[0]) or T0 or (fG or T0 or in[1] or fG) or (in[0] or T0 or in[0] or T0 or CdXj or in[1] or fG) or (not fG) or (T0 or T0 or fG or in[0] or fG or in[1] or in[0] or in[1]) or (T0 and in[0] and in[1]) or (T0 and fG and fG and CdXj) or (in[0] or fG or CdXj or T0 or in[0] or in[1] or  CdXj  or T0 or T0 or T0) or T0) or ((in[0] or in[0] or CdXj or fG) or in[0] or (T0 and in[0] and in[0] and CdXj and CdXj and CdXj and fG and T0 and CdXj and fG) or in[0] or (T0 or fG or T0 or CdXj or T0 or fG) or (CdXj or CdXj or fG or T0 or T0 or in[0] or in[1 ]))) or fG or (in[1] and ((not CdXj) and (in[1] or T0 or in[1] or T0 or  in[0] or T0 or T0 or CdXj or fG) and T0 and (in[0] or in[1] or CdXj or fG or in[0] or CdXj or CdXj) and T0) and (not in[0])));
Jss=((in[0] and (not in[0]) and  ((not in[0]) or in[0] or P or (not fG) or (T0 or in[0] or in[1] or in[1] or T0 or in[1] or P or T0 or T0) or (CdXj and CdXj  and in[0] and fG and in[1] and  fG and CdXj and P) or fG or (in[1] or fG or in[0]) or CdXj or (not T0) or (not in[1]) or (not in[1]) or (not fG) or P)) or P);
out[2]=P;
out[1]= out[2];
cQ=(not Jss);
i=((not out[2]) or (not in[0]) or ((not fG) or ((cQ and P and in[0] and T0 and out[1] and out[1] and out[1] and Jss and Jss and Jss and cQ and P and in[0] and out[2] and fG and out[1] and T0) and (out[2 ] or fG) and (T0 or in[1] or out[1]) and cQ) or ((out[1] or in[1] or in[0]) or (in[1] or CdXj or in[0] or out[1]) or in [1] or (not in[1]))) or ((CdXj and (out[2] and fG and out[1] and CdXj and cQ and T0 and in[1] and Jss and Jss) and (not Jss) and (not P)) or in[0] or (not out[1]) or (not Jss) or fG or ((Jss or out[2 ]) or CdXj or ( out[1] and P and CdXj and cQ and Jss and out[2]) or (not CdXj) or (not P) or (P or P or CdXj or cQ or cQ or out[2] or CdXj)) or ((T0 and out[1]) or (in[1] and in[1] and T0) or (T0 or CdXj or P or in[0] or in[0] or fG or in[1] or Jss))) or ((T0 or (not cQ) or (T0 or fG or out[2] or fG or CdXj or cQ or fG) or Jss) and (T0 or (not P) or (fG or in[1] or out[1] or fG or  out[1] or P or cQ)) and (fG or (T0 or out[1] or out[1] or in[0] or Jss or out[1] or in[0] or T0 or out[1 ] or fG) or (cQ or fG or out[1])) and (not T0) and (not Jss) and CdXj and fG));
out[4]=(not Jss);
ZS=in[1];
Xe =(((not out[1]) and in[0] and ((cQ or i) or CdXj or (out[4] and fG and ZS and out[1] and out[2] and Jss and Jss and Jss  and fG and out[2] and T0 and T0 and T0)) and ((not out[2]) and (P or P or i or out[1]) and (not T0)) and ((out[1] or in[1] or in[1] or CdXj or out[1]) and (P and Jss and CdXj and Jss) and (not P) and Jss and (not out[4]) and (out[2] or P or Jss or Jss or fG or CdXj or out[2] or in[0]) and (out[2] and cQ and out[2] and  in[1]))) or (not fG));
out[3]=(not i);
out[0]=(CdXj or (not out[1 ]) or out[2] or ZS or ((not T0) or (not in[0]) or (not Xe) or (Jss  or T0 or  cQ or CdXj or (in[1] or out[1] or i))) or (not out[3]));
xTHe =(cQ and T0 and  Jss and (T0 or (not out[0]) or (Jss and ( Xe or CdXj or ZS or CdXj) and i and P and out[0] and ZS and Xe) or out[1] or (out[0] or in[1]) or (not in[0]) or Jss or  (not Jss) or out[2] or P or (fG and (CdXj and in[0] and in[0] and out[2] and out[2] and out[4] and out[2]) and (CdXj or Xe or in[1] or in[1] or T0 or out[0] or Xe or Jss or out[4] or out[3] or CdXj) and Jss and (Jss and T0 and T0))) and P and (not out[4]) and ((out[3] and (Jss and cQ and ZS and out[0] and Jss) and (i and T0 and CdXj and P and in[0] and ZS and out[0]) and (not ZS) and (out[2] or out[2] or fG or ZS or Xe or P or ZS or out[2]) and (not Xe) and i and (not in[0])) or out[1] or fG or ((not out[4])  and (out[3] and out[0] and out[4] and out[3] and ZS and out[2] and fG and out[0]) and fG and (in[ 1] and Xe and ZS and CdXj and cQ and T0 and P and out[0] and Jss) and (not out[2]) and (T0 and out [1] and P and  out[3] and out[1]) and (i and out[3] and CdXj and Xe and in[1]) and (not Jss) and (not out[3]) and (out[0] or out[3] or cQ or out[4] or ZS  or out[2])) or (Jss and (not CdXj) and (in[1] and out[2] and ZS and Xe and out[3] and P and out[3] and T0 and cQ and fG and cQ)) or (not out[2]) or P or P or (not out[2]) or (not out[3]) or (not fG) or in[1] or ((not cQ)  and  (ZS or in[0] or in[0] or in[0] or P or in[0] or cQ or fG) and (P and T0 and P and fG and fG ) and (out[0] or in[0] or Xe or in[1] or Jss or in[0] or cQ or out[0] or in[0] or out[4] or out[2] or out[1] or in[0] or fG) and (Jss or out[1] or Jss or Jss or out [1] or fG or out[4]) and P and out[2] and (T0 or P or T0) and (Jss or fG or out[3] or i) and (Xe or Jss or T0) and (out[0] or P or out[3] or cQ or out[1] or ZS)) or ((not CdXj) and (not CdXj) and (CdXj and cQ and i) and out[4] and (not out[4]) and (i or P)) or ((Jss and out[2] and  Jss and Jss and Xe ) and out[4]) or Xe) and i and (not out[2]) and CdXj and (not fG) and ((not Xe) or ((Jss or in[0] or Jss or out[4] or out[1]) or (not out[2]) or out[1] or (not Jss) or (not in[1]) or (not Xe) or (Jss or in[1] or out[4] or fG or fG or out[1] or Jss or in[0] or fG) or in[1] or i or (fG  and cQ and Jss and out[0] and Jss  and P) or out[4] or in[1] or in[1] or (ZS or ZS or fG or out[3] or ZS or CdXj or in[0] or in[0]) or (out[3] or CdXj or out[1] or P or out[2] or Jss or i or in[1] or P or out[0]) or (cQ and out[2] and in[1] and out[2]) or (out[3] or fG or P)) or (not out[0 ]) or (not in[0]) or ((T0 or T0 or out[3] or fG or i) and (out[2] or CdXj or out[0] or out[0]) and (not T0) and (cQ or out[0] or out [3] or  Jss or P or out[4] or ZS or P or CdXj or out[0] or out[4] or out[2] or in[0] or fG) and (out[1] or i or T0 or Xe or fG)) or (not cQ) or ((T0 or ZS or out[ 4] or CdXj or out[1] or out[2]) and (in[0] or T0 or P or P or out[3]) and (ZS and out[3] and ZS and out[3] and out[3] and in[1] and out[2] and out[2] and in[0]) and (not ZS)) or (Jss and (out[1] and out[3] and Xe and out[3] and out[3] and ZS and P and ZS) and (out[3] and i and T0 and P and in[1] and P and in[1] and out[4]) and (in[1] and out[1] and out[1 ] and ZS and out[3] and out[2] and out[4] and i and CdXj and in[0] and cQ and P) and (ZS and P and CdXj) and out[0] and (cQ or out[2] or Jss or i or CdXj or fG or ZS or Jss or out[3]) and out[4] and (Xe or out[3] or fG or P or i or i or out[3] or Jss) and (not CdXj) and (ZS and ZS)) or ((in[0] or cQ) or out[3]) or (not Xe)) and ZS and (not CdXj) and (in[1] and ((out[4] and out[1] and fG and out[3] and in[1] and P and T0 and out[1] and fG) and P and (i and in[1] and ZS and fG) and (not Jss) and T0) and ((Jss or out[1] or in[1]) and out[2] and (T0 or cQ or cQ) and fG and out[3]) and  (not in[1])));
h=((not ZS) or (((fG and out[3] and out[4]) and (not in[0]) and (Xe and out[0] and out[0] and T0) and (in[1] and CdXj and xTHe and out[4] and P and T0) and (T0 and  fG and ZS and fG and ZS and out[1] and T0 and Xe and fG) and (not Jss) and (not out[0])) or  ((T0 or in[0] or Xe or Jss or Jss or ZS or xTHe or out[3] or ZS or out[1] or in[ 1] or out[3] or CdXj or Jss) or (xTHe or cQ or in[1] or out[3] or Jss or CdXj) or (in[1] or fG or out[3]) or (in[1] or out[2] or out[3] or xTHe or ZS or out[3] or i or i or out[3] or in[0]) or (CdXj and cQ and fG and CdXj) or (cQ or out[3] or out[3] or out[ 2] or P or in[1] or out[2]) or (not P) or (not out[3]) or xTHe)));
