bijective PE construct left groups of a given size construct all solutions with all left groups of a given size and with thetas bijective filter all bijective solutions