/usr/share/gap/pkg/grape/grh/E8 is in gap-grape 4r7+ds-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 | E8:=rec(
isGraph := true,
order := 240,
group := Group( ( 1, 2)( 20, 24)( 22, 28)( 26, 30)( 29, 36)( 33, 37)
( 34, 38)( 39, 43)( 40, 42)( 44, 47)( 45, 49)( 50, 54)( 51, 55)( 56, 60)
( 57, 61)( 58, 62)( 63, 67)( 64, 68)( 69, 74)( 70, 75)( 76, 81)( 77, 82)
( 83, 89)( 84, 90)( 91, 97)( 98,104)(105,113)(114,119)(120,134)(132,135)
(133,148)(146,149)(147,156)(153,163)(155,161)(160,168)(162,165)(164,176)
(167,174)(171,181)(172,177)(178,184)(179,187)(182,183)(185,190)(186,189)
(191,196)(192,197)(198,200)(199,202)(203,206)(204,207)(208,211)(212,215)
(216,219)(220,223)(239,240), ( 2, 3)( 17, 20)( 19, 22)( 21, 26)( 25, 29)
( 31, 33)( 32, 34)( 35, 39)( 41, 45)( 42, 48)( 46, 51)( 47, 53)( 52, 58)
( 54, 59)( 60, 65)( 61, 66)( 67, 71)( 68, 73)( 74, 79)( 75, 80)( 81, 87)
( 82, 88)( 89, 95)( 90, 96)( 97,103)(104,112)(113,118)(114,120)(119,132)
(130,133)(131,146)(134,135)(139,147)(142,155)(145,153)(150,162)(151,160)
(157,167)(158,164)(166,172)(169,171)(173,178)(175,179)(180,186)(183,194)
(188,192)(190,195)(193,199)(196,201)(200,205)(206,209)(207,210)(211,213)
(215,218)(219,222)(223,226)(238,239), ( 3, 4)( 14, 17)( 15, 19)( 18, 21)
( 23, 25)( 27, 32)( 33, 40)( 37, 42)( 39, 44)( 43, 47)( 45, 50)( 49, 54)
( 51, 57)( 55, 61)( 58, 64)( 62, 68)( 65, 72)( 71, 78)( 79, 85)( 80, 86)
( 87, 92)( 88, 94)( 95,101)( 96,102)(103,108)(105,114)(112,117)(113,119)
(118,130)(126,131)(127,139)(132,133)(135,148)(136,145)(137,142)(141,151)
(144,150)(152,158)(154,157)(159,166)(170,175)(171,182)(178,185)(181,183)
(184,190)(186,191)(189,196)(192,198)(197,200)(199,204)(202,207)(209,214)
(213,217)(218,221)(222,225)(226,228)(237,238), ( 4, 5)( 12, 14)( 13, 15)
( 16, 18)( 25, 31)( 29, 33)( 32, 35)( 34, 39)( 36, 37)( 38, 43)( 50, 56)
( 54, 60)( 57, 63)( 59, 65)( 61, 67)( 64, 70)( 66, 71)( 68, 75)( 73, 80)
( 85, 93)( 92, 99)( 94,100)( 98,105)(101,107)(102,106)(104,113)(108,109)
(112,118)(117,126)(121,127)(122,137)(124,136)(130,131)(133,146)(138,141)
(140,144)(143,152)(148,149)(157,169)(166,173)(167,171)(172,178)(174,181)
(175,180)(177,184)(179,186)(187,189)(198,203)(200,206)(204,208)(205,209)
(207,211)(210,213)(221,224)(225,227)(228,230)(236,237), ( 5, 6)( 9, 12)
( 11, 13)( 18, 23)( 21, 25)( 26, 29)( 30, 36)( 35, 41)( 39, 45)( 43, 49)
( 44, 50)( 47, 54)( 53, 59)( 63, 69)( 67, 74)( 70, 76)( 71, 79)( 75, 81)
( 78, 85)( 80, 87)( 86, 92)( 91, 98)( 97,104)(100,111)(103,112)(106,110)
(107,115)(108,117)(109,121)(122,123)(124,125)(126,127)(128,140)(131,139)
(141,154)(146,147)(149,156)(151,157)(152,159)(158,166)(160,167)(164,172)
(168,174)(176,177)(180,188)(186,192)(189,197)(191,198)(196,200)(201,205)
(208,212)(211,215)(213,218)(217,221)(227,229)(230,231)(235,236), ( 6, 7)
( 8, 9)( 13, 16)( 15, 18)( 19, 21)( 22, 26)( 28, 30)( 41, 46)( 45, 51)
( 49, 55)( 50, 57)( 54, 61)( 56, 63)( 59, 66)( 60, 67)( 65, 71)( 72, 78)
( 76, 84)( 81, 90)( 83, 91)( 87, 96)( 89, 97)( 92,102)( 95,103)( 99,106)
(101,108)(107,109)(111,116)(115,125)(121,124)(122,138)(127,136)(128,129)
(137,141)(139,145)(142,151)(147,153)(155,160)(156,163)(159,170)(161,168)
(166,175)(172,179)(173,180)(177,187)(178,186)(184,189)(185,191)(190,196)
(195,201)(212,216)(215,219)(218,222)(221,225)(224,227)(231,234)(233,235),
( 7, 10)( 9, 11)( 12, 13)( 14, 15)( 17, 19)( 20, 22)( 24, 28)( 46, 52)
( 51, 58)( 55, 62)( 57, 64)( 61, 68)( 63, 70)( 66, 73)( 67, 75)( 69, 76)
( 71, 80)( 74, 81)( 77, 83)( 78, 86)( 79, 87)( 82, 89)( 85, 92)( 88, 95)
( 93, 99)( 94,101)(100,107)(111,115)(116,129)(124,140)(125,128)(136,144)
(138,143)(141,152)(145,150)(151,158)(153,162)(154,159)(157,166)(160,164)
(163,165)(167,172)(168,176)(169,173)(171,178)(174,177)(181,184)(182,185)
(183,190)(194,195)(216,220)(219,223)(222,226)(225,228)(227,230)(229,231)
(232,233), ( 6, 8)( 7, 9)( 10, 11)( 23, 27)( 25, 32)( 29, 34)( 31, 35)
( 33, 39)( 36, 38)( 37, 43)( 40, 44)( 42, 47)( 48, 53)( 69, 77)( 74, 82)
( 76, 83)( 79, 88)( 81, 89)( 84, 91)( 85, 94)( 87, 95)( 90, 97)( 92,101)
( 93,100)( 96,103)( 99,107)(102,108)(106,109)(110,123)(121,122)(124,138)
(127,137)(136,141)(139,142)(140,143)(144,152)(145,151)(147,155)(150,158)
(153,160)(156,161)(162,164)(163,168)(165,176)(188,193)(192,199)(197,202)
(198,204)(200,207)(203,208)(205,210)(206,211)(209,213)(214,217)(229,232)
(231,233)(234,235) ),
schreierVector := [ -1, 1, 2, 3, 4, 5, 6, 8, 8, 7, 8, 5, 5, 4, 4, 6, 3, 6,
3, 2, 6, 2, 5, 1, 5, 6, 8, 1, 5, 6, 4, 8, 4, 8, 8, 5, 4, 8, 8, 3, 5, 3,
8, 8, 5, 6, 8, 2, 5, 5, 6, 7, 8, 5, 6, 4, 6, 7, 5, 4, 6, 7, 6, 7, 4, 6,
6, 7, 5, 7, 6, 3, 7, 5, 7, 7, 8, 6, 5, 7, 7, 8, 8, 6, 5, 7, 7, 8, 8, 6,
8, 7, 4, 8, 8, 6, 8, 5, 7, 8, 8, 6, 8, 5, 4, 6, 8, 8, 8, 5, 5, 5, 4, 3,
5, 6, 5, 4, 3, 2, 5, 5, 8, 6, 6, 4, 4, 7, 7, 3, 3, 2, 2, 1, 1, 6, 4, 6,
3, 7, 6, 3, 7, 7, 6, 2, 2, 1, 1, 7, 6, 7, 6, 5, 2, 1, 5, 7, 7, 6, 1, 7,
6, 7, 7, 7, 5, 6, 4, 6, 4, 7, 7, 5, 6, 7, 7, 7, 6, 6, 4, 3, 3, 7, 7, 6,
6, 5, 6, 7, 6, 5, 8, 2, 7, 6, 5, 5, 8, 5, 6, 8, 4, 8, 5, 4, 8, 8, 4, 8,
8, 5, 8, 3, 5, 6, 8, 5, 6, 7, 5, 6, 7, 4, 6, 7, 6, 7, 5, 7, 7, 8, 8, 6,
8, 5, 4, 3, 2, 1 ],
adjacencies :=
[ [ 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20,
21, 22, 23, 25, 26, 27, 29, 31, 32, 33, 34, 35, 39, 40, 41, 44, 45,
46, 50, 51, 52, 56, 57, 58, 63, 64, 69, 70, 76, 77, 83, 84, 91, 98,
105, 114, 120 ] ],
representatives := [ 1 ],
isSimple := true );
|