Theoretical background and an implementation of the p-group generation algorithm by Newman and O’Brien are used to prov......