The order value is mandatory when reading a Grp[Relabeling] from plain data (our deterministic Schreier-Sims implementation is *very* slow).