local words;
Print("words!\n");
words := [
a*b^-1*a^-1*a*a^-1,
a*c^-1*b^-1*a^-1*a*a^-1,
a*d^-1*c^-1*b^-1*a^-1*a*a^-1,
a*b^-1*c^-1*d^-1*a*a^-1,
a*c^-1*d^-1*a*a^-1,
a*d^-1*a*a^-1,
a*a*a^-1*a,
a*b^-1*a^-1*a,
a*c^-1*b^-1*a^-1*a,
a*d^-1*c^-1*b^-1*a^-1*a,
a*b^-1*c^-1*d^-1*a,
a*c^-1*d^-1*a,
a*d^-1*a,
a*a*a^-1*a*b,
a*a^-1*a*b,
a*c^-1*b^-1*a^-1*a*b,
a*d^-1*c^-1*b^-1*a^-1*a*b,
a*b^-1*c^-1*d^-1*a*b,
a*c^-1*d^-1*a*b,
a*d^-1*a*b,
a*a*a^-1*a*b*c,
a*a^-1*a*b*c,
a*b^-1*a^-1*a*b*c,
a*d^-1*c^-1*b^-1*a^-1*a*b*c,
a*b^-1*c^-1*d^-1*a*b*c,
a*c^-1*d^-1*a*b*c,
a*d^-1*a*b*c,
a*a*a^-1*a*b*c*d,
a*a^-1*a*b*c*d,
a*b^-1*a^-1*a*b*c*d,
a*c^-1*b^-1*a^-1*a*b*c*d,
a*b^-1*c^-1*d^-1*a*b*c*d,
a*c^-1*d^-1*a*b*c*d,
a*d^-1*a*b*c*d,
a*a*a^-1*d*c*b,
a*a^-1*d*c*b,
a*b^-1*a^-1*d*c*b,
a*c^-1*b^-1*a^-1*d*c*b,
a*c^-1*d^-1*d*c*b,
a*d^-1*d*c*b,
a*a*a^-1*d*c,
a*a^-1*d*c,
a*b^-1*a^-1*d*c,
a*c^-1*b^-1*a^-1*d*c,
a*d^-1*c^-1*b^-1*a^-1*d*c,
a*b^-1*c^-1*d^-1*d*c,
a*d^-1*d*c,
a*a*a^-1*d,
a*a^-1*d,
a*b^-1*a^-1*d,
a*c^-1*b^-1*a^-1*d,
a*d^-1*c^-1*b^-1*a^-1*d,
a*b^-1*c^-1*d^-1*d,
a*c^-1*d^-1*d,
a*b*a^-1*a*a^-1,
a*b*c^-1*b^-1*a^-1*a*a^-1,
a*b*d^-1*c^-1*b^-1*a^-1*a*a^-1,
a*b*b^-1*c^-1*d^-1*a*a^-1,
a*b*c^-1*d^-1*a*a^-1,
a*b*d^-1*a*a^-1,
a*b*a*a^-1*a,
a*b*b^-1*a^-1*a,
a*b*a*a^-1*a*b,
a*b*a^-1*a*b,
a*b*c^-1*b^-1*a^-1*a*b,
a*b*d^-1*c^-1*b^-1*a^-1*a*b,
a*b*b^-1*c^-1*d^-1*a*b,
a*b*c^-1*d^-1*a*b,
a*b*d^-1*a*b,
a*b*a*a^-1*a*b*c,
a*b*b^-1*a^-1*a*b*c,
a*b*d^-1*c^-1*b^-1*a^-1*a*b*c,
a*b*b^-1*c^-1*d^-1*a*b*c,
a*b*c^-1*d^-1*a*b*c,
a*b*d^-1*a*b*c,
a*b*a*a^-1*a*b*c*d,
a*b*b^-1*a^-1*a*b*c*d,
a*b*c^-1*b^-1*a^-1*a*b*c*d,
a*b*b^-1*c^-1*d^-1*a*b*c*d,
a*b*c^-1*d^-1*a*b*c*d,
a*b*d^-1*a*b*c*d,
a*b*a*a^-1*d*c*b,
a*b*b^-1*a^-1*d*c*b,
a*b*c^-1*b^-1*a^-1*d*c*b,
a*b*d^-1*c^-1*b^-1*a^-1*d*c*b,
a*b*c^-1*d^-1*d*c*b,
a*b*d^-1*d*c*b,
a*b*a*a^-1*d*c,
a*b*b^-1*a^-1*d*c,
a*b*c^-1*b^-1*a^-1*d*c,
a*b*d^-1*c^-1*b^-1*a^-1*d*c,
a*b*b^-1*c^-1*d^-1*d*c,
a*b*d^-1*d*c,
a*b*a*a^-1*d,
a*b*b^-1*a^-1*d,
a*b*c^-1*b^-1*a^-1*d,
a*b*d^-1*c^-1*b^-1*a^-1*d,
a*b*b^-1*c^-1*d^-1*d,
a*b*c^-1*d^-1*d,
a*b*c*a^-1*a*a^-1,
a*b*c*b^-1*a^-1*a*a^-1,
a*b*c*d^-1*c^-1*b^-1*a^-1*a*a^-1,
a*b*c*b^-1*c^-1*d^-1*a*a^-1,
a*b*c*c^-1*d^-1*a*a^-1,
a*b*c*d^-1*a*a^-1,
a*b*c*a*a^-1*a,
a*b*c*b^-1*a^-1*a,
a*b*c*c^-1*b^-1*a^-1*a,
a*b*c*a*a^-1*a*b,
a*b*c*a^-1*a*b,
a*b*c*c^-1*b^-1*a^-1*a*b,
a*b*c*a*a^-1*a*b*c,
a*b*c*a^-1*a*b*c,
a*b*c*b^-1*a^-1*a*b*c,
a*b*c*d^-1*c^-1*b^-1*a^-1*a*b*c,
a*b*c*b^-1*c^-1*d^-1*a*b*c,
a*b*c*c^-1*d^-1*a*b*c,
a*b*c*d^-1*a*b*c,
a*b*c*a*a^-1*a*b*c*d,
a*b*c*c^-1*b^-1*a^-1*a*b*c*d,
a*b*c*b^-1*c^-1*d^-1*a*b*c*d,
a*b*c*c^-1*d^-1*a*b*c*d,
a*b*c*d^-1*a*b*c*d,
a*b*c*a*a^-1*d*c*b,
a*b*c*c^-1*b^-1*a^-1*d*c*b,
a*b*c*d^-1*c^-1*b^-1*a^-1*d*c*b,
a*b*c*c^-1*d^-1*d*c*b,
a*b*c*d^-1*d*c*b,
a*b*c*a*a^-1*d*c,
a*b*c*c^-1*b^-1*a^-1*d*c,
a*b*c*d^-1*c^-1*b^-1*a^-1*d*c,
a*b*c*b^-1*c^-1*d^-1*d*c,
a*b*c*d^-1*d*c,
a*b*c*a*a^-1*d,
a*b*c*c^-1*b^-1*a^-1*d,
a*b*c*d^-1*c^-1*b^-1*a^-1*d,
a*b*c*b^-1*c^-1*d^-1*d,
a*b*c*c^-1*d^-1*d,
a*b*c*d*a^-1*a*a^-1,
a*b*c*d*b^-1*a^-1*a*a^-1,
a*b*c*d*c^-1*b^-1*a^-1*a*a^-1,
a*b*c*d*b^-1*c^-1*d^-1*a*a^-1,
a*b*c*d*c^-1*d^-1*a*a^-1,
a*b*c*d*d^-1*a*a^-1,
a*b*c*d*a*a^-1*a,
a*b*c*d*b^-1*a^-1*a,
a*b*c*d*c^-1*b^-1*a^-1*a,
a*b*c*d*d^-1*c^-1*b^-1*a^-1*a,
a*b*c*d*a*a^-1*a*b,
a*b*c*d*a^-1*a*b,
a*b*c*d*c^-1*b^-1*a^-1*a*b,
a*b*c*d*d^-1*c^-1*b^-1*a^-1*a*b,
a*b*c*d*a*a^-1*a*b*c,
a*b*c*d*a^-1*a*b*c,
a*b*c*d*b^-1*a^-1*a*b*c,
a*b*c*d*d^-1*c^-1*b^-1*a^-1*a*b*c,
a*b*c*d*a*a^-1*a*b*c*d,
a*b*c*d*a^-1*a*b*c*d,
a*b*c*d*b^-1*a^-1*a*b*c*d,
a*b*c*d*c^-1*b^-1*a^-1*a*b*c*d,
a*b*c*d*b^-1*c^-1*d^-1*a*b*c*d,
a*b*c*d*c^-1*d^-1*a*b*c*d,
a*b*c*d*d^-1*a*b*c*d,
a*b*c*d*a*a^-1*d*c*b,
a*b*c*d*d^-1*c^-1*b^-1*a^-1*d*c*b,
a*b*c*d*c^-1*d^-1*d*c*b,
a*b*c*d*d^-1*d*c*b,
a*b*c*d*a*a^-1*d*c,
a*b*c*d*d^-1*c^-1*b^-1*a^-1*d*c,
a*b*c*d*b^-1*c^-1*d^-1*d*c,
a*b*c*d*d^-1*d*c,
a*b*c*d*a*a^-1*d,
a*b*c*d*d^-1*c^-1*b^-1*a^-1*d,
a*b*c*d*b^-1*c^-1*d^-1*d,
a*b*c*d*c^-1*d^-1*d
];
return words;