# 1 11 12
U=((not in[0]) or in[0] or in[0] or (not in[0]) or (((not in[0]) and (in[0] or in[0] or in[0] or in[0] or in[0] or in[0]) and in[0]) and (not in[0]) and ((in[0] or in[0] or in[0]) or in[0] or (in[0] or in[0] or in[0] or in[0] or in[0] or in[0] or in[0] or in[0] or in[0] or in[0] or in[0] or in[0] or in[0])) and ((in[0] or in[0] or in[0] or in[0]) or (not in[0]) or (in[0] or in[0] or in[0]) or in[0] or in[0] or (in[0] or in[0] or in[0]) or (in[0] or in[0] or in[0] or in[0] or in[0] or in[0]) or (not in[0]) or (in[0] or in[0] or in[0]) or (in[0] or in[0]) or (in[0] or in[0] or in[0] or in[0] or in[0] or in[0] or in[0] or in[0] or in[0] or in[0] or in[0] or in[0]) or (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 ((not in[0]) and (in[0] or in[0] or in[0] or in[0] or in[0] or in[0] or in[0] or in[0] or in[0] or in[0]) and (in[0] or in[0] or in[0] or in[0] or in[0]) and (in[0] and in[0] and in [0]) and (not in[0]) and (in[0] or in[0] or in[0] or in[0] or  in[0] or in[0] or in[0]) and (not in[0]) and (not  in[0]) and (not in[0])) ));
out[5]=(not in[0]);
OjL=(not in[0]);
j=((not OjL) or ((not in[0]) or OjL or ((not in[0]) or (not U) or (not out[5]) or (OjL or OjL or in[0]  or OjL or U) or (not out[5]) or (out[5] and out[5] and in[0] and in[0] and out[5]) or out[5] or (not in[0]))) or (in[0] and in[0] and ((not U ) or (U and OjL and U and in[0] and U and in[0] and in[0] and U and OjL) or (not U) or (U and OjL) or (in[0] or U) or out[5] or (not U) or (U and in[0] and out[5] and OjL and U and U and out[5] and OjL) or (OjL or in[0] or in[0] or in[ 0] or OjL) or OjL) and ((not U) or out[5] or (in[0] or in[0] or U or in[0] or OjL or OjL or OjL or OjL or in[0] or OjL or out[5] or OjL) or (OjL and in[0]) or (out[5] or in[0] or out[5] or OjL) or (out[5] and in [0] and in[0] and OjL)) and in[0]));
q=(in[0] and (((U and U and U and j and j and j and in[0] and U and out[5]) and (not j) and j and in[0]) or (U and (in[0] or U or j) and (OjL or U or j) and (j or j or U or U or OjL or U or j  or OjL) and ( j and j and out[5] and OjL) and (not out[5]) and in[0]) or j or (OjL and (in[0] or in[0] or U or OjL or out[5] or in[0]) and (U or out[5] or in[0] or j or j) and (not OjL)) or (not j) or (in[0] or in[0] or (not U) or (OjL and out[5] and OjL and in[0] and in [0]))) and (not out[5]));
Iw=(out[5] or (((not in[0]) and (not out[5]) and j and (U or OjL or q or j or j or j or q or U or U) and (OjL and out[5]) and (in[0] and q and U and U and OjL and j) and  (not out[5] ) and (not in[0])) or (not U) or (in[0] or (not j) or (q or j or q) or (in[0] or U or j or j or U) or (j and OjL and U and out[5]) or (not q) or (out[5] and in[0] and in[0]) or (j and q and U and OjL) or (U or q or  OjL  or q or j or j or out[5] or in[0]) or (j and j and j and q and j and OjL and OjL) or (not j) or (out[5] or q or out[5] or OjL or in[0] or out[5]) or (not OjL))) or j or (((not OjL) and j and (in[0] and OjL and in[0]) and (in[0]  and in[0] and q and in[0]) and (in[0] and U and in[0] and OjL and q and q) and (out[5] or j or j) and (not OjL) and (q and U and j and out[5]) and (in[0] and out[5] and OjL) and (j and q and OjL and U and q)) and out[5] and (not out[5])) or (((not OjL) and (OjL and OjL and out[5] and j and  j and j and q and in[0]) and (OjL and q and U and in[0] and  q and j and OjL and out[5] and j and in[0] and out[5])) or (not j) or ((U and U and U) or (OjL and q and in[0] and OjL and out[5] and in[0]) or (not U) or OjL) or (( j and j and in[0] and j) or (in[0] or j or OjL or OjL or q or U or OjL or U or U or q or OjL or out[5] or in[0]) or (OjL and OjL and j and OjL and U and U and j) or (q and out[5] and out[5] and q) or (not U)) or (not U)) or (((q or OjL or in[0] or U) or U or (j and j and in[0] and OjL and OjL and in[0] and U and q and U)) and ((U or j or q) or (not in[0]) or (not U) or (not out[5])) and (not out[5]) and ((U or in[0] or q or U or q or OjL or OjL or out[5] or j or j or j or j or j) or  in[0] or (out[5] or OjL or q or out[5]) or (j or  q or j or OjL or q or j or out[5] or q or q or q or q or OjL or in[0]) or (j and U)) and (not q) and ((OjL or j or q or U or j) and (not U))));
_=((Iw and j and (not OjL) and (not Iw) and ((not q) and in[0] and j and (q or in[0] or j) and (in[0] or U or out[5] or q)) and Iw) or ((out[5] or U or (Iw and q and OjL and out[5] and OjL  and Iw and U and in[0] and Iw) or (not j)) or ((not j) or OjL or (Iw or Iw or out[5] or out [5] or OjL or out[5]) or (U and OjL and in[0] and j and Iw) or (not q) or (not OjL) or q)) or (((OjL and j and U and q and q and q and out[5] and U) and (not U) and Iw and (in[0] and U and out[5] and U and q and OjL and U and j) and (out[5] and OjL) and (not q) and (U and out[5] and OjL and OjL and out[5] and q and out[5] and j and in[0] and OjL) and (not in[0]) and (Iw or OjL or out[5]) and (U or in[0]) and (out[5] or j or in[0] or j or out[5] or U)) or OjL or U) or OjL);
g=(not out[5]);
L=in[0];
x=(not in[0]);
nj=(q or (not j) or (((q or q or L or x) and (x and g and in[0] and U and x and OjL) and (not _)) or ((not x) and (in[0] or L or out[5] or x or Iw or g or g) and (not j)) or ((j or  U or x or L or x  or q or out[5] or U or q or out[5] or L or Iw) or (not L) or j) or ((g or q or out[5] or g or g or j or g or U or j or _ or Iw or g or j or j or OjL or  out[5] or q or L or g) or (not g) or (not OjL) or (not out[5]))) or (((out[ 5] or OjL or in[0]) or  (_ and _ and g and j and x and OjL and Iw) or (not out[5]) or (j and Iw and OjL) or (g and out[5])) and ( q or  (not q) or (not x) or (OjL or in[0] or g) or (Iw and x and U and L and OjL and L) or (j or q or out[5] or out[5]) or (L and g and j and OjL and out[5 ] and q) or (not x) or in[0]) and g and ((not _) and q and q) and ((not in[0]) or (_ and U) or (_ or q or U or in[0] or g or out[5]))) or (((not _) or (not j) or (g and j and x  and j and U and L and _ and _ and U and q) or (_ or U or q or U or Iw)) and ((x or in[0] or L or U) or (not out[5]) or in[0] or (not out[5]) or (not q) or (x or _ or U or in[0] or U or _ or g) or (not OjL) or OjL or (q and U and j) or (g and in[0] and L and x and g and _ and Iw and out[5] and g and q and x) or _ or (in[0] or q or Iw or out[5] or g or in[0] or x)) and (not j) and U and q and (q or U)) or (((not x) and (not _) and (U and U and _) and (L or Iw or L or Iw or in[0]) and (q or g or j or g or OjL or U or j or q or x or j or q or OjL) and (L and q and L and _ and L and _ and g)) or out[5] or Iw or q or out [5]) or (not q) or x or q or ((not out[5]) and ((not out[5]) or (not x) or (out[5] and g and OjL and in[0] and Iw  and q and out[5] and j and Iw and OjL) or (not q) or out[5]  or (not _)) and (not q) and Iw and  U and (q and (_ and j) and (g  and q and q and _ and out[5] and L) and (OjL and q and U and L and  OjL and L and Iw and x and out[5] and U and Iw and _)) and (_ and (q and L and q and in[0] and _ and q) and (in[0] or OjL or out[5] or g or OjL or OjL or q or out[5]  or x) and (OjL or L or L)) and Iw ) or (((not OjL) and j and (not U) and q and (not out[5]) and (not L) and (in[0] and out[5] and out[5] and in[0] and out[5] and out[5] and j and OjL) and (not U) and U and (x or g or OjL) and (_ and q) and (not g) and ( q or out[5] or _) ) or Iw or (OjL or (not out[5]) or (not OjL) or Iw or x or (out[5] or out[5] or Iw or j or Iw)) or (q and (not in[0]) and (x or q or _ or in[0]) and (g and OjL and U and j and _ and _ and out[5] and j and j and Iw and _ and in[0] and x))));
out[0]=(not Iw);
