
f0 = in[3] or in[6];
out[0] = in[0] and ((not in[7]) or (f0 and in[0])) and ((not in[4]) or (((not in[3]) or ((in[5] or (in[6] 
or (in[1] and ((not in[0]) or in[2] or in[7])))) and (not in[6]))) and in[7] and (in[2] or (not in[5]) 
or in[6]))) and ((not in[2]) or ((in[0] or ((in[1] or (in[5] or ((in[4] or (not in[6]) or (not in[7])) 
and (in[3] or (not in[4]) or in[6])))) and f0)) and ((not in[3]) or (((not in[0]) or (in[6] or 
((in[1] or (not in[5]) or in[7]) and (in[4] or in[5] or (not in[7]))))) and (in[5] or (not in[6])))) 
and (in[4] or in[5] or (not in[6])))) and ((not in[1]) or ((in[4] or (in[5] or ((in[0] or in[2] or in[6] 
or in[7]) and ((not in[0]) or (not in[2]) or (not in[6]))))) and ((not in[3]) or ((in[6] or ((in[4] 
or ((in[2] or (not in[5]) or (not in[7])) and ((not in[0]) or in[5] or in[7]))) and (in[0] or in[5]))) 
and ((not in[2]) or in[5] or (not in[6]) or in[7]))) and ((not in[4]) or (((not in[5]) or ((not 
in[6]) or (((not in[2]) or ((in[0] or in[3]) and ((not in[0]) or in[7]))) and (in[0] or in[2] or in[7])))) 
and ((not in[7]) or ((in[0] or ((in[3] or (in[6] and (in[2] or in[5]))) and ((not in[2]) or (((not 
in[3]) or (not in[6])) and (in[3] or in[5]))))) and ((not in[0]) or in[3] or in[5] or in[6]))))))) and 
in[6] and (not in[3]) and (not in[7]) and (not in[3]) and in[5] and (not in[3]) and (not in[7]) and 
(not in[4]) and (not in[3]) and (not in[1]);


