the claim's element list is the same set of 60480 permutations of the 21 points as mine: True
claim: 100 classes; mine: 100 classes; exact conjugacy matching is a bijection, with equal normaliser orders: True
total number of subgroups (both): 81220 81220
