# 2 12 6
Q=(not in[0]);
Un=((not Q) or (((Q and in[1] and in[1] and in[1] and in[0] and Q and Q and in[1] and Q and in[0] and in[0] and in[0] and in[0]) and (not Q) and (in[0] or in[0] or Q or  Q or Q or Q or in[1] or in[0]) and (in[1] and in[1] and in[1] and in[0] and in[0] and in[1] and in[1] and Q) and (Q or Q or in[1] or in[1]) and (not Q) and (in[ 0] and in[0] and in[1] and in[1]) and (in[0] and in[1]) and Q and (Q or in[0] or in[0]) and in[0] and (not Q) and (not in[1]) and  (Q and Q) and (in[1] or in[1] or Q or in[1]) and (in[1] or Q) and (not in[0]) and (not in[1])) and (in[0] or (in[0] and  in[1] and in[1] and in[0]) or (not in[0]) or in[0])));
zXk=((((Q and in[0]) or (Q and Q and Q) or Un or (in[0] and Un) or (in[0] and in[0] and in[0])) or in[0] or (not Q) or (in[0] or (not Q) or Q or (Q and in[1] and in[1] and in[0] and in[1] and Un and in[0] and in [0] and Un and Q and in[0]) or (Q or in[1] or in[0]) or (in[0] or Un)) or (in[1] and (in[0] and Q and Q and Q and in[0] and in[0] and in[0]) and (not Q) and (not Un) and Q and (not in[1]))) or in[0] or (((not Un) and Q and (Q or Q or in[1] or Un) and (Un and Un and in[1] and Un and in[0] and Un and in[1] and in[0] and Un and Q) and (in[ 1] and Q and  in[0] and in[1] and Un and in[0]) and Un and (in[1] or Q or Q or Un or Q) and (in[1] and in[1] and in[1] and in[1] and in[0] and Q and in[1] and in[1]) and (in[0] or Un or in[0] or in[1])) and ((Un and Un and Q) or Q or (Un or Q or in[1] or in[0] or in[0] or Un or Un)) and ((not in[1]) or Q)) or (not Un) or (not Q) or (((not Q) and (in[1] and in[0] and in[1] and in[1 ] and in[1] and in[1]) and (not Q) and (in[1] or in[0] or in[1] or Un or Q or in[0]) and (not Q) and (not in[1]) and (not Un)) or ((in[0] or in[0] or Un or in[1] or Q or in[1] or Un or Un) and (in[1] or in[0]) and (Q or Un or Un or Q)) or (not Q) or ((Q and Un and in[0] and in[0] and Q and in[1] and Q and in[0] and in[1] and in[0] and  in[0] and in[1] and in[1]) or (not Un) or (in[0] and in[0] and in[1] and Q and Un and in[0]) or (in[1] and in[1] and Q and Un))  or Un or ((in[0] or in[1] or Q or Q or Un or in[1] or in[0 ] or in[1]) and (not in[0]) and (in[0] or Q or in[1] or in[1] or in[1])) or (not Un) or ((in[0] and in[1] and Un and in[1] and in[0] and Q and Un and in[1] and Un and Q and in[0]) and (not in[1]) and (not Un) and (not Un) and Un and (not in[1]) and (not in[1]) and (in[1] or in[0] or in[1] or in[0] or in[0] or Q)) or (not Q) ) or (in[1] or (Un or (in[0] or Un or Un or Un or Un or in[0] or Un or Q or in[0]  or Q or Un or Un) or (not in[0]) or (not Un) or (Un or in[1] or in[0] or in[1] or Q or in[1] or Q or in[1] or Un) or (in[1] or in[1] or Un or Q or in[0])) or in[0] or ((in[0 ] and Q and Q and in[0] and in[0]) and Q and in[0] and (Un and Q and in[1] and Q and Un and Q ) and (not in[1]) and Un and (not Q) and in[0] and Q and (Q or in[1] or Q or in[1] or Un or in[1] or Q or in[0] or Un or in[ 1] or in[1] or Q or in[0] or Q or in[1] or Q) and (not in[1]) and Q and (not in[0]) and (Q and in[1] and in[0] and in[1] and in[1] and in[1])) or (in[0] or (not in[1]) or Un) or Un));
O=(not in[1]);
h34=(in[ 1] or (((in[0] or zXk or in[0]) or Un or (Q or zXk or Un or in[1] or Un) or (O and Un and Un and in[0] and Un and  in[0]) or O or (not in[1]) or  (Q and O and in[0] and in[0] and zXk and Q and Q and O and in[1]) or O or Un) or ((Q or Q or Q or O or zXk or in[1] or O) or (not in[1]) or zXk or ( Q or Q or in[1] or Un or in[1]) or (Un and Un and Un and O and Q and Un and in[0] ) or (not in[0]) or O or (in[0] or in[1] or Q or O) or (zXk or in[1] or zXk or Q)) or ((not in[1]) or (in[1] and zXk and in[0] and zXk and in[0] and in [0] and zXk and in[0] and Un and in[0] and in[0] and in[0] and O) or O) or ((Q or Un or  Q or in[1]) or (in[1 ] or zXk or in[1] or Un or in[0] or in[0] or Q or in[1] or in[0]) or (in[0] or Un or in[0] or Q or in[0] or in[0] or Un or O or in[1] or Q or zXk) or (O and in[0] and zXk and Un) or (not zXk) or (in[1] and Q) or (O or O or in[0]) or (not zXk) or (in[0] or in[0] or zXk or Q or O or zXk or  Un) or (not in[0]) or zXk) or ((zXk and Un and Q) or (zXk or Q or Un or in[1] or Q or zXk or Q or O) or O or (in[1]  or Q or in[0]  or in[1] or zXk or in[1]) or (in[1] and Q and zXk and in[1] and in[0]) or (not Q) or Un or (zXk or Q or zXk) or (O and zXk and Un and in[1] and Q) or (not Un) or (not in[0]) or (in[1] and in[0] and Un and in [1] and zXk and zXk and O and in[ 0] and in[1] and zXk) or (not Q) or (Q or zXk or zXk or Un or zXk or zXk or Q or in[0] or O or in[1] or O or Un or zXk or O or zXk) or (Q and zXk and in[0] and in[1] and in[0]) or (not in[0]) or ( in[0] or in[0] or Un)) or ((in[0] or O or in[0]) and (O and O and in[1] and in[1] and zXk and in[0] and Q) and zXk and Q and (not O) and (not O) and (not Un) and (not Q))) or ((not Un) and (not in[1]) and ((not Un) and (not in[1])) and (not zXk)) or zXk or ((not in[0]) or ((not in[0]) or (in[0] or Q or O or Q or in[1] or in[1] or Un or in[0] or in[0] or O or Un or O) or (not in[1]) or (Un  and Q and zXk and in[1] and in[1] and in[1]) or (not O) or (not zXk)) or ((zXk or in[0] or in[1]) and (not Q) and (O or in[1] or O or zXk or zXk))) or (not O) or (not O) or (not Un) or ((Un and Q and (O or Un or Q or in[1] or zXk or in[1]) and (in[1] and Un and in[1] and O)) and ((O or zXk or in[1] or in[0] or zXk or Q or zXk) and (Q and zXk and in[1] and in[1] and Q)) and ((not Un) or in[0]) and ((not Q) or (in[0] and Un and Q and O and Q and zXk and zXk) or (Un or zXk or in[1] or Q or Un) or in[1] or Un or (not in[0])) and Q and ((not in[1]) and (in[0] and Q and zXk and Q and in[0] and O and Un and O and O and Un and zXk) and O and (in[0] and zXk and zXk and Un and in[0]) and Q and (not in[1])) and zXk and (in[0] or (not zXk) or (Q or zXk or O or Q or zXk or in[1]) or (in[0] or Q or Q or Un or zXk or Q)) and (O  and (not zXk) and (zXk and Q and Q and in[1] and in[1] and Q and Un) and O and (in[1] and in[ 0] and in[0] and Q and O and zXk and O and in[1] and Q and in[1] and Q) and (zXk or Q or in[1]) and Un and ( Q and Un and in[1] and Q)) and in[0]));
o=(O and Un and (not Un) and in[0] and ((not in[0]) and O and (not in[0])) and ((not in[1]) or (Un or (in[1]  or Q or in[0])) or ((h34 or in[0] or in[1] or zXk or Un) and (h34 or O or Q or in[0] or Q) and (not in[1]) and (zXk or Un or O or Un or O or in[0] or in[0]) and Q and (not zXk) and (Un and zXk) and (Un or in[0] or O or zXk or O or zXk)) or (not in[1]) or ((h34 and h34 and Un) and (not zXk) and (not h34) and (O or zXk) and h34) or (not Q) or ((zXk or in[0] or h34 or in[1 ] or h34 or Un  or h34 or O) and (not zXk) and (not in[1]) and (not h34) and in[0] and (zXk or in[1] or O or zXk or in[0] or h34 or Un or zXk)) or ((O and Un and in[1] and h34 and zXk and h34) and (not Un) and O and (h34 or zXk or Q or Q) and (Q or Un or Q or  O or in[ 0] or in[1] or O) and (in[0] and O and in[0] and zXk and Un and in[1] and Un) and (not in [1]) and (Q and in[0] and O and h34 and in[0] and in[1])) or ((zXk and Un and Q and O and O and in[1] and h34) or O or (not in[1]) or zXk or (in[0] or O or h34) or Q) or ((in[0] or Un or in[1] or in[0]) and (in[0] and in[0] and in[0] and Un and zXk and Un and Q and h34 and Un) and (zXk or h34 or Un or O or zXk or O or zXk or zXk or Un or zXk)) or (not zXk) or zXk));
