調子にのって位数16にもチャレンジしてみる．なので，本当なら一生懸命やっていた p-group generation algorithmを使ってみたいところなのだが... 位数16の群の分類もまた Red cat氏の論文にばっちり書いてあるが，ここではcyclic extension theoremを使った…