>>13571433The site also collects where those sequences pop up.
If you write down 7 group properties and ask how many groups of size n there are with this property, then you want to note that down.
That's at least easier than the huge task to construct automatically, all different models for all different axiom combinations
