| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/sonata/grp/ (Algebra von RWTH Aachen Version 4.15.1©) Datei vom 23.8.2025 mit Größe 22 kB |
|
Quelle g32.def Sprache: unbekannt |
|
|
Spracherkennung für: .def vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] GTW32_1 := Group( ( 1,17, 9,25, 5,21,13,29, 3,19,11,27, 7,23,15,31,
2,18,10,26, 6,22,14,30, 4,20,12,28, 8,24,16,32) ); GTW32_2 := Group( ( 1,17, 5,21, 3,19, 7,23, 2,18, 6,22, 4,20, 8,24) ( 9,25,13,29,11,27,15,31,10,26,14,30,12,28,16,32), ( 1,25, 5,29, 3,27, 7,31, 2,26, 6,30, 4,28, 8,32) ( 9,17,13,21,11,19,15,23,10,18,14,22,12,20,16,24) ); GTW32_3 := Group( ( 1,17, 5,21, 2,18, 6,22)( 3,19, 7,23, 4,20, 8,24) ( 9,25,13,29,10,26,14,30)(11,27,15,31,12,28,16,32), ( 1,19, 5,23, 2,20, 6,24)( 3,17, 7,21, 4,18, 8,22) ( 9,27,13,31,10,28,14,32)(11,25,15,29,12,26,16,30), ( 1,25, 7,31, 2,26, 8,32)( 3,27, 5,29, 4,28, 6,30) ( 9,19,15,21,10,20,16,22)(11,17,13,23,12,18,14,24) ); GTW32_4 := Group( ( 1,17, 3,19, 2,18, 4,20)( 5,21, 7,23, 6,22, 8,24) ( 9,25,11,27,10,26,12,28)(13,29,15,31,14,30,16,32), ( 1,21, 3,23, 2,22, 4,24)( 5,17, 7,19, 6,18, 8,20) ( 9,29,11,31,10,30,12,32)(13,25,15,27,14,26,16,28), ( 1,25, 3,27, 2,26, 4,28)( 5,29, 7,31, 6,30, 8,32) ( 9,17,11,19,10,18,12,20)(13,21,15,23,14,22,16,24) ); GTW32_5 := Group( ( 1, 9, 2,10)( 3,11, 4,12)( 5,13, 6,14)( 7,15, 8,16) (17,25,18,26)(19,27,20,28)(21,29,22,30)(23,31,24,32), ( 1,11, 2,12)( 3, 9, 4,10)( 5,15, 6,16)( 7,13, 8,14) (17,27,18,28)(19,25,20,26)(21,31,22,32)(23,29,24,30), ( 1,13, 2,14)( 3,15, 4,16)( 5, 9, 6,10)( 7,11, 8,12) (17,29,18,30)(19,31,20,32)(21,25,22,26)(23,27,24,28), ( 1,17, 3,19)( 2,18, 4,20)( 5,21, 7,23)( 6,22, 8,24) ( 9,25,11,27)(10,26,12,28)(13,29,15,31)(14,30,16,32) ); GTW32_6 := Group( ( 1,17, 2,18)( 3,19, 4,20)( 5,21, 6,22)( 7,23, 8,24) ( 9,25,10,26)(11,27,12,28)(13,29,14,30)(15,31,16,32), ( 1,19, 2,20)( 3,17, 4,18)( 5,23, 6,24)( 7,21, 8,22) ( 9,27,10,28)(11,25,12,26)(13,31,14,32)(15,29,16,30), ( 1,21, 2,22)( 3,23, 4,24)( 5,17, 6,18)( 7,19, 8,20) ( 9,29,10,30)(11,31,12,32)(13,25,14,26)(15,27,16,28), ( 1,25, 2,26)( 3,27, 4,28)( 5,29, 6,30)( 7,31, 8,32) ( 9,17,10,18)(11,19,12,20)(13,21,14,22)(15,23,16,24) ); GTW32_7 := Group( ( 1, 2)( 3, 4)( 5, 6)( 7, 8)( 9,10)(11,12)(13,14) (15,16)(17,18)(19,20)(21,22)(23,24)(25,26)(27,28)(29,30)(31,32), ( 1, 3)( 2, 4)( 5, 7)( 6, 8)( 9,11)(10,12)(13,15)(14,16) (17,19)(18,20)(21,23)(22,24)(25,27)(26,28)(29,31)(30,32), ( 1, 5)( 2, 6)( 3, 7)( 4, 8)( 9,13)(10,14)(11,15)(12,16) (17,21)(18,22)(19,23)(20,24)(25,29)(26,30)(27,31)(28,32), ( 1, 9)( 2,10)( 3,11)( 4,12)( 5,13)( 6,14)( 7,15)( 8,16) (17,25)(18,26)(19,27)(20,28)(21,29)(22,30)(23,31)(24,32), ( 1,17)( 2,18)( 3,19)( 4,20)( 5,21)( 6,22)( 7,23)( 8,24) ( 9,25)(10,26)(11,27)(12,28)(13,29)(14,30)(15,31)(16,32) ); GTW32_8 := Group( ( 1,25, 2,26)( 3,27, 4,28)( 5,29, 6,30)( 7,31, 8,32) ( 9,18,10,17)(11,20,12,19)(13,22,14,21)(15,24,16,23), ( 1,27, 2,28)( 3,25, 4,26)( 5,31, 6,32)( 7,29, 8,30) ( 9,20,10,19)(11,18,12,17)(13,24,14,23)(15,22,16,21), ( 1,29, 2,30)( 3,31, 4,32)( 5,25, 6,26)( 7,27, 8,28) ( 9,22,10,21)(11,24,12,23)(13,18,14,17)(15,20,16,19), ( 1, 9)( 2,10)( 3,11)( 4,12)( 5,13)( 6,14)( 7,15)( 8,16) (17,25)(18,26)(19,27)(20,28)(21,29)(22,30)(23,31)(24,32) ); GTW32_9 := Group( ( 1, 9, 2,10)( 3,11, 4,12)( 5,13, 6,14)( 7,15, 8,16) (17,25,18,26)(19,27,20,28)(21,29,22,30)(23,31,24,32), ( 1,11, 2,12)( 3, 9, 4,10)( 5,15, 6,16)( 7,13, 8,14) (17,27,18,28)(19,25,20,26)(21,31,22,32)(23,29,24,30), ( 1,13, 2,14)( 3,15, 4,16)( 5, 9, 6,10)( 7,11, 8,12) (17,29,18,30)(19,31,20,32)(21,25,22,26)(23,27,24,28), ( 1,17, 2,18)( 3,19, 4,20)( 5,21, 6,22)( 7,23, 8,24) ( 9,26,10,25)(11,28,12,27)(13,30,14,29)(15,32,16,31) ); GTW32_10 := Group( ( 1, 5, 2, 6)( 3, 7, 4, 8)( 9,13,10,14)(11,15,12,16) (17,21,18,22)(19,23,20,24)(25,29,26,30)(27,31,28,32), ( 1, 7, 2, 8)( 3, 5, 4, 6)( 9,15,10,16)(11,13,12,14) (17,23,18,24)(19,21,20,22)(25,31,26,32)(27,29,28,30), ( 1,13, 2,14)( 3,15, 4,16)( 5,10, 6, 9)( 7,12, 8,11) (17,29,18,30)(19,31,20,32)(21,26,22,25)(23,28,24,27), ( 1,21, 2,22)( 3,23, 4,24)( 5,18, 6,17)( 7,20, 8,19) ( 9,30,10,29)(11,32,12,31)(13,25,14,26)(15,27,16,28) ); GTW32_11 := Group( ( 1,17, 2,18)( 3,19, 4,20)( 5,21, 6,22)( 7,23, 8,24) ( 9,27,10,28)(11,25,12,26)(13,31,14,32)(15,29,16,30), ( 1,19, 2,20)( 3,17, 4,18)( 5,23, 6,24)( 7,21, 8,22) ( 9,25,10,26)(11,27,12,28)(13,29,14,30)(15,31,16,32), ( 1,21, 2,22)( 3,23, 4,24)( 5,17, 6,18)( 7,19, 8,20) ( 9,31,10,32)(11,29,12,30)(13,27,14,28)(15,25,16,26), ( 1,25, 4,28)( 2,26, 3,27)( 5,29, 8,32)( 6,30, 7,31) ( 9,19,12,18)(10,20,11,17)(13,23,16,22)(14,24,15,21) ); GTW32_12 := Group( ( 1, 9, 3,11)( 2,10, 4,12)( 5,13, 7,15)( 6,14, 8,16) (17,25,19,27)(18,26,20,28)(21,29,23,31)(22,30,24,32), ( 1,10, 3,12)( 2, 9, 4,11)( 5,14, 7,16)( 6,13, 8,15) (17,26,19,28)(18,25,20,27)(21,30,23,32)(22,29,24,31), ( 1,13, 3,15)( 2,14, 4,16)( 5, 9, 7,11)( 6,10, 8,12) (17,29,19,31)(18,30,20,32)(21,25,23,27)(22,26,24,28), ( 1,17, 2,18)( 3,19, 4,20)( 5,21, 6,22)( 7,23, 8,24) ( 9,27,10,28)(11,25,12,26)(13,31,14,32)(15,29,16,30) ); GTW32_13 := Group( ( 1,17, 3,19, 2,18, 4,20)( 5,21, 7,23, 6,22, 8,24) ( 9,26,11,28,10,25,12,27)(13,30,15,32,14,29,16,31), ( 1,21, 3,23, 2,22, 4,24)( 5,17, 7,19, 6,18, 8,20) ( 9,30,11,32,10,29,12,31)(13,26,15,28,14,25,16,27), ( 1,25, 4,28, 2,26, 3,27)( 5,29, 8,32, 6,30, 7,31) ( 9,18,12,19,10,17,11,20)(13,22,16,23,14,21,15,24) ); GTW32_14 := Group( ( 1, 5, 2, 6)( 3, 7, 4, 8)( 9,13,10,14)(11,15,12,16) (17,21,18,22)(19,23,20,24)(25,29,26,30)(27,31,28,32), ( 1, 7, 2, 8)( 3, 5, 4, 6)( 9,15,10,16)(11,13,12,14) (17,23,18,24)(19,21,20,22)(25,31,26,32)(27,29,28,30), ( 1,13, 2,14)( 3,15, 4,16)( 5,10, 6, 9)( 7,12, 8,11) (17,29,18,30)(19,31,20,32)(21,26,22,25)(23,28,24,27), ( 1,17, 2,18)( 3,19, 4,20)( 5,21, 6,22)( 7,23, 8,24) ( 9,27,10,28)(11,25,12,26)(13,31,14,32)(15,29,16,30) ); GTW32_15 := Group( ( 1, 5, 4, 8)( 2, 6, 3, 7)( 9,13,12,16)(10,14,11,15) (17,21,20,24)(18,22,19,23)(25,29,28,32)(26,30,27,31), ( 1, 6, 4, 7)( 2, 5, 3, 8)( 9,14,12,15)(10,13,11,16) (17,22,20,23)(18,21,19,24)(25,30,28,31)(26,29,27,32), ( 1, 9, 3,11)( 2,10, 4,12)( 5,13, 7,15)( 6,14, 8,16) (17,25,19,27)(18,26,20,28)(21,29,23,31)(22,30,24,32), ( 1,17, 2,18)( 3,19, 4,20)( 5,21, 6,22)( 7,23, 8,24) ( 9,27,10,28)(11,25,12,26)(13,31,14,32)(15,29,16,30) ); GTW32_16 := Group( ( 1, 5, 3, 7)( 2, 6, 4, 8)( 9,13,11,15)(10,14,12,16) (17,21,19,23)(18,22,20,24)(25,29,27,31)(26,30,28,32), ( 1, 6, 3, 8)( 2, 5, 4, 7)( 9,14,11,16)(10,13,12,15) (17,22,19,24)(18,21,20,23)(25,30,27,32)(26,29,28,31), ( 1,13, 3,15)( 2,14, 4,16)( 5,11, 7, 9)( 6,12, 8,10) (17,29,19,31)(18,30,20,32)(21,27,23,25)(22,28,24,26), ( 1,17, 2,18)( 3,19, 4,20)( 5,21, 6,22)( 7,23, 8,24) ( 9,27,10,28)(11,25,12,26)(13,31,14,32)(15,29,16,30) ); GTW32_17 := Group( ( 1,17, 3,19, 2,18, 4,20)( 5,21, 7,23, 6,22, 8,24) ( 9,25,11,27,10,26,12,28)(13,29,15,31,14,30,16,32), ( 1,21, 3,23, 2,22, 4,24)( 5,17, 7,19, 6,18, 8,20) ( 9,29,11,31,10,30,12,32)(13,25,15,27,14,26,16,28), ( 1,25, 3,27, 2,26, 4,28)( 5,30, 7,32, 6,29, 8,31) ( 9,17,11,19,10,18,12,20)(13,22,15,24,14,21,16,23) ); GTW32_18 := Group( ( 1, 9, 2,10)( 3,11, 4,12)( 5,13, 6,14)( 7,15, 8,16) (17,25,18,26)(19,27,20,28)(21,29,22,30)(23,31,24,32), ( 1,11, 2,12)( 3, 9, 4,10)( 5,15, 6,16)( 7,13, 8,14) (17,27,18,28)(19,25,20,26)(21,31,22,32)(23,29,24,30), ( 1,13, 2,14)( 3,15, 4,16)( 5, 9, 6,10)( 7,11, 8,12) (17,29,18,30)(19,31,20,32)(21,25,22,26)(23,27,24,28), ( 1,17, 3,19)( 2,18, 4,20)( 5,21, 7,23)( 6,22, 8,24) ( 9,29,11,31)(10,30,12,32)(13,25,15,27)(14,26,16,28) ); GTW32_19 := Group( ( 1,17, 5,21, 2,18, 6,22)( 3,19, 7,23, 4,20, 8,24) ( 9,26,13,30,10,25,14,29)(11,28,15,32,12,27,16,31), ( 1,19, 5,23, 2,20, 6,24)( 3,17, 7,21, 4,18, 8,22) ( 9,28,13,32,10,27,14,31)(11,26,15,30,12,25,16,29), ( 1,25, 8,32, 2,26, 7,31)( 3,27, 6,30, 4,28, 5,29) ( 9,20,16,21,10,19,15,22)(11,18,14,23,12,17,13,24) ); GTW32_20 := Group( ( 1,17, 3,19, 2,18, 4,20)( 5,21, 7,23, 6,22, 8,24) ( 9,29,11,31,10,30,12,32)(13,25,15,27,14,26,16,28), ( 1,21, 3,23, 2,22, 4,24)( 5,17, 7,19, 6,18, 8,20) ( 9,25,11,27,10,26,12,28)(13,29,15,31,14,30,16,32), ( 1,25, 7,31, 2,26, 8,32)( 3,27, 6,30, 4,28, 5,29) ( 9,21,15,19,10,22,16,20)(11,23,14,18,12,24,13,17) ); GTW32_21 := Group( ( 1,17, 3,19, 2,18, 4,20)( 5,21, 7,23, 6,22, 8,24) ( 9,29,11,31,10,30,12,32)(13,25,15,27,14,26,16,28), ( 1,21, 3,23, 2,22, 4,24)( 5,17, 7,19, 6,18, 8,20) ( 9,25,11,27,10,26,12,28)(13,29,15,31,14,30,16,32), ( 1,25, 3,27, 2,26, 4,28)( 5,29, 7,31, 6,30, 8,32) ( 9,17,11,19,10,18,12,20)(13,21,15,23,14,22,16,24) ); GTW32_22 := Group( ( 1,17, 5,21, 3,19, 7,23, 2,18, 6,22, 4,20, 8,24) ( 9,26,13,30,11,28,15,32,10,25,14,29,12,27,16,31), ( 1,25, 6,30, 3,27, 8,32, 2,26, 5,29, 4,28, 7,31) ( 9,18,14,21,11,20,16,23,10,17,13,22,12,19,15,24) ); GTW32_23 := Group( ( 1,25, 4,28, 2,26, 3,27)( 5,29, 8,32, 6,30, 7,31) ( 9,20,12,18,10,19,11,17)(13,24,16,22,14,23,15,21), ( 1,29, 4,32, 2,30, 3,31)( 5,25, 8,28, 6,26, 7,27) ( 9,24,12,22,10,23,11,21)(13,20,16,18,14,19,15,17), ( 1, 9)( 2,10)( 3,12)( 4,11)( 5,13)( 6,14)( 7,16)( 8,15) (17,25)(18,26)(19,28)(20,27)(21,29)(22,30)(23,32)(24,31) ); GTW32_24 := Group( ( 1,25, 3,27, 2,26, 4,28)( 5,29, 7,31, 6,30, 8,32) ( 9,20,11,17,10,19,12,18)(13,24,15,21,14,23,16,22), ( 1,29, 3,31, 2,30, 4,32)( 5,25, 7,27, 6,26, 8,28) ( 9,24,11,21,10,23,12,22)(13,20,15,17,14,19,16,18), ( 1,17, 2,18)( 3,20, 4,19)( 5,21, 6,22)( 7,24, 8,23) ( 9,27,10,28)(11,25,12,26)(13,31,14,32)(15,29,16,30) ); GTW32_25 := Group( ( 1,25, 4,28, 2,26, 3,27)( 5,29, 8,32, 6,30, 7,31) ( 9,19,12,17,10,20,11,18)(13,23,16,21,14,24,15,22), ( 1,29, 4,32, 2,30, 3,31)( 5,25, 8,28, 6,26, 7,27) ( 9,23,12,21,10,24,11,22)(13,19,16,17,14,20,15,18), ( 1, 9, 2,10)( 3,12, 4,11)( 5,13, 6,14)( 7,16, 8,15) (17,25,18,26)(19,28,20,27)(21,29,22,30)(23,32,24,31) ); GTW32_26 := Group( ( 1,25, 4,28, 2,26, 3,27)( 5,29, 8,32, 6,30, 7,31) ( 9,20,12,18,10,19,11,17)(13,24,16,22,14,23,15,21), ( 1,29, 3,31, 2,30, 4,32)( 5,26, 7,28, 6,25, 8,27) ( 9,24,11,21,10,23,12,22)(13,19,15,18,14,20,16,17), ( 1,13, 2,14)( 3,16, 4,15)( 5,10, 6, 9)( 7,11, 8,12) (17,29,18,30)(19,32,20,31)(21,26,22,25)(23,27,24,28) ); GTW32_27 := Group( ( 1,25, 8,32, 2,26, 7,31)( 3,27, 6,30, 4,28, 5,29) ( 9,22,16,20,10,21,15,19)(11,24,14,18,12,23,13,17), ( 1,27, 8,30, 2,28, 7,29)( 3,25, 6,32, 4,26, 5,31) ( 9,24,16,18,10,23,15,17)(11,22,14,20,12,21,13,19), ( 1,17, 3,19)( 2,18, 4,20)( 5,22, 7,24)( 6,21, 8,23) ( 9,29,11,31)(10,30,12,32)(13,25,15,27)(14,26,16,28) ); GTW32_28 := Group( ( 1,25, 7,31, 2,26, 8,32)( 3,27, 5,29, 4,28, 6,30) ( 9,21,15,20,10,22,16,19)(11,23,13,18,12,24,14,17), ( 1,27, 7,29, 2,28, 8,30)( 3,25, 5,31, 4,26, 6,32) ( 9,23,15,18,10,24,16,17)(11,21,13,20,12,22,14,19), ( 1, 9, 2,10)( 3,11, 4,12)( 5,14, 6,13)( 7,16, 8,15) (17,25,18,26)(19,27,20,28)(21,30,22,29)(23,32,24,31) ); GTW32_29 := Group( ( 1, 9, 6,14, 2,10, 5,13)( 3,11, 8,16, 4,12, 7,15) (17,25,22,30,18,26,21,29)(19,27,24,32,20,28,23,31), ( 1,11, 6,16, 2,12, 5,15)( 3, 9, 8,14, 4,10, 7,13) (17,27,22,32,18,28,21,31)(19,25,24,30,20,26,23,29), ( 1,17, 3,19)( 2,18, 4,20)( 5,22, 7,24)( 6,21, 8,23) ( 9,29,11,31)(10,30,12,32)(13,25,15,27)(14,26,16,28) ); GTW32_30 := Group( ( 1, 9, 5,13, 2,10, 6,14)( 3,11, 7,15, 4,12, 8,16) (17,25,21,29,18,26,22,30)(19,27,23,31,20,28,24,32), ( 1,11, 5,15, 2,12, 6,16)( 3, 9, 7,13, 4,10, 8,14) (17,27,21,31,18,28,22,32)(19,25,23,29,20,26,24,30), ( 1,17, 3,19)( 2,18, 4,20)( 5,22, 7,24)( 6,21, 8,23) ( 9,29,11,31)(10,30,12,32)(13,25,15,27)(14,26,16,28) ); GTW32_31 := Group( ( 1,17, 3,19, 2,18, 4,20)( 5,22, 7,24, 6,21, 8,23) ( 9,29,11,31,10,30,12,32)(13,25,15,27,14,26,16,28), ( 1,21, 3,23, 2,22, 4,24)( 5,17, 7,19, 6,18, 8,20) ( 9,26,11,28,10,25,12,27)(13,29,15,31,14,30,16,32), ( 1,11, 2,12)( 3,10, 4, 9)( 5,16, 6,15)( 7,13, 8,14) (17,27,18,28)(19,26,20,25)(21,32,22,31)(23,29,24,30) ); GTW32_32 := Group( ( 1, 9, 5,13, 2,10, 6,14)( 3,11, 7,15, 4,12, 8,16) (17,25,21,29,18,26,22,30)(19,27,23,31,20,28,24,32), ( 1,11, 6,16, 2,12, 5,15)( 3,10, 8,13, 4, 9, 7,14) (17,27,22,32,18,28,21,31)(19,26,24,29,20,25,23,30), ( 1,17, 3,19, 2,18, 4,20)( 5,22, 7,24, 6,21, 8,23) ( 9,29,11,31,10,30,12,32)(13,25,15,27,14,26,16,28) ); GTW32_33 := Group( ( 1,21, 2,22)( 3,23, 4,24)( 5,18, 6,17)( 7,20, 8,19) ( 9,31,10,32)(11,29,12,30)(13,28,14,27)(15,26,16,25), ( 1,23, 2,24)( 3,21, 4,22)( 5,20, 6,19)( 7,18, 8,17) ( 9,29,10,30)(11,31,12,32)(13,26,14,25)(15,28,16,27), ( 1,25, 3,27)( 2,26, 4,28)( 5,30, 7,32)( 6,29, 8,31) ( 9,19,11,17)(10,20,12,18)(13,24,15,22)(14,23,16,21), ( 1,29, 4,32)( 2,30, 3,31)( 5,26, 8,27)( 6,25, 7,28) ( 9,23,12,22)(10,24,11,21)(13,20,16,17)(14,19,15,18) ); GTW32_34 := Group( ( 1, 5, 2, 6)( 3, 7, 4, 8)( 9,13,10,14)(11,15,12,16) (17,21,18,22)(19,23,20,24)(25,29,26,30)(27,31,28,32), ( 1, 7, 2, 8)( 3, 5, 4, 6)( 9,15,10,16)(11,13,12,14) (17,23,18,24)(19,21,20,22)(25,31,26,32)(27,29,28,30), ( 1, 9, 3,11)( 2,10, 4,12)( 5,13, 7,15)( 6,14, 8,16) (17,25,19,27)(18,26,20,28)(21,29,23,31)(22,30,24,32), ( 1,17)( 2,18)( 3,19)( 4,20)( 5,22)( 6,21)( 7,24)( 8,23) ( 9,27)(10,28)(11,25)(12,26)(13,32)(14,31)(15,30)(16,29) ); GTW32_35 := Group( ( 1, 5, 2, 6)( 3, 7, 4, 8)( 9,13,10,14)(11,15,12,16) (17,21,18,22)(19,23,20,24)(25,29,26,30)(27,31,28,32), ( 1, 7, 2, 8)( 3, 5, 4, 6)( 9,15,10,16)(11,13,12,14) (17,23,18,24)(19,21,20,22)(25,31,26,32)(27,29,28,30), ( 1, 9, 3,11)( 2,10, 4,12)( 5,13, 7,15)( 6,14, 8,16) (17,25,19,27)(18,26,20,28)(21,29,23,31)(22,30,24,32), ( 1,17, 3,19)( 2,18, 4,20)( 5,22, 7,24)( 6,21, 8,23) ( 9,27,11,25)(10,28,12,26)(13,32,15,30)(14,31,16,29) ); GTW32_36 := Group( ( 1, 9, 3,11)( 2,10, 4,12)( 5,13, 7,15)( 6,14, 8,16) (17,25,19,27)(18,26,20,28)(21,29,23,31)(22,30,24,32), ( 1,10, 3,12)( 2, 9, 4,11)( 5,14, 7,16)( 6,13, 8,15) (17,26,19,28)(18,25,20,27)(21,30,23,32)(22,29,24,31), ( 1,13, 3,15)( 2,14, 4,16)( 5, 9, 7,11)( 6,10, 8,12) (17,29,19,31)(18,30,20,32)(21,25,23,27)(22,26,24,28), ( 1,21, 2,22)( 3,23, 4,24)( 5,18, 6,17)( 7,20, 8,19) ( 9,31,10,32)(11,29,12,30)(13,28,14,27)(15,26,16,25) ); GTW32_37 := Group( ( 1, 9, 3,11)( 2,10, 4,12)( 5,13, 7,15)( 6,14, 8,16) (17,25,19,27)(18,26,20,28)(21,29,23,31)(22,30,24,32), ( 1,10, 3,12)( 2, 9, 4,11)( 5,14, 7,16)( 6,13, 8,15) (17,26,19,28)(18,25,20,27)(21,30,23,32)(22,29,24,31), ( 1,13, 3,15)( 2,14, 4,16)( 5, 9, 7,11)( 6,10, 8,12) (17,29,19,31)(18,30,20,32)(21,25,23,27)(22,26,24,28), ( 1,17, 3,19)( 2,18, 4,20)( 5,22, 7,24)( 6,21, 8,23) ( 9,27,11,25)(10,28,12,26)(13,32,15,30)(14,31,16,29) ); GTW32_38 := Group( ( 1, 5, 3, 7)( 2, 6, 4, 8)( 9,13,11,15)(10,14,12,16) (17,21,19,23)(18,22,20,24)(25,29,27,31)(26,30,28,32), ( 1, 6, 3, 8)( 2, 5, 4, 7)( 9,14,11,16)(10,13,12,15) (17,22,19,24)(18,21,20,23)(25,30,27,32)(26,29,28,31), ( 1,13, 3,15)( 2,14, 4,16)( 5,11, 7, 9)( 6,12, 8,10) (17,29,19,31)(18,30,20,32)(21,27,23,25)(22,28,24,26), ( 1,21, 4,24)( 2,22, 3,23)( 5,20, 8,17)( 6,19, 7,18) ( 9,31,12,30)(10,32,11,29)(13,26,16,27)(14,25,15,28) ); GTW32_39 := Group( ( 1, 5, 3, 7)( 2, 6, 4, 8)( 9,13,11,15)(10,14,12,16) (17,21,19,23)(18,22,20,24)(25,29,27,31)(26,30,28,32), ( 1, 6, 3, 8)( 2, 5, 4, 7)( 9,14,11,16)(10,13,12,15) (17,22,19,24)(18,21,20,23)(25,30,27,32)(26,29,28,31), ( 1, 9, 2,10)( 3,11, 4,12)( 5,13, 6,14)( 7,15, 8,16) (17,25,18,26)(19,27,20,28)(21,29,22,30)(23,31,24,32), ( 1,21, 4,24)( 2,22, 3,23)( 5,20, 8,17)( 6,19, 7,18) ( 9,31,12,30)(10,32,11,29)(13,26,16,27)(14,25,15,28) ); GTW32_40 := Group( ( 1, 5, 3, 7)( 2, 6, 4, 8)( 9,13,11,15)(10,14,12,16) (17,21,19,23)(18,22,20,24)(25,29,27,31)(26,30,28,32), ( 1, 6, 3, 8)( 2, 5, 4, 7)( 9,14,11,16)(10,13,12,15) (17,22,19,24)(18,21,20,23)(25,30,27,32)(26,29,28,31), ( 1, 9, 2,10)( 3,11, 4,12)( 5,13, 6,14)( 7,15, 8,16) (17,25,18,26)(19,27,20,28)(21,29,22,30)(23,31,24,32), ( 1,17, 3,19)( 2,18, 4,20)( 5,22, 7,24)( 6,21, 8,23) ( 9,27,11,25)(10,28,12,26)(13,32,15,30)(14,31,16,29) ); GTW32_41 := Group( ( 1, 5, 3, 7)( 2, 6, 4, 8)( 9,13,11,15)(10,14,12,16) (17,21,19,23)(18,22,20,24)(25,29,27,31)(26,30,28,32), ( 1, 6, 3, 8)( 2, 5, 4, 7)( 9,14,11,16)(10,13,12,15) (17,22,19,24)(18,21,20,23)(25,30,27,32)(26,29,28,31), ( 1, 9, 4,12)( 2,10, 3,11)( 5,13, 8,16)( 6,14, 7,15) (17,25,20,28)(18,26,19,27)(21,29,24,32)(22,30,23,31), ( 1,21, 4,24)( 2,22, 3,23)( 5,20, 8,17)( 6,19, 7,18) ( 9,31,12,30)(10,32,11,29)(13,26,16,27)(14,25,15,28) ); GTW32_42 := Group( ( 1,13, 2,14)( 3,15, 4,16)( 5,10, 6, 9)( 7,12, 8,11) (17,29,18,30)(19,31,20,32)(21,26,22,25)(23,28,24,27), ( 1,15, 2,16)( 3,13, 4,14)( 5,12, 6,11)( 7,10, 8, 9) (17,31,18,32)(19,29,20,30)(21,28,22,27)(23,26,24,25), ( 1,19, 2,20)( 3,18, 4,17)( 5,23, 6,24)( 7,22, 8,21) ( 9,28,10,27)(11,25,12,26)(13,32,14,31)(15,29,16,30), ( 1,23, 2,24)( 3,22, 4,21)( 5,19, 6,20)( 7,18, 8,17) ( 9,32,10,31)(11,29,12,30)(13,28,14,27)(15,25,16,26) ); GTW32_43 := Group( ( 1, 5, 2, 6)( 3, 7, 4, 8)( 9,13,10,14)(11,15,12,16) (17,21,18,22)(19,23,20,24)(25,29,26,30)(27,31,28,32), ( 1, 7, 2, 8)( 3, 5, 4, 6)( 9,15,10,16)(11,13,12,14) (17,23,18,24)(19,21,20,22)(25,31,26,32)(27,29,28,30), ( 1, 9, 2,10)( 3,11, 4,12)( 5,14, 6,13)( 7,16, 8,15) (17,25,18,26)(19,27,20,28)(21,30,22,29)(23,32,24,31), ( 1,19, 2,20)( 3,18, 4,17)( 5,23, 6,24)( 7,22, 8,21) ( 9,28,10,27)(11,25,12,26)(13,32,14,31)(15,29,16,30) ); GTW32_44 := Group( ( 1,25, 4,28, 2,26, 3,27)( 5,30, 8,31, 6,29, 7,32) ( 9,20,12,18,10,19,11,17)(13,23,16,21,14,24,15,22), ( 1,29, 3,31, 2,30, 4,32)( 5,26, 7,28, 6,25, 8,27) ( 9,24,11,21,10,23,12,22)(13,19,15,18,14,20,16,17), ( 1,21, 2,22)( 3,24, 4,23)( 5,18, 6,17)( 7,19, 8,20) ( 9,31,10,32)(11,29,12,30)(13,28,14,27)(15,26,16,25) ); GTW32_45 := Group( ( 1,25, 3,27, 2,26, 4,28)( 5,30, 7,32, 6,29, 8,31) ( 9,19,11,18,10,20,12,17)(13,24,15,21,14,23,16,22), ( 1,29, 4,32, 2,30, 3,31)( 5,26, 8,27, 6,25, 7,28) ( 9,23,12,21,10,24,11,22)(13,20,16,18,14,19,15,17), ( 1, 9, 2,10)( 3,12, 4,11)( 5,13, 6,14)( 7,16, 8,15) (17,25,18,26)(19,28,20,27)(21,29,22,30)(23,32,24,31) ); GTW32_46 := Group( ( 1,11, 2,12)( 3,10, 4, 9)( 5,15, 6,16)( 7,14, 8,13) (17,27,18,28)(19,26,20,25)(21,31,22,32)(23,30,24,29), ( 1,15, 2,16)( 3,14, 4,13)( 5,11, 6,12)( 7,10, 8, 9) (17,31,18,32)(19,30,20,29)(21,27,22,28)(23,26,24,25), ( 1,17, 3,19)( 2,18, 4,20)( 5,22, 7,24)( 6,21, 8,23) ( 9,29,11,31)(10,30,12,32)(13,26,15,28)(14,25,16,27) ); GTW32_47 := Group( ( 1,17, 3,19, 2,18, 4,20)( 5,22, 7,24, 6,21, 8,23) ( 9,29,11,31,10,30,12,32)(13,26,15,28,14,25,16,27), ( 1,21, 4,24, 2,22, 3,23)( 5,18, 8,19, 6,17, 7,20) ( 9,25,12,28,10,26,11,27)(13,30,16,31,14,29,15,32), ( 1,25, 7,31, 2,26, 8,32)( 3,28, 6,29, 4,27, 5,30) ( 9,21,15,19,10,22,16,20)(11,24,14,17,12,23,13,18) ); GTW32_48 := Group( ( 1,17, 3,19, 2,18, 4,20)( 5,22, 7,24, 6,21, 8,23) ( 9,29,11,31,10,30,12,32)(13,26,15,28,14,25,16,27), ( 1,21, 4,24, 2,22, 3,23)( 5,18, 8,19, 6,17, 7,20) ( 9,25,12,28,10,26,11,27)(13,30,16,31,14,29,15,32), ( 1,25, 8,32, 2,26, 7,31)( 3,28, 5,30, 4,27, 6,29) ( 9,22,16,19,10,21,15,20)(11,23,13,17,12,24,14,18) ); GTW32_49 := Group( ( 1,25, 7,31, 3,27, 6,30, 2,26, 8,32, 4,28, 5,29) ( 9,23,15,19,11,22,14,18,10,24,16,20,12,21,13,17), ( 1, 9)( 2,10)( 3,12)( 4,11)( 5,15)( 6,16)( 7,13)( 8,14) (17,25)(18,26)(19,28)(20,27)(21,31)(22,32)(23,29)(24,30) ); GTW32_50 := Group( ( 1,25, 8,32, 3,27, 5,29, 2,26, 7,31, 4,28, 6,30) ( 9,23,16,20,11,22,13,17,10,24,15,19,12,21,14,18), ( 1,17, 2,18)( 3,20, 4,19)( 5,23, 6,24)( 7,21, 8,22) ( 9,29,10,30)(11,32,12,31)(13,25,14,26)(15,28,16,27) ); GTW32_51 := Group( ( 1,25, 7,31, 3,27, 6,30, 2,26, 8,32, 4,28, 5,29) ( 9,24,15,20,11,21,14,17,10,23,16,19,12,22,13,18), ( 1, 9, 2,10)( 3,12, 4,11)( 5,15, 6,16)( 7,13, 8,14) (17,25,18,26)(19,28,20,27)(21,31,22,32)(23,29,24,30) ); SetName( GTW32_1, "32/1" ); SetName( GTW32_2, "32/2" ); SetName( GTW32_3, "32/3" ); SetName( GTW32_4, "32/4" ); SetName( GTW32_5, "32/5" ); SetName( GTW32_6, "32/6" ); SetName( GTW32_7, "32/7" ); SetName( GTW32_8, "32/8" ); SetName( GTW32_9, "32/9" ); SetName( GTW32_10, "32/10" ); SetName( GTW32_11, "32/11" ); SetName( GTW32_12, "32/12" ); SetName( GTW32_13, "32/13" ); SetName( GTW32_14, "32/14" ); SetName( GTW32_15, "32/15" ); SetName( GTW32_16, "32/16" ); SetName( GTW32_17, "32/17" ); SetName( GTW32_18, "32/18" ); SetName( GTW32_19, "32/19" ); SetName( GTW32_20, "32/20" ); SetName( GTW32_21, "32/21" ); SetName( GTW32_22, "32/22" ); SetName( GTW32_23, "32/23" ); SetName( GTW32_24, "32/24" ); SetName( GTW32_25, "32/25" ); SetName( GTW32_26, "32/26" ); SetName( GTW32_27, "32/27" ); SetName( GTW32_28, "32/28" ); SetName( GTW32_29, "32/29" ); SetName( GTW32_30, "32/30" ); SetName( GTW32_31, "32/31" ); SetName( GTW32_32, "32/32" ); SetName( GTW32_33, "32/33" ); SetName( GTW32_34, "32/34" ); SetName( GTW32_35, "32/35" ); SetName( GTW32_36, "32/36" ); SetName( GTW32_37, "32/37" ); SetName( GTW32_38, "32/38" ); SetName( GTW32_39, "32/39" ); SetName( GTW32_40, "32/40" ); SetName( GTW32_41, "32/41" ); SetName( GTW32_42, "32/42" ); SetName( GTW32_43, "32/43" ); SetName( GTW32_44, "32/44" ); SetName( GTW32_45, "32/45" ); SetName( GTW32_46, "32/46" ); SetName( GTW32_47, "32/47" ); SetName( GTW32_48, "32/48" ); SetName( GTW32_49, "32/49" ); SetName( GTW32_50, "32/50" ); SetName( GTW32_51, "32/51" ); [ Dauer der Verarbeitung: 0.54 Sekunden ] |
2026-04-02