import sys, itertools

f=open(sys.argv[1],"r")
ar=f.readlines()
input_lines=[item.rstrip() for item in ar]

input_preprocessed=[]

numbers=set()

for i in input_lines:
    input_preprocessed.append(list(i))
    for x in list(i):
        numbers.add(x)

print ("numbers used:")
print ("".join(sorted(list(numbers))))

# https://en.wiktionary.org/wiki/monotonic_increasing
def chk_strictly_monotonic_increasing(l):
    if len(l)==1:
        return True
    if l[0]<l[1]:
        return chk_strictly_monotonic_increasing(l[1:])
    return False
    
def chk_permutation(x):
    for i in input_preprocessed:
        rt=[]
        for j in i:
            rt.append(x.index(j))
        if chk_strictly_monotonic_increasing(rt)==False:
            return False
    return True

print ("solutions:")
for x in itertools.permutations(numbers):
    if chk_permutation (x):
        print ("".join(x))