Let us continue the fun we had before here.
How do we speed up the calculation? Well, we need to limit somehow the space on which we perform the search.
Very obvious way is to eliminate the symmetries. Every permutation induces a natural transformation on sets (and sets of sets, like antimatroids, …). For example:
working on :