# 2 11 10
J=(not in[0]);
BE=(not in[0]);
A=(not in[0]);
NP=(not A);
k=in[1];
pV7=in[0];
V=(not J);
out[9]=(((k or (J and NP and in[0] and V and in[1]) or (not  NP) or (not V) or (V or NP or A)) and (not J) and (not k) and (not A)) or ((NP or (not in[1]) or (NP or k or J or k or pV7 or A or J or NP or k) or (in[1] or k or in[1]) or (k and V and J) or (A and pV7 and in[1] and A)) and ((in[0] or A) and (not BE ) and (not V) and (NP or BE or in[0] or in[0] or V or V or A) and (not pV7) and (in[1] or V or A or A or J or NP or pV7) and V and NP and (in[1] and in[1] and pV7 and k) and A and (V and A and V and pV7 and V and BE and in[0] and in[0] ) and (not pV7) and (A or A or k or in[1]) and V and (not in[0])) and in[0] and ((not NP) and (in[0] and A and J) and (J or NP or  BE or NP) and in[0] and NP and (not V) and (not in[1]) and in[0] and (V or A or A or k or V or in[0] or J or V or BE ) and k and (J or in[0]) and (not in[1]) and (J or in[1] or pV7) and (pV7 or V or BE) and (not pV7) and (in[0] and J and J) and (in[0] or A or in[1]))) or (not k) or (BE and (not pV7) and (k or (not BE) or (NP or V or A) or NP or (k and A and in[0] and A and in[0] and J and in[0]) or in[1]) and in[1] and ((pV7 and NP and J and NP and V) and (A and in[0]  and V) and (NP or pV7 or BE or BE or in[1] or A or in[0] or A or in[1] or J or in[0] or J) and (A and BE and NP and in[1] and J and A and A) and (J or J or pV7 or k or in[0] or in[1]) and (NP and J and pV7 and NP) and (not pV7) and (J and pV7 and in[1] and J and in[1] and in[0] and in[1] and NP) and (pV7 or J or NP or k) and (not V) and NP) and in[1] and ((A and pV7 and pV7 and in[0] and in[1] and NP and V) or A or (pV7 and in[0] and NP and A) or (A and  V and k and in[1] and A and pV7 and BE and in[1] and J)) and ((pV7 or J or J or NP or pV7 or BE or BE or BE or in[0] or in[1]) and (J and pV7 and BE and NP and J and J and NP and k and NP and A and in[1]) and (not k) and (V and pV7 and k and k)) and ((k and V and A and in[0] and A and A  and NP) or (not NP) or (V and pV7 and BE and in[1] and in[1] and pV7 and J and J and NP) or (pV7 and in[0])) and ((not in[1]) and (A and J and in[0] and k and in[1] and NP and k and NP) and (k or  in[1] or BE or J or pV7 or A) and pV7 and (BE and J and k)) and ((in[0] and in[0] and in[1 ] and k and BE and pV7 and pV7 ) and (not pV7) and NP) and ((J or BE or V or in[1] ) and (in[0] or in[1] or BE or A or J or in[0] or  in[1] or pV7 or V or in[1]) and (not J))) or (not A) or (not in[ 1]));
B=((not J) and ((not out[9]) or ((not in[1]) or V) or ((in[1] and in[1]) and (not BE) and (BE and V and NP and pV7 and NP and J)) or k or ((in[0] or k or in[1] or V or in[1] or BE or A or J or V) or (not BE)) or (not in[0]) or (not k)) and (BE and (BE or (pV7 or out[9] or J or out[9]) or k or (in[0] and in[0] and out[9] and pV7 and out[9] and NP and A and V)) and (not k)) and (not J) and (not in[0]));
a=((((k and V and pV7 and k and k and out[9] and  V and BE and in[0] and k) or V or (in[0] or out[9]) or (BE or V) or (pV7 or k or in[1] or in[1] or pV7 or BE or BE) or (out[9] or NP or in[0] or NP) or (in[1] and in[0] and k)) and ((not V) or (not NP) or (in[1] or pV7 or V or out[9] or in[0] or BE) or (in[1] or BE or A or out[9] or V or J or V or V or  in[0]) or A) and in[0] and ((out[9] and out[9] and V and pV7 and BE and NP and in[1]) or (not in[1]) or (not B) or B  or (A or B or B or out[9] or in[0] or A or out[9] or out[9] or V or out[9]) or (BE and pV7 and in[1])) and (not in[1]) and (not k) and (out[9] and (J or out[9] ) and (not k)) and (in[1] or (in[0] or B or pV7 or A) or in[0] or (out[9] or  BE or B or B or A or A) or BE or (not V) or (A and out[9] and BE) or (k and J and A and out[9] and J and k and V and A and A)) and ((not out[9]) or (NP or out[9] or in[0] or k or out[9] or in[0]) or BE or (not J) or (J and B) or (not V) or (B or B or BE or in[0]) or (not A) or (not V) or (not V) or (not A) or (out[9] and B and k and NP and B and in[1] and pV7 and J and B and J)) and (not A)) or A or out[9] or (not in[1]) or out[9] or k or (((B and in[0] and B and J and V) and (not J) and (not B) and (in[1] or J or B or k or out[9] or V or out[9] or k or out[9]) and (NP and A and NP and out[9] and B and in[0]  and out[9])) and B and (not out[9]) and (k or (not V) or (k or A or J) or V or (J or k or pV7 or J or in[0]) or (not NP)) and (in[0] and (BE and in[0] and in[0] and B and B and BE and in[0] and J) and (not pV7)) and pV7 and ((NP and J and pV7 and in[0] and in[1]) and (not in[1]) and (k and A and A and in[1] and in[1] and A and A and BE and in[0]) and (out[9] or pV7 or B or k or BE or out[9] or NP or out[9] or in[1]) and (B or in[0] or J or out[9] or pV7 or A or pV7 or V or k or k or V or BE)) and ((J or J) or (in[0] or in[0] or pV7 or out[9 ]) or (not A) or (not A) or (not A) or (V or J or NP or NP) or in[1] or (not BE) or A or (pV7 or J or pV7 or A or in[1] or out[9] or k or B) or (not k) or (BE or V or J or out[9] or k or out[9] or B or k or pV7 or NP or BE or B) or (not in[1]) or (V and k and in[1] and in[0] and in[0] and in[1])) and (V and B)));
