
f0 = in[7] or in[12];
out[0] = (in[3] or (in[10] or (in[2] and in[13]))) and (in[17] or (f0 and in[16])) and ((not in[15]) or 
(((not in[3]) or in[16]) and ((not in[2]) or in[12]))) and ((not in[8]) or ((not in[1]) and ((not 
in[3]) or in[6] or (not in[7])) and (not in[3]))) and ((not in[9]) or ((in[10] or ((in[4] or in[6]) and 
(not in[12]))) and (not in[7]) and (in[2] or (not in[10]) or in[12]))) and in[1] and ((not in[11]) 
or ((in[2] or ((in[5] or (not in[16])) and (not in[15]))) and in[4] and ((not in[10]) or (not 
in[12]) or in[13]) and (not in[15]))) and in[0] and ((not in[13]) or ((in[2] or ((in[3] or in[6]) and 
(not in[11]))) and in[14] and (in[7] or (not in[10]) or (not in[15])) and (in[10] or (not in[17])))) 
and ((not in[14]) or ((in[0] or ((in[6] or (not in[8])) and ((not in[1]) or in[16]) and (not 
in[1]))) and ((not in[0]) or (not in[15])) and in[13] and (in[11] or (not in[13]) or in[15] or in[16]) 
and (in[1] or (not in[16]) or (not in[17])) and (in[6] or in[7]))) and ((not in[4]) or (((not in[6]) 
or ((not in[9]) and (in[1] or in[17]))) and (((not in[17]) and in[8]) or in[2]) and in[3] and ((not 
in[8]) or in[10]) and f0 and ((not in[3]) or (not in[14])))) and ((not in[5]) or (in[3] and (in[2] 
or ((not in[13]) and in[8])) and ((not in[8]) or ((not in[7]) and (in[6] or in[9] or (not in[13])) 
and (in[2] or (not in[11]) or in[12]))) and in[9] and ((not in[9]) or in[10]) and in[14] and ((not 
in[0]) or (not in[6]) or (not in[17])) and ((not in[12]) or in[13]))) and ((not in[0]) or (not 
in[6])) and (not in[17]) and ((not in[10]) or (not in[12]) or in[14]) and (not in[9]) and (not 
in[8]) and (in[6] or (not in[17])) and (not in[5]) and (in[8] or in[11] or in[16]);


