Программа для разбора системы регулярных уравнений

[Isaacs]

Есть простая консольная программа на вход которой (в файле Input.txt) задается размерность системы регулярны уравнений, а затем - ее коэффициенты.
a10 a11 a12...a1n
a20 a21 a22...a2n
...........................
an0 an1 an2....anm

На выходе программа дает (в Output.txt):
1) Полное решение системы регулярных уравнений;
2) Упрощенное решение

Пример:

Вход(1):

2
e e e
e e e


Вывод:(2)
x[0]=e x[1]=e x[0]=(e)*(e+(e)(((e)+(e)(e)*(e))*((e)+(e)(e)*(e)))) x[1]=((e)+(e)(e)*(e))*((e)+(e)(e)*(e))


Ссылка на программу и более подробное ее описание.

Подскажите, как можно высвисти "руками" из (1) (2). Не понимаю, как применять для проверки указанные в сопроводительном файле леммы.