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


