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


