yulya

def dvoich (x):
    x = x.split('+')
    str = " "
    for u in range(len(x)):
        if x.count(x[u]) % 2 == 1 and str[len(str)-2] != x[u]:
            str += x[u] + "+"
    return str

def zamena (x):
    zamena = {'u1u1':'v', 'u2u3':'w', 'u3u1':'w', 'u3u2':'w', 'u3u3':'w', 'u1v':'w', 'vu1':'w'}
    simv = ("u1u2","u1u3","u2u1","u2u2", "u1w","u2w","u3w", "vw", "wu1", "wu2", "wu3", "wv", "u2v", "u3v", "vu2", "vu3")
    x = x.split('+')
    str = ""
    for i in range(len(x)):
        if x[i] in zamena:
           str += zamena[x[i]] + '+'
        elif x[i] in simv:
            continue
        else:
            str += x[i] + '+'
    return str


def resh (ur1, ur2):
    x = ur1.split("+")
    y = ur2.split("+")
    str = ""
    for i in range(len(x)):
        for j in range(len(y)):
            if x[i] == '1' and y[j] == '1':
                str += '1+'
            elif x[i] == '1':
                str += y[j] + "+"
            elif y[j] == '1':
                str += x[i] + "+"
            elif x[i] == '0' or y[j] == '0':
                continue
            else:
                str += x[i] + y[j] + "+"
    str = zamena(str)
    str = dvoich(str)
    return str

urv = ['0+0+0+0+0+0',
'0+0+0+0+0+w',
'0+0+0+0+v+0',
'0+0+0+0+v+w',
'0+0+0+u3+0+0',
'0+0+0+u3+0+w',
'0+0+0+u3+v+0',
'0+0+0+u3+v+w',
'0+0+u2+0+0+0',
'0+0+u2+0+0+w',
'0+0+u2+0+v+0',
'0+0+u2+0+v+w',
'0+0+u2+u3+0+0',
'0+0+u2+u3+0+w',
'0+0+u2+u3+v+0',
'0+0+u2+u3+v+w',
'0+u1+0+0+0+0',
'0+u1+0+0+0+w',
'0+u1+0+0+v+0',
'0+u1+0+0+v+w',
'0+u1+0+u3+0+0',
'0+u1+0+u3+0+w',
'0+u1+0+u3+v+0',
'0+u1+0+u3+v+w',
'0+u1+u2+0+0+0',
'0+u1+u2+0+0+w',
'0+u1+u2+0+v+0',
'0+u1+u2+0+v+w',
'0+u1+u2+u3+0+0',
'0+u1+u2+u3+0+w',
'0+u1+u2+u3+v+0',
'0+u1+u2+u3+v+w',
'1+0+0+0+0+0',
'1+0+0+0+0+w',
'1+0+0+0+v+0',
'1+0+0+0+v+w',
'1+0+0+u3+0+0',
'1+0+0+u3+0+w',
'1+0+0+u3+v+0',
'1+0+0+u3+v+w',
'1+0+u2+0+0+0',
'1+0+u2+0+0+w',
'1+0+u2+0+v+0',
'1+0+u2+0+v+w',
'1+0+u2+u3+0+0',
'1+0+u2+u3+0+w',
'1+0+u2+u3+v+0',
'1+0+u2+u3+v+w',
'1+u1+0+0+0+0',
'1+u1+0+0+0+w',
'1+u1+0+0+v+0',
'1+u1+0+0+v+w',
'1+u1+0+u3+0+0',
'1+u1+0+u3+0+w',
'1+u1+0+u3+v+0',
'1+u1+0+u3+v+w',
'1+u1+u2+0+0+0',
'1+u1+u2+0+0+w',
'1+u1+u2+0+v+0',
'1+u1+u2+0+v+w',
'1+u1+u2+u3+0+0',
'1+u1+u2+u3+0+w',
'1+u1+u2+u3+v+0',
'1+u1+u2+u3+v+w']

gr = [[]for i in range(64)]

for i in range(64):
    print()
    print(str(i+1), end=" == ")
    for j in range(64):
        if resh(urv[i], urv[j]) == resh(urv[j], urv[i]):
            print(str(j+1), end=" ")
            gr[i].append(j+1)
print()
for i in range(64):
    for j in range(i, 64):
        if gr[i] == gr[j] and i != j:
            print(str(i+1) + " = " + str(j+1))