Gapplet
Let Mr be the monoid of all maps {1,...,r} -> {1,...,r}. If you input an element, we check if it is invertible.