Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/grape/grh/   (GAP Algebra Version 4.15.1©)  Datei vom 6.8.2025 mit Größe 16 kB image not shown  

Quelle  Soicher   Sprache: unbekannt

 
Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

Soicher:=rec(
  isGraph := true,
  order := 486,
  group := Group( (  5192420)(  6214818)(  7502922)
    (  8756766)( 10904281)( 11,1358698)( 12,10413,103)
    ( 14,146,124,125)( 15784399)( 16916045)( 23283525)
    ( 263627,166)( 30513134)( 32375333)( 3849)( 3982)
    ( 4041)( 44,1404779)( 4680,320,349)( 52595461)
    ( 55586362)( 56656457)( 68747069)( 7173,34172)
    ( 7683,113,164)( 77,10092,277)( 84,2768785)( 88,275,17989)
    ( 93,319,163,278)( 94,328,162,181)( 95,268,374,241)( 96,254,193,326)
    ( 97,183,190,274)(101,318,112,102)(105,315,303,106)(107,307,314,108)
    (109,316,306,302)(110,215,361,111)(114,199,187,214)(115,204,242,177)
    (116,176,243,121)(117,120)(118,119)(122,213,244,210)(123,173,245,170)
    (126,143,309,127)(128,286,130,129)(131,132)(133,197,136,134)
    (137,298,196,287)(138,158,198,139)(141,317,304,440)(142,308,144,313)
    (145,342,311,312)(147,305)(148,149)(150,154,327,169)(151,168,356,157)
    (152,165,362,153)(155,368,220,156)(159,423,460,160)(161,205,424,333)
    (167,296,462,310)(171,258,229,399)(172,347,200,217)(174,358,451,447)
    (175,402,352,407)(178,357,348,212)(180,401,280,279)(182,270,189,269)
    (184,237)(185,186)(188,292,469,195)(191,192)(194,273,249,219)
    (201,414,266,386)(202,345,370,222)(203,409,369,211)(206,355,256,264)
    (207,375,329,429)(208,209,234,235)(216,284,466,363)(218,290,289,425)
    (221,250,267,223)(224,288,272,346)(225,263,253,291)(226,238,262,282)
    (227,228,261,427)(230,410,365,353)(231,232,391,392)(233,413,380,438)
    (236,417,398,418)(239,323,322,428)(240,337)(246,299,301,482)
    (247,325,324,248)(251,259,252,265)(255,430)(257,354,400,281)
    (260,271,439,431)(283,404,364,448)(285,373)(293,372,367,452)
    (294,379,472,387)(295,449,470,388)(297,481)(321,332,331,330)
    (334,336,454,335)(338,376,446,377)(339,378,445,450)(340,426,343,344)
    (350,444,360,351)(359,420,479,442)(366,443,411,412)(371,461,381,465)
    (382,483,383,463)(384,390,389,385)(393,435,419,473)(394,486,395,484)
    (396,397,416,415)(403,434,455,433)(405,406)(408,468,422,432)
    (421,453,441,480)(436,437)(467,471), (  524)(  648)(  729)(  867)
    ( 1042)( 1186)( 1213)( 14,124)( 1543)( 1660)( 1821)( 1920)
    ( 2250)( 2335)( 2528)( 2627)( 3031)( 3253)( 3337)( 3451)
    ( 36,166)( 4447)( 4591)( 46,320)( 5254)( 5563)( 5664)( 5765)
    ( 5862)( 5961)( 6675)( 6870)( 6974)( 71,341)( 7273)( 76,113)
    ( 7792)( 7899)( 79,140)( 80,349)( 8190)( 83,164)( 8487)( 85,276)
    ( 88,179)( 89,275)( 93,163)( 94,162)( 95,374)( 96,193)( 97,190)( 98,135)
    (100,277)(101,112)(102,318)(103,104)(105,303)(106,315)(107,314)(108,307)
    (109,306)(110,361)(111,215)(114,187)(115,242)(116,243)(121,176)(122,244)
    (123,245)(125,146)(126,309)(127,143)(128,130)(129,286)(133,136)(134,197)
    (137,196)(138,198)(139,158)(141,304)(142,144)(145,311)(150,327)(151,356)
    (152,362)(153,165)(154,169)(155,220)(156,368)(157,168)(159,460)(160,423)
    (161,424)(167,462)(170,173)(171,229)(172,200)(174,451)(175,352)(177,204)
    (178,348)(180,280)(181,328)(182,189)(183,274)(188,469)(194,249)(195,292)
    (199,214)(201,266)(202,370)(203,369)(205,333)(206,256)(207,329)(208,234)
    (209,235)(210,213)(211,409)(212,357)(216,466)(217,347)(218,289)(219,273)
    (221,267)(222,345)(223,250)(224,272)(225,253)(226,262)(227,261)(228,427)
    (230,365)(231,391)(232,392)(233,380)(236,398)(238,282)(239,322)(241,268)
    (246,301)(247,324)(248,325)(251,252)(254,326)(257,400)(258,399)(259,265)
    (260,439)(263,291)(264,355)(269,270)(271,431)(278,319)(279,401)(281,354)
    (283,364)(284,363)(287,298)(288,346)(290,425)(293,367)(294,472)(295,470)
    (296,310)(299,482)(302,316)(308,313)(312,342)(317,440)(321,331)(323,428)
    (330,332)(334,454)(335,336)(338,446)(339,445)(340,343)(344,426)(350,360)
    (351,444)(353,410)(358,447)(359,479)(366,411)(371,381)(372,452)(375,429)
    (376,377)(378,450)(379,387)(382,383)(384,389)(385,390)(386,414)(388,449)
    (393,419)(394,395)(396,416)(397,415)(402,407)(403,455)(404,448)(408,422)
    (412,443)(413,438)(417,418)(420,442)(421,441)(432,468)(433,434)(435,473)
    (453,480)(461,465)(463,483)(484,486), (  4,  5)(  6,  9)( 1112)( 1314)
    ( 1617)( 1852)( 1932)( 2037)( 2161)( 2228)( 2368)( 2574)
    ( 2665)( 2762)( 2949)( 3038)( 3353)( 3435)( 3944)( 4043)
    ( 4142)( 45,320)( 46,349)( 5069)( 5170)( 5459)( 5556)( 5758)
    ( 6372)( 6473)( 6683)( 6782)( 7585)( 7684)( 77,101)( 7892)
    ( 79,113)( 8091)( 81,100)( 86,124)( 87,140)( 89,150)( 90,102)( 93,167)
    ( 94,342)( 96,375)( 97,151)( 98,138)( 99,112)(103,126)(104,105)(106,107)
    (108,146)(109,110)(111,161)(116,120)(117,260)(118,358)(119,210)(121,354)
    (122,171)(123,160)(125,308)(127,128)(129,135)(130,144)(131,133)(132,310)
    (134,319)(137,181)(139,315)(141,305)(142,143)(147,159)(148,333)(149,316)
    (152,327)(153,169)(154,199)(155,241)(156,223)(157,177)(158,314)(162,372)
    (163,180)(164,276)(165,214)(166,192)(168,348)(170,317)(172,355)(173,404)
    (174,258)(175,366)(176,238)(178,204)(179,185)(183,184)(186,187)(188,240)
    (189,285)(190,212)(191,341)(193,194)(195,368)(196,293)(197,401)(198,286)
    (200,324)(201,414)(202,203)(206,231)(207,252)(208,335)(209,336)(211,270)
    (215,284)(216,361)(217,218)(219,329)(220,221)(222,409)(224,392)(225,232)
    (226,400)(227,399)(228,229)(230,412)(233,413)(234,235)(236,417)(237,242)
    (239,425)(244,427)(245,283)(246,438)(247,264)(248,263)(249,429)(250,292)
    (251,273)(253,272)(254,255)(256,428)(257,271)(259,430)(261,451)(262,431)
    (266,371)(267,268)(269,345)(275,362)(277,318)(278,279)(280,462)(281,282)
    (287,481)(288,289)(290,331)(291,332)(294,467)(297,311)(299,300)(301,380)
    (303,309)(306,466)(307,313)(312,452)(321,322)(323,391)(325,330)(328,367)
    (337,374)(338,373)(339,340)(343,388)(344,387)(346,347)(350,403)(351,408)
    (352,353)(356,357)(359,405)(360,453)(363,424)(364,423)(365,420)(369,376)
    (370,377)(378,379)(381,386)(382,385)(383,384)(389,390)(393,398)(394,397)
    (395,396)(406,407)(410,411)(415,416)(418,419)(421,422)(426,450)(432,436)
    (434,437)(440,448)(441,444)(442,443)(445,449)(454,478)(455,480)(456,463)
    (464,465)(470,471)(473,474)(475,486), (  3,  4)(  6,  7)(  816)( 1011)
    ( 1415)( 1850)( 1920)( 2122)( 23,166)( 2526)( 2728)( 2948)
    ( 3031)( 3233)( 3536)( 3753)( 4041)( 4286)( 43,124)( 4447)
    ( 4575)( 46,327)( 5263)( 5455)( 5657)( 5859)( 6067)( 6162)
    ( 6465)( 6691)( 68,341)( 6972)( 7071)( 7374)( 76,187)( 77,163)
    ( 78,125)( 80,154)( 81,135)( 83,199)( 84,179)( 8589)( 8788)( 9098)
    ( 9293)( 9495)( 9697)( 99,146)(100,319)(101,361)(102,111)(103,104)
    (105,303)(107,302)(108,109)(110,112)(113,114)(115,116)(118,119)(121,204)
    (122,123)(126,309)(128,136)(129,134)(130,133)(131,132)(137,301)(138,161)
    (139,205)(141,304)(142,296)(144,310)(145,311)(148,149)(150,320)(151,321)
    (152,153)(155,368)(156,220)(157,332)(158,333)(159,334)(160,336)(162,374)
    (164,214)(165,362)(167,308)(168,330)(169,349)(170,213)(171,209)(172,178)
    (173,210)(174,364)(175,444)(176,177)(180,216)(181,268)(182,343)(183,326)
    (185,186)(188,372)(189,340)(190,193)(191,192)(194,346)(195,367)(196,246)
    (197,286)(198,424)(200,348)(201,202)(203,409)(206,400)(207,428)(208,258)
    (211,369)(212,347)(215,318)(217,357)(218,290)(219,224)(221,233)(222,414)
    (223,413)(225,226)(227,228)(229,235)(230,417)(231,232)(234,399)(236,410)
    (238,291)(239,429)(240,337)(241,328)(242,243)(244,245)(247,248)(249,288)
    (250,438)(251,431)(252,271)(253,262)(254,274)(256,257)(259,439)(260,265)
    (261,427)(263,282)(264,281)(266,370)(267,380)(269,344)(270,426)(272,273)
    (275,276)(277,278)(279,284)(280,466)(283,451)(285,373)(287,482)(289,425)
    (292,293)(294,461)(295,470)(298,299)(306,307)(313,462)(314,316)(322,375)
    (323,329)(324,325)(331,356)(335,423)(338,339)(345,386)(350,402)(351,352)
    (353,398)(354,355)(358,404)(359,453)(360,407)(363,401)(365,418)(366,443)
    (371,379)(376,450)(377,378)(381,387)(382,383)(384,390)(385,389)(391,392)
    (393,408)(394,395)(396,415)(397,416)(405,406)(411,412)(419,422)(420,421)
    (432,435)(433,434)(441,442)(445,446)(447,448)(452,469)(454,460)(456,457)
    (465,472)(468,473)(475,485)(479,480), (  2,  3)(  4,  9)(  5,  6)(  731)
    (  810)( 1186)( 12,124)( 1314)( 1547)( 1819)( 2021)( 2234)
    ( 2325)( 2448)( 2627)( 2835)( 2930)( 3252)( 3359)( 3761)
    ( 3849)( 3940)( 4182)( 4267)( 4344)( 4591)( 46,349)( 5051)
    ( 5354)( 5556)( 5758)( 6265)( 6364)( 6690)( 6874)( 6970)
    ( 7273)( 7581)( 76,101)( 7784)( 78,140)( 7999)( 80,320)( 83,102)
    ( 85,100)( 8792)( 88,274)( 8997)( 9394)( 95,326)( 96,241)(103,125)
    (104,146)(105,108)(106,107)(109,317)(110,170)(111,123)(112,113)(114,115)
    (116,210)(117,118)(119,120)(121,122)(126,308)(127,144)(128,130)(131,481)
    (132,297)(133,287)(134,137)(136,298)(139,158)(141,316)(142,143)(145,296)
    (147,148)(149,305)(150,151)(152,357)(153,348)(154,157)(155,375)(156,329)
    (159,333)(160,161)(162,163)(164,318)(165,178)(167,342)(168,169)(171,354)
    (172,231)(173,361)(174,271)(175,352)(176,244)(177,199)(179,183)(180,372)
    (181,319)(184,185)(186,237)(187,242)(188,259)(190,275)(193,268)(194,267)
    (195,252)(196,197)(200,391)(201,389)(202,203)(204,214)(205,460)(206,355)
    (207,368)(208,209)(211,345)(212,362)(213,243)(215,245)(216,404)(217,232)
    (218,225)(219,223)(220,429)(221,249)(222,409)(224,346)(226,227)(228,282)
    (229,281)(230,412)(233,413)(234,235)(236,415)(238,427)(239,248)(240,430)
    (246,301)(247,428)(250,273)(251,292)(253,289)(254,374)(255,337)(256,264)
    (257,258)(260,358)(261,262)(263,425)(265,469)(266,384)(269,270)(272,288)
    (276,277)(278,328)(279,367)(280,452)(283,284)(290,291)(293,401)(294,470)
    (295,472)(302,304)(303,307)(306,440)(309,313)(310,311)(312,462)(314,315)
    (321,330)(322,325)(323,324)(327,356)(331,332)(335,336)(339,450)(340,426)
    (343,344)(347,392)(350,351)(353,366)(360,444)(363,364)(365,443)(369,370)
    (371,383)(376,377)(378,445)(379,449)(380,438)(381,382)(385,386)(387,388)
    (390,414)(393,394)(395,419)(396,418)(397,398)(399,400)(403,408)(410,411)
    (416,417)(420,442)(421,480)(422,455)(423,424)(431,451)(432,434)(433,468)
    (435,484)(436,437)(439,447)(441,453)(448,466)(456,464)(457,459)(461,483)
    (463,465)(467,471)(473,486)(474,475)(476,485), (  1,  2)(  616)(  7,  8)
    (  917)( 1015)( 1114)( 1213)( 1891)( 1920)( 2145)( 2275)
    ( 2384)( 25,276)( 26,275)( 2789)( 2885)( 2967)( 3044)( 3147)
    ( 3237)( 3353)( 34,140)( 3587)( 3688)( 3839)( 4041)( 4243)
    ( 4659)( 4860)( 4982)( 5066)( 5179)( 5280)( 54,349)( 55,169)
    ( 56,153)( 57,152)( 58,327)( 61,320)( 62,150)( 63,154)( 64,165)( 65,362)
    ( 6876)( 6983)( 70,113)( 71,114)( 72,199)( 73,214)( 74,164)( 77,277)
    ( 7881)( 86,124)( 9099)( 92,100)( 93,319)( 94,343)( 95,182)( 96,193)
    ( 97,190)( 98,146)(101,318)(102,112)(106,315)(107,139)(108,138)(109,161)
    (110,111)(118,405)(119,406)(121,176)(122,352)(123,351)(125,135)(127,143)
    (128,142)(129,308)(130,144)(131,132)(133,310)(134,167)(136,296)(137,387)
    (141,434)(145,295)(147,436)(148,149)(151,212)(155,211)(156,203)(157,178)
    (158,314)(159,432)(160,408)(162,340)(163,278)(166,179)(168,348)(170,350)
    (171,353)(172,332)(173,360)(174,420)(175,244)(177,204)(180,279)(181,344)
    (185,192)(186,191)(187,341)(188,338)(189,374)(194,375)(195,376)(196,379)
    (197,462)(198,307)(200,330)(201,413)(202,223)(205,302)(206,225)(207,273)
    (208,418)(209,398)(210,407)(213,402)(215,361)(216,284)(217,331)(218,290)
    (219,329)(220,409)(221,222)(224,323)(226,400)(227,412)(228,411)(229,410)
    (230,399)(231,232)(233,414)(234,417)(235,236)(238,354)(239,288)(240,373)
    (241,270)(245,444)(246,371)(247,248)(249,429)(250,370)(251,252)(253,256)
    (257,262)(258,365)(261,443)(263,264)(266,438)(267,345)(268,269)(271,431)
    (272,428)(280,401)(281,282)(283,441)(285,337)(286,313)(287,294)(289,425)
    (291,355)(292,377)(293,378)(297,471)(298,472)(299,465)(300,464)(301,381)
    (304,433)(305,437)(306,424)(311,470)(312,449)(316,333)(317,403)(321,347)
    (322,346)(324,325)(328,426)(334,435)(335,419)(336,393)(339,372)(342,388)
    (356,357)(358,359)(363,466)(364,421)(366,427)(367,450)(368,369)(380,386)
    (382,383)(384,385)(389,390)(391,392)(394,395)(396,397)(404,453)(415,416)
    (422,423)(440,455)(442,451)(445,452)(446,469)(447,479)(448,480)(454,473)
    (458,459)(460,468)(461,482)(467,481)(474,478)(476,477), ( 1821)( 1920)
    ( 2250)( 2368)( 2574)( 2673)( 2772)( 2869)( 3237)( 3353)
    ( 3451)( 3570)( 3671)( 4591)( 46,349)( 5261)( 5459)( 5558)
    ( 5657)( 6263)( 6465)( 6675)( 7684)( 77,101)( 7899)( 79,140)
    ( 80,320)( 8190)( 8385)( 87,113)( 88,114)( 89,199)( 92,112)( 93,110)
    ( 94,170)( 95,213)( 96,176)( 97,177)( 98,135)(100,102)(103,104)(105,126)
    (106,143)(107,142)(108,308)(109,167)(111,319)(115,274)(116,254)(117,430)
    (118,240)(119,337)(120,255)(121,193)(122,268)(123,181)(125,146)(127,315)
    (128,139)(129,138)(130,158)(131,148)(132,149)(133,333)(134,161)(136,205)
    (137,160)(141,311)(144,314)(145,304)(147,481)(150,154)(151,157)(152,153)
    (155,427)(156,227)(159,287)(162,173)(163,361)(164,276)(165,362)(166,341)
    (168,356)(169,327)(171,267)(172,347)(174,292)(175,270)(178,212)(179,187)
    (180,216)(182,402)(183,242)(184,237)(185,186)(188,358)(189,407)(190,204)
    (191,192)(194,354)(195,451)(196,423)(197,424)(198,286)(200,217)(201,417)
    (202,230)(203,412)(206,224)(207,262)(208,438)(209,380)(210,374)(211,366)
    (214,275)(215,278)(218,324)(219,400)(220,228)(221,229)(222,410)(223,399)
    (225,323)(226,329)(231,392)(232,391)(233,235)(234,413)(236,414)(238,375)
    (239,263)(241,244)(243,326)(245,328)(246,335)(247,289)(248,425)(249,281)
    (250,258)(251,271)(252,431)(253,428)(256,272)(257,273)(259,260)(261,368)
    (264,288)(265,439)(266,418)(269,352)(277,318)(279,284)(280,466)(282,429)
    (283,367)(285,406)(290,325)(291,322)(293,364)(294,432)(295,433)(296,302)
    (297,305)(298,460)(299,454)(300,478)(301,336)(303,309)(306,462)(307,313)
    (310,316)(312,440)(317,342)(321,332)(330,331)(334,482)(338,359)(339,453)
    (340,360)(343,350)(344,351)(345,353)(346,355)(348,357)(363,401)(365,370)
    (369,443)(371,419)(372,404)(373,405)(376,442)(377,420)(378,421)(379,422)
    (381,393)(382,394)(383,395)(384,396)(385,397)(386,398)(387,408)(388,403)
    (389,416)(390,415)(409,411)(426,444)(434,470)(435,461)(436,467)(437,471)
    (441,450)(445,480)(446,479)(447,469)(448,452)(449,455)(456,475)(457,485)
    (458,477)(459,476)(463,486)(464,474)(465,473)(468,472)(483,484) ),
  schreierVector := [ -165435465543345665
      121432223345534514316555
      566665345525433456344556
      613513226655665661646165
      654554545555513313344566
      541553445445313731134453
      265611543336566655511535
      466135653454645563565563
      146533434522641665154335
      655643433526111415215521
      265325554554522743243161
      335122163466261566543222
      536252133456613143462152
      235615231155464373346514
      444444566645666345666663
      355466462166516165653666
      636555566655556555565126
      656666666646556666665226
      512136666663256666664566
      416465465562566266466666
      556366545545 ],
  adjacencies := 
   [ [ 2345679181920212223242526272829
          3031323334353637384849505152535455
          56575859616263646568697071727374
          166191192341 ] ],
  representatives := [ 1 ],
  isSimple := true );

[Dauer der Verarbeitung: 0.20 Sekunden, vorverarbeitet 2026-06-27]