gnu(9920)=12142
gnu(9920)=12142

This took `25219.574` seconds to construct the groups, yielding one pair of groups that grpconst could not split. The non-isomorphism test took long, but I do not have a record of the time, so it would be good if we got that with verification.

alex-konovalov/gnu