This morning I was drinking some green tea and suddenly realised that
using Mace4 I can go beyond lower dimensions for my semigroups
project. Previously I relied mostly on a pre-computer database of all
semigroups of a given order. But now I have a machine for precise
solutions of Cayley table completion problem. That might be
interesting, although I should do a lot of experiments to get
anything from that.
