# 11 12 17
oe=(in[8] or (in[6] or ((in[7] or  in[9] or in[9] or in[3] or in[8] or in[4]) and in[4] and (in[8] and in[4] and in[5] and in[6]) and (in[1] and in[8] and in[7] and in[6]) and (in[9] or in[8] or in[6] or in[6] or in[1] or in[2] or in[6] or in[2] or in[9]) and (in[0] or in[6] or in[0] or in[2] or in[1] or in[8]  or in[10] or in[9] or in[7] or in[5]) and (not in[1]) and (in[4] or in[3] or in[2])) or (in[4] or (in[5] and in[6] and in[4] and in[5] and in[8] and in[3] and in[3]) or in[3] or (in[10] or in[5] or in[9] or in[1] or in[6] or in[4]) or (in[7] and in[7] and in[9] and in[4] and in[3] and in[1] and in[0] and in[4]) or (not in[1]) or (not in[4]) or (in[5] or in[9] or in[3] or in[4] or in[10]) or (in[3] and in[9] and in [6] and in[4] and in[9] and in[5]))) or  (not in[9]) or (not in[3]) or (not in[2]));
R=(not in[9]);
MJa=((((in[3] and in[1] and in[1] and in[7] and in[0] and in[7] and in[7] and in[5]) and (not oe) and in[5] and (in[1] or in[8] or in[1] or in[9] or oe or in[1] or in[3]) and in[10] and (in[0] and oe and in[9] and oe and in[3] and in[7] and in[6]) and in[10] and in[5] and (not in[4]) and (not in[8]) and in[8] and in[6]) or ((in[9] and in[1] and in[4] and in[4] and R) or (not in[6]) or in[9] or (in[5] or oe or in[10] or in[2]) or in[0]) or (not in[3])) or (((in[0] or in[10] or in[0] or in[7] or in[4] or in[7] or in[8] or in[5]) and  in[2] and (in[3] and in[1] and in[8])) or ((in[8 ] and in[4] and in[6] and in[4] and in[10] and in[1]) and (in[5] or  in[5] or in[7] or in[2] or in[4] or in[4] or in[6]) and in[2]) or ((not in[0]) and in[2] and (not in[5]) and (in[9] or in[1] or in[4] or in[2]) and in[8] and (in[3] or in[10] or in[8] or in[3]))) or (not R) or in[2]);
nXi=((((in[7] and R and in[1] and oe) or (not in[5]) or (in[6] or R or in[2] or in[6] or in[7])) or R  or (not oe) or in[8] or ((oe and in[5] and in[1] and in[5] and in[6] and in[3] and in[6]) and (not R) and (in[3] or in[2]) and in[3] and (in[6] or in[5] or in[9] or in[1] or in[2] or MJa or in[0] or oe or R or in[6]) and in[4]) or (not oe) or (in[3] or (in[6] and in[1] and in[2] and in[10] and in[6] and R and R and in[10]) or (in[2] or in[1] or in[10] or in[6] or in[3] or in[8] or MJa or in[5])) or (not in[1])) and (((in[10] or in[8] or in[0] or in[8] or in[7] or in[7] or in[0] or in[3]) and (not MJa) and (not in[8]) and (not in[0])) and ((in[10] or in[5] or in[9]) or in[7] or in[0] or (in[0] and in[7] and in[0] and in[2]))) and ((not MJa) or ((not in[0]) or (in[1] and in[6] and in[4]) or in[8 ] or (not in[2]) or in[4] or oe) or in[5] or (not in[1])) and (in[1] or (in[9] and in[4] and in[8] and (MJa and in[10] and in[0] and in[6] and in[8] and in [2]) and (not in[7]) and R and (not in[2]) and (not  oe) and (in[0] or in[9] or in[6] or R or in[4]) and in[6] and (not in[3]) and in[9] and (in[6] and in[ 5] and in[9] and in[2] and in[10] and in[6 ])) or (not in[1]) or (in[0] or in[6]) or oe) and (not in[4]) and in[1] and ((not in[6]) or (not R) or (not in[10])) and in[10]);
_=in[10];
K=in[0];
o=((in[6] and nXi and ((in[3] and _ and in[9] and in[2]  and MJa and in[0] and  in[9]) or MJa or (not in[7]) or (not in[7]) or in[9])) and ((not _) and (not nXi) and in[7] and in[7]) and (not in[5]) and  ((in[8] and (in[1] and in[5] and in[3] and nXi) and R and (not in[7])) or (not nXi) or in[4] or (not in[6]) or (in[2] or (not oe) or (not in[1])) or (not in[ 5]) or ((K and oe and K and in[4] and in[7] and MJa and in[3] and in[9]) and (not in[4]) and (in[4] and in[3] and in[10] and in[5] and in[6]) and in[0] and (in[8] or in[9] or in[9]) and (MJa and R and in[1] and in[6] and in[6] and in[8] and MJa))) and in[3] and (not in[6]) and (not oe));
N=((((nXi or K or in[9] or oe or MJa) or in[5] or (not in[8]) or R or (not in[2]) or R or in[9] or (oe or in[6] or _ or in[1])) or ((K and in[9] and nXi and in[3] and R and in[8] and _ and in[7]) or in[0] or in[0] or in[10] or (oe or _ or R  or in[8] or in[2] or oe or o) or (o and K and in[4] and in[3] and in[5]) or in[9] or (nXi and oe and K and in[0] and o) or (R or  in[5] or nXi or in[5] or MJa or R or in[0] or in[10] or oe)) or (not nXi)) and (MJa and ((oe or K or in[3] or in[0] or in[4]) and o and (in[8] or R or o) and (in [1] and R and in[2] and in[6] and oe) and in[9] and (K or in[10] or in[7] or in[1] or MJa or R or _ or in[4]) and oe and (not in[5]) and (nXi and oe)) and (not in[3]) and (not in[7]) and (not in[7]) and ((nXi or oe or in[2] or in[3] or R or in[4] or in[7] or in[1] or in[8]) or (in[9] or in[7] or in[6] or in[6] or o or in[3] or _ or in[0] or in[1] or in[5] or in[8] or MJa or in[3]) or (MJa and nXi and oe and in[1] and in[10] and _) or (in[2] and in[3] and in[3] and R) or (not in[1 ]) or (o or o or K or in[8] or nXi) or in [6] or  in[9] or (in[3] or in[1] or MJa or in[6] or in[7] or _))) and MJa and (((not MJa) or (o and R and in[6] and in[3] and MJa and nXi and in[2] and in[10]) or (R and MJa and nXi) or (in[1] or MJa or o or o or MJa or oe or in[4] or oe or in[10] or in[4] or _ or  in[10] or in[2]) or R or (in[2] and in[2]  and K and in[2] and in[9] and in[2] and in[8] and in[2] and in[5] and in[3] and in[10] and nXi and in[9] and in[10 ] ) or (K and R and in[0] and MJa and in[1] and nXi and nXi and in[4]) or (in[1] or in[3] or in[6]) or (not in[8]) or (_ and in[9] and in [8]) or in[1] or K or (in[3] or in[5] or in[5]  or in [2] or in[1])) or (in[7] or (in[10] and in[5] and in[8]) or (not _) or (_ and in[5]) or (in[4] and K and oe and in[10] and _ and in[3] and o) or in[8] or (oe and in[3] and MJa and _ and nXi) or (in[0] and nXi and K and in[10] and in[5] and in[5]) or (o or nXi or R or in[3] or in[0] or R or in[6] or in[1]) or (_ and in[7]) or (R and oe and in[4] and nXi and oe and  o and in[8] and in[6]) or oe or in[1]) or ((in[1] and in[ 10] and MJa and K and R) or (in[9] or in[4] or in[9] or in[2] or MJa or K) or (in[7] or o)) or ((_ and in[0] and in[5] and in[10] and in[10]) or MJa or _ or (in[8] and in[10] and in[5] and in[3] and K and in[9] and in[4] and K and in[1] and o ) or (not in[8]) or (not K)) or (not in[0]) or ((in[6] or oe or in[7] or K or MJa) or (in[6] or in[5] or in[2] or in[10] or in[2] or in[2] or in[5] or in[10] or oe) or in[4] or in[8] or oe or (oe or in[7] or K or in[4] or _ or in[5] or MJa or nXi))) and (not in[3]) and (in[10] and (_ and in[4] and (K and nXi) and (in[2] and in[6] and K) and in[2] and (_ and in[2] and in[3] and MJa and nXi and in[7] and in[2] and in[2] and in[8] and oe and MJa) and in[4] and o) and ((in[0] and in[8] and in[10] and nXi) or (in[8] or K or in[0] or in[3]) or (R and in[0])) and (in[1] or (not in[8]) or (oe and in[7] and MJa and in[9] and in[8] and in[3] and o and in[3]) or (not K) or (not in[3]) or (not in[10]) or (in[9] or in[10] or in[3]) or (in[0] or in[0] or in[ 6] or in[6] or oe) or (in[0] or in[2]) or ( in[9] and oe and K and R and in[9])) and ((MJa or in[3] or  o or MJa or in[5] or in[3] or nXi) or (not in[2]) or (not in[4]) or (not in[1]) or (K or K or MJa or R or in[0] or in[8]))) and (((in[8] and _ and in[3] and nXi and in[6] and in[7] and o and oe) and (in[0] or _ or in[5] or nXi or MJa or in[2] or in[1] or MJa or _ or oe or _ or K or nXi) and (not o) and (in[3] or K or in[5] or in[6] or in[1]) and (not MJa)) or ((MJa or R or o) or in[1] or (not in[10]) or (oe or K or in[8] or oe or in[7] or  in[6]) or in[10] or (not o) or (in[8] or nXi or in[1] or R or in[9] or MJa or o or in[10] or in[4] or in[1] or MJa or _ or in[0] or in[4]) or (oe or in[0] or _ or in[3] or K or o or in[3] or in[9] or oe or R or in[8]))) and (((not in [7]) or (not MJa) or o or (in[4] or K or in[4]) or (in[4] or K or o or MJa or in[1] or in[8] or in[10] or nXi or nXi or in[1]) or (in[7] or oe or in[3] or in[5] or in[3] or in[4] ) or (in[7] and in[1] and K and K) or (K or in[5] or R) or (in[6] or nXi or in[7]) or in[7] or (nXi and nXi and in[9] and o and in[3])) and ((in[4] or in[2] or in[0] or in[3] or _ or MJa or in[5] or in[6] or R or _ or in[9] or in[7]) and (K or nXi or in[9]) and nXi and (K or in[8] or R or MJa or in[3] or o or in[0]) and (not in[2]) and (in[9] and in[8] and _ )) and (not in[0]) and (not in[6]) and ((nXi and in[7] and in[0]) or (MJa or in[0] or in[4] or in[1] or oe or in[10]) or (_ and nXi and K and in[8] and _ and in[4] and in[4])) and ((MJa and in[2] and o and in[1] and MJa and MJa) or (in[4] and in[6] and nXi and _) or (not in[3]) or (in[4] or o or in[10])) and in[7] and (in[4] or (in[5] or in[2] or K or in[7] or in[1] or in[10]) or (in[1] or in[2] or in[8] or in[5] or R) or (in[0] and in[3]))) and ((in[5] or (in[4] and MJa and in[0] and in[8] and nXi ) or (not _ ) or (not in[1]) or in[3]) or ((in[7] or in[1] or nXi) or (nXi or in[3] or in[10] or _ or in[6] or MJa) or (not _) or (not MJa) or nXi or (in[8] and nXi and oe) or (in[9] and nXi and MJa and in[0] and o and in[4] and in[8] and MJa and in[6 ]) or (not in[8])) or ((in[3] and in[9] and in[1] and in[4]  and _ and oe) or (in[0] and in[5] and in[2] and o and o  and in[8] and in[7] and in[5] and in[2]) or (not in[0]) or in[7])) and (not in[0]) and (not in[3]) and in[1] and (not in[10]));
El=((((in[10] and in[0] and MJa) or in[9] or (not in[4]) or (in[2] and in[7] and in[10] and in[3] and oe and in[10] and _)) and (in[ 2] or (not K) or (in[3] and  nXi and in[9] and K and in[0] and N) or in[7] or (not in[5]) or (not in[2]) or (R and in[4] and K) or (in[7] or in[3] or o or in[4]) or (in[5] and in[0] and in[1]) or (not in[7]) or (in[6] and in[0]) or (N or in[8] or R or in[5] or in[8] or in[7] or in[0] or in[0] or K or nXi)) and ((not MJa) or (K or in[6] or _)) and oe and ((in[2]  and in[10] and N) or (not in[7]) or (not in[1]) or (not N) or (in[7] or in[4] or in[9] or in[8]) or MJa or (N or in[5] or o or  in[8] or nXi or in[3] or in[9] or oe or in[2] or in[10]) or nXi or (_ or in[10] or oe or in[5] or in[1] or in[2] or in[5] or in[9] or _) or (_ and in[4] and in[7] and _ and in[3] and nXi and K and N) or (not in[8]) or (in[9] or in[4] or nXi or in[5])) and N and in[10] and ((in [8] or o or in[2]) or K or (oe and MJa and o and MJa and MJa) or (in[10] and _ and in[2] and nXi) or (o and R and in[10] and nXi and in[9] and in[3] and in[8] and in[6] and in[1] and oe and in[10]) or (o or N or nXi or N) or N)) or in[5] or ((R and oe and (not in[9]) and (not in[3]) and o and (oe and in[2] and in[0] and N) and (N or o or R or in[7] or _ or in[10] or in[1] or oe or nXi or in[6] or o or in[5] or nXi)) and (in[1] and (not oe) and (in[4] or K or R or o or in[10] or in[1] or K) and (K and in[2] and N and o)) and (not in[3]) and ((K or o or in[7] or in[4] or in[3] or in[1 ] or in[1]  or in[2]) or (N or _ or MJa or in[9] or in[9]) or in[0]) and (not in[6]) and ((in[2] or in[9]) or (in[8] and in[8 ] and K) or (in[3] and in[0] and MJa) or (_ and in[2] and N) or _ or ( in[8] and in[0] and in[7] and o and in[4] and in[3] and in[9] and in[2] and in[5] and in[3] and K and N) or  in[3] or R or (in[9] or in[6] or K or K or in[10] or N or in[9]) or (not _) or (not in [8]))) or in[3] or in[0] or in[8] or ((in[3] and (not in[1 ]) and (not oe) and (in[9] and  N and in[8] and in[5] and in[2]) and in[10] and (not in[8]) and (nXi and in[1] and  in[9]) and (in[2] and oe and in[9]  and in[10] and in[6] and in[7] and N ) and (N or in[2] or in[6] or in[6]) and (in[10] and R and K and _ and in[8] and K and in[10] and _)) and ((not in[4]) and  in[9 ] and in[2] and (oe and in[ 5] and in[9]) and in[10 ] and (K or in[1] or MJa or in[2] or nXi or MJa or K or in[8] or R) and in[10] and (_ or in[10] or R or in[2] or in[10] or _ or o or in[1]) and in[3]) and ((not R) or (in[9] and nXi and in[4] and nXi and o) or (_ or _ or in[6] or MJa or in[10] or in[5] or in[8] or in[0] or N or nXi) or in[1] or in[10] or (R or o or in[8] or in[8]) or (_ and nXi and in[9] and in[4])) and (in[5] or nXi or (not nXi)) and ((_ and N) and in[1] and (in[6] or _ or in[2]) and (in[5] or in[8] or _) and (oe and MJa and in[9] and K)) and N and (not nXi) and (not in[0]) and (not in[10])) or N or _ or (not in[8]));
tb=in[2];
Vv=((((not in[6]) and (tb and El and in [1] and in[10] and El) and (in[6] and in[6] and in[0] and in[8] and in[0]) and (in[10] and in[1] and in[4])) or ((not N) or (not K) or in[6]) or (not in[0]) or ((_ and in[6] and in[9] and _ and N and in[2] and in[2]) and (tb or K or in[9] or K or in[5] or in[6] or _ or o or tb or El) and (El and tb and _ and oe and in[4] and MJa and in[0] and in[3]) and (not in[1]) and (o and nXi and in[4] and o and nXi) and (not in[1]) and (El and N and in[0] and in[3] and in[4])) or ((in[0] and _ and in[1] and o and in[2] and in [3] and nXi and nXi) or (o and o) or (not in[1]) or ( nXi or in[9] or oe or El or in[8] or in[0] or El) or (in[3] and in[10] and in[2])) or ((not in[6]) and (not in[9]) and (in[6] and o and K) and (not nXi) and in[6] and (in[0] and R) and MJa and (not El)) or ((oe or in[0] or o) and oe and (R and nXi and N) and (N and in[8] and in[10]) and in[10] and (in[7] or o)) or ((in[5] or in[10] or nXi or in[5]) and (o and in[5] and in [0] and _ and K and in[1]) and (not in[10]) and (not in[3]))) and in[2] and (not El));
out[9]=(not K);
IR=((((not oe) or (not in[4]) or (not in[4])) or ((in[5] and in[8] and MJa and in[7] and in[9] and in[7] and N and in[0] and in[10]) and in[10])) or in[2] or in[1] or (tb or ((El and tb) and (N or in[5]) and (in[6] and in[2] and oe and in[3]) and (not nXi) and (in[0] and _ and Vv) and (R or in[8]) and (in[8] or in[8] or tb or MJa)) or ((in[7] or in[5]) or (not MJa) or (Vv and oe and in[3] and N) or (in[1] and MJa and in[4] and in[8] and K and out[9] and Vv and in[2]) or (not o) or (in[1] or in[3] or in[6] or Vv) or in[2] or (not in[8]) or (not in[8]) or (K or in[3] or in[0] or o or in[0] or R or tb) or (not in[5]) or Vv) or in[2] or ((not Vv) or (Vv or _)) or (in[9] and o and (MJa or in[2] or R or in[8])) or (not in[10])) or in[3] or ((o and (in [6] or R or in[8]  or oe or N or oe) and (not nXi) and oe and oe and (in[10] and oe and in[0] and in[5] and MJa and o) and (_ or in[5] or _ or in[10] or in[4] or MJa or in[10]) and (R and in[5] and MJa and in[3] and in[5] and in[0])) and (not K) and K and Vv and (not El) and (not out[9])) or Vv or (((not K) and (tb or in[4] or MJa or in[8] or o or tb or in[4] or in[1] or out[9] or in[7] or in[3] or in[8] or in[4] or in[7] or in[6] or in[10] or K or in[6 ] or in[0] or out[9] or MJa or MJa or in[6]) and (in[8] or _ or in[1]) and (not in[8])) and ((not out[9]) and in[2]  and (_ or tb or _) and (not in[9])) and (not in[0]) and in[4] and ( in[10] or (in[1] and nXi and in[7] and  MJa) or o or (in[1] and El) or ( in[2] and R and in[10] and in[8] and K and K and Vv and in[10] and in[5]) or in[3] or K) and ((in[10] and El and in[4] and in[1] and in[6] and nXi and in[6]) and (nXi and in[8]  and K and R and in[7]  and out[9] and N and in[5] and K) and (not out[9]) and (_ and in[0] and Vv and in[6] and in[8] and in[1] and N and tb and R and in[6])) and (tb or (El or N or El or in[8] or El or in[2]) or (o and in[2]) or (in[6] or K or in[5] or in[9] or in[ 3]) or (oe and in[9] and in[10] and in[6]) or (R and _ and in[10] and nXi and in [10] and in[6] and tb and in[2]) or (in[0] and in[1] and in[8])) and (not in[9])));
IcIu=((((in[1] or in[2] or in[5] or in[7] or in[10] or in[7] or in[4]) and (not Vv) and (not in[0])  and Vv and (in[8] and oe and in[7]) and (not in[5]) and (El and in[6] and oe) and (not in[8]) and (IR and IR and Vv)  and (in[9]  and in[7])) or ((in[7] and oe and tb and _ and K and in[1]) or (in[10] or in[9]) or (not Vv) or MJa) or ((not in[6]) or (not in[8]) or (tb or oe or in[7] or in[3] or tb) or (in[8] or Vv or in[0] or N) or R or (not out [9]) or (in[1] or o or IR or in[7] or in[1] or in[2] or N) or (in[4] and in[7] and o and in[3] and _ and in[2] and in[5] and K and N and in[7] and nXi and in[3] and _ and MJa) or (not IR))) or (((oe and in [9] and oe) and (in[4] and oe and Vv and oe and El and El) and (o or in[6] or in[1]) and (in[5] or IR or in[2] or nXi or o ) and (N or in[0]) and (nXi and out[9] and _ and N and in[10] and in[6] and o and out[9] and K) and (not o) and (in[5] and in[5] and in[3] and in[8] and K and in[9] and _ and IR and in[7])) and (in[6] and (not N)) and ((in[7] or in[10] or N or K or K or in[9] or in[10] or in[8] or in[1] or in[3] or _ or in[0] or  in[8] or in[2] or in[1]) and (in[1] or Vv or MJa or tb or in[3]) and N and (nXi and IR and in[5] and El and oe and MJa) and (not in[3]) and (not o)) and ((not in[6 ]) and (in[5] and _ and nXi and Vv and in[7] and in[4] and N and El and MJa and K and tb) and (not K)) and in[6] and (not oe) and (out[9] or in[8] or _ or in[5] or (El and Vv and oe and in[ 0] and _ and in[0] and out[9] and in[7]) or (El or K or IR or in[8] or in[10] or in[10] ) or (not oe) or (in[9] and in[10] and in[3] and nXi and in[4] and out[9] and in[1] and in[2] and in[10]) or (not _))) or (((not in[5]) or (in[6] or N or tb or nXi or in[10] or El or  R or in[0] or Vv) or in[7]) and (not in[5]) and ((o or in[0] or R or in[9]) or Vv or ( in[10] and N and Vv and nXi) or (R and MJa and in[3] and o and _ and El))) or ((in[3] and IR and (in[3] and N and in[3] and in[7] and K and El and in[1] and in[9] and El and Vv and in[7] and in[5] and o and o)) and (not N) and in[8]) or (not in[6]) or (in[8] or in[0] or ((in[1] or MJa) or (in[4] and in[3] and K and R and in[1] and El and IR) or (not in[4]) or (not IR) or (not in[2]) or out[9] or (nXi or in[9] or IR or in[8] or K) or (not in[8]))) or (R and (not _) and (out[9] or (MJa or o or in[5]  or El or in[0] or in [10] or in[10]) or (K or in[9] or R or in[1]) or (in[4] or El or N) or (Vv or K or El or in[10]) or tb or (not _)) and (not K)));
g=in[5];
M=(in[6] and (K or ((in[7] and in[2] and in[6] and K) or in[1]) or ((not in[8 ]) or tb or  oe or (R or oe or in[5]) or (in[9] or N or Vv or in[2] or o or o) or (El or K) or (not in[0]) or (in[0] and in[4] and R and in[10] and in[7] and out[9])) or (not in[9]) or ((El and in[2] and MJa and El and IcIu) or R or (not in[7])) or (not tb)) and El);
eps=(not g);
