read `Litt.txt`: m:=2: for n from 2 to 7 do print(`The Mihai Nica Conjecture for words in`, {seq(i,i=1..m)}, ` of length`, n , ` is `): print(TestNicaConj(2,n)): od: print(``): print(`------------------------------------------`): print(``): m:=3: for n from 2 to 5 do print(`The Mihai Nica Conjecture for words in`, {seq(i,i=1..m)}, ` of length`, n , ` is `): print(TestNicaConj(2,n)): od: print(``): print(`------------------------------------------`): print(``): m:=4: for n from 2 to 4 do print(`The Mihai Nica Conjecture for words in`, {seq(i,i=1..m)}, ` of length`, n , ` is `): print(TestNicaConj(2,n)): od: quit: