# 4 1 10
out[0]=in[ 0];
s=((((in[3 ] and in[1] and out[0] and in[2] and in[0] and out[0]) and (out[0] or in[3] or in[1]) and (in[1] or in[0] or out[0] or in[1] or in[1]) and (in[0] and in[1] and out[0] and in[2] and out[0] and in[1] and in[2] and in[0] and in[3] and in[1] and in[3]) and  out[0] and (in[2] or out[0]) and (not out[0]) and in[2] and (in[2] and in[1] and in[0]  and in[0] and out[0] and in[0]) and in[3] and (out[0 ] and out[0] and out[0])) and (not in[2]) and (not in[0]) and ((not in[2]) and (not in[2]) and (not in[0])) and in[1] and ((in[3] or in[0]) or (not in[2]) or (in[1] or in[0] or in[0] or in[2] or in[3] or in[2]) or in[2] or (not in[1]) or (in[1] or in[3] or  in[0]) or (not in[0]) or (not in[3]) or (in[0] or in[2] or in[3] or in[3] or in[3])) and (not in[1]) and ((not in[1]) or (in[3] or in[3] or in[1]) or (in[1] and out[0 ] and in[2] and in[2]) or (in[2] or in[1 ] or in[0] or in[3] or in[2] or in[0] or in [1] or in[1]))) and in[1] and ((not out[0]) and (not in[0]) and ((not in[3]) or (not in[0]) or (out[0] and in[3] and in[3] and in[3] and in[3] and in[1] and in[0] and out[0] and out[0]) or (not in[0]))) and out[0] and in[2] and (not in[2]) and (((in[1] and out[ 0] and in[2] and in[3]) or (in[2] or in[0] or in[3] or in[3] or in[3] or in[2] or in[2] or out[0] or out[0] or in[2]) or in[1] or (in[3] or in[2] or in[1]) or (not in[2]) or (out[0] and in[3] and out[0] and in[2] and in [0] and out[0] and in[0]) or (in[2] or out[0] or in[3] or in[3]) or out[0]) and ((in[2] or out[0] or out[0] or in[3] or out[0] or in[1] or out[0] or in[1] or in[0] or in[1] or in[0] or out[0] or in[2] or in[3] or in[1] or in[0]) or (not in[3])  or in[2] or (out[0] and in[1] and out[0]) or in[2] or (in[2] and in[0] and in[1] and out[0]) or in[2] or (out[0] or out[0]) or in[3] or in[3] or (not in[3])) and in[3] and (not in[1]) and in[0] and (in[2] or (not in[3]) or (out[0] and in[1] and in[2] and in[3] and in[2]) or (out[0] or in[2] or in[0] or in[0] or in[0] or out[0] or in[1] or out[0] or out[0] or out[0] or in[3]) or (in[3] and out[0] and in[0])) and in[2] and (not out[0])) and in[3]);
wTf=((((not s) or (not in[3]) or (not s) or (not in[1]) or (not in[3])) and ((in[3] or in[0]) and (in[2] and out[0] and in[2] and in[2] and in[0] and in[1] and in[3] and s) and (not in[3]) and in[3]) and ((not out[0]) and (out[0] and s and in[0] and in[0] and out[0] and out[0]) and in[1] and (s and in[2] and  in[2])) and ((out[0] or out[0] or in[2] or in[1] or s or s) and s and (not out[0]) and (in[2] or in[2] or in[1]) and (out[0] or in[0] or in[3] or in[3] or in[1]) and in[3] and (in[0] or in[3] or s or in[3] or out[0] or in[3]) and (in[1] and s and in[0] and out[0] and in[3] and s and in[3] and in[0]) and (out[0] and out[0] and in[2]) and (in[0] or in[2] or in[0] or s or in[1] or in[0] or in[3] or in[1] or s or out[0]) and out[0] and (in[0] and s and s and out[0] and in[3])) and (not in[2]) and (in[0] or (s or in[1] or in[0] or in[0] or in[3]) or (in[2] and in[1] and out[0] and in[0] and in[2] and in[2] and out[0] and s) or in[3] or (in[2] or in[2] or s))) and in[1] and (in[2] and in[3] and in[0] and out[0] and (not in[3]) and ((not in[0]) and (in[0] and in[2] and in[3] and out[0] and in[3] and s) and (out[0] or out[0] or in[3]) and s and in[2] and (not in[2]) and (s or in[2] or in[3] or in[3] or in[2 ] or in[3] or out[0]) and (in[1] and s and in[2] and s)) and (not out[0])) and in[2] and (not in[2]) and (out[0] and (not in[0]) and (not s)) and (not in[0]) and ((not in[3]) or ((in[3 ] and s and in[3] and in[1] and in[1] and out[0] and out[0] and s) and (out[0] or in[0] or out[0] or in [1] or in[1] or in[0] or in[2] or in[1] or in[1] or s or in[3] or in[2]) and (not in[1]) and (not in[0]) and (not  in[3]) and (not s)) or (not in[2]) or (not in[3]) or (in[1] or (in[2] and s) or (not out[0]) or (in[3] and out[0] and s and out[0])) or (not in[0])));
B=((((in[0] and in[2] and in[1] and in[1] and out[0] and in[1]) or (not s) or  (wTf and in[0] and in[2]) or (out[0] and in[2] and wTf and in[1] and in[1] and s and in[2] and in[2] and s and out[0] and in[2] and wTf) or in[1] or in[1] or (not in[0]) or (in[3] and out [0] and in[1] and  out[0] and s and in[3] and in[2] and  in[ 0] and in[2] and in[1])) and wTf and ((not in[0]) and (not out[0]) and in[0] and (in[2] and s and out[0] and in[0] and in[3]) and in[0]) and ((not in[0]) or in[0] or (in[1] and in[2]) or (not in[2])) and ((not out[0]) or wTf or (s and out[0] and wTf and in[3] and in[3] and in[3] and s and s and in[2] and in[1] and in[3] and in[0] and in[1]) or (not s) or (s and in[1] and s and s and in[0]) or wTf) and in[0] and (not in[0])) and (((in[1] or wTf or in[0] or in[2] or wTf) and (not s) and (in[3] and out[0] and in[1] and in[2] and wTf and out[0] and out[0] and wTf and in[3] and out[0]) and (not out[0]) and (out[0] or in[1] or in[1] or in[1] or out[0])) or (not in[2] ) or (not in[ 0]) or out[0] or (not in[0])) and s and in[ 0] and (not in[0]));
PD6=(s and (in[3] or (not in[3]) or in[1]) and ((s and in[2] and in[2]) and in[2] and ((in[3] and B and wTf and B and out[0] and in[3] and in[1]) or (not in[3]) or s) and ((in[3] or out[0] or in[2] or in[3] or in[2] or wTf or wTf or B or in[3] or out[0]) and wTf and out[0] and (in[0] or in[0] or in[3] or in[2] or in[2] or in[2]) and ( in[2] and in[3] and in[1] and in[2] and out[0] and s) and out[0] and (not out[0]) and (s or B or in[3] or in[0] or wTf or in[2]  or wTf or in[2] or in[3] or in[0]) and (in[2] or in[3] or wTf or in[3] or out[0] or in[1] or wTf or out[0]) and (in[1] and out[0] and B and in[0] and in[3] and in[1])) and (not in[1])) and in[2]);
k=((((s and in[2] and in[3]) and in[0] and (in[0] and in[0] and s and wTf and in[0] and s) and (not s) and (out[0] and in[0] and in[3] and s and in[2] and B and in[1] and wTf and in[3]) and PD6 and (in[0] or B or in[1] or B)) or (in[0] or out[0] or (in[0] and wTf and in[2] and wTf and in[0] and in [2] and in[3] and  in[2]) or (not B)) or ((B or PD6 or in[3] or wTf or out[0]) or (PD6 or in[0] or in[2] or out[0]) or (not out[0]) or (not wTf)) or ((in[0] or out[0] or in[3] or in[3] or in[1] or out[0] or in[2] or s) and B) or ((in[0] and in[0]) and B) or ((in[2] and PD6 and wTf and B and in[2] and s and in[2]) or (not s) or (wTf and in[3]) or in[0] or (not PD6) or (in[2] and in[1 ] and B and in[1] and in[0 ] and B and s and out[0] and PD6 and PD6 and in[0] and in[0]) or PD6 or (B or wTf or s or s or in[1] or s or B)) or (( wTf or s or in[3] or B or wTf or B or in[2] or wTf or in[3] or in[0]) or (not in[1]) or (in[2] and in[1] and B and s and in[2] and wTf and in[2] and in[2] and in[1] and PD6) or in[3] or (wTf or wTf or in[0] or in[2] or in[0 ] or s) or (in[2] and PD6 and s))) or (((not s) or (not in[0]) or (not in[3]) or (in[3] and s and in[0] and wTf and wTf and in[0] and in[1] and in[3]) or in[1]) or (not in[0]) or ((PD6 or in[3] or in[1]) and (not in[0]) and (B and wTf) and (out[0] or in [2] or in[3] or wTf or wTf or PD6 or in[1] or in[3] or in[1]) and (in[1] and PD6 and in[1] and s  and B and in[3] and B and B and wTf) and (in[1 ] or out[0] or s or in[0] or s or s or in[1])) or (not s) or ((in[2] and in[0] and in[3] and in[0] and PD6 and s and s) and (in[2] or in[3]) and s) or (B and (not B) and B and (PD6 and out[0] and PD6 and out[0] and s and wTf and in[0]) and (not in[3]) and in[0] and (in[1] and PD6) and in[1] and (in[1] and B and in[0] and s and in[1] and s)) or (not in[3]) or (not B) or ((not in[1]) or (out[0] and in[0] and PD6 and in[1] and out[0] and PD6 and wTf and B and in[1]) or in[2]) or (in[0] or (not in[0]) or (PD6 and in[0] and s and in[0] and out[0] and out[0]) or (not in[3]) or (s and in[0] and in[3] and PD6) or (wTf or in[0]) or in[1] or (in[0] and s and PD6 and in[0]) or (not wTf)) or in[1]) or (((in[3] or out[0] or in[1] or in[1] or wTf or B or in[3]) or (B or PD6 or in[3] or PD6)) or ((not in[1]) and (not in[2]) and (not in[1]) and (not in[2]) and (B or in[3]) and (in[1] or in[2] or in[3]) and (B and wTf and in[3]) and (not out[0]) and (not B)) or (not wTf)) or in[0] or (not PD6) or (wTf and ((not s) or (PD6 or wTf or s or in[1] or B) or in [0] or (not PD6) or in[2] or (PD6 or  PD6 or s or in[0] or in[0] or in[0] or wTf or  in[3]) or (in[3] and in[0] and wTf and PD6 and B and in[0])) and (in[1] and s and in[0] and (PD6 or s or out[0] or PD6 or PD6 or wTf or s) and (in[0] and s and in[0 ] and PD6 and PD6 and in[1] and B and PD6 and in[2] and s and out[0] and in[2] and s) and (wTf and PD6 and PD6)) and (not wTf) and (not B)) or ((not in[2]) and ((in[3] and in[0] and in[1]) or (not in[2]) or B or (not in[0]) or (s and PD6 and wTf) or out[0] or (in[1] and out[0] and B and in[1] and in[0] and in[0]) or (in[1] and PD6 and wTf and s and out[0] and B and PD6 and out[0] and s and B) or (out[0] and out[0] and in[3] and out[0] and PD6 and in[3] and PD6 and s and PD6) or (not in[2]) or (not B)) and (in[3] and (out[0] or out[ 0 ] or PD6 or in[2] or wTf or PD6 or in[3] or PD6 or s or PD6 or in[3]) and (B or in[3] or in[0] or out[0] or s) and in[0] and out[0] and wTf and (out[0] or in[3]) and (PD6 or in[3] or out[0]  or in[2]) and (not B)) and (( s or in[0] or s) or s or B) and ((wTf or out[0] or wTf  or in[0] or out[0] or in[0] or in[2]) or in[3] or (B and s  and out[0] and wTf and in[ 0] and B and s and out[0]) or (not B)) and ((B and in[2] and s and in[0]) or (in[3] and B and B and in[2] and out[0]) or (in[0] and wTf and in[1] and out[0]) or (in[2] and in[0] and in[3] and in[3] and in[3] and s) or in[1] or (out[0] or in[0] or out[0] or wTf or in[2] or in[1] or s or s))) or (not PD6) or B or ((PD6 and PD6 and (in[2] and s and PD6 and in[1] and wTf and wTf and in[2]) and (in[3] and out[0] and in[2] and wTf and wTf and in[2] and out[0]) and (s or in[0]  or in[3] or in[3 ]) and in[3] and (s or B or wTf or wTf or out[0] or in[3]) and (not s) and ( wTf and B and PD6 and B)) and (not in [1]) and ((not in[2]) and (B or in [1] or PD6 or PD6 or PD6 or wTf or s or s or in[1]) and PD6) and ((B or PD6) and (in[0] and PD6 and s) and (B or wTf) and (in[ 0] or B or in[1] or in[0] or PD6  or in[0]) and (in[2] and s and B and wTf and s) and (in[1] or wTf or in[1] or in[2] or s or PD6  or in[2]) and (in[1] and in[2 ] and wTf and out[0]) and (s or in[3] or s or PD6 or wTf) and in[1] and in[2]) and ((B or in[2] or PD6 or PD6 or out[0] or B or out[0] or s) or (s and  in[3] and s and in[2] and in[1] and in[3]) or (in[1] and s and B and s and  wTf)) and ((B and PD6 and in[2] and wTf and in[2]) or (s and in[2] and wTf and s) or (in[1] or in[0] or wTf or in[2] or wTf or in[1] or in[3]) or (not B))));
H=in[1];
N=(not PD6);
g=((not in[1]) and ((PD6 and in[1] and (not in[1]) and (k or in[1] or in[1] or H or out[0] or in[1] or in[2] or out[0] or k or in[2] or in[2]) and (in[0] and in[1] and H and in [0] and PD6 and s and in[3] and wTf and in[1] and B)) and (not PD6) and N and (not B) and (not wTf) and ((in[2] and s and B) and (not PD6) and (not N)) and ((in[3] or H or N or in[1] or s or B or in[0] or in[3]) or (wTf and in[3] and B) or (not in[3]) or (B or in[0] or k or wTf or PD6 or in[0]) or (N and wTf and in[2])) and in[1] and ((not in[2]) or (out[0] or wTf or k) or in [0] or (s or out[0] ) or out[0])) and (not in[2]));
ik_=N;
