The label for a group has the form , where is the order of the group and is the small group id that distinguishes groups of the same order (as determined in GAP). If a group is not in GAP Small Groups database, we replace with an incrementing letter code, assigning labels to groups as they are added to our database.
Subgroups are labeled using the ambient group, index, and an ordering of subgroups up to automorphism and then up to conjugacy with the same invariants.