# 8 5 7
out[4]=(((in[7] or (in[2] and in[0] and in[3] and in[3]) or ( in[6] and in[2] and in[0] and in[1] )  or (not in[5]) or (not in[1]) or (in[1] and in[6] and in[1] and in[7] and in[5]) or (not in[1]) or (in[1] or in[1] or in [4]) or (in[2] and in[0] and in[0] and in[0] and in[1] and in[ 3] and in[3] and in[7] and in[4] and in[7])) or (in[0] or (not in[6]) or in[3] or (not in[7]) or (in[5]  or in[2] or in[6] or in[6] or in[3] or in[2] or in[5] or in[1]) or (not in[5])) or (not in[3]) or in[3])  or (((in[2] and in[2] and in[3] and in[1] and in[7] and in[2] and in[7] and in [4] and in[3] and in[7] and in[4] and in[2] and in[7] and in[7] and in[7] and in[5]) or (not in[6]) or (not in[6])) or ((not in[5]) and (not in[7]) and in[3] and (not in[5])) or (not in[1])));
EZ=(((not in[3]) and ((not in[6]) and (in[7] and in[5] and in[7] and  in[3] and in[5] and in[0] and in[7]) and in[6] and ( out[4] and  in[5] and in[4] and in[4] and out[4] and in[6])) and ((in[0] and in[6] and in[2]) or (in[1] and in[3] and in[3] and out[4] and in[4]) or in[3] or (not in[6]) or (not in[3]))) and (in[ 4] and (in[0] and (in[0] and in[5]) and (in [2] or in[3] or in[4] or in[6] or in[7] or in[5] or out[4] or in[4] or out[4])) and in[0] and ((not out[4]) or (in[7] or in[0] or in[0] or in[0] or out[4]) or (in[4] and out[4] and in [4] and in[6] and in[2] and in[4] and in[2] and in[6] and in[6] and in[1] and in[7] and in[4]) or (not in[3]) or (in[0] or in[4] or in[3] or in[2] or in[4]) or (in[1] or out[4] or in[6] or out[4] or in[2] or out[4] or in[7]) or in[7] or (not in[6]) or (not in[6]) or  (not in[1])) and ((in[4] or  out[4] or in[3]) or (not in[6]) or (not in[2]) or in[3]  or in[6] or (in[7] or in[7] or in[7] or in[0] or in[4] or in[1] or out[4] or in[4] or in[7] or out[4]) or in[7] or (in[1] and in[1] and in[5] and in[2] and in[5] and in[1])) and (not in[0]) and in[5] and  out[4] and (in[2] and (in[1] or in[5] or in[2] ) and (in[5] and in[1] and in[5]) and (in[0] or in[6]  or in[4] or in[0] or out[4] or in[5]) and (not in[5]) and (in[7] or in[2] or in[4])) and ((not in[2]) and in[3] and in[7] and in[4] and (in[7] and in[7]  and in[ 7] and in[6] and in[4]) and (out [4] or in[1] or out[4]) and out[4] and in[2]) and ((not in[6]) or (in[6] or in[0] or in[5] or in[5] or out[4] or in[1] or in[5])) and (in[4] and in[0]) and (not in[0])) and (not in[5]) and (not out[4]) and (((in[3] or in[0] or in[5] or in[0] or in[5]) or (in[3] and in[0] and in[2] and in[6]) or (in[4] or in[5] or in[1] or in[4] or in[6] or in[5] or in[1] or in[4] or in[2] or in[3] or in[2])) and in[4 ] and ((in[1] and in[1] and in[4] and in[4] and out[4] and in[2] and in[6] and in[5] and in[7] and in[7] and  in[5] and in[7]) or in[7] or (not in[1]) or out[4] or (in[2] and out[4] and in [5] and in[5] and in[0] and in[3]) or (not in[ 6]) or (in[1] or in[3] or in[7]) or (out[4] or in[7] or in[0] or  in[5]) or ( in[6] or in[4] or in[5] or in[5] or in[4] or in[1] or in[6] or in[5] or out[4] or in[7] or in[4] or in[1] or in[4]) or (not in[5])) and in[2] and in[5] and (not in[1]) and ((not in[1]) and in[0] and (out[4] or in[5]) and (in[7] or in[5] or in[4] or in [0]) and (not out[4]) and (not in[1]) and in [0] and (in[7] or in[0] or in[5] or in[6]) and (out[4] or in[3] or in[2] or in[1]))) and (not in[2]) and ( ((not out[4]) or (in[1] and in[1] and in[4] and in[0] and in[4] and in[5]) or in[7] or (not in[1]) or (not in[6])) and ((not in[2]) or (not in[4]) or (in[1] and in[7] and in[6] and in[7] and in[4] and in[4] and out[4] and in[2] and in[1] and in[2] and in[0] and in[3] and in[6]) or in[2] or (out[ 4] or in[0] or in[1] or in[0] or in[2] or in[7] or in[1] or in[5] or in[6] or in[6]) or (out[4] or in [1] or in[3] or in[4] or in[2] or in[1])) and (not in[5]) and (not out[4]) and (not in[2])));
t=((((in[5] and EZ and in[5] and out[4] and EZ and in[6] and out[4] and in[6]) or in[5] or (not EZ) or (in[6] and in [4] and in[5] and in[3] and out[4] and in[3] and in[6]) or (not EZ) or (in[1] or in[6] or in[0] or in[2] or in[2] or in[4] or in[1] or in[3] or in[0] or in[6]) or (in[4] or in[5] or in[0] or EZ) or in[4] or (in[0] and out[4] and EZ and in[5] and in [4]) or (in[1] and in[5] and in[5] and in[3] and EZ and in[6] and in[0] and in[0])) or out[4] or ((in[4] and in[3 ] and in[4] and in[1] and in[5] and in[5] and in[7] and in[0]) and (out[4] and out[4] and in[3] and EZ and in[1]) and (not in[7]) and (out[4] and EZ and  out[4] and in[2]) and in[6] and (not in[3]) and (in[4] or out[4] or EZ or in [5] or in[6])) or ((in[1] or in[4] or in[3]) or (in[4] and in[5] and in[7] and in[4]) or (not in[6]) or (in[1] and in[5] and out[4 ] and in[7] and in[3] and in[2] and in[6] and out[4] and in[6]) or (in[7] and EZ and in[5] and in[1]) or (in[1] and in [3] and in[5] and in[6] and in[5] and out[4] and in[4] and EZ and EZ) or EZ or (in[7] and in[2] and in[1] and in[2] and in[4] and in[5] and in[4]) or (EZ and in[6] and out[4] and out[4]) or (not in[5]))) and (not in[4]) and (in[0] or ((in[4] and out[4] and EZ) or (in[5] or in[3] or in[7] or in[0]) ) or (not in[0]) or (not EZ)) and in[3]);
KT=((in[5] or (not out[4]) or (in[0] or (out[4] and in[7] and in[6]) or (in[1]  and in[1] and t and t) or (not in[6])) or (not in[6])) and in[7] and in[0] and (in[2] and ((in[0] or in[0] or EZ) and t and (in[0] and in[0] and t and out[4] and in[5] and in[6] and in[0] and in[7] and in[5]) and (not EZ)) and (in[1] and (EZ and in[4] and in[3]  and in[1] and t and in[3]) and (in[3] and t) and ( in[5] or t or in[1] or in[1] or in[3] or in [0] or in[4] or in[5] or in[4]) and (not in[5]) and (not t) and (not t)  and out[4] and (in[4] and in[7] and in[2]) and (in[6] or in[6] or EZ or in[6] or out[ 4]) and (t and in[4] and in [6] and in[4] and in[7] and in[0]) and (not in[5]) and (EZ and in[2] and t) and (in[4] or in[3] or in[7] or in[0] or in[7] or out[4]) and (not in[1]) and (not in[5]) and (not in[5]) and (EZ and in[1] and in[3] and in[4] and in[2])) and ((not out[4]) or (not in[5]) or (t or in[7] or in[3] or t or in [1] or in[2] or t) or (out[4] and in[5] and in[5] and out[4] and in[1] and in[1] and in[7] and in[5]) or (not in[4]) or (out[4] and in[3] and in[6] and in[4] and in[5] and EZ) or (t or in[6] or in[2] or out[4] or in[0] or in[7] or in[7]) or (not t) or (not t)) and in[4]) and in[1] and (((t and t) and (in[6] or in[6] or in[4] or t or EZ or in[4] or in[2] or in[5] or in[7] or t or in[6] or in[2]) and (in[2] and in[5] and in[7] and in[4]) and (not in[4]) and (not in[4])) or (not in[1]) or (not in[4]) or ((in[4] and EZ and EZ and in[3] and in[3] and in[0] and in[2] and in[4] and in[0] and in[4] and in[2] and in[2]) and (not in[5]) and in[7] and (in[1] or in[5] or t) and in[1] and (not in[7]) and EZ and (not in[6]) and (out[ 4] and EZ and in[2] and in[6] and in[3] and out[4] and out[4] and in[3] and in[3] and in[0] and in[6] and out[4] and in[ 5] and in[2])) or ((out[4] and in[3] and EZ and t and in[2] and in[5] and in[0] and in[6]) and (in[5] and EZ) and (in[5] and in[7] and out[4] and in[6]))) and (in[5] and (not out[4]) and (not in[3]) and in[7] and (out[4] and (in[0] and EZ and t and in[5]) and (in[6] and out[4] and in[5] and in[6] and out[4]) and (in[3] and EZ and in[5] and in[6] and in[5] and out[4] and in[5] and in[6]) and (in[3] or EZ or in[0] or in[5] or in[5] or in[5]) and in[5] and in[5]) and ((in[3] and in[6] and in[6] and out[4] and out[4]) and (in[0] and in[5] and in[5] and in[3] and in[2] and in[2]) and (not in[2]) and (in [4] and in[2] and in[3] and EZ and out[4]) and (in[6] and EZ and in[3] and in[6] and in[4] and in[5] and in [0] and EZ)) and ((not in[7]) or (not in[1]) or (not in[3]) or (in[7] and in[4] and t and in[6] and in[3]) or (in[7] or EZ or in[7]) or out[4]) and (in[0] and (not in[3]) and (not in[4])) and (in[0] or in[3] or (not in[0]) or (not in[1]) or ( in[2] and in[3] and in[6]) or (in[5] or in[7] or in[3]) or (not in[2]) or (not in[4]) or (EZ or in[3] or in[2] or in[5]) or (in[7] or t or t or in[7] or EZ) or out[4])));
out[0]=(in[5] or (((not in[3]) or in[0] or in[0] or (not in[1])) or (not in[4]) or (not out[4]) or ((in[7 ] and in[4] and in[3] and in[5] and EZ and t and in[2]) or in[1] or in[3] or (in[5] or in[1] or in[2] or EZ or in[5] or KT or EZ or in[0] or in[7] or KT or KT or in[7]  or KT) or (not in[4]) or in[5] or (not KT) or (in[1] and in[6] and in[6]) or (not in[4]) or (in[1] and in[3] and in[4] and in[5] and in[6]) or in[0]) or (not t) or (in[5] or (not in[4])) or ((not in[0]) and (out[4] or in[0]) and (in[5] or in[5]) and (not out[4]) and EZ and (in[4] or EZ or in[3] or in[4] or EZ) and (in[5] and in[7] and in[6])) or (in[6] or (not in[6 ]) or in[0] or (out[4] or in[7] or out[4] or in[0] or EZ or EZ or in[0] or t) or (not in[7])) or ((not in[6]) and (not in[6])  and  EZ and t and t and (in[0] and in[4] and in[1] and in[7]) and (EZ  and in[0] and in[6] and in[1] and in[4]) and (in[4] and in[7] and in[ 0] and in[5] and KT and in[4] and in[7] and EZ)) or ((in[5] or in[0] or in[3] or KT or in[3] or out[4] or in[5] or in[6]) or (out[4] or in[2] or in[1] or in[6] or in[7] or in[7] or in[7] or in[6] or in[5] or in[3] or EZ or in[5]) or (not in[5])) or (EZ and (not in[7]) and (not t) and (in[4] and in[3] and EZ and t and out[4 ] and in[3] and in[2]) and in[4] and (KT or out[4] or in[3] or in[5] or in[5] or in[5] or  in[6] or in[3] or EZ or in[2]) and (not in[5]) and (t and in[5])) or (( in[0] and in[7] and in[6] and in[0] and t and in[3] and in[5]) or  in[7] or (not in[3]) or (in[7] and in[5] and in [2] and in[4] and KT) or (not in[7]) or in[7] or (in[1] and in[2] and EZ)) or in[2] or ((not in[2]) or in[3] or in[4] or (in[3] or in[5] or in[4]) or (in[2] or in[5] or in[3] or in[4] or in[2] or in[5]) or (not in[6]) or in[5] or in[5] or t) or out[4]) or (not in[1]));
GU=((((in [4] and out[4] and in[3] and t) and out[4] and (in[2] or in[4] or in[5] or in[2] or in[2] or out[4] or KT or in[4] or in[3] or out[0]) and KT and (in[2] and in[0] and in[5] and KT and in[4] and in[1]) and (not in[2]) and (in [6] and in[3] and in[2] and in[0] and in[3] and in[5 ] and out[4])) and (in[2] and in[0]) and in[5]) and (EZ and in[4] and in[5]) and ((KT or (not t) or (EZ or in[6] or KT or KT or in[1] or in[6] or in[3]  or in[2]) or (in[0] or in[7] or in[5] or KT) or (in[6] and in[7] and KT and t) or (not t) or in[2] or (in[7] or in[3] or EZ or in [4] or in[4] or in[1] or in[5] or in[4] or in[3] or in[7] or in[3] or out[4]) or (in[7] and in[6] and in[3] and in[3] and KT and EZ and in[7] and in[7] and in[5] and KT and KT and in[2]) or out[0] or (t or in[0])) and ((in[7] and in[2] and KT and in[3] and out[0] and in[3] and KT and KT) and (in[5] and in[3] and in[3] and out[4] and in[2] and EZ and in[3]) and (in[6] or in[0]  or in[0] or in[1]) and (in[3] or out[0] or in[6] or out[0] or  t) and (in[2] or in[5] or KT or EZ or t) and (not t) and (not KT))) and (not in[0]) and (not in[3]) and KT and (not in[0]) and (((not in[5]) or (in[6] or in[1] or t or in[5] or KT or in[2] or in[3] or in [5]) or in[0]) and EZ and (not in[0]) and (not EZ)) and (not in[1]) and (not in[7]) and (((in[7] or in[1] or in[7] or t or out[0] or t or out[0]) and (in[0] or in[2] or in[1] or EZ or EZ) and (KT and in[3] and in[4]) and (EZ or in[7] or KT or in[5] or in[ 5] or in[1] or EZ or in[2] or in[1] or in[1]) and KT and (in[3] and out[4] and in[1] and in[6] and in[2] and in[ 2])) or in[1] or in[4] or ((in[6] or in[6] or in[3] or  out[0] or out[0] or EZ or in[4]) or (in[6] or in[1] or t or in[0] or in[0] or t or in[2] or in[6]) or (not in[3]) or (not in[5]) or (in[7] or in[4] or in[2] or in[0] or t or EZ))));
P=((GU or (KT and (in[3] and in[7] and t and in[5] and t) and in[0] and GU and GU) or ((KT or EZ or t or out[0] or t) or (t or t or KT or GU or out[0]) or (in[2] and in[0] and in[7] and in[2] and in[1] and in[2] and out[0]) or in[2] or KT or (not EZ) or (not GU) or (in[3] and out[4] and in[3] and in[6] and out[4] and GU) or (out[4] and in[4] and in[3] and in[2] and in[6] and in[5] and in[ 3] and in[0] and in[6] and in[3] and out[4] and GU and EZ and in[2]) or (not out[4]) or out[4]) or in[5] or ((not out[0]) or (not out[4]) or in[6] or (not in[0]) or (not in[3]) or (in[1] and in [3] and in[4])) or in[2] or (not in[2])) or (in[4] or ((not in[ 3]) or (t and in[5] and out[0] and in[7 ] and out[0] and in[4] and in[1] and in[7] and KT and in[1]) or (in[5] or out[4] or in[4] or in[6] or in[5] or t) or (in[6] or in [7] or GU) or (out[0] or out[0] or in[0] or GU or in[2] or t or in[6] or in[6] or in[7] or out[4 ] or in[1] or in[7]))) or (((in[1] or in[0] or in[5] or in[2] or in[6] or in[3] or in[1] or t) and in[1] and (not in[6]) and in[6] and (in[3] and in[1]) and (not in[3]) and (GU or in[6] or out[0] or in[3] or in[6] or in[7] or KT) and (in[0] and t and in[1] and t) and (in[6] and EZ and in[1] and in[0] and t and t)) and (not t) and in[0] and in[7] and EZ and ((not out[4]) or (not KT) or (KT or in[1] or in[5] or EZ or in[1] or t)) and GU and ((in[3] and in[0] and in[3] and out[4] and in[5] and GU and in[ 2] and out[4] and out[4]) or (in[1] or in[6] or GU or out[0] or KT or GU or in[1] or out[4] or out[4] or in[3] or in[2]) or (not in[6]) or in[5]) and (not GU) and in[2] and GU and ((in[6] and out[0] and KT and KT) or (out[4] or in[5] or in[3] or out[4] or in[0] or in[1] or in[2]) or (out[0] or in[7] or t or in[3] or in[0] or out[0 ] or out[4]) or  in[1]) and t) or (not in[4]));
