# 12 1 33
psMB=((not in[0]) or ((in[9] and (in[9] or in[10] or in[6]) and in[6]) and ((in[9] and in[8]) or (in [1] or in[9] or in[5] or in[8]) or (in[10] or in[9] or in[1] or in[11] or in[1] or in[1] or in[5] or in[1] or in[3] or in[9]) or (in [9] and in[4] and in[ 9] and in[11] and in[0] and in[7] and in[9]) or in[4] or (not in[1])) and (not in[8])) or (not in[11]) or in[2]);
R0=((((in[10] and in[11] and in[6]) or in[7] or (psMB or in[11] or in[ 11] or in[11] or in[5]) or in[8]) and ((in[0] and in[6] and in[5]) and (not in[11]) and (in[8] and in[10] and in[1] and in[3] and psMB and in[0]) and (in[5] or in[0] or in[11]) and (not psMB) and (not in[11]) and (in[7] or in[9] or in[7] or in[0] or in[3] or in[11] or in[1] or psMB) and in[8] and (not in[7]) and in[5] and (not in[5]) and (in[6] and in[0] and in[9] and in[4]) and (in[4] or in[3] or in[9] or in[3] or in[7] or in[5] or in[6]) and (in[5] and in[10] and in[3])) and  in[3] and (in[8] and (not in[0])) and ((not in[7]) or in[4] or (in[10] or in[11]) or (in[3] and in[2])) and (not in[10])) or in[7] or ((not in[4]) or (not in[10]) or (not in[2]) or ((in[6] or in[10] or in[10] or in[5] or in[5]) or (not in[6]) or (in[6] or in[0] or psMB or in[10] or in[2] or in[6] or in[2] or in[0] or in[3]) or (in[6] or in[2] or in[7] or in[3] or in[10] or in[3] or in[6] or in[11] or in[9] or in[3] or in[3]) or (in[6] and in[10] and in[6] and in[4] and in[7] and in[3] and in[ 11]) or (not in[9]) or (in[7] and in[10] and in[2] and in[1] and in[5]) or (psMB or in[6] or in[8])) or in[5] or (in[6] or in[11] or (psMB and in[2] and in[5] and in[4] and in[9] and in[2] and in[1] and in[6])) or ((in[10] or in[10] or in[9])  or in[10] or (not in[9]) or (in[8] and in[7] and in[0] and in[2] and in[1] and in[4]) or (not in[9]) or in[0] or (not in[2]) or (in[1] and in[11] and in[2] and in[2] and in[6] and in[5]  and in[2]) or in[7]) or ((in[6] or in [10] or in[1]) or (not in[2]) or (not in[5]))));
h=(not in[0]);
F=(in[9] and (not in[8]) and in[10] and (not in[0]) and in[11] and (not R0) and (((in[9] and in[6] and in[8] and in[5] and in[3] and h and in[11]) and in[7] and psMB and (not psMB)) or (not in[1]) or ((not  R0) and in[1] and (in[4] and in[8] and in[11] and in[9] and R0 and in[8] and in[2] and h and in[9] and  in[4]) and (in[9] or in[10] or in[4]) and (in[5] and R0 and in[0]) and in[6] and (in[2] or in[3] or in[8] or in[0] or in[9] or R0 or in[5] or in[8] or in[5]) and in[ 11] and (in[3] or in[11] or in[0] or in[4] or in[0] or  in[10] or in[1] or in[7 ] or in[10]) and (in[8] or psMB or in[7] or in[6] or R0 or in[4] or in[7] or R0) and (not in[8]) and in[0] and in[8] and (in[8] and in[2] and psMB and in[1] and in[3] and psMB) and (in[8] and in[8] and in[7] and in[2]) and (h and in[10] and in[11] and in[4] and in[7 ] and in[8] and in[6] and R0 and in[8] and psMB and psMB))) and (in[7] or (not h) or (not in[8]) or h or ((in[8] or psMB or in[3] or in[9]) and in[5] and (in[9] or in[10] or h) and (in[7] or in[8] or in[7] or in[10]) and in[11] and (not in[11]) and (in[7] and psMB and in[3] and in[1] and in[2] and in[6] and psMB and in[11] and in[10] and psMB and psMB and R0) and (in[4] or in[2] or in[1] or in[3] or in[7]) and (not in[5]))) and ((not in[0]) or (not in[0]) or in[2]) and (not in[5]));
Z=(not in[3]);
out[0]=(not in[1]);
J=((not in[3]) and (((not in[4] ) or (F or h or in[8] or in[0] or in[10] or in[0] or in[3] or in[4] or in[1] or in[4] or in[11] or in[4] or in[9]) or out[0] or (F or in[11] or in[6] or in[0] or psMB or R0 or in[0] or in[8] or in[0] or in[9]  or R0 or in[8] or in[4] or in[9]) or R0 or (not in[0]) or (h and in[3] and psMB and in[ 8] and in[9] and in[1] and in[4] and in[7]) or in[7] or (in[9]  or out[0] or psMB or in[4] or R0) or (in[10] or in[4]) or (in[10] and Z and h and Z and in[7] and out[0] and psMB) or (F and in[6] and in[1] and in[0] and psMB and in[6] and in[8] and F and in[2]) or (F and in[9] and psMB and psMB and in[11] and in[7] and in[5] and in[3])) or in[2] or (R0 or (in[10] or in[9] or out[0]) or (not in[5]) or (not F) or (Z and in[3] and in[5] and out[0] and in[10] and in[5] and out[0] and in[4] and F) or (in[1] or h or in[5] or in[10] or in[6] or psMB or psMB or h)) or (not h) or (not F)) and (psMB or ((in[3] and in[7] and  in[2] and in[11] and R0) or (not in[6]) or R0 or in[7] or (psMB or in[9] or in[8] or in[7]) or (R0 or in[0]) or in[3] or (in[8] and in[2] and in[8]) or (psMB or in[9]) or (in[11]  and in[1] and h and Z) or (in[5] and in[5] and in[7] and h and in[4] and in[3] and Z and in[5])) or (not in[10]) or ((not Z) and F and (not in[11])) or (not psMB)) and in[0] and (not in[0]) and ((not in[7]) or (in[11] and (in[7] or h or in[8] or Z or in[8] or in[2] or psMB or in[10] or in[5]) and (not in[2] )) or h or in[9]) and in[4] and Z and (not R0) and (in[3] and (not out[0]) and (in[10] and (F or in[11] or in[4]) and (in[1] and in[10]) and (in[8] or in[6] or in[10] or in[3] or R0 or in[11] or psMB) and (F or in[5] or in[4] or in[7] or in[8])) and ((in[11] or in[10] or in[0] or in [9]) and (in[3] or in[2] or in[1] or in[8]  or Z or in[10] or h or in[1] or Z or F or h or in[11]) and (not out[0]) and out[0] and (not h) and in[7] and R0 and in[1] and (in[2] and in[11] and R0 and in[7] and psMB and in[10]  and in[11]) and (in[10] and in[1] and in[11]) and (not in[4]))) and in[0]  and ((in[0] and in[1] and (not in[9])) or (in[6] and (in[4] or in[11] or out[0] or in[11] or in[6]) and (not in[9])) or ((in[0] or in[8] or in[5] or in[6] or in[5] or in[3] or in[1] or out[0] or in[10]) and (in[9] or out[0] or in[3]  or in[1] or in[1] or in[6]) and (in[4] and in[7] and F and in[6] and in [0] and F and Z and R0 and in[6] and R0) and (in[9] or in[11] or out[0] or R0 or in[1] or in[7] or out[0] or h or in[5]) and (h or in[8] or F or R0) and (psMB and Z and in[2]) and (in[7] and R0 and F and in[9] and F and in[5] and psMB and in[6] and in[4] and in[3] and in[3] and in[9]) and (not R0) and in[0] and in[1] and h)));
N8=(in[11] or (in[10] or ((in[4] and h and in[11] and Z and in[0] and in[2] and psMB) and (J or in[4] or in[10] or in[9] or in[2] or in[7] or in[5] or in[2]  or in[7]) and (R0 or h or in[6] or R0 or in[7] or in[1] or in[6] or in[9] or in[9]) and (not in[4]) and (not in[6 ]) and (in[9] and in[8] and out[0]) and R0 and (R0 or in[8] ) and (in[4] and Z and in[0] and in[7] and in[0] and psMB) and (not in[6]) and (in[2] and in[11] and in[5] and F and in[5] and psMB and in[6] and in[2] and in[5] and in[9] and J and in[9] and psMB and Z and in [7])) or out[0] or ((R0 and in[3] and h and out[0] and h) or (not in[11]) or (in[3] and h and in[11])) or psMB or in[3] or (not in[3]) or in[0] or ((not h) and (in[9] and J and in[9] and J and R0 and in[0]) and (not in[9]) and (in[2] and in[7] and in[2]  and out[0 ] and in[5] and in[10]) and (in[6] and h and in[3] and in[8] and in[0] and out[0] and psMB and in[10] and in[0] and in[7]))) or in[5]);
vdn=in[11];
Yg=(((( N8 and R0 and in[3] and in[4] and in[5]) and in[1] and (R0 and in[6] and in[5] and in[9] and Z and in[11]) and (F or R0 or N8 or in[5] or Z or J or in[4] or in[6]) and in[0] and Z and (not psMB) and (not vdn) and (N8 and in[0] and R0 and in[2] and in[1])) or in[2] or (out[0] and (in[8] and R0 and in[7] and in[3] and in[0]) and (in[6] and in[8] and in[0]) and (in[2] and in[0] and in[6] and in[4] and psMB) and (F and in[2] and in[11] and in[9] and out[0] and Z and Z and in[6] and in[2] and psMB and out[0] and h and h and R0 and in[8]) and (R0 or N8 or  in[10]) and (h and psMB and in[5] and in[ 0])) or Z or (not Z)) or (not in[11]) or ((in[2] or in[7] or in[ 0] or (in[2] and in[2] and in[8] and J and in[3] and out[0] and in[6] and in[1] and in[10]) or vdn or (Z and psMB and in[10] and in[8] and out[0] and in[5] and in[1] and in [4] and in[9 ] and in[8]) or (psMB or in[6] or out[0] or in[10] or in[9] or in[6] or in[1] or R0) or (vdn and in[9] and in[0] and Z) or (not in[7])) or ((out[0] or in [11] or psMB or psMB or R0) and R0 and (N8 or vdn or F or out[0]) and (not in[8]) and (in[3] and psMB and in[4] and F and out[0] and N8 and Z and vdn and J and in[8])) or in[8] or vdn or h or in[1] or in[5] or in[0] or ((in[6] and R0 and J and Z and in[7] and in[9] and in[3]) and in[10] and (not out[0]))) or in[9] or (not in[5]) or (((not in[7]) or (N8 and in[10] and out[0]) or (not N8) or (F and in[9] and in[8] and in[6])) or (in[7] or in[10]) or ((out[0] and in[8] and in[1] and in[2] and in[9] and in[9] and in[6]) and (in[3] and psMB and h) and (J or R0 or in[2] or psMB) and in[9]) or ((psMB and in[9] and in[3] and in[0] and vdn and in[4 ]) or (in[2] or in[7] or h or out[0] or N8 or J or in[9] or J or in[3]) or (h or Z or in[5] or in[9])) or  (N8 and in[7] and (h or in[7] or in[0] or in[2]) and (in[0] or h or in[3] or J or in[3] or F) and (not psMB) and (J or R0 or in[0] or  Z) and (N8 or in[0] or h or in[6] or h or h or in [9] or in[7]) and (in[7] and in[6] and psMB and h) and (in[0] or in[1] or psMB or in[4] or psMB) and (in [9] or N8 or in[7] or in[7] or psMB)) or ((not Z) or (in[5] and in[0] and psMB and  N8 and out[0] and in[6] and Z and in[7] and Z and h) or (R0 and J and Z and in[11]) or (h or in[2] or in[10] or in[4] or in[9] or in[0]) or (not in[3]) or in[6]) or (not in[2]) or (not  out[0])) or (((not in[4]) or (not in[0]) or (in[2] or in[2] or vdn or R0 or N8 or in[6] or in[6] or in[5] or in[5] or vdn) or (vdn or in[0] or in[1] or in[2] or in[1] or in[2] or in[0] or in[4] or in[2] or vdn or in[2] or in[8] or in[4])) and (( in[7] and out[0] and in[8] and in[0] and in[7] and J) and (in[11] and in[9]) and (in[7] or in[0] or out[0] or in[1] or J or in[5]) and (not in [6]) and out[0] and in[6] and in[7] and (in[10] and in[8] and in[0] and in[4] and F and in[10])) and Z and in[6] and ((in[1] and F and in[0] and in[1] and in[7]) and (F and N8)) and (h and (in[8] or in[3] or in[2] or J) and (in[5] and psMB and out[0]) and J and (in[11] or in[5] or N8 or in[4] or out[0] or in[1] or vdn) and (J and in[1] and in[11] and in[0] and in[3] and psMB and in[3]) and (h or in[2] or vdn or in[4] or in[10] or R0 or in[8] or in[3] or Z or in[0] or  h or N8) and in[7] and in[4])) or J or (((in[11] and in[9] and N8 and in[9] and in[2] and in[0] and in[5] and in[10]) and in[6] and (in[11] or Z or F or in[2]) and in[2] and (not in[4]) and (psMB or N8 or in[4] or in[9] or h or in[5] or in[6] or in[2] or in[1] or in[4] or in[7]) and (in[7] and in[10] and psMB and in[0] and in[3] and in[3] and in[9] and psMB)) or ((in[10] and psMB and in[10] and in[6] and in[7] and in[9] and in[0] and in[3] and in[2] and in[5]) or (Z or h or h or in[6] or in[3] or F or in[9]) or (not in[10]) or (in[10] or J or vdn or Z or N8 or in[8] or in[5] or in[1]) or in[4] or (in[ 2] and in[4] and in[11] and  in[3] and in[7]) or (h or in[6 ] or in[0]) or (in[4] or in[0] or psMB or in[11] or in[1] or in[1]) or in[8] or (not N8) or in[11] or in[9] or R0 or (in[7] or in[4] or Z) or (not in[9])) or R0 or (not R0) or ((in[11] and in[8] and Z and N8  and in[2]) and (in[5] or in[3] or h or J or in[1] or in[2] or R0 or in[9] or Z or in[2] or in[10]) and (not in[1]) and (in[2] or F) and (in[2] and in[7])) or ((in[11] or in[7] or in[7] or h or in[4] or in[10]) or (Z or Z or Z or in[11] or vdn or in[0] or in[10] or N8 or in[10] or in[6 ]) or (not h) or (in[10] or R0 or in[7])) or (not N8) or in[9]) or  in[7] or (((in[10] and in[3] and h and in[7] and in[9]  and h and in[7] and in[8]) and (not in[8]) and in[8]) and (F or (not in[0]) or (in[5] or in[0]) or Z or R0 or (not F) or (in[8] or out[0] or in[3] or Z or in[0] or in[11]) or (not out[0] ) or (in[5] and in[6] and in[3] and in[6] and in[9]) or (in[4] or out[0] or in[9] or in[6]) or in[2]) and ((F or in[6] or in[6] or N8 or R0 or out[0] or vdn or vdn or h ) and (in[8] and in[4] and vdn and in[10] and in[3]) and (not in[9]) and (not in[10]) and (in[1] and out[0]) and (in[0] and in[8] and in[3] and in[4] and in[2] and in[11] and in[9] and in[11]) and (J or in[9] or in[7] or in[3] or J or in[10]) and (in[7] or in[0] or N8 or in[6] or in[0] or in[3] or Z or in[10] or in[9] or R0 or in[6] or in[10]) and (psMB or in[5] or in[10] or in[7] or in[9] or out[0] or in[0]) and (not in[5]) and (not in[4])) and (not R0) and ((not F) and (not in[0]) and (psMB and in [3] and in[5]  and in[7] and in[3] and out[0] and in[11]) and (in[9] or R0 or in[4] or in[6]  or F or N8 or in[8] or Z or Z or in[0] or N8 or psMB or in[8] or in[0]) and (in[11] or F or out[0] or R0 or in[5] or N8) and out[0] and (in[11] or h or out[0] or in[7 ] or in[4] or in[8] or in[2] or in [9] or in[7] or vdn or psMB or in[11]) and vdn) and ((not in[6]) and (F and out[0] and psMB and in[9]) and (in[2] and in[9] and in[10] and R0 and vdn and in[6] and in[8] and J and J and in[7] and out[0]) and (J and in[2] and psMB and in[5] and Z) and (in[8] or psMB or in[8]) and (in[7] and Z and  in[8] and out[0] and in[10] and in[3]) and (in[3] or vdn or out[0]) and J) and ((h or in[6] or J) and in[6]) and ((not in[0]) or (in[6] or in[8] or in[0] or J or N8) or (in[6] and in[10] and in[10] and in[7] and in[6] and in[4]) or R0) and (not in[9])) or ((in[10] and (not out[0]) and (psMB and Z and in[4] and in[0] and in[4]) and N8 and (psMB or out[0 ] or in[2]  or in[7] or J or out[0] or in[9] or in[6] or out[0] or in[4]) and (in[9] or in[10] or in[4] or J or in[6] or N8) and (not in[4]) and N8 and (not F) and (J or in[11] or R0) and (vdn and in[4] and F) and (not in[4] )) or (not in[5]) or ((not in[2]) and (not in[5]) and  (in[8] and R0 and psMB and vdn and in[1] and vdn) and (not N8) and (not in[5]) and (not in[6]) and in[3]) or (R0 or (not in[11 ]) or in[7] or (not in[10]) or (in[6] and in[7] and vdn and in[11]) or (in[9] and in[3] and J and in[9]) or R0 or N8 or (N8 and in[8] and J and in[1] and in[4] and in[5] and in[8]) or (in[10] or psMB or out[0] or in[6] or R0 or in[10] or in[7]) or (in[11] and in[2] and in[10] and h)) or (not h) or in[8]) or (((not out[0]) and (not in[7]) and (h or in[11] or in[3] or in[10 ]) and (not in[10])) or ((not in[10]) and (not in[9]) and (not in[10]) and (not in[1]) and out[0] and (in[0] and Z and in[10] and out[0]) and (not out[0]) and (N8 and in[6] and out[0] and h and vdn and in[10] and h and in[5 ] and N8) and (in[2] and R0 and Z) and (not in[11]) and in[10] and (not out[0]) and (psMB and in[8] and vdn and R0 and N8 and in[8])) or ((in[8] and in [11] and F and F and Z and in[8] and in[2] and in[8] and in[9] and out[0]) and (in[11] or Z) and (not in[9]) and (psMB and h and in[10] and in[4] and in[6] and in[9] and F and vdn ) and (not R0) and ( in[9] and vdn and  in[8] and J and h and in[9] and in[2]))));
u=in[3];
d=(((not F) and (not in[2])) or ((not psMB) and (not F) and ((not N8) or (vdn and out[ 0] and J and in[0] and in[10] and Yg and in[9]) or (not in[10]) or (in[9] and in[5] and in[6] and F and F) or (in[1] and N8 and Z and in[3] and in[8] and R0 and in[7 ]) or (psMB and in[2] and h and in[2] and in[10] and R0 and in[8])) and (vdn or (u or Yg or in[4] or R0) or (R0 and in[7] and in[5]) or (in[9] and J) or (F or in[10] or  in[0] or in[8]) or in[10] or (in[8] or Z) or (in[9] and in[6]  and in[10] and psMB  and u and in[5] and u and h and in[6 ] and h and N8) or in[8] or (out[0] and N8 and in[6]) or (in[9] and R0 and in [8] and u ))) or (not in[11]) or (not in[11]));
m2=in[10];
f4=(not N8);
W=in[3];
m=((not in[6]) or (in[0] or (N8 or (u or in[11] or d or in[6]) or (in[4] or in[1] or in[8] or in[6] or vdn or in[8] or out[0]) or (in[2] or in[1] or N8) or (not in[10]) or (in[4] and Yg and in [6] and Yg) or (not J) or (in[6] and vdn) or (vdn or in[3] or W or in[7] or vdn or  in[1] or Z or in[3])) or ((not in[7]) or in[3] or (not vdn) or (h and d and Yg and m2 and in[8] and in[6]) or (W and in[1] and F) or in[11] or (in[0] or u or in[7] or psMB)) or ((not F) and (in[9] and Z) and (not Z) and Yg and (not u) and (in[2] or Z or psMB or h or in[0] or vdn or m2 or in[11] or d)) or (not h) or ((in[6] and in[9] and m2 and in[10] and in[6] and psMB and in[6] ) and (not in[6]) and (in[4] and m2 and in[11]) and h and (m2 and in[5] and in[6]  and in[10]) and (not W)) or ((not in[10]) or Yg or vdn) or (d and (not in[7]) and (out[0] and m2 and in[5] and in[2]))) or W or (not d) or (in[6] or (not Z) or (not N8) or (in[11] or vdn) or ((not in[3]) or W or Z or in[2]) or d) or in[10] or in[9] or (in[0] and (not in[6]) and ((Yg and m2 and in[8] and Yg and Yg) and (Yg and R0 and R0 and Yg and in[1] and in[ 0] and h and in[7] and Z) and (not out[0]) and u) and (not h) and u and u and in[11]) or (not in[1]) or ((not in[2]) and ((not W) and (d or in[2] or in[5] or in[10] or  in[3]) and (in[7] and in[0] and psMB and in[5] and in[5]) and (in[8] or Yg or Z or in[9] or Z or in[0] or d or in[0] or m2 or in[0] or in[7] or in[11] or N8) and J and (in[3] or in[11] or N8 or m2 or in[8] or f4) and (not m2) and (not in[3]) and N8 and (not d) and (in[8]  or J or F or in[8] or vdn or J or in[0]) and (W or Z or in[6] or vdn or f4 or F or R0) and (F and Yg and vdn and in[0] and W and in[2] and F and in[9] and R0)) and ((F or psMB or in[7] or out[0] or h or J or R0  or J or vdn or in[1]) and (Z and in[4]) and (f4 and out[0] and F and in[8] and in[0] and in[10] and Z) and (in[8] or F or d or vdn)) and in[5] and (not d)) or u or (not Yg));
k=(not in[8]);
rm=(not out[0]);
US=vdn;
Jr=Z;
LoK=(not in[7]);
pP=(u or ((vdn or (F and m2 and vdn and in[11] and in[3]) or (not k) or vdn or (not LoK) or (m  or rm or rm) or (f4 or in[10] or in[8 ])) or (not in[10]) or in[6] or (not u) or ( (N8 and J and J and u) and (N8 and W and out[0] and psMB and psMB and k) and (in[5] and u and psMB and m and u and in[7] and d)) or rm or m) or ((not N8) and (in[8] or (not k))));
p=(not  W);
n=((((pP and US and k and u and in[6] and Jr and pP) and (not US)) and (not out[0]) and out[0] and R0 and ((Jr and f4 and p and in[11] and k and in[1] and Yg and out[0] and N8 and in[10]) and (not in[2]) and (in[3] or R0 or in[1] or in[1] or f4 or in[5] or US  or f4) and (not in[10]) and (u and in[1] and in[9] and k and Z and J and in[0] and d) and (not in[2]) and (not Yg) and (not in[2]))) and u and ((not Yg) or (not LoK) or (Yg and (not in[5]) and f4 and (in[9]  or in[10] or LoK or Yg or d  or h or f4 or in[1]) and N8) or ((in[8] or pP or in[5] or d or US or in[11] or Z or h or vdn or in[4] or in[6] or F or f4 or psMB) or (Jr or u or h or m or F or in[1])) or in [2]) and (not in[10]) and (((not Jr) or (in[8] and in[5] and R0 and in[9] and in[3] and m and W) or LoK or (in[2] and US and psMB and m2) or in[7] or k or R0 or k) and W) and F);
Tv=((in[6] and ((F and in[2] and F) or n or (not in[7]) or (F and in[8] and k and psMB and rm and LoK and in[4]) or f4 or h or (Jr or in[6] or Jr) or f4 or (k and LoK and in[2] and k and rm)) and ((n or Yg or n or in[5] or Yg or LoK or J) and (not Z))) or (not in[4]) or (((US and in[4]) or (R0 and rm and m) or (not W) or in[4] or k or (not psMB)) or ((out[0] and n and J and vdn and LoK and in[8] and in[6]) or (h and in[1] and Jr and in[7] and psMB) or (u or d or vdn or u) or (not in[7]) or psMB or (not in[4]) or (in[9] and Z and psMB and m2 and n and US and m2 and rm and J and LoK and m2 and vdn and LoK) or N8 or (in[6] or in[3] or n or rm or US or in[0] or m or in[4]) or (in[1] or US or in[8] or US or R0 or in[ 6] or in[8] or n or f4 or W or in[6] or in[1] or rm) or US or  vdn or (not h) or (u or psMB or in[10] or in[4] or LoK or US or in[10] or out[0] or out[0])) or ((in[10] or in[2] or h or in[7] or LoK or in[10] or in[3] or in[2] or in[0] or rm or in[3]) and Jr and (m or Z or k or R0 or W or J or F or p or F or F or in[11])) or ((in[3] and in[6] and p and m2 and k) and (pP or in[11] or R0 or W or in[9] or in[1] or pP)) or rm) or  N8 or pP or (u or ((h and in[8] and R0 and m and n and in[1] and US and in[7] and d and in[9]) or (not J) or (in[ 0] or vdn or  pP) or (in[9] or k or in[10] or m2 or F or Jr or u or in[1] or in[7]) or f4 or (not m2) or ( in[10] or in[5] or k or vdn) or (W and n and in[8] and p and m2) or (R0 or in[0] or Z or in[9]) or W) or ((in[9] or F or n or W) and Jr and  in[10] and (n and in[6] and pP and rm and vdn and rm and d  and in[7] and Yg and R0 and p and in[1] and vdn) and (R0 and in[9]) and (d or F or m or  out[0] or in[0 ] or m2) and (psMB and in[2] and N8 and F and rm and m2 and Yg and in[3])) or (not pP) or ((out[0] or in[7] or h or f4 or vdn or pP or d) and (m or in[10] or u ) and (in[3] or h or Z or psMB or Z or US or Yg) and (Z or in[9] or out[0] or f4 or m or in[6]) and m2 and (in[8] or in[4 ] or in[0] or rm or in[2]) and (m2 or p or in[ 7]) and (not in[3]) and (not h)) or ((US and pP and in[8] and vdn and in[7] and in[9] and W and f4 and J) and (not Jr) and (not J) and u and (not in[8]) and (in[6] and psMB) and (not out[0]) and (LoK and in[4] and Jr and pP and W) and Jr and (not in[5]) and (m or d or in[3] or out [0] or Z) and m2 and in[10] and (LoK or Jr or Jr or W or in[7] or pP or R0 or W) and (f4 and in[7] and k and u and d) and J and (vdn and F and in[5] and in[4] and Yg and m and Yg))));
O=in[11];
P=(((Yg or (Z and pP) or k) or (US or (F or in[1] or pP or n or in[9])) or out[0] or ((in[8] and m and rm and W and in[5]) or  (in[11] or in[5] or Z) or (not m) or LoK)) and W and in[1] and Jr and in[0 ] and (not d) and u and (((not in[11]) or (in[0] and Jr and US and f4 and in[9]) or f4) or ((not h ) and (LoK and in[6] and d and in[2] and R0 and n and Yg and n and in[0] and Jr) and (not psMB) and (LoK or k or in[1] or h or Yg or pP or in[6] or out[0] or psMB or in[0]) and (in[7] or pP or  Z or O or US or psMB or LoK or N8 or N8) and J and in[1] and (W  or u or f4 or m2) and d and (not in[0])) or ( (not N8) or (US or in[2] or in[0] or in[3] or n or in[3] or n or Jr) or f4 or (not d)  or (not in[7]) or (not pP) or (N8 or in[8] or pP or f4 or R0 or F or psMB or Tv) or (not Z) or (in[3] and O and in[2] and vdn and W and psMB and O and psMB)) or ((F or in[8] or N8) and (R0 or f4 or p or in[4] or R0 or in[10] or u) and in[3]) or (not N8)));
t2Y=((((pP or Yg or F or in[5] or in[9] or in[4] or in[4] or psMB) and (Jr and LoK and in[9] and in[3]) and d and (not Tv) and (not k) and (vdn or in[7] or in[1]) and (psMB and in[9])) and (not vdn) and (not in[3]) and in[1] and O and (in[10] and (out[0] or m or O or n or Tv) and in[10] and (vdn and u and in[3] and in[8] and Tv and O and N8 and k and Z and pP)) and (not h) and (not m) and (not W) and (not in[  7])) or (((not in[7]) and N8 and (out[0] and rm and Yg and LoK and in[3] and rm and in[1] and in[3] and psMB and in[2]) and (not LoK) and (Yg and in[4] and LoK and k) and (in[5] and in[3] and n and Yg and in[6]) and (N8 and pP and J and in[7] and m2 and P and d and u and in[2])) and in[6] and (h and (not h) and Jr and in[9]) and US and rm  and ((not P) and in[7] and (in[6] and in[2] and in[2]) and ( pP and in[9] and in[9])) and ((not in[7]) and (not Z) and (not m2) and in[5] and (in[5] or out[0]) and (in[3] or in[9] or m2 or p or rm or W) and (not J) and (vdn and in[0] and in[7]) and (psMB or LoK or W) and (psMB and W and k and m) and (in[9] or LoK or in[2] or in[11] or in[8]) and in[1]) and ((not Z) and (not in[10]) and N8 and (not Jr) and d and (f4 and in[1] and N8 and m and Jr and in[4] and in[7] and J and m and in[4]  and in[6]) and (n or R0 or O or vdn or P) and in[4] and (in[6] and p and P and P) and in[9] and (not in[9]) and (not Z) and in[11] and (k or f4 or n or in[4] or in[10] or in[5] or m or out[0]) and (in[6] or psMB or W)) and (p or in[1]) and (not f4) and ((not Z) and (in[10] or m2 or US or in[11]) and (not LoK) and (out[0] and O and in[4] and in[11] and in[3])) and in[1] and ((Tv and J and in [11]) and (not R0) and (not in[7]))) or ((rm and Yg and (Z or W or h or Jr or US)) or (in[11] and (in[4] and m2 and h and u) and (p or rm or m or m2 or Jr) and (rm and F and psMB)) or in[5] or ((W or rm or in[0]) and (W and O and n and Tv) and in[6] and (Z or O or in[2 ] or psMB or k or n or O or in[10]) and (in[9] or in[2] or in[5] or in[8] or p or d or d) and (F and n and J and in[5] and in[10] and  P and h and f4) and in[5] and (not out[0])) or in[11]) or US or W);
U=((not in[2]) or (not in[0]) or (not Jr) or in[5]);
XT=((((Tv and R0) and (not d) and out[0] and (not in[10]) and (t2Y and US and h and  u and Yg and in[0] and d and in[11] and in[1])) or in[7] or ((psMB and J and f4 and Yg and Jr and m and n and in[9] and m2 and in[8] and in[0] and n) or (in[9] or rm or in[7] or P or m2 or t2Y or P or in[4] or Jr or in[1] or in[5] or in[5]) or ( in[0] or out[0] or pP or d or J or out[0] or h or in[7])) or m2 or (not in[5]) or (Jr or rm or F or (in[5] and in[11] and F and h and in[0]) or (p or F) or (R0 or W or t2Y or p or in[7] or in[5] or in[3] or out[0] or pP or in[0]) or in[7] or (t2Y or F or F) or (U or J) or (not m) or (not F) or (m2 or Z or U or p or N8) or (in[8] or Yg or in[8] or  US or p or n or n) or (f4 or psMB)) or ((in[9] and in[8] and J and psMB and in[8] and LoK and O) and in[2] and U and P and in[11]) or US or ((N8 and h and pP and pP and in[5] and  in[4] and in[4] and W) and (W or n or psMB or O or in[0] or Tv or in[10] or in[2] or  h or pP or k) and (not N8))  or (not f4) or Jr) or (R0 or ((not US) and (not LoK) and (not Tv) and Yg  and (f4 and k and in[8] and Jr and k)) or f4 or (LoK and (in[8] or in[6]) and (psMB or vdn or U or U or f4 or in[1]) and (not p) and d and Yg) or ((p or rm or in[1] or Jr or F or in[11]) and (not in[5]) and (not Tv) and (US and d and h and Tv and rm) and (in[10] and vdn and O and in[8] and Z and R0 and R0)) or ((u or in[0] or in[2])  and (vdn and Yg and F and in[3] and m and  rm and U and psMB and in[6]) and (not f4) and (not F)) or (not m) or h) or (((in[3] or in[2] or R0 or in[1]) or (not US) or in[8]) or (not US)) or (((not in[10]) and (F and in[7] and in[4] and p and N8 and in[2] and d and in[7]) and (in[11] and J) and (F and rm and LoK and Yg and p and Yg) and (R0 and in[1] and in[11] and P and m2 and vdn) and (out[0] and R0 and in[8] and in[9]) and (not d)) and d and ((k and n and J and h) or (not k) or (f4 and F and t2Y) or (not F) or (Yg or in[9] or out[0] or d) or in[10] or (not m)) and (not out[0]) and N8 and in[1] and (not rm) and ((in[0] or k or psMB or Tv or m or d) or (not t2Y) or Yg or (not out[0]) or (out[0] or N8 or k) or (k or Jr or Z or in[11]))) or (not in[8]) or in[6]);
_X=(not Yg);
av=(not out[0]);
voU=in [5];
