//First, we check 5S4. R:=IntegerRing(5); GL5:=GeneralLinearGroup(2,R); H:=sub; SubH:=Subgroups(H: IndexEqual:=6); S2:=SubH[2]`subgroup; ClassS2:=Class(GL5,S2); ClassS2; //Next, we check 13S4. R:=IntegerRing(13); GL13:=GeneralLinearGroup(2,R); H:=sub; SubH:=Subgroups(H: IndexEqual:=6); S4:=SubH[4]`subgroup; ClassS4:=Class(GL13,S4); ClassS4;