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


