关于2ⁿ阶群的同构分类方法及高阶2ⁿ阶群分类实现方式的技术问询

嘿，我一直对2ⁿ阶群的分类问题特别感兴趣——这类群的非同构类型数量是所有同阶群里最多的，而且分类难度出了名的大。举个例子：32阶群有51个非同构类型，64阶的更是多达267个。一般的群论教材里，顶多完整分类到15阶群，就连16阶群都没有完整的分类内容。

我发现有网站已经完成了所有500阶以下群的分类，还给每个群都赋予了专属名称。所以我很好奇：像64阶、128阶甚至更高阶的2ⁿ群，它们的分类是手动通过群表示完成的，还是借助计算群论的编程工具实现的呢？

备注：内容来源于stack exchange，提问作者John Lee