gap> List(OrientableManifolds{[4,8,10,11,12,13,15,16,18]},m->
          IsFinite(FundamentalGroup(m)));
[ true, true, true, true, true, true, true, true, true ]

gap> List(OrientableManifolds{[4,8,10,11,12,13,15,16,18]},m->
          StructureDescription(FundamentalGroup(m)));
[ "Q8", "C2", "C4", "C3 : C4", "C12", "C8", "C14", "C6", "1" ]

