Полным ходом шла подготовка космонавтов, которым суждено покорять красную планету. Профессору X предложили выбрать среди уже подготовленных и прошедших физический отбор космонавтов тех, кто покажется ему наиболее достойным. Профессор решил, что раз все космонавты проходят по физическим показателям, надо бы отобрать тех из них, кто лучше соображает.

Профессор, не долго думая, набросал на листочке несколько числовых ребусов, которые обычно дают решать детям на уроках математики, и хотел предложить их космонавтам. Но он столкнулся с проблемой, что сам не мог с ходу найти решения некоторых из них. Для ускорения процесса профессор X решил написать программу, которая будет решить ребусы за него.

Все ребусы профессора представляли собой задачи вида «a+b=c», где $$$a$$$, $$$b$$$ и $$$c$$$ — некоторые слова. Каждая буква слова может быть заменена на какую-либо цифру, причём в рамках одной задачи одна и та же буква обозначает одну и ту же цифру, а разные буквы — несовпадающие цифры. Решить задачу — значит подобрать такую замену всех букв на цифры, которое удовлетворяло бы названному условию и обеспечивало заданное равенство. Разумеется, найти нужно все решения. Получившиеся в результате замены числа могут содержать ведущие нули.