Ребус: "xisyo+xisyo=sofia"

a = "xisyo"
b = "xisyo"
c = "sofia"
for i in range(10000, 99999):
    a1 = i
    b1 = a1
    c1 = (str(a1+b1))
    a2 = str(a1)
    if a2[4] == c1[1]:
        if a2[1] == c1[3]:
            print(a2, c1)
    a1 = a1 + 1

a = "xisyo"
b = "xisyo"
c = "sofia"
for i in range(10000, 99999):
    a1 = i
    b1 = a1
    c1 = (str(a1+b1))
    a2 = str(a1)
    if a2[4] == c1[1]:
        if a2[1] == c1[3]:
            if a2[2] == c1[0]:
                if not a2[0] in c1:
                    if not a2[3] in c1:
                        if a2[4] != c1[0] and a2[4] != c1[2] and a2[4] != c1[3] and a2[4] != c1[4]:
                            if a2[2] != c1[1] and a2[2] != c1[2] and a2[2] != c1[3] and a2[2] != c1[4]:
                                if a2[1] != c1[0] and a2[1] != c1[1] and a2[1] != c1[2] and a2[1] != c1[4]:
                                    print(a2, c1)
    a1 = a1 + 1

"""
a = "xisyo"
b = "xisyo"
c = "sofia"
"""
for j in range(10000, 50000):
    t = str(2*j)
    j = str(j)
    if (len(set(j)) == len(set(t)) == 5 
        and len(set(j + t)) == 7 
        and t[0]+t[1]+t[3] == j[2]+j[4]+j[1]):
        print(j, t)

all_diff = lambda n: len( str(n) )==len( set(str(n)) )
i = 1
for a in range( 10000, 99999//2+1 ):
    b_sofia = 'sofia'
    a_xisyo = 'xisyo'
    b       = a*2
    a_s     = str(a)
    b_s     = str(b)
    if all_diff(a) and all_diff(b)\
    and b_s[ b_sofia.index('s') ]==a_s[ a_xisyo.index('s') ]\
    and b_s[ b_sofia.index('o') ]==a_s[ a_xisyo.index('o') ]\
    and b_s[ b_sofia.index('f') ] not in a_s\
    and b_s[ b_sofia.index('i') ]==a_s[ a_xisyo.index('i') ]\
    and b_s[ b_sofia.index('a') ] not in a_s:
        print(f'{i}) {a}+{a}={b}')
        i += 1

def count_letters(s):
    return sum( [ not s[i].isdigit() for i in range( len(s) ) ] )
#==============================================================================
def get_good_digits( digits, dig_a, dig_b ):
    res = []
    for i in range( len(digits) ):
        if dig_a[i].isdigit() == dig_b[i].isdigit():
            if dig_a[i] == dig_b[i]:
                res.append( str( dig_a[i] ) )
            else:
                return None
        else:
            if dig_a[i].isdigit():
                res.append( dig_b[i] )
            else:
                res.append( dig_a[i] )
    return res
#==============================================================================
def print_rebus( a_word, b_word ):
    print()
    print(f'\t{a_word} + {a_word} = {b_word}')
    all_let_count = len( set(a_word) | set(b_word) )
    if all_let_count > 10:
        print('Количество различных букв, использованных в обоих словах, больше десяти, поэтому решения нет. ')
        return
    i = 0
    min_word_len = min( len(a_word), len(b_word) )
    max_word_len = max( len(a_word), len(b_word) )
    for a in range( 10**( min_word_len - 1 ), 10**( max_word_len ) - 1 ):
        b   = a*2
        a_s = str(a)
        if len(a_s) != len( a_word ):
            continue
        b_s = str(b)
        if len(b_s) != len( b_word ):
            continue
        a_tr    = str.maketrans( a_s, a_word )
        b_tr    = str.maketrans( b_s, b_word )
        digits  ='0123456789'
        dig_a   = digits.translate(a_tr)
        dig_b   = digits.translate(b_tr)
        good_digits = get_good_digits( digits, dig_a, dig_b )
        if not good_digits:
           continue
        good_digits=''.join( good_digits )
        dig_tr = str.maketrans( digits, good_digits )
        if a_s.translate( dig_tr ) == a_word\
        and b_s.translate( dig_tr ) == b_word \
        and all_let_count == count_letters( good_digits ):
            i += 1
            print(f'{i})\t{a} + {a} = {b}')
    if not i:
        print('Нет решений.')
#==============================================================================
print_rebus( 'мороз', 'обрез' )
print_rebus( 'барак', 'кабан' )
print_rebus( 'корова', 'молоко' )
print_rebus( 'xisyo', 'sofia' )