A program to find and list finite ordered abelian unital monoids