# 4 6 21
g=((((not in[2 ]) or (in[2] or in[1] or in[0] or in[3] or  in[3] or in [2] or in[3] or in[1]  or in[ 0] or in[3] or in[2] or in[3]) or in[1] or (in[1] and in[1] and in[2]) or (in[0] and in[1] and in[1] and in[2] and in[0] and in[3]) or (in[3] or in[0] or in[2] or in[1] or in[3] or in[1] or in[1] or in[3] or in[2])) and (not in[0]) and ((not in[3]) and (in[0] and in[2] and in[3] and in[1] and in[2] and in[3]) and in[2]) and ((in[2] and in[1] and in[1] and in[1] and in[1] and in[0] and in[2] and in[1]) and in[0] and (not in[2]) and in[3] and (not in[3]) and (in[0] or in[1] or in[0] or in[1] or in[0] or in[3] or in[1] or in[0]) and (in[2] and in[0] and in[1] and in[1] and in[0] and in[3]) and (not in[0]) and (in[3] or in[1] or in[1]) and (not in[1]) and (in[1] or in[0] or in[0] or in[1] or in[1] or in[2] or in[1] or in[0]) and (in[3] and in[2] and in[1] and in[3] and in[1] and in[2] and in[1] and in[1] and in[3]) and (not in[0]) and in[2]) and in[1 ]) and ((not in[2]) and (not in[0]) and (in[3] or (not in[2] ) or (in[0] and in[1] and in[1] and in[1] and in[0] and in[0] and in[2])) and (not in[0]) and ((not in[3]) and (in[1] or in[0] or in[0] or in[0] or in[3] or in[1] or in[2] or in[3] or in[3] or in[3] or in[1] or in[1] or in[1 ]) and (in[3] and in[1] and in[0] and in[3] and in[1] and in[0] and in[0]) and (not in[2]) and in[2] and ( in[3] and in[3] and in[1] and in[3] and in[3]) and (not in[2]) and (in[0] and in[0] and in[3] and in[0] and in[2] and in[2] and in[3] and in[2])) and ((not in[1]) or (in[2] or in[0] or in[0] or in[2] or in[1] or in[3] or in[3] or in[1] or in[1]) or (in[0] or in[0] or in[2] or in[3] or in[0] or in[1]))) and (((in[2] or in[2] or in[0] or in[1] or in[2] or in[0] or in[1] or in[0]) and (in[2] and in[2] and in[3]) and (not in[0]) and (in[1] or in [3] or in[0] or in[0]) and (not in[3]) and (in[3] and in[3] and in[1] and in[3] and in[1] and in[2] and in[2] and in[2] and in[1]) and (in[3] or in[1] or in[2] or in[3] or in[0] or in[0]) and (in[3] or in[0] or in[2] or in[2]) and (in[0] or in[3] or in[1] or in[0])) and (in[2 ] or in[0] or (in[1] and in[1]) or (not in[1]) or (in[1] or in[1] or in[ 1] or in[0] or in[0] or in[2]) or (in[3] or in[0] or in[2] or in[2] or in[1] or in[2] or in[1] or in[0] or in[1]) or in[3] or (not in[0])) and (not in[ 3]) and in[3] and (not in[0]) and (not in[2]) and (not in[2])));
VB=in[3 ];
nnl=in[0];
wW=(not g);
u=in[3];
G=((((nnl or u or g or in[0] or u or in[3]) and (not wW) and g and (in[3] or in[0] or nnl or in[2] or in[1] or in[0]) and VB) or (wW or (in[1] and u and nnl and VB and g and nnl and in[1] and nnl) or (g and in[1] and g and nnl and VB and VB and in[1]) or (u or u or wW or wW) or VB or (nnl or g or g or in[3] or u or g or g or g or in[1] or wW or in[3]) or (VB and in[2] and wW and nnl and in[3] and in[1]) or (not wW) or (not in[3]) or (u or in[0] or in[1] or u) or in[2] or (not VB) or (not in[1])) or ((in[1] and nnl and nnl and VB and u and VB and in[0] and wW) or (in[0] and in[2] and in[2] and u and in[1] and in[3] and in[2] and u and in[0]) or (u or wW) or (not in[2]) or (not in[2])) or ((not nnl) and (not g) and in[0] and (wW or u or in[ 3] or in[3]) and (in[3] or u or u or VB or nnl or VB  or in[2] or VB or in[1] or in[1] or in[2] or in[1]) and (g and in[2] and VB and wW and VB and wW and in[3] and u and g) and (wW and in[2] and wW and nnl) and in[0] and g and (g and wW and in[2] and in[1] and u and in[0] and in[0] and wW and wW)) or ((not wW) or (wW and VB and in[0] and in[3] and wW and in[0] and wW and in[1] and in[1] and wW and nnl) or (wW or VB or in[3]))) or g or nnl or (in[1] and (not u) and ((g or g or in[3] or wW) and wW and (in[2] and g and nnl and VB and u and in[0]) and (not VB) and g)) or (not nnl) or (((not u) or VB or VB or (not in[1]) or g or (in[2] or in[2] or nnl or nnl) or (not in[3]) or wW or (not g) or (VB and wW and in[0] and nnl and in[1] and in[3] and in[3])) and (not wW) and in[2] and (not g) and in[2]  and ((nnl or nnl or wW) or (wW or nnl or in[3] or in[1] or g or VB or g or nnl) or (not g) or (not g) or (g or g or nnl or VB or in[3] or in[0] or in[0] or in[0] or in[3])) and (nnl or g or (not u) or (in[3] or VB or g or u or nnl or in[1] or nnl or g or VB or wW or wW or wW) or (wW or g or u or g or in[2] or VB or in[2] or wW or wW)) and (not u) and ((wW and u and VB and nnl and in[0] and in[2] and u and u and wW  and u) or (in[0] and VB and wW and in[2] and in[2] and nnl and in[2] and in[1]) or (not u) or (not g) or in[1] or (in[1] or in[3] or wW or nnl) or (u and g and wW and in[1] and in[2]  and in[3] and wW) or (g and g and in[3] and g and in[1] and in[1] and wW and in[1] and wW) or (in[3] or g or g) or in[3]) and in[3] and ((g or in[3] or VB) or (VB or in[1] or in[2] or in[3] or nnl) or (g and in[3] and wW and in[1] and VB and in[0] and wW and VB and nnl) or (not wW) or VB or (wW or nnl or u or in[3] or in[2] or wW)) and ((not u) and (in[2] or u or wW or wW or nnl or g or  wW or nnl or in[0] or in[1 ]) and g and in[1])));
C=in[3];
T=((in[2] and ((g or G or  wW or g)  or wW or (not g) or (not in[3]) or (u and G and in[3] and in[1] and in[2] and VB and G and u and in[1]) or (g or VB or VB or in[1] or VB or wW or G or VB) or VB or (in[0] and nnl and C) or (in[3] and in[2] and VB and VB and VB and u and in[2] and u)) and u and ((g or in[3] or in[1] or in[2] or in[2] or C or in[2] or in[3]) and u and (nnl or in[3] or u or in[3] or in[2] or in[2] or in[0] or VB or in[0] or G or u or in[0] or G) and (g and C and in[2] and u and in[0]) and (in[1] and in[1] and nnl and g and in[2] and in[3] and wW and g and G and VB)) and (not nnl) and G) or (u and ((not u) or (wW or G or in[2] or C or VB ) or nnl or (G and wW and wW and in[0])) and nnl and in[1] and ((in[2] and wW and nnl and u and in[3] and nnl and in[0]) or (G and nnl and in[2] and nnl and in[1]) or (nnl or G or nnl or G or wW or C or in[2]) or g or (u and in[3] and in[3] and in [2] and C)) and nnl and (u or in[3] or in[0] or in[1] or (g or g or g) or (G or in[0] or in[2] or VB or G or VB or wW or wW) or (wW or in[3] or u) or (u and u and in[3] and wW and nnl and in[3] and VB and wW and in[0] and wW and in[2] and g) or (not in[0])) and ((u and VB and nnl) and (nnl or G or in[1] or in[2] or in[0] or u or in[2]) and in[1] and (not in[ 1]) and (u and wW and wW and u and wW and in[1] and VB and G and G and g) and (in[0] and g and VB and C and u and u and in[3]) and (not g) and (not nnl) and (G and  wW and nnl and C) and (wW or in[2] or C or in[1] or in[1] or G or G or in[3])) and (not C) and G and (not VB) and (not G)));
U=((not G) and ((not g) or (not in[0]) or (not g) or (T or (nnl and nnl and u) or (not C) or VB or nnl or G or (not in[ 3 ])) or in[2] or ( (wW or in[0] or wW or u or in[1] or u or in[ 0] or in[0] or in[2] or in[3] or wW or in[2] or in[0]) and (in[0] or in[0] or C or G or in[0] or wW or nnl or C or T or in[3] ) and wW and (in[0] and nnl) and g and (not in[1]) and (in[1] or g or G or in[0] or T or in[1] or in[2] or in[1] or in[0] or nnl or u or VB or in[1] or in[0]) and (not G) and in[1] and (in[2] or C or in[3] or nnl or wW or wW or in[0] or G or G or in[3] or C) and (wW or u or in[0] or nnl or g or nnl or in[2])) or ((G or wW or G or C or C or in[0]) or (nnl and VB and nnl and nnl and g and G and in[2] and in[1] and in[1]) or u  or (not VB)) or (in[0] and g and in[3] and (in[1] and in[1] and in[0] and in[0] and VB and u and T) and (VB and C and G and in[3] and G) and nnl) or (not in[1])) and wW and (not wW) and (not nnl) and (((not g) and nnl and (not in[0]) and G and (VB or u or in[3]) and (in[2] and in[3] and g  and nnl and C and C and  u) and (not T) and nnl) and C and (T and (not in[1]) and (G or in[2] or g or T or VB) and (in[2] and wW and G and in[3] and G and in[1] and u and in[1] and nnl and G and VB and u and  C) and in[1] and (G and in[2] and VB and G and T and g and C and wW and g and g)) and g));
out[2]=((not in[3]) and ((not VB) or (not in[3 ]) or in[1] or ((in[2] and in[1] and in[ 1] and in[0] and U and G and in[0] and C and nnl and VB) or nnl or nnl or (VB or wW or in[3] or U or u or U or U or in[2] or T or wW or nnl or C)) or (T and (VB and u and in[0] and T and u and in[2]) and (G and u) and (not in[1]) and (in[3] or VB or VB or in[3] or u or T)) or (not  in[1]) or (not G) or (not VB) or (not in[1])) and g and in[3]);
out[4]=nnl;
out[5]=((((G and VB and wW) and nnl) or ((not u) or wW or (not wW) or in[2] or out[4] or (not C) or (g or in[1] or in[3] or wW or in[1] or U) or (C and out[2] and in[0] and T and in[2] and out[4] and VB and C and U) or (in[0] and u and nnl and G and g and nnl and C) or (not G) or u) or out[4]) or (((U and VB and T) and (in[0] or g or out[4] or  nnl) and (nnl or nnl or VB or in[2]) and (in[3] and wW and in[0] and U and in[0] and in[3] and out[2] and nnl and in[0] and g and VB and out[4]) and VB and (nnl or wW or in[1]) and (VB or T) and (out[2] or U or out[2] or U)) or VB or ((out[4] or VB or U or u or C) or (in[3] and out[4] and g and VB and wW and in[3] and g and G and U and T and VB and U and g) or (G or  T or nnl or g or G or U) or (in[2] or G or C or nnl or G or nnl or C or U or nnl) or (u or g or u or in[2]) or (out[2] or in[1] or in[1])) or (not g) or (not nnl) or  ((U or u or U) and (in[2] and out[4] and VB and T and U and nnl and in[0 ] and  in[0] and C and nnl and in[2] and T) and (out[4] or out[4] or G or in[2] or in[1]) and (not out[2]) and g and (out[2] or in[0] or in[3] or out[2] or g or in[3]) and (not in[2]) and (VB or wW) and out[2] and nnl) or  T or u) or (((not in[2]) or (not T) or (not U) or (out[4] and C and in[2] and u and out[4]) or (not out[4])) or ((not nnl) and (T or in[2] or g or T or G) and (not G)) or (G and out [2] and (G and u and u and out[2] and in[0] and in[0]) and (not in[2]) and (T and U and VB and out[4] and u  and in[1] and wW)) or ((not U) or in[2] or in[1] or (not out[4]) or (not in[2]) or in[3] or (nnl  or U or in[0] or u or U) or (not VB) or  in[3] or (not U) or (U and in[2] and in[ 0] and C)) or (not u) or (not out[4]) or ((u and nnl and T and in[3] and in[2] and out[4 ]) and (not u) and (T and in[3] and wW and C and g) and (C or nnl or u or nnl or u) and T and T and (not in[0])) or ((G and in[0] and in[2] and in[2] and in[0] and C and C) and (T or out[4] or in[2] or out[4] or in[1]) and in[2] and (not g) and U and in[2] and nnl and (T and nnl and VB and VB and in[0] and in[2] and in[ 3] and in[3] and in[1]) and (C and T and out[4]) and (not u) and (not in[0]) and G and (not in[3]))) or (((g and in[3] and wW and U) and (not g) and (not wW) and u) or VB or (not VB) or U) or u or (((not in[3]) and C and (wW or G or T or T or T or in [0] or VB) and (G and G and in[0] and nnl and in[2]) and (not VB) and (in[3] or out[2]) and g and (nnl and G and g)) or out[2] or in[1] or (in[1] and (not C) and (out[4] or g) and (not nnl))));
h=VB;
_oQf=((not G) and ((out[2] and (not U) and (C and C and C and T and U and in[1] and in[3] and C and g) and (out[4] and nnl and wW and T and h and out[4] and T and u) and (not in[0]) and (not h)) and h and in[1] and ((C or G) or in[0] or (u or wW or in[2]) or (not wW) or C or (G and u and U and VB and g and in[1] and in[0]) or (not h) or (G and G and out[2] and in[0] and  in[3] and G and u and C) or (T and g and out[5])) and (not out[4]) and (not G) and ((in[2] and out[4] and VB and G and wW and in[1] and in[3] and G and out[5]) or (h or C or in[2] or in[0] or h) or VB or u) and (not C)) and h and U);
fzB=(not G);
out[3]=((((not _oQf) and (VB and in[0]) and (in[0] or out[5] or out[2] or _oQf or fzB or g or in[3]) and (out[4] or T or out[4]  or U or fzB or VB or U or T or in[3]) and T) or (not fzB) or ((out[5] or nnl or C or h) or in[0] or (u and g and in[3] and in[1] and h and g and U) or C or (fzB or VB or out[4] or nnl) or _oQf or (in[1]  or in[3] or C or T or nnl or out[5]) or (out[4] and h and out[4] and in[0] and out[4] and in[1] ) or VB) or nnl or ((not out[4]) or (VB or G or g or in[3] or  VB or in[0] or out[2] or out[4]) or VB or nnl or (not out[5]) or (VB and u  and G and G and U and u and in[3] and h and U))) or h or (not out[2]) or (g and (not out[2])) or (((not U) and (T or nnl or wW or T or out[2])  and in[0] and U and U and u and (g or in[2] or U) and (g and in[0] and g and C) and (in[2] and out[4] and in[0] and g and nnl and _oQf and in[3]) and (not nnl)) or in[0] or (in[2] or C or (not u)) or ((in[0] or _oQf) and (not u) and (VB and g and _oQf and C and in[1] and U and g and in[1]) and (not in[1]) and (not out[2]) and (not out[5]) and (nnl and g) and (in[1] and in[0] and T and wW) and out[2] and (not out[2]) and (g or VB or in[2]) and (C or G) and (not fzB) and  (not in[2 ] )) or out[4] or (G and (not h) and fzB and (fzB and fzB and in[0] and out[5] and out[2] and in[0] and h and U and in[3])) or G or (u and (not in[0]) and fzB and (u or nnl) and (in[1] or out[4] or out[5] or fzB or out[5]) and (fzB and out[4] and h))) or (not out[4]) or (not _oQf));
J=in[3];
B=(not h);
out[0]=(not h);
O=((G or ((VB and wW and in[2] and in[2] and out[2] and wW and U and u and g and G and J) and (in[1] and _oQf and C) and (out[4] or VB or _oQf or wW or B or out[5]) and (not G) and out[0] and u and (g or T or in[3] or out[2] or in[2] or wW  or T or in[1] or in[3] or fzB or _oQf or out[5] or C) and (u and wW) and (not G))) and (out[2] and ((in[0] or out[2 ] or in[0]) and (g or in[1] or out[4]) and (T and in[3] and out[3] and g and B and fzB and out[4] and B and out[5] and B) and (_oQf and B and in[3] and out[4] and out[0] and J and J and h and out[0] and out[2] and C and J) and in[1]) and (in[1] or (not in[3]) or (in[1] or out[3] or fzB or U) or (_oQf and out[4] and T and  out[0] and u and nnl and out[2] and out[3] and wW and g) or (U or u or U or _oQf or C or g or out[3]) or T)) and ((G and (not in[3])) or ((not out[3]) or (in[0] and J and fzB and in[3] and h and out[0] and G) or (g or VB or out[3] or nnl) or (in[1] or out[3] or nnl or  _oQf or out[4]) or out[2] or (nnl and out[2] and VB and J and fzB and out[3])) or out[5] or ((U and C and out[0]) or J or (not out[5])) or ((not g) and (C or g) and (not B) and (not g) and (in[3]  or C or in[2] or wW or J)) or (not h) or (U and (G and g and in[0] and T and out[5] and fzB) and (in[0] or out[2] or B or out[0] or in[2] or T or T or VB) and _oQf and B) or nnl or ((not in[1]) and (not _oQf)) or  in[1] or VB or ((not nnl) and (out[3] and in[2 ] and in[1] and T and out[5] and out[0] and J and in[2]) and u and (not nnl) and (out[0] or nnl or U or U or in[1] or T or in[1] or _oQf or C) and (_oQf or in[1] or wW or out[0] or U or in[3] or _oQf or out[3]) and (C and G and fzB and out[4] and u) and (not out[3]))) and (not VB));
R=((not B) or O or (((out[4] or out[0] or T or out[2] or in[2]) and g and in[2]) and (not out[2]) and ((U or O or g or out[2] or out[4] or VB or in[3] or wW or out[5] or wW or U or G or g or U) or (B or B or in[3]  or in[2] or U or out[2] or U) or (not h)) and ((not in[3]) and (in[0] and g and out[0] and u and in[0] and J and C and out[5] and out[4] and u)  and (nnl or C or out[3] or out[2] or out[5] or B or C) and out[4]) and ((J and O and fzB) and out[5] and (not VB) and wW) and ( g or (not h) or (u and g and O) or g or (g and U and in[2]) or (U or in[1] or out[5] or out[4] or in[2] or O or in[2] or fzB or C or out[0] or wW) or J) and (not wW) and B) or ((C and (in[0] and out[2] and h and T and fzB and G and out[3] and in[3] and u)) and (not G) and ((B or in[1] or out[5] or nnl or O or u or out[2] or J) or (U or out[0] or out[0] or in[1] or in[2] or fzB) or (J and G and out[0] and fzB and U and _oQf and fzB and O and wW and out[ 4] and wW and _oQf)) and (not out[0]) and ((not _oQf) and (out[0] and u and out[5] and T and nnl) and out[0] and T) and ((T and u and u and fzB and B and T and O and B and in[0]) and (VB or u or VB) and (not C) and B and (h and fzB and O and out[0] and in[2]) and (G and out[4] and fzB and out[2]) and B and (out[3] and out[3]))));
