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


