# 13 11 16
BP=in[7];
nJ=((not in[9]) and (((BP or BP or in[1] or in[3]) and (in[12] or in[7] or in[9] or in[5]) and in[2] and (not in [8]) and (in[1] and in[2] and in[3] and in[3 ] and in[8] and in[8] and in[11] and in[8] and in[11] and in[3]) and (not in[3]) and (in[6] and in[0] and in[12]) and (in[7] or in[ 7] or in[7]) and (in [5] or in[11]) and (in[5] or in[10] or in[4] or in[7] or in[7] or in[6] or in[11])) or ((in [6] or in[8] or in[2] or in[11]) and (in[5] and in[7]) and  in[4] and (in[11] and in[4])) or (not in[12]) or ((not in[4]) or (not in[8]) or (BP or in[12] or in[12] or in[1] or in[3] or in[6] or BP or in[12] or in[9] or in[10] or in[6] or in[7] or in[11] or in[9])) or ((not BP) or (not in[3]) or (not in[3]) or in[4] or (in[6] or in[11] or in[12])) or (not in[3]) or in[10] or in[10] or (not in[8]) or in[7] or (not in[7]) or (in[5] and (in[1] or in[2] or in[3]) and in[12] and in[4] and (in[12] or in[2]  or in[6] or in[7]) and (in[2] and in[12] and in[6] and in[2]) and (in[4] or in[1] or in[4] or in[3] or in[8]) and in[3] and in[12] and (in[6] and in[10] and in[9] and in[12] and in[4] and in[7] and in[0] and in[4]) and in[3] and (in[5] or in[7] or in[4] or in[11] or in[6] or in[7]) and (not in[11]) and (not in[6]) and (in[12] or in[9] or in [9] or in[0] or in[0] or in[5] or in[1] or in[11] or in[11] or in[5] or in[10]) and (in[11] or in[10] or BP or in[7] or in[9] or in[11] or in[1] or in[0] or in[2] or in[11] or in[8]) and in[1 ])) and (((not in[12]) and (in[5] and in[2 ] and in[6] and in[10] and BP and in[5] and in[8]) and (not in[6]) and ( in[6] or in[2]) and (not in[4]) and (not in[7]) and (in[10] and in[11]  and in[8] and in[4] and BP and in[1] and in[1] and in[2]) and (not in[8])) or ((in[0] and in[0] and in[0] and in[9] and in[2] and in[7]) or (not in[4]) or (in[ 12] or in[12] or in[7] or in[10] or in[3] or in[5] or in[6]) or (not in[11]) or (BP or in[3] or BP or in[3] or in[6] or in[4]) or (in[6] and in[6] and in[4] and in[0] and in[8] and in[9] and in[2] and in[6]) or (BP and in[3] and in[11]) or (in[9] or in[0] or in[11] or in[11] or in[11] or in[11]) or BP or (in[8] or in[4] or in[0] or in[4] or in[11] or in[5]) or (in[9] or in[11] or in[10] or in[8]) or (not in[10])) or (BP or (in[1] or in[1] or BP or in[2] or in[7] or in[5] or in[2] or in[12] or in[8] or BP or in[4] or in[3] or in [1] or in[9]) or (in[6] and in[3] and in[5]) or (not in[6]) or (in[11] or in[8] or in[4]) or (in[6] and in[3] and in[3])) or ((in[8] and in[10] and in[12] and in[4] and in[11] and in[9]  and in[10]) or (in[1] and in[7] and in[9] and in[ 3] and in[6]) or (in[6] or in[8] or in[3] or in[12] or in[6] or in[9] or in[1]) or (not in[10]) or (not in[2])) or (not in[10]) or (not in[11])) and (not BP) and (((in[5] and in[4] and in[3] and in[12] and in[5]) or (not in[6]) or (not in[0])) and in[8] and ((not in[12]) or in[2] or in[1]) and (in[4] and (BP or BP or in[9] or in[6] or in[ 0]) and BP and (not in[1 ]) and (not in[8]) and (not in[7]) and (not in[12]) and (in[11] and in[6])) and ((in[6] or in[5] or in [7]) and (in[7] and in[7]) and (not in[1]) and (in[10] and in[9] and in[4] and in[10] )) and ( (in[7] or in[12] or in[0]) or (BP or BP or  in[0]) or (not in[9])) and in[2]) and (not in[8]) and (not in[0]) and ((not in[10]) or (in[5] or in[0] or (not in[4]) or (in[0] and in[12] and BP and in[2] and BP and in[4] and in[10]) or (in[5] or in[1] or BP or in[10] or in[1])) or in[5] or ((in[9] and in[11] and in[5] and in[4] and in[0] and in[12] and BP) and in[5]) or in[9] or in[5] or (not in[6]) or in[2]));
T=(not in[6]);
xmDe=((not in[6]) or (in[9] and in[10] and (not in[4]) and in[ 7] and ((in[6] or in[2] or in[2] or in[0] or in[4]) or (not  in[3]) or (in[8] and in[4] and BP and in[11] and BP and in[10]) or (in[5] and T and  in[3] and T and in[12] and in[5] and T and in[8] and in[6] and nJ) or T or (T and in[7] and in[9] and in[6] and in[1]) or in[0]) and (not BP) and (in[2] or (in[10] or in[9] or in[8] or T or in[ 9]))) or (in[4] or (BP  and (not in[1]) and (in[2] and in[2]) and (in[2] and BP and T and in[9] and in[4] and in[11] and in[4] and in[8]) and in[5]  and (not in[7]) and (not in[7]) and (BP and in[3] and in[11] and BP and in[12] and in[3]) and (in[0] and in[0 ] and in[4] and in [12] and in[8] and in[5])) or in[7] or ((in[10] or in[4] or in [8] or in[5] or in[12]) and (not BP) and (not in[2]) and (T or BP or in [4] or in[9] or in[3] or in[8] or in[12] or in[3]) and in[8] and (not in[9])) or (not T) or (in[6] and in[4] and (T or in[5] or in[12]) and (nJ or in[3]) and (in[2] or in[0] or in[12] or in[12])  and (in [4] and T and in[9])) or (not BP) or ((in[2] or T ) and (T or in[1]) and (nJ or in[7]) and (in[7] and in[1]) and (not in[11]) and T and (in[ 3] or in[4] or in[1] or in[ 0]) and (in[0] or in[ 2] or in[4 ]) and (in[8] and in[0] and in[7] and in[8] and in[9] and in[12] and T and BP and in[8]) and (BP or in[12] or in[3]))) or (not in[12]) or ((not in[5]) and T and BP) or (((in[6] or in[7] or in[8] or nJ) or (in[11] and in[7] and in[11]) or (in[11] and T) or (not in[5])) or (in[6] and (in[7 ] or in[12] or in[7] or in[8] or in[8] or nJ or in[2] or in[10]) and (not in[7]) and (not in[1]) and (in[5] and in[0] and in[0] and in[0] and in[4] and in[8])) or ((not in[0]) and (in[3] or in[7]) and in[4] and (not in[4]) and (in[6] or in[2] or in[6] or in[9] or in[0] or in[2] or T) and (in[12] or in[11] or in[6] or in[9]  or in[8] or in[12] or in[8]) and in[11]) or T) or in[10] or (not in[0]));
D=in[5];
out[3]=BP ;
out[6]=((((BP or in[2] or in[5] or in[1] or in[8] or nJ) or (not D) or (not in[10]) ) and ((D and in[7] and in[6] and in[4] and in[5] and in[3] and D and  in[11] and T and in[2] and in[5] and in[10] and in[6] and D) and (not in[5]) and (in[6] or D or D or in[3] or T or xmDe or  in[4]) and out[3] and in[0]) and ((in[0] and in[2] and in[4] and in[8] and in[5] and in[12] ) and in[6] and (not in[12]) and (nJ or in[11] or in[8]) and (xmDe or in[1] or in[9] or in[6] or out[3] or in[4] or in[5] or D or in[0]) and (xmDe and in[11])) and (in[2] and (in[7] or in[12] or in[2] or in[7] or BP or xmDe or in[3] or T or in[4] or in[11] or in[8] or in[0]) and in[5] and (out[3] or in[6] or in[8] or xmDe or in[8]) and (in[1] and BP and in[1] and in[3] and in[8] and T and T and out[3] and  in[12]) and out[3] and (not xmDe)) and in[0] and (in[6] or (in[2] or in[7] or in[6] or in[7]) or (D and BP and in[9] and out[3] and in[5] and xmDe and in[1] and in[11] and BP) or (in[3] and in[8] and in[0] and in[3] and in[4] and in[12]) or (not in[11]) or (in[11] or in[4] or in[10] or BP or in[11] or in[12]) or (BP and D) or xmDe or in[3] or (in [1] or in[10] or in[9] or in[9] or in[11] or in[4] or in[8 ] or xmDe or in[10] or in[0]) or (D and in[9] and in[9] and nJ and in[12] and in[3] and in[0] and in[1] and in[10] and in[11]) or (xmDe and in[4] and in[10] and in[7] and in[4] and BP and T and T and xmDe and in[6] and T and in[10] and in[12] and in[8] and in[4] and in[9])) and (T or (BP or in[3] or in[3] or in[10] or T or in[5] or in[5] or in[12] or in[7] or nJ or in[9] or nJ) or (in[9] or in[0] or in[2] or in[8] or T or D or in[1] or in[7]))) or (in[5] or (not in[4]) or ((in[12] or in[2] or in[4]) or (not in[10])) or out[ 3] or in[2]) or ((not in[5 ]) and ((D and xmDe and BP and in[11] and in[2]) or xmDe or (not in[4]) or (T and T and in[3] and in[8] and in[10]) or in[0] or in[12]) and (in[3] or (in[10] and BP and in[11] and T and xmDe and T and in[1] and in[0] and in[0] and in[11] and nJ) or (not in[2]) or in[8] or (in[6] and in[5] and xmDe) or (in[5] and in[6] and nJ and in[11])) and in[2] and in[10]) or ((out[3] or (not D) or in[10] or (nJ and in[3 ] and in[11] and in[4] and in[11] and out[3] and T)) and (not out[3]) and ((nJ and in[7] and in[6] and in[2] and in[4]) or  in[8] or (not in[6]) or (in[2] or in[1] or in[9] or D or BP or in[0] or nJ  or D) or (not in[10]) or (nJ and  in[7] and in[11] and in[9] and in[0] and in[9] and xmDe and out[3] and nJ and in[12] and in[7])) and in[5] and out[3] and (not in[9]) and in[8] and (not in[8])) or (not in[11]) or (not in[4]) or (not in[3]) or T or (not in[5]) or (not in[11]) or ((not in[9]) and ((not xmDe) or BP or (in[4] and in[12] and xmDe and T and in[9]) or (xmDe or in[1] or BP or in[9] or in[6])) and in[0]) or T or (in[6] and (not nJ)) or (not in[0]));
out[9]=(in[3] or (not in[7]) or ((not in[12]) or ((in[0] or out[3] or in[5] or in[2] or T or in[5] or in[5] or out[3]) and (not in[6]) and D and (not out[3]) and (xmDe or in[9] or in[5] or xmDe or BP or in[0] or in[0] or T or in[10]) and (in[11] and in[12] and in[9]) and (not in[6])) or ((in[2] or xmDe or in[8] or in[4]) and (not in[0]) and (in[12] and in[8] and in[11] and in[5] and xmDe) and nJ and (in[8] and in[9] and in[8] and in[ 8] and xmDe)) or in[8] or ((in[8] or in[11] or in[12]) and (not in[5]) and in[11])));
L=xmDe;
B=(not xmDe);
out[1]=(not in[3]);
gk =(not nJ);
out[7]=((not L) and (not in[9]) and ((not in[10]) or out[3] or out[6] or (not D) or (xmDe or in[6] or (BP and in[7]) or in[10] or (not in [12]) or (in[5] and in[0] and out[3] and nJ) or in[10] or (in[3] and in[5] and out[3] and D and out[1] and nJ and out[6] and out[3] and in[11] and in[12] and in[5] and BP))) and out[6] and in[10]);
i_i=(not in[12]);
f=(not BP);
out[2]=in[2];
