# 10 13 16
K=((not in[5]) or (not in[7]) or in[0] or in[3]);
muL=((not in[4]) or in[1]);
F=(not in[0]);
tL=(in[3 ] and (not in[9]) and in[0] and ((not in[3]) or (in[3] and (in[1] or in[7]) and (not in[3]) and in[3]) or (not in[4])) and (not F));
mx=((not in[7]) or (not muL) or in[1] or (not in[1]));
out[9]=(((not in[8]) and (not in[1]) and muL and ((mx and mx and in[9] and in[2] and in[1] and mx and tL and K) and (in[1] and in[2]) and (not in[9]) and (muL  and in[6] and in[2])) and (not F)) or (((K and in[3] and in[3] and muL) or (not tL) or (in[9] or muL or F or muL or in[5] or in[8] or F or in[5]) or in[6] or in[4] or F or (in[5] and in[7] and in[4] and in[7] and in[5] and in[7])) and (not mx) and ((in[3] or mx or in[6] or mx or muL or in[4] or in[8] or in[ 2] or muL or muL or in[0] or tL or K) and (not in[6]) and (in[9] or in[3] or in[1] or K or in[3] or in[8]) and in[3] and (not in[6]) and (not in[2])) and (not in[1]) and ((not in[2]) or  (tL or F or in[9] or in[3] or in[9] or in[8]) or in[8] or (in[8] or in[7] or in[0] or in[9] or K) or mx)) or in[2] or (((not in[4]) and  (in[0] or muL or in[3] or muL or in[5] or in[7] or in[3] or in[8] or in[7] or in[9] or in[9]) and (not in[0]) and (F and in[1] and in[1] and F and in[6] and in[5] and in[9] and tL)) and ((F and in[3] and mx and in[5] and muL and tL and in[2] and in[3] and in[5] and in[3]) or (not tL) or (tL or in[1] or in[5]) or (not F) or in[7]) and (not in[0]) and mx and ((not in[5]) and in[0] and (F or in[6] or in[0] or in[2] or in[5] or in[2] or in[0]) and K and (in[5] or  in[5] or in[0] or K) and (not in[3]) and in[7]) and muL) or ((in[6] or (not muL) or (not in[5]) or (in[1] and tL and F and in[1]) or (not in[1]) or in[5] or (not in[5])) or ((not in[8]) and in[0] and (not in[0]) and (in[0] or in[2] or in[4] or muL)) or ((in[1] and in[5] and in[6] and muL and in[3] and in[7] and in[0] and in[9] and in[3] and in[1]) or (not tL) or in[8] or in[0] or in[0] or in[6]) or (in[5] or tL or (in[8] or in[5] or in[4] or in[2] or in[7]) or (in[5] or in[2] or F or in[9] or in[4]  or in[3]) or (not muL) or (in[3] and F and in[0] and in[7])) or ((not in[2]) and in[5] and (F or in[9] or K or in[9]) and (in[8] or muL or F or K) and (muL and in[4] and in[9] and  in[9] and in[8] and in[9] and in[1]) and (mx or in[2] or F or in[8] or in[3] or F or tL or in[3] or in[6] or F) and K and  muL)) or (not in[1]) or (((not in[ 0]) and in[8] and in[3] and (in[1] or K or in[1] or in[5] or in[1] or F or in[5] or in[8]) and in[4] and in[9]) and ((not F) and (K or in[7] or in[5] or in[9]) and (in[5] or mx)) and in[6] and in[6] and (not in[1]) and ((mx and muL and in[6] and K and in[9] and F and tL and K and in[2]) and in[0] and muL) and in[0] and ((in[6] or in[8] or in[2] or in[7] or F or in[8] or in[6] or in[8] or in[0] or F) or (in[4] and tL and F) or (in[3] or in[9] or F or mx or in[2] or F or muL or muL) or (not in[6]) or (muL or muL or muL) or (in[7] or muL or in[7] or in[4] or in[4] or mx))));
out[7]=((not in[6]) and (((in[5] and in[7] and out[9]) and (tL and K and K and in[1] and out[9] and in[3] and in[2]) and (in[8] or in[6] or in[8] or in[2] or tL or in[5] or in[3])) or in[7] or ((muL or K or in[1] or in[3] or in[9] or in[1] or in[1] or in[3]) or in[2] or (tL or in[4] or muL or in[6]) or in [6] or (in[3] or in[0] or in[8] or F) or (not in[1])) or out[9] or F or F or ((in[3] and in[5] and K and out[9] and in[0 ] and tL and out[9] and in[3]) or in[3] or (in[3] and mx and in[4] and out[9] and out[9] and tL and in [8] and mx and in[0]) or (out[9]  and in[7] and in[1] and in[2] and F and F and in[9]) or (mx and in[4] and out[9]))) and (in[7] and in[9] and in[0] and ((not in[0]) and (in[4] or tL or in[8] or in[3]) and (in[2] or out[9] or in[2] or in[5]) and (not K) and (in[0] or mx or in[9])) and ((in[5] and in[8] and in[2] and tL and in[0] and in[5]) or (in[7] or F or in[0]) or in[8] or (K and in[5] and F and F)) and ((not K) or (not in[7]) or (in[7] and F and out[9] and in [3] and in[9])) and (in[5] or ( in[1] and K and in[6]) or (in[8] or in[9] or in[6]) or (F and tL and in[4] and F and in[6] and in[6]) or (not in[2]) or (mx and in[9] and in[4] and mx and in[2] and in[7] and in[6]) or (in[6] and F and in[5] and muL and mx) or out[9] or (tL and K)) and ((in[1] and K and in[8] and in[1] and tL and in[6] and mx and in[0]) or (in[7] and  in[3] and in[8] and in[9] and in[6] and in[3]  and in[9]) or in[8] or (in[9] and F and tL and in[1] and in[7] and in[3] and in[7] and in[7] and in[5] and mx and out[9] and out[9]) or (muL or in[6] or in[5] or tL or in[9])) and (in[1] and (out[9] or tL or in[2] or in[5] or muL or muL or in[3] or out[9] or in[8] or in[4]) and in[1] and (not in[8])) and ((in[5] or K or in[7] or muL or in[3 ] or in[5] or mx) or (in[6] or muL or in[1] or in[5] or in[1] or in[1] or in[ 9] or in[8] or F or out[9])  or (mx or in[6] or in[6] or in[7] or in[2] or in[0]) or in[9] or (not in[5]) or (not F) or (in[9] or out[9] or K or in[5] or in[9] or F)) and ((not tL) and (in[7] or in[6] or tL or in[1] or K) and (in[3] and in[3]) and (out[9 ] or K or in[3] or tL or in[8]) and (not in[7]) and F) and ((K or in[6] or in[8] or in[9] or in[8] or in[6] or in[3] or K or in[4] or in[2] or in[8] or muL or in[9] or in[8] or in[4] or in[4]) and (not F) and (in[7] and in[5] and in[8]) and (F and in[7] and in[1] and in[2] and in[1]) and (not muL) and (in[6] or F or out[9] or in[3] or in[0] or F) and in[6] and (not in[7]) and K) and ((out[9] or in[0] or in[8] or tL or in[1] or  F) and (not in[2]) and (not in[8])) and in[5] and in[2]) and (not in[7]) and (not tL) and (((in[3] or in[5] or in[5] or in[6] or K or in[2] or in[9]) or out[9] or F or (in[5] or K or tL or in[4] or in[9] or in[1] or in[7] or F or mx) or (in[6] and in[0] and in[1]) or in[1]) or K or (not in[5]) or ((in[1] and out[9] and in[7] and in[2] and out[9] and in[7] and tL and in[2] and in[9] and in[0]) and in[1] and in[3] and (not in[6]) and (F or in[0] or  in[1] or in[8] or in[7] or in[5]) and (not in[2]) and (not in[4]) and (not in[3]) and (F and tL and in[9] and in[7] and mx and  in[2] and in[2] and in[7] and muL and out[9] and in[0] and in[2]) and in[5] and tL) or ((in[8 ] and in[8] and out[9] and F and in[1] and in[8]) or (in[7] or muL or in[6] or out[9] or in[7] or F or out[9] or in[9] or out[9]) or in[0] or in[7] or (in[4] and muL and in[3] and muL) or (in[0] and tL)) or ((not in[0]) and (not in[5]) and (not in[1])) or ((in[7] or in[1] or muL ) and in[3] and (out[9] and in[8])) or ((not muL) and (not in[6]) and (in[8] and in[7] and in[6] and in[2] and in[7]) and (not tL) and in[6] and (not in[2]) and (muL and muL and mx and muL and in[2])) or ((in[8] and out[9] and in[3] and muL and out[9] and in[3] and in[3]) or in[1] or (not in[2])) or ((not in[0]) or in[5] or (K and in[1]) or (tL and in[8])  or in[0] or (in[0] and in[6] and F and out[9] and in[3] and in[9]) or in[9] or K) or (not in[3])) and (not mx) and (out[9] or ((in[8] and in[9] and F and in[1] and in[0] and in[9]) or (not F) or (tL or F or tL) or (not in[3]) or (tL and tL and muL and tL and in[2] and in[9]) or (not in[0]) or (not F) or out[9])) and (in[8] and tL and (not F) and K and ((in[7] or in[7] or mx or in[1]) and (not in[7]) and  (in[0] and out[9] and in[7] and muL and in[3]) and (F or in[8] or in[8]) and (F or in[1] or out[9] or out[9] or in[9]) and (not in[3]) and (mx and in[2] and muL and in[2]))) and in[2] and (in[2] and out[9] and ((not mx) or (in[1] and in[6] and  in[4]) or in[6] or (in[8 ] or in[5] or in[3] or in[1] or K or in[3] or in[3 ] or out[9] or out[9]) or (not K) or (not in[0]))) and K and (not in[9]));
n=((in[7] or (not out[9]) or (not in[1]) or ((not in[6]) and (in[1] or out[9] or muL or in[9]) and (out [7] and in[3]) and (in[7] or in [ 3]) and (not in[7])) or ((not in[2]) or (in[5] and out[7] and in[7]) or in[1] or in[0] or (out[9] or K or in[5] or K or in[9] or mx or muL or in[2] or in[2]) or out[7] or (out[7] and in[0] and tL and in[7 ])) or ((not in[8]) or (F and out[7] and F and in[2]  and tL and in[0]) or (not in[0]) or (in[8] and in[4] and in[4]  and tL and in[6] and muL and F and in[8] and in[7]) or (in[3] and out[7] and in [7] and mx))) or ((in[8] and (not in[0]) and in[5] and ( out[7] and in[2] and in[5] and in[1] and in[5]) and (not in[3]) and (not in[0])) or ((not muL) or in[3] or (in[9] and in[7]) or (not F) or (out[7] and muL and mx and in[8]) or (in[5] or in[8] or in[1]) or muL or (in[7] or in[6] or in[1] or out[9]) or (in[1] or out[7] or in[3] or F or in[5] or out[7] or in[9] or in[4] or in[4] or in[0] or in[9]) or (K and in[8] and mx and in[1] and F and out[7] and in[7] and in[2] and in[3] and out[9] and in[1] and K) or (in[9] or mx or out[9] or in[5] or F) or tL or (in[2] and in[9] and in[5])) or (F and (tL and in[1] and F and muL) and (F or tL or K or K or in[4] or in[4] or in[2] or out[7] or in[3] or in[0] or in[6]) and (in[4] and in[9] and in[4] and in[6]) and (tL or out[9] or in[8] or in[2] or in[0] or mx or tL))) or (((not muL) or (in[5] or F or in[8] or tL or in[1]) or (F and muL) or (in[8] or out[7]  or mx or in[1] or F or in[3] or in[9] or in[0] or F) or (in[7] and  F and tL and tL and mx and in[3] and muL and in[2] and in[6])) or ((in[9] or tL or in[8] or in[6] or F) and (not in[1]) and in[3] and (not F) and (F and muL) and (tL and in[3] and tL and in[8] and K and F)) or ((out[7] or in [6] or out[9] or out[7]) or (muL or tL or K or muL) or (not in[5]) or (K and tL and K and in[2] and in[3] and in[1] and out[9] and in[2] and in[6] and in[0] and in[4] and in[5] and tL) or (out [7] and in[5] and in[3]) or (in[0] and out[7] and K and in[2] and K and F and in[9] and in[4] and in[6]) or (in[1] and in[3] and in[3] and in[2]) or (not muL) or (not tL)) or ((mx or tL or in[9] or in[9]) or (F or in[0] or in[5] or muL or F or in[6]) or (mx and in[6] and out [9] and in[9] and in[5] and tL) or (in[7] or in[0] or tL or in[2] or in[1] or in[8]) or (F or K or in[7] or in[2]) or in[6] or mx) or ((in[6] or in[5] or muL or  mx or tL or F or mx or in[7] or in[7] or in[1]) and out[7] and (in[3] or K or in[7] or in[5] or tL or tL or K or K) and in[2] and (not K) and (in[8] or in[3] or out[9] or K or tL or in[6])  and (in[5] or in[6] or out[9]) and (in[7] or in[4] or in[0] or muL) and (not mx)) or (K or in[8] or in[9] or (in[4] or F or out[9] or in[1] or F or in [2] or K) or (out[9] or in[8] or in[7] or tL or in[8] or K or K or mx or F or in[0]) or (not in[3]))) or (not out[9]) or mx);
Tc=(((not in[8]) and ((in[2] or out[9] or in[0] or in[1]) and (not F) and in[6] and (in[8] and F and tL) and (n and K and in[7])) and (in[7 ] or (not out[7]) or (in[5] or out[7] or in[1] or in[7] or in[1] or in[5] or in[7] or in[5] or out[9]) or (tL or in[9] or tL or in[8] or in[5] or in[1] or in[9] or in[7] or in[7])) and (not F) and (not mx) and (tL and (out[9] or in[ 2] or mx or in[4] or in[0] or in[7] or mx) and (in[5] or in[5] or tL or in[7] or in[1] or in[1] or in[4] or F or in[8]) and tL) and ((not in[1]) and muL and (in[1] and out[9] and tL and in[3]) and K and in[9] and (in[9] and in[4] and out[9] and in[4]) and (in[2] and n and out[7] and out[7] and in[2]) and (in[0] and F and in[2] and in[4] and in[5] and  tL and  in[2] and in[1] and in[6] and out[7]) and (not in[4]) and (muL and in[8] and n and out[7] and in[3]) and (in[3] and in[8]) and (tL or out[7] or in[4] or out[7] or in[0] or in[2])) and out[9] and (not tL) and (in[8] and (F and in[4] and n and in[0]) and (in[2] and in[6] and in[4] and out[9] and in[3] and out[7] and in[4] and in[0] and in[9] and out[7] and in[2])) and F and ((in[9] or out[7]) or in[8] or K or (not in[7]) or (in[7] and in[2] and in[9] and in[7] and in[5] and in[6] and in[6] and K and  in[6] and in[7] and in[4] and in[4]) or (not in[0])) and ((mx or in[4] or in[7] or in[8] or F or F or in[1] or in[4] or mx or in[2] or out[9] or out[9]) and (out[9] and in[7] and K and in[6])) and ((in[2] or tL) and in[7] and (in[1] and in[8]) and out[9] and mx and (not mx) and tL and (muL or F or in [5] or in[1] or in[7] or out[7] or n or n or in[ 3] or in[7]) and tL)) or (in[4] or (in[9] and (in[3] and out[9] and K and in[0] and K and muL and K and mx and in[8] and muL and out[9] and in[1]) and (not in[5]) and (not F) and (in[5] and F and K and in[2])) or (not in[5]) or muL) or in[3]);
gV=(in[9] or (not F) or (not F) or n or ((n or (in[5] and out[9] and in[7]) or mx or in[9] or (in[9] and K and in[7] and F and tL) or (in [8] and K and in[ 2]) or (in[2] or muL or in[0] or F or K or in[3] or in[8] or Tc) or (in[2] and n and in[7]) or (in[9] and in[2] and in[9] and in[3] and mx and in[7] and in[4] and in[0] and in[3] and in[9 ] and in[5] and out[9] and in[6]) or (not in[1]) or (mx and muL and K and mx and out[9] and in[4] and Tc and out[7] and mx and  in[7] and mx and F)) or ((not muL) or in[0]) or in[4] or in[5]) or (not mx) or in[3] or (not  out[9]) or (((not Tc) and (not mx) and (in[7] and in[2] and in[2] and mx and in[0] and in[3] and in[7] and in[0]) and out[9]) or ((in[0] and out[7] and K) and (in[9] and in[5] and out[9] and in[7] and in[9] and muL and in[3] and in[8] and in[0]) and (not in[2]))) or (((mx and in[7 ] and K and in[8] and in[5]) and (F and Tc and Tc) and (not in[5]) and (not muL) and (mx or in[5] or K) and (tL or mx or in[4]) and (not in[9]) and in[8]) or ((in[5] or in[1] or in[1] or in[3] or F or in[8]) or in[1] or in[3] or (in[0] and in[8] and muL and in[2] and in[0]) or (in[6] and in[3]) or (not out[9]) or (K and out[7] and in[4] and F and in[5]) or (not in[4]) or (in[1] and in[0] and in[ 0] and in[7]) or in[8] or (in[4] or n or n)) or ((not tL) or (in[1] and in[5]) or (in[3] and out[9] and tL and out[7] and in[6] and in[7] and in[5] and in[8] and in[7]) or (not in[6])) or ((not in[4]) and (n or tL or mx or in[8] or in[4] or K or in[8]) and mx and n and (Tc and out[9] and muL and  K and mx and Tc and in[1] and in[5] and in[5] and mx) and (tL and in[0] and n and in[2] and out[9]) and (in[3] or muL or F or mx or K or in[6] or in[6]) and (in[7] or out[7])) or tL) or muL or ((not in[1]) and (( n and in[8] and out[9] and out[7] and in[0 ] and in[2] and out[9]) and (Tc and Tc and tL and in[4]) and (mx or in[8] or in[5] or in[9] or Tc or F or in[2] or in[6] or tL or tL or in[0])) and (not out[7]) and (not muL) and ((out[9] and n and out[9] and in[7] and in[9] and Tc and out[9] and in[6]) or (not tL) or in[9] or (F or out[9] or n or muL or in[5] or in[9] or in[5])) and (not in[3]) and K and (not in[9]) and ((in[0] or muL or K or K) or in[8] or (not in[9]) or (not mx)) and ((in[4] and in[8]) and (in[0] or muL) and F and (not Tc) and (in[7] and muL and K and in[8] and mx and tL and K) and (mx and in[5] and in[7] and out[7] and F) and in[0]) and ((in[2] or in[0] or mx or in[6] or out[7] or out[9] or in[0] or in[8] or n) or  (in[5] and in[6] and in[4] and in[6] and n) or (F or mx or in[0] or in[9]) or (not in[3]) or (out[7] or in[3]) or (not muL) or (in[6] or muL or tL or muL) or K or in[3])));
IO=(not K);
d=out[7];
N=d;
ST=(not muL);
D=((ST and ((n or in[4] or K or tL or d or out[9] or out[9] or in[7] or n or  mx) and (ST and muL and K and gV and in[1]) and (muL or IO or F or K or in[0])) and d and (in[5] and (in[9] or in[4] or F or mx or in[2] or ST or out[7]) and (in[5] or ST or in[9]) and (ST or in[4] or n or in[6] or gV or out[9] or gV or in[6] or in[4]) and (not in[0]) and (in[3] or muL or in[1] or in[5])) and ((in[9] and d and muL and in[2] and gV and in[0]) or (in[6] or in[4] or in[3] or d or  out[9] or tL or d or n or in[8] or in[5] or in[6])) and in[7]) or (((not out[9]) and (ST and out[9] and out[7] and in[0] and in[3] and N and in[0]) and (in[2] and in[4] and in[3])) and (not out[7])) or in[4]); 
BMP=((((mx and in[9] and ST and in[4] and in[6] and in[8]  and n) or (in[5] or in[6] or F or K or Tc or muL or out[9])) or ((N or IO or  n) or (in[8] or F or in[5] or muL) or (not K) or (not IO) or (not F)) or (not  out[7]) or ((out[7] and gV and d and gV and in[8] and n and in[9] and out[7]) and (out[9] and tL and mx) and (N and Tc and out[7] and n and in[7] and d and in[9] and Tc and in[4] and in[3]) and (in[4] or in[3] or in[4] or n or ST or IO) and (not in[8]) and (in[7] and in[3] and in[1] and in[3]) and (in[2] and D and N and in[4] and n and in[3]) and in[3] and (gV and ST and tL and IO)) or in[9] or (not muL) or ((in[3] or tL or in [3] or in[3] or K or out[7]) and (muL or d or D or N) and in[0]) or mx or D or (not IO)) and (mx and ((out[7] or IO or gV or in[7]) and in[9] and in[2]) and (not tL) and (in[8] and (d and Tc and in[5] and in [1] and mx and out[7] and muL and D and in[6]) and (N and gV and in[9] and d and gV and in[0]))));
