# 2 5 13
u=((((not in[0]) or (in[1] and in[0]) or (not in[0 ]) or (in[1] or in[1] or in[0] or in[0] or in[1])) or (in[0] or (in[0] and in[1] and in[1] and in[1] and in[0] and in[0]) or in[0] or (not in[0]) or (in[1] or in[1] or in[0] or in[1] or in[0] or in[1] or in[1]) or (not in[1]) or (in[1] or in[0] or in[1] or in[1] or in[0] or in[1] or in[0] or in[0] or in[1] or in[0]) or (in[0] or in[1] or in[0]) or (in[1] or in[0] or in[1]) or (not in[1]) or (not in[0]) or (in[0] or in[0] or in[0] or in[1]) or (in[0] and  in[0] and in[0] and in[0] and in[0])) or (in[1] or in[0] or in[1] or (in[1] and in[0] and in[1]) or (not in[0])) or (not in[0]) or ((in[0] and in[0] and in[0] and in[0] and in[0] and in[0] and in[1] and in[0]) and in[1] and (not in[0])) or in[1] or in[1] or (not in[0])) or (not in[0]) or ((in[0] or (in [0] and in[1]) or (in[1] or in[0] or in[1] or in[0] or in[1] or in[0] or in[1]) or in[1]) and in[0] and (not in[1]) and in[0] and (not in[1]) and (not in[0]) and ((not in[1]) and (in[1] or in[1] or in[0]) and (in[0] and in[1] and in[0]) and (in[1] and in [1] and in[1]) and in[0])) or in[0] or (not in[0]) or in[1] or ((not in[0]) or (not in[1]) or  (not in[0])) or (((not in[0]) and (not in[0]) and (in[1] or in[0]) and (in[1] and in[0] and in[1] and in[1] and in[1]) and (not in[0])) and in[0] and (not in[1]) and (in[1] and (in[1] and in[1] and in[1] and in[1] and in[0] and in[0] and in[1])) and in[0]) or (((in[1] or in[0] or in[0] or in[0]) and (not in[0]) and (in[0] and in[1] and in[0] and in[0]) and ( in[1] and in[0] and in[1] and in[0] and in[0]) and (in[0] or in[1] or in[1] or in[0]) and (not in[0]) and (not in[0]) and (in[1] and in[1] and in[0] and in[1] and in[0] and in[0] and 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] and in[0] and in[1] and in[0] and in[1] and in[1] and in[0])) or (not in[0]) or ((in[0] and in[0] and in[0] and in[0] and in[0] and in[1] and in[0]) and (not in[0])) or (not in[0]) or in[0] or in[1] or ((in[0] and in[1] and in[0] and in[1] and in[1] and in[0]) or (not in[0]) or (not in[0]) or (not in[1]) or (not in[1]) or (in[1] or in[1] or in[0] or in[1] or in[0]) or in[1]) or ((in[0] or in[1] or in[0] or in[0] or in[1] or in[0] or in[0]) and (in[0] or in[0] or in[0] or in[0]) and (not in[1])) or in[0] or ((not in [0]) 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[1] and in[0] and in[0] and in[1])) or (not in[0]) or in[ 1] or (in[1] and (not in[1]) and (not in[0])) or in[1]));
rd=(not u);
Yl=((not in[1]) or (u or (not rd) or (in[0] or (in[1] or rd or rd or u or in[1] or u or in[0] or in[1] or in[0]) or (u and u and in[0] and rd and in[1] and in[0] and in[0] and in[0] and in[1] and in[0]) or (rd and in[1] and rd and rd and in[0] and in[1]) or (u and in[0] and u))) or u or (((u and u and rd and in[0] and in[0] and in[0] and u and rd and rd and in[0]) and (rd and in[1] and in[0] and rd and u and in[1]) and (in[1] and u and u and in[0] and in[ 1]) and (rd or in[0] or in[1] or rd) and (u or in[0] or rd or in[1] or in[0] or rd or u or rd or in[1] or u) and in[1] and (not rd)) and (not in[0]) and (not u) and in[1] and (in[1] or (in[1] and in[0] and in[1] and in[1] and in[1] and in[0] and rd and in[1] and in[1]) or in[1] or (u and in [0] and rd and rd and in[1] and in[0]) or (not in[0]) or (not u) or in[1] or (rd and u and in[1])) and in[0] and (rd or (in[0] and rd and rd and in[1] and in[0] and u) or (u or u or in[1] or u or rd) or (u or in[0] or rd or rd or in[0] or in[0]) or in[0] or (u and rd and u and in[1] and u and rd and u) or (not in[1])) and ((rd or in[0] or in[0] or rd or u) or (u or in[1] or in[1]  or rd or in[0]) or (not u) or in[0] or u) and in[1] and rd) or in[0] or ((not u) and (not u) and (not rd)) or ((not in[1]) or (not u) or u or (not u) or ((in[0] or in[0] or rd or in[0] or in[0] or in[0]) or (rd and in[0] and u and u and in[0] and u and in[1]) or (rd or rd or u or u or u or rd or rd or in[1]  or u) or (in[0] and in[1] and in[0] and in[0] and in[1] and in[0] and in[1] and in[1] and in[0] and rd)) or rd or (not  in[1]) or in[1]) or (((in[0] or u or in[0] or in[ 0] or u or in[0] or u or rd) or in[0] or rd or (not in[1])) and in[1] and in[0] and ((in[1] or in[1]) or in[0] or (in[0] or u or u) or (in[1] or u or in[0])) and ((in[1] and in[0] and in[1]) and (u and in[0] and in[0] and rd and rd and in[1] and rd) and rd and rd and (in[1] and in[1] and rd and rd and in[1]) and (in[0] and in[1] and in[1] and u and in[1] and u and in[1] and u and u and in[1]  and in[0] and rd)) and (not in[1])) or ((not rd) and ((in[1] or in[0] or in[1] or u or u) or (u or in[0] or in[0] or u or in[0] or rd or in[1] or rd) or (not in[1])) and ((in[0] and  in[0]  and in[0]) or (not in[1]) or in[0] or rd) and ((u or rd or in[0] or u or rd or in[1] or in[0] or in[0] or in[1] or u) and (in[0] or in[0] or u or u or in[1] or u ) and (not u) and (not in[0]) and (in[0] or in[1] or rd or u or in[0] or in[0] or in[1] or in[0] or in[0] or rd) and (in[1] or in[1] or in[1] or rd or in[1] or u or rd))));
NVw=Yl;
p=Yl;
out[0]=(in[0] or ((not rd) and Yl and ((not rd) and (not in[0]) and (Yl and rd and u and Yl and NVw and rd) and (not NVw) and (rd or p or in[0] or rd or NVw or u or u or in[0] or rd or rd or p or u) and u and (Yl or NVw) and (NVw or u or NVw) and u) and ((rd and Yl and Yl and in[0] and rd and in[1] and Yl and NVw and in[1]) or (p and p and NVw and rd and in[0] and in[0]) or NVw) and ((not NVw) or p or (not rd) or (in[0] or NVw or u or Yl or in[1] or NVw)) and (not NVw) and rd) or (not u) or ((not p) or u or ((u or Yl or NVw or u) or (p or Yl or NVw or in[0 ] or in[0] or in[0]) or (Yl and u and rd and u and p and u and rd and NVw  and Yl) or (not in[1])) or ((in[1] or Yl or p or u or  rd or p or in[1] or p) or (p or p or in[1] or Yl or in[0]) or (NVw and Yl and in[0] and NVw) or (u and Yl and Yl  and rd and u and NVw and p and  in[ 1] and rd and rd and rd)) or (not u)) or ((not Yl) or (u and (u or Yl or in[0] or in[1] or in[0] or u or p) and (NVw and in[1] and in[ 1] and in[1] and in[1] and u) and Yl) or ((u or NVw or u or p or NVw or p or NVw) and (u or NVw or u or u) and NVw) or ((rd and rd and u) or (rd and p and in[0] and in[ 0] and Yl and Yl and rd and p and in[0] and p and p) or (u or p or Yl or NVw or in[0] or Yl or p) or (not p) or (p and NVw and in[0] and in[0]) or (in[1] or Yl or u or p  or p or in[1]) or (not Yl) or (not NVw) or (p and rd and p and in[0] and NVw and in[0] and NVw and in[0]) or (NVw or u or in[0] or rd or p or rd or in[1] or NVw or NVw or NVw or in[0] or Yl or NVw) or (p or NVw or Yl or in[0]) or Yl or (not u)) or ((NVw or in[1] or in[1]) and (in[0] and in[0] and Yl and NVw and NVw and p and NVw and Yl) and (not u)) or in[0]));
d=((not in[1]) or ((in[0] and (in[1] or rd or rd or p) and (not u) and (u or rd or out[0] or in[1] or in[0] or out[0] or Yl)  and NVw) or ((in[1] and rd and Yl and rd and p and p and p and u and u and out[0] and rd and Yl  and out[0]) or (not rd) or (out[0] or Yl or in[1]) or out[0] or u or (u or NVw or rd or in[1])) or (not Yl) or ((not out[0]) or (p and Yl and in[0] and in[1]) or in[1] or (in [1] or Yl or rd) or (in[1] and Yl and u and in[1] and Yl and out[0] and u and p and Yl and out[0]) or (p and in[1] and Yl and in[1])) or rd or ((in[0] or in[0] or Yl or Yl or u) and (p and out [0] and in[0] and out[0] and out[0] and p and rd) and u and in[0] and (not rd) and (not NVw)) or (u and (not p) and (u and p and Yl and u and Yl and u and rd and p and p and in[1]) and (not Yl) and (in[1] or rd) and (not in[0]) and p) or rd or ((not p) or (not out[0]) or (Yl or NVw or NVw or Yl or in[0] or Yl or in[1]) or (not NVw) or (Yl or in[1] or in[1] or in[1] or u) or (not in[1])) or out[0] or (not Yl) or ((p or p or out[0] or NVw or out[0] or u) and (not out[0]) and (not p) and in[0] and (not rd) and (not p) and (u and out[0]))) or (out[0] or (not in[1] )) or (((out[0] and NVw and NVw and p and rd and in[0] and out[0]) and (NVw or in[0 ] or u or in[1] or  rd) and (not out[0]) and (Yl or in[0] or p or in[1] or u or Yl or out[0]) and (rd and rd and out[0] and in[1] and u and Yl and Yl and rd and rd) and in[0] and rd and (in[1] and p and p and Yl and in[1] and in[1] and out[0] and  Yl) and (Yl and Yl and p and out[0] and rd and rd and u and out[0] and u and rd and p) and u and NVw) and ((not in[0]) and u and (not out[0]) and in[0] and (rd or in[ 1] or NVw or NVw or p or Yl or in[1])) ) or Yl);
out[4]=((((out[0] or u or out[0] or p or NVw or u or u or d or u or rd or p or in[1]) and (not NVw) and (not d) and (in[1] and NVw and rd and in[0] and rd and Yl and in[1] and p and NVw and rd)) or p) and ((Yl and (u and in[0]) and NVw and (not u) and (in[1] and out[0] ) and (p  and out[0])) or (not d) or (not in[ 1]) or ((in[0] and u and d and NVw and out[0] and p and p and rd) and in[0] and (u or rd) and (not p) and (rd or rd)) or (out[0] and out[0] and p and (not Yl) and NVw and (u or NVw or p or Yl ) and p) or (in[0] and (not Yl) and (p or out[0] or d or p) and (not d) and (p and in[0] and in[0] and in[1] and u and rd and u and rd) and (out[0] or p or u) and (in[1] or d or Yl or d) and (rd or u or rd or out[0]  or d or p)) or ((in[0] or in[1] or u or in[0] or out[0] or rd) or (not in[1]) or d or in[1]) or ((Yl or in[1] or p or in[0] or NVw or d) or (rd or in[0] or rd or rd or u) or (in[0] and Yl and rd and in[0] and in[0] and rd) or (u or Yl or  in[1] or in[1])) or (not in[0]) or ((u or NVw or in[1]) or (out[0] or Yl or p or d or Yl or out[0] or in[0]) or (not p)) or ((not NVw) and (not in[0]) and (d or p or NVw or  p or in[1] or u or out[0] or u or NVw or Yl or u) and (not rd)) or in[1]) and (not u) and ((not rd) and Yl and ((not Yl) or (in[1] or NVw or in[1 ] or rd or  out[0] or in[0] or in[1] or Yl or in[0]) or (d or Yl or p or in[0] or out[0] or Yl or u  or rd or d or d) or rd or (not p) or (not in[0]) or (NVw and out[0] and u and Yl and in[1] and rd) or (p or rd or in[1] or in[1] or in[1]) or (u and out[0] and d  and Yl and u and Yl and u) or (rd or in[1] or Yl or d) or (NVw and Yl and rd and out[0] and Yl and in[1] and in[0] and in[0])) and u and (not d) and ((not u) and (rd or in[1] or in[1] or p or NVw or d or rd or NVw or in[1] or u or in[0]) and (not u) and (not p) and (not Yl) and Yl) and (not Yl) and  out[0]) and out[0] and Yl);
out[3]=(not u);
U=((NVw or out[3] or ((not u) and (not out[4]) and (NVw or out[0] or out[4] or in[0] or out[4] or out[0])) or ((not NVw) or (p or out[0] or in[0] or p or out[0]) or Yl or (p and in[1]) or (out[3] and rd and rd and out[3] and in[1] and u and in[1]) or d or (not rd) or (out[3] or out[3] or u or rd) or (NVw or rd or out[0]))) and in[1] and ((out[0] or (not in[0]) or (in[1] or p or out[4] or Yl or p or out[0] or in[1] or NVw)) or ((not out[3]) and (rd or NVw or u or Yl or rd or in[0] or in[0 ]) and (not out[4]) and (u or out[0] or p or in[0] or Yl or u or d) and (not rd) and p and (not u) and (not in[1])) or Yl or ((d or p or in[1] or p or rd or out[4] or  out[0] or u) and (not NVw) and d and (out[0] and d and in[0]) and (out[4] or rd or d or in[1] or p or d) and (p and rd and p) and out[4] and (in[1] or p or out[4]) and in[1]) or (out[3] or u or (in[0] and Yl and in[1] and rd and out[4] and in[1]) or (out[0] or p or Yl or out[0] or rd or out[0]) or Yl or (not Yl) or (not Yl) or (rd and NVw and in[0]) or (rd and NVw)  or NVw or (not in[1]) or in[0] or (not out[0])) or ((not in[0]) or (d or out[0] or d or  p or p or d or u) or (out[3] and Yl and p )) or ((not out[3]) or  (in[0] or  d or Yl) or (Yl or d or out[4] or out[3]) or (in[1] or out[0] or out[0]) or (not NVw)) or ((p or rd or in[0] or Yl) and (in[0] or out[0] or p or out[0 ] or rd or out[0]) and (in[1] or out[0] or in[0])) or (not out[4])) and ((not out[4]) and ((p or Yl) and (NVw and in[0] and rd and NVw and p and rd and d and out[4]) and (in[0] and Yl and rd and out[3] and rd) and (not out[4]) and in[1] and (not in[0])  and (Yl or out[0] or in[0] or in[0] or in[0]) and (in[1] and in[1] and NVw and out[4]) and (not Yl) and (out[4] and NVw and NVw and out[4] and in[0] and in[0] and u and u and d) and (not NVw) and d) and ((NVw and in[0] and u and in[1] and out[3] and u) or u or (d or in[0] or in[1] or rd)) and out[0] and ((out[0] or NVw or NVw or p or out[4] or in[0]) or (in[0] or p or out[0] or out[4]) or (d or rd or Yl or out[3] or out[3] or Yl or out[3] or Yl) or (out[0] or in[0 ] or p or u or in[1]) or Yl or (out[3] and in[0] and NVw and in[1] and out[3] and rd and out[0] and Yl and Yl and u and p and Yl)) and ((not Yl) and (p or out[0] or out[4] or NVw or out[4] or u) and (not Yl) and (rd and out[4] and out[4] and out[4] and Yl and Yl and out[3] and p) and (u and out[4] and d and u and rd) and (not NVw))) and (((out[4] and out[0] and in [0] and p and out[3] and rd and out[3] and NVw and rd and Yl and out[3] and Yl and out[0]) or out[3] or (u or in[1] or rd or u or Yl or p or NVw) or (Yl and in[1])) or ((Yl and u and d and in[0] and p and rd and out[3] and out[3] and Yl and u) or (not p) or (rd or NVw or in[ 0] or rd or out[3] or out[4])) or (not d) or ((out[3] and in[0]) and in[0] and (d and d and out[4] and u and NVw and d and Yl and out[0]) and (rd and in[0] and out[0] and in[0] and Yl and  out[4]) and (p or in[1] or u or out[0] or rd or out[4] or NVw) and u and (d and out[0] and in[0] and d and out[4] and in[1] and d and in[1]) and out[4])) and (((out[3] and rd and out[3] and p and p and Yl and in[1] and d and d and out[3]) and in[1 ] and (not out[4]) and Yl and d and p) and (Yl or in [0] or (in[1] and Yl and  out[4] and Yl and in[1] and out[3] and p)) and in[1] and NVw and ((not rd) or (not Yl) or (u or out[ 4] or in[0] or out[4] or out[0] or d or rd or d) or out[4] or (u and in[0] and u and d) or (rd or out[0] or in[1]) or (not Yl) or (rd and out[4] and d and in[0] and u and Yl) or d) and ((not out[3]) or (Yl or Yl or Yl or u or p) or (out[3] or out[3] or Yl or out[4] or d)) and ((not Yl) and (Yl or in[1] or in[1] or d) and (NVw or NVw or d or out [0 ] or  d or in[0] or out[0] or u or Yl or d or u) and (not rd)) and (not u)) and ((not in[0]) or ((u and d and out[4]) or (not out[3])) or d or (in[0] and out[0] and (out[0] and Yl and out[4] and NVw and rd and Yl and in[1] and out[0] and out[0] and u)) or (not in[1]) or (not u) or (not out[0]) or ((not in[0]) and (not Yl) and out[3] and out[3] and (rd or  out[4] or NVw or out[4] or out[4] or rd or NVw or Yl) and NVw and (not in[1]) and (d or out[4] or NVw or in[0] or in[0] or p or out[0] or rd) and (out[4 ] and u) and (out[4] and rd and in[1] and in[1] and out[0] and Yl and out[3] and in[0] and NVw and NVw) and (NVw and rd and out[4]) and (not in[0]) and Yl  and (u and out[4] and out[3]) and (out[4] and d and NVw and in[0] and in[0] and p) and in[ 0] and (not NVw) and (out[0] or d or in[1] or out[4] or in[0 ] or in[1] or p or out[0] or out[4] or NVw or d or u or in[0] or rd) and (rd and out[4]) and (d or u or in[0] or u or d or out[3] ) and (not rd) and (not out[0])) or (not out[3])));
zy=in[1];
Ow=in[0];
S0=rd;
